Search Results - Urash~
Suggested Topics within your search.
Suggested Topics within your search.
- British & Irish history 180
- Research & information: general 169
- History of engineering & technology 157
- Technology: general issues 137
- Social & cultural history 105
- Biology, life sciences 66
- History of science 60
- Mathematics 54
- Literature: history & criticism 45
- Computer science 40
- History of medicine 38
- Information technology industries 34
- Artificial intelligence 33
- Software Engineering 32
- Humanities 31
- Medicine 31
- 20th century history: c 1900 to c 2000 30
- Environmental science, engineering & technology 28
- History 28
- Mathematics & science 27
- Algebra 25
- European history 21
- Physics 17
- Geography 16
- Geological surface processes (geomorphology) 16
- Combinatorics & graph theory 15
- Computer networks 15
- English poetry -- Irish authors 15
- Modern history to 20th century: c 1700 to c 1900 15
- Slovenia 15
-
6141
Neuropathy Dermatitis following Surgical Nerve Injury
Published 2011Connect to this object online.
Book -
6142
-
6143
Severe dapsone hypersensitivity syndrome in a child
Published 2013Connect to this object online.
Book -
6144
-
6145
-
6146
-
6147
-
6148
-
6149
-
6150
-
6151
-
6152
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Published 2022Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
Link to Metadata
Electronic eBook -
6153
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...
Published 2023Table of Contents: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages.…”
Link to Metadata
Electronic eBook -
6154
The Way Things Go
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6155
Reconstruire des vies Les victimes de guerre au Moyen-Orient et Médecins sans frontières
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6156
At the Edges of Sleep Moving Images and Somnolent Spectators
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6157
The Goths & Other Stories Second Edition
Published 2023DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
6158
-
6159
-
6160