Miracle-dz/UniFAR-FTUs huggingface dataset:
Blocking Automata for PSPACE DLs

In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as concept satisfiability. Whereas tableau-based algorithms usually yield worst-case optimal algorithms in the case of PSpace-complete logics, it is often very hard to design optimal tableau-based algorithms for ExpTime-complete DLs. In contrast, the automata-based approach is usually well-suited to prove ExpTime upper-bounds, but its direct application will usually also yield an ExpTime-algorithm for a PSpace-complete logic since the (tree) automaton constructed for a given concept is usually exponentially large. In the present paper, we formulate conditions under which an on-the-fly construction of such an exponentially large automaton can be used to obtain a PSpace-algorithm. We illustrate the usefulness of this approach by proving a new PSpace upper-bound for satisfiability of concepts w.r. t. acyclic terminologies in the DL SI.
Adjuvants for HIV vaccines

Purpose of reviewAdvances in the understanding of the structural biology of HIV-1 proteins, and in the vulnerabilities of HIV-1 at various points in the infectious process have led to innovative approaches for vaccine constructs for clinical trials. Lessons from the successful Retrovirology study 144 (RV144) phase III Thai trial have revealed the need for novel and more potent adjuvant formulations. Fortunately, the vaccine adjuvant field is experiencing an emergence of innovative new adjuvants and strategies that may lead to improved formulations. Recent findingsThe review highlights the status of currently used and available new adjuvant formulations for HIV antigens. Adjuvants used in preclinical or in human clinical trials using HIV-1 protein antigens will be discussed along with adjuvant improvements for vectors and DNA immunization. SummaryThe HIV-1 immunogen and the design of the adjuvant formulations are both equally important for the development of an effective HIV vaccine. Adjuvants work by numerous different mechanisms, many of which are quite complex and often not well comprehended. Understanding the interplay of innate and adaptive immune responses that can be harnessed by adjuvant formulations would aid in the rational design of a well tolerated and effective vaccine formulation that can block HIV at the site of transmission.
Experiments of backward tracking control for trailer system

Trailer systems consist of a steering tractor and a passive trailer linked together with rigid free joint. The backward driving of a trailer system is more difficult than the forward driving, because the backward driving of the trailer system is unstable. We study the backward tracking control for trailer systems and implement the asymptotically stable tracking controller using the Lyapunov direct method. We perform some experiments using a visual feedback system. The experimental results show stable responses and the effectiveness of our method.
Modelling users? judgement of aesthetics and user interface quality

A tote bag body rest having a snap-releasable, hinged handle pair arranged to be easily disconnected at the top to give larger object access to the bag. It can be easily snapped closed to provide a hinge from which the bottom can open to form a self supporting unit and further remains closed to secure the handle together under the load of a person leaning against it. The unit comprises a fabric bag separately and completely manufactured apart from the frame to which it is later assembled.
Clinical follow-up of ceramic bridges with auro-galvanoforming primary coping and Ni-Cr pontic for restoration of dentition defects.

BACKGROUND Alternatives to the conventional auro-galvanoforming ceramic bridge need to be evaluated in long-term longitudinal studies before being recommended for restoration of dentition defects. This study aimed to evaluate the clinical performance of a ceramic bridge with auro-galvanoforming primary coping and Ni-Cr pontic for restoration of dentition defects. METHODS In total, 114 ceramic bridges with auro-galvanoforming (primary coping and Ni-Cr pontic) were placed in 112 patients with dentition defects. Among them, 83 bridges in 82 patients were available for follow-up after 7 years. We evaluated marginal integrity, color match, gingival inflammation, fracture of ceramic bridges, and recurrent caries. RESULTS Marginal integrity of the ceramic bridges was perfect in all patients. Most ceramic bridges maintained their original color. Fracture was found in three bridges; the rest were free of fracture, breakage, and loosening. Recurrent abutment caries were not found. Ceramic bridges with auro-galvanoforming (primary coping and Ni-Cr pontic) produced satisfactory clinical outcomes - equivalent to the conventional porcelain-fused-to-metal restoration. This technique is especially useful for dentition defects of the molar area and is cheaper than restoration with noble metal bridges. CONCLUSIONS Ceramic bridges with auro-galvanoforming (primary coping and Ni-Cr pontic) performed well for the restoration of dentition defects during this follow-up period. More studies are warranted to further evaluate this technique as an alternative to the conventional porcelain-fused-to-metal restoration.
Particle acceleration by electromagnetic waves

We consider the symmetry in the interaction of photons and electrons, which has led to a common description of electron and photon accelerations; effects such as photon Landau damping arise naturally from such a treatment. Intense electromagnetic waves can act as a photon mirror to charged particles. The subsequent acceleration is equivalent to the photon pulse accelerating electrons. During the interaction or reflection process, the charged particle can emit bursts of radiation similar to the radiation emitted from the particles during wave breaking of plasma waves.
A Measure of Disclosure Risk for Tables of Counts

The paper describes a new method for assessing disclosure risk for tables of counts; the subtraction-attribution probability (SAP) method. The SAP score is the probability of an intruder recovering a.risky. subpopulation table given a quantity of information about the individuals in a population table. The method can be applied to exact or perturbed individual tables and sets of tables. The method can also be used to compare the risk impact of different disclosure control regimes.
Elicitor-Induced Defence Reactions in Cell Suspension Cultures of Soybean Cultivars

Abstract Suspension cultured soybean (Glycine max [L.] Merr.) cells of four cultivars (Wilis, Lumut, Kalmit, Doko RC) were compared for their response to different fungal and bacterial elicitors. Cells were treated either with crude cell wall extracts of the fungal pathogens Phytophthora sojae (Pmg-elicitor) and Rhizoctonia solani (Riso-elicitor) or with two isolates of the bacterial pathogen Pseudomonas syringae pv. glycinea (Psg01/02) and a broad spectrum of antimicrobial defence reactions was measured. Cells of all four cultivars showed the same elicitor-induced rapid (H2O2 accumulation, alkalinization of the culture medium, peroxidative cross-linking of cell wall proteins) and slow (activation of phenylpropanoid metabolism, accumulation of phenolic compounds, induction of PR-proteins) defence responses. However, the reactivity of the cultivars was not identical in terms of time courses and intensities. Furthermore, the ability of the various elicitors to induce defence responses varied markedly. These differences indicate that (1) cells of the same species but of different cultivars are equipped with the same array of perception systems to recognise various stimuli but (2 ) the sensitivity of these perception systems or later steps in the signal transduction seem to be stimulated to a different extent in the analysed cultivars.
Deaths from arthritis and other rheumatic conditions, United States, 1979-1998.

OBJECTIVE To analyze US trends in deaths from arthritis and other rheumatic conditions (AORC). METHODS Multiple cause of death tapes from the National Center for Health Statistics from 1979 to 1998 were reviewed. Age, sex, and race-specific death rates were calculated. RESULTS During 1979-1998, the annual number of AORC deaths rose from 5537 to 9367. In 1979, the crude death rate from AORC was 2.46 per 100,000 population; by 1998, it was 3.48. Rates age-standardized to the year 2000 population were 2.75 and 3.51, respectively. Annual crude and age-standardized death rates were higher among women than men and higher among blacks than whites and increased for all groups over the 20 years. Death rates were dramatically higher with increasing age. Three categories of AORC accounted for almost 80% of deaths: diffuse connective tissue diseases (34%), other specified rheumatic conditions (23%), and rheumatoid arthritis (22%). CONCLUSION There are marked age, sex, and race-specific disparities in AORC death rates. AORC death rates may be underestimated because of (1) nonrecognition of inflammatory arthritis and (2) attribution of cause of death to conditions made more likely by arthritis, e.g., cardiovascular disease, or to complications from arthritis therapy. Further research into the causes of the disparities in death rates and the increase in death rates for men, women, blacks, and whites is necessary.
Detecting event-related time-dependent directional couplings

Nonlinear interdependence measures can be used to detect directional couplings between stationary dynamical systems from a pair of signals measured from them. For many dynamics, however, intermittent directional couplings arise in causal relation to distinct events on timescales that are often too short to be resolved by nonlinear interdependence measures. On the other hand, in many experimental settings signals are measured for multiple instances of such events. We demonstrate how these multiple realizations can be exploited to reliably detect event-related time-dependent directional couplings. For this purpose, we propose the general concept of time-resolved causal statistics derived from embeddings across multiple realizations of time-dependent dynamics. Surrogates constructed by permuting the order of realizations can be used to test specified null hypotheses. We adapt a conventional nonlinear interdependence measure to serve as a time-resolved causal statistic and apply it to exemplary coupled Lorenz dynamics. This approach allows detecting event-related time-dependent directional couplings based on only a few tens of realizations. Changes of the coupling direction can be detected within one oscillation of the dynamics. Beyond this particular application, any metric bivariate or univariate measure can be adapted to serve as time-resolved causal statistics to characterize various aspects of event-related time-dependent dynamics.
Conservation surgery for inverted papillomas

To evaluate the role of conservation surgical treatment of inverted papillomas of the nose and paranasal sinuses, the clinical course of 46 patients treated during a 10‐year period was evaluated. Twelve patients were noted to have either invasive squamous cell carcinoma or carcinoma in situ and were excluded from analysis. Of the remaining 34 patients, 19 had previous treatment for inverted papilloma. Subsequently, 20 patients were treated with lateral rhinotomy and medial or partial maxillectomy. Fourteen patients were treated with conservation surgical therapy. There were 5 recurrences (15%), which all occurred in the conservation‐treated group. Four of six (66%) patients treated with an intranasal procedure recurred but only 1 of the 8 (12%) patients treated with a Caldwell‐Luc approach combined with an intranasal procedure. Successful treatment was achieved in all patients undergoing salvage surgery for recurrence. The role of conservation treatment in the management of inverted papillomas of the nose and paranasal sinuses is discussed.
Map mashups, Web 2.0 and the GIS revolution

Mashups, composed of mixing different types of software and data, first appeared in 2004 and ‘map mashups’ quickly became the most popular forms of this software blending. This heralded a new kind of geography called ‘Neogeography’ in which non-expert users were able to exploit the power of maps without requiring the expertise traditionally associated, in the geographic world, with cartography and geographic information science, and, in computer science, with data structures and graphics programming. First we suggest the need for a typology of map mashups while arguing that such a typology is premature. We then discuss the need for standards and formats, moving on to questions of security, privacy and confidentiality. We follow this by introducing the key issues of creating spatial data for mashups through crowd-sourcing. To ground this presentation in applications, we explore some classic exemplars from our own and related work with map mashups and portals such as MapTube (http://www.maptube.org/). We then point to extensions to other graphical media, to 3D, to virtual worlds and beyond. In conclusion, we speculate on what all this might mean for GIS software and geographic information science.
Used Aggression Against Male Partners Factor Structures for Aggression and Victimization Among Women Who

Theories and measures of women’s aggression in intimate relationships are only beginning to be developed. This study provides a first step in conceptualizing the measurement of women’s aggression by examining how well three widely used measures (i.e., the Revised Conflict Tactics Scales (CTS), the Sexual Experiences Survey [SES], and the Psychological Maltreatment of Women Inventory [PMWI]) perform in assessing women’s perpetration of and victimization by aggression in their intimate relationships with men. These constructs were examined in a diverse sample of 412 African American, Latina, and White women who had all recently used physical aggression against a male intimate partner. The factor structures and psychometric properties of perpetration and victimization models using these measures were compared. Results indicate that the factor structure of women’s perpetration differs from that of women’s victimization in theoretically meaningful ways. In the victimization model, all factors performed well in contributing to the measurement of the latent victimization construct. In contrast, the perpetration model performed well in assessing women’s physical and psychological aggression but performed poorly in assessing women’s sexual aggression, coercive control, and jealous monitoring. Findings suggest that the power and control model of intimate partner violence (IPV) may apply well to women’s victimization but not as well to their perpetration of violence.
Multiple Control of Flagellum Biosynthesis in Escherichia coli: Role of H-NS Protein and the Cyclic AMP-Catabolite Activator Protein Complex in Transcription of the flhDC Master Operon

ABSTRACT Little is known about the molecular mechanism by which histone-like nucleoid-structuring (H-NS) protein and cyclic AMP-catabolite activator protein (CAP) complex control bacterial motility. In the present paper, we show that crp and hns mutants are nonmotile due to a complete lack of flagellin accumulation. This results from a reduced expression in vivo of fliA and fliC, which encode the specific flagellar sigma factor and flagellin, respectively. Overexpression of the flhDC master operon restored, at least in part, motility in crp andhns mutant strains, suggesting that this operon is the main target for both regulators. Binding of H-NS and CAP to the regulatory region of the master operon was demonstrated by gel retardation experiments, and their DNA binding sites were identified by DNase I footprinting assays. In vitro transcription experiments showed that CAP activates flhDC expression while H-NS represses it. In agreement with this observation, the activity of a transcriptional fusion carrying the flhDC promoter was decreased in thecrp strain and increased in the hns mutant. In contrast, the activity of a transcriptional fusion encompassing the entire flhDC regulatory region extending to the ATG translational start codon was strongly reduced in both hnsand crp mutants. These results suggest that the region downstream of the +1 transcriptional start site plays a crucial role in the positive control by H-NS of flagellum biosynthesis in vivo. Finally, the lack of complementation of the nonmotile phenotype in acrp mutant by activation-deficient CAP mutated proteins and characterization of cfs, a mutation resulting in a CAP-independent motility behavior, demonstrate that CAP activatesflhDC transcription by binding to its promoter and interacting with RNA polymerase.
Discovering new verb-preposition combinations in New Englishes

The grammatical description of New Englishes is a relatively young field but at the same time one that benefitted much from recent developments in corpus linguistics. Standard reference corpora such as the International Corpus of English (ICE) have made it possible to research grammatical phenomena even in smaller outer circle varieties of English. In the field of grammar, innovations typically start out at the intersection of grammar and lexis. We investigate verb-preposition combinations in four corpora of first and second language varieties of English, among them the preliminary version of the written component of ICE Fiji. Our focus is on what has been termed ‘new prepositional verbs’ (cf. Mukherjee 2009, Nesselhauf 2009), i.e. novel combinations of verbs and prepositions. We compare a manual and a semi-automated approach to the study of new verb-preposition combinations. The manual approach consists of a surface search for prepositions followed by a careful manual filtering process. The semi-automated approach is a corpus-driven investigation using parsed corpora and detecting variation-specific prepositional collocations. Typically, the advantage of manual searches is that precision is very high; the disadvantage is that the investigation is time-consuming and recall can be incomplete, because the scope of investigations may have to be restricted. The advantage of automatic, parse-based methods is that they are fast and corpus-driven, which may increase recall; the disadvantage is that error-rates are high, which seriously affects precision. We discuss similarities and differences in the results of the two approaches and show examples of new verb-preposition combinations from ICE India and ICE Fiji that the two approaches deliver. We conclude that both methods validate, but also complement each other.
Approximation Algorithm for the Max-cut Problem

In this project, we investigated several approximation algorithms for the Max-Cut problem. Our main approach to this problem is a semideenite program (GW) based algorithm that has a performance guarantee of at least 0.878 of the optimal cut. We also show that we can perform exhaustive local search on top of the GW to enhance the result. Our results show that the running time of the local search is eecient compared to the time needed for GW, and the local search can almost always produce better result. We also investigated other heuristics to solve the Max-Cut problem: Metropolis, Simulated Annealing and local search without GW. We show that Metropolis, Simulated Annealing, and GW plus local search are eeective for Max-Cut when the number of nodes in the graph is less than 100. When the graph grows, our results show that Simulated Annealing is the most eeective in terms of quality, time and converging time.
A new capacitor charging power supply using phase-shifted PWM full-bridge converter

This paper presents circuit design and operation principle of a newly developed phase-shifted PWM full-bridge converter for capacitor charging. The proposed system is designed with soft switching techniques to achieve high efficiency. Also, proposed system is series type and it is used for pulse corona occurrence of DeSOx, DeNOx system using magnetic pulse compressor (MPC). The MPC system is required high withstanding voltage because it uses high voltage application. To overcome the problem associated with high voltage stress, the high voltage transformer separated with three sections. The performance test of the capacitor charging power supply (CCPS) was carried out with a 2µF load capacitor at 20kV output voltage and pulse repetition frequency is 300Hz.
Data partitioning for maximal scratchpad usage

The energy consumption for mobile embedded systems is a limiting factor because of today's battery capacities. The memory subsystem consumes a large chunk of the energy, necessitating its efficient utilization. Energy efficient scratchpads are thus becoming common, though unlike caches they require to be explicitly utilized. In this paper, an algorithm integrated into a compiler is presented which analyzes the application, partitions an array variable whenever its beneficial, appropriately modifies the application and selects the best set of variables and program parts to be placed onto the scratchpad. Results show an energy improvement between 5.7% and 17.6% for a variety of applications against a previously known algorithm.
Molecular mechanisms of resistance to Rituximab and pharmacologic strategies for its circumvention

The introduction of Rituximab has greatly improved therapeutic options for patients with B-cell non-Hodgkin lymphoma (B-NHL). However, a substantial fraction of patients with aggressive B-NHL fails first-line therapy, and most patients with relapsing indolent B-NHL eventually acquire Rituximab resistance. Molecular understanding of the underlying mechanisms facilitates the development of pharmacologic strategies to overcome resistance. Rituximab exerts its activity on CD20-expressing B-cells by indirect and direct effector mechanisms. Indirect mechanisms are complement-dependent cytotoxicity (CDC), and antibody-dependent cell-mediated cytotoxicity (ADCC). Direct activities, such as growth inhibition, induction of apoptosis and chemosensitisation, have been reported, but are less defined. Moreover, the relative contribution of CDC, ADCC and direct mechanisms to the activity of Rituximab in vivo is unclear. Down-regulation of CD20 and expression of complement inhibitors have been described as escape mechanisms in B-NHL. Recent reports suggest that deregulated phosphoinositide-3-kinase (PI3K)/Akt, mitogen-activated kinases (MAPK) and nuclear-factor κB (NF-κB), as well as up-regulation of anti-apoptotic proteins may determine the efficacy of Rituximab to kill B-NHL cells in vitro and in vivo. The latter signalling pathways are attractive targets for pharmacologic modulation of resistance to Rituximab. With the advent of new inhibitors and antibodies, rationally designed clinical trials addressing Rituximab resistance are feasible.
Latent Schatten TT Norm for Tensor Completion

Tensor completion arouses much attention in signal processing and machine learning. The tensor train (TT) decomposition has shown better performances than the Tucker decomposition in image and video inpainting. In this paper, we propose a novel tensor completion model based on a newly defined latent Schatten TT norm. Then, the statistical performance is analyzed by establishing a non-asymptotic upper bound on the estimation error. Further, a scalable algorithm is developed to efficiently solve the model. Experimental results of color image inpainting demonstrate that the proposed norm has promising performances compared to other variants of Schatten norm.