Search Results - OOXML~
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 16
- Biology, life sciences 10
- Technology: general issues 10
- History of engineering & technology 7
- Medicine 7
- Computer science 6
- Artificial intelligence 4
- Geography 3
- Algorithms & data structures 2
- Autobiography: historical, political & military 2
- Bilingualism & multilingualism 2
- Business & management 2
- Business applications 2
- Christianity 2
- Classical history / classical civilisation 2
- Computer Modelling 2
- Computer networking & communications 2
- Computer simulation 2
- Computing & information technology 2
- Electronics & communications engineering 2
- Ethical issues & debates 2
- History: theory & methods 2
- Human rights 2
- Information technology industries 2
- International relations 2
- Jurisprudence & general issues 2
- Legal aspects of IT 2
- Library & information sciences 2
- Literacy 2
- Military history 2
-
661
-
662
-
663
-
664
-
665
Porcine foetal and neonatal CYP3A liver expression
Published 2011Connect to this object online.
Book -
666
-
667
-
668
Brain and Human Body Modeling Computational Human Modeling at EMBC 2018 /
Published 2019Table of Contents: “…A Robust Algorithm for Voxel-to-Polygon Mesh Phantom Conversion -- Chapter 18. …”
Link to Metadata
Electronic eBook -
669
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table of Contents: “…-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
Electronic eBook -
670
-
671
-
672
-
673
-
674
-
675
-
676
-
677
-
678
-
679
-
680