Results 51 to 60 of about 194,768 (276)
Bonsai: Synthesis-Based Reasoning for Type Systems
, 2017 We describe algorithms for symbolic reasoning about executable models of type systems, supporting three queries intended for designers of type systems. First, we check for type soundness bugs and synthesize a counterexample program if such a bug is found.
Bodik, Rastislav, Chandra, Kartik
core +1 more source
A Denotational Semantics for First-Order Logic [PDF]
, 2000 In Apt and Bezem [AB99] (see cs.LO/9811017) we provided a computational interpretation of first-order formulas over arbitrary interpretations. Here we complement this work by introducing a denotational semantics for first-order logic.
E. M. Clarke +9 more
core +4 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Myasthenia gravis (MG) is a rare disorder characterized by fluctuating muscle weakness with potential life‐threatening crises. Timely interventions may be delayed by limited access to care and fragmented documentation. Our objective was to develop predictive algorithms for MG deterioration using multimodal telemedicine data ...
Maike Stein +7 more
wiley +1 more source
Revista Brasileira de Zootecnia, 2011 It was evaluated the bioeconomic impact of the breeding soundness evaluation on beef cattle production in southern Brazil. Two similar production systems, with and without the use of breeding soundness evaluation, were compared during 4 years in the ...
Sílvio Renato Oliveira Menegassi +4 more
doaj +1 more source
Constant-Soundness Interactive Proofs for Local Hamiltonians [PDF]
, 2015 $ \newcommand{\Xlin}{\mathcal{X}} \newcommand{\Zlin}{\mathcal{Z}} \newcommand{\C}{\mathbb{C}} $We give a quantum multiprover interactive proof system for the local Hamiltonian problem in which there is a constant number of provers, questions are ...
Natarajan, Anand, Vidick, Thomas
core +1 more source
Coalgebraic Infinite Traces and Kleisli Simulations
, 2018 Kleisli simulation is a categorical notion introduced by Hasuo to verify finite trace inclusion. They allow us to give definitions of forward and backward simulation for various types of systems. A generic categorical theory behind Kleisli simulation has
Hasuo, Ichiro, Urabe, Natsuki
core +1 more source
Acoustic Measures Capture Speech Dysfunction in Spinocerebellar Ataxia
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Spinocerebellar ataxias (SCA) are hereditary cerebellar degenerative disorders with a common feature of dysarthria, involving impaired phonatory and articulatory control of speech, thereby affecting social communication. In this study, we investigated whether acoustic measures could objectively measure speech dysfunction and identify
Zena Fadel +5 more
wiley +1 more source
, 2015 The volume of air that goes in and out of a musical instrument's sound hole is related to the sound hole's contribution to the volume of the sound. Helmholtz's result for the simplest case of steady flow through an elliptical hole is reviewed. Measurements on multiple holes in sound box geometries and scales relevant to real musical instruments ...
openaire +2 more sources
Competition and Financial Stability in European Cooperative Banks [PDF]
, 2014 Cooperative banks are a driving force for socially committed business at the local level, accounting for around one fifth of the European Union (EU) bank deposits and loans.
Fiordelisi, F, Mare, Davide
core +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective The Gold Coast criteria permit diagnosis of amyotrophic lateral sclerosis (ALS) even without upper motor neuron (UMN) signs. However, whether ALS patients with UMN signs (ALSwUMN) and those without (ALSwoUMN) share similar characteristics and prognoses remains unclear.
Hee‐Jae Jung +7 more
wiley +1 more source