- Book
Authors : Goubault-Larrecq, Jean (2020) - This volume contains the papers presented at the 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers, On Well-Founded and Recursive Coalgebras, Timed Negotiations, Cartesian Difference Categories, Contextual Equivalence for Signal Flow Graphs, Parameterized Synthesis for Fragments of First-Order Logic Over Data Words, Controlling a Random Population, Decomposing Proba...
|
- Book
Authors : Yoshida, Nobuko (2021) - The Decidability of Verification under PS 2.0. Data Flow Analysis of Asynchronous Systems using Infinite
Abstract Domains. Types for Complexity of Parallel Computation in Pi-Calculus. Checking Robustness Between Weak Transactional Consistency Models. Verified Software Units. An Automated Deductive Verification Framework for Circuit-building Quantum Programs. Nested Session Types. Coupled Relational Symbolic Execution for Differential Privacy...
|
- Book
Authors : Lahiri, Shuvendu K. (2020) - Model Checking Automata Tutor v3, Seminator 2 Can Complement Generalized Büchi Automata via Improved
Semi-determinization, RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft, Software Verification
Code2Inv: A Deep Learning Framework for Program Verification. Stochastic Systems Maximum Causal Entropy Specification Inference from Demonstrations. Certifying Certainty and Uncertainty in Approximate Membership
Query Structures. Synthesis Good-Enough Synthesis, Synthesizing JIT Compilers ...
|
- Book
Authors : Bungartz, Hans-Joachim (2020) - Part I SPPEXA: The Priority Program, Software for Exascale Computing: Some Remarks on the Priority
Program SPPEXA, A Perspective on the SPPEXA Collaboration from France, A Perspective on the SPPEXA Collaboration from Japan. Part II SPPEXA Project Consortia Reports ADA-FS—Advanced Data Placement via Ad hoc File Systems at Extreme Scales, AIMES: Advanced Computation and I/O Methods for Earth-System Simulations, DASH: Distributed Data Structures and Parallel&#x...
|
- Book
Authors : Hähnle, Reiner (2019) - Software Assurance in an Uncertain World. Software Verification I Tool Support for Correctness-by-Construction. Automatic Modeling of Opaque Code for JavaScript Static Analysis. SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. A Hybrid Dynamic Logic for Event/Data-Based Systems. Model-Driven Development and Model Transformation Pyro: Generating Domain-Specific Collaborative Online Modeling Environments . Software Verification II DeepFault: Fault Localization...
|
- Book
Authors : Kiefer, Stefan; Tasson, Christine (2021) - This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular pap...
|
- Book
Authors : Nielson, Flemming (2019) - This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security&...
|
- Book
Authors : Ram, Mangey (2020) - Soft computing is used where a complex problem is not adequately specified for the use of conventional math and computer techniques. Soft computing has numerous real-world applications in domestic, commercial and industrial situations. This book elaborates on the most recent applications in various fields of engineering
|
- Book
Authors : Linge, Svein (2016) - This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style is more accessible and concise, in keeping with the needs of engineering students. The book outlines the shortest possible path from no previous&#x...
|
- Book
Authors : Sundnes, Joakim (2020) - This open access book offers an initial introduction to programming for scientific and computational applications using the Python programming language. The presentation style is compact and example-based, making it suitable for students and researchers with little or no prior experience in programming. The book uses relevant examples from mathematics and the natural sciences to present programming as a practical toolbox that can quickly enable readers to wri...
|
