Results 51 to 60 of about 194,750 (277)

Reducing Reasons [PDF]

, 2016
Reasons are considerations that figure in sound reasoning. This is considered by many philosophers to be little more than a platitude. I argue that it actually has surprising and far-reaching metanormative implications.
Silverstein, Matthew
core  

Foley Sounds Vs Real Sounds

, 2011
(Abstract to follow)
Trento, Stefano, Götzen, Amalia De
openaire   +2 more sources

Network Localization of Fatigue in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Fatigue is among the most common symptoms and one of the main factors determining the quality of life in multiple sclerosis (MS). However, the neurobiological mechanisms underlying fatigue are not fully understood. Here we studied lesion locations and their connections in individuals with MS, aiming to identify brain networks ...
Olli Likitalo, Jaakko Kungshamn, Albert Bellmunt‐Gil, Silvia Tommasin, Abhineet Ojha, Matias Viitala, Juho Aaltonen, Jyrki Lötjönen, Juha Koikkalainen, Pauli Ylikotila, Patrizia Pantano, Merja Soilu‐Hänninen, Juho Joutsa   +12 more
wiley   +1 more source

Deep Learning–Assisted Differentiation of Four Peripheral Neuropathies Using Corneal Confocal Microscopy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Peripheral neuropathies contribute to patient disability but may be diagnosed late or missed altogether due to late referral, limitation of current diagnostic methods and lack of specialized testing facilities. To address this clinical gap, we developed NeuropathAI, an interpretable deep learning–based multiclass classification ...
Chaima Ben Rabah, Ioannis N. Petropoulos, Mark Stettner, Maryam Ferdousi, Uazman Alam, Nathan Efron, Ahmed Serag, Rayaz A. Malik   +7 more
wiley   +1 more source

On the Decidability of Soundness of Workflow Nets with an Unbounded Resource

Моделирование и анализ информационных систем, 2013
In this work, we consider the modeling of workflow systems with Petri nets. A resource workflow net (RWF-net) is a workflow net supplied with an additional set of initially marked resource places. Resources can be consumed and/or produced by transitions.
V. A. Bashkin, I. A. Lomazova
doaj   +1 more source

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, J. Eijck van, J. Jaffar, J. W. Bakker de, J. W. Lloyd, J.A. Robinson, K. L. Clark, K. R. Apt, P. Hentenryck Van, R.A. Kowalski   +9 more
core   +4 more sources

Prediction of Myasthenia Gravis Worsening: A Machine Learning Algorithm Using Wearables and Patient‐Reported Measures

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, Haoqi Sun, Sophie Lehnerer, Lea Gerischer, Maximilian Mönch, Christian Meisel, Andreas Meisel, Pushpa Narayanaswami   +7 more
wiley   +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