Deep Probabilistic Programming Languages: A Qualitative Study [PDF]
Deep probabilistic programming languages try to combine the advantages of deep learning with those of probabilistic programming languages. If successful, this would be a big step forward in machine learning and programming languages. Unfortunately, as of now, this new crop of languages is hard to use and understand.
arxiv
Quantifying the Impact on Software Complexity of Composable Inductive Programming using Zoea [PDF]
Composable inductive programming as implemented in the Zoea programming language is a simple declarative approach to software development. At the language level it is evident that Zoea is significantly simpler than all mainstream languages. However, until now we have only had anecdotal evidence that software produced with Zoea is also simpler than ...
arxiv
QINL: Query-integrated Languages [PDF]
We describe an alternative solution to the impedance-mismatch problem between programming and query languages: rather than embed queries in a programming language, as done in LINQ systems, we embed programs in a query language, and dub the result QINL.
arxiv
Diagnostic Challenge in Frontal Variant Alzheimer's Disease With Low Amyloid‐β PET Retention
ABSTRACT Diagnosing frontal variant Alzheimer's disease (fvAD) is difficult and could be even more difficult when amyloid‐beta (Aβ) PET retention is low. A 63‐year‐old woman presenting with a 3‐year history of apathy and memory impairment showed executive dysfunction, memory impairment, and severe bilateral frontotemporal atrophy on MRI.
Ryosuke Shimasaki+5 more
wiley +1 more source
Home‐Based Tele‐tDCS in Amyotrophic Lateral Sclerosis: Feasibility, Safety, and Preliminary Efficacy
ABSTRACT Objective Amyotrophic lateral sclerosis (ALS) is a progressive neurodegenerative disease with limited treatment options. Transcranial direct current stimulation (tDCS) shows promise as a neuromodulatory intervention in various neurological disorders, but its application in ALS, particularly in a remote, home‐based format, remains underexplored.
Sangeetha Madhavan+6 more
wiley +1 more source
The meaning of a program change is a change to the program's meaning [PDF]
Programming is the activity of modifying a program in order to bring about specific changes in its behaviour. Yet programming language theory almost exclusively focuses on the meaning of programs. We motivate a "change-oriented" viewpoint from which the meaning of a program change is a change to the program's meaning.
arxiv
Declaratively solving Google Code Jam problems with Picat [PDF]
In this paper we present several examples of solving algorithmic problems from the Google Code Jam programming contest with Picat programming language using declarative techniques: constraint logic programming and tabled logic programming. In some cases the use of Picat simplifies the implementation compared to conventional imperative programming ...
arxiv +1 more source
From Logic to Functional Logic Programs [PDF]
Logic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable functions into predicates in order to stay in the logic programming framework.
arxiv
Correspondence of MRI and nTMS With EDSS in Multiple Sclerosis: Longitudinal Follow‐Up Study
ABSTRACT Objectives Considering the characteristics of multiple sclerosis (MS) disease and its impact on motor disability, this study aims to assess the functional integrity of the corticospinal tract by examining motor evoked potentials (MEPs), Expanded Disability Status Scale (EDSS) scores, magnetic resonance imaging (MRI) lesion counts, and ...
Antonia Bralić+13 more
wiley +1 more source
EBG: A Lazy Functional Programming Language Implemented on the Java Virtual Machine [PDF]
This technical report describes the implementation of a lazy functional programming language on the Java VM.
arxiv