# Haut PDF Functional programming and the logical variable

### Functional programming and the logical variable

37

### Constrained variable clustering and the best basis problem in functional data analysis

**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

**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

**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

**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

**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

**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

**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

**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

**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

**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

**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

**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

**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

**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

**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

**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

**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

**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

280