Torthaí cuardaigh - Free Software Foundation

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Link to Metadata

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Link to Metadata

Peer Participation and Software What Mozilla Has to Teach Government de réir Booth, David R.

DOAB: download the publication
DOAB: description of the publication

Peer Participation and Software What Mozilla Has to Teach Government de réir Booth, David R.

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

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Link to Metadata

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Clár na nÁbhar: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata

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

Link to Metadata

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

Link to Metadata

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

Link to Metadata

DevOps for Digital Leaders Reignite Business with a Modern DevOps-Enabled Software Factory / de réir Ravichandran, Aruna, Taylor, Kieran, Waterhouse, Peter

Link to Metadata

Open Mapping towards Sustainable Development Goals Voices of YouthMappers on Community Engaged Scholarship /

Link to Metadata

Numerical Modeling in Civil and Mining Geotechnical Engineering

DOAB: download the publication
DOAB: description of the publication

SciKit Digital Health: Python Package for Streamlined Wearable Inertial Sensor Data Processing de réir Lukas Adamowicz, Yiorgos Christakis, Matthew D Czech, Tomasz Adamusiak

Connect to this object online.

Qualitative perspectives of teaching and learning in clinical skills laboratories in a developing country de réir Annie Msosa, Judith Bruce, Rosemary Crouch

Connect to this object online.

Cancer Perceptions Among Smokeless Tobacco Users: A Qualitative Study of US Firefighters de réir Nattinee Jitnarin, Walker S.C. Poston, Sara A. Jahnke, Christopher K. Haddock, Hannah N. Kelley

Connect to this object online.

Brief research report: Chest radiographic thoracic area in term ventilated infants without respiratory disease de réir Theodore Dassios, Theodore Dassios, John Adu, Anne Greenough, Anne Greenough

Connect to this object online.

Impact of Surgeon Experience in the Resection of Basal Cell Carcinoma of the Head and Neck Region de réir Carlos Gonzalo Acosta Mayorga, Piedad Elizabeth Acurio Padilla, Guido Nino Guida Acevedo

Connect to this object online.

Understanding Acoustics An Experimentalist's View of Sound and Vibration de réir Garrett, Steven L.

DOAB: download the publication
DOAB: description of the publication

Understanding Acoustics An Experimentalist's View of Sound and Vibration de réir Garrett, Steven L.

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