Results 31 to 40 of about 152,608 (288)

Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis [PDF]

, 2011
Even with impressive advances in automated formal methods, certain problems in system verification and synthesis remain challenging. Examples include the verification of quantitative properties of software involving constraints on timing and energy ...
Seshia, Sanjit A.
core   +2 more sources

Enteropathogenic E. coli shows delayed attachment and host response in human jejunum organoid‐derived monolayers compared to HeLa cells

FEBS Letters, EarlyView.
Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi, Pilar Samperio Ventayol, Natalie Burkard, Nicolas Schlegel, Carmen Aguilar, Sina Bartfeld   +5 more
wiley   +1 more source

Analisis Scientific Reasoning Dalam Penerapan Pendekatan Levels Of Inquirypada Pokok Bahasan Optik [PDF]

, 2014
Penelitian ini dilatarbelakangi oleh permasalahan rendahnya scientific reasoning siswa pada mata pelajaran Fisika, khususnya pada aspek proportional reasoning, correlational reasoning, control of variabel, causal reasoning, deductive reasoning, dan ...
Lestari, Aryanti
core  

Deductive and Analogical Reasoning on a Semantically Embedded Knowledge Graph

, 2017
Representing knowledge as high-dimensional vectors in a continuous semantic vector space can help overcome the brittleness and incompleteness of traditional knowledge bases. We present a method for performing deductive reasoning directly in such a vector
B Knowlton, D Ellerman, D Summers-Stay, H Zou, R Gayler   +4 more
core   +1 more source

Chronological and Spatial Distribution of Skeletal Muscle Fat Replacement in FHL1‐Related Myopathies

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Variants in the FHL1 gene cause FHL1‐related myopathies (FHL1‐RMs), a group of neuromuscular disorders with diverse clinical presentations. This study aimed to comprehensively characterize the spatial and temporal patterns of skeletal muscle fat replacement throughout the whole body in FHL1‐RMs, to examine disease progression over ...
Rui Shimazaki, Satoru Noguchi, Hotake Takizawa, Yasushi Oya, Yuji Takahashi, Hirofumi Komaki, Hajime Arahata, Shinichiro Hayashi, Ichizo Nishino   +8 more
wiley   +1 more source

Development of a Tool to Assess Inference-Making and Reasoning in Biology

Journal of Microbiology & Biology Education, 2021
Making inferences and reasoning with new scientific information is critical for successful performance in biology coursework. Thus, identifying students who are weak in these skills could allow the early provision of additional support and course ...
Jennifer G. Cromley, Ting Dai, Tia S. Fechter, Frank E. Nelson, Martin Van Boekel, Yang Du   +5 more
doaj   +1 more source

A General Framework for Representing, Reasoning and Querying with Annotated Semantic Web Data

, 2011
We describe a generic framework for representing and reasoning with annotated Semantic Web data, a task becoming more important with the recent increased amount of inconsistent and non-reliable meta-data on the web.
Lopes, Nuno, Polleres, Axel, Straccia, Umberto, Zimmermann, Antoine   +3 more
core   +3 more sources

Integrating Patient‐Reported Quality Measures in SLE: Development of the American College of Rheumatology Implementation Guide

Arthritis Care &Research, Accepted Article.
Objective To support high‐quality, patient‐centered care for systemic lupus erythematosus (SLE), the American College of Rheumatology (ACR) developed evidence‐based measures incorporating clinical and patient‐reported outcomes measures (PROMs). Using the Consolidated Framework for Implementation Research (CFIR), we conducted semi‐structured interviews ...
Catherine Nasrallah, Cherish Wilson, Christine Hariz, Christie M Bartels, Shanthini Kasturi, Wambui Machua, Amy Bennett, Kate Chiseri, Allison Plitman, Starla Hairston Blanks, April Jorge, Patti Katz, Jinoos Yazdany, Shivani Garg   +13 more
wiley   +1 more source

Distinctive Delta and Theta Responses in Deductive and Probabilistic Reasoning

Brain and Behavior
Introduction The neural substrates of reasoning, a cognitive ability we use constantly in daily life, are still unclear. Reasoning can be divided into two types according to how the inference process works and the certainty of the conclusions.
Emir Faruk Sevim, Yasin Yildirim, Esra Ünsal, Esra Dalmizrak, Bahar Güntekin   +4 more
doaj   +1 more source

Brain Imaging, Forward Inference, and Theories of Reasoning

Frontiers in Human Neuroscience, 2015
This review focuses on the issue of how neuroimaging studies address theoretical accounts of reasoning, through the lens of the method of forward inference (Henson, 2005, 2006).
Evan eHeit
doaj   +1 more source