検索結果 - proof complexity

Tracing the Decisions That Shaped the Development of MyChart, an Electronic Patient Portal in Alberta, Canada: Historical Research Study 著者: Avdagovska, Melita, Stafinski, Tania, Ballermann, Mark, Menon, Devidas, Olson, Karin, Paul, Pauline

Connect to this object online.

Enhancing taxpayers compliance by using Snap to Save (S2S) apps / Mohd Hafiz Bakar and Siti Norbaya Yahaya 著者: Bakar, Mohd Hafiz, Yahaya, Siti Norbaya

Link Metadata

Shepherd's Hook: Temporization of Maxillary Removable Partial Denture utilizing an Essix Tray Appliance 著者: Thomas Shepherd, DMD, Mohamed El-Shewy, BDS, William Bachand, DDS

Connect to this object online.

Multi-Winner Voting with Approval Preferences 著者: Lackner, Martin, Skowron, Piotr

目次: “…Approval-Based Committee Voting -- Dramatis Personae: ABC Rules -- Basic Properties of ABC Rules -- Proportionality -- Algorithms and Computational Complexity -- Related Formalisms and Applications -- Outlook and Research Directions -- Additional Proofs.…”
Link to Metadata

Handbook of Computational Social Science for Policy

Link to Metadata

Handbook of Computational Social Science for Policy

DOAB: download the publication
DOAB: description of the publication

An integrated approach for studying exposure, metabolism, and disposition of traditional Chinese medicine using PATBS and MDRB tools: a case study of semen Armeniacae Amarum 著者: Dandan Zhang, Junyu Zhang, Simian Chen, Hairong Zhang, Yuexin Yang, Shan Jiang, Yun Hong, Mingshe Zhu, Qiang Xie, Caisheng Wu

Connect to this object online.

Predicting Patients Requiring Treatment for Depression in the Postpartum Period Using Common Electronic Medical Record Data Available Antepartum 著者: Colin Wakefield, BSc, Martin G. Frasch, MD, PhD

Connect to this object online.

Of cattle, sand flies and men: a systematic review of risk factor analyses for South Asian visceral leishmaniasis and implications for elimination. 著者: Caryn Bern, Orin Courtenay, Jorge Alvar

Connect to this object online.

Handbook of Computational Social Science for Policy

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

Biomarkers in Drug Hypersensitivity 著者: Emanuela Corsini

DOAB: download the publication
DOAB: description of the publication

Highly Specific Blood-Brain Barrier Transmigrating Single-Domain Antibodies Selected by an In Vivo Phage Display Screening 著者: Sandra Isabel Aguiar, Joana N. R. Dias, Ana Santos André, Marta Lisete Silva, Diana Martins, Belmira Carrapiço, Miguel Castanho, João Carriço, Marco Cavaco, Maria Manuela Gaspar, Rui Jorge Nobre, Luís Pereira de Almeida, Soraia Oliveira, Lurdes Gano, João D. G. Correia, Carlos Barbas, João Gonçalves, Vera Neves, Frederico Aires-

Connect to this object online.

A Software Engineering Framework for Reusable Design of Personalized Serious Games for Health: Development Study 著者: Stéphanie Carlier, Vince Naessens, Femke De Backere, Filip De Turck

Connect to this object online.

Shadows of doubt: the uneasy incorporation of identification science into legal determination of paternity in Brazil 著者: Sueann Caulfield, Alexandra Minna Stern

Connect to this object online.

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

目次: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

Linear Algebra with Applications 著者: Nicholson, W. Keith

目次: “…1 Systems of Linear Equations -- 2 Matrix Algebra -- 3 Determinants and Diagonalization -- 4 Vector Geometry -- 5 Vector Space R -- 6 Vector Spaces -- 7 Linear Transformations -- 8 Orthogonality -- 9 Change of Basis -- 10 Inner Product Spaces -- 11 Canonical Forms -- A Complex NumbersB ProofsC Mathematical InductionD PolynomialsSelected Exercise Answers…”
Access online version

Legal aspects of Forensics 著者: Siniša Franjić

Connect to this object online.

The Essence of Mathematics Through Elementary Problems 著者: Borovik, Alexandre, Gardiner, Tony

目次: “…Infinity: recursions, induction, infinite descent -- 6.1 Proof by mathematical induction I -- 6.2 'Mathematical induction' and 'scientific induction' -- 6.3 Proof by mathematical induction II -- 6.4 Infinite geometric series -- 6.5 Some classical inequalities -- 6.6 The harmonic series -- 6.7 Induction in geometry, combinatorics and number theory -- 6.8 Two problems -- 6.9 Infinite descent -- 6.10 Chapter 6: Comments and solutions…”
Access online version

ON GENERALIZATIONS OF THE HILBERT NULLSTELLENSATZ FOR INFINITY DIMENSIONS (A SURVEY) 著者: V.V. Kravtsiv

Connect to this object online.

Evaluation of morphological characteristic and varieties of tongue prints for personal identification in Kanpur communities: An impression-based analysis 著者: Kriti Garg, Rohan Sachdev, Samiksha Shwetam, Shubhra Saxena, Vishal Mehrotra, Akash Srivastava

Connect to this object online.