SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Certified quantum security

Digital communication permeates all areas of today's daily life. Cryptographic protocols are used to secure that
communication. Quantum communication and the advent of quantum computers both threaten existing cryptographic
solutions, and create new opportunities for secure protocols. The security of cryptographic systems is normally ensured by
mathematical proofs. Due to human error, however, these proofs often contain errors, limiting the usefulness of said proofs.
This is especially true in the case of quantum protocols since human intuition is well-adapted to the classical world, but not
to quantum mechanics. To resolve this problem, methods for verifying cryptographic security proofs using computers (i.e.,
for ""certifying"" the security) have been developed. Yet, all existing verification approaches handle classical cryptography
only - for quantum protocols, no approaches exist.

This project will lay the foundations for the verification of quantum cryptography. We will design logics and software tools
for developing and verifying security proofs on the computer, both for classical protocols secure against quantum computer
(post-quantum security) and for protocols that use quantum communication.

Our main approach is the design of a logic (quantum relational Hoare logic, qRHL) for reasoning about the relationship
between pairs of quantum programs, together with an ecosystem of manual and automated reasoning tools, culminating in
fully certified security proofs for real-world quantum protocols.

As a final result, the project will improve the security of protocols in the quantum age, by removing one possible source of
human error. In addition, the project directly impacts the research community, by providing new foundations in program
verification, and by providing cryptographers with new tools for the verification of their protocols.
Layer-by-Layer Assembly of DNA- and Protein-Containing Films on Microneedles for Drug Delivery to the Skin

Microneedle patches contain micrometer-scale needles coated with bioactive agents for minimally invasive drug delivery to the skin. In this study, we introduce layer-by-layer approaches to the fabrication of ultrathin DNA- and protein-containing polyelectrolyte films (or "polyelectrolyte multilayers", PEMs) on the surfaces of stainless steel microneedles. DNA-containing PEMs were fabricated on microneedles by the alternating deposition of plasmid DNA and a hydrolytically degradable poly(β-amino ester). Protein-containing PEMs were fabricated using sodium poly(styrene sulfonate) (SPS) and bovine pancreatic ribonuclease A (RNase A) conjugated to a synthetic protein transduction domain. Layer-by-layer assembly resulted in ultrathin, uniform, and defect-free coatings on the surfaces of the microneedles, as characterized by fluorescence microscopy. These films eroded and thereby released DNA or protein when incubated in saline or when inserted into porcine cadaver skin and deposited DNA or protein along the edges of microneedle tracks to depths of ∼500 to 600 μm. We conclude that PEM-coated microneedles offer a novel and useful approach to the transdermal delivery of DNA- and protein-based therapeutics and could also prove useful in other applications.
Wordnet and Ontology Based Query Expansion for Semantic Information Retrieval in Sports Domain

Semantic Search has been a major longing factor from the envisage state of Semantic Web. Information on the Web is growing at a very rapid pace and has become quite voluminous over the past few years. Semantics of the query is not considered in Traditional Search system since it is a mere Keyword based Search. To increase the number of relevant documents retrieved, queries need to be disambiguated by looking at their context. A query expansion algorithm for Semantic Information Retrieval in Sports Domain (SIRSD) is proposed to do Semantic Search to improve search over large document repositories. This algorithm reformulates user queries by using Word Net and domain ontology to improve the returned results. Our proposal is illustrated with sample experiments showing improvements with respect to Traditional Search and providing ground for further research and discussion. SIRSD reduces the issue of semantic interoperability during the user query search. It has been inferred that there will be a higher value of average precision and recall for the Semantic Search system when compared to Traditional Search. The results show its effectiveness in generating a suitable number of query search with an accuracy of 87.1% compared to other competitors of generic search engines.
Elucidating polarity pathways in the fly and murine intestinal epithelium

Cell polarity is essential for normal cell function and for various developmental processes, such as axis determination, asymmetric stem cell divisions, and cell migration. Polarity is integral for tissue organization and failure in this process is a hallmark of human malignancies.
Extensive studies in diverse model systems have helped to establish recurring mechanisms that drive polarity in various cell types. Yet, these conserved polarity regulators are not universally required and it emerges that some cells use distinct polarity mechanisms in a context dependent manner. For example, the polarization of the Drosophila intestinal epithelium does not require any of the canonical polarity regulators, unlike all other well-characterized Drosophila epithelia. However, little is known about how this unconventional polarity is established.
This proposal aims to elucidate novel alternative polarity pathways in the intestinal epithelium of Drosophila. I will conduct a large--scale forward genetic screen to identify novel polarity regulators in the fly gut epithelium. Furthermore, I will examine the functional conservation of the newly identified polarity regulators in the murine intestinal stem cell organoids. Overall, this proposal will shed novel insights into the epithelial biology of the intestinal system.
WIDE-BAND MOTION SENSOR SYSTEM FOR A VEHICLE, BASED ON AN ELECTROACTIVE COMPOSITE MATERIAL

The invention relates to a method for monitoring the state of a vehicle component and/or industrial-system component (20), comprising: - operating a sensor device (10) in order to generate a sensor signal which is induced by a motion characteristic of the vehicle component and/or industrial-system component (20), the sensor device (10) being mounted on the vehicle component and/or industrial-system component (20) and having an electroactive composite material; and - evaluating the sensor signal in order to extract a first vibration frequency and a second vibration frequency of the vehicle component and/or industrial-system component (20), the first vibration frequency being in a high-frequency range of 10 kHz to 1 MHz, and the second vibration frequency being in a low-frequency range of below 10 kHz.
Dynamics of Public Debt Service in the Context of Romania's Current Financial Crisis

Abstract In the larger context of national economic policies, Romania has to ensure that both the level and the growth of public debt are sustainable, and that debt service can be provided under various circumstances while observing the objectives of cost and risk. It is also necessary to maintain public debt along a sustainable trend and to implement a credible strategy in order to reduce debt level in case it is excessive. In this context, the hereby paper attempts to analyze an important index of public debt, namel y public debt service and to further identify the dominant part held by the two components of government debt service - internal governmental public debt service and external governmental public debt service – which are crucial when managing public debt under the circumstances of the current financial crisis.
Development orientation and teaching reform thinking of the landscape architecture discipline in Shandong Jianzhu University

The landscape architecture discipline in the 21st century faces the new situation like the challenges of urbanization,the influence of ecological concepts and the impact of social informationization.The ecological design and construction to ensure ecological balance and environmental quality becomes the important task of modern landscape architects.The landscape architecture discipline in Shandong Jianzhu University is orientated as a featured one closely integrated with environmental ecology with the architecture and environmental art as its foundation and the engineering design as its strong suit.The train of thought of teaching reform in the landscape architecture discipline is also put forward as follows: adjusting the teaching content,using a variety of teaching methods and focusing on students' abilities.
Innovative tag system providing affordable time-temperature quality control of individual temperature sensitive products

The cold-chain is the temperature controlled supply chain used to transport temperature-sensitive goods such as dairy products, chocolate, fresh vegetable, vaccines, etc. Any breach in the cold-chain that exposes the goods outside these temperatures is referred to as a thermal excursion. In the EU alone, over 60% of the food losses occur due to failures in the logistical chain, making it a priority to improve the methods of tackling the inefficiencies in the cold-chain. To identify the points in the process at thermal excursions take place we can use Time Temperature Integrators (TTIs), which are attached to the product packaging and help track the temperature history throughout the cold-chain. Our solution at Scriba Nanotecnologies Srl is the T-TAG, a quality control TTI adhesive label that uses thermosensitive materials that undergo an irreversible change in their optical contrast when exposed to particular temperature ranges. We already have T-TAG prototypes tested and ready for industrial validation that can monitor thermal excursions above 8°C for periods of 48h. The optical contrast signal can also be monitored using a simple reader or most smartphone cameras, allowing to standardise the readout and automate the process to easily interpret and log thermal excursions. The innovation of the label design enables its small size (16mm x 20mm and 1mm thickness), which also means one can track individual packaging. We plan to set-up the mass production of the T-TAG to reduce the cost of manufacturing to €0.006 per tag, making accurate quality control possible at a fraction of the price of competing solutions – €0.15 per tag compared to €0.80-8.00 for thermochromic labels and data loggers. Our initial sale predictions based on a product launch by 2019, aim for an accumulated turnover of €18.8 million by 2023, implying a ROI of 2.84 and 31 new jobs created.
LOW TEMPERATURE-SINTERING REAR SILVER PASTE FOR ALL-ALUMINUM BACK SURFACE FIELD CRYSTALLINE SILICON SOLAR CELL

A low temperature-sintering rear silver paste for an all-aluminum back surface field crystalline silicon solar cell includes the following components in part by mass: 50-70 parts of a nano-silver powder, 20-50 parts of an organic vehicle, 0.1-0.3 parts of a dispersant and 0.1-0.3 parts of a thixotropic agent. The nano-silver powder adopted in the present invention has good sintering activity, and thus is suitable for sintering at low temperature. In addition, part of the silver paste will permeate into a rear aluminum paste in the process of sintering to form good silver-aluminum contact.
Main street / suburban mall / power centre: emerging retail synergies and resilient urbanity

This thesis explores a range of emerging shopping morphologies and their capacities for resilient urbanity. Twentieth century shopping centre development was largely marked by the rise of the suburban mall and power centre (big box store cluster) and the decline of the main street, along with a drift towards car-dependency and privatisation. Twenty-first century retail landscapes, however, increasingly form synergies between these three retail types, and these synergies are not well investigated in the existing research. Deploying a mix of assemblage, resilience thinking, and typomorphology, this thesis comprises a study of one hundred cases of contemporary retail synergies with a broad global spread. Detailed mapping and diagrammatic analysis are supplemented with interviews and observations from selected agents and shopping centres. These cases show a diverse range of emergent shopping morphologies: from simple combinations of any two retail types, to highly-experimental and complex assemblages of two or more synergies. Thirteen key forms of emergent retail synergies are identified, showing a trend towards more fine-grained, multi-functional, and pedestrian-friendly shopping morphologies consistent with more resilient forms of urbanity. Many retail synergies, however, continue to embody anti-urban tendencies including entrenched car-dependency and strong private control.
OPTICAL SCANNER

An optical scanner has a light distributor (26) rotating about an axis (32) spaced from but parallel to the optical axis of a light source (106). Lenses (94) are mounted on a carrier that rotates about the optical axis. The distributor and carrier rotate at the same angular velocity and are arranged so that the lens (94) and associated distributor (26) move across the media at the same time. By rotating the lens about the optical axis, the scanning beam remains in the central zone of the lens as it passes across the media.
Low-Latency and private edge computing in random-access networks

We are living in a world where connected devices outnumber human population, and this trend keeps growing: around 24.6 billion connections are forecasted in 2025—more than three times the estimated population. This gives rise to the Internet of Things (IoT) in which virtually all devices are interconnected and continuously share data. The IoT is a key enabler for a host of applications, such as intelligent transportation systems, smart cities, and smart grids. Thus it promises to transform the way we live. To realize the IoT, it is crucial and timely to develop a communication and computation infrastructure that is able to support the processing of a vast amount of time-sensitive data, for which a centralized computation is inadequate. Edge computing has emerged as a novel paradigm to guarantee very low-latency and high-bandwidth computing services. It involves moving the computation power from the cloud to where data is generated, by pooling the available resources at the network edge.

In this project, we investigate how low-latency and private edge computing protocols can be developed in wireless random-access networks. Relying on tools from information theory and coding theory, we will tackle the two following challenging objectives: i) to establish a foundation for privacy and reliability in latency-critical, multi-client and multi-server edge computing in random-access networks; and ii) to devise resilient coding schemes together with energy-efficient and scalable wireless random-access protocols to achieve low latency and preserve privacy in distributed edge computing. The results of this project will help paving the way to the full realization of the IoT in the near future.
Downscaling of Open Coarse Precipitation Data Using a Machine Learning Algorithm

In this chapter, the authors propose a novel statistical model with a residual correction of downscaling coarse precipitation TRMM 3B43 product. The presented study was carried out over Morocco, and the objective is to improve statistical downscaling for TRMM 3B43 products using a machine learning algorithm. Indeed, the statistical model is based on the Transformed Soil Adjusted Vegetation Index (TSAVI), elevation, and distance from the sea. TSAVI was retrieved using the quantile regression method. Stepwise regression was implemented with the minimization of the Akaike information criterion and Mallows' Cp indicator. The model validation is performed using ten in-situ measurements from rain gauge stations (the most available data). The result shows that the model presents the best fit of the TRMM 3B43 product and good accuracy on estimating precipitation at 1km according to 𝑅2, RMSE, bias, and MAE. In addition, TSAVI improved the model accuracy in the humid bioclimatic stage and in the Saharan region to some extent due to its capacity to reduce soil brightness.
Saúde de travestis e pessoas trans no Rio de Janeiro e Região Metropolitana: estratégias e condições de acesso

Resumo O presente artigo tem como objetivo discutir estratégias e condições de acesso à saúde de travestis e pessoas trans a partir de informações colhidas por pesquisa realizada entre 2016 e 2017, que consistiu na aplicação de questionário em 391 pessoas trans e travestis habitantes do Município do Rio de Janeiro e de sua Região Metropolitana, bem como em entrevistas realizadas com a equipe de entrevistadores/as sobre o próprio processo de aplicação do questionário. São abordadas as seguintes dimensões: estratégias de acesso à informação e ao cuidado em saúde transespecífica; processos de afirmação de gênero e modificações corporais não-invasivas e procedimentos cirúrgicos; acesso e uso de hormônios e saúde mental. Os dados coletados apontam para a precariedade no acesso aos cuidados em saúde e para a importância de os serviços de saúde procurarem acolher efetivamente a enorme demanda não atendida dessa população por tais cuidados, sem culpabilizá-la por se manter muitas vezes fora de tais serviços.
A FAST FLARE AND DIRECT REDSHIFT CONSTRAINT IN FAR-ULTRAVIOLET SPECTRA OF THE BLAZAR S5 0716+714

The BL Lacertae object S50716+714 is one of the most studied blazars on the sky due to its active variability and brightness in many bands, including VHE gamma rays. We present here two serendipitous results from recent far-ultraviolet spectroscopic observations by the Cosmic Origins Spectrograph onboard the Hubble Space Telescope. First, during the course of our 7.3 hour HST observations, the blazar increased in flux rapidly by ~40% (-0.45 mag/h) followed by a slower decline (+0.36 mag/h) to previous far-UV flux levels. We model this flare using asymmetric flare templates and constrain the physical size and energetics of the emitting region. Furthermore, the spectral index of the object softens considerably during the course of the flare from alpha(nu)=-1.0 to alpha(nu)=-1.4. Second, we constrain the source redshift directly using the ~30 intervening absorption systems. A system at z=0.2315 is detected in Lya, Lyb, OVI, and NV and defines the lower bound on the source redshift. No absorbers are seen in the remaining spectral coverage (0.2315<z(Lya)<0.47) and we set a statistical upper bound of z<0.322 (95% confidence) on the blazar. This is the first direct redshift limit for this object and is consistent with literature estimates of z=0.31+-0.08 based on the detection of a host galaxy.
d-SEAMS: Deferred Structural Elucidation Analysis for Molecular Simulations

Structural analyses are an integral part of computational research on nucleation and supercooled water, whose accuracy and efficiency can impact the validity and feasibility of such studies. The underlying molecular mechanisms of these often elusive and computationally expensive processes can be inferred from the evolution of ice-like structures, determined using appropriate structural analysis techniques. We present d-SEAMS, a free and open-source post-processing engine for the analysis of molecular dynamics trajectories, which is specifically able to qualitatively classify ice structures, in both strong confinement and bulk systems. For the first time, recent algorithms for confined ice structure determination have been implemented, along with topological network criteria for bulk ice structure determination. Recognizing the need for customization in structural analysis, d-SEAMS has a unique code architecture, built with `nix`, employing a `YAML`-`Lua` scripting pipeline. The software has been designed to be user-friendly and easy to extend. The engine outputs are compatible with popular graphics software suites, allowing for immediate visual insights into the systems studied. We demonstrate the features of d-SEAMS by using it to analyze nucleation in the bulk regime and for quasi-one and quasi-two-dimensional systems. Structural time evolution and quantitative metrics are determined for heterogenous ice nucleation on a silver-exposed $\beta$-AgI surface, homogenous ice nucleation, flat monolayer square ice formation and freezing of an ice nanotube.
Espansione della rivista contemporanea nel mercato estero

Il progetto mira all'internazionalizzazione della rivista Contemporânea con l'obiettivo di riconoscere come piattaforma internazionale di riferimento per l'eccellenza dei contenuti e dell'innovazione, contribuendo alla promozione internazionale della produzione artistica contemporanea portoghese.
Evaluation of Gwanggyo Technovalley in Korea and policy implication for the regional innovation

The effectiveness of an “Innovation Cluster” approach is well acknowledged in the science and technology policy. There are many successful cases that the innovation clusters are leading the national or regional competitiveness. However, it is also true that there are many cases, which do not produce the expected innovation. In this sense, a regional case of Korea was reviewed with other two international cases (Oulu Technopolis and Research Triangle Park). As the leading innovation cluster of a region (Gyeonggi Province, Korea), Gwanggyo Technovalley (GTV) hosts research institutes, universities and many small and medium companies. Its hardware development was completed in 2008 but there are many problems such as networking among innovation actors, marketing of GTV and so on. In addition, there is no managerial body and a master plan and therefore has some difficulties to market it and coordinate activities among the tenant companies and research institutes within the complex. These problems occurred because of inappropriate policy making and regional political conditions, which request fast result from the innovation policy. The GTV case may not be generalized, however it shows one of the typical problems of regional government initiated innovation cluster. It is suggested that the policy makers of innovation clusters in the region should pay more attention to long-term development plan and installing right management body in the innovation cluster.