Results 101 to 110 of about 174,815,442 (248)

A Comparison of Three Program Query Languages to Detect Python Programming Misconceptions. [PDF]

Detecting and addressing common misconceptions in beginner programmers' code is key to improve their learning experience. This paper evaluates the effectiveness of three static program query languages and tools: Flake8, Regex and CodeQL, for identifying ...
Colla, Quentin, Liénard, Julien, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025), Mens, Kim   +3 more
core   +1 more source

Cognitive and Neuroimaging Divergence Between Juvenile and Adult FUS Amyotrophic Lateral Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Amyotrophic lateral sclerosis (ALS) is a neurodegenerative disorder characterized by progressive motor neuron degeneration. Fused in sarcoma (FUS)‐associated juvenile ALS (jALS) represents a distinct and aggressive subgroup with rapid deterioration and poor prognosis.
Alexandra V. Jürs, Marcel Naumann, Annaliis Lehto, Hanna Schön, Jens Kurth, Johannes Prudlo, Andreas Hermann, Elisabeth Kasper   +7 more
wiley   +1 more source

Practical implementation of a dependently typed functional programming language [PDF]

, 2005
Types express a program's meaning, and checking types ensures that a program has the intended meaning. In a dependently typed programming language types are predicated on values, leading to the possibility of expressing invariants of a program's ...
Brady, Edwin С., Brady, Edwin ?
core  

Interaction of Intraprocedural Antiplatelets and Intravenous Thrombolysis in Acute Intracranial Stenting: RESISTANT Registry Subanalysis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction/Objective Acute intracranial stenting during endovascular thrombectomy (EVT) for ischemic stroke requires intraprocedural antiplatelet therapy (APT) to maintain patency. However, the hemorrhagic risk of combining APT with intravenous thrombolysis (IVT) remains uncertain.
Aaron Rodriguez‐Calienes, Leonardo Cruz‐Criollo, Eric Kontowicz, Marta Olivé‐Gadea, Francesco Diana, Johannes Kaesmacher, Adnan Mujanovic, Serdar Geyik, Songul Senadim, Amedeo Cervo, Andrea Salcuni, Mariangela Piano, Manuel Moreu, Alfonso López‐Frías, Ameer E. Hassan, Samantha Miller, Elena Zapata‐Arriaza, Asier de Albóniga‐Chindurza, Mauro Bergui, Stefano Molinaro, João André Sousa, Fábio Gomes, João Sargento‐Freitas, Andrea Alexandre, Alessandro Pedicelli, Jeremy Hofmeister, Paolo Machi, Luca Scarcia, Erwah Kalsoum, Jose Amorim, Torcato Meira, Leonardo Renieri, Francesco Capasso, Daniele Romano, Eduardo Bárcena‐Ruiz, David Seoane, Mohamad Abdalkader, Piers Klein, Thanh N. Nguyen, Catarina Perry da Câmara, Anderson Brito, Nashwa Abdelhakim, Isabel Fragata, Dileep R. Yavagal, Jude H. Charles, Jose Rodriguez Castro, Pedro Vega, Atilla Özcan Özdemir, Zehra Uysal Kocabaş, Stanislas Smajda, Sadiq Al Salman, Jane Khalife, Tudor G. Jovin, Francesco Biraschi, Francesca Richetti, Pedro Castro, Luis Albuquerque, Adnan Siddiqui, Vinay Jaikumar, Pedro Navia, Nikolaos Ntoulias, Marios Psychogios, Mariano Velo, Joaquín Zamarro, Gonzalo de Paco, Yazan Ashouri, Mohammad AlMajali, Juan F. Arenillas, Alicia Sierra, Michele Romoli, João Pedro Marto, Shadi Yaghi, Marc Ribo, Alejandro Tomasello, Manuel Requena, Santiago Ortega‐Gutierrez   +75 more
wiley   +1 more source

The Functional Side of Logic Programming

, 1995
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming just functional programming in disguise?
MARCHIORI, MASSIMO, Massimo Marchiori
core   +1 more source

Jolie Static Type Checker: a Prototype

Моделирование и анализ информационных систем, 2017
Static verification of a program source code correctness is an important element of software reliability. Formal verification of software programs involves proving that a program satisfies a formal specification of its behavior.
Daniel de Carvalho, Manuel Mazzara, Bogdan Mingela, Larisa Safina, Alexander Tchitchigin, Nikolay Troshkov   +5 more
doaj   +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

Programming errors in traversal programs over structured data [PDF]

, 2013
Traversal strategies à la Stratego (also à la Strafunski and ‘Scrap Your Boilerplate’) provide an exceptionally versatile and uniform means of querying and transforming deeply nested and heterogeneously structured data including terms in functional ...
Kaiser, Markus, Ralf Lämmel, Simon Thompson, Markus Kaiser, Thompson, Simon, Laemmel, Ralf   +5 more
core   +1 more source

Lower power structures of directed spaces

四川大学学报. 自然科学版, 2020
Powerdomains in domain theory play an important role in modeling the semantics of nondeterministic functional programming languages. In this paper, we extend the notion of powerdomain to the category of directed spaces and define the notion of lower ...
XIE Xiao-Lin, KOU Hui
doaj  

Special Issue on the Theory and Practice of Differential Privacy

The Journal of Privacy and Confidentiality, 2017
This special issue presents papers based on contributions to the first international workshop on the “Theory and Practice of Differential Privacy” (TPDP) held in London, UK, 18 April 2015, as part of the European joint conference on Theory And Practice ...
Marco Gaboardi, Chris J. Skinner
doaj   +1 more source