SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Abstractions for safe and secure hw-sw systems

Trains, planes, and other safety- and security-critical systems that our society relies on are controlled by computer systems, as is much of our critical infrastructure, including the power grid and cellular networks. But can we trust in the safety and security of these systems?
The starting point of SafeSecS is the observation that today’s hardware-software abstractions, instruction set architectures (ISAs), are fundamentally inadequate for the development of safe or secure systems. Indeed, ISAs abstract from timing, making it impossible to develop safety-critical systems that have to satisfy real-time constraints on top of them. Neither do ISAs provide sufficient security guarantees, making it impossible to develop secure systems on top of them. As a consequence, engineers are forced to rely on brittle timing and security models that are proven wrong time and again, as evidenced e.g. by the recent Spectre attacks; putting our society at risk.

SafeSecS will attack the problem at its root by introducing a framework centered around hardware-software contracts that extend the guarantees provided by ISAs to capture key non-functional properties. Hardware-software contracts formally capture the expectations on correct hardware implementations and they lay the foundation for achieving safety and security guarantees as the software level. Below the hardware-software interface, SafeSecS will contribute modular design principles and tools to construct microarchitectures that provably satisfy a given hardware-software contract. Above the hardware-software interface, SafeSecS will develop rigorous, precise, and scalable techniques to guarantee key safety and security properties at the software level on top of hardware-software contracts. As a whole, SafeSecS will enable the systematic engineering of safe and secure hardware-software systems we can trust in.
Promoção art-MOTOR através da participação na feira automotiva «AUTOMECHANIKA» Frankfurt, Alemanha 2020

O objeto do projeto é a participação da empresa ART-MOTOR na feira intitulada. «Automechanika» na forma de um expositor, que permitirá a promoção da empresa e seus produtos inovadores, entre outros, a coluna de direção ajustável em duas direções, bem como outras, ou seja, buchas, rodas de aço, eixos do sistema de direção, partes do sistema de travagem, amortecedores, elementos de mudança de engrenagem. Esta feira é um evento internacional anual a ser realizado na Alemanha em Frankfurt am Main de 08.09 a 12.9.2020. Esta exposição é uma das maiores exposições no campo da tecnologia automotiva. O efeito direto do projeto será apresentar a ART-MOTOR e seus produtos, aumentar os mercados de vendas por áreas prioritárias e aumentar as vendas de exportação. Período de execução do projeto: 01.10.2019-31.12.2020 O custo total do projeto é PLN: 141066,26 PLN, dos quais: — custos elegíveis: 118481,47 PLN — custos inelegíveis: Fontes de financiamento dos custos elegíveis do projeto: — Fundos públicos (Fundo Europeu de Desenvolvimento Regional): 70 % — Recursos próprios: 30 % Fonte de financiamento de custos inelegíveis: — 100 % de fundos próprios
Representational model on Moodle’s activity: learning styles and navigation strategies

This paper attempts to describe the conditions related to the representation of 63 navigational paths carried out on Moodle’s platform. The hypothesis that we advance is that learning styles determine the mode in which users browse through websites. The post-observational notes and the analysis of logs (register of users’ activity) indicate two main facts: on the one hand, the elaboration of a tool that is able to convert log files into graphs that could be visualized as courses of educational browsing. On the other hand, the confirmation of the relation between ways of learning and styles of browsing, giving rise to a method that anticipates choices made by users on the digital platform. There has been stated that assimilative and convergent learning students solve the assigned task consulting, preferably, the content modules on communicative interaction. For their part, accommodating learning students follow precise instructions and rely on his peers’ activity. Finally, divergent learning students tend to prefer collaborative activities and they also help each other. The practical application of the results aims at the usefulness of the findings in university education context, which can be used in the elaboration of quality assessments and the identification of the needs of educational mediation.
Genetic variation exposes regulators of blood cell formation in vivo in humans

The human hematopoietic system is a paradigmatic, stem cell-maintained organ with enormous cell turnover. Hundreds of billions of new blood cells are produced each day. The process is tightly regulated, and susceptible to perturbation due to genetic variation. 

In this project, we will explore an innovative, population-genetic approach to find regulators of blood cell formation. Unlike traditional studies on hematopoiesis in vitro or in animal models, we will exploit natural genetic variation to identify DNA sequence variants and genes that influence blood cell formation in vivo in humans. Instead of inserting artificial mutations in mice, we will read out ripples from the experiments that nature has performed during evolution. 

Building on our previous work, unique population-based materials, mathematical modeling, and the latest genomics and genome editing techniques, we will:

1. Develop high-resolution association data and analysis methods to find DNA sequence variants influencing human hematopoiesis, including stem- and progenitor stages. 

2. Identify sequence variants and genes influencing specific stages of adult and fetal/perinatal hematopoiesis.

3. Define the function, and disease associations, of identified variants and genes. 

Led by the applicant, the project will involve researchers at Lund University, Royal Institute of Technology and deCODE Genetics, and will be carried out in strong environments. It has been preceded by significant preparatory work. It will provide a first detailed analysis of how genetic variation influences human hematopoiesis, potentially increasing our understanding, and abilities to control, diseases marked by abnormal blood cell formation (e.g., leukemia).
Performance evaluation of participating nations at the 2012 London Summer Olympics by a two-stage data envelopment analysis

This study measures the performance of participating nations at the Olympics, considering the quest for medals as a two-stage Olympic process. The first stage is characterized as athlete preparation (AP) and the second stage as athlete competition (AC). We extend the relational model from the constant returns to scale framework to the variable returns to scale version. The efficiency of each participating nation in the entire two-stage Olympic process is calculated as a product of the efficiencies of both stages, and a heuristic search is applied to the extended relational model. The efficiency of each stage can be obtained and directions for improving the performance of participating nations in the two-stage Olympic process can be identified. An empirical study of the 2012 London Summer Olympic Games reveals that the efficiency of the AP stage is higher than that of the AC stage for the majority of participants. In addition, a plot of the relationship between these three efficiencies shows that the efficiency of the entire two-stage Olympic process is more significantly related to that of the AC stage than that of the AP stage.
Abstract 2771: Genetic variation in interleukin, TLR, TNF and TRAF genes of NF-κB activation pathway and risk of prostate cancer

Proceedings: AACR 102nd Annual Meeting 2011‐‐ Apr 2‐6, 2011; Orlando, FL

It has been suggested that NF-κB triggers both the onset and resolution of inflammation by governing the expression of genes essential in activating malignancy-promoting signaling pathways. Members of the NF-κB activation pathway include tumor necrosis factor (TNF), several interleukins (IL), TNF receptor associated factors (TRAFs), and toll-like receptors (TLR). These molecules are involved in cell proliferation, differentiation, apoptosis and response to proinflammatory cytokines and mediating the production of cytokines necessary for the development of effective immunity. Common single nucleotide polymorphisms (SNP) in TNF, IL, TRAF, TLR and the main units of NF-κB genes were assessed for the association with prostate cancer (PrCA) risk in a clinic-based study of Caucasian and African-American cases and controls. A total of 709 tagSNPs (with minor allele frequency > = 5% and r2>=0.8) in 54 genes were genotyped in 903 Caucasians (552 cases and 351 controls) and 174 African-Americans (74 cases and 100 controls) using a custom Illumina Infinium II ® assay. Logistic regression models were used to examine each tagSNP with PrCA (adjusting for age and family history of prostate cancer and using an additive model for the SNP). Empirical p-values were generated by permutation (using 10,000 replicates) to correct for multiple comparisons. Statistically significant associations were observed in Caucasians at the NFkBIL1 and IL1R1 genes. The strongest evidence for association came at a polymorphism in the promoter region of the NFkBIL1 gene (rs3219184) (OR = 0.51 [95% CI 0.35-0.74], p = 0.0005), and a polymorphism in the 3’ flanking region of the IL1R1 gene (rs3917332) (OR = 1.60 [95% CI 1.23-2.09], p = 0.0005). We conclude that common variations in NFkBIL1 and IL1R1 might play important roles in PrCA susceptibility.

Citation Format: {Authors}. {Abstract title} [abstract]. In: Proceedings of the 102nd Annual Meeting of the American Association for Cancer Research; 2011 Apr 2-6; Orlando, FL. Philadelphia (PA): AACR; Cancer Res 2011;71(8 Suppl):Abstract nr 2771. doi:10.1158/1538-7445.AM2011-2771
WINDING STRUCTURE OF A SYSTEM FOR INDUCTIVE POWER TRANSFER, METHOD OF OPERATING THE WINDING STRUCTURE AND SYSTEM OF INDUCTIVE POWER TRANSFER WITH THE WINDING STRUCTURE

The invention relates to a winding structure of a system for inductive power transfer, wherein the winding structure (6) comprises a main winding structure with a first sub- winding (2a) and at least another sub-winding (2b), wherein the first sub-winding (2a) generates or receives a first portion of a main electromagnetic field and the at least one other sub-winding (2b) generates or receives another portion of the main electromagnetic field, wherein the winding structure (6) comprises at least one additional winding structure (5a, 5b, 5c, 5d), wherein the at least one additional winding structure (5a, 5b, 5c, 5d) is arranged asymmetric with respect to the first and the other sub-winding (2a, 2b). Further, the invention relates to a method of operating a winding structure (6) of a system for inductive power transfer and such a system for inductive power transfer.
Natural Convection of Nanofluids in Enclosures Heated Laterally and Underneath

A two-phase mixture model is used to study natural convection in a square cavity filled with CuO+H 2 O nanofluids, in the hypothesis of temperature-dependent physical properties, assuming that Brownian diffusion and thermophoresis are the primary slip mechanisms between solid and liquid phases. The cavity is heated at one side and cooled at the opposite side, whereas the horizontal walls are assumed either both adiabatic, or the bottom heated and the top cooled. A computational code based on the SIMPLE-C algorithm is used to solve the system of the mass, momentum and energy transfer governing equations. It is found that, owing to the effects of the slip motion occurring between solid and liquid phases, the rate of heat transferred across the cavity by the nanofluid in the heating-from-below configuration is remarkably higher than that transferred by the pure base liquid. Moreover, in this particular configuration the addition of nanoparticles to the base liquid generates periodicity in heat transfer. Additionally, the heat transfer enhancement is discovered to increase as the imposed temperature difference is increased, showing a smooth maximum at an optimal particle loading.
USE OF MALEIMIDE SALTS FOR CONTROLLING PHYTOPATHOGENIC FUNGI

The present invention relates to the use of novel and known maleimide salts for controlling phytopathogenic fungi, and to a method for controlling phytopathogenic fungi in plant protection, in the domestic and hygiene sectors and in the protection of materials, and to plant protection products comprising these maleimide salts.
Spectral decomposition of phosphorescence decays

In phosphor thermometry, the fitting of decay curves is a key task in the robust and precise determination of temperatures. These decays are generally assumed to be mono-exponential in certain temporal boundaries, where fitting is performed. The present study suggests a multi-exponential method to determine the spectral distribution in terms of decay times in order to analyze phosphorescence decays and thereby complement the mono-exponential analysis. Therefore, two methods of choice are compared and verified using simulated data in the presence of noise. Addtionally, this spectral decomposition is applied to the thermographic phosphor Mg4FGeO6 : Mn and reveals changes in the exponential distributions of decay times upon a change of the excitation laser energy.
New sustainable and recyclable catalytic materials for proton exchange membrane electrolysers

RECYCALYSE will disrupt the energy storage market through novel and recyclable catalytic materials made of abundant elements to be used in the most promising type of electrolysers to date, i.e. proton exchange membrane electrolysers (PEMEC). To overcome the main barriers that remain for PEMEC, namely high capital cost and use of critical raw materials (CRM), and to boost the economic competitiveness of EU stationary storage production, two main objectives have been defined. First, we will develop and manufacture highly active sustainable oxygen evolution (OER) catalysts that will reduce or eliminate CRMs, thus decreasing CO2 emissions and reducing cost. This will be achieved using novel supports, which we will also develop during the project, and by substituting CRMs with earth abundant elements such as Ni, Mn and Cu. Secondly, we will develop a recycling scheme for PEMEC catalysts, electrodes and overall system, thus reducing or avoiding the dependence on materials imports in Europe, implementing the recovered elements in the new developed catalysts, thus reaching a full circular economy.

To meet these objectives RECYCALYSE combines world-leading research institutions and innovative and R&D performing SMEs specialised in the in hydrogen, materials engineering and recycling.

The novel catalysts prepared with the new green processes along with the PEMEC prototype that we will design and build, will situate EU in an excellent position regarding energy storage. We will produce hydrogen with a high purity, and its transformation into energy will greatly reduce CO2 emissions. Furthermore, the novel low-CRM catalysts and developed materials recycle processes will strongly contribute to fulfil EU 2020 and 2050 targets.

In summary, RECYCALYSE will result in a substantial reduction in the levelised costs of energy storage, leading to an improved technical and economic competitiveness of EU energy storage production suitable to store large amount of energy with at cost.
MACURITSK

THE AIM OF THIS PROJECT IS TO MARKET THE MACURISM KIT, I.E. UNKIT, ANALYTICAL FOR ASSESSING INDIVIDUAL GENETIC PREDISPOSITION TO DEVELOP AN ADVANCED INETHER MACULOPATHIES WHICH COMBINES WITH THE GENETIC RISK PROFILE OF A NOVEL NUTRACEUTICAL PREPARATION.
Stage management : the education gap and backstage reality : an honors thesis (HONRS 499)

Stage management is a growing major in universities across the nation. Despite being an increasingly popular focus for undergraduate students in various theatre programs, there is a large gap that exists between the educational settings in undergraduate programs and the professional theatre realm. The largest issue that stands between the stage manager student and the professional realm is the list of questions: what is a stage manager? What does a stage manager do? Why is a stage manager a crucial role for theatrical productions? Are stage management skills actually useful in everyday situations? Once these important questions are answered for stage management students, and theatre practitioners, the disconnect that exists between the educational systems and the professional world can be bridged and fixed by educational programs across the board, Acknowledgements I would like to thank Karen Kessler for advising and assisting me through this endeavor. Her guidance on this work does not begin to compare to the assistance and encouragement I have received over the course of my collegiate career. I would like to thank Jennifer Landreth for her guidance and leadership throughout the last two years. Finally, I would like to thank Morgan for all the encouragement and faith given to me throughout the last four years. Thank you for helping me with this daunting task and arduous journey!
Empowering Small-Scale Farmers through Improved Technology Adoption: A case study of Soybean Farmers in Borno State, Nigeria

The study examined factors that influenced the adoption of improved soybean seed as production technology in Borno State, Nigeria. Data for the study were collected from 360 small-scale farmers spread across nine farming communities in three local government areas. Respondents were selected through multi-stage sampling technique while the data were collected with the aid of structured questionnaire. Data were analyzed using descriptive statistics such as frequency count, percentage and rank while correlation coefficient was used to establish relationship between variables. Results of the study showed that 74.99% of the respondents were below 51 years of age; 52.51% attained at least the Junior Secondary School level of education; 32.50% of the respondents had income between N 400,000.00k - N 1,600,000.00k from the sales of soybean during the period under study. This led to the empowerment of the respondents mainly in catering for their household needs, expanding their agricultural production and purchase of landed property. Socio-economic characteristics such as age (-0.78), level of education (0.68), and farm size (0.62) had significant influence on the adoption of soybean production technology. The main constraints faced by the respondents in the adoption of improved soybean production technologies included the complex technicality of agronomic practices and limited access to extension services. It was therefore recommended that government should put in place definitive policy to encourage young people to venture into agriculture/farming and small-scale farmers should be given more agricultural extension educational opportunities.
Galileo-Enhanced motit: an electric scooter sharing service for sustainable urban mobility

Causing peaks in pollution, wasted time and noise nuisance, traffic jams are one of the greatest challenges to overcome for the majority of large cities around the world. It’s a problem that affects the richest countries and developing countries alike, and the possible solutions are as slow to put in place as they are difficult to enforce. Moreover, the reduction of global greenhouse gas emissions is one of the major challenges of the 21st century. These facts highlight the need of efficient and environmentally sustainable urban mobility services that do not generate CO2 emissions and ease traffic congestion. 
Within this context, an innovative service has been developed in order to solve mobility problems in the city of Barcelona and potentially major metropolitan areas in Europe. MOTIT is a unique and innovative electric scooter sharing service, in which users may pick up and drop off vehicles wherever and whenever they want. MOTIT allows users to reserve a scooter with their smartphone, and some minutes before the start of the trip he receives a notification on his smartphone with the position of the vehicle assigned. 
Vehicle positioning performance is key for the success of the service, since the user is informed on where to pick up his vehicle based on this source. During initial pilot operations, supported by European Commission R&D funding , GPS-based solution (embedded on the tablet device of the vehicle) has proven not to be a reliable solution because of:
• Lack of availability in certain areas of the city (deep urban)
• Positioning errors, and therefore misleading scooter location information to user
Therefore, G-MOTIT project aims to overcome these problems by developing and integrating an EGNSS-based location technology. The location solution will be validated both functionally and operationally through a small-scale demonstration in Grand Paris region.
SnO2@Si core–shell nanowire arrays on carbon cloth as a flexible anode for Li ion batteries

In this communication, 3D hierarchical SnO2@Si nanowire arrays on carbon cloth are synthesized by a combination of the chemical vapour deposition (CVD) method for SnO2 nanowires and a subsequent Si thin film coating with a plasma-enhanced CVD (PE-CVD) route. The as-prepared SnO2@Si nanowire arrays are further tested as a flexible and binder-free anode for Li ion batteries. A high areal capacity (e.g. 2.13 mA h cm−2 at a current density of 0.38 mA cm−2) and good cycling performance are demonstrated for the core–shell SnO2@Si nanowire/carbon cloth electrode, which could be attributed to the 3D structural design and a synergistic effect between Si and SnO2.
Is Pregnancy After Breast Cancer Safe?

:  The impact of treatment on subsequent fertility and the safety of childbearing are major complicating factors for young women diagnosed with breast cancer. As national data indicate women are postponing first pregnancy to older ages; therefore, many young patients are seeking clinical guidance regarding the safety of conception and treatment options that may not prevent subsequent pregnancy. Newly developed chemotherapy protocols of brief duration have improved life expectancy enabling some women to consider childbearing. This study was conducted to compare prognosis among breast cancer patients with and without a subsequent pregnancy. Medical record review of female members of a Northern California prepaid health care plan enabled the identification of 107 women with one or more subsequent pregnancies and 344 cases without a pregnancy, who were diagnosed between 1968 and 1995. Sets were matched on age, year and stage at diagnosis, months of survival and recurrence status at conception. Among the matched sets, neither risk of recurrence nor death differed significantly by subsequent pregnancy history during an average 12 years of follow-up (adjusted hazard ratio [HR] recurrence: 1.2 [0.8, 2.0]; adjusted HR death: 1.0 [0.6, 1.9]). Women interested in preserving their fertility and considering pregnancy are a self-selected population; therefore, to reduce potential bias, cases were matched on recurrence status at time of conception. Although the number of cases was limited, subgroup analyzes indicated a small, nonsignificant adverse effect among women who conceived within 12 months of diagnosis. This analysis of carefully matched cases provides reassurance that long-term prognosis was not adversely affected by subsequent pregnancy.