Results 61 to 70 of about 736,363 (296)

BioDiVinE: A Framework for Parallel Analysis of Biological Models [PDF]

, 2009
In this paper a novel tool BioDiVinEfor parallel analysis of biological models is presented. The tool allows analysis of biological models specified in terms of a set of chemical reactions. Chemical reactions are transformed into a system of multi-affine
C. Belta, David Šafránek, E.M. Clarke, Erik de Vink, G. Batt, G. Batt, H. de Jong, H. de Jong, H. Ma, Hongwu Ma, I. v Cern'a, Ion Petre, Ivana Černá, J. Barnat, J. Barnat, J. Barnat, J. Barnat, Jan Láník, Jana Fabriková, Jiří Barnat, L. Calzone, Luboš Brim, M. Feinberg, M. Kloetzer, Ralph-Johan Back, S. Hoopes et.al., S. Khademi, S.K. Jha, Sven Dražan, X. Liu   +29 more
core   +2 more sources

Value of MRI Outcomes for Preventive and Early‐Stage Trials in Spinocerebellar Ataxias 1 and 3

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To examine the value of MRI outcomes as endpoints for preventive and early‐stage trials of two polyglutamine spinocerebellar ataxias (SCAs). Methods A cohort of 100 participants (23 SCA1, 63 SCA3, median Scale for the Assessment and Rating of Ataxia (SARA) score = 5, 42% preataxic, and 14 gene‐negative controls) was scanned at 3T up ...
Thiago J. R. Rezende, Emilien Petit, Young Woo Park, Sophie Tezenas du Montcel, James M. Joers, Jonathan M. DuBois, H. Moore Arnold, Michal Povazan, Ipek Özdemir, Guita Banan, Romain Valabregue, Philipp Ehses, Jennifer Faber, Chiadi U. Onyike, Peter B. Barker, Jeremy D. Schmahmann, Eva‐Maria Ratai, Sub H. Subramony, Thomas H. Mareci, Khalaf O. Bushara, Henry Paulson, Thomas Klockgether, Alexandra Durr, Tetsuo Ashizawa, Christophe Lenglet, Gülin Öz, READISCA Investigators   +26 more
wiley   +1 more source

Implementation Of The Internal Control System For Cash Disbursements At Nahdlatul Ulama Hospital Jombang

Eksis: Jurnal Riset Ekonomi dan Bisnis, 2019
This study aims to determine the application of the Internal Control System for Cash Expenditures at the Nahdlatul Ulama Hospital Jombang. The type of research was descriptive qualitative.
Yully Oktaviani, Rachyu Purbowati, Nurhayati Nurhayati   +2 more
doaj   +1 more source

أهمية التحقيق الجبائي للتسيير في الإدارة الجبائية – دراسة تطبيقية لمفتشية الضرائب أول نوفمبر بغرداية [PDF]

مجلة الاجتهاد للدراسات القانونية والاقتصادية, 2023
The Fiscal checking For Management is one of the internal control mechanisms that the tax administration resorts to in evaluating the performance of its interests through the use of a set of methods and procedures that enable it to eliminate many errors ...
غشي العيد , بوعبد الله رابح   +1 more
doaj  

Evaluation of E. M. fields and energy transport in metallic nanoparticles with near field excitation [PDF]

, 2014
We compare two ways of calculating the optical response of metallic nanoparticles illuminated by near field dipole sources. We develop tests to determine the accuracy of the calculations of internal and scattered fields of metallic nanoparticles at the ...
Hourahine, Benjamin, McArthur, Duncan, Papoff, Francesco   +2 more
core   +1 more source

Normal‐Appearing White Matter Injury Mediates Chronic Deep Venous Hypoxia and Disease Progression in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To explore how cerebral hypoxia and Normal‐Appearing White Matter (NAWM) integrity affect MS lesion burden and clinical course. Methods Seventy‐nine MS patients, including 13 clinically isolated syndrome (CIS) patients and 66 relapsing–remitting multiple sclerosis (RRMS) patients, and 44 healthy controls (HCs) were recruited from ...
Xinli Wang, Huiying Wang, Zhizheng Zhuo, Ai Guo, Ke Lv, Decai Tian, Chao Chai, Yunyun Duan, Shuang Xia   +8 more
wiley   +1 more source

A novel trace-based sampling method for conformance checking [PDF]

PeerJ Computer Science
It is crucial for organizations to ensure that their business processes are executed accurately and comply with internal policies and requirements. Process mining is a discipline of data science that exploits business process execution data to analyze ...
Heidy M. Marin-Castro, Miguel Morales-Sandoval, José Luis González-Compean, Julio Hernandez   +3 more
doaj   +2 more sources

A Systematic Comparison of Alpha‐Synuclein Seed Amplification Assays for Increasing Reproducibility

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Seed amplification assays (SAAs) enable ultrasensitive detection of misfolded α‐synuclein across biofluids and tissues. Yet, heterogeneity in protocols limits cross‐study comparability and clinical translation. Here, we review α‐synuclein SAA methods and their performance across various biological matrices.
Manuela Amaral‐do‐Nascimento, Daniela F. Santos, Tuane C. R. G. Vieira, Tiago F. Outeiro   +3 more
wiley   +1 more source

Distribution of within-ring internal checking in Pinus radiata grown in southern chile

Maderas: Ciencia y Tecnología, 2014
The increase of Pinus radiata plantations in Chile has brought larger annual volumes to the industry and the opportunity to process them into value-added products.
A. Aguilera, L. Inzunza
doaj  

Minimal Proof Search for Modal Logic K Model Checking

, 2012
Most modal logics such as S5, LTL, or ATL are extensions of Modal Logic K. While the model checking problems for LTL and to a lesser extent ATL have been very active research areas for the past decades, the model checking problem for the more basic Multi-
Saffidine, Abdallah
core   +1 more source