SIRIS-Lab/unlabelled-sti-corpus huggingface dataset:
Strong axioms of infinity: frameworks, interactions and applications

In spite of their central role in modern set theory, strong axioms of infinity (or large cardinal axioms) are still surrounded by an aura of vagueness, a lack of generality and many open conceptual questions. After the study of large cardinals has evolved for over eighty years, recent results suggest that it now makes sense to develop a general theory of strong axioms of infinity in which all known large cardinals are seen as milestones in a hierarchy of mathematical principles derived from some much more general considerations about the reflective properties of the set-theoretic universe. The development of such a theory would lead to a breakthrough in our understanding of large cardinals and their role in mathematics, and provide strong justifications for their acceptance as true mathematical statements. In this project, we want to work towards this breakthrough with the help of novel combinations of concepts and techniques from different areas of set theory. 

We will develop general frameworks for strong axioms of infinity that incorporate all types of large cardinals studied so far. The work of the proposed supervisor on structural reflection properties and recent pioneering results in combinatorial set theory will serve as the starting points for this work. 

Moreover, motivated by the strong influence of large cardinals on the theory of definable sets of real numbers, we will study the impact of these axioms on definability at higher cardinalities. This task is closely related to one of the most important developments in modern set theory, Hugh Woodin’s programme of constructing a canonical inner model containing a supercompact cardinal. 

Finally, strong axioms of infinity have recently been used with great success to answer questions in other branches of mathematics, like category theory or homotopy theory. These results opened up a wide area of possible applications of set-theoretic results that we also want to explore in our project.
Optimization of Non-Local Means filtration for Cone Beam Computed Tomography

Cone Beam Computed Tomography (CBCT) is a medical imaging technique used to
visualize the internals of an object from a set of X-ray images. The X-ray images are
taken with a cone shaped X-ray beam at many angles around the object being visualized.
The images are then back projected through a volume forming a 3D representation of
the object.
Non-local means (NLM) denoising was applied to the X-ray images before they were
used in the back projection algorithm. NLM was implemented for the graphics card
and runs in real time while the X-ray images are taken. Compared to current denoising
methods the result was less noisy and had higher sharpness.
It was found that using NLM on the X-ray images led to streak artifacts and smearing
of fine details in the reconstructed volume. Many versions of NLM were tested to reduce
these effects, including variance reduction, total variation and using adjacent images in
the scan. The different versions however gave very similar results. The state-of-the-art
denoising algorithm BM3D was also tested for reference and the results were very similar
to NLM.
NLM denoising in the reconstructed volume as a post-processing step was also tested
which showed improved results over denoising the projection images. Denoising in 3D
led to less artifacts and better preservation of details. The runtime for the 3D-denoising
is only a few seconds on the graphics card, making it useful in practice.
3D-NLM denoising offers the possibility of lowering the radiation dose to the patient
since the noise can be reduced while keeping edges and details intact. The noise can
be reduced such that a low dose scan is comparable to a high dose scan denoised with
current CBCT denoising methods. A comparison of spatial resolution and preservation
of details indicates that the dose could be lowered by as much as half without significantly
lowering the image quality.
Macroanatomy and 3D probabilistic atlas of the human insula

The human insula is implicated in numerous functions. More and more neuroimaging studies focus on this region, however no atlas offers a complete subdivision of the insula in a reference space. The aims of this study were to define a protocol to subdivide insula, to create probability maps in the MNI152 stereotaxic space, and to provide normative reference volume measurements for these subdivisions. Six regions were manually delineated bilaterally on 3D T1 MR images of 30 healthy subjects: the three short gyri, the anterior inferior cortex, and the two long gyri. The volume of the insular grey matter was 7.7 ± 0.9cm3 in native space and 9.9 ± 0.6cm3 in MNI152 space. These volumes expressed as a percentage of the ipsilateral grey matter volume were minimally larger in women (2.7±0.2%) than in men (2.6±0.2%). After spatial normalization, a stereotactic probabilistic atlas of each subregion was produced, as well as a maximum-probability atlas taking into account surrounding structures. Automatically labelling insular subregions via a multi-atlas propagation and label fusion strategy (MAPER) in a leave-one-out experiment showed high spatial overlaps of such automatically defined insular subregions with the manually derived ones (mean Jaccard index 0.65, corresponding to a mean Dice index of 0.79), with an average mean volume error of 2.6%. Probabilistic and maximum probability atlases and the original delineations are available on the web under free academic licences.
Brain organoids untanglement with sers

Neuropsychiatric disorders and neurological diseases have a devastating impact on patients’ lives and represent a heavy social and economic load for global societies. Despite the great social and economic importance, the complex symptomatology together with the lack of objective analysis methodology and the limitation of current biological models have made disorders difficult to classify and study. The recent development of brain organoids derived from human stem cells have enormous potential as a physiologically accurate downscaled in vitro model of the human brain. Even though this system offers promising approach for investigating the phenotypic foundation of these complex disorders, the lack of a reliable and non-disruptive system for investigating their properties limits their applicability in both basic research and pharmaceutical testing. The BRAINtSERS project aims to respond to this need combining advanced brain organoid models together with surface-enhanced Raman spectroscopy (SERS), providing a multidimensional dataset of a developing human neuronal tissue resolved both in time and space. 
In detail, the action will provide: (i) a label-free, highly sensitive technique for quantification and detection of biomolecules in brain organoids, (ii) a minimally-invasive system for cellular phenotyping, thus a non-destructive method for characterization of brain organoids during all developmental stages. Complementarily, the ER will deliver (iii) SERS-active bio-mimetic devices conceived for integration with organoid model and its genesis.
METALLOCENE-CATALYZED OLIGODECENES, THEIR PRODUCTION AND THEIR USE AS COMPONENT IN LUBRICANTS

The invention relates to oligodecenes which are obtained by oligomerisation of linear 1-decene, whereby up to 40 mol %, in relation to the quantity of linear 1-decene, of other linear C8-C12-1-alkenes can be included by polymerization, in the presence of a titanium, zirconium or hafnium metallocene catalyst and an activator on a basis of aluminium-organic, boron-organic or carbo-cationic compounds, and which have possibly been hydrogenated following oligomerisation. Said oligodecenes have a number average molecular weight of between 500 and 200,000. The invention further relates to their use as components in lubricants, especially motor oils and transmission oils.
High Valleys Solidarity

"This project is part of the plan COEUR'ALP": Coeur Solidaire’s project is focused on accessibility to social and health services in mountain areas, which are knowing a high risk of depopulation and ageing of the population. This project aims to develop a series of experimentations which are completing the role of public organisms and them of private sector and with citizens, who are integrant and necessary part to develop innovative services and high quality which can been used, not only by inhabitants, but also by tourists.

The strategy aims to create conditions allowing to the cross-border area of High Valley to become an “intelligent destination” making territories reachable and attractive for inhabitants, tourists and for economic activities. The strategy recovers the territory of the Conference of High Valley (CHAV), cross-border association between local communities. CC of Guillestrois and of Queyras’s territories, which are part of CHAV, are not involve in this Plan due to their participation to Monviso’s PITER. CHAV’s representatives are nevertheless represented within the Instances of the Plan and accurate a full covering of the territory. Tourism is the key activity of this cross-border area; activity characterized by a high frequency in winter season and a polarisation on some towns (ski stations especially). The objective of this strategy is to preserve this attractivity and to reduce disparities within the area acting on four levers in capacity to answer to these common priorities identified problematics: 
- Create conditions allowing industries to identify new opportunities thorough innovation, enforce their competitiveness;
- Make a safest and resilient cross-border territory, thanks to attenuation measures of natural risks and actions of consciousness-raising and prevention; 
- Develop alternative to transports, thorough promotion of sustainable mobility and reduction of private vehicle use;
- Creare conditions to offer to mountains population from the territory social and health services in adequation, thorough actions of social innovation. 
This partnership includes public organisms and, for Italy, representatives from industries sphere.
COMPUTER-IMPLEMENTED OBJECT VISIBILITY IMPROVEMENT BY INTERPOSING AN IMAGE IN A VIEWER'S LINE-OF-SIGHT

Object overlay for vehicle occupants includes determining that visibility of an object in a view of a vehicle occupant through a transparent surface of the vehicle is degraded, the object being in an environment in which the vehicle travels, selecting from an image repository a reference image of the object, extracting, from the reference image, an image portion comprising an image of a least a portion of the object, transforming the extracted image portion to correspond to the view of the vehicle occupant, the transforming producing a transformed image potion, and displaying the transformed image portion on the transparent surface and interposed in a line-of-sight of the vehicle occupant to the object in the environment such that the transformed image portion overlays at least a portion of the vehicle occupant's view through the transparent surface to the object in the environment.
The Iron Route

The project aims at revaluing old mining areas of the Alpine Space in order to solve structural and management problems by valorising the resources of their cultural and environmental heritage. It will promote an efficient and environmental friendly management of the natural resources making the iron routes accessible and usable by operators, local inhabitants and tourists.
Main activities: 1) studies and research on best methods and ways of implementation aimed at valorising the local mining resources through the exchange of experiences and good practices; 2) feasibility analysis of tourist-cultural itineraries connected to the mines and cultural management of the mining sites (SWOT analysis); 3) setting up new networks among institutional authorities, private actors and local bodies supporting the minig heritage; 4) creation of tourist/pedalogical itineraries of the iron routes; 5) realisation of a special multilingual Web Portal on mining sites and promotional activities and materials.
Amidine−Oximes: Reactivators for Organophosphate Exposure

A new class of amidine-oxime reactivators of organophosphate (OP)-inhibited cholinesterases (ChE) were designed, synthesized, and tested. These compounds represent a novel group of oximes with enhanced capabilities of crossing the blood-brain barrier. Lack of brain penetration is a major limitation for currently used oximes as antidotes of OP poisoning. The concept described herein relies on a combination of an amidine residue and oxime functionality whereby the amidine increases the binding affinity to the ChE and the oxime is responsible for reactivation. Amidine-oximes were tested in vitro and reactivation rates for OP-BuChE were greater than pralidoxime (2-PAM) or monoisonitrosoacetone (MINA). Amidine-oxime reactivation rates for OP-AChE were lower compared to 2-PAM but greater compared with MINA. After pretreatment for 30 min with oximes 15c and 15d (145 μmol/kg, ip) mice were challenged with a soman model compound. In addition, 15d was tested in a post-treatment experiment (145 μmol/kg, ip, administration 5 min after sarin model compound exposure). In both cases, amidine-oximes afforded 100% 24 h survival in an animal model of OP exposure.
Institutional and Educational Cooperation – Inter-Adriatic Services forWork

ADRIA-LINK project has a twofold objective: on one hand, it aims to foster the development and the consolidation of local institutions, democracy, and the social dialogue among the various institutional actors, as well as the intermediate structures of society within the Adriatic area; on the other, it intends to promote and experiment new forms of collaboration among educational and training institutions, as well as new instruments of intervention on the job market of the tourism sector, which is probably the most effective driving force for the progressive approaching of the job markets hereby involved.
Gene knock-up via 3’utr targeting to treat parkinson’s disease

Parkinson’s disease (PD) affects 1% of elderly persons and is currently incurable. PD pathogenesis is driven, at least in part, by defects in proteostasis and mitochondrial function, leading to degeneration of dopaminergic axons and neuronal death. Neurotrophic factors (NTFs) such as GDNF can protect and restore dopaminergic axons. However, attempts to deploy NTFs ectopically in therapy models, or to increase proteostasis and mitochondrial function, have met with only limited success.
I hypothesize that instead of ectopic application, over-expression of relevant pathways restricted to physiologically appropriate cells provides a potent therapeutic approach to treat PD. I have made significant progress toward this goal by targeting the 3’UTR in the mouse Gdnf gene, thereby increasing expression levels without affecting the gene’s spatiotemporal expression pattern. Using this approach I have shown that elevation of endogenous GDNF levels protects mice from experimentally induced PD. Unlike ectopic GDNF application, it causes no side effects. Importantly, I have established that GDNF levels can be elevated by 3’UTR targeting in adulthood, suggesting that this strategy could be applied in humans late in life.
 I will use 3’UTR targeting to study the therapeutic potential of overexpressing endogenous genes, using transgenics and CRISPR-Cas9‒mediated 3’UTR editing in adult mice. First, I will increase the expression of NTFs in adult mice with experimentally induced PD. Next, I will upregulate genes important in mitochondrial function and proteostasis and test whether concurrently upregulating endogenous NTFs is a viable approach for treating PD. Third, I will use 3’UTR targeting to create a mouse model of PD in which alpha-synuclein is overexpressed, for better validation of my therapeutic strategy. Collectively, these experiments should establish proof of concept for a revolutionary, safe and effective treatment for PD.
European network linking informatics and genomics of helper t cells in tissues

ENLIGHT-TEN+ is a European Network Linking Informatics and Genomics of Helper T cells in Tissues: A crucial missing link in our current research environment is the lack of qualified individuals who possess the immunology skills to recognise and define important scientific questions amenable to -omics approaches, and also the bioinformatic expertise to interrogate and interpret the resulting Big Data appropriately. Thus, our mission is to provide cross-disciplinary training for a new generation of enthusiastic researchers who have in-depth understanding of T cell immunology and are also capable to handle large datasets. Our network of 15 beneficiaries from 10 European countries combines expertise on T cell biology with state-of-the-art technologies generating Big Data, cutting-edge bioinformatic tools including artificial intelligence, preclinical models and samples from patient cohorts. ENLIGHT-TEN+ will identify microenvironmental factors shaping the functional properties of tissue-resident T cells, which offer important therapeutic potential in various human autoimmune diseases, making them a key target for pharmaceutical companies. 15 early-stage researchers (ESRs) will be empowered to push our knowledge of tissue-resident T cells beyond the state-of-the-art which will enable the identification of novel biomarkers and support the development of advanced therapeutic concepts. The generation of Big Data is an emerging and challenging field, and there is high demand in both the academic and industrial sector for researchers to be able to analyse, integrate and exploit this rich source of information. ENLIGHT-TEN+ will combine individual strengths of innovative laboratories and enterprises from complementary disciplines to provide unique interdisciplinary training as an ideal stepping-stone for the ESRs to enter and strengthen Europe’s academia as well as pharmaceutical and bioinformatics companies, thereby placing them at the forefront of this emerging field.
Climber - dřevěná hra na procvičení jemné a hrubé motoriky

The target of this work is design the wooden game and system of playing whitch besides classic toys-function includes even function of didactic aid for a training soft and primary motoric functions for handicap people and people with bounded function of exercise. Theoretical part is interest in analyses of competition products in Czech and foreing markets. Further this work define target coupple and define the main category of people with bounded functions. Practical part porpose to variations of concept including other variations of extensions as well as chose the best solution for final product. The game is only part of completely collection and this is design for cooperation with all colection.
Regional administration of lake restoration initiatives

The economic values of clean and safe water are well established. Lakes, ponds and reservoirs can provide water for drinking, irrigation, recreation, fish, natural and cultural values and other ecosystem services. Domestic and national tourism in lake districts are often of high local and regional economical importance. However, in spite of remarkable investments in wastewater treatment, the quality of many waters is still under pressure of external loading from agriculture and other diffuse sources. These are tackled in the River Basin Management Plans of the Water Framework Directive. Internal loading from sediments and changes in food-web structure also affect the water quality and these problems can be tackled by management and restoration measures in the lakes. The Interreg IIIC project LakePromo in 2004-2007 presented an overview of restoration practices. However, in planning concrete measures there is also need to review the experiences of case studies in more detail
Lake-Admin aims to improve the effectiveness of regional development policies related to water management, specially in the field of lake, pond and reservoir restoration and management;

1. Share and transfer of good water management practices for better water quality and improved usability
2. Mainstream programmes in each participating regions by developing tangible Implementation Plans which help to adopt good practices in preparing Operational Programmes. 
3. Compile good practices and European Lake Restoration Archive of reality-examples into open access guidance material.
4. Recognize the European dimension and expand project mission beyond partner regions considering the new lake standards set by the Water Framework Directive.
For most EU states environmental standards for lakes within WFD are new and the obligations to protect or restore are a new and significant challenge. To improve status of lakes in the given time-scales requires us to share all our existing knowledge and experience. Lake-Admin offers an additional, locally focused route to WFD compliance. Ten partners in cooperation with the Managing Authorities and intermediate bodies from nine countries establish a firm basis and wide geographical coverage to capitalize good practices to have truly European-wide added value. Both the leading regions in lake restoration expertise (like Finland, Denmark, Czech, Hungary) and areas with less-experience and often scarcity of fresh water (like Malta, Greece, Italy) are represented. All participating regions have detected lakes as important elements in their regional development policies. In Lake-Admin they will transfer the identified good practices to regional Implementation Plans.
Analysis of the Tourist Attractiveness Index of Protected Areas in the Concession Program of Minas Gerais State Parks

El polimorfismo del espacio puede ser un factor importante para el desarrollo regional y el atractivo del territorio favorece la determinación de rutas para la expansión del ecoturismo. Este artículo se propone analizar el perfil de las Áreas Naturales Protegidas incluidas en el Programa de Concesión de Parques Estaduales de Minas Gerais, contribuyendo para avances en la gestión y monitoreo. Para ello, con base en la metodología del Índice de Atractivo Turístico, se establecieron los atributos biofísicos, sociales y de gestión de las 20 AP para fines de clasificación y posterior comparación respecto a la visitación promedio entre 2015 y 2019. Los resultados muestran que las áreas incluidas en el Programa se concentran en la Mata Atlántica (50%) o en su transición al Cerrado, están ubicados en regiones más desarrolladas y pobladas del estado. Además, son del tipo extensivo (65%), presentando, sin embargo, una gran diversidad en sus ambientes internos y externos. Con base en tal heterogeneidad, concluimos que es necesario impulsar nuevas alianzas público-privadas y la implementación de una administración basada en singularidades, en una antítesis de la masificación normativa actual, permitiendo así la ampliación de la mirada, para que todos los biomas puedan ser preservados, junto con el máximo de sus habilidades, único para cada área.
ELECTRONIC DEVICE

An electronic device is disclosed. The electronic device comprises a distance sensor for sensing a distance between the electronic device and a face of a user of the electronic device, an image sensor for providing an image of the face of the user, and a display for displaying text and/or graphical objects. The electronic device further comprises a control unit operatively connected to the display for controlling the displaying of text and/or a graphical object thereon, to the distance sensor for receiving distance data indicative of said distance, and to the image sensor for receiving image data representing said image. The control unit is adapted to control a font size of said text and/or a size of said graphical object based on the distance data and/or the image data.