Dragon09/odtu_chatbot huggingface dataset:
structures for modal and deontic logics

reasoning with and about norms is central in a variety of fields ranging from legal reasoning to machine ethics deontic logics provide a logical framework to give a formal and rigorous presentation of the inferential patterns involved in normative reasoning however beside describing and representing it is crucial to have explanations as to why a certain norm applies or not in logic positive explanations come in the form of derivations whereas negative explanations can be identified with countermodelsthe remodel structures for modal and deontic logics project will introduce proof calculi to analyze and explain normative reasoning the calculi thus introduced will be gentzenstyle systems ie analytic proof calculi in which the proofs result from a stepwise decomposition of the conclusion according to rulesthe researcher has carried out several studies on the proof theory of modal and related logics and he aims to use his expertise in the field to carry out a dedicated research program in deontic logics the remodel project will tackle the problem of defining analytic proof systems for monotonic deontic logics and nonmonotonic ones employing the methodologies of structural proof theory finally he will study the relation between deontic and modal logics establishing formal embeddings via proof transformations the collaboration with the supervisor will be essential and the researcher will benefit from her experience both in the fields of proof theory and deontic logics
stabilization of protein protein interactions transforming molecular glue discovery from art into science

intrinsically disordered proteins idps represent one of drug discoverys major challenges due to their high degree of conformational freedom idps have no defined pockets for binding small molecules molecular glues that can strengthen proteinprotein interactions ppis are a revolutionary technology for drug discovery the hub protein 1433 regulates many idps via phosphorylationdependent ppis stabilization of 1433 ppis with small molecular glues provides a unique entry point to render idps druggable and mitigate the aberrant behaviour of malfunctioning idps for example in neurodegenerative diseaseswhile inhibition of ppis by small molecules has expanded the proteome suitable for therapeutic intervention the opposite chemicalbiology strategy of ppi stabilization by small molecular glues is despite a recent surge of interest remarkably underexplored the lack of mechanistically understanding ppi stabilization impedes systematically identifying molecular glues and limits progress to drug idps based on compelling preliminary data i propose here that mechanistic understanding of 1433 ppi stabilization will play a crucial role in the discovery of molecular glues for idps and transform molecular glue drug discovery from art into sciencewe will tackle this central question by pursuing two key objectives objective 1 mechanistically understand ppi stabilization between the 1433 scaffold protein and idps this will address the underlying thermodynamic and kinetic processes conformational selection multivalency cooperativity and selectivity objective 2 drugging the undruggable biomolecular condensates and idps via ppi stabilization approaches the potential for ppi stabilization in the dense environments of biomolecular condensates will be uncovered and a mechanismdriven campaign to identify molecular glues for the 1433tau ppi will lead the way to novel drug discovery for neurodegenerative diseases
untapping multiparametric 2d luminescence sensing through machine learning and spectral sorting

cellular organisms are complex machines whose health and functioning are dictated by parameters including temperature oxygen concentration and ph luminescence nanosensing is a technology that promises all the features required to reliably monitor these parameters at the intracellular level minimal invasiveness remote working principle and submicrometric spatial resolution these features are ensured by the use of submicrometric sensors particles whose luminescence is sensitive to changes in the parameters to be sensed yet despite the hype about luminescence nanosensing its reliability in the study of cells is limited by interparticle variability in optical properties and sensing performance simultaneous response to several parameters crosssensitivity and lack of a measurement technology that enables fast 2d mapping of multiple parameters with subsecond temporal resolution matchless tackles heads on these limitations to develop a reliable luminescence sensing technology for multiparameteric sensing in cell studies this project entails design of a novel family of composite submicrometric luminescent sensors elimination of interparticle fluctuations in optical properties using a spectral sorting strategy introduction of the paradigm shift of making crosssensitivity a desirable feature via machine learning and use of a novel optical technology to build a setup for 2d mapping of multiple parameters with high temporal and spatial resolution matchless will test the reliability of the sensing approach in mammalian cell lines and extremophiles microorganisms that can withstand extreme conditions of eg temperature oxygen concentration and ph these investigations will show the potential of the developed technology to monitor both slight and extreme changes in biological parameters towards a deeper understanding of eg how cancer can be more effectively treated as well as how life evolved on earth and can be adapted beyond our planet
redesigning the primary sector for maximizing bioeconomy development

the eu has a significant amount of waste biomass available more than 900 million tons per year and 98 of this material ends up in landfill incinerators or rotting in open dumps according to the 2023 circularity gap report the global economy is now only 72 circular the eu has great potential to convert biowaste into biobased products that can be used in multiple bioapplications this revalorisation can directly support 510 times more employment and generate 49 times more added value than energy usecircular business models in bioeconomy cbmb face many challenges to become sustainable and profitable firstly primary producers the owners of the valuable feedstock are often not integrated into the bioeconomy value chains and they are often small scale and are fragmented reducing their ability to negotiate with those higher up the value chain the result is a suboptimal distribution of benefits and incentives the main challenges in designing cbmb consist of lack of knowledge sharing and collaboration between stakeholdersneed for new supply chains and logistical networksdifficult scale up of innovative technologiesunderstanding of the potential synergies and symbiotic relationships between sectorsovercoming poor public acceptance complex and fragmented policy schemes as a result of this there is a lack of demonstrated and replicable systemic biosolutions for the territorial deployment of the circular bioeconomythe primed projectprimed will cocreate innovative forms of cooperation to integrate primary producers in novel bioeconomy value chains with a multiactor approach to do so primed will develop novel cbmb to produce highvalue biobased products through advanced biorefineries and will demonstrate them in five living labs llabprimed will also empower multiactors to codesign a collaborative ecosystem to accelerate the bioeconomy with an open access knowledge hub and toolkit primed digital toolbox
neutrons and photons elevating worldwide science nephews

neutrons and photons elevating worldwide science nephews will deliver access to the worldclass collective of europes premiere open advanced neutron n synchrotron sr and freeelectron laser fel complementary research infrastructures ri to promote curiosity driven excellence in research in nephews the ri institute in a novel approach jointly with their 40k user base of scientists through users organisations to provide a userdriven access program targeting new and nonexpert communities with a focus on widening countries ukraine and africa a priority the bottomup usertouseroriented approach aims to build an integrated european ri landscape involving leaps and lens consortia and their european scientific user communitiesnephews will provide 135 twinning experiments successful piloted in the calipsoplus project and 451 user experiments across european ri facilities new and nonexpert users receive indepth handson expert training in twinning research experiments with expertusers these actions are complimented with support in virtual access workshops schools and proposal writing all build expertise foster collaborations and widen user access across the eranephews will specifically engage user and scientific communities of selected priority countries via outreach visits at universities supporting political dialogue with national funding authorities nfas to this end nephews will deliver quantitative reporting of its actions and use countryspecific quantitative data from novel community analysis methods this will be the basis for an informed science policy when advocating to nfas on the merits and benefits of sustained nationally funded user access to these rinephews brings a paradigm shift in the era ri landscape by direct involvement of the user communities to instigate wider access across the most advanced ri of the world the integration is simultaneously realized for the fel sr and n communities across the era
regeneration of neighbourhoods towards a lowcarbon inclusive and affordable built environment

regen will pave innovative pathways for the decarbonisation of european neighbourhoods and cities tackling urgent socioeconomic climate and built environment challenges by designing a multifaceted toolbox leveraging cuttingedge digital technologies and life cycle sustainability assessments while engaging citizens and influencing behavioural change the proposed holistic methodology and framework assessment framework for urban regeneration will validate a catalogue of 50 urban regeneration interventions this framework will be able to estimate the current revitalisation potential of urban infrastructure with monitoring using digital twins and evaluation based on sustainability methodologies facilitating the benchmarking and selection of appropriate intervention strategies additionally the regen solutions will be applied with the endusers and all stakeholders in mind being complemented by social and humanities studies citizen science participative design approaches and living labs the indicators chosen for the assessments will rely on proven life cycle methods extended to social and economic impacts this will achieve a holistic sustainability approach with the enduser being an active participant in the evaluation and validation regen will apply this in 4 demonstration sites where individual buildings streets and districts are to be constantly monitored for their energy mobility and circularity the net benefits of applied interventions will be monitored and assessed on an individual basis the results will be upscaled at city level informing key policy orientations already in place and paving the way for broader deployment an additional 10 virtual regeneration projects will be used to replicate the regeneration interventions and assess their applicability across the eu this will strengthen the credibility of the interventions catalogue and provide indispensable for knowledge transfer on delivering resilient urban regeneration
interoperable endtoend platform of scalable and sustainable highthroughput technologies for dnabased digital data storage

our dataintensive era requires innovative and sustainable data storage solutions current technologies have hit several sustainability limits in terms of storage capacity energy consumption and use of rare and toxic materials a significant share of new data is not yet stored beyond the short term and conventional storage media do not offer adequate longevity data density or cost efficiency characteristics to meet global demand as natures data storage medium of choice dna offers an ideal alternative with unmatched information density and stability for millennia the pearldna multidisciplinary consortium aims to develop and assess a novel highthroughput endtoend poc platform for dnabased digital data storage built on scalable and interoperable systems for blockbyblock assembled dna the consortium aims to substantially advance the state of the art in terms of throughput and data integrity for the mid to longterm storage of large datasets the innovative platform will enable 10 mbs datatodna writing speeds in subnanolitre droplet dna assembly for the very first time while eliminating the need for plastic consumables in addition novel error correction compression and data standard modules will be developed as well as a cuttingedge storage container system for maintenancefree longterm preservation of dna at room temperature the fully modular and interoperable platform will facilitate integration with other dnabased storage solutions and accelerate the uptake of the technology using dna as a commercially viable and widely applicable data storage medium strongly relies on intertwining a wide range of technologies from multiple disciplines such as life sciences engineering and information technology pearldna brings together three renowned research groups and three innovative smes to anchor the european innovation ecosystem into the global dnabased digital data storage space
development and validation of a quantitative pointofcare test for the measurement of severity biomarkers to improve risk stratification of fever syndromes and enhance child survival

fever is the leading reason to seek healthcare globally with over 1 billion cases of febrile illness occurring in children annually the vast majority of infections are uncomplicated and selflimited and can be treated conservatively a few 1 are lifethreatening but are often challenging to identify early in the course of illness our project challenges the current status quo and inefficiencies of triaging practices we propose to develop and validate a rapid triaging tool to determine objectively quantitatively and with high precision those patients at risk of dying so as to prioritize their care the breakthrough solution lies in the endothelium a newly recognized in vivo biosensor which plays a critical role in our defense against pathogens endothelial cell activation and subsequent loss of integrity is a common pathway of injury in several lifethreatening infections including sepsis malaria or even covid19 measuring specific mediators of this pathway strem1 ang2 etc at first clinical presentation can reliably identify individuals at risk of dying irrespective of the disease causing the fever and more robustly than previously known predictors such as clinical algorithms or classic biomarkers importantly these pathways are also druggable thus allowing the testing or repurposing of specific interventions to improve outcome we will design and produce a rtt glucometerlike that quantitatively measures the two markers with best predictive performance strem1 and ang2 we will then incorporate it into 2 clinical trials to be done in mozambique gabon and ethiopia to 1 verify the improved performance of the proposed poc rtt in riskstratifying and predicting mortality among paediatric patients when compared to standard of care and 2 test whether a specific intervention nutritional supplementation of lcitrulline guided by biomarker results improves vs placebo longterm outcomes and survival after hospital discharge
reinventing symmetric cryptography for arithmetization over large fields

symmetric cryptography is finding new uses because of the emergence of novel and more complex eg distributed computing environmentsthese are based on sophisticated zeroknowledge and multiparty computation mpc protocols and they aim to provide strong security guarantees of types that were unthinkable before in particular they make it theoretically possible to prove that a computation was done as claimed by those performing it without revealing its inputs or outputs this would make it possible eg for egovernance algorithms to prove that they are run honestly
perovskite triple and quadruple junction solar cells

metal halide perovskite solar cells have advanced from an intriguing scientific discovery into a viable option for future renewable energy record single and tandem junction perovskite solar cells already provide power efficiencies close to 26 and 30 respectively the aim of this project is to achieve the next target in photovoltaic energy conversion by developing perovskite triple and quadruple junction solar cells towards efficiencies of 35 to 40 using cheap solutionprocessable materials and affordable technologies this is a tremendous challenge that has not been attempted it involves designing and making new materials and device architectures that push every single step in the conversion process close to its intrinsic limits and eliminate any electrical and optical losses close to perfection the project will focus on solving important hurdles to reach this ambitious goal new perovskites will be designed by compositional engineering to create thinfilm materials with optical bandgaps in the range of 12 to 23 ev unique spectroscopic techniques will identify the nature and location of the defects either in the bulk or at interfaces with the chargeselective contacts that give rise to nonradiative recombination of electrons and holes and that thereby contribute a loss of opencircuit voltage limiting the performance by adapting deposition conditions using passivation strategies and synthesizing new materials for the selective collection of electrons and holes these losses are minimized to provide optimized subcells in the required bandgap regions guided by optical modeling monolithic triple and quadruple junction solar cells will be fabricated by stacking three or four different bandgap perovskite subcells in series using recombination junctions designed to provide nearzero electrical and optical losses this challenging but promising effort can result in solar cells that provide power conversion efficiencies between 35 and 40
figural proportions guiding systems and the drafting of animals in ancient egyptian tomb imagery

representations of the animal world are an intrinsic feature of ancient egyptian visual culture despite their frequent inclusion in egyptian imagery comprehensive analysis of the methods used by practitioners when drafting fauna is lacking especially when compared to their human counterparts an example of the existing divide is seen with a central principle of egyptian art known as the canon of proportion a work process where guiding systems were used by practitioners to organise a scene and render the correct bodily ratios of a figure while the use of guides for human figures has been thoroughly investigated a parallel study for animals has not yet been undertaken due to the untested belief that fauna were not regulated by the same proportional standards the overarching aim of animate is to challenge the prevailing perspective of a deregulated approach being in place when illustrating the animal world the project is driven by three objectives 1 to determine the rules and ratios governing the design and construction of proportional guides for animal figures via the examination and digital reconstruction of surviving guiding systems from elite tombs of the early middle kingdom c 20301840 bc 2 to demonstrate that the drafting of nonhuman forms was regulated by investigating parallels or connections between the known techniques used for human proportions and those discovered for drafting animals and 3 to identify the impact of external factors such as biological considerations or scene context on proportional standards for animals and the subsequent design of guides via an incorporation of zoological and zooarchaeological data by being the first systematic investigation into the design construction and application of proportional guides for nonhuman forms animate will shift knowledge frontiers by shedding new light on the missing animal bringing figures generally perceived as having a secondary status in art into the spotlight
boosting the uptake of inovative solutions in the context of water and circular economy

the quantity and quality of water resources are serious problems in many european areas mostly being a joined result of climate change and anthropic influences the boostin project aims to develop a successful strategy that promotes technological changes governance schemes shifts in mindset and organizational structures in order to solve these problems through a better management of the water sector and application of the circular economy principles enabling water reuse and recovery of different materials eg energy nutrients however implementation of these changes still faces several barriers eg technology economy knowledge social perception that need to be overcome boostin will achieve these goals by an effective identification selection through a specifically designed dynamic funnel method and transfer of innovative water circular economy solutions waces to further close and improve the water cycle the project will develop and apply its approach in six regions of opportunity evenly distributed across europe spain greece germany france italy and bulgaria by organization of cocreation workshops to increase public awareness and support for waces implementation barriers overcoming as well as by the specific risk management plans design at the eu level the project will create an active network of stakeholders and set detailed action plans including different training and education activities targeting water professionals in order to promote and boost a successful market uptake of circular solutions and maximize the impact the project will provide expertise on suitable business models and develop standardized quality criteria as well as facilitate the links between solution providers and potential investors moreover boostin will upgrade and benefit from the existing water europe marketplace platform that will enable the projects clustering b2b matchmaking and selections of appropriate waces solutions for specific user needs