Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata

Data Journeys in the Sciences

Table of Contents: “…The Construction of Data at the Large Hadron Collider (K Karaca) -- Chapter 4. Tracing Data Journeys Through Medical Case Reports: Conceptualizing Case Reports Not as "Anecdotes" but Productive Epistemic Constructs, or Why Zebras Can Be Useful (R Ankeny) -- Part II: Clustering: Data Ordering and Visualization -- Chapter 5. …”
Link to Metadata

Neues von der Insel Englische Literatur und Kultur der Frühen Neuzeit in deutscher Übersetzung /

Table of Contents: “…Autorschaft und Übersetzen: Gryphius' Cardenio und Celinde im Verhältnis zu einem verlorenen Drama Shakespeares -- 10. Bodmers Miltonübersetzungen -- 11. …”
Link to Metadata

Sago Palm Multiple Contributions to Food Security and Sustainable Livelihoods /

Table of Contents: “…Starch Production and Utilization -- Chapter 16: Study on the Transformation in Extraction and Consumption Processes of Sago Starch in a Traditional Society of Indonesia (Yoshihiko Nishimura) -- Chapter 17: Improvement of Sago Processing Machine (Darma) -- Chapter 18: The Structure and Characteristics of Sago Starch (Masanori Okazaki) -- Chapter 19: Recovery of Starch from Sago Pith Waste and Waste Water Treatment (Budi Santoso) -- Chapter 20: Acid modification of sago starch and its fiber for industrial application (Titi Candra Sunarti) -- Part 6. …”
Link to Metadata

Debating European Citizenship

Table of Contents: “…Schmidt -- EU Citizenship Should Speak Both to the Mobile and the Non-Mobile European: Frank Vandenbroucke -- The Impact and Political Accountability of EU Citizenship: Dorte Sindbjerg Martinsen -- 'Feed Them First, Then Ask Virtue of Them': Broadening and Deepening Freedom of Movement: Andrea Sangiovanni -- EU Citizenship, Duties and Social Rights: Martin Seeleib-Kaiser -- Why Compensating the 'Stayers' for the Costs of Mobility is the Wrong Way to Go: Julia Hermann -- Balancing the Rights of European Citizenship with Duties Towards National Citizens: An Inter-national Perspective: Richard Bellamy -- Grab the Horns of the Dilemma and Ride the Bull: Rainer Bauböck -- Why Adding Duties to European Citizenship is Likely to Increase the Gap Between Europhiles and Eurosceptics: Theresa Kuhn -- Enhancing the Visibility of Social Europe: A Practical Agenda for 'the Last Mile': Ilaria Madama -- Towards a 'Holding Environment' for Europe's (Diverse) Social Citizenship Regimes: Anton Hemerijck -- Imagine: European Union Social Citizenship and Post-Marshallian Rights and Duties: Dora Kostakopoulou -- Why the Crisis of European Citizenship Is a Crisis of European Democracy: Sandra Seubert -- Regaining the Trust of the Stay-at-Homes: Three Strategies: Philippe Van Parijs -- Social Citizenship, Democratic Values and European Integration: a Rejoinder: Maurizio Ferrera.…”
Link to Metadata

Taymāʾ II Catalogue of the Inscriptions Discovered in the Saudi-German Excavations at Taymāʾ 2004-2015

DOAB: download the publication
DOAB: description of the publication

Taymāʾ II Catalogue of the Inscriptions Discovered in the Saudi-German Excavations at Taymāʾ 2004-2015

OAPEN Library: download the publication
OAPEN Library: description of the publication

The European Higher Education Area Between Critical Reflections and Future Policies /

Table of Contents: “…The Quality of Doctoral Training and Employability of Doctorate Holders: the Views of Doctoral Candidates and Junior Researchers. Filomena Parada, John Peacock -- 6. The Romanian PhD students at CERN: the Bologna Process and Beyond. …”
Link to Metadata

Detection of new mutations in 3 cases de novo tuberous sclerosis by Carlos Andres Quintero Vasquez, Isabel Fernandez Gonzalez, Maria Luisa Quevedo Camera, Angelica Maria Garcia Ordonez, Luis Gustavo Celis Regalado

Connect to this object online.

The Semantics of Word Division in Northwest Semitic Writing Systems Ugaritic, Phoenician, Hebrew, Moabite and Greek (Volume 4) by Crellin, Robert S.D

DOAB: download the publication
DOAB: description of the publication

The Semantics of Word Division in Northwest Semitic Writing Systems Ugaritic, Phoenician, Hebrew, Moabite and Greek (Volume 4) by Crellin, Robert S.D

OAPEN Library: download the publication
OAPEN Library: description of the publication

Ancient Jewish Prayers and Emotions. Emotions associated with Jewish prayer in and around the Second Temple period by Egger-Wenzel, Renate

DOAB: download the publication
DOAB: description of the publication

The phenomena of agglomeration particles by fludization by Juan Dharmsuriya

Connect to this object online.

Ancient Jewish Prayers and Emotions Emotions associated with Jewish prayer in and around the Second Temple period

DOAB: download the publication
DOAB: description of the publication

Settlement and History in Hellenistic, Roman, and Byzantine Galilee An Archaeological Survey of the Eastern Galilee by Leibner, Uzi

DOAB: download the publication
DOAB: description of the publication

Ancient Jewish Prayers and Emotions Emotions associated with Jewish prayer in and around the Second Temple period

OAPEN Library: download the publication
OAPEN Library: description of the publication

Settlement and History in Hellenistic, Roman, and Byzantine Galilee An Archaeological Survey of the Eastern Galilee by Leibner, Uzi

OAPEN Library: download the publication
OAPEN Library: description of the publication

Teoría, realidad y posibilidad de la ALALC en la integración económica latinoamericana dos conferencias by Urquidi, Víctor L.

DOAB: download the publication
DOAB: description of the publication

The Qur'ān's Legal Culture The Didascalia Apostolorum as a Point of Departure by Zellentin, Holger Michael

DOAB: download the publication
DOAB: description of the publication

Religious Identifications in Late Antique Papyri 3rd-12th Century Egypt

DOAB: download the publication
DOAB: description of the publication