Science & Mathematics

Nunchaku is a new higher-order counterexample generator based on a sequence of transformations from polymorphic higher-order logic to first-order logic. Unlike its predecessor Nitpick for Isabelle, it is designed as a stand-alone tool, with frontends for various proof assistants. In this short paper, we present some ideas to extend Nunchaku with partial support for dependent types and type classes, to make frontends for Coq and other systems based on dependent type theory more useful.

Here we report on the viscosity of eukaryotic living cells as a function of the time, and on the application of stochastic models to analyze its temporal fluctuations. The viscoelastic properties of NIH/3T3 fibroblastic cells are investigated using an active microrheological technique, where magnetic wires, embedded into cells, are being actuated remotely. The data reveal anomalous transient responses characterized by intermittent phases of slow and fast rotation, revealing significant fluctuations. The time dependent viscosity is analyzed from a time series perspective by computing the autocorrelation functions and the variograms, two functions used to describe stochastic processes in mathematical finance. The resulting analysis gives evidence of a sub-diffusive mean-reverting process characterized by an autoregressive coefficient lower than 1. It also shows the existence of specific cellular times in the ranges 1-10 s and 100-200 s, not previously disclosed. The shorter time is found being related to the internal relaxation time of the cy-toplasm. To our knowledge, this is the first time that similarities are established between the properties of time series describing the intracellular metabolism and statistical results from mathematical finance. The current approach could be exploited to reveal hidden features from biological complex systems, or determine new biomarkers of cellular metabolism.

The effects of microstructure on the gap states of hydrogen diluted and undiluted hydrogenated amorphous silicon (a-Si:H) thin film materials and their solar cells have been investigated. In characterizing the films the commonly used methodology of relating just the magnitudes of photocurrents and subgap absorption, α(E), was expanded to take into account states other than those due to dangling bond defects. The electron mobility-lifetime products were characterized as a function of carrier generation rates and analysis was carried out of the entire α(E) spectra and their evolution with light induced degradation. Two distinctly different defect states at 1.0 and 1.2 eV from the conduction band and their contributions to carrier recombination were identified and their respective evolution under 1 sun illumination characterized. Direct correlations were obtained between the recombination in thin films with that of corresponding solar cells. The effects of the difference in microstructure on the changes in these two gap states in films and solar cells were also identified It is found that improved stability of protocrystalline Si:H can in part be attributed to the reduction of the 1.2 eV defects. It is also shown that ignoring the presence of multiple defects leads to erroneous conclusions being drawn about the stability of a-Si:H and SWE.

La formation "conduite langagière" propose un programme de français sur objectifs spécifiques (FOS) pour enseigner le français du code de la route à des femmes issues de l'immigration. Il s'agit d'une formation en présentiel qui s'adresse à des femmes d'un niveau A2/B1 en compréhension orale et A1.1 en compréhension écrite. Aucun niveau minimum en expression n'est exigé pour intégrer la formation. C'est donc un enseignement du Français appliqué au domaine de la conduite routière et des règles du code ainsi que les structures de la langue particulièrement difficiles pour un public issu de l'immigration. Il s'effectue dans un cadre associatif puisque c'est l'association Mot-à-Mot à Marseille qui est porteuse de ce projet.

Depuis la loi Hôpital Patient Santé Territoire (HPST) de 2009, le métier de pharmacien d’officine ne cesse d’évoluer, de nouvelles missions lui sont confiées. Le Plan National de Réduction du Tabagisme (PNRT) 2014 -2019 annonce ses objectifs et précise que la prise en charge du patient tabagique est pluri professionnelle. C’est dans ce contexte de nouvelles missions du pharmacien et de son d’implication toujours plus importante dans le parcours de soins du patient que nous avons souhaité mettre en place à l’officine un suivi personnalisé du patient tabagique. La problématique de cette étude est de montrer quelle est la capacité du pharmacien à dépister et à prendre en charge un patient tabagique à l’officine pour un suivi personnalisé selon une méthodologie définie respectant les recommandations de l’HAS. Dans un premier temps, nous reviendrons sur les généralités concernant l’épidémiologie et les mesures de lutte anti-tabac puis nous aborderons le tabac et l’addiction au tabac. Ensuite nous présenterons la méthodologie de l’étude et détaillerons les outils utilisés ; enfin nous exposerons nos résultats et finirons par une discussion sur le rôle du pharmacien, les nouvelles missions et les nouveaux modes de rémunération. Sur la durée déterminée de notre étude, 16 patients de l’officine ont été suivis pendant 3 à 4 mois avec 5 à 6 rendez-vous sur la période. Cet échantillon limité à 16 patients s’explique : par la durée de recrutement limitée sur 3 semaines et une durée d’étude fixée à la durée de mon stage soit 6 mois. Les résultats du questionnaire CSQ8 montrent que 8 patients sont très satisfaits et 4 patients sont globalement satisfaits du suivi qu’ils ont reçu. Les patients suivis avaient des profils différents, peu dépendant, dépendant ou très dépendant avec une motivation allant de 5 à 10 selon l’échelle numérique. Ainsi, nous remarquons que des patients qui étaient peu motivés, ont réussi à arrêter de fumer et nous l’expliquons en partie grâce à la proximité et à la disponibilité du pharmacien. Cette expérience montre que le pharmacien est capable de prendre en charge avec succès et satisfaction des patients fumeurs dans le cadre de leur sevrage tabagique. Ce suivi personnalisé devrait faire parti des nouvelles missions du pharmacien. Le 12 avril 2018, l’avenant 11, signé le 20 juillet 2017 à la convention nationale pharmaceutique de 2012, annonce l’élargissement des nouvelles missions du pharmacien. Le sevrage tabagique est annoncé dans les nouvelles thématiques d’accompagnement des patients. Nous envisageons de nous inscrire dans une pratique de la pharmacie d’officine centrée sur l’accompagnement du patient tant dans ses problématiques proprement liées aux traitements, que dans le suivi de sa santé et l’amélioration de sa qualité de vie. C’est dans ce cadre que s’inscrit le sevrage tabagique.

Ce mémoire porte sur la motivation des élèves de cycle 1 en éducation physique et sportive. Il s’agit de discuter des différentes stratégies utilisées afin de motiver et maintenir l’engagement des élèves de cycle 1 lors des séances d’EPS. Après avoir évoqué les différents types de motivation ainsi que les défis auxquels les enseignants et les élèves sont confrontés, ce mémoire se focalise sur les stratégies et les leviers qui peuvent aider les enseignants à motiver et engager les élèves dans les activités physiques et sportives. La rédaction de ce mémoire s’articule autour de réponses obtenues grâce à un questionnaire, à mon expérience professionnelle personnelle lors de cette année en alternance, ainsi que de recherche de sociologues et professeurs. Ces stratégies comprennent des pratiques basées autour de l’enrôlement, de la planification, des activités motivantes, de l’adaptabilité et de la prise en compte des différents besoins et profils des élèves. Enfin, le mémoire souligne l'importance de donner du sens aux activités proposées aux élèves et à l'EPS en général, tout en reconnaissant qu'il peut parfois être bénéfique de ne pas chercher systématiquement à toujours à donner du sens. Ce travail de recherche peut donc être une opportunité de partager des idées et des perspectives qui pourraient être bénéfiques à tester et à proposer.

Dans les montages sans système isolé, où l'électromètre remplace un voltmètre, et dans les montages à système isolé employés sous tensions alternatives, on n'a plus à craindre d'erreurs notables sous l'action de très petites altérations accidentelles des isolements, et l'on peut envisager des applications pratiques industrielles de cet instrument. L'emploi de l'électromètre à la place d'un voltmètre s'impose lorsqu'une dérivation, même très petite, est inadmissible, par exemple dans le cas des courants d'ionisation. Il est particulièrement intéressant dans le cas des courants alternatifs — par exemple pour la mesure différentielle de très grandes résistances — et surtout dans la technique des oscillations à fréquences élevées. Par la mesure différentielle des coefficients d'influence électrique, il permet de mesurer de très petits déplacements, avec des sensibilités équivalentes à celles des méthodes interférentielles, au moyen d'un spot lumineux se déplaçant sur un enregistreur photographique. L'auteur a établi, en vue des applications industrielles, un nouveau type d'électromètre très simplifié, bien que de sensibilité encore élevée. Les quadrants sont remplacés par quatre fils parallèles au fil de suspension, et l'aiguille à la forme d'un rectangle plan très allongé, dont le grand axe de symétrie prolonge le fil de suspension. Le couple directeur électrique d'Hopkinson est négatif, et l'absence complète de basculage permet de l'élever jusqu'à réduire le couple directeur total à une fraction assez faible du couple de torsion. Ce type d'électromètre a été associé, dans des installations industrielles, avec un modele de dynamomètre électrique à condensateur déformable, sur lequel sont données diverses 'précisions pratiques. Les calculs relatifs à la sensibilité montrent que l'on peut, avec ces dynamomètres ou avec des manomètres de même principe, réaliser dans de bonnes conditions des relevés strobométriques de forces ou pressions périodiques à variations rapides, en faisant agir le potentiel influençant, à un moment déterminé du cycle, pendant une petite fraction de la durée de ce cycle: une des applications pratiques à envisager est, en particulier, l'établissement de manographes pour moteurs rapides. Dans les installations mobiles, en particulier sur véhicules de toutes espèces, où l'électromètre devient inutilisable, les dynamomètres, accéléromètres et manographes à condensateur déformable peuvent encore être employés par la méthode des battements d'oscillations hertziennes.

Ao experienciar a paisagem sonora carioca, é possível presenciar inúmeros sons que entoam não apenas os ritmos e as corporeidades dos sujeitos, mas, também, as ambiências da Cidade. As Zonas Tranquilas — conceito da União Europeia para definir paisagens com baixos níveis de pressão sonora — manifestam-se como uma antítese à dissonância: uma rarefação sonora, propícia às “ambiências moduladas” (Thibaud, 2000), que possibilita escutas qualificadas e palcos para atividades de representação. Nesse sentido, o objetivo do artigo é compreender os limites e as espacialidades das ambiências sonoras de uma Zona Tranquila Carioca — o Bairro de Fátima — através de um percurso da sua borda dissonante até seu interior silencioso. Assim, foi utilizado, como método, o passeio sonoro para investigar, qualitativamente, as ambiências e possibilitar a elaboração dos resultados. Dentre eles, um mapa que demonstra a modulação sonora das ambiências conformada por percepções corpóreas, assim como camadas e espectros do som.

La commune de Schwindratzheim est située à une vingtaine de kilomètres au nord-ouest de Strasbourg, sur la route menant au col de Saverne. Elle est située dans un secteur très peu exploré par l’archéologie, du moins en ce qui concerne la Préhistoire. Le site des « Terrasses de la Zorn » est localisé à la sortie est du village sur le rebord d’une colline de lœss. Il a été implanté sur une pente bien marquée, orientée nord-sud, et drainée par la Zorn. La situation topographique du site et la présence d’un large bassin de réception en amont est à l’origine d’une circulation importante de l’eau tant en surface qu’en profondeur qui a conduit à une altération du substrat sur de larges zones, altérations qui ont, par endroit, considérablement gêné la lecture des structures. De plus, le relief et les pratiques agricoles se sont combinés pour que l’action de l’érosion soit très importante sur la surface ouverte. Comme toujours, cette action n’est pas uniforme, mais a creusé deux larges rigoles d’érosion dans la partie sud-ouest et sud-est du décapage. L’absence ou la quasi-absence de vestiges dans ces deux zones doit donc être prise avec réserves. Par ailleurs, l’étude fine des niveaux d’apparition des structures et de l’épaisseur des colluvions a montré que la topographie ancienne du site n’était probablement pas la même qu’aujourd’hui, ce qui explique les différences importantes dans les profondeurs d’apparition des fosses - aux états de conservation proches - certaines affleurant sous le niveau de labours, vers 40 cm environ, d’autres étant recouvertes par plus de 1,5 m de sédiment. Les débordements anciens de la Zorn ont déposé sur le site plusieurs fragments d’os ainsi qu’un bois gauche de renne retrouvé en partie dans une lentille sableuse. Une datation radiocarbone lui attribue un âge d’environ 17 000 av. J.-C. (exprimé en années solaires). Aucune occupation contemporaine n’a été repérée. Toutes périodes confondues, 867 structures ont été dégagées, dont 357 ont pu être attribuées à une occupation ancienne. La période la mieux représentée est le Néolithique ancien. Si sa limite nord semble avoir été atteinte, ce que confirme un diagnostic réalisé dans la parcelle située immédiatement au nord-ouest du site (Thomas, 2008b), ce village s’étend probablement plus à l’est et au sud, en direction de la rivière. La découverte de plusieurs fosses dans les années 1970 indique qu’il se prolonge également vers l’ouest sur au moins une quarantaine de mètres. Trois plans de maisons ont pu être identifiés, peut-être un quatrième. Les autres structures renvoient pour la plupart à la catégorie des complexes de fosses, souvent de dimensions respectables, la plupart peu profonds ; certains atteignant toutefois deux mètres sous le niveau de décapage. Le complexe 72 se distingue par la présence des restes d’au moins six individus. Certains corps sont complets. Au moins deux individus ne sont représentés que par des paquets d’os sans connexion ou des os isolés. Le seul adulte a été inhumé dans la partie supérieure du comblement, sur le côté droit. Seul son fémur droit a été retrouvé, la jambe droite et le membre inférieur gauche étant absents. Le mobilier rubané comprend essentiellement de la céramique (dont des tessons de la céramique de Limbourg), des artefacts en silex et de l’outillage lourd en grès et granite (meules, molettes et polissoirs). L’ocre, sous forme de petits blocs, est également bien attestée, mais peu d’entre eux semblent avoir été utilisés. L’outillage en roche polie et le mobilier en matière dure animale ne sont représentés que par quelques fragments. Après plusieurs siècles sans fréquentation établie, le site est de nouveau occupé au cours du Néolithique moyen. Plusieurs vestiges attribués au groupe de Bischheim ont été découverts, essentiellement dans la zone est, notamment une enceinte à double pseudo-fossés suivie sur près d’une trentaine de mètres. Son tracé se perd dans le remplissage de grands complexes de fosses rubanées où sa présence est toutefois perceptible à travers quelques tessons Bischheim. Plus au nord, il disparaît, victime de l’érosion particulièrement active dans ce secteur. Comme les autres monuments de cette période récemment fouillés en Alsace, il s’agit d’une enceinte de type « Rosheim » à pseudo-fossés. À environ 80 m au nord-ouest de ces fossés, deux sépultures Bischheim ont été découvertes. La tombe 10, malheureusement endommagée lors du diagnostic, a livré les restes d’une femme âgée de plus de 50 ans. À moins d’un mètre au nord-ouest, un immature a été enterré dans une large fosse ovale (st. 9). Également déposé allongé sur le dos, la tête vers le sud-est, il était accompagné par un mobilier nettement plus diversifié et abondant : un gobelet décoré, des fragments de poix – probablement un bloc de matière brute –, quatre armatures de flèches, un collier, une défense de suiné et une lame en silex. Une fosse plus tardive (st. 137A) a été attribuée à l’horizon Épi-Roessen. Après un nouveau hiatus de plus d’un demi-millénaire, le site est de nouveau fréquenté au Néolithique récent. Deux fosses Munzingen distantes de près de 100 m ont été découvertes (fig. 2). La plus riche en mobilier correspond vraisemblablement à un fond de silo. La céramique est abondante et comprend au moins 11 vases et de très nombreux plats à pain, une gaine de hache en bois de cerf plusieurs pièces en silex ainsi qu'une lame retouchée en rhyolithe blanche du Nideck. Plusieurs fentes doivent certainement être attribuées au Néolithique, mais rien ne permet de les relier à une occupation en particulier. Seul le Néolithique ancien semble devoir être exclu. Il faut ensuite attendre le premier âge du Fer pour que le secteur soit de nouveau fréquenté. À ce moment, les « Terrasses de la Zorn » correspondent à une aire d'ensilage située non loin d'un village dont la présence se devine au travers des rares déchets culinaires retrouvés. Signalons le dépôt d'une dépouille de chien dans un silo. Les millénaires suivants n'ont livré que peu de vestiges : quelques tessons de La Tène final hors contexte, un fragment de cruche gallo-romaine, sans contexte clair. La situation change avec le 20e siècle avec la mise en culture intensive du secteur. La seconde guerre mondiale a également laissé son – discrète – empreinte : quelques clips de munition de mitrailleuse américaine retrouvés dans une tranchée de combat rappellent le passage des chars du sous-groupement Rouvillois (2e DB) sur la route longeant le site en contre-bas lors de leur charge sur Strasbourg, le 23 novembre 1944.

Investigation of the influence of ultrasonic transducer frequency on the thickness measurement result of fiber reinforced plastic

This article provides a comprehensive analysis of the process of training highly qualified specialists in higher educational institutions, in particular, current issues related to the management of personnel training within the framework of Bachelor's and master's degrees. Scientific and practical proposals and recommendations have been developed aimed at effectively solving these problemshis article provides a comprehensive analysis of the process of training highly qualified specialists in higher educational institutions, in particular, current issues related to the management of personnel training within the framework of Bachelor's and master's degrees. Scientific and practical proposals and recommendations have been developed aimed at effectively solving these problems. The article also lists the results of a survey of graduates of higher education institutions located in the Kashkadarya region of the Republic of Uzbekistan. Within the framework of the study, the quality of training in the field of Higher Education Management, the model of improving the effectiveness of Educational Management, practical recommendations for heads of higher educational institutions and graduates, as well as the main directions of public policy in the field of higher education are highlighted.