Results 111 to 120 of about 1,133,638 (315)

Model Checking Properties on Reduced Trace Systems

Algorithms, 2014
Temporal logic has become a well-established method for specifying the behavior of distributed systems. In this paper, we interpret a temporal logic over a partial order model that is a trace system.
Antonella Santone, Gigliola Vaglini
doaj   +1 more source

Lexical Relation Models as a Possible Check on Lexicostatistic Inferences¹ [PDF]

, 1962
William W. Elmendorf
openalex   +1 more source

NMR screening of low molecular weight inhibitors targeting the papain‐like protease (PLPro) of SARS‐CoV‐2

FEBS Open Bio, EarlyView.
Papain‐like protease from SARS‐CoV‐2 plays an important role in the cleavage of the viral polyproteins and in the suppression of the host's immune response. Here, we present the results of an NMR screening study. We identified 86 binding compounds, of which five candidates were chosen for in‐depth analysis.
Dennis J. Pyper, Sridhar Sreeramulu, Benjamin T. Lanham, Elizabeth M. Engle, David Fushman, Harald Schwalbe   +5 more
wiley   +1 more source

Dielectric Measurements of Poly(γ-alkyl L-glutamate)s in the Solid State as a Check of Applicability of the Two Phase Model [PDF]

, 1979
Naoki Sasaki, Hidehiko Shimodate, Yuji Yamashita, Kunio Hikichi   +3 more
openalex   +1 more source

Characterization of WAC interactions with R2TP and TTT chaperone complexes linking glucose and glutamine availability to mTORC1 activity

FEBS Open Bio, EarlyView.
TTT and R2TP chaperone complexes are required for the assembly and activation of mTORC1. WAC directly interacts with components of TTT, R2TP, and mTORC1, and these interactions are affected by the availability of glucose and glutamine, correlating with changes in mTORC1 activity.
Sofía Cabezudo, Natalia Cuervo, Carmen García‐Martín, Andrés López‐Perrote, Clara Reglero, Adrián Maqueda‐Real, Ana González‐Corpas, Marina Serna, Diego Megías, Alejo Efeyan, Solip Park, Oscar Llorca   +11 more
wiley   +1 more source

Regression model checking

2009 IEEE International Conference on Software Maintenance, 2009
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered model checking of single versions of programs. It is well understood that model checking can be very expensive for large, complex programs.
Yang, Guowei, Dwyer, Matthew B., Rothermel, Gregg   +2 more
openaire   +3 more sources

Mitochondrial DNA disorders in neuromuscular diseases in diverse populations

Annals of Clinical and Translational Neurology, EarlyView.
Abstract Neuromuscular features are common in mitochondrial DNA (mtDNA) disorders. The genetic architecture of mtDNA disorders in diverse populations is poorly understood. We analysed mtDNA variants from whole‐exome sequencing data in neuromuscular patients from South Africa, Brazil, India, Turkey and Zambia. In 998 individuals, there were two definite
Fei Gao, Katherine R Schon, Jana Vandrovcova, Özlem Yayıcı Köken, Sharika Raga, Kireshnee Naidu, Maryke Schoonen, Nimita Rani, Pedro Tomaselli, Dipti Baskar, Musambo Kapapa, Ipek Polat, Lindsay A Wilson, Kumarasamy Thangaraj, Uluç Yiş, Bevinahalli N Nandeesh, David Bearden, Michelle Kvalsund, Franclo Henning, Seena Vengalil, Atchayaram Nalini, Claudia F. R. Sobreira, Wilson Marques, Haluk Topoloğlu, Michael G Hanna, Sireesha Yareeda, Venugopalan Y Vishnu, Francois H van der Westhuizen, Izelle Smuts, Surita Meldau, Jo Wilmshurst, Büşranur Çavdarlı, Jeannine Heckmann, Patrick F Chinnery, Rita Horvath   +34 more
wiley   +1 more source

Regular Model Checking Upside-Down: An Invariant-Based Approach [PDF]

Logical Methods in Computer Science
Regular model checking is a technique for the verification of infinite-state systems whose configurations can be represented as finite words over a suitable alphabet.
Javier Esparza, Michael Raskin, Christoph Welzel-Mohr   +2 more
doaj   +1 more source

Spinal Cord Abnormalities in Early Pediatric Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Spinal cord lesions and atrophy in the cervical region are common in adult multiple sclerosis (MS) and correlate with disability. Whether similar abnormalities occur in pediatric MS patients is largely unknown. Clinical and MRI evaluations were performed in 38 pediatric MS patients and 13 healthy controls (HC).
Monica Margoni, Paola Valsasina, Paolo Preziosa, Martina Rubin, Mor Gueye, Lucia Moiola, Maria Assunta Rocca, Massimo Filippi   +7 more
wiley   +1 more source

Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]

Sensors (Basel), 2022
Zbrzezny AM, Zbrzezny A.
europepmc   +1 more source