Miracle-dz/UniFAR-FTUs huggingface dataset:
Computing optimal fixed order H∞-synthesis values by matrix sum of squares relaxations

The computation of optimal H∞ controllers with a prescribed order is important for their real-time implementation. This problem is well-known to be non-convex, and only algorithms that compute upper bounds on the global optimal value are known. We consider the applicability of matrixvalued sum-of-squares (sos) techniques for the computation of lower bounds. First we show that the size of the Linear Matrix Inequality (LMI) relaxations grow exponentially with the state dimension if we apply the sos-technique directly on the bounded-real lemma bilinear matrix inequality. We overcome this deficiency by two-fold sequential dualization: first we dualize in the variables that grow with the state dimension, which leads to a re-formulation of the fixed order synthesis problem into a robust analysis problem with the controller variables as parametric uncertainty. Second we dualize in the controller variables by relaxing the robust LMI problem. We present two approaches to solve robust LMI problems based on sos matrix decompositions, a direct approach and one based on the S-procedure. Both lead to an asymptotically exact family of LMI relaxations for computing lower bounds on the optimal fixed-order H∞-norm whose size only grow quadratically in the dimension of the system state. The method is applied to an academic 4th-order example and to the tuning of two controller parameters of a 4-block H∞ design of an active suspension system, with a Mc-Millan degree of the weighted plant of 27.
Efficient Dynamic Mo dels for Flexible Robots

Dynamic equations of motion of flexible manipulators are more complicated than those of rigid manipulators. The number of equations of motion increases as the number of modes to be included increases. It is difficult to Ullderstand the effect of flexible motion on rigid motion via recursive forms of the equations of motion for multi-link arm even if it were efficient. On the other hand, the closed form of the equations of motion is useful in understanding the characteristics of model parameters. However, the equations resulting from existing closed forms are too complex to serve this purpose. Therefore, a method which is structually well organized and computationally efficient is developed.
Comparison between relations resulting from extractive and abstractive approaches for the sentence “

Open information extraction approaches are useful but insufficient alone for populating the Web with machine readable information as their results are not directly linkable to, and immediately reusable from, other Linked Data sources. This work proposes a novel paradigm, named Open Knowledge Extraction, and its implementation (Legalo) that performs unsupervised, open domain, and abstractive knowledge extraction from text for producing directly usable machine readable information. The implemented method is based on the hypothesis that hyperlinks (either created by humans or knowledge extraction tools) provide a pragmatic trace of semantic relations between two entities, and that such semantic relations, their subjects and objects, can be revealed by processing their linguistic traces (i.e. the sentences that embed the hyperlinks) and formalised as Semantic Web triples and ontology axioms. Experimental evaluations conducted on validated text extracted from Wikipedia pages, with the help of crowdsourcing, confirm this hypothesis showing high performances. A demo is available at http://wit.istc. cnr.it/ stlab-tools/legalo.
Couple forgiveness, self-differentiation and secondary traumatization among wives of former POWs

This study explored secondary traumatization among wives of former POWs. Forgiveness and self-differentiation were investigated for their role in wives'mental and marital distress. Participants included wives (N = 82) of former Israeli POWs (18 with PTSD [posttraumatic stress disorder] and 64 without PTSD) and a control group of 72 women whose husbands fought in the war but who were neither POWs nor suffered from PTSD. Compared to the other two groups, wives of former POWs with PTSD reported lower couple forgiveness and self-differentiation. High self-differentiation predicted low emotional and marital distress, whereas high couple forgiveness reduced only marital distress. Self-differentiation moderated the relationships between couple forgiveness and both types of distress. Findings highlight the challenges women face when living with partners with PTSD.
Enhanced production of d‐lactic acid by Sporolactobacillus sp.Y2–8 mutant generated by atmospheric and room temperature plasma

To improve the production of d‐lactic acid, atmospheric and room temperature plasma (ARTP) was used to generate mutations in Sporolactobacillus sp. Y2–8. An efficient mutant YBS1–5 was rapidly isolated by implanting ARTP twice with a 100 W radio‐frequency power input, 10 standard liters per minute of the helium flow, and a 2 mm treatment distance. Significant improvement of d‐lactic acid productivity (1.39 g L−1 H−1) by YBS1–5 was achieved, and it was 41.84% higher than the productivity (0.98 g L−1 H−1) of Y2–8. Moreover, the dry cell weight of YBS1–5 was 16.7% higher than that of Y2–8. Metabolic activities of concerned substrates related with key enzymes of d‐lactic acid fermentation were analyzed by Biolog approach. Results showed that the activities of the key enzymes glucokinase and d‐lactate dehydrogenase in mutant YBS1–5 were increased by approximately 45% and 66%, respectively, in comparison with those of the strain Y2–8. Fed‐batch fermentation further improved the productivity; 127 g L−1 d‐lactic acid in 74 H by YBS1–5 with higher productivity (1.72 g L−1 H−1) was achieved. The subculture experiments indicated that YBS1–5 was genetically stable after eight generations.
Spn1 Regulates the Recruitment of Spt6 and the Swi/Snf Complex during Transcriptional Activation by RNA Polymerase II

ABSTRACT We investigated the timing of the recruitment of Spn1 and its partner, Spt6, to the CYC1 gene. Like TATA binding protein and RNA polymerase II (RNAPII), Spn1 is constitutively recruited to the CYC1 promoter, although levels of transcription from this gene, which is regulated postrecruitment of RNAPII, are low. In contrast, Spt6 appears only after growth in conditions in which the gene is highly transcribed. Spn1 recruitment is via interaction with RNAPII, since an spn1 mutant defective for interaction with RNAPII is not targeted to the promoter, and Spn1 is necessary for Spt6 recruitment. Through a targeted genetic screen, strong and specific antagonizing interactions between SPN1 and genes encoding Swi/Snf subunits were identified. Like Spt6, Swi/Snf appears at CYC1 only after activation of the gene. However, Spt6 significantly precedes Swi/Snf occupancy at the promoter. In the absence of Spn1 recruitment, Swi/Snf is constitutively found at the promoter. These observations support a model whereby Spn1 negatively regulates RNAPII transcriptional activity by inhibiting recruitment of Swi/Snf to the CYC1 promoter, and this inhibition is abrogated by the Spn1-Spt6 interaction. These findings link Spn1 functions to the transition from an inactive to an actively transcribing RNAPII complex at a postrecruitment-regulated promoter.
Review on microbial degradation of aflatoxins

ABSTRACT Aflatoxin (AF) contamination presents one of the most insidious challenges to combat, in food safety. Its adulteration of agricultural commodities presents an important safety concern as evident in the incidences of its health implication and economic losses reported widely. Due to the overarching challenges presented by the contamination of AFs in foods and feeds, there is an urgent need to evolve cost-effective and competent strategies to combat this menace. In our review, we tried to appraise the cost-effective methods for decontamination of AFs. We identified the missing links in adopting microbial degradation as a palliative to decontamination of AFs and its commercialization in food and feed industries. Cogent areas of further research were also highlighted in the review paper.
Time Scale Approach for Chirp Detection

Two different approaches for joint detection and estimation of signals embedded in stationary random noise are considered and compared, for the subclass of amplitude and frequency modulated signals. Matched filter approaches are compared to time-frequency and time scale based approaches. Particular attention is paid to the case of the so-called "power-law chirps", characterized by monomial and polynomial amplitude and frequency functions. As target application, the problem of gravitational waves at interferometric detectors is considered.
Multiple‐mouse MRI

Several theoretical parallel‐imaging approaches are evaluated that seek to improve the efficiency of an MRI experiment involving multiple small samples, such as mice. The best method for our mouse phenotyping application is chosen in terms of efficiency and ease of implementation, and the approach is demonstrated at 1.5 T on a clinical scanner with an array of four shielded birdcage coils with four parallel receivers. Electronic interactions between the receiver channels in the system are quantified and a novel sensitivity‐encoding (SENSE)‐like postprocessing method is described to remove the resulting image ghosts. In parallel imaging with a four‐coil array, the time required for three‐dimensional (3D) high‐resolution imaging of four mice is reduced to one‐fourth the time that it would take to image the mice sequentially. Magn Reson Med 49:158–167, 2003. © 2003 Wiley‐Liss, Inc.
HFSI — A promising solution to very low speed issues in DTC-SVM induction motor drive

The stator flux and electromagnetic torque are directly controlled in a DTC system using space vector modulation technique. In DTC, torque and flux ripples increases at low speeds. A DTC-SVM induction motor drive at very low speeds is investigated here and High Frequency Signal Injection (HFSI) method is adopted to mitigate the low speed issues. In this method a sinusoidal wave of small amplitude and high frequency is injected along with the PI controller output of DTC-SVM. HFSI increases the switching frequency of SVM during low speed operation. This technique reduces torque ripple, acoustic noise, and gives excellent dynamic and steady state performance. The performance of DTC-SVM and DTC-SVM with HFSI at low speed is analyzed through simulation using matlab/simulink package. The results verify the merits of the DTC-SVM using HF injection technique with respect to DTC-SVM technique at very low speeds.
A Hybrid Approach for Facial Performance Analysis and Editing

As of today, fine-grained editing of facial performances in movie and video production requires either retouching every single frame or creating a highly detailed CGI model of the actor, both of which is restricted to high-budget productions. In this paper, we present an example-based approach for facial performance editing that achieves realistic results with standard equipment and very little manual intervention. Based on a model-free surface tracking approach, temporally consistent dynamic texture sequences are extracted from multiple video streams. Using such geometry-plus-texture sequences allows transferring facial expressions/performances between videos, which enables the editor, for example, to change the facial expression while leaving the rest of the video untouched. Moreover, concatenating and/or looping these sequences in a motion-graph-like manner offers a convenient way of composing novel facial performances from multiple source videos. Finally, we present a blending method to seamlessly concatenate texture/mesh sequences and to insert a composed facial performance in a target video.
Fast-food outlets and grocery stores near school and adolescents' eating habits and overweight in Finland.

BACKGROUND Environmental factors may affect adolescents' eating habits and thereby body weight. However, the contribution of school neighbourhood environment is poorly understood. This study examined the association between proximity of a fast-food outlet or grocery store to school and adolescents' eating habits and overweight. METHODS Participants were 23 182 adolescents (mean age 15 years) who responded to a classroom survey in 181 lower secondary schools in Finland (2008-09). School location was linked to data on distance from school to the nearest fast-food outlet or grocery store (≤100 m, 101-500 m, >500 m) using global positioning system-coordinate databases. Outcomes were irregular eating habits (skipping breakfast, skipping free school lunch, skipping free school-provided snacks and not having family dinners), the accumulation of these habits and overweight, including obesity (body mass index ≥ 25 kg/m(2)). RESULTS Thirteen percentage of the participants were overweight. Having a fast-food outlet or grocery store near school was associated with skipping often breakfast and free school lunch, and the accumulation of irregular eating habits. The proximity of a fast-food outlet or grocery store was associated with a 1.25-fold (95% confidence interval 1.03-1.52) risk of overweight among adolescent with a low socioeconomic status but not among those with higher socioeconomic status. This association was partly (12%) explained by the accumulation of irregular eating habits. CONCLUSIONS Among adolescents from low socioeconomic background, the presence of fast-food retailers near schools is associated with accumulation of irregular eating habits and greater overweight. These findings suggest that obesogenic school neighbourhoods may contribute to social inequalities in overweight.
Compact Ultrawideband Circularly Polarized Weakly Coupled Patch Array Antenna

A circularly polarized (CP) patch array antenna is proposed for ultrawideband operation by introducing weak-coupling mechanism into feeding network, feeding unit, and radiation structure, respectively. As an example, a wideband <inline-formula> <tex-math notation="LaTeX">$2 \times 2$ </tex-math></inline-formula> patch array antenna consists of a weakly coupled-line four-feed network, a coupled feeding unit, and four weakly coupled sequentially rotated symmetric hexagonal patches is designed for verification. Measured results show that the proposed antenna exhibits the 10-dB impedance bandwidth of 98% (2–5.92 GHz), 3-dB axial ratio bandwidth of 96.3% (2.15–6 GHz), and 3-dB gain variation bandwidth of 82.5% (2.65–5.95 GHz) with the peak gain of 9.5 dBic at 5.15 GHz and the maximum efficiency of 88%. By the weak-coupling method, the design achieves not only the largest CP bandwidth and the symmetric radiation patterns without any beam squint over the whole band, but also the smaller volume of (<inline-formula> <tex-math notation="LaTeX">$1.13 \times 1.13 \times 0.15$ </tex-math></inline-formula>) <inline-formula> <tex-math notation="LaTeX">$\lambda _{0}^{3}$ </tex-math></inline-formula> (<inline-formula> <tex-math notation="LaTeX">$\lambda _{0}$ </tex-math></inline-formula> is the wavelength at 4 GHz) compared with the reported patch array antennas. Therefore, the proposed CP patch array antenna is very promising for modern wireless applications such as WiFi, global navigation satellite system, and radio frequency identification systems.
Application of Object-Oriented Petri Nets to Industrial Electronics

Petri nets are an well-known graphical and modeling tool for concurrent and/or distributed systems, and many results have been reported on the theory, and also on practical applications. In the last decade, various Object-Oriented Petri nets (OO-nets) are proposed. As object orientation was adopted in various programming languages, extension to OO-nets inspired from object-oriented programming is a natural flow. This article presents state-of-the-art on OO-nets.
The Chicken Adenovirus Gam1 Protein, an Inhibitor of the Sumoylation Pathway, Partially Complements ICP0-Null Mutant Herpes Simplex Virus 1

ABSTRACT Herpes simplex virus 1 (HSV-1) regulatory protein ICP0 stimulates efficient infection via its E3 ubiquitin ligase activity that causes degradation of several cellular proteins, some of which are sumoylated. Chicken adenovirus Gam1 protein also interferes with the sumoylation pathway, and both proteins disrupt promyelocytic leukemia protein (PML) nuclear bodies (NBs). We report that Gam1 increases the infection efficiency of ICP0-null mutant HSV-1 by approximately 100-fold, thus strengthening the hypothesis that PML NB- and sumoylation-related mechanisms are important factors in the control of HSV-1 infection.
Interstitial deletion of the long arm of chromosome 6 [del(6)(q16q22)]: case report and review of the literature

Partial monosomy of 6q resulting from an interstitial deletion of bands q16 → q22 was found in a 12‐year‐old boy manifesting mental retardation, seizure disorder, and dysmorphic features. The correlation of phenotypic expression and specific long arm deletions of chromosome No. 6 is discussed.
O método expositivo

No processo ensino-aprendizagem, o metodo constitui um aspecto mais importantes. Segundo NERICE, "os metodos e tecnicas de ensino constituem partes essenciais da metodologia didatica de que se vale o professor, para conduzir o educando a integrar, no seu comportamento conhecimentos, tecnicas, habilidades, habitos e atitudes qi de enriquecer a sua personalidade" (1967, p. 141). TURRA et alii referem-se aos metodos didaticos como p mentos de ensino que sao "acoes, processos ou comportamento planejados pelo professor para colocar o aluno em contato dire coisas, fatos ou. fenomenos, que possibilitem modificar sua ta em funcao dos objetivos previstos" (1975, p. 126).
Dynamic R&D choice and the impact of the firm's financial strength

ABSTRACT This article investigates how a firm's financial strength affects its dynamic decision to invest in R&D. We estimate a dynamic model of R&D choice using data for German firms in high-tech manufacturing industries. The model incorporates a measure of the firm's financial strength, derived from its credit rating, which is shown to lead to substantial differences in estimates of the costs and expected long-run benefits from R&D investment. Financially strong firms have a higher probability of generating innovations from their R&D investment, and the innovations have a larger impact on productivity and profits. Averaging across all firms, the long-run benefit of investing in R&D equals 6.6% of firm value. It ranges from 11.6% for firms in a strong financial position to 2.3% for firms in a weaker financial position.
Healing and Christianity: In Ancient Thought and Modern Times

nature of the Christ event. More particularly the book demonstrates that the antecedent mythology giving energy to the gospel symbols was almost always Judaic rather than pagan, and within this frame ofreference the Hebrew creation myth was especially prominent. Frequently otherwise obscure phrases, themes and tendencies in the gospels are illuminated. Lamentably no biblical index has been provided. The book by Forster and Marston, with its extremely conservative presuppositions, knows nothing of myth or symbol. Its core is an expansive exegesis of Romans 9-11. In a rather homiletical style the authors explore concepts such as election, foreknowledge and free-will, and suggest that their biblical meanings are frequently contrary to those assumed by Augustine. In a short book (there are 42 pages of very technical notes) which makes heavy demands on the reader, Mr Jones yet manages to illuminate the three-fold theine of 2 Corinthians 1-9, viz. suffering apostolate, partnership between apostle and congregation, and thanksgiving. The passages 2 Cor. 3: 1-4: 6 and 4: 16-5: 10 are clarified especially well. By the association of strict exegesis with facets of the contemporary religi? us situation, this work becomes an exploratory hermeneutical exercise. Lincoln Theological College D. G. DEEKS
Robust eye localization in video by combining eye detector and eye tracker

Eye detector and eye tracker have been individually used to solve the task of eye localization in video. Although the eye detection based approach seems to be robust especially in frontal view faces and opened eyes, its performance drops dramatically in the presence of large head pose change and closed eyes. Meanwhile, eye tracking based approaches can estimate closed eyes and eyes in extreme head poses using information from previous frames. Therefore, in this paper, we proposed to combine both tracker and detector for robust eye localization in video. Rather than sequential integration of these systems, our main idea is to use the eye locations suggested by an eye detector for initialization and measurement updating steps of particle based tracker. Experiments were conducted on two benchmark databases: TRECVID and Boston University Head Pose databases. The results show that our proposed method achieves a remarkable improvement compared to the state-of-the-art approach.
Accuracy and reliability of palatal superimposition of three-dimensional digital models.

OBJECTIVE To evaluate the accuracy of the superimposition of three-dimensional (3D) digital models using the palatal surface as a reference for measuring tooth movements. MATERIALS AND METHODS Maxillary plaster models were selected from 20 patients. The right and left canines, premolars, and molars were individually cut underneath the gingival margins and set up in wax (plaster model 1 = PM1). The PM1s were scanned to create 3D digital models (digital model 1 = DM1). Teeth on the PM1s were randomly moved (plaster model 2 = PM2) and subsequently scanned to produce another set of 3D digital models (digital model 2 = DM2). DM1s and DM2s were superimposed using the palatal area as reference via surface-to-surface matching software, and the changes in tooth movement were calculated. In the plaster models, the tooth movements were directly measured using the Reference Measurement Instrument. A paired t-test and a correlation analysis were performed to determine whether the two measurement methods differed significantly. RESULTS The means of the anteroposterior (x-axis), transverse (y-axis), and vertical (z-axis) tooth movements of the plaster models and the digital models did not differ significantly, and very high correlations were found between the plaster models and the digital models. CONCLUSION From a technical point of view, the superimposition of 3D digital models using the palatal surface provides accurate and reliable measurements, but it remains to be investigated how stable the palatal surface is longitudinally after growth and/or orthopedic treatment take place.