Cette thèse se consacre à l’étude du rôle de la discursivisation et de ses fondements sémiotiques dans la construction des savoirs scientifiques le long du parcours de transmission de l’information : de la sphère de la recherche scientifique fondamentale jusqu’à la sphère profane dans laquelle s’inscrit le patient, en passant par l’instance médicale. L’objectif est d’analyser comment, de médiations en remédiations, le contenu informationnel savant transite d’une instance à l’autre, et ce, par le truchement des différents discours. En prenant pour clé d’entrée thématique les discours de la recherche en neurosciences sur l’épilepsie, le projet tient à analyser les différents discours produits le long de ce chemin de médiations sémiotiques, à partir d’une étude de terrain dans un laboratoire INSERM et l’élaboration de groupes de corpus situés (articles scientifiques, lettres de consultation, transcriptions de consultation médecin/patient, autopathographies numériques, etc.). Le présent travail, dans une perspective d’ouverture de la sémiotique aux autres sciences humaines et sociales, est porté par la volonté de parvenir à une théorisation opérationnelle, à la fois anthroposémiotique et sémio-pragmatique, pour l’étude des discours scientifiques et assimilés : vers une anthroposémiotique de la communication. / This PhD thesis is devoted to the study of discursivisation’s role of and semiotics founding principles in the scientific knowledge, all along the information transmission process: from the scientific research sphere to the layperson sphere, passing through medical body. The aim is to analyze the way the expert information is passing from a body to an another by mediation or remediation of discourses. By taking neurosciences research about epilepsy as an access key, this work wants to analyze discourses produced all along the semiotics mediations path, from a field study in an INSERM laboratory and the drawing up of in situ corpus groups (scientific articles, medical letters, doctor/patient consultation transcriptions, numeric autopathography, etc.). This study, in the perspective of opening semiotics to other humanities, is spurred on the willpower to reach an operational theorization, both anthroposemiotics and semiopragmatics, to study scientific discourses and equivalents: to anthroposemiotics of communication.

Dans cette thèse, nous présentons des développements de l'approche utilisée dans l'équipe « ParSys » du LRI pour traduire automatiquement des codes scientifiques écrits dans un langage dédié inspiré de Matlab en codes de production haute performance. Pour garantir cette performance, nous mettons à profit d'une part la méta-programmation par templates C++ afin d'analyser chaque expression pour détecter les opportunités de parallélisme, et d'autre part la programmation parallèle asynchrone pour utiliser au mieux les ressources disponibles des machines multi-cœurs. Pour faire le lien entre ces deux étapes du processus de génération de code, des squelettes algorithmiques multi-niveaux sont implémentés. Nos outils ont été implantés dans la bibliothèque NT2 et évalués sur des applications scientifiques du monde réel. / In this thesis, we present developments to the approach used by the LRI Parsys team to automatically translate MATLAB-like scientific codes into high performance production codes. To reach a high level of performance, we have combined C++ template meta-programming and asynchronous parallel programming to analyze each expression and detect parallelism opportunities first, and then to ensure near-optimal use of the available resources of multi-core machines. To link these two stages of the code generation process, we have implemented a solution based on multi-level algorithmic skeletons. We have implemented our tools in the NT2 library and evaluated them with several significant scientific benchmarks.

This thesis focuses on problematics of DAW controllers for sound production software. In this thesis is analysed Mackie Control protocol, one of used communication protocols. There is also an overview of MIDI messages, because Mackie Control protocol is based on MIDI protocol. The thesis contains two own DAW controller designs. First one is based on Mackie Control protocol, second one is based on Generic Remote which offers better customization.

11 Abstract Title: The level of generic motor coordination with respect to game performance and biologi- cal maturation in junior categories of football players Purpose: To determine the level of generic motor coordination with respect different game per- formance and different pace of biological maturation in junior categories U14 and U15 of football players. At the same time, the purpose is to identify possible differences in the level of generic motor coordination between the players of AC Sparta Prague (U14, U15) and the selection of players from the top Belgian football academies (U14, U15). Methods: The research group consisted of 42 players from all game positions born in the years 2006 to 2008 from the football club AC Sparta Prague U14 and (U14 n = 16; age = 13,63 ± 0,6; body height = 165,44 ± 7,99 cm; body weight = 50,72 ± 8,49 kg) a U15 n = 26; age = 14,77 ± 0,38; body height = 172,1 ± 7,71 cm; body weight = 57,24 ± 9,15 kg). The level of generic motor coordination was assessed using a KTK motor test battery (Kiphard and Schilling, 2007). Game performance was evaluated using our own ques- tionnaires for coaches. The pace of biological maturation was evaluated using the indi- rect method of Kamis Roche. Coefficient Hedges' g was used to evaluate the signifi- cance of the differences in group...

Les réseaux ferroviaires sont sujets à des dégradations de leur voie qui impactent directement le service offert aux voyageurs. Des politiques de maintenance sont donc déployées pour en limiter les effets sur la qualité et la disponibilité du réseau. Ce mémoire propose une modélisation générique de ces politiques reposant sur la fiabilité, et ce à partir du seul formalisme des réseaux bayésiens (RB). La fiabilité du système est caractérisée par un RB dynamique particulier tenant compte des temps de séjour dans chacun de ses états (hypothèse semi-markovienne). Les outils de diagnostics et les actions et les actions de maintenance sont également modélisés, autorisant la description fine de stratégies complexes. La prise en compte de l'utilité de chaque attribut du modèle (disponibilité/sécurité/coût) permet l'évaluation des politiques de maintenance innovantes en particulier prévisionnelles. La méthodologie est appliquée au cas précis du réseau RER de la RATP relativement au problème du rail cassé. / Rail networks are prone to degradations of their railtrack that directly impact the commercial service. Therefore, maintenance policies are implemented in order to limit the loss of network quality and avaibility. This thesis proposes a generic modelling for these policies based on the reliability, using Bayesian Network (BN) formalism. The system reliability is captured by dedicated dynamic BN, allowing to take in account the sojorn-time in each system state (semi-markovian assumptiun). The diagnostic tools and the maintenance actions are also represented to accurately describe complex strategies. The consideration of the utility associated to each model ,attribute (availabiblity/security/cost) enables to evaluate innovative predictive maintenance policies. This methodology is applied to the RATP RER network to deal with the rail break prevention problem.

In this demonstration (with supportive poster) we present the semantic data wiki OntoWiki, which was released in version 1.0 just recently. We focus on the changes introduced to the tool in the latest release and showcase the generic data wiki, improvements we made with regard to the documentation as well as three success stories where OntoWiki was adapted and deployed.

Non-equilibrium thermodynamics, which serves as a framework for formulating evolution equations of macroscopic and mesoscopic systems, is briefly reviewed and further developed in this work. For example, the relation between the General Equation for the Nonequilibrium Reversible- Irreversible Coupling (GENERIC) and (ir)reversibility is elucidated, and Onsager-Casimir reciprocal relations are shown to be an implication of GENERIC. Non-equilibrium thermodynamics is then applied to describe fuel cells and related devices, and theoretical conclusions are compared to experimental data. Moreover, a generalization of standard exergy analysis is developed bringing a new method for revealing a map of useful work losses in electricity producing devices. This method requires a non-equilibrium thermodynamic model, and so the general theory of non- equilibrium thermodynamics and optimization of real power generating devices stand side by side.

Scientific data life cycles define how data is created, handled, accessed, and analyzed by users. Such data life cycles become increasingly sophisticated as the sciences they deal with become more and more demanding and complex with the coming advent of exascale data and computing. The overarching data life cycle management background includes multiple abstraction categories with data sources, data and metadata management, computing and workflow management, security, data sinks, and methods on how to enable utilization. Challenges in this context are manifold. One is to hide the complexity from the user and to enable seamlessness in using resources to usability and efficiency. Another one is to enable generic metadata management that is not restricted to one use case but can be adapted with limited effort to further ones. Metadata management is essential to enable scientists to save time by avoiding the need for manually keeping track of data, meaning for example by its content and location. As the number of files grows into the millions, managing data without metadata becomes increasingly difficult. Thus, the solution is to employ metadata management to enable the organization of data based on information about it. Previously, use cases tended to only support highly specific or no metadata management at all. Now, a generic metadata management concept is available that can be used to efficiently integrate metadata capabilities with use cases. The concept was implemented within the MoSGrid data life cycle that enables molecular simulations on distributed HPC-enabled data and computing infrastructures. The implementation enables easy-to-use and effective metadata management. Automated extraction, annotation, and indexing of metadata was designed, developed, integrated, and search capabilities provided via a seamless user interface. Further analysis runs can be directly started based on search results. A complete evaluation of the concept both in general and along the example implementation is presented. In conclusion, generic metadata management concept advances the state of the art in scientific date life cycle management.

Following the classical theory of Baire category results for sets of measure-preserving transformations, this work develops a theory for Baire category results for sets of measure-preserving extensions. First the case is considered where a measure space and a sub-algebra are fixed, and extensions are considered to be any measure-preserving transformations which leave this sub-algebra invariant. In the latter case, extensions of a fixed measure-preserving transformation are considered. In both cases, it is shown that the set of weakly mixing extensions form a dense, G-delta set

Molecular-biological annotation data is continuously being collected, curated and made accessible in numerous public data sources. Integration of this data is a major challenge in bioinformatics. We present the GenMapper system that physically integrates heterogeneous annotation data in a flexible way and supports large-scale analysis on the integrated data. It uses a generic data model to uniformly represent different kinds of annotations originating from different data sources. Existing associations between objects, which represent valuable biological knowledge, are explicitly utilized to drive data integration and combine annotation knowledge from different sources. To serve specific analysis needs, powerful operators are provided to derive tailored annotation views from the generic data representation. GenMapper is operational and has been successfully used for large-scale functional profiling of genes.