Results 11 to 20 of about 128,474 (202)
Le Certificat Informatique et Internet : toute une expérience
Questions Vives, 2012 Le Certificat Informatique et Internet (C2i) atteste de compétences numériques au niveau universitaire. Ce cours ayant intégré la dernière maquette du cursus Licence-Master-Doctorat est obligatoire lors de la première année de licence, ce qui confronte ...
Sylvain Vaillant
doaj +1 more source
Parameter estimation for peaky altimetric waveforms [PDF]
, 2013 Much attention has been recently devoted to the analysis of coastal altimetric waveforms. When approaching the coast, altimetric waveforms are sometimes corrupted by peaks caused by high reflective areas inside the illuminated land surfaces or by the ...
Boy, François +4 more
core +4 more sources
Udviklingstendenser i orddannelsen i teknisk fransk i informatikterminologisk belysning
Hermes, 1989 This article outlines current trends in the word formation of French technical LSP. First, a brief review of a fairly traditional, exemplified word formation taxonomy is given also showing the multiplicity of informatique word formation models.
Bernt Møller
doaj +1 more source
Partitioning Harary graphs into connected subgraphs containing prescribed vertices [PDF]
Discrete Mathematics & Theoretical Computer Science, 2014 A graph G is arbitrarily partitionable (AP for short) if for every partition (n_1, n_2, ..., n_p) of |V(G)| there exists a partition (V_1, V_2, ..., V_p) of V(G) such that each V_i induces a connected subgraph of G with order n_i.
Olivier Baudon +2 more
doaj +1 more source
Typing Quantum Superpositions and Measurement [PDF]
, 2017 We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions.
A Díaz-Caro +5 more
core +3 more sources
L' enjeu des traitements informatiques dans l'analyse d'un texte littéraire
Syn-Thèses, 2009 Si la pratique informatique est impuissante pour ce qui relève du qualitatif, elle dispose, en revanche, de moyens que le chercheur ne domine pas pour traiter des données quantitatives volumineuses.
Myrsini Tzavanari
doaj +1 more source
Election algorithms with random delays in trees [PDF]
Discrete Mathematics & Theoretical Computer Science, 2009 The election is a classical problem in distributed algorithmic. It aims to design and to analyze a distributed algorithm choosing a node in a graph, here, in a tree. In this paper, a class of randomized algorithms for the election is studied.
Jean-François Marckert +2 more
doaj +1 more source
Effacer l’interface : Une trajectoire du design de l’interaction hommemachine
Interfaces Numériques, 2018 Les « interfaces invisibles » qui tendent à doter invisiblement l’homme et son environnement de capacités computationnelles concentrent aujourd’hui l’attention du design de l’interaction homme-machine (IHM).
David Pucheu
doaj +1 more source
Linear choosability of graphs [PDF]
Discrete Mathematics & Theoretical Computer Science, 2005 A proper vertex coloring of a non oriented graph $G=(V,E)$ is linear if the graph induced by the vertices of two color classes is a forest of paths. A graph $G$ is $L$-list colorable if for a given list assignment $L=\{L(v): v∈V\}$, there exists a proper
Louis Esperet +2 more
doaj +1 more source
Sensors, 2022 We propose a framework for optimizing personalized treatment outcomes for patients with neurological diseases. A typical consequence of such diseases is gait disorders, partially explained by command and muscle tone problems associated with spasticity ...
Adil Khan +4 more
doaj +1 more source