Search Results - "acceleration"

DETERMINAN MICROTRANSACTION DALAM GAME ONLINE PADA GAMERS by Rizfan Bahardiansyah Novitriaji,

Link Metadata

Seismic hazard map of Southern Thailand by Chinda Sutiwanich

Get full text

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Religious Entanglements Between Germans and Indians, 1800-1945

Link to Metadata

Technological and Institutional Innovations for Marginalized Smallholders in Agricultural Development

Table of Contents: “…Identification and Acceleration of Farmer Innovativeness in Upper East Ghana -- 11. …”
Link to Metadata

Proposition pour une rythmologie de la mobilité et des sociétés contemporaines by Drevon, Guillaume Simon Joseph

DOAB: download the publication
DOAB: description of the publication

The Use of Hemispheric Directional Reflectance Method to Verify the Usefulness of Filters Protecting the Skin Against Infrared Radiation by Stolecka-Warzecha A, Wilczyńśki S, Pawlus A, Lebiedowska A, Chmielewski Ł, Niezgoda Z

Connect to this object online.

THE RESULTS OF ENGLISH TEACHING AS A FOREIGN LANGUAGE FOR ACADEMIC STAFF IN THE ARTIFICIAL BILINGUALISM ENVIRONMENT by T. P. Rasskazova, N. S. Glukhanyuk, M. O. Guzikova

Connect to this object online.

Historical trends in breast Cancer among women in China from age-period-cohort modeling of the 1990-2015 breast Cancer mortality data by Yani Ding, Xinguang Chen, Qingjun Zhang, Qing Liu

Connect to this object online.

Factors Associated With Surveillance Testing in Individuals With COVID-19 Symptoms During the Last Leg of the Pandemic: Multivariable Regression Analysis by Timothy Dotson, Brad Price, Brian Witrick, Sherri Davis, Emily Kemper, Stacey Whanger, Sally Hodder, Brian Hendricks

Connect to this object online.

Results of surgical treatment of cervical cancer patients of childbearing age by V. S. Navruzova

Connect to this object online.

Caregiver perceptions of in-home COVID-19 testing for children with medical complexity: a qualitative study by Anna Jolliff, Nicole E. Werner, Hanna J. Barton, Kristina Devi Howell, Michelle M. Kelly, Makenzie Morgen, Mary Ehlenbach, Gemma Warner, Barbara Katz, Madeline Kieren, Gregory DeMuri, Ryan J. Coller

Connect to this object online.

Cyclodextrin Derivatives as Promising Solubilizers to Enhance the Biological Activity of Rosmarinic Acid by Anna Stasiłowicz-Krzemień, Natalia Rosiak, Anita Płazińska, Wojciech Płaziński, Andrzej Miklaszewski, Ewa Tykarska, Judyta Cielecka-Piontek

Connect to this object online.

An analysis of the global pharmacy workforce capacity trends from 2006 to 2012 by Ian Bates, Christopher John, Priyanka Seegobin, Andreia Bruno

Connect to this object online.

Fatigue Indices and Perceived Exertion Highlight Ergometer Specificity for Repeated Sprint Ability Testing by Hugo A. Kerhervé, Hugo A. Kerhervé, David G. Stewart, David G. Stewart, Chris McLellan, Chris McLellan, Dale Lovell

Connect to this object online.

Physical and physiological demands of basketball small-sided games: the influence of defensive and time pressures by Sarah Bredt, Juliana Torres, Laura Diniz, Gibson M. Praça, André Andrade, Juan Morales, Tomaz Rosso, Mauro Chagas

Connect to this object online.

Human alveolar echinococcosis in Slovakia: Epidemiology and genetic diversity of Echinococcus multilocularis, 2000-2023. by Daniela Antolová, Viliam Šnábel, Júlia Jarošová, Serena Cavallero, Stefano D'Amelio, Yaroslav Syrota, Róbert Rosoľanka, Mária Avdičová, Martina Miterpáková

Connect to this object online.

Short-term in-season ballistic training improves power, muscle volume and throwing velocity in junior handball players. A randomized control trial by Rachid Bouagina, Johnny Padulo, Akram Fray, Alin Larion, Hatem Abidi, Mokhtar Chtara, Mohamed Souhail Chelly, Riadh Khalifa

Connect to this object online.

A comparison of activity demands between trial matches and in-season matches across multiple teams and seasons in semi-professional, male rugby league players by Thomas Doering, Nathan Elsworthy, Dean Callaghan, Ben Jones, Masaru Teramoto, Aaron Scanlan

Connect to this object online.

Validity of estimating minute-by-minute energy expenditure of continuous walking bouts by accelerometry by Frongillo Edward A, Haas Jere D, Crouter Scott E, Kuffel Erin E, Bassett David R

Connect to this object online.