Miracle-dz/UniFAR-FTUs huggingface dataset:
Gestion automatique de la cohérence de l'interface utilisateur avec l'état de l'application

Malgre les progres des outils de developpement d’interfaces utilisateur, il est difficile de garantir que les donnees exposees dans une interface restent coherentes avec les donnees de l’application. En effet, cette coherence est encore souvent geree a la main, et une erreur ou un oubli suffit a la compromettre. Nous proposons donc une solution pour automatiser la gestion de cette coherence. Cette solution est fondee sur l’integration des connaissances des concepteurs dans les outils de conception et d’execution des interfaces. Le concepteur peut alors deleguer cette activite a ces outils et consacrer plus de temps a travailler sur la qualite de l’interface.
The Load Sharing Classification of Spine Fractures

Study Design. A 3 to 4 year follow-up was performed on a consecutive series of 28 patients who had three-column spinal fractures surgically stabilized by short-segment instrumentation with first generation VSP (Steffee) screws and plates and autograft fusion. The follow-up revealed 10 patients with broken screws. Background Data. Retrospective examination of preoperative radiographs and computed tomographic axial and sagittal reconstruction images clearly demonstrated that the screw fractures all occurred in patients with a disproportionately greater amount of injury to the vertebral body. Results. A point system (the load sharing classification) was developed that grades: 1) the amount of damaged vertebral body, 2) the spread of the fragments in the fracture site, and 3) the amount of corrected traumatic kyphosis. Conclusions. This point system can be used preoperatively to: 1) predict screw breakage when short segment, posteriorly placed pedicle screw implants are being used, 2) describe any spinal injury for retrospective studies, or 3) select spinal fractures for anterior reconstruction with strut graft, short-segment-type reconstruction.
The Status and Problems of Meteorology.

Meteorology is one of those sciences which developed on the side of practical application for the welfare of mankind to a far greater extent than the development on the scientific or pure theory side of the problem. As a result, meteorologists responsible for the practical applications to human welfare are at a distinct disadvantage on account of the imperfect and incomplete theoretical development of the science. The United States was distinctly the pioneer among all nations in officially and formally creating a meteorological service. This was done by a joint resolution of Congress in 1870, which provided that advices, warnings and forecasts concerning future weather conditions should be prepared and issued for the benefit of agriculture, commerce and navigation.
Is there a role for ibandronate in the treatment of prostate cancer patients with bony metastases?

Purpose. Zoledronic acid is widely accepted as the treatment of choice for a number of cancers which metastasise to bone and is the only bisphosphonate licensed for the treatment of prostate cancer. However, drug related nephrotoxicity, although rare, does pose a significant complication when using zoledronic acid. Prostate cancer patients are generally older than 65 years of age and already exhibit some form of impaired renal function. Thus, for prostate cancer patients who are unable to tolerate zoledronic acid there is a need for an alternative bisphosphonate. One possibility could be ibandronate which is also a potent third generation, nitrogen-containing bisphosphonate and is an attractive choice for some patients due to the fact it is available in both intravenous and oral preparations. Methods. This article reviews the current published literature regarding the use of ibandronate in the treatment of metastatic prostate cancer. Results. Preliminary data emerging from small Phase II studies suggests ibandronate may provide a therapeutic alternative for the treatment of metastatic prostate cancer when zoledronic acid is deemed unsuitable. Conclusion. Further in vivo research with ibandronate in prostate cancer is urgently needed in order to elucidate whether this bisphosphonate may play a role in the treatment and palliative management of metastatic prostate cancer.
Encephalopathy and bilateral cataract in a boy with an interstitial deletion of Xp22 comprising the CDKL5 and NHS genes

We describe a male patient with a deletion at Xp22, detected by high resolution X‐array CGH. The clinical phenotype present in this infant boy, consists of severe encephalopathy, congenital cataracts and tetralogy of Fallot and can be attributed to the deletion of the genes within the interval. Among these deleted genes are the gene for Nance‐Horan syndrome and the cyclin‐dependent kinase‐like 5 gene (CDKL5), responsible for the early seizure variant of Rett syndrome. This is the first description of a male patient with a deletion of these genes, showing the involvement of CDKL5 in severe epileptic encephalopathy in males. Moreover it illustrates the added value of high resolution array‐CGH in molecular diagnosis of mental retardation‐multiple congenital anomaly cases. © 2007 Wiley‐Liss, Inc.
Desarrollo de patrones de diseño de software para la implementación de aplicaciones web accesibles para usuarios con ceguera legal, daltonismo dicromático y visión borrosa

El presente proyecto es una investigacion aplicada y esta orientado a resolver el problema de acceso a aplicaciones web para usuarios con discapacidades visuales. En este caso se consideran tres tipos de discapacidades visuales: ceguera, vision borrosa y daltonismo dicromatico. El desarrollo del proyecto se realiza bajo el marco de desarrollo SCRUM y cuenta con tres iteraciones. Inicialmente se realiza un proceso de investigacion y analisis sobre accesibilidad web, para esto tomamos como referencia principal las pautas de accesibilidad para contenido web (WCAG) y las barreras existentes en los usuarios con las discapacidades mencionadas. Posteriormente, se realiza un mapeo entre las barreras estudiadas y los criterios de exito correspondientes al analisis realizado a las pautas WCAG, en el cual se basa el desarrollo de los patrones de diseno planteados. Finalmente, se desarrolla un prototipo con los patrones de diseno resultantes y se evalua su validez, a traves de herramientas de evaluacion de accesibilidad y simuladores de discapacidades visuales. Adicionalmente, se considera el tema de la mejora en la usabilidad existente en los sistemas que implementan los patrones de diseno para la accesibilidad en aplicativos web y la inclusion social de usuarios discapacitados en la web.
Mesure des anisotropies de polarisation du fond diffus cosmologique avec l'interféromètre bolométrique QUBIC

La quete des modes B de polarisation du fond diffus cosmologique est aujourd'hui un des enjeux scientifiques majeurs de la cosmologie observationnelle. Observer les modes B constituerait une sonde directe de la periode d'inflation. La detection de ce signal, attendu a un niveau tres faible, represente un defi technologique. Il necessite non seulement une sensibilite importante, mais aussi une soustraction des signaux d'avant-plans et un tres bon controle des effets systematiques. Dans ce but, un important travail experimental est en cours. L'instrument QUBIC est une des experiences dediees a la detection des modes B. Il est base sur une technologie novatrice : l'interferometrie bolometrique, qui permet de reunir les avantages d'un imageur en terme de sensibilite et ceux d'un interferometre en terme de controle des effets systematiques. Dans ce manuscrit, nous expliquerons le concept de l'instrument et nous decrirons ses composantes. Nous nous concentrerons sur le combineur optique de l'instrument dont nous expliciterons le role et nous presenterons une methode developpee afin d'etudier l'impact des aberrations optiques et des desalignements des composantes du combineur sur la sensibilite globale de l'instrument. Nous introduirons une procedure de calibration specifique a l'interferometrie bolometrique basee sur la redondance des lignes de base : la self-calibration. Cette methode permet de calibrer les parametres qui caracterisent completement l'instrument simultanement et pour chaque canal cornet-bolometre-pointage. Finalement, nous presenterons les dernieres avancees des simulations sur la fabrication des cartes avec l'instrument QUBIC et sur l'estimation des spectres de puissance.
Sodium‐ and calcium‐dependent conductances of neurones in the zebra finch hyperstriatum ventrale pars caudale in vitro.

1. Intracellular recordings were made from zebra finch hyperstriatum ventrale pars caudale (HVc) neurones in in vitro slice preparations. 2. Small depolarizing current pulses elicited tonic firing while relatively large current pulses elicited an initial high‐frequency burst followed by tonic firing. Time‐dependent and fast‐activated inward rectification were observed when a hyperpolarizing current pulse was applied. 3. Fast action potentials were abolished by tetrodotoxin (TTX, 0.5 micrograms/ml). When Co2+ (2.2‐2.4 mM) was added to a low‐Ca2+ (0‐0.2 mM) solution, a plateau potential was elicited by a small depolarizing current pulse. These plateau potentials outlasted the applied current pulse and were abolished by TTX (0.5 micrograms/ml). 4. A long‐lasting after‐hyperpolarization (AHP), with a duration of tens of seconds, followed long trains of repetitive firing in control solution. Even in a low‐Ca2+ (0‐0.2 mM) solution containing Co2+ (2.2‐2.4 mM) the long‐lasting AHPs followed plateau potentials and were associated with an increase in input conductance. The long‐lasting AHP, as well as the plateau potential, was blocked by TTX (0.5 micrograms/ml). 5. While TTX abolished fast action potentials, two types of active responses with different thresholds were elicited by depolarizing current in the presence of TTX (0.5 micrograms/ml), particularly when tetraethylammonium (5 mM) was also added to the solution. Both the low‐threshold spike (LTS) and the high‐threshold spike (HTS) were abolished by Co2+ (2.2‐2.3 mM). 6. When Ba2+ (0.5‐1 mM) was added to a solution containing TTX (0.5 micrograms/ml), an LTS elicited by a depolarizing current pulse became larger in amplitude. At membrane potentials more positive than ‐55 mV, an HTS, but not the LTS, was elicited. 7. These results suggest that HVc neurones have three Na(+)‐dependent conductances: a fast Na+ conductance responsible for the fast spike, a persistent Na+ conductance responsible for the plateau potential, and a Na(+)‐activated K+ conductance responsible for the long‐lasting AHP; and that they have two Ca(2+)‐dependent conductances: a low‐threshold Ca2+ conductance responsible for the LTS, and a high‐threshold Ca2+ conductance responsible for the HTS.
Joint Embedding Models for Textual and Social Analysis

In online social networks, users openly interact, share content, and endorse each other. Although the data is interconnected, previous research has primarily focused on modeling the social network behavior separately from the textual content. Here we model the data in a holistic way, taking into account connections between social behavior and content. Speciﬁcally, we deﬁne multiple decision tasks over the relationships be-tween users and the content generated by them. We show, on a real world dataset, that a learning a joint embedding (over user characteristics and language) and using joint prediction (based on intra-and inter-task constraints) produces consistent gains over (1) learning specialized embed-dings, and (2) predicting locally w.r. t. a single task, with or without constraints.
Transformation of ovaries to testes in thiourea treated frog larvae.

1. The tadpoles of Rhacophorus schlegelli were treated with 0.025 per cent thiourea solution for various periods of time, and the effect of thiourea on sex differentiation was studied.2. In the treated tadpoles killed 6 weeks after the beginning of the treatment, and 3 weeks thereafter, sex ratio was observed as 1:1. In the treated tadpoles, however, fixed 12 weeks after the beginning of the treatment, male individuals remarkably increased in number. Such data are implicable that the transformation of the ovaries to the testes took place in the treated tadpoles.
FEASIBILITY OF XBOX KINECTTM TRAINING FOR STROKE REHABILITATION : A SINGLE-BLIND RANDOMIZED CONTROLLED PILOT STUDY

Objective: To evaluate the feasibility and safety of Xbox KinectTM training of the upper extremity in subacute stroke rehabilitation. Design: A single-blind, randomized controlled, pilot study. Patients: Twenty consecutive patients with stroke. Methods: Participants were allocated randomly to 2 groups: the control group received conventional therapy and the experimental group received additional Xbox KinectTM training for 20 sessions. Feasibility and safety were evaluated by treatment attendance rate, patient feedback, proportion of adverse events, and Borg Scale (Borg CR10). Results: Twenty of 131 screened individuals were recruited. Data for 19 patients (73.7% male; mean age 62 years (range 38–79)) were analysed. Treatment attendance ratio for total training time and training time/session was 87% and 90%, respectively. All participants reported that training with the Xbox KinectTM was enjoyable and beneficial. No serious adverse events occurred. Fatigue was the most common adverse event. The mean Borg CR10 score was 7.80, reflecting a very high level of fatigue. The experimental group showed significantly greater improvement than the control group in the Box and Blocks Test, Wolf Motor Function Test and Brunnstrom motor recovery stages. Conclusion: Xbox KinectTM training appears feasible and safe in upper extremity rehabilitation after stroke. It could enhance motor and functional recovery of the affected upper extremity as an adjunctive method.
A Homological Characterization of Q-Matrices

A real square matrix M is said to be a Q-matrix if the linear complementarity problem (q, M) has a solution for every vector q. There is, as yet, no characterization of Q-matrices which makes it easy to determine whether or not a given matrix is Q. Ideas from topology, in particular degreetheory, have previously been used to obtain sufficient conditions for when a matrix is Q. In this paper we will apply some other ideas from topology to give a homological characterization of Q-matrices. Continuing to borrow from topology, we define the nerve of a matrix which, along with our characterization, leads to an algorithm for checking whether or not a matrix is Q. This algorithm has smaller bounds on its worst-case time complexity than previous methods.
What makes a good reviewer of manuscripts?

According to Drummond Rennie, deputy editor of JAMA , peer review exists to keep egg off authors' faces. Others might say it exists to shield busy readers from wasting their time reading inferior papers or to protect patients from the damaging effects of unreliable research. All may be right, although little evidence exists on how well peer review achieves any of these objectives. One thing we do know is that it helps editors to make difficult decisions about which manuscripts to publish and in what form. Here at the BMJ we are keen to recruit good new reviewers to add to the pool of over of 4000 who currently advise us. In some newer research subjects such as health economics and qualitative research our need for more advisors is particularly great. So what makes a good reviewer, and might you be that person? Good reviewing requires idealism. It is often a thankless task which takes time and effort to do …
Exercise testing: do frequent premature ventricular depolarizations represent a new criterion of positivity?

Exercise testing is widely used to detect coronary heart disease in patients with suspected ischaemic cardiomyopathy, but also in apparently healthy persons, for example before the initiation of sport activity. Exercise testing is also used to assess shortand long-term prognosis. The only current criterion for positivity of the exercise test is an ischaemic ST-segment response to exercise, that has been proven to be a powerful predictor of major coronary events, including death. In contrast, the occurrence of premature ventricular depolarizations during exercise has been generally considered as noninformative. The long-term prognostic implications of exercise-induced premature ventricular depolarizations have been debated in patients with known or suspected cardiovascular disease. In apparently healthy subjects, the occurrence of premature ventricular depolarizations during exercise was not associated with an increase in cardiovascular mortality and was reported to be a normal response of a normal heart during exercise.
Comparison of two techniques using hyaluronic acid to correct the tear trough deformity.

BACKGROUND Hyaluronic acid (HA) can be used to correct volume loss associated with periorbital aging. OBJECTIVE To report and compare the efficacy and safety of HA used to treat tear trough deformities with two different injection techniques. MATERIALS AND METHODS This is a retrospective, single-center study of 81 patients comparing the two injection techniques used for the treatment of tear trough deformities from 2003 to 2011. Hyaluronic acid was administered either in a single depot in the nasojugal groove and massaged into position or in multiple small aliquots along the inferior orbital rim and massaged into position. Patient satisfaction and the incidence of adverse reactions were evaluated. RESULTS Of the 194 patients treated during the study period, 81 (42%) were successfully contacted. The overall patient satisfaction with the correction was similar for both techniques. Two patients treated with a single depot of HA were later given hyaluronidase, but otherwise, there was no statistically significant difference in the incidence and severity of side effects. CONCLUSIONS We describe and compare an alternative technique for the correction of tear trough deformity using a single deposition of HA in the nasojugal groove with favorable outcomes.
Optimal microgrid component sizing using mixed integer linear programming

This paper proposes a novel method for determining the optimal number of renewable energy and storage components in a microgrid given typical load profiles, local pricing regime, and capital costs. Case studies using solar panels and advanced lead acid battery modules are performed under residential, commercial, and off-grid sites. Simple mixed integer linear programming (MILP) optimization problems are formulated, presented, and solved in each scenario where economic analysis highlights the utility of the proposed approach.
Mars Surface Diversity as Revealed by the OMEGA/Mars Express Observations

The Observatoire pour la Minéralogie, l'Eau, les Glaces, et l'Activité (OMEGA) investigation, on board the European Space Agency Mars Express mission, is mapping the surface composition of Mars at a 0.3- to 5-kilometer resolution by means of visible–near-infrared hyperspectral reflectance imagery. The data acquired during the first 9 months of the mission already reveal a diverse and complex surface mineralogy, offering key insights into the evolution of Mars. OMEGA has identified and mapped mafic iron-bearing silicates of both the northern and southern crust, localized concentrations of hydrated phyllosilicates and sulfates but no carbonates, and ices and frosts with a water-ice composition of the north polar perennial cap, as for the south cap, covered by a thin carbon dioxide–ice veneer.
An efficient blind estimator of carrier frequency offset for MIMO-OFDM systems

In this paper, we propose a new efficient blind carrier frequency offset (CFO) estimator for multi-input multi-output orthogonal frequency division multiplexing (MIMO-OFDM) systems. A cost function is carefully designed which can be exactly expressed as a superposition of very few harmonically related cosine waves even with the effect of noise. By using this property, the minimization of the designed cost function can be solved in a quite computationally efficient manner without any exhausted grid searching procedure. We provide numerical results to corroborate the proposed studies. It is seen that the proposed estimator can achieve comparable estimation performance with existing competitors with substantially reduced computational burden.
Aripiprazole-induced gray matter growth in a patient with major depressive disorder with panic disorder.

To the Editor: Aripiprazole, a D2 partial agonist antipsychotic, was recently approved by the US Food and Drug Administration for major depressive disorder (MDD) add-on therapy. Its effects are believed to be related to its 5-HT1A partial agonist, 5-HT2C antagonist, and 5-HT2A antagonist properties. Here, I present a case of MDD with panic disorder in which improvement of symptoms was seen after 6 weeks of aripiprazole treatment. Magnetic resonance imaging (MRI) structural analysis also revealed gray matter growth and brain volume increase within 6 weeks.
Prophylactic Pharmacologic Neuroprotection against Focal Cerebral Ischemia

The crucial importance of the earliest possible treatment of ischemic stroke has been stressed. This leads to the concept of prophylactic neuroprotection: long-term administration of neuroprotective agents to people at risk for stroke, so that the effects of focal ischemia are countered from the moment of onset of vascular occlusion. We at NYU (and researchers at several other centers) have been testing possible neuroprotective agents in the cardiopulmonary bypass setting. We believe that by such means we can rapidly and economically screen agents and dose schedules for efficacy. We believe that an agent demonstrably reducing mental impairment after cardiopulmonary bypass suggests that testing such an agent in a prospective manner in people at risk for stroke would be productive, and we propose a sequence for such trials: people during and in the first month after carotid endarterectomy, then postcarotid endarterectomy patients during long-term follow-up, and finally populations at risk for spontaneous stroke in the nonvascular surgery setting.
Cooperative conveyance by vehicle swarms with dynamic network topology

This paper deals with cooperative conveyance control by vehicle swarms with dynamic network topology. First, we introduce a dynamic network topology that depends on relative distance between the vehicles. Secondly, we propose a novel conveyance strategy based on consensus seeking with dynamic network topology. The proposed strategy needs at least one vehicle which can acquire the information of the target-object and network topology among vehicles is time-varying but always connected. Furthermore the strategy is composed of Surround and. Transport mode. To analyze the convergence of conveyance with dynamic network topology, algebraic graph theory and matrix theory are utilized. Finally, numerical simulation results demonstrate the effectiveness of the proposed method.
Design of an efficient fuel cell vehicle drivetrain, featuring a novel boost converter

Most automobile manufacturers have invested in the development of fuel cell vehicles. The motivation behind this has been the escalating concerns about energy security, dwindling fossil fuel reserves, and adverse environmental effects of operating internal combustion engine vehicles. The cost of fuel cell vehicles has to be dramatically reduced and many technical problems in hydrogen storage, fuel cell reliability, and power management have to be solved before fuel cell vehicles can be commercially available. In this paper, a design process for developing a highly efficient power management system for a cell-powered small SUV is documented. An analytic approach is used to select the optimal energy storage system for a fuel cell SUV. Also, a novel high-efficiency DC/DC converter for the fuel cell vehicle is introduced. Simulation and experimental results are presented to prove the concept.