Results 21 to 30 of about 913,852 (214)
A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond [PDF]
, 2018 We consider a ZX-calculus augmented with triangle nodes which is well-suited to reason on the so-called Toffoli-Hadamard fragment of quantum mechanics. We precisely show the form of the matrices it represents, and we provide an axiomatisation which makes
Vilmart, Renaud
core +3 more sources
Vestibular Patient Journey: Insights From Vestibular Disorders Association (VeDA) Registry
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Vestibular symptoms impose a high burden of disability. Understanding real‐world diagnostic and treatment pathways can identify care gaps and guide interventions. We aimed to characterize symptom profiles, diagnostic trends, provider involvement, and treatment patterns in vestibular disorders.
Ali Rafati +10 more
wiley +1 more source
Artificial Intellignce: Art or Science? [PDF]
, 1988 Computer programs are new kinds of machines with great potential for improving the quality of life. In particular, expert systems could improve the ability of the small, weak and poor members of society to access the information they need to solve their ...
Bundy, Alan
core +1 more source
Accessible Interface for Multimedia Presentation in Inclusive Education [PDF]
, 2007 [Poster] 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE'07), 25-27th June, 2007, Dundee (Scotland)Among the technological solutions to achieve an inclusive education, the educative electronic accessible ...
Iglesias Maqueda, Ana María +3 more
core +3 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Emerging evidence suggests that low‐frequency neural oscillations are dynamically regulated by consciousness levels, with the recovery of low cortical activity potentially serving as a neurophysiological substrate for conscious emergence. Targeted enhancement of these low‐frequency rhythms in patients with disorders of consciousness
Chuan Xu +10 more
wiley +1 more source
Proceedings of the 2025 ACM Conference on Fairness, Accountability, and TransparencyLLMs have been celebrated for their potential to help multilingual scientists publish their research. Rather than interpret LLMs as a solution, we hypothesize their adoption can be an indicator of existing linguistic exclusion in scientific writing. Using the case study of ICLR, an influential, international computer science conference, we examine how ...
Haley Lepp, Daniel Scott Smith
openaire +2 more sources
Code Generation for a Simple First-Order Prover [PDF]
, 2016 We present Standard ML code generation in Isabelle/HOL of a sound and complete prover for first-order logic, taking formalizations by Tom Ridge and others as the starting point.
From, Andreas Halkjær +2 more
core
Indexed Induction and Coinduction, Fibrationally [PDF]
, 2013 This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions.
Fumex, Clement +2 more
core +1 more source
Sex Differences in Medication Discontinuation in Axial Spondyloarthritis
Arthritis Care &Research, EarlyView.Objective We examined sex differences in medication discontinuation among patients with axial spondyloarthritis (axSpA) initiating tumor necrosis factor inhibitors (TNFi), interleukin‐17 inhibitors (IL‐17i), or JAK inhibitors (JAKi). Methods Using data from the Rheumatology Informatics System for Effectiveness (RISE) Registry (2003–2025), we assessed ...
Rachael Stovall +9 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective The purpose was to evaluate a biomarker score consisting of MUC5B rs35705950 promoter variant, plasma matrix metalloproteinase‐7 (MMP‐7), and serum anti–malondialdehyde‐acetaldehyde (anti‐MAA) antibody for rheumatoid arthritis (RA)–associated interstitial lung disease (ILD) risk stratification.
Kelsey Coziahr +16 more
wiley +1 more source