Search Results - "Wit"

On Kings by Sahlins, Marshall

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

Vignettes from the Late Ming A Hsiao-p'in Anthology by Ye, Yang

DOAB: download the publication
DOAB: description of the publication

Australia Under Construction Nation-building past, present and future by Butcher, John

DOAB: download the publication
DOAB: description of the publication

Virtual exchange in Latin America: a profile of faculty and staff participants by Carmen King Ramírez

Connect to this object online.

Síndrome de Sweet localizado sobre linfedema: descripción de un caso y revisión de la literatura Sweet´s syndrome located on lymphoedema: a case report and review of literature by A Cabrera Hernández, F Pulgar Martín, I Polo Rodríguez, JM Sanz Anquela, N Valdeolivas Casillas

Connect to this object online.

use of ampicillin Sodium injection in the management of cervical dystocia and shortening of labor by Mercy Bantia

Connect to this object online.

World under Revision The Poetry of Wisława Szymborska by Ligeza, Wojciech

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

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

A Guide to Good Reasoning Cultivating Intellectual Virtues by Wilson, David C.

Access online version

Stories From 55 Years of a Transatlantic Friendship. Geschichten aus 55 Jahren transatlantischer Freundschaft/Smith College & Universität Hamburg 1961 - 2016

DOAB: download the publication
DOAB: description of the publication

Della mente sovrana del mondo by Rossi, Tommaso

DOAB: download the publication
DOAB: description of the publication

Blessed Motherhood, Bitter Fruit Nelly Roussel and the Politics of Female Pain in Third Republic France by Accampo, Elinor

DOAB: download the publication
DOAB: description of the publication

Ask Now of the Days that are Past

DOAB: download the publication
DOAB: description of the publication

The Treatment of a Maxillary Retrognathia Case with Rapid Maxillary Expansion (RME) and Face Mask Appliance, and 1- Year Follow Up After Treatment (Case Report) by Hasan Kamak, Abdülvahit Erdem, Gülhan Çatal

Connect to this object online.

A rare presentation of palmoplantar lichen planus by G. N. Mikheyev, T. V. Krasnoselskikh, V. V. Yastrebov, A. E. Grigorian

Connect to this object online.

The antero posterior relation of maxilla with saddle angle by Ravanmehr H, Kashani K

Connect to this object online.

Ovid on Cosmetics Medicamina Faciei Femineae and Related Texts by Johnson, Marguerite

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

Stories From 55 Years of a Transatlantic Friendship. Geschichten aus 55 Jahren transatlantischer Freundschaft/Smith College & Universität Hamburg 1961 - 2016

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

Australia Under Construction Nation-building past, present and future by Butcher, John

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

Deleting Dystopia Re-Asserting Human Priorities in the Age of Surveillance Capitalism by Slaughter, Richard A.

Table of Contents: “…The IT revolution reassessed -- VI. Witnesses to the revolution -- VII. Resistance and renewal…”
Access online version