SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
State-Of-The-Art solution for efficient manufacturing of complex geometry panels

The free-form architectural style is now at the stage of experimentation and conceptual review, providing architects with the opportunity for to expand the scope of their creativity. However, the technical limitations in producing a free-form building cause time and cost problems. 
Techniques applied to most free-form buildings have been three-dimensional (3D) design and computerized numeric control (CNC) shaping technology, gradually milling blocks of foam material to obtain the moulds in which to later cast the desired fluid surfaces. This process is slow and adds to exorbitant costs. Most free-form buildings have construction cost at least 10 times their budgets. 

Svelte is a patented, unique, innovative machine system which generates all types of surfaces, including double-curved and freeform geometries, at a fraction of the cost and time of current methods, without using CNCs. Svelte works on a patented advanced wire cutting technology that has the ability to change its shape while cutting through foam or wax-based material to generate the desired surfaces. With an estimated price of €150/m2, a Svelte produced mould is at least 50% cheaper than a regular milled mould and has the ability to be mass produced in a minutes. A CNC machine reaches breakeven after 3000-4000 hours. In the same amount of time a 1.5m width Svelte machine the total equivalent output of approx. 48 CNC machines.

No other solution exists that generates complex surfaces in one straightforward operation. This leads the path to fully automated and modular production lines under a ‘factories in a box’ business model that will make mass customized panels affordable and change architecture as we know it. Svelte aims to become the leading manufacturer of complex architectural panels in a €214.4 Bn market, and to scale the business to €20 million by 2024.
SOMATOSTATIN RECEPTOR RADIOLIGAND WITH INCREASED UPTAKE

A radioligand comprising a peptide capable of binding to a receptor wherein the peptide is coupled to at least one chelating agent, which chelating agent is not coordinated to a metal ion under physiological conditions and a composition comprising said radioligand as a diagnostic or pharmaceutical and a kit for the detection of receptors.
QUANTUM COMPUTING SYSTEM AND METHODS THEREFOR

A system and methods for quantum computing are described, the system comprising a processor (110) in communication with at least one or more electrode driver circuit (230) connected to a respective electrode for applying an analogue signal, the each or at least one electrode driver circuit (23) comprising a Digital Analogue (DAC) (260) connected with a local memory (240) and a local processor (250) for controlling the DAC (260), and wherein the processor (110) is adapted to provide one or more predefined procedure calls to the local processor (250) of the each or at least one electrode driver circuit (230).
Creating an evaluation and research strategy and an evidence base for ehealth systems to improve the quality of data collection and care in low and middle income settings

Healthcare in low and middle income countries (LMICs) is undergoing rapid change and addressing a widening range of diseases. The needs of the disadvantaged, underserved and remote communities are increasingly recognized, and there is an emphasis on disease surveillance, measuring and improving quality of care and reducing preventable adverse events. The timely and accurate collection, analysis and use of health information is essential for all these initiatives, and eHealth systems are increasingly seen as essential. The Fellow has led several multi-national eHealth projects in LMICs for over a decade including electronic medical record systems (EMRs). In 2004 he co-founded and co-leads the OpenMRS open source EMR system now deployed in more than 40 LMICs, and it’s initial roll out in Rwanda, now in over 300 clinics. He has led or co-led 18 innovative evaluation studies of eHealth and mHealth systems demonstrating impacts on clinical care processes and laboratory data access including the first randomized controlled trial of a lab information system in a LMIC to show clinical benefit. The objectives of this fellowship are to (1) evaluate with an RCT the clinical and health service impacts of an eHealth systems in an LMIC, and to evaluate system performance and costs. (2) improve the quality and use of clinical data from EMR systems for care and research in both the EU and in LMICs, focusing on heart disease and diabetes and (3) create a Global eHealth group at Leeds University to strengthen European and Global capacity in eHealth development, implementation and evaluation. The Fellowship builds on the innovative and internationally recognized work of the Fellow, in collaboration with Professor Jeremy Wyatt a world leading expert on eHealth evaluation at the University of Leeds, UK. It will provide a unique opportunity for the Fellow to re-integrate into Europe, make a major step forward in his skills and leadership in eHealth, and achieve a senior career position.
Personalized prediction and intervention for behavioral avoidance and maladaptive affective states

Accurate forward prediction of maladaptive behaviors and emotional states involved in various forms of psychopathology offers an intriguing avenue for prevention and intervention science. To date, however, such prediction has been limited by a heterogeneity in factors determining individuals' behaviors and emotions. To address this limitation, the proposed project adopts an idiographic (i.e., person specific) approach while focusing on two exemplar targets that constitute transdiagnostic components in various psychological disorders – namely, behavioral avoidance and maladaptive emotional states. Specifically, the project aims to (a) develop person-specific models for predicting the two targets; and (b) use the models to construct a person-specific just-in-time adaptive intervention (JITAI) system, a novel, accessible, and highly promising means for affecting change. To do so, the project will utilize ecological momentary assessment (EMA) and harness three methodological innovations: (1) an adaptive assessment and personalized item-selection tool which will reduce participant burden; (2) a scalable personalized system that provides accurate forward prediction using brief psychosocial questions and automatically-collected timing/location data; (3) a personalized JITAI app that will inform participants in real time regarding increased likelihood of impending targets, and prompt appropriate interventions based on individual predictors. The project can significantly promote understanding of transdiagnostic maladaptive processes and lead to efficient precision interventions. It builds on the fellow's expertise in EMA and affect research and will develop his statistical and analytic tools for exploring ideographic time-series data, his skills in translating such data into tailored interventions, and his ability to shift back and forth between basic and applied science. The team assembled for this work is ideal in terms of both methodological and theoretical expertise.
Proof Complexity of Propositional Default Logic

AbstractDefault logic is one of the most popular and successful formalisms for non-monotonic reasoning. In 2002, Bonatti and Olivetti introduced several sequent calculi for credulous and skeptical reasoning in propositional default logic. In this paper we examine these calculi from a proof-complexity perspective. In particular, we show that the calculus for credulous reasoning obeys almost the same bounds on the proof size as Gentzen’s system LK. Hence proving lower bounds for credulous reasoning will be as hard as proving lower bounds for LK. On the other hand, we show an exponential lower bound to the proof size in Bonatti and Olivetti’s enhanced calculus for skeptical default reasoning.KeywordsInference RuleProof SystemDefault TheoryDefault LogicNonmonotonic ReasoningThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Launching the point-of-care ultrasound technology of the future

Ultrasound is one of the safest diagnostic technologies used in medicine. But current ultrasound technology is severely limited: it is expensive, bulky and very complex to handle. Ultrasound devices started as card-based devices in the 1950 and the first hand-carried versions were launched in the 2000s. Since 2015, there have been attempts to create a pocket-size point-of-care (POC) version. So far, the commercial POC versions do not measure up as they sacrifice image quality for low cost and size. But this is an important challenge to overcome as POC ultrasound can save lives .
At Somax System S.L., we have invented Echophone, the most versatile high-performance ultrasound imaging device on the market. Echophone represents a pocket -size device that has all the technical features found in a commercial ultrasound system. It offers the same high standards in image quality and clinical outcomes at an affordable price. In other words, the patented Echophone is the first European POC ultrasound device.
Advances in semi-conductor technology and parallel computing were the main aspects allowing us to create Echophone. Specifically, the lower power consumption of the new generation of chips allowed us to create a hand-held device with a novel electronic architecture. Likewise, thanks to the latest advances in parallel computation our algorithms can run over it in real-time. Our innovation can make us an important player in the European portable ultrasound market that was €1.3 billion in 2018.
We plan to sell the Echphone at €7,000/device first to medical institutions (hospitals, specialists, GPs) and to other industries. 
Our team consists of three partners, which together have over 35 publications in refereed journals or scientific publications.
Prognosis improvement in Primary Care attention would save over €3.5 billion in the EU healthcare systems and enhance the wellbeing of 185 million people.
Fller and administration device for forming a supportive structure in a bone cavity

A dry free-flowing filler forming support structures in bone cavities (4a) comprises a number of biocompatible support bodies (2) resistant to breakage or deformation under normal physiological conditions, the bodies (2) being of size 2-10 mm and having two opposing abutments (2g) in the axis (A). Independent claims are also included for (A) a device (5) for introducing the above filler including a channel (6) containing a sequence of bodies (2) oriented in the direction of axis (A) and a pressing device (9) with a plunger (9c) moving to force bodies (2) into the bone cavity (4a); (B) a process for introducing the non-spherical bodies (2) sequentially and in direction (A) into cavity (4a) such that the bodies are randomly oriented in the cavity or, especially in the case of vertebrae, such that the bodies are randomly wedged in contact with the bone tissue; and (C) a system for fixing and further widening partly broken vertebrae comprising a number of the above bodies (2) and an introducing device as in (a) above.
Evaluation of Blattisocius dolichus (Acari: Blattisociidae) for biocontrol of root-knot nematode, Meloidogyne incognita (Tylenchida: Heteroderidae)

The root-knot nematode, Meloidogyne incognita Kofoid and White (Tylenchida: Heteroderidae), is one of the most important plant parasitic nematodes attacking many plant roots. In this paper, the predation and biocontrol efficiency of Blattisocius dolichus Ma (Acari: Blattisociidae) on this nematode were studied. The predation rate and the environmental factors affecting predation rate of B. dolichus on second-stage juveniles of M. incognita (Mi-J2) were studied in experimental arenas in plastic dishes. Both female and male mites had greater capability in consuming Mi-J2, and daily predation rate of female and male mites was not less than 35 and 29.6 nematodes within seven days, respectively. Temperature, nematode density and starvation affected B. dolichus predating on Mi-J2, and when offered 300 nematodes per dish, the predation rate of mites starved for 96 h was the highest at 25 °C, with female and male mites consumed 50.5 and 54 nematodes in 24 h, respectively. The biocontrol of B. dolichus against M. incognita was carried out on potted water spinach Ipomoea aquatic in a greenhouse. The water spinach roots were inoculated with 1,000 Mi-J2 ten days after releasing 100, 200, 300, 400 and 500 mites per pot. Compared to the nematodes–alone control, the number of root-knots of all mite treatments and the number of egg masses of the treatments with 300, 400 and 500 mites significantly decreased. Effect of releasing 500 mites on control of the root nematode M. incognita was best among all mite treatments, reduced the root-knots and egg masses 37.1 and 55.1 %, respectively, but no significant difference was observed compared to 400 mites treatment.
Economical analysis of saturation mutagenesis experiments

Saturation mutagenesis is a powerful technique for engineering proteins, metabolic pathways and genomes. In spite of its numerous applications, creating high-quality saturation mutagenesis libraries remains a challenge, as various experimental parameters influence in a complex manner the resulting diversity. We explore from the economical perspective various aspects of saturation mutagenesis library preparation: We introduce a cheaper and faster control for assessing library quality based on liquid media; analyze the role of primer purity and supplier in libraries with and without redundancy; compare library quality, yield, randomization efficiency, and annealing bias using traditional and emergent randomization schemes based on mixtures of mutagenic primers; and establish a methodology for choosing the most cost-effective randomization scheme given the screening costs and other experimental parameters. We show that by carefully considering these parameters, laboratory expenses can be significantly reduced.
Integral pull=out child's seat for vehicles

The backrest (2) of the vehicle seat has a through opening (11) which is released by the swivelled out seat surface (4) of the child seat (3). The opening can be covered by a flap (14) attached to the vehicle seat backrest and designed to swivel out towards the back. The seat surface (4) and backrest (5) of the child seat (3) lie flat against each other in the backrest face (6) of the vehicle seat backrest (2). The child seat backrest can be locked at different angles to the its seat.
SCREEN DEVICE

This invention relates to a screen device (1), comprising a screen roller (2), a screen (3) which can be rolled up and unrolled hereon, an end lath (4), which is fitted to an opposite side of the screen (3), and a tensioning system (8) to tension the screen (3) in the roll-up and unrolling direction, the said tensioning system comprising on each lateral side of the screen (3) a band wheel (5) next to the screen roller (2), a tensioning cord (6), which can be rolled up and unrolled hereon and which, at its end away from the band wheel (5), is fastened to the end lath (4), away from the screen roller (2) a reversing wheel (7), via which the tensioning cord (6) is turned, and a spring sub-system (18), which comprises at least one spring element (9) for keeping the respective tensioning cord (6) under tension, wherein at least one of the spring sub-systems (18) comprises adjusting means (10, 11, 14, 13, 16) for adjusting the spring force of the spring element (9).
Thrombotic memory-linking a break in tolerance to platelets to rethrombosis

Thrombotic diseases like venous thromboembolism (VTE) are leading causes of mortality worldwide, due to their unpredictable, relapsing occurrence. The strongest predictor of a thrombotic event is a previous thrombosis, implicating that VTE has systemic memory effects beyond local clot formation triggering thrombotic relapse. In T-MEMORE, I will go beyond the state-of-the art of thrombosis research by testing the ground-breaking concept that VTE is not only a local event, but a chronic, systemic disease caused by an immune response to platelets mimicking a break in tolerance.
My recent research revealed that venous thrombosis is the outcome of a sterile inflammation primarily directed against one target: activated platelets. I found that platelet-directed immunity in turn fosters platelet activation and thrombotic vessel occlusion. The systemic and long-term thrombotic memory effects of platelet-directed immunity are unknown, but have important implications for unmet clinical needs: (1) identification of patients at risk of rethrombosis; (2) personalisation of the duration and type of secondary prevention; (3) discovery of new approaches for VTE prophylaxis beyond anticoagulants with their inherent bleeding risk.
The thrombotic memory effect caused by a local thrombosis will be deciphered by innovative functional in vivo imaging in the bone marrow – as the site of platelet production – as well as spleen and liver – as sites of platelet removal (objective 1). The potential of manipulating platelet-directed immunity to prevent thrombotic relapse will be tested in a clinically relevant model of rethrombosis (objective 2). In a translational approach, I aim to uncover a platelet-directed immune profile in patients with recurrent VTE, which would be a key step towards a personalized, molecular-guided therapy (objective 3). The overarching aim of T-MEMORE is to prove the concept of thrombotic memory as an innovative approach for the targeted prevention of VTE recurrence.
Bio-Inspired spin-torque computing architectures

In the bioSPINspired project, I propose to use my experience and skills in spintronics, non-linear dynamics and neuromorphic nanodevices to realize bio-inspired spin torque computing architectures. I will develop a bottom-up approach to build spintronic data processing systems that perform low power ‘cognitive’ tasks on-chip and could ultimately complement our traditional microprocessors. I will start by showing that spin torque nanodevices, which are multi-functional and tunable nonlinear dynamical nano-components, are capable of emulating both neurons and synapses. Then I will assemble these spin-torque nano-synapses and nano-neurons into modules that implement brain-inspired algorithms in hardware. The brain displays many features typical of non-linear dynamical networks, such as synchronization or chaotic behaviour. These observations have inspired a whole class of models that harness the power of complex non-linear dynamical networks for computing. Following such schemes, I will interconnect the spin torque nanodevices by electrical and magnetic interactions so that they can couple to each other, synchronize and display complex dynamics. Then I will demonstrate that when perturbed by external inputs, these spin torque networks can perform recognition tasks by converging to an attractor state, or use the separation properties at the edge of chaos to classify data. In the process, I will revisit these brain-inspired abstract models to adapt them to the constraints of hardware implementations. Finally I will investigate how the spin torque modules can be efficiently connected together with CMOS buffers to perform higher level computing tasks. The table-top prototypes, hardware-adapted computing models and large-scale simulations developed in bioSPINspired will lay the foundations of spin torque bio-inspired computing and open the path to the fabrication of fully integrated, ultra-dense and efficient CMOS/spin-torque nanodevice chips.
Family Size and Expectations about Housing in the Later Nineteenth Century: Three Yorkshire Towns

This article illustrates how cultural history can deepen the understanding of demographic change, presenting evidence about ways in which rising working-class expectations about appropriate living standards may have created additional pressures on the perceived costs of child-rearing. Among the key areas of family consumption, housing costs are selected for examination. It is shown that higher expectations about appropriate housing quality put pressure on family budgets, augmented by the rising cost of like-for-like housing. The discussion considers expectations about the size of the dwelling and attitudes to furnishing the home, and suggests that these rising expectations helped encourage family limitation. Existing accounts of the fertility decline which stress the role of rising expectations are often too generalised: this article illustrates what can be gained by adding detail and geographical variation.
On path selection and wavelength assignment in inter-domain lightpath provisioning

Despite the research advances in intra-domain light-path provisioning in WDM networks, efficient and practical schemes for path computation and resource advertisement in multi-domain mesh networks still need to be developed. Most of the proposed solutions in the literature lacks the ability to convey optical network-specific Traffic Engineering information and are based on periodic message flooding technique. The solution presented in [1] achieved better performance than those based on periodic flooding while performing domain chain computation. However, it relies on potentially outdated routing information which can increase blocking of requests for lightpath establishment. The solution proposed in this paper considers the effective wavelength availability during path computation and adopts a destination-driven wavelength assignment scheme.
(3647.04032020.157000053) PLATES-FORMES OUVERTES

LE PROJET OPEN-PLATE-FORME A L’AMBITION ET L’OBJECTIF DE CRÉER UNE PLATEFORME FLEXIBLE ET PERFORMANTE POUR RÉSOUDRE TOUS LES PROBLÈMES DE REPORTING DE GESTION, D’ANALYSE DE PERFORMANCE, D’OBLIGATIONS LÉGALES ET AUTRES, AINSI QUE? LA TOTALITÉ DE LA PRÉVISION, DE LA SIMULATION DES SCÉNARIOS FUTURS ET DE L’ATTRIBUTION DES OBJECTIFS, POUR L’UTILISATION ET LA CONSOMMATION DU DOMAINE FINANCIER ET DE CONTRÔLE ET DES SERVICES OPÉRATIONNELS DES ENTREPRISES (PRODUCTION, RESSOURCES HUMAINES, TRÉSORERIE, ETC.). EXPLIQUÉ DE MANIÈRE EXHAUSTIVE CI-DESSOUS, IL INTERCEPTE UNE NOUVELLE TENDANCE DU MARCHÉ DANS LE SECTEUR DANS LEQUEL LES ENTREPRISES PARTICIPANTES OPÈRENT, DE SORTE QUE DIFFÉRENTS SUJETS, LES PRODUCTEURS DE LOGICIELS SPÉCIALISÉS SUR DES DOMAINES SPÉCIFIQUES (CHAÎNE D’APPROVISIONNEMENT, PLANIFICATION DE LA DEMANDE, PERFORMANCE COMMERCIALE, COMMANDES DE GESTION, ETC.) DOIVENT POUVOIR S’INTÉGRER DANS UNE PLATE-FORME UNIFIÉE, QUI, POUR ÊTRE COMPÉTITIF SUR UN MARCHÉ MONDIAL, DOIT GARANTIR:? CONNECTIVITÉ? DE N’IMPORTE OÙ ET AVEC N’IMPORTE QUEL APPAREIL: LE RÉCENT ACCAD