SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Raising open and user-friendly transparency-enabling technologies forpublic administrations

ROUTE-TO-PA is a multidisciplinary innovation project, that, by combining expertise and research in the fields of e-government, computer science, learning science and economy, is aiming at improving the impact, towards citizens and within society, of ICT-based technology platforms for transparency. 
ROUTE-TO-PA envisions that Information and Communication Technologies for Transparency must improve the engagement of citizens by making them able to socially interact over open data, by forming or joining existing online communities that share common interest and discuss common issues of relevance to local policy, service delivery, and regulation; moreover, ROUTE-TO-PA aims at engaging citizens to a higher degree by providing a robust and more holistic understanding of transparency, by underpinning the next generation open-data based transparency initiatives, ensuring that published data are those of value to citizens, with a personalized view in different forms to different segments of the citizens and public based on their profiles for facilitate better understanding. 
ROUTE-TO-PA will deliver the experimented innovative and engaging ICT platforms to ensure citizen-friendly, conscious, and effective access to open-data, by offering easy understanding of, and social collaboration on, open data offered by PAs. 
The objectives of Route-To-PA are: (1) develop a Social Platform for Open Data (SPOD) enabling social interactions among open data users and between open data users and government data ; (2) build Transparency-Enhancing Toolset (TET) as extensions for existing major Open Data Platforms; and (3) develop a set of recommendations (GUIDE) as good practice guide for open data publishers for achieving higher quality transparency through open data. The objectives are deployed, tested and experimented in a real setting, with at least 5 pilot studies in five different European countries.
Paleovirology, the evolutionary dynamics of viral cross-species transmissions, and the consequences of virus-host gene exchange

Viruses are ubiquitous, obligate intracellular parasites that have had a pervasive influence on the evolutionary history of life. Despite being extensively studied due to their role in disease, very little is known about their long-term evolution, since they do not form a geological fossil record. The new field of paleovirology is the study of ancient viruses, which in the genomic age has been facilitated by discoveries of endogenous viral elements (EVEs). EVEs are the remnants of viruses that have heritably integrated into the genomes of their hosts and we were the first to discover that viruses of all genome types can endogenise. This genomic fossil record contains information about viral/host interactions that would be impossible to recover from contemporary viral sequences. We will develop novel methodologies to exploit this data source in order to quantify how viral transmission dynamics vary between organisms and over time, and to identify the factors that determine this. While most EVEs are non-functional relics, they are sometimes captured and repurposed by their hosts to serve a beneficial function as antiviral genes. These remarkable examples indicate an important role for virus to host gene flow in evolution, and we will determine the nature and extent of this phenomenon. This gene exchange is mirrored in viruses that capture host genes to evade immune responses. We will integrate bioinformatics, evolutionary, and experimental techniques, to elucidate the evolutionary processes underlying virus-host gene flow in both directions, and to determine the molecular features that impact host immunity and viral pathogenicity. Now is the time to pursue this research, given the unprecedented availability of genomic data and the emergence of paleovirology. Our results will greatly improve our understanding of viral cross-species transmission, as well as the role of gene flow on the evolutionary arms race between viruses and their hosts over geological timescales.
Dynamical band structure engineering

The band structure of solids is mainly determined by the orbital overlap between neighboring atoms. Therefore, electronic properties are commonly controlled via the chemical composition that determines the relevant structural parameters such as bond angles and lengths. DANCE will use a radically different approach where control of the effective orbital overlap is achieved by periodic modulation of the solid with strong mid-infrared and terahertz light fields. In this way, DANCE will control the band structure including topology, many-body-interactions, and spin. The induced band structure changes will be investigated with time- and angle-resolved photoemission spectroscopy.

I will implement two different driving schemes that either coherently modulate the atomic positions or the momentum of the Bloch electrons. Resonant excitation of infrared-active phonon modes results in a periodic modulation of the band structure at twice the driving frequency and, thus, a modified average band structure. In addition, non-linear coupling to Raman-active phonons leads to new quasi-static crystal and band structures. Coherent modulation of the Bloch electron’s momentum becomes possible if the scattering time is bigger than the inverse driving frequency and is predicted to result in various topological phase transitions as well as dynamical localization of carriers. I will apply this approach to different low-dimensional solids with strong electron-phonon coupling and Dirac materials with long scattering times.

DANCE will address the following key questions: Can we switch between metallic, insulating and topological phases? Can we shape the potential energy surface of the solid to stabilize symmetry-broken ground states? Can we generate artificial magnetic fields to control the electron spin? The success of DANCE will establish dynamical band structure engineering as a new method for electronic structure control and pave the way for novel optoelectronic and optospintronic devices.
Massively extended modular monitoring for upper stages

Today, the amount of telemetry data from the sensors in the upper stages of a launch vehicle is very restricted, due to limited on-board-computing capacities combined with limited data bandwidth to ground. As a result, no detailed information about the various phases of the flight is available.

Massively extended Modular Monitoring for Upper Stages (MaMMoTH-Up) will improve the amount of monitored data by a factor of more than 2500 by integrating four key objectives, which are 
1. a self-configuring monitoring framework that will selectively observe, pre-process, and compress sensor data,
2. Components off the Shelf (COTS) that provide improved computing performance on a launcher,
3. design solutions guaranteeing the required levels of dependability, even when using relatively unreliable COTS components, and
4. a tight coupling with advanced dependability analysis.
Achieving these 4 goals is scientifically and practically highly relevant. A demonstrator at TRL 6 will show the advantages of the new monitoring infrastructure and a virtual prototype proves the advanced dependability enhancements. Thus, MaMMoTH-Up will provide a framework and a proof-of-concept for next-generation avionics solutions for a launcher based on COTS. Moreover, the work plan provides the path to realization, potentially including a demo-flight at the end of the project. The proposed technology is complementary with on-going launcher developments. The usage of COTS will represent a direct advantage over competitors; this will decrease time-to-market and decrease the European dependence on external suppliers.

MaMMoTH-Up directly addresses the call COMPET-2-2014 by providing an innovative avionics solution for safer and more reliable launch operations for conventional launching systems. The solution developed within MaMMoTH-Up strengthens competitiveness and cost-efficiency having an immediate commercial potential.
Surface modified nozzle plate

The invention relates to an ink jet printer nozzle plate containing nozzle holes and having a durable non-wettable layer on at least one surface thereof. The nozzle plate includes a polyimide material and the non-wettable layer contains a derivative of an amine-terminated silane compound, the amine-terminated silane compound derivative being covalently bound to the polyimide material of the nozzle plate. The layer also contains a derivative of a polydialkylsiloxane compound having a number average molecular weight ranging from about 400 to about 150,000 and an end group reactive with the amine-terminated silane compound derivative. The polydialkylsiloxane compound derivative is bound to the amine-terminated silane compound derivative by a condensation reaction to provide the durable non-wettable layer on the surface of the nozzle plate. Because of covalently bonding the silane and polydialkylsiloxane materials to the polyimide, the non-wettable layer remains substantially durable throughout the life of a printhead containing the nozzle plate.
Killer plasmids as drivers of genetic code changes during yeast evolution

The genetic code was established at a very early stage during the evolution of life on Earth and is nearly universal. In eukaryotic nuclear genes, the only known examples of a sense codon that underwent an evolutionary change of meaning, from one amino acid to another, occur in yeast species. The codon CUG is translated as Leu in the universal genetic code, but it has long been known to be translated as Ser in some Candida species. In recent work, we discovered that this switch is one of three parallel reassignments of CUG that occurred in three closely related clades of yeasts. CUG was reassigned once from Leu to Ala, and twice from Leu to Ser, in three separate events. The meaning of sense codons in the nuclear genetic code has otherwise remained completely stable during all of eukaryotic evolution, so why was CUG so unstable in yeasts? CODEKILLER will test a radical new hypothesis that the genetic code changes were caused by a killer toxin that specifically attacked the tRNA that translated CUG as Leu. The hypothesis implies that the reassignments of CUG were not driven by selection in favor of their effects on the proteome, as commonly assumed, but by selection against the existence of a particular tRNA. As well as searching for this killer toxin, we will study the detailed mechanism of genetic code change by engineering a reversal of a CUG-Ser species back to CUG-Leu translation, and investigate translation in some species that naturally contain both tRNA-Leu and tRNA-Ser molecules capable of decoding CUG.
TRANSSEPTAL ACCESS DEVICE AND METHOD OF USE

Systems, devices, and methods are provided for transseptal access of septa within a patient. The device can be advanced to a septum, e.g., towards a fossa ovalis. Instead of applying positive pressure to "tent" the septum, a negative pressure is applied to a lumen within a sheath, e.g., within an elongated member slidable within the sheath, via a negative pressure source such as a syringe on the proximal end of the sheath. This results in the septum pulling inward. The sheath employs a stationary needle-like central core component contained within the lumen of the sheath that punctures the septum when the same is pulled passed it by the negative pressure. The stationary needle-like central core component may be hollow and may form a portion of the elongated member or may be coupled to a distal end thereof.
Microbial communities in biomedical and environmental areas, and systems biology

The main goal of the proposed project is to strengthen scientific excellence and innovation capacity at Charles University and its Biotechnology and Biomedicine Center (CUNI-BIOCEV) via collaboration with Catholic University of Leuven (KUL), European Molecular Biology Laboratory (EMBL), and University Paris Diderot-Institute Jacques Monod (UPDiderot-IJM) in the field of high throughput molecular profiling of biological systems that will foster innovative research of complex microbial communities and their impact on health and environment. This research area includes the analysis of viromes, eukaryotic and bacterial microbioms, and selected defined model microbial communities to tackle challenges such as discovery of new pathogens (viruses), identification of new biomarkers for disease, drug targets and their applications. The research of complex microbial communities is based on three pillars: excellent knowledge in microbiology, high throughput technologies that generate voluminous datasets, and computation of these ""big data"". Strength of CUNI is an excellent knowledge of microbial systems important for human and animal health, and environmental issues. Weakness is the research capacity in analysis of ""big data"", limited experience in innovative research and technology transfer. Thus, twinning activities will be focused on promotion of knowledge and research capacity of a multidisciplinary team at CUNI in the defined area of bioinformatics, implementing cutting edge multiomics technologies, and establishing a pipeline from an excellent basic research to high value-added applications. Activities include exchange of scientists, joint supervision of young scientist, organization of seminars and lectures, participation in EMBL and CUNI courses, and dissemination in scientific community, industries and public. The project aim will be achieved via a complementary expertise of EU leading partners, which will reinforce an excellent research and competitiveness of CUNI.
Numérisation des processus de production chez METAL HOUSING s.r.o.

L’objet du projet «Digitalisation des processus de production dans METAL HOUSING s.r.o.» est la mise en œuvre d’activités qui mèneront à la numérisation des processus de production. Il s’agit principalement de l’achat et de la mise en œuvre d’une machine de découpe laser, d’un logiciel de communication bidirectionnelle, d’imprimantes 3D, de lunettes 3D et d’extension du système ERP.
Logistics, Distribution, and Support

Logistics manages the flow of product and information from manufacturing to a customer. Logistics integrates packaging, inventory, transportation, warehousing, delivery, and technical sales support. Every one of these arenas folds into the ultimate management of the development of embedded systems; their operations and parameters directly affect the final cost of the system.

The chapter addresses distribution logistics, support, maintenance and repair, and disposal. Distribution logistics looks at the delivery of the finished products to the customer and focuses on order processing, warehousing, and transportation. Support is the timely distribution of correct information to fix or implement the function of the embedded system. It is also that intangible perception that the supplier knows the situation and is there to help the customer.
GLASS-MELTING COMPONENT

The invention relates to the production of a glass-melting component (1) consisting of a refractory metal, at least some sections of a surface edge zone (2) of the glass-melting component (1) being compacted by being subjected to a local compressive stress, thus reducing their porosity in comparison to a section (3) of the volume which lies below the surface edge zone (2) and which has a residual porosity.
METHOD FOR MONITORING THE FUNCTION OF PRESSURE MEDIUM LINES AND CORRESPONDING DEVICE

The invention relates to a method and corresponding device for the functional monitoring of lines (1, 2) for units (3) driven by a pressurised medium, in particular, for leak monitoring of pressure lines (1, 2). At least one connector (A, B) is thus provided on the pressure line (1, 2), with a corresponding measuring sensor (4) and an analytical device (6). According to the invention, the measuring sensor (4, 5) records the pressure of the medium in the pressure line (1, 2) as a function of time. The corresponding measured values are transmitted to the analytical device (6). The analytical device (6) checks the actual pressure curve (P<sub
MAPEAMENTO DAS TEMÁTICAS DE GESTÃO DE OPERAÇÕES: UMA ANÁLISE BASEADA NA OFERTA DE ESPAÇO EDITORIAL PELAS REVISTAS E CONGRESSOS CIENTÍFICOS DA ÁREA

The practice of mapping themes according to recommended topics to potential authors by international refereed journals has been used in many research papers in Operations Management. Regardless of the methods and approaches used to classify the themes related to Operations Management, and the judgments that may be made based on them, it is important that such initiatives be carried out. Reflection about what is regarded as important by journals and conference proceedings in the area represent a first step for further reflection on what is really important for the Operations Management academic community. Thus, the purpose of this paper is to identify the themes that are valued in Operations Management in the context of Business Administration, based on the availability of editorial space in the main national and international academic journals and conference proceedings. The resulting mapping may be useful for understanding the most valued themes by editors and scientific committees and for monitoring the mainstream of studies on Operations Management in Brazil and in the world.
Homotopy theory of moduli spaces

Moduli spaces are spaces which describe all mathematical objects of some type. This proposal concerns the study of certain moduli spaces via techniques from homotopy theory, from several different points of view. The main moduli spaces in which we are interested are moduli spaces of manifolds, or equivalently classifying spaces of diffeomorphism groups of manifolds. We are also interested in spaces of positive scalar curvature metrics on smooth manifolds, which we study by relating them to moduli spaces of smooth manifolds.

The study of moduli spaces of manifolds via homotopy theory has seen a great deal of development in the last 20 years, the breakthrough result being Madsen and Weiss' calculation of the stable homology of moduli spaces of surfaces. More recently, Galatius and I have established analogous results for manifolds of higher dimension.

A main goal of this proposal is to study the homology of moduli spaces from a multiplicative point of view. This leads to higher-order forms of the phenomenon of homological stability in which the failure of ordinary homological stability is itself stable. Remarkably, our methods developed to handle moduli spaces of manifolds are sufficiently general to yield deep new results when applied to other moduli spaces in algebra and topology, such as moduli spaces of modules (equivalently, classifying spaces of general linear groups) or moduli spaces of graphs (equivalently, classifying spaces of automorphism groups of free groups). In each case our methods give new information about their homology outside of the traditional stable range.

Other goals of this proposal are to form new connections between spaces of Riemannian metrics of positive scalar curvature and infinite loop spaces, and to investigate the structure of tautological subrings of the cohomology of moduli spaces of manifolds, especially in relation to the tautological rings of moduli spaces of Riemann surfaces studied in algebraic geometry.
Automated reasoning with theories and induction for software technology

The long list of software failures over the past years calls for serious concerns in our digital society, creating bad reputation and adding huge economic burden on organizations, industries and governments. Improving software reliability is no more enough, ensuring software reliability is mandatory. Our project complements other advances in the area and addresses this demand by turning first-order theorem proving into an alternative, yet powerful approach to ensuring software reliability, 

Saturation-based proof search is the leading technology for automated first-order theorem proving.  The high-gain/high-risk aspect of our project comes from the development and use of saturation-based theorem proving as a unifying framework to reason about software technologies. We use first-order theorem proving methods not only to prove, but also to generate software properties that imply the absence of program errors at intermediate program steps.

Generating and proving program properties call for new methods supporting reasoning with both theories and quantifiers. Our project extends saturation-based first-order theorem provers with domain-specific inference rules to keep reasoning efficient. This includes commonly used theories in software development, such as the theories of integers, arrays and inductively defined data types, and automation of induction within saturation-based theorem proving, contributing to the ultimate goal of generating and proving inductive software properties, such as invariants.

Thanks to the full automation of our project, our results can be integrated and used in other frameworks, to allow end-users and developers of software technologies to gain from theorem proving without the need of becoming experts of it.
Peroxidase, polyphenol oxidase and acid phosphatase activities in the stigma-style tissue of Camellia sinensis (L) O. Kuntze following compatible and incompatible pollination

Changes in the activities of peroxidase, acid phosphatase and polyphenol oxidase in the stigma-style tissues of three clones of Camellia sinensis (L) O. Kuntze were investigated following legitimate and illegitimate pollina-tion. The activity of polyphenol oxidase and peroxidase increases significantly while that of acid phosphatase and the amount of protein decrease after cross-pollination in all the clones studied when compared to self-pollination. The amount of increase or decrease in the activity of enzymes is clone-specific. The possible role of these en-zymes in self-incompatibility mechanism in tea has been discussed. Keywords: Camellia sinensis, compatible and incompatible pollination,limitation on its performance at high collector current density. Keywords: SiGe DHBT, Si BJT, quasi-saturation, power dissipation, valenceformer averaging 18.02% and the latter 22.26%. Adults of P. hector utilized nearly 24 floral species as nectar sources, whose sugar concentrations (1258%) corresponded with 1550% in psychophilic flowers. They displayed a hovering habit while harvesting nectar, and frequently contacted the essential organs with probosics and head, thus promoting cross-pollination.
Proposal for a systematic preoperative assessment of pelvic endometriosis.

AIM Severe endometriosis represents one of the most challenging clinical and surgical cases in gynecology. Preoperative assessment of the extension of the disease is of key relevance to opt for medical or surgical therapy and, sometimes, to plan a multidisciplinary approach. METHODS A systematic diagnostic approach is proposed and evaluated in a tertiary referral centre. It is based on an initial clinical evaluation and a second level ultrasound of the pelvis. Further exams, whenever required, have to be aimed at demonstrating specific involvements of organs other than ovaries and peritoneum such as bowel, urinary tract and nerves. RESULTS The application of the proposed protocol has led to a reduction of the number of non-radical surgical procedures due to incomplete consent associated with missed diagnosis over the years (P<0.001). CONCLUSION Our findings support the efficacy of a systematic diagnostic approach to endometriosis. This allows a correct planning of therapy with a multidisciplinary approach when necessary.