Results 81 to 90 of about 719,068 (300)
Provably Correct Control-Flow Graphs from Java Programs with Exceptions [PDF]
, 2011 We present an algorithm to extract flow graphs from Java bytecode, focusing on exceptional control flows. We prove its correctness, meaning that the behaviour of the extracted control-flow graph is an over-approximation of the behaviour of the original ...
Amighi, Afshin +2 more
core +1 more source
FEBS Open Bio, EarlyView.dUTPases are involved in balancing the appropriate nucleotide pools. We showed that dUTPase is essential for normal development in zebrafish. The different zebrafish genomes contain several single‐nucleotide variations (SNPs) of the dut gene. One of the dUTPase variants displayed drastically lower protein stability and catalytic efficiency as compared ...
Viktória Perey‐Simon +6 more
wiley +1 more source
The Performance and Reliability of Generative AI Models in Software Development: A C# Based Analysis
MANAS: Journal of EngineeringThe effectiveness of generative artificial intelligence models in software development is determined not only by their ability to generate correct solutions but also by their adherence to quality metrics and their resilience to exceptional scenarios.
Abdulkadir Şeker, Halil Kaynarpınar
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Epilepsy is increasingly associated with immune dysregulation and inflammation. The T cell receptor (TCR), a key mediator of adaptive immunity, shows repertoire alterations in various immune‐mediated diseases. The unique TCR sequence serves as a molecular barcode for T cells, and clonal expansion accompanied by reduced overall TCR ...
Yong‐Won Shin +12 more
wiley +1 more source
An efficient temporal logic for robotic task planning [PDF]
Computations required for temporal reasoning can be prohibitively expensive if fully general representations are used. Overly simple representations, such as totally ordered sequence of time points, are inadequate for use in a nonlinear task planning ...
Becker, Jeffrey M.
core +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objectives To evaluate the utility of cerebrospinal fluid (CSF) biomarkers—matrix metalloproteinase‐9 (MMP‐9), tissue inhibitor of metalloproteinases‐1 (TIMP‐1), the MMP‐9/TIMP‐1 ratio, and osteopontin (OPN)—as indicators of blood–brain barrier (BBB) integrity and disease activity in people with relapsing–remitting multiple sclerosis (pwMS ...
Ivan Pavlovic +6 more
wiley +1 more source
Continuation semantics of logic programs with disciplined exception handling [PDF]
[[notice]]補正完畢[[conferencetype]]國內[[conferencedate]]19941201 ...
施國琛
core
Association of Corticospinal Tract Asymmetry With Ambulatory Ability After Intracerebral Hemorrhage
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Ambulatory ability after intracerebral hemorrhage (ICH) is important to patients. We tested whether asymmetry between ipsi‐ and contra‐lesional corticospinal tracts (CSTs) assessed by diffusion tensor imaging (DTI) is associated with post‐ICH ambulation.
Yasmin N. Aziz +25 more
wiley +1 more source
Situational reasoning for road driving in an urban environment [PDF]
, 2008 Robot navigation in urban environments requires situational reasoning. Given the complexity of the environment and the behavior specified by traffic rules, it is necessary to recognize the current situation to impose the correct traffic rules.
Burdick, Joel W. +3 more
core
Impact of Asymptomatic Intracranial Hemorrhage on Outcome After Endovascular Stroke Treatment
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Endovascular treatment (EVT) achieves high rates of recanalization in acute large‐vessel occlusion (LVO) stroke, but functional recovery remains heterogeneous. While symptomatic intracranial hemorrhage (sICH) has been well studied, the prognostic impact of asymptomatic intracranial hemorrhage (aICH) after EVT is less certain ...
Shihai Yang +22 more
wiley +1 more source