Timing verification in transaction modeling

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.

Beta Diversity of Plant-Pollinator Networks and the Spatial Turnover of Pairwise Interactions

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Modelo de leilão de energia multiperíodo com representação linearizada da transmissão e da coordenação com o médio prazo para sistemas hidrotérmicos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Parallel modeling of the electric field distribution in the brain

The term "Brain Imaging" identi�es a set of techniques to analyze the structure and/or functional behavior of the brain in normal and/or pathological situations. These techniques are largely used in the study of brain activity. In addition to clinical usage, analysis of brain activity is gaining popularity in others recent �fields, i.e. Brain Computer Interfaces (BCI) and the study of cognitive processes. In this context, usage of classical solutions (e.g. f MRI, PET-CT) could be unfeasible, due to their low temporal resolution, high cost and limited portability. For these reasons alternative low cost techniques are object of research, typically based on simple recording hardware and on intensive data elaboration process. Typical examples are ElectroEncephaloGraphy (EEG) and Electrical Impedance Tomography (EIT), where electric potential at the patient's scalp is recorded by high impedance electrodes. In EEG potentials are directly generated from neuronal activity, while in EIT by the injection of small currents at the scalp. To retrieve meaningful insights on brain activity from measurements, EIT and EEG relies on detailed knowledge of the underlying electrical properties of the body. This is obtained from numerical models of the electric �field distribution therein. The inhomogeneous and anisotropic electric properties of human tissues make accurate modeling and simulation very challenging, leading to a tradeo�ff between physical accuracy and technical feasibility, which currently severely limits the capabilities of these techniques. Moreover elaboration of data recorded requires usage of regularization techniques computationally intensive, which influences the application with heavy temporal constraints (such as BCI). This work focuses on the parallel implementation of a work-flow for EEG and EIT data processing. The resulting software is accelerated using multi-core GPUs, in order to provide solution in reasonable times and address requirements of real-time BCI systems, without over-simplifying the complexity and accuracy of the head models.

Proposta di sottotitolaggio del social movie italy in a day

The aim of this thesis is to analyse the main translating issues related to the subtitling of the Italian social movie Italy in a day into English: Italy in a day is a crowdsourced film, comprising a selection of video clips sent by ordinary people, showing occurrences of everyday life on a single day, October 26th, 2013. My dissertation consists of four chapters. The first provides a general overview of audiovisual translation, from the description of the characteristics of filmic products to a summary of the most important audiovisual translation modes; a theoretical framework of the discipline is also provided, through the analysis of the major contributions of Translations Studies and the multidisciplinary approach proposed by the scholar Frederic Chaume. The second chapter offers insight into the subtitling practice, examining its technical parameters, the spatial and temporal constraints, together with the advantages and pitfalls of this translation mode. The main criteria for quality assessment are also outlined, as well as the procedures carried out in the creation of subtitles within a professional environment, with a particular focus on the production of subtitles for the DVD industry. In the third chapter a definition of social movie is provided and the audiovisual material is accurately described, both in form and content. The creation of the subtitling project is here illustrated: after giving some information about the software employed, every step of the process is explained. In the final chapter the main translation challenges are highlighted. In the first part some text reduction techniques in the shift from oral to written are presented; then the culture-specific references and the linguistic variation in the film are analysed and the compensating strategies adopted to fill the linguistic and cultural gap are commented on and justified taking into account the needs and expectations of the target audience.

Impairments of peripheral motion change detection during smooth pursuit eye movements

Introduction: In team sports the ability to use peripheral vision is essential to track a number of players and the ball. By using eye-tracking devices it was found that players either use fixations and saccades to process information on the pitch or use smooth pursuit eye movements (SPEM) to keep track of single objects (Schütz, Braun, & Gegenfurtner, 2011). However, it is assumed that peripheral vision can be used best when the gaze is stable while it is unknown whether motion changes can be equally well detected when SPEM are used especially because contrast sensitivity is reduced during SPEM (Schütz, Delipetkose, Braun, Kerzel, & Gegenfurtner, 2007). Therefore, peripheral motion change detection will be examined by contrasting a fixation condition with a SPEM condition. Methods: 13 participants (7 male, 6 female) were presented with a visual display consisting of 15 white and 1 red square. Participants were instructed to follow the red square with their eyes and press a button as soon as a white square begins to move. White square movements occurred either when the red square was still (fixation condition) or moving in a circular manner with 6 °/s (pursuit condition). The to-be-detected white square movements varied in eccentricity (4 °, 8 °, 16 °) and speed (1 °/s, 2 °/s, 4 °/s) while movement time of white squares was constant at 500 ms. 180 events should be detected in total. A Vicon-integrated eye-tracking system and a button press (1000 Hz) was used to control for eye-movements and measure detection rates and response times. Response times (ms) and missed detections (%) were measured as dependent variables and analysed with a 2 (manipulation) x 3 (eccentricity) x 3 (speed) ANOVA with repeated measures on all factors. Results: Significant response time effects were found for manipulation, F(1,12) = 224.31, p < .01, ηp2 = .95, eccentricity, F(2,24) = 56.43; p < .01, ηp2 = .83, and the interaction between the two factors, F(2,24) = 64.43; p < .01, ηp2 = .84. Response times increased as a function of eccentricity for SPEM only and were overall higher than in the fixation condition. Results further showed missed events effects for manipulation, F(1,12) = 37.14; p < .01, ηp2 = .76, eccentricity, F(2,24) = 44.90; p < .01, ηp2 = .79, the interaction between the two factors, F(2,24) = 39.52; p < .01, ηp2 = .77 and the three-way interaction manipulation x eccentricity x speed, F(2,24) = 3.01; p = .03, ηp2 = .20. While less than 2% of events were missed on average in the fixation condition as well as at 4° and 8° eccentricity in the SPEM condition, missed events increased for SPEM at 16 ° eccentricity with significantly more missed events in the 4 °/s speed condition (1 °/s: M = 34.69, SD = 20.52; 2 °/s: M = 33.34, SD = 19.40; 4 °/s: M = 39.67, SD = 19.40). Discussion: It could be shown that using SPEM impairs the ability to detect peripheral motion changes at the far periphery and that fixations not only help to detect these motion changes but also to respond faster. Due to high temporal constraints especially in team sports like soccer or basketball, fast reaction are necessary for successful anticipation and decision making. Thus, it is advised to anchor gaze at a specific location if peripheral changes (e.g. movements of other players) that require a motor response have to be detected. In contrast, SPEM should only be used if a single object, like the ball in cricket or baseball, is necessary for a successful motor response. References: Schütz, A. C., Braun, D. I., & Gegenfurtner, K. R. (2011). Eye movements and perception: A selective review. Journal of Vision, 11, 1-30. Schütz, A. C., Delipetkose, E., Braun, D. I., Kerzel, D., & Gegenfurtner, K. R. (2007). Temporal contrast sensitivity during smooth pursuit eye movements. Journal of Vision, 7, 1-15.

Studies of pseudoachondroplasia chondrocytes and knockdown of the cartilage oligomeric matrix protein

Cartilage oligomeric matrix protein (COMP) is a large, homopentameric, extracellular matrix glycoprotein. Mutations in COMP cause two skeletal dysplasias: pseudoachondroplasia (PSACH) and multiple epiphyseal dysplasia (EMD1). These dwarfing conditions are caused by retention of misfolded mutant COMP with type IX collagen and matrilin-3 (MATN3) in the rough endoplasmic reticulum (rER) of the chondrocyte. These proteins form a matrix in the rER that continues to expand until it fills the entire cell, eventually causing cell death. Interestingly, loss of COMP in COMP null mice does not affect normal bone development or growth, suggesting that elimination of COMP (wildtype and mutant) expression may prevent PSACH. The hypothesis of these studies was that a hammerhead ribozyme could eliminate or knockdown COMP mRNA expression in PSACH chondrocytes . To test this hypothesis, a human chondrocyte model system that recapitulates the PSACH chondrocyte phenotype was developed by over-expressing mutant (mt-) COMP in normal chondrocytes using a recombinant adenovirus. Chondrocytes over-expressing mt-COMP developed giant rER cisternae containing COMP, type IX collagen and MATN3. Deconvolution microscopy and computer modeling showed that these proteins formed an ordered matrix surrounding a type II pro-collagen core. Additionally, the results show that a hammerhead ribozyme, ribozyme 56 (Ribo56) reduced over-expressed mt-COMP in COS cells and endogenous COMP in normal chondrocytes and mt-COMP in three PSACH chondrocytes cell line (with different mutations) by 40-70%. Altogether, these studies show that the PSACH cellular phenotype can be created in vitro and that the mt-COMP protein burden can be reduced by the presence of a COMP-specific ribozyme. Future studies will focus on designing ribozymes or short interfering RNA (siRNA) technologies that will result in better knockdown of COMP expression as well as the temporal constraints imposed by the PSACH phenotype. ^

Geochemistry of neritic carbonates of ODP Hole 134-831B

Drilling at Bougainville Guyot (Ocean Drilling Program Site 831), New Hebrides Island Arc during Leg 134 revealed that 727.5 m of carbonate overlies an andesite basement. The carbonate cap at Site 831 consists of 20 m of pelagic carbonate overlying 707.5 m of neritic carbonates. The neritic section consists of ~230 m of largely unaltered aragonite sediment that overlies ~497 m of totally calcitized limestone. The deeper portion of the calcitized interval has been pervasively altered by diagenesis. Prior to this study the age distribution of sediments at Bougainville Guyot was poorly known because age diagnostic fossils are sparsely and discontinuously distributed in the sequence. We have used Sr isotopes to provide temporal constraints on the deposition of carbonates at Site 831; these constraints are critical in reconstructing the vertical movement of Bougainville Guyot before its collision with the New Hebrides Island Arc. Overall, the chronostratigraphy of Bougainville Guyot can be subdivided into three intervals: (1) a Pleistocene interval (102.4 to 391.11 meters below sea floor [mbsf]); (2) a Miocene interval (410.31 to 669.53 mbsf); and (3) an Oligocene interval (678.83 to 727.50 mbsf). Strontium isotopic ages of samples increase with increasing depth in the carbonate sequence, except near the bottom of the sequence, where several samples exhibit a consistent reversed age vs. depth trend. Such age reversals are most likely the product of post-depositional rock-water interaction. Preliminary stable isotope data are consistent with diagenetic alteration in the marine and meteoric environments. Several abrupt decreases in d87Sr, and hence age, of sediments are recognized in the carbonate cap at Bougainville Guyot. These disconformities are most likely the product of subaerial exposure in response to relative sea-level fall. Indeed, Sr-isotope ages indicate that 2 to 9 m.y. of sediment deposition is missing across these d87Sr disconformities.