Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 202, Lin Shang-Wei, Hou Zhe, Mahony Brendan
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions.
Описание: This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions.
Communication and Conversation in Learning.- Cognition, Emotions and Learning.- Games and Gamification in Learning.- VR, Robot and IoT in Learning.- Collaboration Technology and Collaborative Learning.
Model Translation from Papyrus-RT into the nuXmv Model Checker.- Modeling and Verification of Temporal Constraints for Web Service Composition.- Modeling Attack-Defense Trees' Countermeasures using Continuous Time Markov Chains.- Automated Validation of State-Based Client-Centric Isolation with TLA+.- Code Coverage Aware Test Generation Using Constraint Solver.- From Requirements to Verifiable Executable Models using Rebeca.- A Pragmatic Model of Justification for Social Epistemology.- Personal Identity and False Memories.- Against the Illusory Will Hypothesis. A Reinterpretation of the Test Results from Daniel Wegner and Thalia Wheatley's I Spy Experiment.- Understanding responses of individuals with ASD in syllogistic and decision-making tasks: A formal study.- Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence.- An Interdisciplinary Model for Graphical Representation.- Information Retrieval from Semantic Memory: BRDL-based Knowledge Representation and Maude-based Computer Emulation.- A Multi-Agent Depth Bounded Boolean Logic.- The intensional structure of epistemic convictions.- Short-circuiting the definition of mathematical knowledge for an Artificial General Intelligence.- Reasoning about Ignorance and Beliefs.- A Case Study on Formally Validating Motion Rules for Autonomous Cars.- Modelling Train Driver Behaviour in Railway Co-simulations.- Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor.- A Semantic-Aware, accurate and efficient API for (co-)simulation of CPS.- An FMI-Based initialization plugin for INTO-CPS Maestro 2.- Introducing Regression Tests and Upgrades to the INTO-CPS Application.- Cosimulation-based Control Synthesis.
Описание: Mutually Accepting Capacitated Automata.- Bad pictures: some structural properties related to overlaps.- Regular Expression Length via Arithmetic Formula Complexity.- Crisp-determinization of Weighted Tree Automata over Additively Locally Finite and Past-finite Monotonic Strong Bimonoids is Decidable.- On the Power of Generalized Forbidding Insertion-Deletion Systems.- State Complexity Bounds for the Commutative Closure of Group Languages.- Multiple Concatenation and State Complexity (Extended Abstract).- Combining Limited Parallelism and Nondeterminism in Alternating Finite Automata.- Longer shortest strings in two-way finite automata.- Iterated Uniform Finite-State Transducers: Descriptional Complexity of Nondeterminism and Two-Way Motion.- Descriptional Complexity of Winning Sets of Regular Languages.- State complexity of GF(2)-inverse and GF(2)-star on binary languages.- Complexity of Two-dimensional Rank-reducing Grammars.- Palindromic Length of Words with Many Periodic Palindromes.- Operational Complexity of Straight Line Programs for Regular Languages.- Classifying ω-Regular Aperiodic k-Partitions.- Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata.- On the Generative Power of Quasiperiods.- Insertion-Deletion Systems With Substitutions II.
Описание: This book summarizes the research findings presented at the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), which took place on August 24-26, 2020.
Описание: This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.
Описание: This book constitutes the proceedings of the 22nd Conference on Passive and Active Measurement, PAM 2021, which was planned to be held in Cottbus, Germany, in March 2021.
Описание: The 2 volume-set of LNCS 12190 and 12191 constitutes the refereed proceedings of the 12th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2020, which was due to be held in July 2020 as part of HCI International 2020 in Copenhagen, Denmark.
Lightweight CNN for Robust Voice Activity Detection.- Hate Speech Detection Using Transformer Ensembles on the HASOC Dataset.- MP3 Compression to Diminish Adversarial Noise in End-to-End Speech Recognition.- Exploration of End-to-End ASR for OpenSTT - Russian Open Speech-to-Text Dataset.- Directional Clustering with Polyharmonic Phase Estimation for Enhanced Speaker Localization.- Speech Emotion Recognition using Spectrogram Patterns as Features.- Pragmatic Markers in Dialogue and Monologue: Difficulties of Identification and Typical Formation Models.- Data Augmentation and Loss Normalization for Deep Noise Suppression.- Automatic Information Extraction from Scanned Documents.- Dealing with Newly Emerging OOVs in Broadcast Programs by Daily Updates of the Lexicon and Language Model.- A Rumor Detection in Russian Tweets.- Automatic Prediction of Word form Reduction in Russian Spontaneous Speech.- Formant Frequency Analysis of MSA Vowels in Six Algerian Regions.- Emotion Recognition and Sentiment Analysis of Extemporaneous Speech Transcriptions in Russian.- Predicting a Cold from Speech using Fisher Vectors; SVM and XGBoost as Classifiers.- Toxicity in Texts and Images on the Internet.- An Automated Pipeline for Robust Image Processing and Optical Character Recognition of Historical Documents.- Lipreading with LipsID.- Automated Destructive Behavior State Detection on the 1D CNN-based Voice Analysis.- Rhythmic Structures of Russian Prose and Occasional Iambs (a Diachronic Case Study) .- Automatic Detection of Backchannels in Russian Dialogue Speech.- Experimenting with Attention Mechanisms in Joint CTC-Attention Models for Russian Speech Recognition.- Comparison of Deep Learning Methods for Spoken Language Identification.- Conceptual Operations with Semantics for a Companion Robot.- Legal Tech: Documents' Validation Method Based on the Associative-Ontological Approach.- Audio Adversarial Examples for Robust Hybrid CTC/Attention Speech Recognition.- CTC-Segmentation of Large Corpora for German End-to-End Speech Recognition.- Stylometrics Features under Domain Shift: Do they Really "Context-independent".- Speech Features of 13-15 Year-old Children with Autism Spectrum Disorders.- Multi-corpus Experiment on Continuous Speech Emotion Recognition: Convolution or Recurrence.- Detection of Toxic Language in Short Text Messages.- Transfer Learning in Speaker's Age and Gender Recognition.- Interactivity-based Quality Prediction of Conversations with Transmission Delay.- Graphic Markers of Irony and Sarcasm in Written Texts.- Digital Rhetoric 2.0: How to Train Charismatic Speaking with Speech-melody Visualization Software.- Generating a Concept Relation Network for Turkish Based on ConceptNet Using Translational Methods.- Bulgarian Associative Dictionaries in the LABLASS Web-based System.- Preliminary Investigation of Potential Steganographic Container Localization.- Some Comparative Cognitive and Neurophysiological Reactions to Code-modified Internet Information.- The Influence of Multimodal Polycode Internet Content on Human Brain Activity.- Synthetic Speech Evaluation by Differential Maps in Pleasure-Arousal Space.- Investigating the Effect of Emoji in Opinion Classification of Uzbek Movie Review Comments.- Evaluation of Voice Mimicking using i-vector Framework.- Score Normalization of x-vector Speaker Verification System for Short-duration Speaker Verification Challenge.- Genuine Spontaneous vs Fake Spontaneous Speech: in Search of Distinction.- Mixing Synthetic and Recorded Signals for Audio-book Generation.- Temporal Concord in Speech Interaction: Overlaps and Interruptions in Spoken American English.- Cognitively Challenging: Language Shift and Speech Rate of Academic Bilinguals.- Toward Explainable Automatic Classification of Children's Speech Disorders.- Recognition Performance of Selected Speech Recognition APIs - A Longitudinal Study.- Does A Priori Phonological Knowledge Improve Cross-Lingual Robust
Описание: Natural Language Processing.- Improving Scholarly Knowledge Representation: Evaluating BERT-based Models for Scientific Relation Classification.- A Framework for Classifying Temporal Relations with Question Encoder.- When to use OCR post-correction for named entity recognition?.- Semi-Supervised Named-Entity Recognition for Product Attribute Extraction in Book Domain.- Knowledge Structures.- Semantic Segmentation of MOOC Lecture Videos by Analyzing Concept Change in Domain Knowledge Graph.- Towards Customizable Chart Visualizations of Tabular Data Using Knowledge Graphs.- Wikipedia-based Entity Linking for the Digital Library of Polish and Poland-Related News Pamphlets.- Representing Semantified Biological Assays in the Open Research Knowledge Graph.- Construction of Dunhuang Cultural Heritage Knowledge Baseї1/4Take Cave 220 As An Example.- Citation Data Analysis ReViz: A tool for automatically generating citation graphs and variants.- A Large-Scale Analysis of Cross-Lingual Citations in English Papers.- How do retractions in Influence the citations of retracted articles?.- Identification of Research Data References Based on Citation Contexts.- User Analytics.- A Predictive Model for Citizens' Utilization of Open Government Data Portals.- Extracting User Interests from Operation Logs on Museum Devices for Post-Learning.- A Motivational Design Approach to Integrate MOOCs in Traditional Classrooms.- Analysis of Crowdsourced Multilingual Keywords in the Futaba Digital Archive: Lessons Learned for Better Metadata Collection.- Aging Well with Health Information: Examining Health Literacy and Information Seeking Behavior Using a National Survey Dataset.- Application of Cultural and Historical Data.- Entity Linking for Historical Documents: Challenges and Solutions.- Using Deep Learning to Recognize Handwritten Thai Noi Characters in Ancient Palm Leaf Manuscripts.- Unchiku Generation Using a Narrative Explanation Mechanism.- Analyzing the Stage Performance Structure of a Kabuki-dance, Kyoganoko Musume Dojoji Using an Animation System.- Artwork Information Embedding Framework for Multi-source Ukiyo-e Record Retrieval.- A Preliminary Attempt to Evaluate Machine Translations of Ukiyo-e Metadata Records.- Social Media.- Collective sensemaking and location-related factors in the context of a brand-related online rumor.- Identifying the Types of Digital Footprint Data used to Predict Psychographic & Human Behaviour.- Pro ling Bot Accounts Mentioning COVID-19 Publications on Twitter.- Uncovering Topics Related to COVID-19 Pandemic on Twitter.- Classification in the LdoD Archive: A crowdsourcing and gamification approach.- Metadata and Infrastructure.- SchenQL: Evaluation of a Query Language for Bibliographic Metadata.- Domain-focused linked data crawling driven by a semantically defined frontier: a cultural heritage case study in Europeana.- The Intellectual Property Risks of Integrating Public Digital Cultural Resources in China.- Metadata Interoperability for Institutional Repositories: a Case Study in Malang City Academic Libraries.- MetaPro les - a mechanism to express metadata schema, privacy, rights and provenance for data interoperability.- Scholarly Data Mining.- Creating a Scholarly Knowledge Graph from Survey Article Tables.- A Novel Researcher Search System Based on Research Content Similarity and Geographic Information.- Predicting Response Quantity from Linguistic Characteristics of Questions on Academic Social Q&A Sites.- An Empirical Study of Importance of Different Sections in Research Articles Towards Ascertaining their Appropriateness to a Journal.- On the Correlation between Research Complexity and Academic Competitiveness.
Описание: The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings before the conference took place.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
