Miracle-dz/UniFAR-FTUs huggingface dataset:
WebProtégé : A Distributed Ontology Editor and Knowledge Acquisition Tool for the Web

In this paper, we present WebProtégé—a lightweight ontology editor and knowledge acquisition tool for the Web. With the wide adoption of Web 2.0 platforms and the gradual adoption of ontologies and Semantic Web technologies in the real world, we need ontology-development tools that are better suited for the novel ways of interacting, constructing and consuming knowledge. Users today take Web-based content creation and online collaboration for granted. WebProtégé integrates these features as part of the ontology development process itself. We tried to lower the entry barrier to ontology development by providing a tool that is accessible from any Web browser, has extensive support for collaboration, and a highly customizable and pluggable user interface that can be adapted to any level of user expertise. The declarative user interface enabled us to create custom knowledge-acquisition forms tailored for domain experts. We built WebProtégé using the existing Protégé infrastructure, which supports collaboration on the back end side, and the Google Web Toolkit for the front end. The generic and extensible infrastructure allowed us to easily deploy WebProtégé in production settings for several projects. We present the main features of WebProtégé and its architecture and describe briefly some of its uses for real-world projects. WebProtégé is free and open source. An online demo is available at http://webprotege.stanford. edu.
Vanguard of the Discontents : Blank and Null Voting as Sophisticated Protest

ABSTRACT: Contrary to conventional wisdom, and to much of the rational choice literature of the Downsian tradition, this paper rejects the claim that invalid votes are irrational, or the incompetent actions of uneducated voters. Instead, it states that the blank and null vote (BNV) is primarily a form of political expression used by discontented, educated voters, leveraging the symbolic value of the ballot. Focusing on the purest version of this behavior–the individual and non-mobilized BNV–this paper takes advantage of exogenous political and institutional variations within the Spanish national elections and Italian municipal elections. It provides empirical evidence for the strong positive relationship between the BNV and political sophistication. Indeed, the BNV is shown to be the tool of the vanguard of discontented citizens, more politically sensitive and more likely to take place in highly educated municipalities than either of the widely-studied forms of dissenting: voting abstention and organized political protest. These findings lead to a reconsideration of the nature of voting as an expressive behavior, the role of the BNV as a more precise metric and predictor of popular discontent, and the potential advantages of its institutionalization on the ballot.
Control Scheme of Cascaded H-Bridge STATCOM Using Zero-Sequence Voltage and Negative-Sequence Current

This paper presents a control scheme of cascaded H-bridge STATCOM in three-phase power systems. Cascaded H-bridge STATCOM has merits in point of switching losses, output harmonics, and the number of circuit components. But every H-bridge cell has isolated dc capacitors. So the balancing problem of capacitor voltages exists. Since STATCOM is often requested to operate under asymmetrical condition by power system faults, capacitor voltage balancing between phase clusters is particularly important. Solving this problem, a technique using zero-sequence voltage and negative-sequence current is proposed. By this scheme, the STATCOM is allowed to operate under asymmetrical conditions by power system faults. The validity is examined by digital simulation under one line and two-lines fault circuit condition.
CSMA interaction detection and capacity estimation in cognitive radio networks

Estimation of the available capacity in a multiple hop route in cognitive radio networks is challenging. Several complex problems like channel assignment, interference estimation and routing effects needs to be addressed. In this demonstration, we exhibit a capacity estimation engine that determines the available capacity of the routes in a dynamic cognitive radio network using USRP and WARP software-defined radios. In addition to the available capacity, we show the various types of MAC interference and its effect in the network. The tool demonstrates a fundamental capacity estimation block, which provides valuable input to higher level applications like routing, network provisioning and monitoring. A scheduling aware routing algorithm that exploits the capacity estimation engine and scheduling interactions is shown as an example application.
A new on-line signature verification algorithm using Hilbert Scanning patterns

Signature verification is a challenging task, because only a small set of genuine samples can be acquired and usually no forgeries are available in real application. In this paper, we propose a new function-based method with Hilbert Scanning patterns for automatic on-line signature verification. The proposed method is compared to other state-of-the-art methods based on the results of the First International Signature Verification Competition (SVC 2004). Experiments are conducted to verify the effectiveness of our method.
A trajectory simulator for individual movements using probabilistic distribution profiles

In this paper, a trajectory simulator for individuals, walking or running, is proposed. The individuals' movements are based on position and velocity kinematics relying on the heading angle. This angle is obtained from one of the three probabilistic profiles ("drop", "leaf" or "balloon"), which defines the possible directions that the individual will take. The trajectory simulator presented here explores different types of terrain. They are classified by the difficulty in locomotion of the individuals, and this difficulty is represented by different colors. Some trajectories are generated in order to observe the behavior of the simulator and evaluate the quality of individual trajectories.
Physical and genetic analyses of streptococcal plasmid pAM beta 1 and cloning of its replication region

Plasmid pAM beta 1, originally isolated from Streptococcus faecalis DS5, mediates resistance to the MLS (macrolide, lincosamide, and streptogramin B alpha) group of antibiotics. A restriction endonuclease map of the 26.5-kilobase (kb) pAM beta 1 molecule was constructed by using the enzymes AvaI, HpaII, EcoRI, PvuII, Kpn1, BstEII, HpaI, HhaI, and HindIII. A comparison of this map to those of four independently isolated deletion derivatives of pAM beta 1 located the MLS resistance determinant within a 2-kb DNA segment and at least one conjugative function within an 8-kb region. The 5.0-kb EcoRI-B fragment from pAM beta 1 was ligated onto the 4.0-kb Escherichia coli plasmid vector, pACKC1, and used to transform E. coli HB101. The 9.0-kb chimeric plasmid was then used to transform Streptococcus sanguis Challis with concurrent expression of the E. coli kanamycin resistance determinant. The 5.0-kb EcoRI-B fragment from pAM beta 1 was subsequently used as a vector to clone a streptomycin resistance determinant from a strain of Streptococcus mutans containing no detectable plasmid DNA. Subcloning experiments, using a HindIII partial digest of pAM beta 1 DNA, narrowed the replication region of this plasmid to a 2.95-kb fragment.
Serotonin receptors and systems: endless diversity?

Serotonin is probably unique among the monoamines in that its effects are subserved by as many as 13 distinct heptahelical, G protein-coupled receptors (GPCRs) and a ligand-gated ion channel family (5-HT3). These receptors are divided into seven distinct classes (5-HT1 to 5-HT7) largely on the basis of their structural, transductional and operational char- acteristics. While this degree of physical diversity clearly underscores the physiological importance of serotonin, evidence for an even greater degree of operational diversity continues to emerge. Here, we will review this diversity and its physiological and possibly pathophysiological consequences. Indeed, 5-HT research which is about 50 years old, has resulted in numerous therapeutic agents, some of which have a major impact on disease man- agement. Thus, selective 5-HT reuptake inhibitors (SSRIs) are among the most widely used drugs in depression and other disorders such as anxiety, social phobia, panic disorders, or obsessive compulsive disorders (OCDs) to name a few. The discovery of 5-HT1B/1D receptor agonists (the triptans) for treating migraine, 5-HT3 receptor antagonists for chemotherapy and radiation-induced emesis, and finally the emergence of 5-HT3 / 5-HT4 ligands to treat irritable bowel syndrome (IBS), all represent major advances in the field. Finally, the role of 5-HT in the mechanism of action of antipsychotic agents still is a topic of intense research, which promises better treatments for schizophrenia.
Quasi-double gate mode for sleep transistors in UTBB FD SOI low-power high-speed applications

Power-gating enables low stand-by power for high-speed applications. In this paper, we exploit the unique feature of quasi-double gate (QDG) mode MOSFETs in UTBB SOI to boost the performances of the power-gating sleep transistor. According to experimental results on a 10-nm BOX, at nominal Vg QDG mode enables up to 35% width and thereby leakage reduction for the sleep transistor. At circuit level, a charge pump architecture is proposed to generate the QDG back-gate bias for a 100-mA power-gated CPU with sub-100 ns wake-up/sleep times and negligible power/area overheads.
Membrane remodelling during sperm maturation in the epididymis.

Identification of molecules or factors on spermatozoa that are involved in the recognition and binding to the zona pellucida of the egg is one of the central problems in current research on mammalian fertilization. This information is important, not just from the standpoint of scientific interest, but also for treatment of male infertility and design of future contraceptive technology. One of the most informative approaches to solving this puzzle has been to study the maturation of spermatozoa in the epididymis. The gradual development of motility and zona-binding capacity by spermatozoa after they leave the testis affords an opportunity to investigate what distinguishes a fertile from an infertile spermatozoon and what mechanisms are involved in the transformation from one state to the other. This chapter has reviewed some of the current information on sperm maturation in the epididymis and attempted to correlate it with concepts emerging from in vitro fertilization experiments. Emphasis has been placed on mechanistic aspects of maturation changes to the sperm plasma membrane, not only because in many species it is the surface membrane that encounters the zona and it is therefore likely to be the site of potential recognition molecules, but also because the plasma membrane influences many intracellular events and has a bearing on the maturation of the nucleus and axoneme as well. An example of the latter is shown by the induction of motility in demembranated testicular sperm by the addition of ATP and Mg2+ (Mohri and Yanagimachi 1980; White and Voglmayr 1986). This suggests that the motor apparatus for motility is essentially present in immature spermatozoa and that one of the requirements for it to become fully operative are subtle alterations to the permeability properties of the plasma membrane. A similar mechanism may also be true of the maturing sperm nucleus to which only passing reference has been made here. Very little is known about this aspect of sperm maturation beyond the increasing stabilization of the nucleoprotein by formation of disulphide bonds (Bedford 1975). The fact that isolated heads from immature spermatozoa fail to form pronuclei if injected directly into the egg (Uehara and Yanagimachi 1977) may explain, in part, the high embryonic mortality observed when not fully mature spermatozoa are induced to fertilize eggs (Orgebin-Crist et al. 1975). Thus maturation events within the nucleus are just as important as those on the surface membrane. (ABSTRACT TRUNCATED AT 400 WORDS)
Estimation of western corn rootworm (Diabrotica virgifera virgifera LeConte) egg abundance based on the previous year adult capture

Abundance and mortality of Western corn rootworm eggs during the winter in the soil are the primary factor that determinates the potential damage of larvae on the maize roots in spring. The aim of investigation is to determine the relationship between the capture of western corn rootworm adults on baits and the estimated abundance of oviposited eggs in autumn and spring. Second aim was to describe the relationship between the estimated number of eggs in autumn and spring of next year to determine the ratio of mortality in the given circumstances. Data on the number of eggs in autumn and spring were analyzed by binominal estimate of the population number based on frequency of occurrence. Relationship between the estimated number of eggs in autumn and spring is described by linear regression model. There was a positive correlation between the data of captures of adult corn rootworm on baits and the estimated number of eggs in autumn and spring. Coefficient describes strong relationship. Linear model that describes winter mortality of eggs (y = 0,6505x – 512 586 (R² = 0,955*1) was set.
How Accurately Do Children With Autism Spectrum Disorder Judge Own Memory Performance?

Scientific Abstract Self-awareness was investigated by assessing accuracy of judging own memory performance in a group of children with autism spectrum disorder (ASD), compared to a group of typically developing children (TD). Effects of stimulus type (social vs. non-social), and availability of feedback information as the task progressed, were examined. Results overall showed comparable levels and patterns of accuracy in the ASD and TD groups. A trend level effect (p.061, d=.60) was found with ASD participants being more accurate in judging own memory for non-social than social stimuli and the opposite pattern for TD participants. These findings suggest awareness of own memory can be good in children with ASD. It is discussed how this finding may be interpreted and it is suggested that further investigation into the relation between content, frequency and quality of self-awareness and the context of self-awareness is needed.
Geschäftsbericht und Aktionärsbrief eine textsortenlinguistische Analyse mit anwendungsbezogenen Aspekten

Die Arbeit \'Geschaftsbericht und Aktionarsbrief  eine textsortenlinguistische Analyse mit anwendungsbezogenen Aspekten\' gliedert sich in acht Kapitel, wobei wir zwei Hauptteile unterscheiden, die sich bereits im Titel widerspiegeln: ein theorie- und ein praxisbezogener Teil. Nach der Einleitung (Kapitel 1) wird im zweiten Kapitel die historische Entstehung des Aktionarsbriefes am Beispiel von ThyssenKrupp dargestellt: Der Brief an die Aktionare (BadA) hat sich im 19. Jahrhundert aus der Rede der Vorstands an die Aktionare entwickelt und ist ab Mitte der 70er Jahre des 20. Jahrhunderts als einleitendes Kapitel des Geschaftsberichtes (GB) zu betrachten. In Kapitel 3 wird der Frage nachgegangen, ob der BadA den meist gelesenen Teil des GB reprasentiert: Meiner Umfrage zufolge rangieren die Berichte uber die einzelnen Unternehmensbereiche und das Kapitel Forschung und Entwicklung vor dem BadA. Im folgenden vierten Kapitel werden Textsortenklassifikationen kritisch analysiert, die den theoretischen Unterbau fur die Textsortenbestimmung bilden: Der Forschungsuberblick zeichnet den Weg der sprachsystemorientierten (Harweg, Weinrich) bis zu den sprachsystemubergreifenden Modellen (Diewald, Brinker) nach. Das funfte Kapitel umfasst ein Im siebten Kapitel wird der Fokus auf den GB erweitert und die Praxisorientierung steht im Zentrum: Auf der Basis der bisher erarbeiteten textlinguistischen Kenntnisse sowie unter Ruckgriff auf die Verstandlichkeitsforschung wird eine Checkliste entworfen und erprobt, die fur die Beurteilung von Reprasentationstexten  dazu zahlen GB  geeignet ist. Die Integration der einzelnen Teilbereiche der Checkliste in ein Modell der Anforderungsprofile rundet diesen Teil der Arbeit ab: Ein gelungener Reprasentationstext zeichnet sich aus durch sprachliche Korrekt-heit (Wortgrammatik, Morphosyntax/Syntax), klare semantische Transparenz (Lexik, satzabhangige und satzubergreifende Semantik), eindeutige lokale Nachvollziehbarkeit (Metakommunikative Signale, Logik der Thematischen Entfaltung), ersichtliche global-mittlere Strukturierung (innere und ausere Textstrukturierung) und ansprechende Freundlichkeit (Stil, Beziehungsmanagement). Im achten und letzten Kapitel werde
A support tool designed as didactic material for teaching and learning programming

Usually, programing courses evaluations use a comparative method to test their students. That is, the student must analyze the content of some piece of code in order to understand its logic. However, most courses do not use special support mechanisms for this task. This paper presents a software tool designed to support teaching and learning tasks related with programming courses. The main objective is to increase the motivation of the students using tools developed by their classmates. In future, the final software tool will be included as part of the course materials. Then, other students will have the opportunity to use the software to test their programming knowledge.
A multi-center randomized controlled trial to compare a self-ligating bracket with a conventional bracket in a UK population: Part 1: Treatment efficiency.

OBJECTIVE To use a two-arm parallel trial to compare treatment efficiency between a self-ligating and a conventional preadjusted edgewise appliance system. MATERIALS AND METHODS A prospective multi-center randomized controlled clinical trial was conducted in three hospital orthodontic departments. Subjects were randomly allocated to receive treatment with either a self-ligating (3M SmartClip) or conventional (3M Victory) preadjusted edgewise appliance bracket system using a computer-generated random sequence concealed in opaque envelopes, with stratification for operator and center. Two operators followed a standardized protocol regarding bracket bonding procedure and archwire sequence. Efficiency of each ligation system was assessed by comparing the duration of treatment (months), total number of appointments (scheduled and emergency visits), and number of bracket bond failures. RESULTS One hundred thirty-eight subjects (mean age 14 years 11 months) were enrolled in the study, of which 135 subjects (97.8%) completed treatment. The mean treatment time and number of visits were 25.12 months and 19.97 visits in the SmartClip group and 25.80 months and 20.37 visits in the Victory group. The overall bond failure rate was 6.6% for the SmartClip and 7.2% for Victory, with a similar debond distribution between the two appliances. No significant differences were found between the bracket systems in any of the outcome measures. No serious harm was observed from either bracket system. CONCLUSIONS There was no clinically significant difference in treatment efficiency between treatment with a self-ligating bracket system and a conventional ligation system.
Embedded contact homology and its applications

Embedded contact homology (ECH) is a kind of Floer homology for contact three-manifolds. Taubes has shown that ECH is isomorphic to a version of Seiberg-Witten Floer homology (and both are conjecturally isomorphic to a version of Heegaard Floer homology). This isomorphism allows information to be transferred between topology and contact geometry in three dimensions. In this article we first give an overview of the definition of embedded contact homology. We then outline its applications to generalizations of the Weinstein conjecture, the Arnold chord conjecture, and obstructions to symplectic embeddings in four dimensions.
London as a Provincial Capital

Allen, J.R. L. , and Fulford, M.G. 1986: 'The Wentlooge Level: a Romano-British saltmarsh reclamation in south-east Wales', Britannia 17, 91-117 Bell, M. 1991: 'Goldcliff excavations 1991', Archaeology in the Severn Estuary 2, 13-21 Bell, M. 1992: 'Field survey and excavation at Goldcliff 1992', Archaeology in the Severn Estuary 3,15-29 Bell, M. 1993: 'Field survey and excavation at Goldcliff, Gwent 1993', Archaeology in the Severn Estuary 4, 81-102 Bell, M. 1994: 'Field survey and excavation at Goldcliff, Gwent 1994', Archaeology in the Severn Estuary 5,H5-44 Bell, M. 1996: 'Coastal change and wetland heritage at Goldcliff', Monmouthshire Antiq. 12 (Essays in honour of Jeremy K. Knight) ,8-17 Coxe, W. 1801: An Historical Tour in Monmouthshire (reprinted 1995), Cardiff Boon, G.C. 1980: 'Caerleon and the Gwent Levels in early historic times', in F.H. Thompson (ed.), Archaeology and Coastal Change, London, 24-36 Fulford, M.G. , Allen, J.R. L. , and Rippon, S.J. 1994: 'The settlement and drainage of the Wentlooge Level, Gwent: Excavation and survey at Rumney Great Wharf 1992', Britannia 25, 174-212 Knight, J.K. 1962: 'The Goldcliff Stone: A reconsideration', Monmouthshire Antiq. i.ii, 17-19 Morgan, O. 1882: 'Goldcliff and the Roman inscribed stone found there', in O. Morgan, Goldcliff and the Ancient Roman Inscribed Stone Together with Other Papers, Caerleon, 1-17 Parkhouse, J. 1990: 'Goldcliff', Archaeology in the Severn Estuary 1,11-14 Rippon, S.J. 1994: 'The Roman settlement and landscape at Kenn Moor, North Somerset: Interim report on survey and excavation in 1993/4', Archaeology in the Severn Estuary 5, 21-33 Rippon, S.J. 1996: Gwent Levels: The Evolution of a Wetland Landscape, CBA Res. Rep. 105, York Williams, D.H. 1971: 'Goldcliff Priory', Monmouthshire Antiq. 3.i (1971), 37-54 Wright, R.P. 1956: 'Roman Britain in 1956: Inscriptions', JRS 47, 226-34
Assessment of neonatal tetanus elimination in an African setting by lot quality assurance cluster sampling (LQA–CS)

Neonatal tetanus (NT) elimination, <1 case per 1000 live births (LB), was assessed at district level in Zimbabwe using a combined lot quality assurance–cluster sampling survey (LQA–CS). Three of the highest risk districts were selected. NT was considered eliminated if fewer than a specified number of NT deaths (proxy for NT cases) were found in the sample determined using operating characteristic curves and tables. TT2+ vaccine coverage was measured in mothers who gave birth 1–13 months before the survey and women aged 15–49 years. NT was considered as eliminated, TT2+ coverage was 78% (95% CI 71–82%) in women aged 15–49 and 83% (95% CI 76–89%) in mothers. The survey cost US$ 30000 excluding costs of consultants. NT incidence was below the elimination threshold (<1/1000 LB) in the surveyed districts and probably in all districts. LQA–CS is a practical, relatively cost effective field method which can be applied in an African setting to assess NT elimination status.