Results 41 to 50 of about 133,077 (308)

Structural abstract interpretation, A formal study using Coq [PDF]

, 2008
interpreters are tools to compute approximations for behaviors of a program. These approximations can then be used for optimisation or for error detection. In this paper, we show how to describe an abstract interpreter using the type-theory based theorem
Bertot, Yves
core   +3 more sources

Feasibility and Tolerability of Performing Portable MRI for Neurological Disorders in an Outpatient Neurology Clinic: A Prospective Cohort

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Accessing brain magnetic resonance imaging (MRI) can be challenging, especially for underserved patients, which may lead to disparities in neurological diagnosis. Method This mixed‐methods study enrolled adults with one of four neurological disorders: mild cognitive impairment or dementia of the Alzheimer type, multiple sclerosis ...
Maya L. Mastick, Nomin Enkhtsetseg, Joseph Sadok, Matheus Mochetti, Annabel Sorby Adams, Jennifer Guo, Cristina Trapaga Hacker, Isabella Gomez Hjerthen, Seungwon Lee, Siddharth Satish, Andrew S. Ham, Justin Hill, Denis Balaban, Kevin Kyle, Rebecca L. Gillani, Marcelo Matiello, Aleksandar Videnovic, Eric C. Klawiter, W. Taylor Kimberly, Farrah J. Mateen   +19 more
wiley   +1 more source

Synthesizing Recursive Logic Programs by Inverting General Resolution

IEEE Access
A fundamental scalability restriction of most Inductive Logic Programming (ILP) systems is that they search syntactically defined program spaces and cannot utilize relations in data.
Taosheng Qiu, Ryutaro Ichise
doaj   +1 more source

Abella: A System for Reasoning about Relational Specifications

Journal of Formalized Reasoning, 2014
The Abella interactive theorem prover is based on an intuitionistic logic that allows for inductive and co-inductive reasoning over relations. Abella supports the λ-tree approach to treating syntax containing binders: it allows simply typed λ-terms to be
David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, Yuting Wang   +6 more
doaj   +1 more source

SkILL - a Stochastic Inductive Logic Learner

, 2015
Probabilistic Inductive Logic Programming (PILP) is a rel- atively unexplored area of Statistical Relational Learning which extends classic Inductive Logic Programming (ILP).
Côrte-Real, Joana, Dutra, Inês, Mantadelis, Theofrastos, Rocha, Ricardo   +3 more
core   +1 more source

CoCaml: Functional Programming with Regular Coinductive Types [PDF]

, 2017
Functional languages offer a high level of abstraction, which results in programs that are elegant and easy to understand. Central to the development of functional programming are inductive and coinductive types and associated programming constructs ...
Jeannin, J-B, Kozen, D, Silva, A
core   +1 more source

Lived and Care Experiences of Chronic Musculoskeletal Shoulder Pain in Australian Adults: A Qualitative Study

Arthritis Care &Research, EarlyView.
Objective Australian evidence on lived and care experiences of chronic musculoskeletal shoulder pain (CMSP), irrespective of disorder classification or disease, is limited. However, such evidence is important for person‐centered care and informing local service pathways and care guidelines or standards.
Sonia Ranelli, Joanne E. Jordan, Ilana N. Ackerman, Alison Thorpe, Jennifer G. Persaud, Linda J. Woodhouse, Jason Chua, Ben Horgan, Andrew M. Briggs   +8 more
wiley   +1 more source

Confidence Interval Approach to Weather Forecasting with Horizon Based Genetic Programming

Düzce Üniversitesi Bilim ve Teknoloji Dergisi
Being able to forecast events has always been important for humans. Humans did forecasting by inspecting movements of material and non-material objects in ancient times.
Ömer Mintemur
doaj   +1 more source

Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models. We reduce the problem of search for best clauses to instances of the High-Utility Itemset Mining (HUIM) problem.
Farhad Shakerin
doaj   +1 more source

Productive Corecursion in Logic Programming [PDF]

, 2017
Logic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soundness of formulae is a challenging task.
Komendantskaya, Ekaterina, Li, Yue
core   +2 more sources