Results 41 to 50 of about 6,430,501 (374)

Completeness of Lyapunov Abstraction

, 2013
In this work, we continue our study on discrete abstractions of dynamical systems. To this end, we use a family of partitioning functions to generate an abstraction.
Sloth, Christoffer, Wisniewski, Rafael
core   +2 more sources

Routine vaccination coverage of children aged 1-7 years in Zhejiang province, China

Human Vaccines & Immunotherapeutics, 2018
Background: This study was to evaluate the coverage, completeness and timeliness of routine vaccination among children aged 1–7 years in Zhejiang province.
Yu Hu, Yaping Chen, Hui Liang, Ying Wang
doaj   +1 more source

The Completeness Problem for Modal Logic

, 2017
We introduce the completeness problem for Modal Logic and examine its complexity. For a definition of completeness for formulas, given a formula of a modal logic, the completeness problem asks whether the formula is complete for that logic.
Achilleos, Antonis
core   +1 more source

Evaluation of the Swedish Colorectal Cancer Registry: an overview of completeness, timeliness, comparability and validity

Acta oncologica, 2018
Background: The Swedish Colorectal Cancer Registry (SCRCR) is a national registry established in 1995 for rectal cancer, and also including colon cancer since 2007.
Peter Moberger, F. Sköldberg, H. Birgisson   +2 more
semanticscholar   +1 more source

Accuracy and Completeness of ChatGPT-Generated Information on Interceptive Orthodontics: A Multicenter Collaborative Study

Journal of Clinical Medicine
Background: this study aims to investigate the accuracy and completeness of ChatGPT in answering questions and solving clinical scenarios of interceptive orthodontics.
A. Hatia, Tiziana Doldo, Stefano Parrini, Elettra Chisci, L. Cipriani, Livia Montagna, Giuseppina Laganà, Guia Guenza, Edoardo Agosta, F. Vinjolli, Meladiona Hoxha, Claudio D’Amelio, Nicolò Favaretto, G. Chisci   +13 more
semanticscholar   +1 more source

Survey completeness of a global citizen‐science database of bird occurrence

Ecography, 2019
Measuring the completeness of survey inventories created by citizen‐science initiatives can identify the strengths and shortfalls in our knowledge of where species occur geographically. Here, we use occurrence information from eBird to measure the survey
F. L. La Sorte, M. Somveille
semanticscholar   +1 more source

European Standard Clinical Practice Guideline and EXPeRT Recommendations for the Diagnosis and Management of Gastroenteropancreatic Neuroendocrine Neoplasms in Children and Adolescents

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen, Calogero Virgone, Antje Redlich, Michael Abele, Ricardo Lopez‐Almaraz, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Maja Mazic Cesen, Andrea Ferrari, Malgorzata A. Krawczyk, Yves Reguerre, Dominik T. Schneider, Ines B. Brecht, Charlotte Rigaud, Bilgehan Yalcin, Rainer Claus, Christian Vokuhl, Constantin Lapa, Jörg Fuchs, Segolene Hescot, Thomas Walter, Julien Hadoux, Daniel Orbach   +23 more
wiley   +1 more source

Proving completeness of logic programs with the cut

, 2016
Completeness of a logic program means that the program produces all the answers required by its specification. The cut is an important construct of programming language Prolog. It prunes part of the search space, this may result in a loss of completeness.
Drabent, Włodzimierz
core   +1 more source

Relative Uniform Convergence of Quantum Difference Sequence of Functions Related to ℓp-Space Defined by Orlicz Function

Annales Mathematicae Silesianae
The sequence spaces ruℓ∞(𝒪, ∇q), ruℓp(𝒪, ∇q), ruc(𝒪, ∇q), ruc0(𝒪, ∇q), rumϕ(𝒪, ∇q, p), runϕ(𝒪, ∇q, p), rumϕ(𝒪, ∇q), runϕ(𝒪, ∇q) are defined by the Orlicz function in this article.
Debbarma Diksha, Tripathy Binod Chandra
doaj   +1 more source

Why and When Are Evidence‐Based Interventions Adopted in Paediatric Supportive Care? A Qualitative Exploration of the Determinants of Photobiomodulation Implementation

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Oral mucositis is a common and debilitating side effect of childhood cancer and stem cell transplant treatments. It affects the quality of life of children and young people (CYP) and places a strain on services. Photobiomodulation is recommended for oral mucositis prevention in international guidance but is poorly implemented in UK ...
Claudia Heggie, Kara A. Gray‐Burrows, Peter F. Day, Bob Phillips, Carl A. Thompson   +4 more
wiley   +1 more source