Miracle-dz/UniFAR-FTUs huggingface dataset:
Efficient SAT-based techniques for Design of Experiments by using static variable ordering

Design of Experiments (DOE) is an important problem for ensuring the quality of EDA with applications to the evaluation of techniques and tools in all sub-fields of EDA, e.g., yield and variability optimization, error correcting codes, and software testing. DOE can be formulated as a Quasigroup Completion Problem (QCP). We propose and compare 23 heuristics for efficient solving of QCPs by translation to Boolean Satisfiability (SAT) and exploiting static Boolean variable ordering to solve the resulting SAT formulas. This comparison is based on both satisfiable and unsatisfiable instances with varying numbers of empty cells. The translation to SAT is done with the minimal (2-D) and extended (3-D) encodings by Kautz et al. The contributions of the paper include: 1) proposal and comparison of the 23 heuristics; 2) study of the benefits from the 3-D vs. the 2-D encoding, and from local symmetry-breaking constraints, given the static variable ordering heuristics; and 3) identification of the most efficient single heuristic, and portfolios of heuristics that can be run in parallel on multiple cores in a modern CPU. Compared to the default dynamic variable ordering heuristic in the SAT solver, when using static variable-ordering heuristics we achieve an average speedup of 2.8× with the single best heuristic, 7.2× with the best portfolio of two parallel heuristics, 13.6× with the best portfolio of four parallel heuristics, and speedups on individual benchmarks of up to 3 orders of magnitude.
Accessory Ossification Patterns and Injuries of the Malleoli

Summary: An accessory, distal focus of epiphyseal ossification may develop in either malleolus. These foci are not anatomically separate entities, even though they appear to be radiographically. They usually are asymptomatic. However, they may be injured, either acutely or chronically. The diagnosis of such injury by conventional radiography is limited. Bone scintigraphy may be positive if there is a stress fracture. The fracture pattern, a type 7 growth mechanism injury, extends through a segment of the malleolus. An ossicle may also be avulsed as a ligament failure analogue, similar to a sleeve fracture of the patella. This is more common in the lateral than in the medial malleolus. These avulsions, if not adequately diagnosed and treated, may progress to delayed union, nonunion, or a chronically painful ankle.
Adjuvante Chemotherapie im UICC-Stadium II und III bei Patienten mit Lynch-Syndrom (HNPCC)

Ziel dieser Arbeit war die Untersuchung der Effektivitat einer adjuvanten Chemotherapie bei Patienten mit HNPCC. Untersucht wurden 452 Patienten mit Lynch-Syndrom (UICC-Stadium II: 61,5%, Stadium III: 38,5%). Endpunkte: Gesamtuberleben (OS), kolonkarzinomspezifisches Uberleben (KRK-S) und krankheitsfreies Uberleben (DFS). Ergebnis: UICC-Stadium II: In allen drei Endpunkten kein signifikanter Unterschied zwischen adjuvant chemotherapierter und ausschlieslich operierter Patientengruppe. Stadium IIB: Trend zum ungunstigeren Verlauf fur die mit 5-FU behandelten Patienten (n=19), im Gegensatz zu der ausschlieslich operierten Patientengruppe (n=12) fur die Endpunkte OS und KRK-S. Daruber hinaus kein signifikanter Unterschied hinsichtlich der applizierten Chemotherapie (5-FU vs. FOLFOX). UICC-Stadium III: Signifikant gunstigerer Verlauf fur die chemotherapierten Patienten fur OS und KRK-S und im Trend fur DFS. Keine prognostischen Unterschiede zwischen 5-FU-basierter und FOLFOX-Chemotherapie.
Radiation and Mass Transfer Effects on the Magnetohydrodynamic Unsteady Flow Induced by a Stretching Sheet

This investigation deals with the influence of radiation on magnetohydrodynamic (MHD) and mass transfer flow over a porous stretching sheet. Attention has been particularly focused to the unsteadiness. The arising problems of velocity, temperature, and concentration fields are solved by a powerful analytic approach, namely, the homotopy analysis method (HAM). Velocity, temperature, and concentration fields are sketched for various embedded parameters and interpreted. Computations of skin friction coefficients, local Nusselt number, and mass transfer are developed and examined.
Is Occupational Self-Efficacy A Determinant of Organisational Commitment? ACase Study of Ajaokuta Steel Company Workers

This study examined occupational self-efficacy as antecedents of organizational commitment among Ajaokuta Steel Company workers in Ajaokuta, Kogi State were investigated in this study. One hundred and eighty-nine (189) participants were used in the study. The instruments used to collect data for the study were Occupational Self-Efficacy Scale (OSES) (Pethe, Chaudhari & Dhar, 1999) and Occupational Commitment Scale (OCS) (Meyer and Allen, 1990). A cross sectional design was adopted for the study. Regression analysis was used to analyze the data and statistical package for the Social Sciences (SPSS) version 20 was employed in the data analysis. The finding indicated that occupational self-efficacy was a significant determinant of organisational commitment. This implies that an employee who has high self-efficacy is likely to have a high level of commitment towards his/her organization. It is recommended that organizations should give attention to workers occupational self-efficacy.
A new 7th-order log-domain elliptic video filter using E-cell circuits approach

This study proposes a new current-mode class-A log-domain elliptic filter for video frequency applications. The design is based on the topological simulation of the passive prototypes by using E-cells. The proposed filter has 3.42 MHz cut-off frequency with maximum 0.119 dB passband ripple and attenuation greater than 40 dB at 4.78 MHz. Only BJTs and grounded capacitors were implemented and operated with the symmetrical power supply of ±1.5 V. The cut-off frequency of the filter can be electronically tuned by changing external currents. SPICE simulations are given to confirm the theoretical design results. The proposed filter is simulated by using both idealized BJT models and AT&T CBIC-T type transistors.
Surrogate models for design and study of underground mine ventilation

Ventilation is vital for the production in an underground mine. Therefore, it is important to have efficient and accurate design tools in order to ensure and optimize the airflows in the mine. There are several commercial software for airflow simulation based on first principles. However, the computational cost of simulation together with integrational obstacles when connecting simulation to control strategies limits the benefit of these tools. In this paper an approach utilizing surrogate models as a complementary design tool is presented. It is shown that using surrogate models one can with rather low computational expense evaluate and benchmark different control strategies. It is also shown that the models can be used for identifying possible bottlenecks in the system in advance. Moreover, the use of surrogate models transfer the simulation into a development-friendly environment (such as Matlab). A test case is used based on a real underground mine ventilation design. Two types of surrogate models are fitted to process data; multiple least squares regression and a Gaussian process model. Sensitivity analysis on the surrogate shows the potential of using surrogate models for identifying bottlenecks. Furthermore, the surrogate is used to benchmark two different control strategies for mine ventilation.
Study of channel capacity for hybrid decode-amplify-forward (HDAF) scheme in distributed Alamouti coded cooperative network

In this paper, average channel capacity analysis of a SNR based hybrid decode amplify forward (HDAF) scheme in a distributed Alamouti coded cooperative network (one source, two relays and one destination) is studied. Considering a flat Rayleigh fading channel environment, the MATLAB simulation and analysis are carried out. In the cooperative phase, two relays are employed, where each one of them (relays) transmitting each row Alamouti code. Here SNR threshold selection depends on the target rate information. The closed form expression for average channel capacity with tight upper bound is derived and compared with the simulation done in MATLAB environment. It is observed that the proposed hybrid relaying technique outperforms the individual AF and DF ones in the distributed Alamouti coded cooperative network.
Introns Regulate the Rate of Unstable mRNA Decay*

The expression of neutrophil-specific chemokines is known to be regulated via adenine-uridine-rich sequence elements in the 3′-untranslated regions of their mRNAs that confer a high degree of mRNA instability. Although the presence of intron sequences in eukaryotic genes is known to enhance expression, the effect of intron content on the rate of mature, translatable mRNA degradation has not been demonstrated. In this study, we have determined the effects of intron content on the rate of decay of the chemokine CXCL1 (KC) mRNA. The half-life of KC mRNA was markedly prolonged when the primary transcript was obtained from a genomic clone containing three introns as compared with the half-life observed with sequence-identical KC mRNA derived from an intron-free cDNA construct. The effect of intron content was achieved with a single intron, and neither the intron sequences nor the intron positions were critical determinants of the outcome. The intron content produced the same effect when expressed in multiple cell types and when the sequences were stably integrated into the genome. The differential decay rates were not a consequence of differential nuclear to cytoplasmic transport. The intron content of the primary transcript did not influence the rate of KC mRNA translation and did not modulate the ability of interleukin-1 stimulation to stabilize the otherwise unstable mRNA. The intron effect on mRNA decay was seen with mRNAs containing two distinct instability determinants. These findings document that intron content marks the mRNA sequence leading to enhanced stability that is particularly evident in short lived ARE-containing mRNAs.
La ville en mouvements. Circulations, échanges commerciaux et matérialité de la ville

Dans ce travail j'ai cherche a mieux apprehender les effets des circulations sur le tissu urbain parisien entre le XVeme et le premier tiers du XIXeme siecle, et en particulier a comprendre dans quelle mesure celui-ci evolue en fonction des interactions qui s’etablissent a plusieurs echelles entre la materialite urbaine et les potentialites d’echanges. La cartographie de plusieurs corpus de donnees planimetriques et ecrites m'a permis de construire mes propres donnees geohistoriques, tandis que leur integration dans un SIG en a rendu possible la comparaison. J'ai ainsi pu mettre en evidence des processus differents selon l’echelle a laquelle j'etudiais les formes et, a chaque fois, souligner le caractere particulier de l’evolution de la materialite urbaine a proximite des zones de flux : forte densite du parcellaire et du bâti, reconfigurations frequentes des circulations intra-ilot, fonction commerciale preponderante et rythme d’evolution plus rapide. Ces particularites sont la consequence des interactions systemiques qui s’etablissent entre le bâti, la voie et le flux qu’elle supporte, et qui aboutissent a la densification du tissu urbain et a la resilience de la voie. L’attractivite du flux de circulation pour les activites commerciales est selon moi un des facteurs principaux de cette systemique, et, parce que le mode de fonctionnement des echanges commerciaux n’evolue que tres peu entre le XVeme et le XIXeme siecle a Paris, elle est aussi un des facteurs importants de la stabilite morphologique du tissu urbain parisien durant cette periode.
Uniplanar Log-Periodic Slot Antenna Fed by a CPW for UWB Applications

A coplanar waveguide-fed uniplanar log-periodic slot antenna suitable for use in the ultra-wideband radio systems is presented. The in-band impedances and radiation performances are quite stable and satisfactory. A rejected narrow frequency band is further obtained within the wide bandwidth by inserting a pair of metallic stubs into two vertical slots of the proposed antenna. Experimental results reveal that the stub pair provides significant attenuation in the desired notched band but has little effect on the antenna operation outside of the notch. By means of a normalized antenna transfer function, the time-domain characteristics of the proposed antennas are also investigated. The transient responses show that the designs with and without the notched band are both acceptable for the pulsed systems
Increasing incidence of ventricular septal defects caused by improved detection rate

Meberg A, Otterstad JE, Frøland G, Sørland S, Nitter‐Hauge S. Increasing incidence of ventricular septal defects caused by improved detection rate. Acta Pzdiatr 1994;83:653–7. Stockholm. ISSN 0803–5253
Disturbance observer based robust finite control set predictive torque control for induction motor systems

A disturbance observer (DOB) based finite control set predictive torque control (PTC) scheme for induction motors subject to lumped disturbances is proposed in this paper. To control an induction motor using the inverter switching character directly, the finite control set predictive torque control (PTC) method is studied which evaluates the electromagnetic torque and stator fiux in the object function. The optimized switching vector is choosed to control the insulated gate bipolar transistors (IGBTs), it also can minimize the error between reference signals and predicted values. Similar to direct torque control (DTC), PTC method does not need a modulator and an internal current PI controller, but the speed loop also adopts the PI controller. For improving the disturbance reject ability and simplifying the PTC control structure, this work introduces a novel PTC method based on DOB technique which does not need the PI speed controller.
Ultrabroadband Nonlinear Optics in Dispersion Engineered Periodically Poled Lithium Niobate Waveguides

We experimentally demonstrate the first generation of dispersion-engineered periodically poled lithium niobate (PPLN) waveguides. These waveguides achieve ultra-broadband second-harmonic generation (SHG) and multi-octave supercontinuum generation (SCG) with record-low pulse energies. © 2019 The Author(s)
Mixed Reality Environments as Ecologies for Cross-Device Interaction

In Mixed Reality (MR) environments, virtual objects can be represented as if they were situated in the viewer’s physical environment. While the potentials of MR have been recognized and extensively researched for single user scenarios (e.g., in perceptual studies), MR for collaborative scenarios has not been widely investigated. In this paper we propose MR environments as ecologies for collaborative, crossdevice interaction. We provide a scenario that illustrates its potentials and discuss possible research directions. We then present intermediate results of our research. Author
Effect of Acute Sleep Deprivation on Ischemia-induced Ventricular Arrhythmia in the Isolated Rat Heart

Background and Objective : Sleep deprivation (SD) is caused by a host of reasons and has numerous consequences on cardiac system. In this study, we aimed to assess the preconditioning effects of acute SD on ischemia (IS)-induced ventricular arrhythmias in isolated rat hearts. Materials and Methods : Male Wistar rats randomly were placed into the four groups: IS-group, acute SD group, control group for SD, and sympathectomy group (SYM). SD paradigm in SD was performed 24 hours before IS induction. In SYM groups, the animals were chemically sympathectomized 24 hours before SD. The rat hearts were isolated and perfused with Krebs buffer solution by Langendorff method and subjected to 30 minutes regional IS. Throughout the experiment, the hearts were allowed to beat spontaneously; thereafter, heart rate (HR) and ventricular arrhythmias were measured. Results : No differences were found between the experimental groups for HR at baseline and IS period. As compared to IS group, SD animals showed less incidence of ventricular tachycardia and severity of arrhythmias (P < 0.050). Furthermore, significantly the number of ventricular ectopic beats episodes/min, bigeminy/min,trigeminy/min, and couple/min were less than IS group (P < 0.050). Moreover, sympathectomy could reverse results to IS group level as compared to sleep deprived animals (P < 0.050). Conclusion : It is concluded that induction of acute SD before IS could reduce ventricular arrhythmias, and chemical sympathectomy removed this cardioprotection.
Un Web sémantique de formation par questionnement

Nous presentons dans cet article un EIAH concu et developpe selon des methodes et techniques d'EGC pour le web semantique. Nous avons adopte une approche d'acquisition et de gestion des connaissances pour expliciter la strategie pedagogique d'un enseignant, acquerir des ressources pedagogiques a partir d'un document de cours initial de l'enseignant, et organiser ces ressources. L'environnement d'apprentissage est concu comme une memoire de formation et le systeme que nous avons developpe constitue un web semantique dit « de formation ». La visualisation des ressources et la navigation de l'apprenant sur ce reseau peut alors etre basee sur l'utilisation d'un moteur de recherche semantique.
Multi-AGVs Collision-Avoidance and Deadlock-Control for Item-To-Human Automated Warehouse

Automated Guided Vehicle System (AGVS) is widely applied in many automated manufacturing systems, especially in the e-commerce warehouses recently. When multiple AGVs are running in the limited spaces, lots of issues involved in the traffic management, such as collision and deadlock, need to be well addressed. Based on the digraph model, this paper proposed some effective rules, and applied online control strategies to achieve these goals with both unidirectional and bidirectional paths. Simulations based on practical settings are carried out, and the results verified the effectiveness of rules and strategies.
Conocimientos, actitudes y prácticas del empleo de agentes de desinfección de superficies en estudiantes de la Facultad de Odontología de la Universidad de Cuenca en el año 2016

Las clinicas de una Facultad de Odontologia constituyen un ambiente de trabajo donde existe un alto riesgo de contaminacion cruzada. La desinfeccion de las superficies de trabajo representa un paso importante en el contexto del control y prevencion de enfermedades en la clinica odontologica, en la cual frecuentemente ocurre contacto con saliva y/o sangre del paciente; estos fluidos pueden por ende estar presentes en las diferentes superficies de trabajo del area de atencion al paciente. No obstante, en muchas ocasiones las normas de desinfeccion de estas superficies se desconocen, no se practican o se las aplica de manera deficiente. A traves de una encuesta realizada a estudiantes de pregrado de cuarto y quinto ano y de postgrado de la Facultad de Odontologia de la Universidad de Cuenca en el ano 2016, se determino que en general la poblacion estudiada presenta un nivel regular de conocimientos y actitudes, y un nivel deficiente de practicas sobre el empleo de agentes de desinfeccion de superficies. Ningun estudiante conoce el mecanismo de accion del agente desinfectante que dice emplear y un 3% de la poblacion no desinfecta su sillon dental, en tanto que el 99% no conoce la composicion del agente desinfectante que utiliza, y solo el 9% posee un nivel de practica adecuado respecto al empleo de agentes de desinfeccion de superficies
Microbial interactions and implications for oil biodegradation 2 process in mangrove sediments 3

Mangrove sediment harbors a unique microbiome and is a hospitable environment for the growth of a diverse group of bacteria capable of oil biodegradation. Our goal was to understand bacterial community dynamics from mangrove sediments under heavy-oil contamination stress, and to look for common patterns that may be associated with oil biodegradation is such environments. We tested the hypothesis of a two-phase pattern of petroleum biodegradation, already reported in the literature, where key events in the degradation process take place in the first three weeks after the contamination. Two sample sites with different oil pollution history were compared through T-RFLP analyses and using a pragmatic approach based on the Microbial Resource Management Framework. Our data corroborated the already reported two-phase pattern of oil biodegradation, although the original proposed explanation is questioned, opening up the possibility to consider other plausible hypothesis of microbial interactions as the main drivers of this pattern.
Mikrodurchblutung der Finger bei Raynaud-Syndrom: 99mTc-DTPA-Bildgebung

Ziel: Wir analysierten die Durchblutung von Patienten mit primarem und sekundarem Raynaud-Syndrom. Patienten, Methode: Wir untersuchten die Hande von 106 Patienten, die sich mit den klassischen Symptomen des Raynaud-Syndroms (primare Form 47, sekundare Form 59) vorstellten, mittels an unserer nuklearmedizinischen Abteilung entwickelten Perfusionsszintigraphie. Nach der visuellen Beurteilung der Aufnahmen analysierten wir diese semiquantitativ mit Hilfe des Verhaltnisses in Fingern und Handflache angereicherten Aktivitat. Patienten mit primarem und sekundarem Raynaud-Syndrom wurden statistisch verglichen. Ergebnisse: Mittels visueller Auswertung wurden regional Perfusionsstorungen bei 42 aus 59 Patienten mit sekundarem Raynaud-Syndrom festgestellt. Die gleiche Storung wurde jedoch nur bei 3 von 47 Patienten mit der primaren Form festgestellt. Diese Differenz ist statistisch signifikant (p
Long-term safety and effectiveness of lopinavir/ritonavir in antiretroviral-experienced HIV-1-infected children

Aim To evaluate the long-term safety and effectiveness of lopinavir/ritonavir (LPV/r) in a population-based cohort of HIV-1-infected children. Methods All children enrolled in the Swiss Mother and Child HIV Cohort Study, treated with LPV/r-based combination antiretroviral treatment (cART) between November 2000 and October 2008, were included. Results 88 children (25 (28%) protease inhibitor (PI)-naive, 16 (18%) ART-naive) were analysed (251 patient-years on LPV/r). After 48 weeks on LPV/r, 70 children had a median (interquartile range (IQR)) decrease in HIV-1 viral load of 4.25 log (5.45–3.17; PI-naive, n=17) and 2.53 (3.68–1.38; PI-experienced, n=53). Median (IQR) increase in CD4 count was 429 (203–593; PI-naive) and 177 (21–331; PI-experienced) cells/µl. These effects remained stablethroughout 192 weeks for 25 children. Treatment was stopped for viral rebound in seven and suspected toxicity in 12 children. Conclusion Long-term treatment with LPV/r-based cART is safe and effective in HIV-1-infected children.
Dynamic collaboration of far-infrared and visible spectrum for human detection

This paper is about the collaborative use of a far-infrared spectrum human detector and a visible spectrum human detector; the idea is to make collaborate these two detectors of different nature to automatically adapt the human detection whatever the luminosity changes and whatever the infrared emission changes of the scene. Our collaborative approach of detection handles: 1) gradual luminosity changes due, for instance, to the passage from night to day (and vice-versa), 2) sudden luminosity changes due, for instance, to navigation in a forest (when going through a glade in a forest), 3) infrared emission saturation when the global temperature of the scene is very high and does not permit to distinguish human people in infrared. Our approach of detection permits to detect people 24 hours a day and regardless the weather conditions. Furthermore, the proposed approach is relatively fast: it is practically as fast as using one detector alone whereas two are used in the same time.