Speaker verification is the process of verifying or disputing the claimed identity of a speaker based on a recorded sample of their speech. Automatic speaker verification technology can be applied to a variety of person authentication and identification applications including forensics, surveillance, national security measures for combating terrorism, credit card and transaction verification, automation and indexing of speakers in audio data, voice based signatures, and over-the-phone security access. The ubiquitous nature of modern telephony systems allows for the easy acquisition and delivery of speech signals for processing by an automated speaker recognition system. Traditionally, approaches to automatic speaker verification have involved holistic modelling of low-level acoustic-based features in order to characterise physiological aspects of a speaker such as the length and shape of the vocal tract. Although the use of these low-level features has proved highly successful, there are numerous other sources of speaker specific information in the speech signal that have largely been ignored. In spontaneous and conversational speech, perceptually higher levels of in- formation such as the linguistic content, pronunciation idiosyncrasies, idiolectal word usage, speaking rates and prosody, can also provide useful cues as to identify of a speaker. The main aim of this work is to explore the incorporation of higher levels of information into the verification process. Specifically, linguistic constructs such as words, syllables and phones are examined for their usefulness as features for text-independent speaker verification. Two main approaches to incorporating these linguistic features are explored. Firstly, the direct modelling of linguistic feature sequences is examined. Stochastic language models are used to model word and phonetic sequences obtained from automatically obtained transcripts. Experimentation indicates that significant speaker characterising information is indeed contained in both word and phone-level transcripts. It is shown, however, that model estimation issues arise when limited speech is available for training. This speaker model estimation problem is addressed by employing an adaptive model training strategy that significantly improves the performance and extended the usefulness of both lexical and phonetic techniques to short training length situations. An alternate approach to incorporating linguistic information is also examined. Rather than modelling the high-level features independently of acoustic information, linguistic information is instead used to constrain and aid acoustic- based speaker verification techniques. It is hypothesised that a ext-constrained" approach provides direct benefits by facilitating more detailed modelling, as well as providing useful insight into which articulatory events provide the most useful speaker-characterising information. A novel framework for text-constrained speaker verification is developed. This technique is presented as a generalised framework capable of using di®erent feature sets and modelling paradigms, and is based upon the use of a newly defined pseudo-syllabic segmentation unit. A detailed exploration of the speaker characterising power of both broad phonetic and syllabic events is performed and used to optimise the system configuration. An evaluation of the proposed text- constrained framework using cepstral features demonstrates the benefits of such an approach over holistic approaches, particularly in extended training length scenarios. Finally, a complete evaluation of the developed techniques on the NIST2005 speaker recognition evaluation database is presented. The benefit of including high-level linguistic information is demonstrated when a fusion of both high- and low-level techniques is performed.

Les systèmes sur puce sont constitués d'une partie matérielle (un circuit intégré) et d'une partie logicielle (un programme) qui utilise les ressources matérielles de la puce. La conséquence de cela est que le logiciel d'un système sur puce est intrinsèquement lié à sa partie matérielle. Les composants matériels d'accélération sont des facteurs clés de différenciation d'un produit à l'autre.Il est nécessaire de pouvoir simuler ces systèmes très tôt lors de leur conception; bien avant que la puce ne soit physiquement disponible, et même avant que la puce ne soit complètement spécifiée. Pour cela, un modèle du système sur puce est réalisé à l'aide du langage SystemC, au niveau d'abstraction TLM (Transaction Level Modeling). La partie matérielle d'un système sur puce est constituée de composants, qui s'exécutent en parallèle. Pour autant, la simulation avec le simulateur SystemC de référence est séquentielle. Ceci permet de garantir les bonnes propriétés des simulations SystemC, en particulier la reproductibilité et le confort d'écriture des modèles.Les travaux de cette thèse portent sur la simulation parallèle de modèles SystemC/TLM. L'objectif de l'exécution parallèle est d'accélérer les simulations dans un mode d'utilisation correspondant à la phase de développement, où il est primordial de disposer de simulations qui donnent rapidement un résultat. Afin de cerner le problème de performance remarqué sur des modèles complexes à STMicroelectronics, le premier travail de cette thèse a été d'analyser le profil d'exécution d'une étude de cas représentative de la complexité actuelle des platformes SystemC/TLM. Pour cette étude, nous avons développé un outil de collecte de traces et de visualisation. Les résultats de cette analyse ont indiqué que la lenteur d'exécution en simulation était due à la complexité des composants matériels d'accélération. L'étude de l'état de l'art en simulation parallèle de modèles SystemC nous a conduit à chercher d'autres pistes que celles actuellement existantes.Pour réaliser les composants matériels plus rapidement, et permettre d'augmenter la réutilisabilité de composants d'un projet à l'autre, le flot de conception HLS (High Level Synthesis) est utilisé, notamment à STMicroelectronics. Ce flot de conception permet, à partir de la description d'une fonction en C/C++, de générer un plan de composant matériel qui va réaliser la même fonction. La description des composants est découpée en sous-fonctions, individuellement plus simples. Afin d'obtenir de bonnes performances, les sous-fonctions sont assemblées en chaîne, à travers laquelle circulent les données à traiter. Il est indispensable de pouvoir réutiliser le code écrit pour la HLS dans les simulations SystemC/TLM@: cette situation deviendra de plus en plus fréquente, et il n'a pas assez de temps pour réécrire ces modèles dans ces projets courts.Nous avons développé une infrastructure de simulation parallèle permettant d'intégrer et de simuler efficacement des composants de traitement de données écrits pour la HLS. L'application de cette infrastructure à un exemple a permis d'accélérer l'exécution de la simulation d'un facteur 1.6 avec 4 processeurs. Au-delà de ce résultat, les conclusions principales de cette thèse sont que la simulation parallèle de modèles à haut niveau d'abstraction, en SystemC/TLM, passe par la combinaison de plusieurs techniques de parallélisation. Il est également important d'identifier les parties parallélisables dans des simulations industrielles, notamment pour les nouveaux défis que sont les simulations multi-physiques et l'internet des objets. / Systems on chip consists in a hardware part (an integrated circuit) and a software part (a program) that uses the hardware resources of the chip. Consequently, the embedded software is intrinsically connected to the chip hardware. Hardware acceleration components are key differentiation factors from one product to another.It is necessary to simulate systems on chip very early in the design flow; before the chip is physically available and even before its full specification. For such simulations, developers write a model of the system on chip in SystemC, at the TLM (Transaction Level Modeling) abstraction level. The hardware part of a chip consists in components that behave in parallel with each other. However, the reference SystemC simulator execute simulations sequentially. The sequential execution enables to keep good properties of SystemC simulations, namely reproducibility and ease of model writing.This thesis work address the parallel execution of SystemC/TLM simulations. The goal of parallel simulation is to speed up simulations, in the context of the model development, where it is important to quickly get results. In order to identify the performance problem of complex models at STMicroelectronics, the first step of this thesis was to analyse the execution profile of a case study, representative of the complexity of current platforms. For this study, we developed a trace recording and visualization tool. The results of this study indicated that the performance critical parts of the simulation are hardware acceleration components. Studying existing parallel simulation approaches led us to look for other parallel simulation techniques.To speed up the development of hardware acceleration components, and increase the reusability from one project to another, the HLS (High Level Synthesis) design flow is used, notably at STMicroelectronics. This design flow enables to generate a logically synthesizable model of a component, from a high level behavioral description in C/C++. This design flow also constraints the development: it is split in sub-functions, assembled in a pipeline. The code written for HLS must be re-used in SystemC/TLM models: this situation will become more and more frequent and there is no time to rewrite the models of such components within short delays.We developed a parallel simulation infrastructure enabling the integration and efficient simulation of hardware components written for HLS.We applied this infrastructure to an example platform, which resulted in speeding up the simulation. Beyond this result, one of the main conclusion of this thesis is that parallel simulation of abstract SystemC/TLM models will require to combine multiple parallelization techniques. Future research work can identify other types of potential parallelism in industrial models. This will become critical with the new challenges of simulation, as multi-physical simulations and internet of things.

Submitted by Fernando Souza (fernandoafsou@gmail.com) on 2017-08-16T14:50:10Z No. of bitstreams: 1 arquivototal.pdf: 3127973 bytes, checksum: 952cbde0e6bee1a7bb48959d05e22840 (MD5) / Made available in DSpace on 2017-08-16T14:50:10Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 3127973 bytes, checksum: 952cbde0e6bee1a7bb48959d05e22840 (MD5) Previous issue date: 2016-01-15 / Simulations often are used in development systems do predict how systems will work on final environment. Many kinds of simulations and techniques are available, one of then is Hardware-in-the-Loop Simulation that provides a more realistic environment by using real devices on simulations. In this work this technique is used with co-simulation between Ptolemy and Stage to provide an multi-robot environment and embedded systems design. It can help to find hardware and software errors during development. High Level Architecture, an IEEE pattern to interoperability between simulators is used to manage time and data that is shared on co-simulation. This work also studies synchronization aspects and uses real robots on simulations to validate proposed environment. / Simulações frequentemente são utilizadas no desenvolvimento de sistemas para prever erros antes de sua implantação no ambiente final. Há uma diversidade entre os tipos e técnicas de simulações, entre elas a de hardware-in-the-loop. Nela dispositivos de hardware são adicionados a simulação para aumentar a realidade dos resultados. Neste trabalho utilizamos esta técnica em conjunto com a cossimulação dos simuladores Stage e Ptolemy para prover um ambiente de simulação multi-robôs e de sistemas embarcados. Este ambiente pode ajudar na detecção de falhas de hardware e de software. O ambiente é integrado por meio do padrão IEEE 1516, a Arquitetura de Alto Nível, que gerencia o tempo de simulação e dados compartilhados durante a simulação. No trabalho são realizadas simulações para estudo do ambiente de sincronização, visto que erros neste sentido podem comprometer os resultados das simulações. Há ainda a utilização de robôs reais para validar o ambiente final desenvolvido.

Made available in DSpace on 2016-03-15T19:40:01Z (GMT). No. of bitstreams: 1 Celia Maria Teodoro.pdf: 1447756 bytes, checksum: f3a9fef1c9b1e432d787ff5ecaa70e9a (MD5) Previous issue date: 2007-03-19 / Fundo Mackenzie de Pesquisa / The purpose of this study was to identify, describe and analyze the conditions that make things more difficult or easier found in the practice of sport activities by people with vision and physical impairment that became high level athletes. For such, a qualitative research of exploratory nature was performed, consisting in the application of a semi-structured interview with five paralympic athletes living in the city of São Paulo. The analysis of the data showed that rehab is a mean that benefits the entrance in the adapted sport driving disability people to high level sport. However, from the moment that they begin to practice a sport, since the physical education classes until the moment that they are called to the Paralympics, they face many difficulties with the adapted sport, appropriate places to train, prejudice, financial problems, lack of prepare from professionals, among others. In relation to the eases found to reach the Paralympics, they all state that they do not exist, however in the testimonials some evidences of situations that benefit the practice of sport activities are found, such as family support, financial support offered by the government, among others. The data showed that although the difficulties to the practice of adapted sports are much greater than the eases pointed by the athletes it is possible to overcome them. Nevertheless, the need to divulge high level sport to all society and also a greater interest of our rulers in the accomplishment of our laws that might benefit impaired people that practice sports and those who want to practice them. / O presente estudo tem como objetivo identificar, descrever e analisar as condições dificultadoras ou facilitadoras encontradas na prática de atividades esportivas por pessoas com deficiência física e visual que se tornaram atletas de alto rendimento. Para isso realizou-se uma pesquisa qualitativa de natureza exploratória, constando da aplicação de entrevista semiestruturada com cinco atletas paraolímpicos, residentes na cidade de São Paulo. A análise dos dados constatou que a reabilitação é um meio que favorece o ingresso no esporte adaptado impulsionando as pessoas com deficiências para o esporte de alto rendimento. Entretanto, a partir do momento em que iniciam no esporte, desde as aulas de educação física escolar até conseguirem convocação para as paraolimpíadas, enfrentam dificuldades com transporte adaptado, locais apropriados para treinar, preconceito, problemas financeiros, falta de preparo de profissionais, entre outros. Com relação às facilidades encontradas para se chegar a uma paraolimpíada todos relatam que não existem, porém nos depoimentos há algumas evidências de situações que favorecem a prática de atividades esportivas, tais como apoio familiar, incentivo financeiro oferecido pelo governo, entre outros. Os dados mostraram que apesar das dificuldades para a prática do esporte adaptado serem muito maiores do que as facilidades apontadas pelos atletas são possíveis de superá-las. Porém, há a necessidade de divulgação do esporte de alto rendimento para toda a sociedade e também um maior interesse dos nossos governantes no cumprimento de leis que possam beneficiar pessoas com deficiência que praticam esportes e aquelas que queiram praticá-los.

This PhD dissertation presents the measurement of the cross section of jet production in association with a Z boson in proton-proton collisions at the Large Hadron Collider in CERN, with a center-of-mass energy of 8 TeV in 2012 and of 13 TeV in 2015. The data used for this analysis were collected by the Compact Muon Solenoid (CMS) detector, with an integrated luminosity of 19.6 fb-1 in 2012 and of 2.25 fb-1 in 2015. The differential cross section is measured as a function of jet multiplicity, jet transverse momentum and rapidity, and the scalar sum of jet transverse momenta. The rapidity correlations between the Z boson and jets are also measured benefiting from the large statistics of data taken in 2012. All distributions of measured observables are obtained after correcting detector effects using unfolding approach, and the results of two leptonic decaying channels of Z boson are combined. Coming along with the systematic and statistical uncertainties, the measurement is compared to different theoretical predictions at different accuracy levels. The predictions are from MADGRAPH 5, SHERPA 2 (for 8 TeV analysis only), MADGRAPH_AMC@NLO, and fixed next-to-next-to-leading order (for 13 TeV analysis only). Thanks to the unprecedented high energy and the large statistics of data, precision measurement is accomplished in a physical phase space never reached before. This measurement provides precise systematics for different theoretical models. It also quantifies the improvement with higher order of perturbative quantum chromodynamics calculations on matrix elements relative to the leading order multi-leg approach. In particular to the rapidity correlation study, new matching schemes (FxFx and MEPS@NLO) for next-to-leading order matrix elements and parton shower show significant improvements with respect to the MLM matching scheme for leading order multi-leg matrix elements and parton shower. This measurement also gives precise background estimation for the measurements of many other processes in Standard Model like top quark production and gauge boson couplings, and for new physics searches such as Supersymmetry. In this thesis, the jet energy correction and calibration for the high level trigger system of CMS are also depicted. From 2012 to 2015, the Large Hadron Collider was upgraded, not only with the center-of-mass energy of the beams enlarged, but also with the instantaneous luminosity increased. The time distance between two particle bunches in a beam is reduced. As a result, the reconstructed momenta of the jets produced in each bunch crossing are significantly contaminated by multiple interactions. A dedicated technical approach has been developed for correcting the reconstructed jet momenta. The corrections have been calibrated and configured for the data taking in 2015 and 2016. / Cette thèse présente une mesure de la section efficace de production de jets associés à un boson Z dans les collisions proton-proton du Grand Collisionneur de Hadron (LHC) situé au CERN, avec des énergies dans le centre de masse de 8 TeV et 13 TeV, respectivement pour les années 2012 et 2015. Les données utilisées pour cette analyse ont été collectées par le détecteur Compact Muon Solenoid (CMS). Elles constituent des échantillons de luminosités intégrées de 19.6 fb⁻¹ et 2.25 fb⁻¹, respectivement pour 2012 et 2015. Nous mesurons la section efficace différentielle en fonction de la multiplicité de jets, de l’impulsion transverse et de la rapidité des jets, et en fonction de la somme scalaire des impulsions transverses des jets. La corrélation entre les rapidités du boson Z et des jets est aussi mesurée et bénéficie de la large statistique prise en 2012. Toutes les distributions d’observables mesurées sont obtenues après corrections pour les effets détecteurs et les résultats des canaux de désintégration muonique et électronique du boson Z sont combinés. Tenant compte des incertitudes statistiques et systématiques, les mesures sont comparées à différentes prédictions théoriques ayant différents niveaux de précision. Les prédictions sont obtenues de MADGRAPH 5, SHERPA 2 (pour l’analyse à 8 TeV uniquement), MADGRAPH_AMC@NLO, et un modèle fixé au NNLO (pour l’analyse à 13 TeV uniquement). Par ces mesures de précisions, et en particulier celle de la corrélation de rapidités, nous avons acquis une compréhension plus approfondie de la chromodynamique quantique dans son régime perturbatif. Grâce à la plus haute énergie jamais atteinte en laboratoire, et à la grande statistique disponible, nous avons sondé avec précision des endroits de l’espace des phases jusque là inaccessibles.Dans cette thèse, les corrections et la calibration de l’énergie des jets pour le haut niveau de sélection de CMS est également présentée. Durant la période de 2012 à 2015, le LHC a été amélioré, non seulement l’énergie dans le centre de masse a augmenté, mais la luminosité instantanée a aussi été amplifiée. L’écart temporelle entre deux paquets de particules dans les faisceaux du LHC a été réduite. L’une des conséquences est que l’impulsion reconstruite pour les jets produits lors d’un croisement de faisceau à une contribution significative venant des multiples interactions ayant lieux lors du croisement des paquets. Une approche technique dédiée a été développée pour corriger l'impulsion des jets. Les corrections obtenues ont été calibrées aux données prises en 2015 et 2016. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

L'internet des objets vise à connecter des milliards d'objets physiques ainsi qu'à les rendre accessibles depuis le monde numérique que représente l'internet d'aujourd'hui. Pour ce faire, l'accès à ces objets sera majoritairement réalisé sans fil et sans utiliser d'infrastructures prédéfinies ou de normes spécifiques. Une telle technologie nécessite de définir et d'implémenter des nœuds radio intelligents capables de s'adapter à différents protocoles physiques de communication. Nos travaux de recherches ont consisté à définir un flot de conception pour ces nœuds intelligents partant de leur modélisation à haut niveau jusqu'à leur implémentation sur des cibles de types FPGA. Ce flot vise à améliorer la programmabilité des formes d'ondes par l'utilisation de spécification de haut niveau exécutables et synthétisables, il repose sur la synthèse de haut niveau (HLS pour High Level Synthesis) pour le prototypage rapide des briques de base ainsi que sur le modèle de calcul de types flot de données des formes d'ondes radio. Le point d'entrée du flot consiste en un langage à usage spécifique (DSL pour Domain Specific Language) qui permet de modéliser à haut niveau une forme d'onde tout en insérant des contraintes d'implémentation pour des architectures reconfigurables telles que les FPGA. Il est associé à un compilateur qui permet de générer du code synthétisable ainsi que des scripts de synthèse. La forme d'onde finale est composée d'un chemin de données et d'une entité de contrôle implémentée sous forme d'une machine d'état hiérarchique. / The Internet of Things (IoT) aims at connecting billions of communicating devices through an internet-like network. To this aim, the access to these things is expected to be performed via wireless technologies without using any predefined infrastructures or standards. This technology requires defining and implementing smart nodes capable to adapt to different radio communication protocols. In this thesis, we have defined a design methodology/flow, for such smart nodes, starting from their high-level specification down to their implementation in FPGA fabrics. This flow aims at improving the programmability of the waveforms by leveraging some high-level specifications. Thus, it relies on the High-Level Synthesis (HLS) for rapid prototyping of the waveforms functional blocks as well as the dataflow model of computation. Its entry point is Domain-Specific Language which enables modeling a waveform while inserting some implementation constraints for reconfigurable architectures such as the FPGAs. The flow is featured with a compiler which purpose is to produce some synthesis scripts and generate some RTL source code. The final waveform consists of a datapath and a control unit implemented as a Hierarchical Finite State Machine (HFSM).

La présente thèse est consacrée, sur la base d'une approche historique, aux Sports dans le Maroc contemporain. Elle traite plus particulièrement de l'évolution de l'athlétisme féminin. Son cadre chronologique se situe entre 1956, date d'accession du pays à l'indépendance et 2016 (Jeux Olympiques de Rio). Au nombre des problématiques autour desquelles elle s'article figurent en particulier les conditions générales prévalant dans le pays, notamment celles des femmes, de leur présence dans la sphère publique (dans l'accession que lui donne Habermas), et les difficultés auxquelles elles sont confrontées du fait, entre autres, de préjugés et de stéréotypes culturels et sociaux. De manière plus spécifique, sont également examinées les principales phases de l'évolution de cet athlétisme, les modalités de sa pratique effective (tels les entraînements et les compétitions), les encouragements prodigués notamment par l'Etat en la matière et ayant facilité l'émergence d'athlètes féminines, le palmarès obtenu par une élite à divers niveaux, et comment certaines d'entre elles perçoivent rétrospectivement leurs parcours sportifs. Les récits et les témoignages oraux de 21 athlètes représentent précisément une part substantielle du matériau sur lequel se fonde cette thèse. Ils ont permis de compenser quelque peu la quasi-absence de documents d'archives officielles et celle d'études académiques traitant de l'histoire du sport au Maroc. En raison de leur dimension personnelle et subjective, ces témoignages et la mémoire qui les véhicule demeurent problématiques à maints égards. D'autant que l'auteure de cette étude, en sus de sa condition de femme, est elle-même une ancienne athlète et a fait partie du staff de l'Institut National d'Athlétisme. L'étude, qui se veut une contribution à l'histoire du Temps Présent, s'est cependant efforcée, en dépit de tous ces obstacles, d'analyser et d'évaluer l'évolution de l'athlétisme féminin au Maroc, avec ses performances et ses phases de régression ou d'effacement, depuis ses débuts jusqu'à aujourd'hui / This study deals with Sports in contemporary Morocco on the grounds of a historical standpoint. It focalises more particularly upon the gender dimension of Athletics during the period starting in 1956 (independence of Morocco) and ending in 2016 (Rio de Janeiro Olympic Games). Some major issues are addressed in this respect. This is the case of the general conditions prevailing in the country as regards women’s rights, their presence in the public sphere (as defined by Habermas) and the difficulties they have to face because of cultural and social prejudice and stereotypes. Along with these conditions, the study analyses the main stages, modalities (trainings) and “incentives” that have paved the way for the emergence of female athletes, the achievements of an elite at various levels, and how some them retrospectively perceive their sporting trajectories.Narratives and oral testimonies of twenty-one selected athletes have in fact provided a large part of the row materiel relied upon in this thesis. The use of this sort of data helps compensating, up to a certain extent, the lack of substantial official archives and specific academic studies dealing with sport’s history in Morocco. However, because of their personal and subjective dimension, testimonies and memory remain problematic in many respects Additional complications are due to the particular “statute” of the author of this thesis - having been herself an athlete and member of the National Athletic Training Institute.Despite these obstacles, the study, which the author would like to consider as a contribution to the historiography dealing with Morocco’s recent past and “immediate history”, tried nevertheless to analyse and assess the various stages that Athletics, performed by girls and women in this country, went through, with its ups and downs, from its early beginning to nowadays

La manière dont les femmes investissent les sports de haut niveau est hautement contextualisée en fonction de la culture nationale et des institutions qui régissent le sport. En Tunisie, le sport de haut niveau est différentiellement investi par les femmes parmi lesquelles certaines s’investissent et réussissent dans des sports à connotation masculine. Cette étude porte sur le rapport identitaire des athlètes tunisiennes de haut niveau dans leur pratique d’un sport à connotation masculine.La méthodologie se déroule en trois phases : 1) une approche quantitative s’appuie sur l’échelle de masculinité/féminité du test-questionnaire MMPI (T de Student et ANOVA) et permet de positionner le profil psychologique des athlètes tunisiennes de haut niveau impliquées dans un sport masculin (N= 56 X 3 + 100); 2) une étude qualitative portant sur les récits de vie (N = 8 : 4 présentant un Tscore masculinisé et 4 présentant un Tscore féminisé ; T = 5h ; 25000 mots) porte sur la lexicométrie et l’analyse de contenu thématisée ; 3) un test de lecture d’image apporte de éléments d’interprétation de la féminité telle que médiatisée et ressentie par les pratiquantes. Les résultats montrent que malgré l’absence de différence significative entre les 4 groupes soumis au test MMPI, les athlètes étudiées mobilisent des manières singulières et contextualisées pour s’approprier différentes identités en contexte. Ces résultats questionnent la place des Tunisiennes dans le sport de haut niveau masculin ainsi que de façon plus large les mutations de la société tunisienne. / The way women invest high level sport practices is highly situated according to the national culture and the sport institutions. In Tunisia, the high level sport is differentially invested by women among them certain succeed practicants are involved in male-gendered sports. This study’s aim is on the identity relationship of Tunisian high level female athletes about their practice of a male-gendered sport.Method is provided in three phases: 1) a quantitative approach based on the male/female gender scale of the MMPI test (Student test & ANOVA) allows positioning the psychological profile of female sports women involved within a male sport (N = 56 X 3 + 1000; 2) a qualitative narrative approach based on the life-story interviews (N + 8: half presenting a male Tscore; T = 5 hours; 25000 words) is based on a lexicometry and a content analysis; 3) an image-based test investigates the female orientation as mediatized and reinterpretated by the sports women.

This work describes using High-Level Synthesis in image processing application. The application is for Xilinx ZYNQ platform. The source code of components for FPGA is written in C++ programming language. For High-Level Synthesis is used Xilinx Vivado HLS tool. In the application are designed and implemented Sobel filter, Median filter, Bilateral filter and architecture for AdaBoost classificator. The extension of this work is implemented the component for network traffic. The component finds the begin of the packet.

Thesis focuses on interpretation of nested petri nets described in PNML language on Atmel processors. It introduces this limited - from memory capacity and perfomance point of views - targeted architecture, since it greatly affected both design and implementation. The interpreter is thouroughly described from all aspects of its design. One of most important concerns in the whole process was the ability to test and verify achieved state of functionality quickly and possibly without Atmel processor. That’s why the implentation took place on a squeak platform, that allowed to translate whole interpreter for targeted platform. Motivation behind this and overall process of translation is also a subject of this work.