SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Controle, prova e demonstração

Raciocinar é uma das seis competências da base comum da matemática do 4º ciclo (anos 7, 8 e 9 do currículo obrigatório na França). Inclui provar, argumentar, demonstrar, e afirma a centralidade da demonstração. As avaliações do programa reconhecem a dificuldade desse ensino. O texto a seguir questiona os avanços na pesquisa sobre a aprendizagem e o ensino de demonstração e sua capacidade de esclarecer a implementação dos programas atuais. Ele volta ao vocabulário, insistindo em particular nos diferentes regimes de validação da atividade do aluno. Em seguida, aborda essas questões na problemática da validação no sentido da teoria das situações didáticas. Os temas principais são a articulação entre prova e conhecimento, evocando brevemente o modelo ck¢, e a relação entre prova e argumentação.
Association Between BNT162b2 Vaccination and Long COVID After Infections Not Requiring Hospitalization in Health Care Workers

This study examines the risk of long COVID following mRNA vaccination, compared with no vaccination, in health care workers in Italy who had COVID-19 infection.
Innovation of machine tools from the product portfolio TOS VARNSDORF a.s.

TOS VARNSDORF a.s. is a Czech engineering company focused on production and servicing of machine tools specialising in horizontal milling and boring machines and horizontal machining centres. The object of the project is to implement the innovation of the technological process of production of precise basic parts of frames (bearing structure) of the company’s innovative machines. a.
On the current transfer length and current sharing in short length MgB2wires

Current transfer length (CTL) and current sharing with the normal paths for a metal sheathed MgB2 superconductor are studied by analytical and numerical methods. The study was aimed at wire geometries with short sample lengths. The computations show low CTL values for Fe sheathed MgB2 and significantly higher CTL for Cu sheathed MgB2. For short length samples a considerable part of the applied current is not transferred into the superconducting layer and flows through the sheath in Cu sheathed conductors. Close to the current contacts the heat generated due to current sharing with normal paths is significantly higher for the Fe sheath than for the Cu sheath.
INTRAMEDULLARY NAIL

The present invention provides an intramedullary nail (30) having a body with a transverse bore (48) extending through the body and having an area of enhanced stress distribution on at least the lateral side of the transverse bore. In one exemplary embodiment, the intramedullary nail includes a cutout (32,56,70,84) adjacent to the transverse bore, such as an oblique cutout, that enhances the stress distribution of the intramedullary nail in the region around the lateral opening of the transverse bore. In one exemplary embodiment, the cutout includes a ramp portion (78,94) or area that defines the lateral opening of the transverse bore. In other exemplary embodiments, the cutout includes a runout (60) or a substantially flat portion that defines the lateral opening of the transverse bore.
Development and Analyses of Xen based Dynamic Binary Instrumentation using Intel VT

There are several methods for malware analyses. However, it is difficult to detect malware exactly with existing detection methods. Especially, malware with strong anti-debugging facilities can detect analyzer and disturb their analyses. Furthermore, it takes too much time to analyze malware. In order to resolve these problems of current analyzers, more improved analysis scheme is required. This paper suggests a dynamic binary instrumentation which supports the instruction analysis and the memory access tracing. Additionally, by supporting the API call tracing with the DLL loading analysis, our system establishes the foundation for analyzing various executable codes. Based on Xen, full-virtualization environment is built using Intel's VT technology. Windows XP can be used as a guest. We analyze representative malware using several functions of our system, and show the accuracy and efficiency enhancements in binary analyses capability of our system.
AIR PURIFIER

An air purifier with a filter (4, 6) for separating particulate material, comprising a microwave generator (9, 10) for sterilising said filter (4, 6).
Decoding the conformation-linked functional properties of nucleic acids by the use of computational tools

DNA and RNA are large and flexible polymers selected by nature to transmit information. The most common DNA three-dimensional structure is represented by the double helix, but this biopolymer is extremely flexible and polymorphic, and can easily change its conformation to adapt to different interactions and purposes. DNA can also adopt singular topologies, giving rise, for instance, to supercoils, formed because of the limited free rotation of the DNA domain flanking a replication or transcription complex. Our understanding of the importance of these unusual or transient structures is growing, as recent studies of DNA topology, supercoiling, knotting and linking have shown that the geometric changes can drive, or strongly influence, the interactions between protein and DNA, so altering its own metabolism. On the other hand, the unique self-recognition properties of DNA, determined by the strict Watson-Crick rules of base pairing, make this material ideal for the creation of self-assembling, predesigned nanostructures. The construction of such structures is one of the main focuses of the thriving area of DNA nanotechnology, where several assembly strategies have been employed to build increasingly complex DNA nanostructures. DNA nanodevices can have direct applications in biomedicine, but also in the materials science field, requiring the immersion of DNA in an environment far from the physiological one. Crucial help in the understanding and planning of natural and artificial nanostructures is given by modern computer simulation techniques, which are able to provide a reliable structural and dynamic description of nucleic acids.
La mediazione notarile nelle contabilità dei poteri due e trecenteschi: un primo questionario

A fronte dell’ampia messe di ricerche consacrate, in anni recenti, alle contabilità medievali e al ruolo rivestito dai notai come redattori di scritture amministrative, tutto da approfondire rimane il peso del notariato nella gestione delle contabilità dei poteri bassomedievali. Muovendo da una comparazione estesa (che prende in considerazione la Francia sud-orientale e l’Italia settentrionale, e una varietà di soggetti istituzionali laici ed ecclesiastici), questo contributo propone una serie di riflessioni utili a valutare incidenza e contenuti specifici della mediazione notarile nell’elaborazione delle prassi documentarie contabili dei poteri dell’epoca. Ne emerge un quadro assai articolato e dagli esiti non scontati.
How and when was japan settled by speakers of japanese?  exploring the clues to japanese prehistory preserved in old dialect divisions

It is thought that the Japanese language was brought to Japan in a series of west-to-east migrations from the Korean peninsula in prehistoric times. Through fieldwork on the tone systems of a cluster of outlying and not sufficiently documented dialects in Japan (the so-called Gairin or ‘outer circle’ dialects), a genealogy of the members of this dialect group will be reconstructed. 

A central question is whether the similarities between the Gairin dialects are the result of parallel developments or a common descent. If these dialects share a common descent, the next question is what the relative timing of the dialect splits is, and the degree to which the different Gairin dialects are related to each other. 

The outcomes of my research project will answer these questions and put approximate dates to some of the main phonological developments. These outcomes will add unprecedented detail, based on linguistic data, to migrations that so far could only be traced through archaeology: The project will make it possible to reconstruct the prehistoric migration routes that resulted in the present-day scattered geographical distribution of this dialect group. 

Study of the oldest historical records of the tone systems of this dialect type will add greater detail and time-depth to the analysis.
Experiment and numerical simulation on scramjet mode of axisymmetric RBCC engine

To study the ignition and combustion performance of axisymmetric RBCC engine in scramjet mode,experiments were carried out on the direct-connected test-bed.The combination of the strut-rocket and the injection of pylons was adopted as the way of ignition and flame holding,and the injection schemes of the fuel were investigated.The results of the experiment and numerical simulation indicate that this way of ignition could achieve reliable ignition and steady combustion.Using the manner of multiple injections could fully make use of oxygen and achieve sufficient combustion,but the proportion of the fuel injection should be controlled.By using double pylons,the mixing between the fuel and central air is promoted to increase the combustion efficiency and obtain good combustion performance.
Disentangling the effects of co2 fertilization, nutrient limitation and water availability on forest ecosystem processes: estimating their long-term consequences on sw european forests

European forestry is fast evolving as forests could experience in the near future important changes in climate and also in management, which is moving from timber production to values such as bioenergy, carbon sequestration, biodiversity and others. These factors could change the idoneity of traditional forestry in Scots pine forests (which cover important areas in Europe). The project´s objectives are: 1) To characterize past and estimate future effects of forest management and climate change on carbon and nutrient budgets in Pinus sylvestris stands in SW Europe, to support sustainable forestry that maximizes nutrient and carbon use efficiency and therefore tree growth; 2) To develop, evaluate and apply reliable ecologically-based mathematical models that can be applied in forest management, to study interactions among elevated atmospheric CO2, tree growth and limiting nutrients and moisture. To achieve these objectives the project will be implemented in three stages: 1) Field and archival samples form experimental plots in Scot pine stands in the Pyrenees will be used to analyze connections between soil, leaf and stem nutrient status in the last 16 years. The magnitude of ecosystem biomass and nutrient pools will be estimated to calculate the historical change of nutrient use efficiency by the pines. Historical leaf NUE will be estimated through leaf area scanning combined with chemical analysis. Stem water and nutrient status will be estimated by wood scanning combined with techniques discriminating isotopes of carbon and nitrogen. 2) The ecosystem model FORECAST-Climate will be calibrated, validated, and used as a virtual lab to test the relative importance of nutrient, water, and CO2 availability on tree growth. 3) A battery of climate change (temperature, precipitation and CO2 concentration) and forest management scenarios will be simulated to assess their long-term consequences and provide guidelines on the potential consequences of each management option.
Effect of monensin and vitamin E on milk production and composition of lactating dairy cows

Feeding unsaturated oils to lactating dairy cows impair ruminal biohydrogenation (BH) of unsaturated fatty acids (USFA) and increase ruminal outflow of BH intermediates such as trans-10, cis-12 CLA that are considered to be potent inhibitors of milk fat synthesis. Supplementing lactating dairy cow's rations containing plant origin oils with monensin and/or vitamin E may minimise the formation of trans-10 isomers in the rumen, thereby preventing milk fat depression. Therefore, this study was conducted to evaluate the effects of monensin and vitamin E supplementation in the diets of lactating dairy cows containing whole cottonseed, as the main source of FA on feed intake, milk production and composition, milk fatty acid profile, efficiency of nitrogen (N) utilisation, efficiency of net energy (NE) utilisation and nutrients digestibilities. Four multiparous Holstein lactating dairy cows (86±41 days in milk) were assigned to a balanced 4 × 4 Latin square design. Each experimental period lasted 21 days with a 14 days of treatment adaptation and a 7 days of data collection. The control diet was a total mixed ration (TMR) consisted of 430 g/kg forage and 570 g/kg of a concentrate mixture on dry matter (DM) basis. Cows were randomly assigned to one of the four dietary treatments including control diet (C), control diet supplemented with 150 mg of vitamin E/kg of DM (E), control diet supplemented with 24 mg of monensin/kg of DM (M) and control diet supplemented with 150 mg of vitamin E and 24 mg of monensin/kg of DM (EM). Dry matter intake (DMI) ranged from 19.1 to 19.5 kg/d and was similar among the dietary treatments. Dietary supplementation with vitamin E or monensin had no effect on milk production, milk fat, protein and lactose concentrations, efficiency of utilisation of nitrogen and net energy for lactation (NEL ). Digestibility of DM, organic matter (OM), crude protein (CP) and ether extract (EE) was not affected by the dietary treatments. Digestibility of neutral detergent fibre (NDF) was higher in cows fed with the M and EM diets in relation to those fed the C and E diets. The concentrations of C4:0, C6:0, C8:0, C10:0, C12:0, C14:0, C15:0, trans-10-16:1, cis-9-16:1, 17:0, 18:0, trans-11-18:1, cis-9-18:1, cis-9, trans-11 conjugated linoleic acid (CLA), trans-10, cis-12 CLA, and 18:3n-3 FA in milk fat were not affected by the dietary supplementations. While feeding the M diet tended to decrease milk fat concentration of C16:0, the milk fat concentration of C18:2n-6 FA tended to be increased. Dietary supplementation with vitamin E or monensin had no effect on milk fat concentrations of saturated, unsaturated, monounsaturated, polyunsaturated, short chain and long chain FA, but feeding the M diet numerically decreased milk fat concentration of medium chain fatty acids (MCFA). The results showed that vitamin E and/or monensin supplementations did not improve milk fat content and did not minimise the formation of trans-10 FA isomers in the rumen when whole cottonseed was included in the diet as the main source of fatty acids.
Global Transcriptome Profiling of Salicornia europaea L. Shoots under NaCl Treatment

Soil salinity is a major abiotic stress that limits agriculture productivity worldwide. Salicornia europaea is well adapted to extreme saline environments with more than 1,000 mM NaCl in the soil, so it could serve as an important model species for studying halophilic mechanisms in euhalophytes. To obtain insights into the molecular basis of salt tolerance, we present here the first extensive transcriptome analysis of this species using the Illumina HiSeq™ 2000.A total of 41 and 39 million clean reads from the salt-treated (Se200S) and salt-free (SeCKS) tissues of S. europaea shoots were obtained, and de novo assembly produced 97,865 and 101,751 unigenes, respectively. Upon further assembly with EST data from both Se200S and SeCKS, 109,712 high-quality non-redundant unigenes were generated with a mean unigene size of 639 bp. Additionally, a total of 3,979 differentially expressed genes (DEGs) were detected between the Se200S and SeCKS libraries, with 348 unigenes solely expressed in Se200S and 460 unigenes solely expressed in SeCKS. Furthermore, we identified a large number of genes that are involved in ion homeostasis and osmotic adjustment, including cation transporters and proteins for the synthesis of low-molecular compounds. All unigenes were functionally annotated within the COG, GO and KEGG pathways, and 10 genes were validated by qRT-PCR.Our data contains the extensive sequencing and gene-annotation analysis of S. europaea. This genetic knowledge will be very useful for future studies on the molecular adaptation to abiotic stress in euhalophytes and will facilitate the genetic manipulation of other economically important crops.
Use of a hybrid of DTN convergence layer adapters (CLAs) in interplanetary Internet

Some work has been done with the DTN convergence layer adapters (CLAs) such as TCP-based CLA (i.e., TCPCL), Licklider transmission protocol CLA (i.e., LTPCL) and user datagram protocol (UDP)-based CLA (i.e., UDPCL) in space communication, running as an individual protocol. Because each DTN CLA is designed for a different type of communication link, using any single CLA under BP is generally inefficient over a heterogeneous end-to-end interplanetary infrastructure. In this paper, we propose to use a hybrid of DTN CLAs for efficient file transmission in interplanetary environment, i.e. using one CLA for one hop of the end-to-end path and a different CLA for another hop of the path. Based on experimental investigation of DTN protocols over a typical relay-type of interplanetary infrastructure, we found that a hybrid of TCPCL and LTPCL has significant goodput advantage over single-CL-protocol configurations at long link delays, especially with a high BER, and a transmission with LTPCL utilized over a long-delay hop is more tolerant of long channel delay and high channel error.
WiMAX-based robust localization in the presence of misbehaving and/or malicious base stations

The use of WiMAX cellular networks has arisen as a promising solution in order to provide broadband access over large, often shadowed, areas. As in other cellular networks, localization of users is extremely useful for many services and even essential for some civilian and/or military logistic operations. In a cellular WiMAX network, a node can obtain its position from beacons received by several cell base stations. Therefore, securing the localization method against potential false or erroneous feedback is of paramount importance in order to allow the nodes to get reliable position estimations. This fact implies not only making the localization method robust against erroneous or forged measurements, but also identifying which WiMAX base stations are providing such measurements. In this paper, we propose a robust localization method that can identify up to k malicious or misbehaving base stations and provide with an accurate estimation of the node position even in their presence. Simulation results prove that this proposal outperforms other existing detection techniques.
Introduzione di una nuova filosofia dell'organizzazione del lavoro — filosofia Kaizen

Introduzione di una nuova filosofia di organizzazione del lavoro — filosofia Kaizen — con l'obiettivo di implementare un sistema di miglioramento continuo che porti più motivazione, più risultati e più competitività per l'azienda.
Lo farsesco en el Teatro invisible y en algunas performances contemporáneas

El articulo presenta un análisis de la pervivencia del genero farsesco en el Teatro Invisible, y en las acciones performáticas del Yes Men y de Gianni Motti. Para tal se vale de conceptos extraídos de las reflexiones sociológicas de Erwing Goffman, demostrando como la relación entre cuadro primario, clave y fabricación ayuda a comprender tanto la farsa medieval como sus reutilizaciones contemporáneas. Además, se reflexiona sobre las posibilidades políticas del uso del farsesco, tiendo en vista tanto las contradicciones de la manipulación por una causa social como la noción de cinismo, presentada por el filósofo Peter Sloterdjik.
Lignin based carbon fibres for composites

The use of carbon fiber (CF) based composites is of growing importance in many industrial applications with the current global market estimated at $28Bn [ref 9]. However, the current high cost, limited production capability in Europe and the use of petroleum-based polyacrylonitrile (PAN) as the precursor fiber (PF) from which the CF is ultimately derived, requires the development of innovative routes to industrial production. To achieve this, novel processes are needed which can utilise sustainable precursor materials to produce CF of adequate quality, reduce energy consumption during manufacture and make CF widely available and affordable across a range of different European industrial sectors. The aim of LIBRE is to use lignin rich side streams in order to develop a more resource-efficient and sustainable carbon fiber production, based on biopolymers for PF production and energy efficient processing technologies for conversion of PF to CF which will have performance levels matching or bettering current industrial standards.
Projeto CIRCO

O projeto CIRCO prevê recuperar o patrimônio de edificações abandonadas da periferia de Roma e transformá-las em uma rede metropolitana de condomínios interculturais baseados na Hospitalidade. São estudadas e previstas diversas modalidades de ação como as dos city makers e uma série de funções do tipo Project Financing.
Implicaciones al Sistema de Gestión de Calidad por la rotación de personal en las PYME

The staff turnover is described as dropping out of workers from an organization that is caused by different causes and decisions taken either by employees or by the employer, in this article using as a methodology the analysis of different bibliographic sources associated with this topic and arguing a direct relationship between people, skills and the outcome of the processes resulted in the qualification of the negative impact and the consequences that the continuous staff turnover brings to organizations based on an approach to the quality management system, compliance with the requirements established in the ISO 9001 version 2015 and the hidden costs that this entails, through this it was possible to determine the scope, the consequences and the implications that this problem brings that in most cases affects to a greater extent or proportion to small and medium enterprises taking into account that it is considered a low perception of this risk given that their preparation, planning and amortization in terms of financial, process and personal resources for this control of these types of scourges associated with human resources is
not very robust.