Miracle-dz/UniFAR-FTUs huggingface dataset:
Characterization of adjacent E‐box and nuclear factor 1‐like DNA binding sequence in the human CYP1A2 promoter

To better understand the molecular mechanisms of cytochrome P450 1A2 (CYP1A2) regulation, we have characterized a region of the promoter (+3 to −176) that contains a single E‐box and an adjacent nuclear factor 1 (NF1)‐like DNA binding site. The E‐box was shown to specifically bind nuclear proteins that were recognized by antibodies against upstream stimulatory factor (USF) 1 and 2. Comparison of NF1 binding proteins in HepG2 cells and primary cultures of rat hepatocytes revealed different patterns of DNA–protein complexes, all of which were recognized by a general NF1 antibody. Mutations of the E‐box resulted in substantial reduction of promoter activity in either primary hepatocytes or HepG2 cells regardless of the presence in the reporter constructs of other CYP1A2 regulatory elements, such as the hepatic nuclear factor 1 (HNF‐1) binding site. In contrast, reporter gene activity of the promoter construct harboring the mutated NF1‐like binding site was affected by upstream sequences when transfected into HepG2 cells, but not in primary hepatocytes. We conclude that both USF proteins and different isoforms of NF1 contribute to the constitutive expression of CYP1A2. © 2005 Wiley Periodicals, Inc. J Biochem Mol Toxicol 19:78–86, 2005; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/jbt.20063
Commande variante dans le temps pour le contrôle d'attitude de satellites

Cette these porte sur la commande variant dans le temps avec comme fil directeur une application satellite. Nous avons etudie trois types de commande: une commande a commutation, une commande LPV et une commande adaptative directe. Pour cette derniere nous avons propose des resultats theoriques nouveaux portant sur la structuration du gain et de l'adaptation. Les resultats ont ete valides en simulation et sont testes a bord d'un satellite. L'application que nous considerons au cours de cette etude est la commande d'attitude des satellites par roues a reaction. A partir des limitations de ces actionneurs, nous exposons dans un premier temps le besoin de mettre en place des lois de commande qui varient selon les conditions de fonctionnement. En particulier, on cherche des correcteurs assurant une reponse rapide lorsque l'erreur d'attitude est faible, tout en limitant l'effort de commande lorsque le satellite se trouve loin de sa position de consigne. En partant des resultats preliminaires portant sur la commande a commutation, actuellement utilisee sur les satellites Myriade, une premiere partie de nos travaux est dediee a la commande LPV. Une methode de synthese est developpee, permettant d'obtenir de nouveaux algorithmes exprimes dans ce formalisme. L'approche que nous proposons se base sur la specification des objectifs de commande a travers un modele de reference LPV qui decrit le comportement ideal en boucle fermee. Testees en simulation, les lois de commande LPV obtenues repondent a la problematique de notre application. Toutefois, le choix du modele de reference LPV s'avere delicat. Cette difficulte a ete levee en utilisant la commande adaptative. Dans cette approche, les specifications concernant les comportements aux depointages faibles et forts sont traduites par des contraintes au niveau des lois d'adaptation des gains de commande. Nous introduisons ainsi une nouvelle methode de synthese permettant d'obtenir des lois adaptatives structurees. Les preuves de stabilite en boucle fermee se basent sur des outils de la theorie de Lyapunov, specifiques a la commande adaptative, mais egalement a la commande robuste. Cette combinaison permet d'etablir des preuves de stabilite asymptotique pour des lois d'adaptation structurees faisant apparaitre, entre autre, la sigma-modification. Plusieurs lois ainsi obtenues ont ete testees sur un simulateur complet du un modele non-lineaire d'un satellite dans son environnement orbital. Les resultats montrent l'interet de l'utilisation de tels algorithmes adaptatifs, qui permettent en particulier de modifier la dynamique du satellite en fonction des capacites disponibles des actionneurs. Sur la base de ces resultats positifs, une campagne d'essais en vol sur le satellite Picard est actuellement en cours.
Compact Butler matrix based on patch element for X band applications

The existing designs of Butler matrices are all based on microstrip lines, which may cause performance degradation when the operation frequency increases. To solve this problem, this article presents the design and realization of Butler matrix based on patch element. In order to achieve wideband and simple structure features, the circuit utilizes couplers with arbitrary phase difference and a novel crossover instead of the standard ones. With the help of patch element's unique advantages, the proposed matrix exhibits a good performance which covers a high frequency band ranging from 9 GHz to 11 GHz. The measurements show accurate phase differences of 45° ± 5°, and with an amplitude imbalance less than 1dB. The return losses are better than -10 dB over a relative bandwidth of 20%. Meanwhile, the structure occupies a small area compared to conventional Butler matrices owe to its simplicity in topology.
Differences in the use of guideline-recommended therapies among 14 European countries in patients with acute coronary syndromes undergoing PCI

Aims: Despite common European Society of Cardiology recommendations, adherence to guideline therapy varies, both temporally and geographically. We sought to examine current differences in the use of guideline-recommended therapies among 14 European countries in patients with acute coronary syndrome (ACS) undergoing percutaneous coronary intervention (PCI). Methods and Results: Data were obtained from the Antiplatelet Therapy Observational Registry (APTOR), a non-interventional, prospective observational cohort study enrolling patients with ACS undergoing PCI. Medication data were captured through 1 year. The large majority of patients in the APTOR registry received statins at hospital discharge (89%) and remained on statins at 1 year (87%), a finding that was consistent across countries. Likewise, beta-blocker use was similar at discharge and 1 year (83 and 81%, respectively). There was large disparity in aspirin loading dose between countries, but the discharge maintenance dose was more consistent, with most receiving ≤100 mg (87%). While 95% of patients were discharged on dual antiplatelet therapy, 71% remained on both treatments by 1 year, with wide variation by country in 1-year use. Conclusions: These data from the APTOR study provide key information on current European ACS patient care management from hospitalization through 1 year. Even with European Society of Cardiology (ESC) guidelines, variations in practice patterns exist among ACS patients treated with PCI between the 14 European countries studied, including the use of proven therapies, as well as appropriate duration and dosing of antiplatelet regimens. Efforts are needed to further explain why such variation exists and to continue to improve adherence to ESC guidelines to improve patient care.
Tied Hidden Factors in Neural Networks for End-to-End Speaker Recognition

In this paper we propose a method to model speaker and session variability and able to generate likelihood ratios using neural networks in an end-to-end phrase dependent speaker verification system. As in Joint Factor Analysis, the model uses tied hidden variables to model speaker and session variability and a MAP adaptation of some of the parameters of the model. In the training procedure our method jointly estimates the network parameters and the values of the speaker and channel hidden variables. This is done in a two-step backpropagation algorithm, first the network weights and factor loading matrices are updated and then the hidden variables, whose gradients are calculated by aggregating the corresponding speaker or session frames, since these hidden variables are tied. The last layer of the network is defined as a linear regression probabilistic model whose inputs are the previous layer outputs. This choice has the advantage that it produces likelihoods and additionally it can be adapted during the enrolment using MAP without the need of a gradient optimization. The decisions are made based on the ratio of the output likelihoods of two neural network models, speaker adapted and universal background model. The method was evaluated on the RSR2015 database.
Research on the field current of a doubly salient electromagnetic generator with a half-controlled PWM rectifier

The switched reluctance generation (SRG) mode is widely applied in the doubly salient Electromagnetic machines (DSEMs). A novel half-controlled PWM rectifier (HCPWMR) for DSEM has a promising development prospect in DSEM. With a 12/8-pole DSEM prototype, the finite element method is used in the simulation. The simulation results of HCPWMR are compared with the SRG mode. The working principle of HCPWMR is analyzed. It is concluded that a DSEM with HCPWMR mode can improve the output power.
Construction of Synergistic Potential Functions on SO(3) With Application to Velocity-Free Hybrid Attitude Stabilization

We propose a systematic and comprehensive procedure for the construction of synergistic potential functions, which are instrumental in hybrid control design on SO(3). A new map, via angular warping on SO(3), is introduced to generate a central family of potential functions allowing an explicit determination of the critical points and the synergistic gap. Some optimization results on the synergistic gap are also provided. The proposed synergistic potential functions are used for the design of a global velocity-free hybrid attitude stabilization scheme relying solely on inertial vector measurements.
Computability Via The Lambda Calculus with Patterns

We introduce a concept of \textbf{computability relative to a structure}, which specifies which functions on the universe of a first-order structure are computable, using the lambda calculus with patterns. In doing so, we add a new congruence, $\equiv_\mathfrak{A}$, called \textbf{congruence in a structure} to identify two syntactically different terms which represent the same element of the universe. We then show that, with the introduction of the new congruence, all the basic properties of the original lambda calculus with patterns still hold, including the Church-Rosser theorem.
Harrison-Zel'dovich primordial spectrum is consistent with observations

Inflation predicts primordial scalar perturbations with a nearly scale-invariant spectrum and a spectral index approximately unity [the Harrison-Zel'dovich (HZ) spectrum]. The first important step for inflationary cosmology is to check the consistency of the HZ primordial spectrum with current observations. Recent analyses have claimed that a HZ primordial spectrum is excluded at more than 99% c.l. Here we show that the HZ spectrum is only marginally disfavored if one considers a more general reionization scenario. Data from the Planck mission will settle the issue.
In Vitro Determination of Generation Times for Entodinium exiguum, Ophryoscolex purkynjei and Eudiplodinium maggii

Abstract Most previously reported generation times for rumen ciliate protozoa are longer than would be required to prevent their being flushed out of the rumen. In an earlier study from this lab, using a sequential transfer procedure, generation times between 12 and 13 h were determined for both Epidinium caudatum and Entodinium caudatum. This would permit these species to be maintained in a rumen with a fluid volume turnover rate as rapid as twice a day. In this study, generation times were estimated for Entodinium exiguum (13.2 h), Eudiplodinium maggii (26.8 h), and Ophryoscolex purkynjei (29 h), by sequential transfer at both 12 and 24 h time periods. The generation time for E. exiguum is lower than reported for this and other Entodinium species as determined by logarithmic growth from a small inoculum, but similar to that obtained for Ent. caudatum using sequential transfer. Eudiplodinium maggii and O. purkynjei generation times are similar to previous estimates of 24- and 24–48 h, respectively. However, it was observed that after an adaptation period of 36 to 48 h (generally 3–4 transfers) cell concentrations decreased and generation times were markedly decreased, i.e. 12.2 h for Ent. exiguum, 15.0 h for E. maggii and 12.8 h for O. purkynjei. In a separate study, varying both the concentration of Epidinium and the quantity of substrate fed per cell had no effect on generation time.
Explaining consciousness : The hard problem

Part 1 The hard problem: facing up to the problem of consciousness, David J. Chalmers. Part 2 Deflationary perspectives: facing backwards on the problem of consciousness, Daniel C. Dennett the Hornswoggle problem, Patricia Smith Churchland function and phenomenology - closing the explanatory gap, Thomas W. Clark the why of consciousness - a non-issue for materialists, Valerie Gray Hardcastle there is no hard problem of consciousness, Kieron O'Hara and Tom Scutt should we expect to feel as if we understand consciousness? , Mark C. Price. Part 3 The explanatory gap: consciousness and space, Colin McGinn giving up on the hard problem of consciousness, Eugene O. Mills there are no easy problems of consciousness, E.J. Lowe the easy problems ain't so easy, David Hodgson facing ourselves - incorrigibility and the mind-body problem, Richard Warner the hardness of the hard problem, William S. Robinson. Part 4 Physics: the nonlocality of mind, C.J.S. Clarke conscious events as orchestrated space-time selections, Stuart R. Hameroff and Roger Penrose the hard problem - a quantum approach, Henry P. Stapp physics, machines and the hard problem, Douglas J. Bilodeau. Part 5 Neuroscience and cognitive science: why neuroscience may be able to explain consciousness, Francis Crick and Christof Koch understanding subjectivity - global workspace theory and the resurrection of the observing self, Bernard J. Baars the elements of consciousness and their neurodynamical correlates, Bruce MacLennan. Part 6 Rethinking nature: consciousness, information and panpsychism, William Seager rethinking nature - a hard problem within the hard problem, Gregg H. Rosenberg solutions to the hard problem of consciousness, Benjamin Libet turning "the hard problem" upside down and sideways, Piet Hut and Roger N. Shepard. Part 7 First-person perspectives: the relation of consciousness to the material world, Max Velmand neurophenomenology - a methodological remedy for the hard problem, Francisco J. Varela the hard problem - closing the empirical gap, Jonathan Shear. Part 8 Response: moving forward on the problem of consciousness, David J. Chalmers.
Development of an In Vitro Integration Assay for the Bacteroides Conjugative Transposon CTnDOT

ABSTRACT Integrated self-transmissible elements called conjugative transposons (CTns) are responsible for the transfer of antibiotic resistance genes in many different species of bacteria. One of the best characterized of these newly recognized elements is the Bacteroides CTn, CTnDOT. CTnDOT is thought to have a circular transfer intermediate that transfers to and integrates into the genome of the recipient cell. Previous investigations of the mechanism of CTnDOT integration have been hindered by the lack of an in vitro system for checking this model of integration and determining whether the CTnDOT integrase alone was sufficient to catalyze the integration reaction or whether host factors might be involved. We report here the development of an in vitro system in which a plasmid containing the joined ends of CTnDOT integrates into a plasmid carrying a CTnDOT target site. To develop this in vitro system, a His-tagged version of the integrase gene of CTnDOT was cloned and shown to be active in vivo. The protein produced by this construct was partially purified and then added to a reaction mixture that contained the joined ends of the circular form of CTnDOT and a plasmid carrying one of the CTnDOT target sites. Integration was demonstrated by using a fairly simple mixture of components, but integration was stimulated by a Bacteroides extract or by purified Escherichia coli integration host factor. The results of this study demonstrate both that the circular form of CTnDOT is the form that integrates into the target site and that host factors are involved in the integration process.
Robust blood vessel reconstruction for interactive medical simulations

Dans le cadre des simulations interactives, le manque de modeles geometriques reste une des limitations majeurs des simulateurs. Actuellement, les simulateurs commerciaux ne propose pas ou un tout cas, un nombre limite de cas. Un grand nombre des travaux abordent cependant ce sujet tout au long de ces deux dernieres decennies. Malgre une vaste litterature, les methodes ne sont pas adaptees a un contexte interactive, plus particulierement quand il s'agit des reseaux vasculaires. Dans cette these, nous considerons le probleme de la segmentation et la reconstruction des vaisseaux sanguins a partir de donnees patients en 3DRA. Pour ce faire, nous proposons deux nouveaux algorithmes, un pour la segmentation et un autre, pour la reconstruction. Tout d'abord, le reseau vasculaire est construit grâce a un algorithme de suivi de la ligne centrale des vaisseaux. De plus, notre procedure de suivi extrait des point a la surface des vaisseaux de maniere robuste. Deuxiemement, ces points sont estimes par une surface implicite (un blobby model) qui est raffinee de facon iterative. Les resultats du suivi et de la reconstruction sont produit a partir de donnees synthetiques et reelles. Lors de la simulation de la navigation d'outils interventionnels, notre modele geometrique remplit les exigences des simulations interactives : une prediction et detection rapide des collisions, l'acces a l'information topologique, une surface lisse et la mise a disposition de quantites differentielles pour la resolution des contacts.
Evaluation of an egg yolk enzyme-linked immunosorbent assay antibody test and its use to assess the prevalence of Mycoplasma gallisepticum infection in laying hens in Italy

Abstract The prevalence of Mycoplasma gallisepticum infection in commercial layers was established by the presence of antibodies in eggs. Saline-extracted yolks were used with a commercial enzyme-linked immunosorbent assay kit. For the prevalence study, yolks from 30 eggs were obtained from each of 66 flocks coming from 36 layer farms. The prevalence of egg antibodies to Mycoplasma gallisepticum was 33.3% in single-age farms and 77.8% in multi-age farms. In 27 flocks, antibody titers were compared with results obtained from blood samples taken in the same flock and in the same period and analyzed with the same kit. This study has confirmed that egg yolk enzyme-linked immunosorbent assay antibody test is a suitable and practical approach for assessing the flock prevalence of Mycoplasma gallisepticum infection in layer hens.
[Clinical research of chronic pelvic cavity pain syndrome treated with acupoint catgut embedding therapy].

OBJECTIVE To explore the clinical efficacy of acupoint catgut embedding therapy on chronic pelvic cavity pain syndrome differentiated as kidney deficiency and stagnation of damp heat, and explore the impacts on plasma P substance (SP), plasma beta-endorphin (β-EP). METHODS One hundred and eighty cases were randomly divided into a catgut embedding group (90 cases) and a western medication group (90 cases). In the western medication group, tamsulosin capsules 0. 2 mg were prescribed for oral administration, once a day; indometacin sustained release tablets, 25 mg, three times a day. Totally, the oral administration for 8 weeks was required. In the catgut embedding group, the acupoint catgut embedding therapy was applied to Qugu (CV 2), Shenshu (BL 23), Zhibian (BL 54), Huiyin (CV 1) and Sanyinjiao (SP 6), once every two weeks; the treatment of 4 weeks made one session, and two sessions were required. Before and after treatment, TCM symptom score, NIH-CPSI (the National Institute of Health Chronic Prostatitis Symptom Index) score, lecithin body numbers in prostatic fluid, score in SAS (self-rating anxiety scale), score in SDS (self-rating depression scale), the levels of SP and β-EP, etc. were observed in the two groups, and the clinical efficacy was assessed in the two groups. RESULTS (1) Ten cases were dropped in either group. The total effective rate was 91. 25% (73/80) in the catgut embedding group, higher than 78. 75% (63/80) in the western medication group (P<0. 05). (2) After treatment, TCM symptom score, total score in NIH-CPSI, pain score and the scores in SAS and SDS were all reduced as compared with those before treatment in the two groups (all P<0. 05). After treatment, TCM symptom score, total score and pain score in NIH-CPSI, and the scores in SAS and SDS in the catgut embedding group were both lower than those in the western medication group (all P<0. 05). (3) After treatment, the lecithin body numbers were both increased as compared with those before treatment in the two groups (both P<0. 05), and the result in the catgut embedding group was higher than that in the western medication group (P<0. 05). (4)After treatment, the SP level was lower than that before treatment in the two groups (both P<0. 05); the level of p-EP was increased as compared with that before treatment (both P<0. 05). The SP level in the catgut embedding group was lower than that in the western medication group (P<0. 05); the level of β-EP was higher than that in the western medication group (P<0. 05). CONCLUSION The acupoint catgut embedding therapy apparently relieves the clinical symptoms of chronic pelvic cavity pain syndrome differentiated as kidney deficiency and stagnation of damp heat as well as the condition of anxiety and depression, increases lecithin body numbers in prostatic fluid and β-EP level and reduces SP level.
DETECÇÃO, RECONHECIMENTO E GEORREFERENCIAMENTO DE LOGOTIPOS

Sistemas Moveis de Mapeamento (SMM) Terrestres coletam dados para o mapeamento de vias e para alimentacao de sistemas de informacoes geograficas. Eles integram sensores de imageamento digital, navegacao e posicionamento embarcados, com isto fazem a coleta de dados para mapeamento de ruas e avenidas das cidades e possibilita o georreferenciamento dessas informacoes com rapidez, eficiencia e economia de recursos. Uma das aplicacoes de um SMM e o georreferenciamento de pontos de interesse, como lojas, bancos etc. Porem, existem situacoes onde o trânsito de veiculos nao e permitido e o georreferenciamento tem que ser feito de forma manual. Este trabalho apresenta uma aplicacao para a deteccao e reconhecimento de logotipos, como o de grandes estabelecimentos comerciais, e georreferenciar os logotipos reconhecidos de maneira automatica utilizando os recursos de um dispositivo movel. Foram utilizados os algoritmos SIFT e RANSAC para a deteccao e reconhecimento do logotipo em uma imagem obtida com a câmara do dispositivo movel e para o georreferenciamento foi utilizado o GPS do proprio dispositivo movel. Os resultados dos experimentos mostram que e possivel o uso de um dispositivo movel para realizacao do georreferenciamento de pontos de interesse onde o SMM nao consegue trafegar.