Results 101 to 110 of about 467,057 (287)

Flight software development for the isothermal dendritic growth experiment [PDF]

The Isothermal Dendritic Growth Experiment (IDGE) is a microgravity materials science experiment scheduled to fly in the cargo bay of the shuttle on the United States Microgravity Payload (USMP) carrier.
Glicksman, Martin E., Levinson, Laurie H., Winsa, Edward A.   +2 more
core   +1 more source

Operational specification for FCA using Z [PDF]

, 2008
We present an outline of a process by which operational software requirements specifications can be written for Formal Concept Analysis (FCA). The Z notation is used to specify the FCA model and the formal operations on it.
Andrews, S., Polovina, S.
core   +3 more sources

Developmental and Epileptic Encephalopathy due to Biallelic Pathogenic Variants in PIGM

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective PIGM encodes a critical enzyme in the glycosylphosphatidylinositol (GPI)‐anchor biosynthesis pathway. While promoter‐region mutations in PIGM have been associated with a relatively mild phenotype characterized by portal vein thrombosis and absence seizures, recent evidence suggests that coding‐region mutations result in a more severe
Júlia Sala‐Coromina, Anna Marcé‐Grau, Barbara Masotto, Marta Codina, Lamia BenJemaa, Yasmina Elaribi, Mónica Martinez‐Gallo, Roger Colobran, Angel Sanchez‐Montañez, Irene Valenzuela, Yoshiko Murakami, Alfons Macaya   +11 more
wiley   +1 more source

Formalizing structured file services for the data storage and retrieval subsystem of the data management system for Spacestation Freedom [PDF]

A brief example of the use of formal methods techniques in the specification of a software system is presented. The report is part of a larger effort targeted at defining a formal methods pilot project for NASA.
Jamsek, Damir A.
core   +1 more source

FDG‐PET Associations With Disease Severity and Outcomes in NMDA‐Receptor IgG Autoimmune Encephalitis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Patients with N‐methyl‐D‐aspartate (NMDA) receptor‐immunoglobulin G (IgG) autoimmune encephalitis (NMDAR‐IgG AE) demonstrate occipital lobe hypometabolism on baseline brain fluorodeoxyglucose‐positron emission tomography (bFDG‐PET).
Jonathan K. Lee, Jeffrey Lambe, Scott Johnson, Akua Abrah, Jennifer Bullen, Jeffrey A. Cohen, Tatchaporn Ongphichetmetha, Amy Kunchok   +7 more
wiley   +1 more source

Automated requirements engineering framework for agile model-driven development

Frontiers in Computer Science
IntroductionAdvances in requirements engineering, driven by various paradigms and methodologies, have significantly influenced software development practices.
Muhammad Aminu Umar, Muhammad Aminu Umar, Kevin Lano, Abdullahi Kutiriko Abubakar   +3 more
doaj   +1 more source

Paramagnetic Rim Lesions Are Associated With Trans‐Synaptic Degeneration of the Visual Pathway in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Retrograde trans‐synaptic degeneration (rTSD) from posterior visual pathway lesions in multiple sclerosis (MS) is characterized by hemi‐macular ganglion cell‐inner plexiform layer (GCIPL) thinning and contralateral visual field loss.
Abdul Jaber Tayem, Angel Liu, Sargis Manukyan, Mustafa Subhi, Elaina Luskin, Bryan Quah, Sreekanth Madhusoodhanan Nair, Arzu C. Has Silemek, Gabriela Zabala, Yujie Cui, Laura Locke, Paula Barreras, Marwa Kaisey, Vinicius Calsavara, Daniel S. Reich, Nancy L. Sicotte, Pascal Sati, Omar Al‐Louzi   +17 more
wiley   +1 more source

FRUIT: Fuzzy Representation of Unbounded and Imprecise Terms in Non-Functional Requirements

IEEE Access
It is challenging to verify Non-Functional Requirements (NFRs) because the traditional verification process typically uses the binary concept of true or false to determine whether a requirement has been fulfilled, leaving no space for uncertainty, even ...
Franklin Parrales-Bravo, Rosangela Caicedo-Quiroz, Julio Barzola-Monteses, Leonel Vasquez-Cevallos   +3 more
doaj   +1 more source

Cracking the Code: Genotype–Phenotype Correlation Models in Sarcoglycanopathies

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Sarcoglycanopathies are among the most severe limb‐girdle muscular dystrophies (LGMD), though milder presentations have been described. These diseases are primarily caused by missense variants, but the limited predictability of their effect on protein maturation, complex formation, and transport has hindered reliable genotype ...
Leonela Luce, Goknur Selen Kocak, José Verdú‐Díaz, Jorge Alonso‐Pérez, Kristl G. Claeys, Tanya Stojkovic, Gorka Fernández‐Eulate, Pascal Laforêt, Najoua Miladi, Filipe Di Pace, Cristiane Araujo Martins Moreno, Edmar Zanoteli, Conrad C. Weihl, Volker Straub, Ana Töpf, Jordi Díaz‐Manera, Sarcoglycan European Cohort Consortium, Adele D′Amico, Adolfo López de Munain, Alicia Alonso‐Jiménez, Ana Camacho‐Salas, Andrea Gangfuß, Andrés Nascimento, Anna Sarkozy, Anneke J. van der Kooi, Arturo Fraga‐Bau, Béla Melegh, Benedikt Schoser, Bjarne Udd, Blaz Koritnik, Carlos Ortez, Chiara Marini Bettolo, Chiara Panicucci, Claudia Weiss, Claudio Bruno, Claudio Semplicini, Cristina Dominguez‐González, Cristina Garrido, David Gómez‐Andrés, Edoardo Malfatti, Elena Pegoraro, Elke De Vos, Francina Munell, Gabriele Dekomien, Giacomo Pietro Comi, Giorgio Tasca, Isabelle Richard, Jan L. De Bleecker, Jana Haberlová, Jesper Helbo Storgaard, Johanna Palmio, John Vissing, Juan Carlos de Leon‐Hernández, Kinga Hadzsiev, Laura Costa‐Comellas, Lea Leonardis, Leroy ten Dam, Lidia González‐Quereda, Luca Bello, Luisa Politano, Manuela Santos, Marianne de Visser, Marie Rohlenová, Matteo Garibaldi, Michela Guglieri, Nicolas Deconinck, Nicoline Løkken, Omar Abdel‐Mannan, Pia Gallano, Roberto Fernández‐Torrón, Ulrike Schara‐Schmidt, Vincenzo Nigro, Vittoria Zangaro   +72 more
wiley   +1 more source

Transforming timing diagrams into knowledge acquisition in automated specification

, 2007
Requirements engineering is an important part of developing programs. It is an essential stage of the software development process that defines what a product or system should to achieve.
Joochim, Tossaporn, Poppleton, Mike
core