Search results for "electron"
showing 10 items of 24810 documents
Modelling Without a Modelling Language
2018
Developments in computer hardware and programming languages, in this case C++, have made it feasible to write models of concurrent systems under verification in the programming language, instead of some established modelling language such as Promela. While this does not reduce the usefulness of modelling languages, it offers new possibilities that may be advantageous, for instance, when teaching state space ideas to newcomers or when experimenting with new scientific ideas. In earlier work, we were able to express everything else fairly naturally in C++, except the set of transitions. The present study uses C++ lambda functions to represent naturally transitions that consist of a tail state…
Motivic Pattern Extraction in Music, and Application to the Study of Tunisian Modal Music
2007
A new methodology for automated extraction of repeated patterns in time-series data is presented, aimed in particular at the analysis of musical sequences. The basic principles consists in a search for closed patterns in a multi-dimensional parametric space. It is shown that this basic mechanism needs to be articulated with a periodic pattern discovery system, implying therefore a strict chronological scanning of the time-series data. Thanks to this modelling global pattern filtering may be avoided and rich and highly pertinent results can be obtained. The modelling has been integrated in a collaborative pro ject between ethnomusicology, cognitive sciences and computer science, aimed at the…
A Review of Biosensors for Non-Invasive Diabetes Monitoring and Screening in Human Exhaled Breath
2019
Exhaled breath acetone has been identified as a diabetes biomarker for non-invasive diagnosis. Its detection using biosensors features has many advantages over the conventional means. This paper reviews the recent literature on the detection of exhaled breath acetone and acetone vapor of diabetic interest. The biosensors have been classified based on their transduction methods. The performance characteristics of the biosensors have been explored for comparison. The future trends are also highlighted.
Dy159 Electron-Capture: A New Candidate for Neutrino Mass Determination
2021
International audience; The ground state to ground state electron-capture Q value of Dy159 (3/2-) has been measured directly using the double Penning trap mass spectrometer JYFLTRAP. A value of 364.73(19) keV was obtained from a measurement of the cyclotron frequency ratio of the decay parent Dy159 and the decay daughter Tb159 ions using the novel phase-imaging ion-cyclotron resonance technique. The Q values for allowed Gamow-Teller transition to 5/2- and the third-forbidden unique transition to 11/2+ state with excitation energies of 363.5449(14) keV and 362.050(40) keV in Tb159 were determined to be 1.18(19) keV and 2.68(19) keV, respectively. The high-precision Q value of transition 3/2-…
Statistique de l'efficacité de blindage de matériaux composites pour la 5G: méthodes avancées d'échantillonnage
2020
International audience; Cette proposition présente une méthodologie pour l'estimation statistique du niveau de protection offert par des matériaux composites constitués par des fibres de carbone sur une large gamme de fréquences contenant la bande 5G. La variabilité géométrique des nanostructures de carbone (essentiellement en termes de formes et de dimensions) impose, dans un premier temps, une caractérisation fréquentielle précise de la distribution statistique des propriétés diélectriques des matériaux. La propagation, dans un second temps, des incertitudes précédentes au niveau de l'efficacité de blindage des matériaux apporte des contraintes particulières quand aux méthodes statistique…
Monitoring a meat-free pledge with smartphones:An experimental study
2020
Pledges are a popular strategy to encourage meat reduction, though experimental studies of their efficacy are lacking. Three-hundred and twenty-five participants from three different countries (UK, Germany, Australia) were randomly assigned to pledge 28 days meat-free or not, and their behavior was tracked via smartphones. Participants answered daily surveys regarding their eating behavior, meat cravings, and shared photos of their meals. Baseline data was collected prior to the pledge, after the 28 days, and one-month post-intervention. Participants assigned to the pledge condition ate less meat across the 28 days, compared to control participants. Meat reductions, observed at outtake, did…
Effect of Stacking Sequence and Sodium Bicarbonate Treatment on Quasi-Static and Dynamic Mechanical Properties of Flax/Jute Epoxy-Based Composites
2019
The present paper deals with the investigation of quasi-static and dynamic mechanical response of epoxy-based composites reinforced with flax and/or jute plain weave fabrics. In order to evaluate the influence of the stacking sequence, two monolithic laminates reinforced with flax or jute fibers and two hybrid flax/jute laminates were manufactured through the vacuum infusion technique. Furthermore, an eco-friendly and cost-effective surface treatment based on fiber soaking in a sodium bicarbonate solution was employed to improve the fiber-matrix adhesion. The mechanical characterization (by means of quasi-static flexural, dynamic mechanical thermal analysis and Charpy impact tests) allowed …
Simultaneous production of furfural and levulinic acid from pine sawdust via acid-catalysed mechanical depolymerization and microwave irradiation
2019
Abstract In this work pine sawdust was converted into levulinic acid (LA) and furfural. Sawdust was first pre-treated with sulfuric acid-catalysed mechanical depolymerization. The conversion reactions were then performed with microwave heating at 180 °C. To enhance the furfural yield and the efficient separation of furfural and LA, a biphasic water-toluene reaction system was used. The effect of an additional catalyst, AlCl3, on the yield of LA and furfural was also studied. According to the results the pre-treatment method enhanced the yields of LA. In addition, due to the microwave heating the reaction times were short. Additional AlCl3 catalyst enhanced the LA yield, however excellent fu…
Rhombi-chain Bose-Hubbard model: Geometric frustration and interactions
2018
We explore the effects of geometric frustration within a one-dimensional Bose-Hubbard model using a chain of rhombi subject to a magnetic flux. The competition of tunnelling, self-interaction and magnetic flux gives rise to the emergence of a pair-superfluid (pair-Luttinger liquid) phase besides the more conventional Mott-insulator and superfluid (Luttinger liquid) phases. We compute the complete phase diagram of the model by identifying characteristic properties of the pair-Luttinger liquid phase such as pair correlation functions and structure factors and find that the pair-Luttinger liquid phase is very sensitive to changes away from perfect frustration (half-flux). We provide some propo…
How Relevant Are Risk Perceptions, Effort, and Performance Expectancy in Mobile Banking Adoption?
2018
This article provides a comprehensive overview of the adoption process using evidence from m-banking adoption in Pakistan. A survey design was used and 189 responses were received from across Pakistan and analyzed using Smart PLS application. Findings suggest that research on the effect of risk in the adoption process remains inconclusive. Contrarily, consumers have overcome many fears due to the usefulness, indispensability, high security features, and effort expended in the use of financial services delivered through m-banking. Perceived risk's (PR) direct influence was found to be generally weak. However, PR plays a major role in the pre-adoption process because it's weak and direct inhi…