Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The 10 revised full papers were carefully reviewed and selected from 20 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

Computer science. --- Computers. --- Computer logic. --- Mathematical logic. --- Mathematical statistics. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Computation by Abstract Devices. --- Logics and Meanings of Programs. --- Probability and Statistics in Computer Science. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Mathematics --- Statistical inference --- Statistics, Mathematical --- Statistics --- Probabilities --- Sampling (Statistics) --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Statistical methods --- Computer science --- Machine theory. --- Computer science—Mathematics. --- Formal Languages and Automata Theory. --- Theory of Computation. --- Computer Science Logic and Foundations of Programming. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the First International Conference, DSAI 2023, held in Bangkok, Thailand, during November 27–30, 2023. The 22 full papers and the 4 short papers included in this volume were carefully reviewed and selected from 70 submissions. This volume focuses on ideas, methodologies, and cutting-edge research that can drive progress and foster interdisciplinary collaboration in the fields of data science and artificial intelligence.

Artificial intelligence. --- Machine learning. --- Artificial intelligence --- Computer vision. --- Natural language processing (Computer science). --- Artificial Intelligence. --- Machine Learning. --- Data Science. --- Computer Vision. --- Natural Language Processing (NLP). --- Data processing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25–29, 2024. The 21 full papers presented here were carefully reviewed and selected from 46 submissions. They were categorized into the following topical sections: Invited Papers; Automata, Languages, and Learning; Algorithms and Complexity; Graphs and Games; Process Calculi; Verification and Reasoning.

Computer science. --- Computer Science Logic and Foundations of Programming.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the Ninth IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007). The conference is part of the federated conferences on D- tributed Computing Techniques (DisCoTec), together with the Ninth Inter- tional Conference on Coordination Models and Languages (COORDINATION 2007) and the Seventh IFIP International Conference on Distributed Appli- tions and Interoperable Systems (DAIS 2007). It was organized by the Depa- mentofComputerScienceoftheUniversityofCyprus,anditwasheldinPaphos, Cyprusduring June,6-8,2007.The eventwasthethird federatedDisCoTec c- ferenceseries,initiated inAthensin June2005andcontinuedinBolognainJune 2006. The goal of the FMOODS conferences is to bring together researchers and practitioners whose work encompasses three important and related ?elds: - Formal methods - Distributed systems and - Object-based technology The 17 papers presented at FMOODS 2007and included in this volume were selected by the Programme Committee among 45 submissions. Each submission was reviewed by at least three ProgrammeCommittee members. They all re?ect thescopeoftheconferenceandcoverthe following topics: semantics of obje- oriented programming; formal techniques for speci?cation, analysis, and re?- ment; model checking; theorem proving and deductive veri?cation;type systems and behavioral typing; formal methods for service-oriented computing; integ- tion of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods. The two invited speakers of FMOODS 2007, who also contributed to the proceedings in this volume, were: - MariangiolaDezani-Ciancagliniofthe UniversityofTorino,Italy,whoiswell known for her work on intersection-type assignment systems, which were largely used as ?nitary descriptions of lambda-models. More recently, she is interestedin type systems for object-orientedlanguagesand ambientcalculi.

Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering --- OS (operating system) --- computernetwerken

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- ontwerpen --- computerbesturingssystemen --- programmeren (informatica) --- programmeertalen --- software engineering --- OS (operating system)