this book constitutes the refereed proceedings of the 12thinternationalconference on Language and Automata theory and Applications, LATA 2018, held in Ramat Gan, Israel, in April 2018.;the 20 revised full ...
详细信息
ISBN:
(数字)9783319773131
ISBN:
(纸本)9783319773124
this book constitutes the refereed proceedings of the 12thinternationalconference on Language and Automata theory and Applications, LATA 2018, held in Ramat Gan, Israel, in April 2018.;the 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 58 submissions. the papers cover fields like algebraic language theory, algorithms for semi-structured data mining, algorithms on automata and words, automata and logic, automata for system analysis and programme verification, automata networks, automatic structures, codes, combinatorics on words, computational complexity, concurrency and Petri nets, data and image compression, descriptional complexity, foundations of finite state technology, foundations of XML, grammars (Chomsky hierarchy, contextual, unification, categorial, etc.), grammatical inference and algorithmic learning, graphs and graph transformation, language varieties and semigroups, language-based cryptography, mathematical and logical foundations of programming methodologies, parallel and regulated rewriting, parsing, patterns, power series, string processing algorithms, symbolic dynamics, term rewriting, transducers, trees, tree languages and tree automata, and weighted automata.
Railway designs deal with complex and large-scale, safety-critical infrastructures, where formal methods play an important role, especially in verifying the safety of so-called interlockings through model checking. Mo...
详细信息
ISBN:
(纸本)9783319336930;9783319336923
Railway designs deal with complex and large-scale, safety-critical infrastructures, where formal methods play an important role, especially in verifying the safety of so-called interlockings through model checking. Model checking deals with state change and rather complex properties, usually incurring considerable computational burden (chiefly in terms of memory, known as state-space explosion problem). In contrast to this, we focus on static infrastructure properties, based on design guidelines and heuristics. the purpose is to automate much of the manual work of the railway engineers through software that can do verification on-the-fly. In consequence, this paper describes the integration of formal methods into the railway design process, by formalizing relevant technical rules and expert knowledge. We employ a variant of Datalog and use the standardized "railway markup language" railML as basis and exchange format for the formalization. We describe a prototype tool and its ( ongoing) integration in industrial railway CAD software, developed under the name RailCOMPLETE (R). We apply this tool chain in a Norwegian railway project, the upgrade of the Arna railway station.
the proceedings contain 12 papers. the topics discussed include: modelling and formal verification of neuronal archetypes coupling;estimating respiration rate using an accelerometer sensor;formal validation of neural ...
ISBN:
(纸本)9781450353502
the proceedings contain 12 papers. the topics discussed include: modelling and formal verification of neuronal archetypes coupling;estimating respiration rate using an accelerometer sensor;formal validation of neural networks as timed automata;the effect of reference species on reference-guided genome assembly;a machine learning approach for drug discovery from herbal medicine: metabolite profiles to therapeutic effects;identifying microRNA targets in epithelial-mesenchymal transition using joint-intervention causal inference;position-residue specific dynamic gap penalty scoring strategy for multiple sequence alignment;extraction of disease-related genes from PubMed paper using word2vec;proposal of application method of inductivelogicprogramming to microarray data;meta-analysis of whole-transcriptome data for prediction of novel genes associated with autism spectrum disorder;in silico structure based designing of dihydrofolate reductase enzyme antagonists and potential small molecules that target DHFR protein to inhibit the folic acid biosynthetic pathways;drug repurposing: targeting mTOR inhibitors for anticancer activity;AI and big data analytics for health and bioinformatics;and revealing deep proteome diversity with community-scale proteomics big data.
the proceedings contain 21 papers. the special focus in this conference is on History and Philosophy of Computing. the topics include: logic, Formal Linguistics and Computing in France: From Non-reception to Progressi...
ISBN:
(纸本)9783319472850
the proceedings contain 21 papers. the special focus in this conference is on History and Philosophy of Computing. the topics include: logic, Formal Linguistics and Computing in France: From Non-reception to Progressive Convergence;Interactive Spatial Sound Intervention: A Case Study;theory of Knowing Machines: Revisiting Gödel and the Mechanistic thesis;Algorithmic in the 12th Century: the Carmen de Algorismo by Alexander de Villa Dei;From Close to Distant and Back: How to Read withthe Help of Machines;Computing, Design, Art: Reflections on an Innovative Moment in History;From Cells as Computation to Cells as Apps;the Contribution of Carl Adam Petri to Our Understanding of ‘Computing’;Trente ans ou la Vie d′un scientifique;From Information to Perception;Several Types of Types in programming Languages;Playfulness and the Advent of Computerization in Spain: the National Club of ZX81 Users;Impact of Informatics on Mathematics and Its Teaching;Epistemic Opacity, Confirmation Holism and Technical Debt: Computer Simulation in the Light of Empirical Software Engineering;the Brain in Silicon: History, and Skepticism;the Role of Computers in Visual Art;In Search of the Roots of Formal Computation.
the main idea of the article is that the decision support object may possess declarative knowledge, but when it comes to executing technological tasks or solving complex technological problems, it requires procedural ...
详细信息
the proceedings contain 25 papers. the special focus in this conference is on Artificial Intelligence. the topics include: Identifying goals of agents by learning from observations;selection of suitable pagerank calcu...
ISBN:
(纸本)9783030030131
the proceedings contain 25 papers. the special focus in this conference is on Artificial Intelligence. the topics include: Identifying goals of agents by learning from observations;selection of suitable pagerank calculation for analysis of differences between expected and observed probability of accesses to web pages;aggregating crowd opinions using shapley value regression;a hierarchical conditional attention-based neural networks for paraphrase generation;ontology based approach for precision agriculture;learning generalized video memory for automatic video captioning;an efficient hash-based method for time series motif discovery;One-dimensional camera calibration based on PSO algorithm;evaluating named-entity recognition approaches in plant molecular biology;work flexibility, telepresence in the office for remote workers: A case study from Austria;Reconstruction of a 3D model from single 2D image by GAN;inverse ant algorithm;enhanced texture representation for moving targets classification using co-occurrence;an adequate dietary planning model using particle swarm optimization;an agent cooperation model and dependency measurement based on merge & synthesis on shared timed task environments;design and development of real-time video transmission system using visual IoT device;computing logicprogramming semantics in linear algebra;progressively improving supervised emotion classification through active learning;regularizing feature distribution using sliced wasserstein distance for semi-supervised learning;automated pixel-level surface crack detection using U-net;a novel method of automatic crack detection utilizing non-linear relaxation method and crack geometric features for safety evaluation of concrete structure;Optimal data collection of MP-MR-MC wireless sensors network for structural monitoring;emoticon-based emotion analysis for Weibo articles in sentence level.
Abstract. In this paper we present a method to detect non-provable goals. the general idea, adopted from cycle unification, is to determine in advance how terms may be modified during a derivation. Since a complete pr...
详细信息
In the present paper, resolution-based automated reasoning theory and algorithm in a finite chain lattice-valued proposition logic are focused. Concretely, the resolution principle, which is based on a finite chain la...
详细信息
In the present paper, resolution-based automated reasoning theory and algorithm in a finite chain lattice-valued proposition logic are focused. Concretely, the resolution principle, which is based on a finite chain lattice-valued propositional logic FCLP(X) is investigated. And soundness theorem and completeness theorem of this resolution principle are also proved. In order to realize resolution, the concrete algorithm of resolution is discussed. It is hoped that this research will make forward theoretical research of automated reasoning based on lattice-valued logic.
Strategies of the structural synthesis of programs (SSP) of a deductive program synthesis method which is suited for compositional programming in large and is in practical use in a number of programming environments a...
详细信息
Strategies of the structural synthesis of programs (SSP) of a deductive program synthesis method which is suited for compositional programming in large and is in practical use in a number of programming environments are outlined. SSP is based on a decidable logical calculus where complexity of the proof search is still PSPACE. this requires paying special attention to efficiency of search. Besides the general case of SSP, the authors present synthesis with independent subtasks, synthesis of iterations on regular data structures in terms of SSP and a number of heuristics used for speeding up the search.
暂无评论