Results 21 to 30 of about 159,777 (173)

Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers [PDF]

, 2015
We prove decidability of univariate real algebra extended with predicates for rational and integer powers, i.e., $(x^n \in \mathbb{Q})$ and $(x^n \in \mathbb{Z})$.
B Mishra, B Poonen, F Wiedijk, H Hollmann, J Avigad, JV Uspensky, L Dries van den, L Moura de, LC Paulson, LC Paulson, M Hirvensalo, M Hoeij van, R Rioboo, S Basu, Y Matiyasevich   +14 more
core   +1 more source

Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints [PDF]

, 2017
The monadic shallow linear Horn fragment is well-known to be decidable and has many application, e.g., in security protocol analysis, tree automata, or abstraction refinement. It was a long standing open problem how to extend the fragment to the non-Horn
A Teucke, A Voronkov, C Weidenbach, C Weidenbach, F Jacquemard, G Sutcliffe, H Seidl, H Seidl, H Seidl, J Goubault-Larrecq, JCM Baeten, K Korovin, K Korovin, L Bachmair, L Bachmair, L Kovács, M Suda, P Baumgartner, P Baumgartner   +18 more
core   +3 more sources

Avaliação da substituibilidade de demanda e oferta na aviação internacional brasileira:

Revista de Defesa da Concorrência
Contexto: a definição do mercado relevante no setor de aviação internacional varia entre as autoridades antitruste, com algumas focando nas rotas de origem-destino (O&D) e outras incorporando critérios mais amplos ou mais restritos.
Gabriel Oliveira de Alarcão, Eduardo Roberto Zana, Tomás de Siervi Barcellos   +2 more
doaj   +1 more source

Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo [PDF]

, 2005
This articles is a structured bibliography on theorem provers, approaches to theorem proving, and theorem proving applications inspired from Satchmo, the model generation theorem prover developed in the mid 80es of the 20th century at ECRC, the ...
Bry, François, Manthey, Rainer
core   +1 more source

The Impacts of Computer-Aided Detection of Colorectal Polyps on Subsequent Colonoscopy Surveillance Intervals: Simulation Study

Journal of Medical Internet Research, 2023
BackgroundComputer-aided detection (CADe) of colorectal polyps has been shown to increase adenoma detection rates, which would potentially shorten subsequent surveillance intervals.
Ka Luen Thomas Lui, Sze Hang Kevin Liu, Kathy Leung, Joseph T Wu, Ann G Zauber, Wai Keung Leung   +5 more
doaj   +1 more source

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

, 2017
This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus.
A Stump, A Voronkov, CE Brown, G Alagi, G Sutcliffe, GL Martin Davis, H Nivelle, J Boudou, J McCharen, K Korovin, K Korovin, M Davis, MP Bonacina, P Baumgartner, P Baumgartner, P Baumgartner, W McCune   +16 more
core   +1 more source

Method development and validation for estimation of capsaicin in topical formulations by gas chromatography

Discover Chemistry
This study presents, a novel, simple, rapid, and highly sensitive Gas Chromatography–Flame Ionization Detection (GC-FID) method developed for capsaicin estimation in marketed semi-solid topical analgesic formulations and validated according to ICH Q2 (R1)
Sagar Maiti, Fahmida Faizah, Subhadeep Chowdhury, Partha Ganguly, Rahul Singh, Punita Kalra   +5 more
doaj   +1 more source

Assessing the potential of artificial intelligence to enhance colonoscopy adenoma detection in clinical practice: a prospective observational trial [PDF]

Clinical Endoscopy
Background/Aims This study aimed to evaluate the effectiveness of the GI Genius (Medtronic) module in clinical practice, focusing on the adenoma detection rate (ADR) during colonoscopy.
Søren Nicolaj Rønborg, Suresh Ujjal, Rasmus Kroijer, Magnus Ploug   +3 more
doaj   +1 more source

A Review of the Genus \u3ci\u3eGryllus\u3c/i\u3e (Orthoptera: Gryllidae), With a New Species From Korea [PDF]

, 2017
Gryllus is the most widely distributed genus of the Tribe Gryllini, and may be the largest; it includes 69 described species occupying most of the New World, Africa, and Europe, and much of Asia.
Alexander, Richard D
core   +2 more sources

Functional models from limited data: A parametric and multimodal approach to anatomy and 3D kinematics of feeding in basking sharks (Cetorhinus maximus)

The Anatomical Record, EarlyView.
Abstract Basking sharks, Cetorhinus maximus (Gunnerus, Brugden [Squalus maximus], Det Kongelige Norske Videnskabers Selskabs Skrifter, 1765, vol. 3, pp. 33–49), feed by gaping their mouths and gill slits, greatly reorienting their cranial skeletons to filter food from water.
Tairan Li, Mike Schindler, Martha Paskin, Venkata A. Surapaneni, Elliott Scott, Sabine Hauert, Nicholas Payne, David E. Cade, Jeremy A. Goldbogen, Frederik H. Mollen, Daniel Baum, Sean Hanna, Mason N. Dean   +12 more
wiley   +1 more source