Results 31 to 40 of about 273,321 (221)

The use of sequencing information in software specification for verification [PDF]

, 1983
Software requirements specifications, virtual machine definitions, and algorithmic design all place constraints on the sequence of operations that are permissible during a program's execution.
Osterweil, Leon J., Taylor, Richard N.
core   +1 more source

Etale homotopy types of moduli stacks of algebraic curves with symmetries [PDF]

, 2003
Using the machinery of etale homotopy theory a' la Artin-Mazur we determine the etale homotopy types of moduli stacks over $\bar{\Q}$ parametrizing families of algebraic curves of genus g greater than 1 endowed with an action of a finite group G of ...
Frediani, Paola, Neumann, Frank
core   +2 more sources

In vitro properties of patient serum predict clinical outcome after high dose rate brachytherapy of hepatocellular carcinoma

Molecular Oncology, EarlyView.
Following high dose rate brachytherapy (HDR‐BT) for hepatocellular carcinoma (HCC), patients were classified as responders and nonresponders. Post‐therapy serum induced increased BrdU incorporation and Cyclin E expression of Huh7 and HepG2 cells in nonresponders, but decreased levels in responders.
Lukas Salvermoser, Jan Niklas Schäfer, Shraga Nahum Goldberg, Philipp Maximilian Kazmierczak, Moritz Nikolaus Gröper, Philipp Franz Linden, Elif Öcal, Tanja Burkard, Stefanie Corradini, Najib Ben Khaled, Moritz Wildgruber, Max Seidensticker, Jens Ricke, Matthias Stechele, Marianna Alunni‐Fabbroni   +14 more
wiley   +1 more source

Recurrent cancer‐associated ERBB4 mutations are transforming and confer resistance to targeted therapies

Molecular Oncology, EarlyView.
We show that the majority of the 18 analyzed recurrent cancer‐associated ERBB4 mutations are transforming. The most potent mutations are activating, co‐operate with other ERBB receptors, and are sensitive to pan‐ERBB inhibitors. Activating ERBB4 mutations also promote therapy resistance in EGFR‐mutant lung cancer.
Veera K. Ojala, Sini Ahonen, Sara Peltola, Aura Tuohisto‐Kokko, Olaya Esparta, Peppi Suominen, Anne Jokilammi, Iman Farahani, Deepankar Chakroborty, Nikol Dibus, Steffen Boettcher, Tomi T. Airenne, Mark S. Johnson, Lisa D. Eli, Klaus Elenius, Kari J. Kurppa   +15 more
wiley   +1 more source

Raman‐based label‐free microscopic analysis of the pancreas in living zebrafish larvae

FEBS Open Bio, EarlyView.
Forward stimulated Raman scattering (F‐SRS) and epi coherent anti‐Stokes Raman scattering (E‐CARS) allow label‐free discrimination of distinct subcellular structures in the pancreas of living zebrafish larvae. Given the straightforward applicability, we anticipate broad implementation of Raman microscopy in other organs and across various biomedical ...
Noura Faraj, Eline M. F. de Lange, Klaas A. Sjollema, Ben N. G. Giepmans   +3 more
wiley   +1 more source

Heap Abstractions for Static Analysis [PDF]

, 2015
Heap data is potentially unbounded and seemingly arbitrary. As a consequence, unlike stack and static memory, heap memory cannot be abstracted directly in terms of a fixed set of source variable names appearing in the program being analysed.
Kanvar, Vini, Khedker, Uday P.
core   +1 more source

Expanding Hereditary Spastic Paraplegias Limits: Biallelic SPAST Variants in Cerebral Palsy Mimics

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Hereditary spastic paraplegias (HSP) are rare neurodegenerative disorders marked by spasticity and lower limb weakness. The most common type, SPG4, is usually autosomal dominant and caused by SPAST gene variants, typically presenting as pure HSP.
Gregorio A. Nolasco, Mònica Roldán, Yalda Jamshidi, Ioannis Georvasilis, Rocío Jadraque Rodríguez, Reza Boostani, Ali Shoeibi, Lluís Armengol, Anna Codina, Ehsan Ghayoor Karimiani, Cristina Hernando‐Davalillo, Loreto Martorell, María Luisa Ramírez Almaraz, Jordi Muchart, Carlos Ortez, Andrés Nascimento, Roser Urreizti, Daniel Natera‐de Benito, Mercedes Serrano   +18 more
wiley   +1 more source

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, Carvalho Gomes, Pedro de, Huisman, Marieke   +2 more
core   +1 more source

Growth Differentiation Factor 15 Elevation in the Central Nervous System Is Associated With Failure to Thrive in Alexander Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Alexander disease (AxD) is a severe neurodegenerative disorder caused by gain‐of‐function mutations in the gene for GFAP, which lead to protein aggregation and a primary astrocytopathy. Symptoms vary, but failure to thrive (FTT) and frequent emesis are common and cause significant morbidity. Here we investigate GDF15, a member of the
Tracy L. Hagemann, Michelle M. Sonsalla, Cora Luzinski, Fernando Zacahua, David A. Harris, Dudley W. Lamming, Albee Messing   +6 more
wiley   +1 more source

Interleukin‐6 as a Key Biomarker in Facioscapulohumeral Dystrophy: Evidence From Longitudinal Analyses

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Facioscapulohumeral muscular dystrophy type 1 (FSHD1) is a progressive neuromuscular disorder with no approved treatments. Identifying reliable biomarkers is critical to monitor disease severity, activity, and progression. Interleukin‐6 (IL‐6) has been proposed as a candidate biomarker, but longitudinal validation is limited ...
Jonathan Pini, Emanuela Martinuzzi, Sandra Dhifallah, Abderhmane Slioui, Angela Puma, Luisa Villa, Michele Cavalli, Andra Ezaru, Jérémy Garcia, Manuela Gambella, Federico Torre, Luca Jacopo Pavan, Nicolas Glaichenhaus, Sabrina Sacconi   +13 more
wiley   +1 more source