Miracle-dz/UniFAR-FTUs huggingface dataset:
Ordonnancement de systèmes parallèles temps réel : de la modélisation à la mise en oeuvre par l'ingénierie dirigée par les modèles

Les travaux de cette these s'inscrivent dans le cadre de l'ordonnancement de calculs a haute performance sur multiprocesseurs a memoire partagee. Ces travaux recouvrent deux parties distinctes. Dans une premiere partie nous abordons le flot de conception de systemes-sur-puce muIti-processeurs. Nous proposons la modelisation de ces systemes en UML afm de completer la semantique propre au parallelisme, et de permettre le raffinement du modele de SoC jusqu'a une specification complete, en restant au plus haut niveau de conception. Par la suite nous presentons un nouveau niveau de simulation qui, en prenant en compte le particularisme du traitement intensif de donnees, abstrait le fonctionnement du SoC. En particulier, l'execution et l'ordonnancement des tâches sont directement effectues sur la machine hote. La simulation, implementee en SystemC, permet de tres rapidement evaluer les performances d'un placement de donnees et de tâches sur une architecture. La compilation du modele de SoC vers la simulation est faite a l'aide d'une chaine de transformations de modeles. Nous detaillons les avantages apportes par l'usage de l'ingenierie dirigee par les modeles pour la conception de SoC. Enfin nous illustrons la mise en œuvre de l'ensemble du flot de conception developpe au cours de la these avec un exemple d'exploration d'architecture.
Personality Trait Effects on Green Household Installations

Large, one-time investments in green energy installations effectively reduce domestic energy use and greenhouse gas emissions. Despite long-term economic benefits for households, the rate of green investments often remains moderate unless supported by financial subsidies. Beyond financial considerations, green investments may also be driven by individual psychological factors. The current study uses data from the German Socio-Economic Panel ( N = 3,468) to analyse whether the household decision to invest in green energy installations is linked to the Big Five personality traits. Personality traits and domestic investments in solar and other alternative energy systems had weak indirect associations through environmental concern but not through risk preferences. Openness to Experience and Neuroticism showed a weak positive relationship with green energy installations through the environmental concern channel, whereas Extraversion had a weak negative link. Based on these findings, persuasive messaging for green investments may be more effective when it focuses on environmental concern rather than reduced risk in countries like Germany, where long-standing financial subsidies decreased the risk in green investments.
Computer‐Video Method Evaluates Real Motion Data in Real Time for Students

M any mechanics experiments in class or laboratory employ complicated gadgets to collect and represent motion data. These devices include photocells, various types of switch, and "smart" pulleys. Some­ times these gadgets distract the stu­ dent's attention away from the behav­ ior of the moving body, which should be the primary focus of attention. Microcomputer-based methods offer a considerable advantage, and can be used in many experiments. For exam­ ple, the sonic ranger allows students to record the motion of a body in one dimension. The sonic ranger, smart pulley, and other similar devices have proven successful in teaching kinema­ tics and dynamics in one dimension. These devices, however, are·normally limited to one dimension. The video camera, on the other hand, is inherently a two-dimensional data-recording device. The difficulty lies in the conversion of information recorded by the video camera into useable, digital information. For this purpose, we devised a computer­ based system that derives all relevant information from the video signal, and properly processes and displays this information. The name of this system is Orvico (for Object Recording by Video and Computer). This system, and others that were developed inde­ pendently, were first described sever­ al years ago. 5 Since then, we have
The Neuropsychology of Mental Illness: The study of emotion and the interaction between emotion and cognition: methodological perspectives

Introduction In the 1950s, when behaviorism held sway over psychology, emotion was deemed to be too “subjective” for empirical study. However, the study of emotion has seen something of a renaissance over the past 25 years. The door has opened to a more objective study of emotion, largely due to technological advances and innovative methodologies that have enabled researchers to study human emotions in the laboratory (LeDoux, 2000). These new methods have helped us gain a deeper understanding of emotional processes, including how emotion interacts with cognition. Research on the interaction between emotion and cognition is particularly relevant to neurological and psychiatric disorders, given that impairments are often seen in both domains. Not only can such research increase our understanding of the relationship between thoughts and feelings to help improve our understanding of the etiology of specific clinical disorders, it can also help generate novel and effective treatment strategies. The goal of this chapter is to provide information about some of the approaches taken to study emotion and the interaction between emotion and cognition. Included in the chapter will be discussions of behavioral methodologies, focusing on those used to evaluate emotion; the interaction between emotion and memory, learning and attention; and emotion regulation. In addition, both functional and spatiotemporal imaging techniques used to assess the emotioncognition interaction will be described. Particular emphasis will be placed on those methodologies commonly used to conduct research in cognition and emotion with psychiatric populations. This chapter is intended to be an introduction to the methodology used to assess the interaction between emotion and cognition in humans. Given that a considerable amount of research has been conducted in this area, only a limited number of methodologies have been selected for discussion given that it is impossible to review all methodologies.
Changes in muscle fiber conduction velocity, mean power frequency, and mean EMG voltage during prolonged submaximal contractions

Average muscle fiber conduction velocity, mean power frequency, and mean EMG voltage have been measured in human vastus lateralis during prolonged isometric knee extensions at 10, 20, 30, and 40% of the maximum knee extension force. During contractions at 10 and 20% of maximum force, conduction velocity and mean power frequency rose as the contraction progressed, whereas the conduction velocity and mean power frequency fell at 30 and 40% of the maximum force. The mean EMG voltage rose during the contractions, with steeper increases for higher forces. It is argued that two principal factors influence the EMG during prolonged submaximal contractions: firstly, the fatigue of current active motor units, and, secondly, recruitment of fresh motor units. These factors act in opposition to muscle fiber conduction velocity. Recruitment gives an increase in average conduction velocity, whereas fatigue provokes a slowing in conduction velocity.
A Trend Analysis of Human Factors Issues in UK Military Aviation

Human factors issues in UK military aviation are identified and mitigated through a combination of proactive support and reactive investigations, both of which employ qualitative data collection and analysis methods. Each piece of work to identify human factors issues is performed on a standalone basis, but a regular review is undertaken to identify common trends. In the most recent review of trends, thematic analysis was used within the framework of the Accident Route Matrix to determine the most prevalent and qualitatively important human factors issues. The thematic analysis identified a wide range of human factors issues, including resource availability, training, documentation, and fatigue. By applying a qualitative approach throughout the data collection and analysis, it was possible to develop a rich understanding of each trend.
PERSONALITY TRAITS AND PERCEIVED USABILITY EVALUATION OF E-LEARNING PLATFORMS: A CASE STUDY

The impact of individuals’ characteristics on the perceived usability of e-learning systems is a significant, but rather overlooked topic. The goal of this research is to investigate the relation between teachers’ personality traits and their perceived usability of the e-class platform using the System Usability Scale (SUS) and the Big 5 Personality test. 1324 teachers of primary and secondary education in Greece participated in the study. Results indicated satisfactory usability levels for the e-class (M=69.68, SD=15.24). Moreover, SUS scores found to be correlated with teachers’ ICT in education competency and educational stage. Furthermore, secondary school teachers and teachers holding a PhD or a master’s degree rated significantly higher than the primary school teachers and teachers holding only BSc or high school diploma, respectively. However, SUS score was not correlated with age, gender, work experience, private/public school, work relationship (tenured or not) and general ICT competency. Finally, all five personality traits (Extraversion, Conscientiousness, Openness to new experience, Emotional stability, Agreeableness) found to be significantly positive correlated with perceived usability of the e-class platform.
Retail Brand Equity: Measurements through Brand Policy and Store Formats

This research extends findings on the retail brand equity in measuring the impact of its antecedents on the loyalty to the brand and to the store. This article raises questions about the sustainable created value by standard retail brands mostly oriented to functional components. The retail branding policy and store formats moderate results. This research adopts a PLS-Path modeling to test the retail brand equity model and its variations and then to provide a synthetic calculation of the retail brand equity. Results show that the standard retail brand equity leads to the loyalty to the brand and to the store. It varies according to: 1) the store brand policy (store’s own-named) appears to be a winning option maximizing the loyalty; 2) the “popular store” format—combining supermarket and department store—reinforces the sustainable relationship with customers because of the high level of service. By calculating scores, Carrefour brand maximizes the relationships within the model. This work focuses on French standard retail brands excluding other retail brands (such as generics or premium). Results also focus on one product category. The retailer’s positioning variable extends previous contributions leading to more consistent results. This research is also focused on the antecedents of retail brand equity too less studied: Benefits (received from their consumption) and the packaging of the branded product are thus integrated. Hence, perspectives for practitioners are suggested.
Modeling and simulation of DC power electronics systems using Harmonic State Space (HSS) method

For the efficiency and simplicity of electric systems, the dc based power electronics systems are widely used in variety applications such as electric vehicles, ships, aircrafts and also in homes. In these systems, there could be a number of dynamic interactions between loads and other dc-dc converters. Hence, in order to analyze these problems, simulations are required to consider such a complex system, which typically are time consuming. However, simulations in the time domain may increase the calculation time and computer memory. Even though several simplified approaches may be developed based on the state-space averaging and generalized averaging, these also have limitations to show the same results as with the non-linear time domain simulations. This paper presents a modeling and simulation method for a large dc power electronic system by using Harmonic State Space (HSS) modeling. Through this method, the required computation time and CPU memory for large dc power electronics systems can be reduced. Besides, the achieved results show the same results as with the non-linear time domain simulation, but with the faster simulation time which is beneficial in a large network.
Genetic programming for the minimum time swing up and balance control acrobot problem

This work describes how genetic programming is applied to evolving controllers for the minimum time swing up and inverted balance tasks of the continuous state and action: limited torque acrobot. The best swing‐up controller is able to swing the acrobot up to a position very close to the inverted ‘handstand’ position in a very short time, shorter than that of Coulom (2004), who applied the same constraints on the applied torque values, and to take only slightly longer than the approach by Lai et al. (2009) where far larger torque values were allowed. The best balance controller is able to balance the acrobot in the inverted position when starting from the balance position for the length of time used in the fitness function in all runs; furthermore, 47 out of 50 of the runs evolve controllers able to maintain the balance position for an extended period, an improvement on the balance controllers generated by Dracopoulos and Nichols (2012), which this paper is extended from. The most successful balance controller is also able to balance the acrobot when starting from a small offset from the balance position for this extended period.
New Shift-&amp;-Ratio Leff extraction algorithm for Fully-Depleted SOI CMOS transistors

The Shift-&-Ratio method has been considered as one of the most accurate and consistent techniques for extracting the effective channel-length of the MOS transistor. This method allows the effective mobility to be an arbitrary function of gate voltage regardless of the series resistance. Since Fully-Depleted (FD) Silicon-OnInsulator (SOI) MOSFETs feature an expression for the drain current in the linear region which is fundamentally different from the well-known expression for bulk silicon, the algorithm can not be used for these devices In this paper, we will present for the first time a Shift-&-Ratio extraction algorithm, which enables the extraction of the effective channel-length, mobility and series resistance of FD SOI MOSFETs, simultaneously. The new extraction algorithm will be applied on 2D simulation data in order to verify its validity.
Product Lifecycle Oriented Knowledge Management System for Product Rapid Development

According to modern manufacturing conceptions and the bottleneck problems of computer integrated manufacturing system (CIMS), a product rapid development system is studied as well as its Architectural structure. After analysis of knowledge management system for product rapid development (KMS-PRD) requirement, the needs for KMS-PRD are explored in depth. A framework of KMS-PRD is proposed to support product rapid development by providing a knowledge collection, storage, share, reuse and application platform. According to the framework, the key issues and challenges is investigated to guide the development of KMS-PRD. The results of this research will facilitate the rationalization of product development and thus shorten the development time.
Quantitating the cell: turning images into numbers with ImageJ

Modern biological research particularly in the fields of developmental and cell biology has been transformed by the rapid evolution of the light microscope. The light microscope, long a mainstay of the experimental biologist, is now used for a wide array of biological experimental scenarios and sample types. Much of the great developments in advanced biological imaging have been driven by the digital imaging revolution with powerful processors and algorithms. In particular, this combination of advanced imaging and computational analysis has resulted in the drive of the modern biologist to not only visually inspect dynamic phenomena, but to quantify the involved processes. This need to quantitate images has become a major thrust within the bioimaging community and requires extensible and accessible image processing routines with corresponding intuitive software packages. Novel algorithms both made specifically for light microscopy or adapted from other fields, such as astronomy, are available to biologists, but often in a form that is inaccessible for a number of reasons ranging from data input issues, usability and training concerns, and accessibility and output limitations. The biological community has responded to this need by developing open source software packages that are freely available and provide access to image processing routines. One of the most prominent is the open‐source image package ImageJ. In this review, we give an overview of prominent imaging processing approaches in ImageJ that we think are of particular interest for biological imaging and that illustrate the functionality of ImageJ and other open source image analysis software. WIREs Dev Biol 2017, 6:e260. doi: 10.1002/wdev.260
Reply to comment by Harald U. Frey on “Substorm triggering by new plasma intrusion: THEMIS all‐sky imager observations”

[1] A critical, long‐standing problem in substorm research is identification of the sequence of events leading to substorm auroral onset. Based on event and statistical analysis of THEMIS all‐sky imager data, we show that there is a distinct and repeatable sequence of events leading to onset, the sequence having similarities to and important differences from previous ideas. The sequence is initiated by a poleward boundary intensification (PBI) and followed by a north‐south (N‐S) arc moving equatorward toward the onset latitude. Because of the linkage of fast magnetotail flows to PBIs and to N‐S auroras, the results indicate that onset is preceded by enhanced earthward plasma flows associated with enhanced reconnection near the pre‐existing open‐closed field line boundary. The flows carry new plasma from the open field line region to the plasma sheet. The auroral observations indicate that Earthward‐transport of the new plasma leads to a near‐Earth instability and auroral breakup ∼5.5 min after PBI formation. Our observations also indicate the importance of region 2 magnetosphere‐ionosphere electrodynamic coupling, which may play an important role in the motion of pre‐onset auroral forms and determining the local times of onsets. Furthermore, we find motion of the pre‐onset auroral forms around the Harang reversal and along the growth phase arc, reflecting a well‐developed region 2 current system within the duskside convection cell, and also a high probability of diffuse‐appearing aurora occurrence near the onset latitude, indicating high plasma pressure along these inner plasma sheet field lines, which would drive large region 2 currents.
Variation in Lifetime Male Fitness in Ipomopsis aggregata: Tests of Sex Allocation Theory

Sex allocation theory assumes that a shift in allocation of resources to male function both increases male fitness and decreases female fitness. Moreover, the shapes of these fitness gain functions determine whether hermaphroditism or another breeding system is evolutionarily stable. In this article, I first outline information needed to measure these functions in flowering plants. I then use paternity analysis to describe the shapes of the fitness gain functions in natural populations of the hermaphroditic herb Ipomopsis aggregata. I also explore the relationships of male fitness (number of seeds sired) and female fitness (number of seeds produced) to the number of flowers produced by a plant. Plants with greater investment of biomass in the androecium, compared to the gynoecium and seeds, showed increased success at siring seeds, assumed by the models. That sex allocation trait, however, explained only 9% of the variance in estimates of male fitness. The shapes of the fitness gain functions were consistent with theoretical expectations for a hermaphroditic plant, but the model predicted a more female‐biased evolutionarily stable strategy (ESS) allocation than was observed. These results lend only partial support the classical sex allocation model.
A MODIFIED LARGE SAMPLE APPROACH IN THE ASSESSMENT OF POPULATION BIOEQUIVALENCE

The U.S. Food and Drug Administration (FDA) requires pharmaceutical companies to show bioequivalence between different formulations or generic companies to show bioequivalence between generic drugs and brand drugs before a9680186roval. In a recent FDA guidance on bioequivalence, new criteria were proposed for assessment of population and individual bioequivalence. In this article, computer simulation is used to compare a modified large sample (MLS) upper bound for the population bioequivalence ratio with the bootstrap upper bound recommended by the FDA. The comparison criteria are the ability to maintain the stated confidence level and the estimated power of tests based on these bounds.
Mid-IR waveguides in SOI platform

We present mid-IR waveguides developed in Ge-on-SOI and SOI. The minimum loss achieved for Ge-on-SOI strip waveguides is ∼8 dB/cm and for SOI waveguides is ∼1.4 dB/cm for TE polarized light at 3.7 μm. These waveguides demonstrate the feasibility of employing Ge-on-SOI for high power integrated sensing and SOI to achieve low-loss interconnects.
Fundamental research on the implementation of value-based pricing in Dutch manufacturing SMEs

This research has the purpose of giving an overview of the barriers and conditions that play a role in SMEs decisions on the adoption of value-based pricing. According to theory, value-based pricing is a superior pricing strategy. Nevertheless, at SMEs using other less sophisticated pricing strategies is more common practice. The question, therefore, is what prevents SMEs from using value-based pricing, in other words what the barriers to the implementation are and which conditions would be necessary to simplify the implementation. For this purpose, a survey has been conducted at Dutch SMEs to analyze what pricing strategies they use and what benefits and complications they see regarding value-based pricing. It has been found that Dutch SMEs predominantly use cost-based pricing methods. They have overall limited understanding of what value-based pricing is and are subject to pressures from buyers to keep the prices as low as possible, which prevents them from using the pricing method. This research concludes that practitioners at SMEs might be more successful using other pricing strategies than value-based pricing. Further research can use the barriers and conditions defined to develop a framework for SMEs that guides them in finding the most effective pricing strategy for their company.
Effect of spiral split ring resonator (S-SRR) structure on truncated pyramidal microwave absorber design

This paper discusses on the effect of the spiral split ring resonator on the truncated pyramidal microwave absorber. Split ring resonator (SRR) structure can potentially be incorporated onto the truncated pyramidal microwave absorber to increase the reflection loss performance. There are many ways to increase the pyramidal microwave absorber performance. The ways are focusing the new hybrid shapes, using high carbon material, and adding the left handed material structure on the pyramid microwave absorber. Left handed material or metamaterial is an artificial material that does not exist in the real nature like FR4, Taconic, Rogers or RT Duriod.