Miracle-dz/UniFAR-FTUs huggingface dataset:
Structure and function of homodomain-leucine zipper (HD-Zip) proteins

Homeodomain-leucine zipper (HD-Zip) proteins are transcription factors unique to plants and are encoded by more than 25 genes in Arabidopsis thaliana. Based on sequence analyses these proteins have been classified into four distinct groups: HD-Zip Ι-ІV. HD-Zip proteins are characterized by the presence of two functional domains; a homeodomain (HD) responsible for DNA binding and a leucine zipper domain (Zip) located immediately C-terminal to the homeodomain and involved in protein-protein interaction. Despite sequence similarities HD-ZIP proteins participate in a variety of processes during plant growth and development. HD-Zip Ι proteins are generally involved in responses related to abiotic stress, abscisic acid (ABA), blue light, de-etiolation, and embryogenesis. HD-Zip ΙΙ proteins participate in light response, shade avoidance, and auxin signalling. Members of the third group (HD-ZipIII) control embryogenesis, leaf polarity, lateral organ initiation, and meristem function. HD-Zip ΙV proteins play significant roles during anthocyanin accumulation, differentiation of epidermal cells, trichome formation, and root development.
Integrating different tracking systems in football: multiple camera semi-automatic system, local position measurement and GPS technologies

Abstract During the past decade substantial development of computer-aided tracking technology has occurred. Therefore, we aimed to provide calibration equations to allow the interchangeability of different tracking technologies used in soccer. Eighty-two highly trained soccer players (U14–U17) were monitored during training and one match. Player activity was collected simultaneously with a semi-automatic multiple-camera (Prozone), local position measurement (LPM) technology (Inmotio) and two global positioning systems (GPSports and VX). Data were analysed with respect to three different field dimensions (small, <30 m2 to full-pitch, match). Variables provided by the systems were compared, and calibration equations (linear regression models) between each system were calculated for each field dimension. Most metrics differed between the 4 systems with the magnitude of the differences dependant on both pitch size and the variable of interest. Trivial-to-small between-system differences in total distance were noted. However, high-intensity running distance (>14.4 km · h−1) was slightly-to-moderately greater when tracked with Prozone, and accelerations, small-to-very largely greater with LPM. For most of the equations, the typical error of the estimate was of a moderate magnitude. Interchangeability of the different tracking systems is possible with the provided equations, but care is required given their moderate typical error of the estimate.
Comparative study of LED ballasts for different light regulation techniques

Electronic ballast constitutes a significant part of a luminary equipped with light emitting diodes. Its topology affects strongly the energy efficiency, controllability, as well as weight, size and cost of the luminary. Therefore, this part of the luminary has to be designed especially carefully. Previous research has covered these parameters of dimmable ballasts of several topologies and different modulation techniques intended for the fluent mode light regulation. The findings show that buck topology is preferable for many reasons. This part of research extends the estimation procedure proposed earlier to the step mode and pulse mode light regulators. The controllability and power losses of regulators were taken as criteria for our comparison. First, the controllability and losses were analytically estimated and then the obtained result was experimentally verified. In the concluding part, the preferable light regulation technique is presented.
A prospective study on knee pain and its risk factors.

OBJECTIVES To evaluate the effects of work-related and individual factors as well as physical activity and sports on the incidence and persistence of knee pain among a working population. DESIGN Employees of a large Finnish forestry company replied to a questionnaire (a modified version of the Nordic Questionnaire) on musculoskeletal pain and its possible risk factors at the baseline of this study. A cohort of 2122 workers free of knee pain and another cohort of 333 workers with severe knee pain were followed up for one year. The effects of the risk factors on the incidence and persistence of knee pain were studied using multivariable logistic regression models. RESULTS A total of 214 (10%) workers developed knee pain during the follow-up. Significant predictors of incident knee pain in the multivariable model were higher age, overweight, smoking, and previous knee injuries. Also, working with the trunk forward flexed in kneeling or standing position and physically strenuous work were non-significant predictors of incident knee pain. Of those 333 workers with severe knee pain at baseline, 220 (66%) still reported severe knee pain after one year. Higher age and job dissatisfaction increased the risk of persistent symptoms. General physical exercise and different sports activities did not predict the incidence or persistence of knee pain. CONCLUSIONS In this large prospective study, the risk factors for self-reported knee pain seemed to be highly similar to the risk factors for knee osteoarthritis (OA) reported in other papers. Age, previous knee injuries, overweight, and knee-straining work were those risk factors, which contributed to the incidence of knee pain. Psychosocial elements of work were more involved in the persistence of the symptoms in the knee.
Une Analyse Formelle en Coq d'un Algorithme Distribué Probabiliste résolvant le Problème du Rendez-Vous

Les algorithmes distribues probabilistes se formulent simplement, cependant leur analyse est complexe car il faut traiter a la fois l'aspect distribue et l'aspect probabiliste. Dans cet article, nous presentons une formalisation en Coq d'un algorithme distribue probabiliste resolvant le probleme du rendez-vous. Cette formalisation nous permet de raisonner et de prouver des proprietes telles que la terminaison ou des calculs de probabilites.
Comparaison de deux clusterings par couplage entre clusters de clusters

Le clustering est une tâche essentielle en analyse de donnees. La variete des methodes disponibles rend celle-ci ardue. Diverses strategies ont ete proposees pour analyser la stabilite d'un clustering en fonction des parametres de l'algorithme l'ayant genere, ou pour comparer des clusterings produits par des algorithmes differents. Dans cet article, nous proposons une nouvelle classe de methodes formant des groupes de clusters (meta-clusters) dans chaque clustering, et etablissant une correspondance entre ceux-ci. Nous definissons le graphe d'intersection de deux clusterings en associant a chaque cluster un sommet et en reliant deux clusters dont l'intersection est non nulle par une arete ponderee par le poids de leur intersection. Etant donne une borne superieure D sur le diametre du graphe induit par les clusters des meta-clusters, nous formalisons et analysons le probleme D-family-matching. Nous montrons que ce probleme est NP-complet, developpons des algorithmes de programmation dynamique pour certaines classes de graphes (arbres en particulier), et concevons des algorithmes efficaces bases sur des arbres couvrants pour des graphes generaux. Nous illustrons a travers des experiences le role de D comme un parametre d'echelle apportant des informations sur la relation entre deux clusters. Nous montrons egalement les avantages de notre appariement face aux methodes classiques de comparaison de clusters telles que la variation d'information (VI). Enfin, pour des clusterings generes par K-means, nous montrons que notre algorithme de programmation dynamique permet d'estimer le nombre effectif de clusters.
Hochdynamische Strom- und Spannungsregelung von permanenterregten Synchronmaschinen auf Basis von Delta-Sigma Bitströmen

Delta-Sigma-Umsetzer sind aus der Audio-Technik fur ihren hohen Signal-zu-Rausch Abstand bei Abtastraten im 10 bis 100 kHz Bereich bekannt und werden zunehmend auch in der Stromregelung von elektrischen Antrieben als Analog-Digital-Umsetzer eingesetzt. Delta-Sigma-Umsetzer bestehen aus einem Modulator und einem digitalen Tiefpassfilter. Die Auswirkungen des digitalen Filters auf die Stromregelung eines elektrischen Antriebs werden hinsichtlich der erreichbaren Bandbreite des Stromregelkreises und der Unterdruckung von Storungen in der Strommessung untersucht. In dieser Arbeit werden zwei Ansatze zur Steigerung der Bandbreite des Stromregelkreises verfolgt. Der Stromregler wird direkt in dem hochfrequenten Zeitraster (10 MHz) der Delta-Sigma-Modulatoren gerechnet, so dass auf einen digitalen Tiefpassfilter verzichtet werden kann. Dieses Vorgehen erfordert eine neuartige Signalverarbeitung, da der Ausgang des Delta-Sigma-Modulators aus einem gering quantisierten Delta-Sigma-Bitstrom mit einer Auflosung von einem Bit besteht. Die vorhandenen Ansatze zur direkten Signalverarbeitung des Delta-Sigma-Bitstroms werden verglichen und erweitert. Der zweite Ansatz zur Steigerung der Bandbreite besteht darin, die hochfrequenten Delta-Sigma-Bitstrome breitbandig in PWM Signale fur eine Leistungselektronik im 4 - 40 kHz Bereich umzusetzen. Das grundsatzliche Prinzip wird an einer einphasigen Last untersucht. Die im Stand der Forschung bekannte Losung fur eine dreiphasige Last weist erhebliche Nachteile auf. In dieser Arbeit wird ein Verfahren fur einen hochdynamischen dreiphasigen Leistungselektronik-Modulator zur direkten Verarbeitung von Delta-Sigma-Bitstromen vorgestellt, welcher die Nachteile der bekannten Losung aufhebt. Zusatzlich wird eine direkte Ruckfuhrung der Strom- und Spannungsmesswerte uber Delta-Sigma-Bitstrome realisiert. Dies ermoglicht eine hochdynamische Strom- und Spannungsregelung einer permanenterregten Synchronmaschine.
Linguistically-Motivated Automatic Morphological Analysis for Wordnet Enrichment

Performance of NLP systems can only be as good as the lexical resources they employ. By modelling the evolved structure of language, there is scope for morpho-semantic enrichment of these resources. A set of linguistically-informed morphological rules is formulated from the CatVar database, implemented in a Java model of WordNet and tested on suffixation and desuffixation. Overgeneration and undergeneration are measured and an approach to improving these by using multilingual resources is proposed.
Analyse architecturale et infographie

Dans cet article, nous nous interesserons a trois experiences pedagogiques dans le cadre de l'enseignement de l'infographie. Il s'agit de montrer que l'infographie et l'histoire de l'architecture, champs apparemment distincts, peuvent faire l'objet d'approches transversales. Nous commencerons par l? examen de la modelisation par description textuelle pour ensuite nous interesser a la modelisation procedurale a base de connaissances architecturales. Ces modes d? acces et de constitution "alternatifs" de modeles infographiques representent un moyen privilegie de confronter la modelisation infographique a l'analyse architecturale notamment par le biais de la modelisation du savoir architectural. Nous verrons comment ces exercices confrontent nos etudiants a la fois a l'analyse architecturale, a une approche de la programmation structuree ou orientee-objet ainsi qu'a une utilisation "critique" des outils de conception assistee. Nous terminerons par une experience d'animation infographique qui questionne la pertinence de l'image de synthese comme support a l'analyse architecturale et a la communication de celle-ci.
Survival analysis for modeling critical events that communities may undergo in dynamic social networks

In dynamic social networks, communities may undergo various changes over time. For example, a community may split into several other communities, expand into a larger community, or shrink to a smaller community, or several communities may merge into one community. This is an important and difficult issue in the study of social networks. In the current literature, there is a lack of formal approaches for modeling and predicting critical events over time. This prompted us to seek a new approach based on a more general method of event prediction in order to make use of past histories of change. To this end, we propose here a general risk model that utilizes survival analysis techniques to understand and predict future changes in the topological structure of dynamic communities. We illustrate the performance of the proposed method on real networks extracted from the DBLP and Yelp datasets.
Évaluation de l’exposition du patient adulte aux particules issues des incompatibilités entre médicaments injectables utilisés en anesthésie et réanimation

Ce travail de doctorat s’inscrit dans un projet de recherche destine a evaluer la charge particulaire issue des incompatibilites physico-chimiques d’origine medicamenteuse de patients admis en reanimation pour un etat de choc septique ou un syndrome de detresse respiratoire aigue. Le corollaire est de faire le lien avec la survenue de certaines complications (syndrome inflammatoire et dysfonction d’organe) susceptibles de menacer le pronostic vital. En effet, la dysfonction microcirculatoire caracteristique de ces patients pourrait etre majoree par la contamination particulaire aboutissant ainsi a une aggravation de l’hypo-perfusion tissulaire et a la survenue du syndrome de defaillance multi viscerale.La premiere partie de ce travail a consiste en une analyse de la litterature portant sur les incompatibilites medicamenteuses et leurs principales consequences cliniques sous forme d’une revue systematique. Un des messages essentiels est l’interet grandissant de la filtration en ligne comme moyen de prevention de la contamination particulaire bien mis en evidence par certains essais controles randomises en particulier pediatriques.La seconde partie de ce travail etait de mener, dans une premiere phase, une etude d’observation clinique au lit du malade des dispositifs de perfusion intraveineux habituellement utilises et des medicaments le plus souvent administres a ces patients de reanimation du CHU de Lille. La deuxieme phase consistait a reproduire in vitro le montage de perfusion utilise en clinique avec les differentes solutions medicamenteuses dans le but de quantifier la charge particulaire a laquelle sont exposes les patients. Le comptage particulaire a ete realise de maniere dynamique, selon une technique innovante, grâce a un analyseur de particule connecte au montage de perfusion.Ce travail nous a permis finalement d’evaluer le risque particulaire pour ces patients fragiles et de proposer une strategie de prevention des incompatibilites medicamenteuses.
Problem solving based on knowledge representation and program synthesis

Computers cannot solve problems, they are only able to execute programs. A man can solve problems if he has necessary knowledge and experience. In informatics to solve a problem means to find and to describe a sequence of computing operations leading to the intended result. If a problem is solved in that sense then a program capable to get an answer to that single problem is created. Possibly the program can supply solutions of a number of problems differing however only in their input data. A man can usually do more than this. He knows the field of his activity — an object area as we shall call it. He is able to solve many essentially different problems in this area. From this standpoint a challenging problem arises — how to transfer human's knowledge and experience to a computer, how to make it capable to solve a large class of problems, not just one, in a specific area. The problem is by no means a new one. It is known a number of ways to solve it. These traditional ways are: program packages (if one takes an algorithmic approach), data bases (when an informational approach is preferable), expert systems. Every program package or expert system usually has its own built-in control device. In the case of data bases this role is played by a data base management system. Such a system enables us to create different data bases oriented to different object areas. A similar approach is known in connection with expert systems. There exist also systems based on more abstract form of knowledge representation. Among them the language PROLOG [1] and its implementations and applications should be mentioned first of all. However in all these cases we have one large program orsystem which directly uses a computer to solve various problems. The system does not try to generate a program for each specified problem. In other words all these systems are rather inters pretive than compilative by their nature. Only one form of knowledge representation is used in every kind of system. This form is: a computing procedure or a program module in the case of a program package, a table in the case of a data base, a rule of the form "condition—action" in the case of an expert system, a Horn clause in the case of a PROLOG program. It occurs sometimes that two very similar application systems having almost the same purpose and possibilities are classified differently by their authors, e.g. as an expert system and a data base, depending on the authors' tastes and points of view:
Estudo do controlador orgânico derivado de biomaterial látex para correção da passada diabética utilizando a mudança qualitativa e quantitativa das cargas aplicadas ao pé

Este trabalho apresenta o desenvolvimento e a insercao de um elemento externo denominado Diabets Ground Control (DGC) com base na etiologia mecânica do problema e avalia a variacao das variaveis principais do sistema. O objetivo deste trabalho e propor um controlador para que por meio da mudanca qualitativa e quantitativa das cargas aplicadas ao pe seja possivel a correcao da passada diabetica. Essa interacao controlada entre o pe diabetico e o controlador e o que os autores defendem como a teoria de Controle Orgânico. Para obter o modelo matematico sera usada a ferramenta Bond Graph (BG), um metodo alternativo as praticas classicas de modelagem existentes introduzido por Paynter em 1961. Essa metodologia e fundamental para a concepcao de uma teoria bio inspirada na area de Engenharia Biomedica, a teoria de Controle Orgânico. Dessa forma, a palmilha DGC permitira a redistribuicao da carga por toda a extensao da planta do pe sempre interagindo diretamente na resposta do sistema
Phagosome dynamics and function

Phagocytosis of microorganisms and other particles is mediated most efficiently by receptors such as Fc‐receptors (FcR) and complement‐receptors (C3R). Interaction between these receptors and ligands on the particle results in signal transduction events that lead to actin polymerisation and phagosome formation. The phagosome then undergoes a maturation process whereby it transforms into a phagolysosome. Phagosome maturation depends on interactions (fusion events) with early and late endosomes as well as with lysosomes. The fusion processes are regulated by small GTP‐binding proteins and other proteins that are also involved in fusion processes in the endocytic pathway. Although most phagocytosed microorganisms are killed in the lysosome, some pathogens have developed survival strategies and are able to live in the harsh conditions in the phagolysosome or interfere with the maturation process and thereby evade destruction by acid hydrolases. BioEssays 22:255–263, 2000. © 2000 John Wiley & Sons, Inc.
nand Flash Memory and Its Role in Storage Architectures

This papers reviews the increasing role of NAND flash memory in storage architectures. NAND flash has enjoyed a phenomenal growth rate in storage capacities as well as a steady decline in pricing during the past few years. These developments have enabled NAND to enter and possibly change or displace some traditional storage architectures. However, besides cost, NAND flash memory has some reliability and performance issues that will slow its adoption into all storage architectures. This paper will analyze the advantages and disadvantages of this technology and the implications to the current and possible future storage architectures. Moreover, we will analyze NAND flash future density and costs trends and compare them with the traditional hard disk drive.
Cosmologia proveniente de uma teoria de calibre modificada para a gravidade

Our main go in this thesis is to test the large-scale consistency of a quantum gravity model. This model consists of a Yang-Mills theory with gauge group SO(m,n) written in a four-dimensional euclidean space-time. In the infrared limit, the SO(m,n) algebra undergoes an Inönü-Wigner contraction to Poincaré algebra and the gauge symmetry is broken. As consequence, Lorentz local symmetries arise and the gauge fields can be identified with a vierbein field, e(x), and a spin connection field, ω(x). The resulting gravity is an effective Einstein-Cartan-like theory with ultraviolet correction terms and propagating torsion field. An advantage of this model is the natural appearance of a gravitational cosmological constant that, along with Newton’s gravitational constant, G, can be calculated perturbatively. Making use of the FLRW metric and the ansatz of a riemannian spacetime we demonstrate that this effective gravity has the Standard Cosmological Model in its infrared sector. Furthermore, the ultraviolet regime foresee a hyper-accelerated de Sitter phase that may prove to be inflationary and also foresee the presence of exotic matter in the early Universe.
Sistema antecipatório de prevenção de excursão de pista

Uma crise, de uma forma geral, pode ser definida como uma mudanca brusca ou uma alteracao importante no estado de um sistema em relacao ao seu estado considerado normal ou desejados. O Gerenciamento de Crises possui um conjunto de atividades que colaboram nas decisoes e acoes tomadas nos estagios: anterior, atual e posterior de uma crise. Esse conjunto e composto por atividades de prevencao, mitigacao, preparacao, resposta e recuperacao. Na Aviacao Civil, um problema que afeta a seguranca de pistas e a Excursao (Runway Excursion), que segundo a International Civil Aviation Organization (ICAO), foi um dos registros de acidentes e incidentes mais frequente no periodo de 2008 a 2018. Este trabalho apresenta um modelo para prevencao de eventos que podem gerar uma Excursao. A partir da modelagem, foi proposto o Sistema Antecipatorio de Prevencao de Excursao de Pista (SAPEP). O SAPEP sera capaz de antecipar, em uma aterrissagem, uma possivel ultrapassem dos limites finais da pista, gerando alertas e avisos. O trabalho tambem estendeu as possibilidades do SAPEP agregando a tecnica de Superficie de Resposta, permitindo que estrategias e instrucoes possam ser geradas no sentido de evitar situacoes iminentes de crise. A abordagem utilizada neste trabalho para a Excursao de Pista tambem pode ser aplicada para outros tipos de eventos criticos.