Search Results - "retrial"

Analysis of the characteristics and risk factors affecting the judgment results of medical damage liability disputes in 3172 second-instance and retrial cases in China by Yanfei Shen, Sheng Lei, Qi Wang, Hongjing Wang, Xiangyong Hao, Hui Cai

Connect to this object online.

Stability Problems for Stochastic Models: Theory and Applications II

Subjects: “…retrial queue…”
DOAB: download the publication
DOAB: description of the publication

Stochastic Processes: Theory and Applications by Korolev, Victor

Subjects: “…retrials…”
DOAB: download the publication
DOAB: description of the publication

Computational and Mathematical Methods in Information Science and Engineering

Subjects: “…classical retrial policy…”
DOAB: download the publication
DOAB: description of the publication

The Effect of Community-based Distribution on Appropriate Choices and Maintenance of Using Contraception Methods in Hamedan by Z. Ghodsi, Sh. Jahanfar, F. Shahpoorian, , R.Jamshidi

Connect to this object online.

Effects of Repeated Cryopreservation of Cleavage-Stage Embryos on Pregnancy and Perinatal Outcomes of Single Embryo Transfer by Yali Wang, Dongjia Chen, Bing Cai, Dan Huang, Yanwen Xu, Chenhui Ding

Connect to this object online.

Judicial and legislative practice and related suggestions on off-label drug use in China by Wenjie Si, Panpan Ma

Connect to this object online.

Three-Dimensional Flexible Endoscopy Can Facilitate Efficient and Reliable Endoscopic Hand Suturing: An Study by Jun Omori, Osamu Goto, Kazutoshi Higuchi, Takamitsu Umeda, Naohiko Akimoto, Masahiro Suzuki, Kumiko Kirita, Eriko Koizumi, Hiroto Noda, Teppei Akimoto, Mitsuru Kaise, Katsuhiko Iwakiri

Connect to this object online.

Validation of risk perception questionnaire for covid-19: Indonesian version for critical care nurses by Diki Ardiansyah, Diah Tika Anggraeni

Connect to this object online.

HOMOZYGOUS FAMILIAL HYPERCHOLESTEROLEMIA (HOFH) REQUIRES QUADRUPLE LIPID-LOWERING THERAPY TO ACHIEVE APPROPRIATELY LOW LDL-C by Viet Trung Le, DMSc, PA-C

Connect to this object online.

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

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Identifying olanzapine induced liver injury in the setting of acute hepatitis C: A case report by Andrea Brelje, MD, Bailey Fay, MD, Scott Mariouw, MD, Amy VandenBerg, PharmD

Connect to this object online.