Results 81 to 90 of about 1,997,974 (296)

Information Content in Formal Languages

SSRN Electronic Journal, 2022
Content is completely unchanged, but explanatory text is inserted between lemmas, theorems and proofs for better understandability of the ...
openaire   +3 more sources

White Matter Microstructural Abnormalities in Neonatal Onset Genetic Epilepsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Recent evidence indicates that epilepsy is associated with abnormal white matter. If seizures alter white matter, then the impact upon network function, epileptogenesis, and cognition could be pronounced in neonates undergoing rapid developmental myelination. Neonates with epilepsy due to nonstructural genetic causes provide a unique
Amanda G. Sandoval Karamian, Tianjia Zhu, Hao Huang, Shavonne L. Massey, Mark P. Fitzgerald, Darshana Parikh, Arastoo Vossough, Ingo Helbig, Nicholas S. Abend   +8 more
wiley   +1 more source

Overview on agent-based social modelling and the use of formal languages [PDF]

, 2013
Transdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation.
Kaplan Marcusan, Adriana, Casanovas Garcia, Josep, Rubio Campillo, Xavier, Montañola Sales, Cristina, Cela Espín, José M.   +4 more
core   +1 more source

Electroencephalographic Normalization as a Biomarker of Clinical Recovery in Down Syndrome Regression Disorder

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Down syndrome regression disorder is a syndrome characterized by subacute loss of cognitive, behavioral, and functional abilities in individuals with Down syndrome. Electroencephalography abnormalities are frequently observed during evaluation, but it remains unclear whether these findings represent a dynamic marker of disease ...
Jonathan D. Santoro, Mackenzie Silverman, Maeve C. Lucas, Mariam M. Yousuf, Samuel T. Otey, Stella V. Gray, Brittany Jordan, Madeline D. Kahan, Latanya D. Agurs, Michelle Van Hirtum Das, Deborah Holder, Devin King, Eileen A. Quinn, Ryan Kammeyer, Michael S. Rafii   +14 more
wiley   +1 more source

A formal model of the Semantic Web Service Ontology (WSMO) [PDF]

, 2012
Semantic Web Service, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry.
Payne, T.R., Nick Gibbins, Wang, H.W., Redavid, D., Hai H. Wang, Wang, Hai, Gibbins, Nick, Payne, Terry, Terry R. Payne, Gibbins, N., Redavid, Domenico, Domenico Redavid   +11 more
core   +1 more source

Long‐Term Neurologic Exam Findings in People Diagnosed and Treated During Acute HIV Infection

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Evaluate clinical and laboratory correlates of abnormal neurologic exam findings after acute HIV infection (AHI). Methods Participants from the RV254/SEARCH 010 cohort in Bangkok underwent standardized neurologic examinations at Weeks 0 (AHI), 12, 96, and 288 following antiretroviral therapy (ART).
Kathryn B. Holroyd, Tyler Hamby, Carlo Sacdalan, Somchai Sriplienchan, Pathariya Promensa, Luxenaree Poonpitak, Netsiri Dumrongpisutikul, Eugène Kroon, Sandhya Vasan, Robert Paul, Ferron O'Campo, Lydie Trautmann, Phillip Chan, Serena Spudich, on behalf of the RV254/SEARCH 010 Study Team, Julie Ake, Sandhya Vasan, Lydie Trautmann, Merlin Robb, Trevor Crowell, Donn Colby, Diane Bolton, Shelly Krebs, Leigh Ann Eller, Morgane Rolland, Rasmi Thomas, Dominic Paquin Proulx, Suteeraporn Pinyakorn, Tyler Hamby, Mark de Souza, Ellen Turk, Amber Moodley, Gerald Quarles, Jintanat Ananworanich, Denise Hsu, Victoria Polonis, Nelson Michael, Sheila Peel, COL Eric Garges, Alexandra Schuetz, Siriwat Akapirat, Bessara Nantapinit, Pornsuk Visudhiphan, Saowanit Getchalarat, Nampueng Churikanont, Sangsulee Thamakaison, Somchai Sriplienchan, Carlo Sacdalan, Pathariya Promsena, Luxe‐naree Poonpitak, Eugene Kroon, Nitiya Chomchey, Jintana Intasan, Varaporn Pothipala, Ferron Ocampo, Nittaya Phanuphak, Nipat Teeratakulpisan, Yuwaree Pichitchok, Anchalee Avihingsanon, Opass Putcharoen, Kiat Ruxrungtham, Thanyawee Puthanakit, Sopark Manasnayakorn, Phandee Watanaboonyongcharoen, Rungsun Rerknimitr, Irini Sereti, Daniel Douek, Eli Bortiz, Frank Maldarelli, Mary Kearney, Serena Spudich, Phillip Chan, Lishomwa Ndhlovu, Guinevere Li, Michael Corley, Victor Valcour, Peter Hunt, Jacob Estes, Afam Okoye, Jeff Lifson, Claire Deleage, Nicolas Chomont, Andres Finzi, Lyle McKinnon, Henrik Zetterberg, Robert Siliciano, Robert Paul, Julie Mannarino, Jonathan Li, John Mellors, Josh Cytkor, Dan Barouch, Michael Seaman, Boris Juelg, Alex Shalek, Timothy Schacker, Ashley Haase, Mario Stevenson, Wenjun Li, Arthur Kim, Sharon Lewin, Adam Carrico, Susana Valente, Fred Hutchinson, Josh Schiffer, Guido Ferrari, Beau Ances, Alberto Bosque, Katharine Bar, Killian Pohl, David Ho, Yaoxing Huang, Michael Busch, Mohamed Abdel‐Mohsen, Johanna Gostner, Brian Agan, Fatah Kashanchi, Greg Laird, Kathryn Holroyd   +118 more
wiley   +1 more source

Borrowing and disappearance of light verbs: Loan-verb integration in Indian languages [PDF]

In this paper, I discuss patterns of loan-verb integration attested in Indian languages and show that certain English verbal borrowings in languages like Hindi and Marathi can either be accommodated into the host language using a supporting light verb or
Kulkarni, Aaditya
core   +1 more source

A Formal Account of WS-BPEL [PDF]

, 2008
We introduce B lite, a lightweight language for web services orchestration designed around some of WS-BPEL peculiar features like partner links, process termination, message correlation, long-running business transactions and compensation handlers.
R. Pugliese, A. Lapadula, Pugliese, Rosario, Tiezzi, Francesco, Lapadula, Alessandro, Tiezzi, F., Rosario Pugliese, Francesco Tiezzi, Alessandro Lapadula   +8 more
core   +1 more source

Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2023

, 2023
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies,
Formal Methods in Computer Aided Design
core   +1 more source

Quantitative MRI Uncovers Subtle Cortical Damage in Myelin Oligodendrocyte Glycoprotein Antibody‐Associated Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To determine whether myelin‐sensitive quantitative MRI reveals microstructural abnormalities in normal‐appearing cortex (NACtx) in myelin oligodendrocyte glycoprotein antibody–associated disease (MOGAD), indicating that conventional MRI underestimates remission residual cortical injury.
Valentina Camera, Agnese Tamanti, Silvia Messina, Nicola Dall'Osto, Teresa Maltempo, Stefano Ziccardi, Matteo Foschi, Maria Grazia Piscaglia, Diana Ferraro, Francesco Crescenzo, Francesca Rossi, Albulena Bajrami, Sabrina Marangoni, Damiano Marastoni, Francesca Benedetta Pizzini, Maria Isabel Leite, Roberta Magliozzi, Patrick Waters, Massimiliano Calabrese, Jacqueline Palace, Ruth Geraldes   +20 more
wiley   +1 more source