Results 51 to 60 of about 1,200,969 (291)

MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance

, 2008
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, lemmas, theorems, definitions, and symbols, in a consistent fashion.
Urban, Josef, Sutcliffe, Geoff, Pudlák, Petr, Vyskočil, Jiří   +3 more
core   +1 more source

Importin 7 mediates the nuclear import of HIV‐1 integrase via a specific interacting interface

FEBS Open Bio, EarlyView.
HIV‐1 integrase enables viral DNA integration into the host genome. By binding to the core domain of the host protein Importin 7 via its C‐terminal domain, the integrase is transported across the nuclear membrane into the nucleus, where integration of the viral genome into host DNA takes place. This translocation is a critical step for subsequent viral
Juana Bana, Avigail Yariv, Tal Oppenheim, Hadar Amartely, Dana Reichmann, Oded Livnah   +5 more
wiley   +1 more source

Detection of misbehaving individuals in social networks using overlapping communities and machine learning

Journal of King Saud University: Computer and Information Sciences
Detecting misbehavior in social networks is essential for maintaining trust and reliability in online communities. Traditional methods of identification often rely on individual attributes or structural network properties, which may overlook subtle or ...
Wejdan Alshlahy, Delel Rhouma
doaj   +1 more source

Verification of data-aware processes : challenges and opportunities for automated reasoning [PDF]

, 2019
We briefly introduce the line of research on the verification of data-aware processes, with the intention of raising more awareness of it within the automated reasoning community.
Calvanese D., Montali M., Rivkin A., Ghilardi S., Gianola A.   +4 more
core   +1 more source

Structural studies and functional engineering of NanX: an anhydro‐sialic acid transporter from Escherichia coli

FEBS Open Bio, EarlyView.
Biophysical characterisation shows that NanX, a membrane transport protein from the major facilitator superfamily (MFS), forms both monomers and dimers after purification. AlphaFold modelling and substrate docking provide information on residues likely involved in substrate recognition for NanX and another MFS member, NanT.
Michael C. Newton‐Vesty, Kelsi R. Hall, Zachary D. Tillett, Liam S. Turk, James S. Davies, Michael J. Currie, Hamish G. Brown, Sepideh Valimehr, Peter D. Mace, Andrew E. Whitten, Santosh Panjikar, Eric Hanssen, Rachel A. North, Renwick C.J. Dobson   +13 more
wiley   +1 more source

A Case Based Reasoning System for Automated Forensic Examinations [PDF]

, 2011
While still relatively young the use of digital forensics in criminal investigations is increasing. This hasprompted law enforcement agencies to look at developing more efficient techniques for investigating digital media.
Vickers, Paul, Horsman, Graeme, Laing, Christopher, Laing, Chris   +3 more
core  

Advancing Age Modulates Associations Between Cognitive Impairment and Brain Volumes in Early MS

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Cognitive impairment is common in multiple sclerosis (MS), but manifestations following the first demyelinating event are relatively unexplored. We investigated cross‐sectional associations between magnetic resonance imaging (MRI)–derived brain volumes and the presence of cognitive impairment outcomes five years after the first ...
Piriyankan Ananthavarathan, Marco Pitteri, Michael Foster, Sara Collorone, Sara Salama, Elisa Colato, Ferran Prados, Baris Kanber, Marios Yiannakas, Claudia A. M. Gandini Wheeler‐Kingshott, Indran Davagnanam, Frederik Barkhof, Declan Chard, Olga Ciccarelli, Ahmed Toosy   +14 more
wiley   +1 more source

Automating Defeasible Reasoning in Law

CoRR, 2022
The paper studies defeasible reasoning in rule-based systems, in particular about legal norms and contracts. We identify rule modifiers that specify how rules interact and how they can be overridden. We then define rule transformations that eliminate these modifiers, leading in the end to a translation of rules to formulas. For reasoning with and about
How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong   +3 more
openaire   +2 more sources

White Matter Hyperintensity Burden and Short‐Interval Change Associated With Sleep Apnoea in the UK Biobank

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background and Purpose White matter hyperintensities (WMH) are a core neuroimaging marker of cerebral small vessel disease (CSVD). Sleep apnoea (SA) is a recognized vascular risk factor, but its associations with regional WMH burden, short‐interval WMH change and cognitive performance in population‐based cohorts remain incompletely defined. We
Peng Cheng, Diego Z. Carvalho, Shahid Karim, Anwar Chahal, Virend K. Somers   +4 more
wiley   +1 more source

Identifying novel drug indications through automated reasoning. [PDF]

PLoS ONE, 2012
With the large amount of pharmacological and biological knowledge available in literature, finding novel drug indications for existing drugs using in silico approaches has become increasingly feasible.
Luis Tari, Nguyen Vo, Shanshan Liang, Jagruti Patel, Chitta Baral, James Cai   +5 more
doaj   +1 more source