Haut PDF Functional programming and the logical variable
Functional programming and the logical variable
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
37
Constrained variable clustering and the best basis problem in functional data analysis
... problems, the first k principal components of a dataset give the best linear approximation of the original data in R k for the quadratic norm (see [13] for functional principal ...
11
Variable selection and estimation in multivariate functional linear regression via the Lasso
... knowledge, the model has been first mentioned in the work of Cardot et ...under the name of multiple functional linear ...algorithm and applied to the ozone prediction dataset ...
21
VARIABLE SELECTION AND ESTIMATION IN MULTIVARIATE FUNCTIONAL LINEAR REGRESSION VIA THE LASSO
... solution and, hence, is not calculable. We then propose the GPD (Groupwise-Majorization-Descent) algorithm, initially proposed by Yang and Zou (2015), to compute the solution paths of ...
36
Static interpretation of higher-order modules in Futhark: functional GPU programming in the large
... to the representation of the core language, the module language, and the target language, which keeps our implementation close to the approach presented in the ...paper. ...
32
Recursion Schemes and Logical Reflection
... canonical programming calculus for studying program transformation and control ...rich and robust classes of possibly infinite ranked trees (or sets of such trees) with strong algorithmic ...
30
Logical equivalence for subtyping object and recursive types
... interpret the judgement A :σ as: “the predicate σ makes sense of terms of type A”, namely σ ∈ L A for closed ...object and recursive types. The formal system formalises the concept that ...
55
Logical time @ work: the RT-Simex project
... with logical and multiform time. Logical time relies on a relaxed form of time that supports causal (untimed) and chronological (timed) relationships between some ...In logical time, ...
3
Algebraic types and pattern matching in the logical language of the Why verification platform
... types and pattern matching in Why 3 1 Motivation This work was inspired by the recent experiments [1] with verification of floating- point computations in Why ...to the IEEE Standard 754, which ...
16
Exploring medical data using visual spaces with genetic programming and implicit functional mappings
... of the visual spaces computed over the Breast Cancer data set using GP-GEP ...5(a)) and FRPR (Fig. 5(b)) show the similarity structure and the orig- inal classes (benign ...
10
Asymptotic observers and integer programming for functional classification of a microbial community in a chemostat
... for the identification of key functionalities in biological wastewater treatment microbial communities,” Microbial Biotechnol- ogy, ...function and dynamics,” ...
7
On the Versatility of Open Logical Relations
... Abstract. Logical relations are one among the most powerful tech- niques in the theory of programming languages, and have been used extensively for proving properties of a variety of ...
29
Navigating the Semantic Web with Logical Information Systems
... Discussion and Conclusion The contribution of this paper is not about a new query language, but about an interactive navigation process that guides users from query to query, along the LIS ...
13
Improvement of Functional Performance of Spatial Parallel Manipulators Using Mechanisms of Variable Structure
... first the calculation of the pressure angles in the joints along the trajectory for all possible structures of the parallel mechanism with variable architecture must be ...
7
Biosignals for driver's stress level assessment : functional variable selection and fractal characterization
... to the rise of new wearable and non-intrusive sensor tech- nology, Internet of Things (IoT) contributes in human daily life improve- ...In the context of smart vehicles, human affective monitoring ...
141
Computation by interaction for space-bounded functional programming
... bounds, the exponentials must therefore be restricted. The difficulty is to do so without the programming language becoming too ...type the Kierstead terms, which cannot be typed in ...
52
Reasoning on the response of logical signaling networks with Answer Set Programming
... In the context of logic-based models, the inference of Boolean (genetic) networks from time-series gene expression data has been addressed by several authors under dif- ferent hypotheses and methods ...
47
Reasoning on the response of logical signaling networks with answer set programming
... obtain the most plausible models for certain environmental conditions or specific cell ...On the other hand, reverse engineering considering qualitative models typically give rise to combinatorial ...
155
The Robot Programming Network
... of the supported programming languages (Python, Lisp, Matlab). The code is executed in the remote laboratory, thus it can access all the available information and services, ...
26
Aggregate production scheduling by linear programming with variable planning interval
... Issues Raised by the Use of LP at Peerless Procurement, Provisioning, and Production at Peerless What the Provisioner Needs General Philosophy The Ideal System: The Ideal System: Data Ge[r] ...
280