Dragon09/odtu_chatbot huggingface dataset:
control theorybased testing of cyberphysical systems

cyberphysical systems cps are engineering artefacts characterised by the integration of software and physical components cps appear in various and critical aspects of human life from drones to wind turbines hence testing their safe and effective operation is of prime importance however due to the combination of physical and software components cps testing requires integrating different engineering disciplines notably control engineering is used at the interface between the software and the physical component and provides mathematical guarantees on the cps safety and performance to overcome the interdisciplinary complexity of cps development this project sets out to integrate control engineering tools and guarantees into software testing practices through this integration i will develop novel testing techniques that allow the engineers to implement safer and more effective cps first i will introduce a novel testing technique based on the assumptions made by control engineers to complement the traditional use of cps requirements this technique will integrate the guarantees provided by control engineering into the testing process thus this interdisciplinary testing will more effectively target critical cps execution scenarios second i will introduce the use of the frequency domain for the test case generation and output evaluation traditional cps testing methods use the time domain to define input sequences and describe desired cps properties as it is closer to the natural language however the time domain has limitations in terms of expressiveness of the relevant properties and in the computational complexity instead the frequency domain is widely used in control engineering as it suits the analysis of the differential equations that describe the physical component i will overcome the timedomain limitations for test case generation and evaluation by complementing its use with the frequency domain
forensic intelligence and remote sensing technologies for nature conservation

biodiversity is under severe pressure due to a myriad of problems including but not limited to habitat fragmentation overexploitation climate change pollution invasive species and hunting changes in land and sea use can lead to conflict situations with production animals andor human communities humanwildlife conflict the exploitation of natural resources brings with it illegal activities poaching of species of flora and fauna that have a high value on the black market trading of rare and exotic animals and plants and setting fire to forestry and nature areas to force landuse designation changes to agriculture or commercial uses to ensure that ecosystems are healthy resilient to climate change and rich in biodiversity to keep delivering the essential range of services we need better understanding of why and where biodiversity is declining and what the key triggers are we propose a modeldriven and continuous form of ecosystem monitoring by assessing not only numbers of species and state but also the modelled ecological and anthropogenic processes within an ecosystem we are able to find causeeffect relations and improve our monitoring models based on retrofits and simulations to understand changes even better the models digital twins are thus a means for learning and the creation of context to translate environmental observations into facts and actionable information intelligence for site managers and policy makers as almost all pressures on biodiversity are maninduced we combine the domains of ecology and forensic science this novel approach gives us access to robust scientific methods to detect and recognise traces of human illegal activities that negatively affect the environment we will make use of remote sensing data science eg ai semantics to ensure that theory models and practice reinforce each other we use an iterative approach including many demonstrations and fieldtests to gain feedback and maximize impact
automated clinical platform for personalized antibiotherapy in critical units based on surface enhancement raman spectroscopy

sepsis is a leading cause of death in hospitals resulting in 700k deaths in europe each year patients urgently require critical care and are admitted to an intensive care unit icu where they are treated with antibiotics however antibiotic dosing is inappropriate in 50 of sepsis patients causing poor clinical outcomes due to increased adverse events neurotoxicity and contributing to antibiotic resistance antibiotic dosing can be significantly improved through therapeutic drug monitoring tdm but current workflows for drug quantification in clinics and icu are slow expensive and inflexible which have greatly limited tdm implementation we develop acusers a firstinclass highly flexible fast and costeffective system that fully automates the biological sample pretreatment analyte separation and analysis and provides a quantitative antibiotic drug level concentration in 15 minutes acusers breakthrough technology combines centrifugal microfluidics with an integrated surfaceenhanced raman spectroscopy sers chip to perform labelfree rapid detection and quantification in an easytouse benchtop device based on the h2020 sersing project this project builds on developing the ramanbased analyser device and the optimal cartridge as well as validating the scalability of the product and the system with clinical samples from the commercial side we will validate the commercial potential of our solution found a spinoff company to commercialize the technology and make it investmentready we envision that the spinoff will generate early revenues from direct sales in our initial target markets within the eu after demonstrating market traction we will seek to close a global distribution deal with a large diagnostics company for the tdm antibiotic market revenues will be reinvested to adapt acusers for tdm applications in other potential markets such as antiepileptics immunosuppressants and applications in pharmaceutical research
demonstration and modelling of nbs to enhance the resilience of mediterranean agrosilvopastoral ecosystems and landscapes dryad

mediterranean agrosilvopastoral ecosystems maes such as dehesa in spain montado in portugal meriagos in italy valonian oak forests in greece provide essential environmental services and influence significantly local communities and their economies maes are expected to be severely affected by climate impacts and extreme conditions such as droughts high tree mortality and wildfires addressing these challenges requires supporting local communities and authorities with local solutions and transformations towards climateresilience this dryad proposal supports the mission adaptation to climate change by developing and implementing reallife climateresilient naturebased solutions nbs for maes dryad combines frontline scientific technological social and business innovations as well as transformative solutions the proposal will be centered around development testing and demonstrating nbss in 5 demonstration regions including andalusia and extremadura es alentejo pt sardinia it and aetoloakarnania el 5 in cohesion fund regions the most promising nbss will be transferred to these 3 replicating regions castillaylen es occitanie fr and tuscany it furthermore dryad will support a multilevel and crosssectoral integrated and adaptive management governance via development of decision support systems dryad will mobilize regional and local authorities and stakeholders that own the climate challenge research entities privatepublic foundations companies citizens and involve them in cocreation coimplementation and covalidation processes by means of living labs this will lead to the creation of real widely reapplicable solutions with longlasting impacts the project will provide tools and implementation guidelines to promote sustainable and climateresilient practices and facilitate regional adaptation plans contributing to the nature restoration law in terms of resilient nature and climate adaptations
twinning for building excellence and innovative solutions in flow catalysis

developing continuous production systems through efficient biocatalytic processes flow catalysis supported by artificial intelligence is a key paradigm in advanced and sustainable manufacturing flowcat aims to address these challenges by fostering collaboration between university of ljubljana ul and leading international research groups in the field of flow catalysis by twinning with politecnico di milano university of bari aldo moro university of graz ku leuven and sustainable momentum sl ul seeks to facilitate knowledge exchange and research cooperation on harnessing biobased raw materials for the continuous production of valuable compounds flowcats objectives include knowledge and skillset transfer through workshops summer schools and onsite training focused on junior scientists this aims to enhance uls research excellence project management and administrative capabilities ultimately increasing its competitive research funding and fostering stronger ties with industrial stakeholders flowcat is committed to the wide dissemination of project outcomes research findings innovative methodologies and best practices will be shared through scientific publications international conferences and dedicated project workshops openaccess repositories will also be utilized to make research outputs readily accessible to the global scientific community furthermore the project places significant emphasis on the exploitation of results intellectual property generated during the project will be managed strategically to ensure both academic and commercial benefit aligning with the projects goal of contributing to advanced and sustainable manufacturing practices flowcat envisions a transformative impact on continuous chemoenzymatic synthesis with the potential to significantly reduce industrial pollution material consumption and energy usage these ambitions are harmoniously aligned with slovenias sustainable smart specialisation strategy
carreras postdoc program empowering future leaders to fight blood cancers

carrerasleaders is a new innovative and international postdoctoral programme designed by josep carreras leukaemia research institute ijc an independent nonprofit biomedical research institute that is part of the government of catalonia network of research centres cerca ijc is the first european institute exclusively devoted to leukaemia and other malignant blood diseases the aim of the programme is to fund 16 excellent postdoctoral researchers for a period of 36 months the selection of the fellows is meritbased founded on peer review in an open and transparent selection procedure carrerasleaders is addressed to boost career perspective of researchers from a threedimensional perspective leadership independence and consolidationthis is a worldwide unique postdoctoral program that covers the entire spectrum of research and innovation in blood cancers and goes from understanding disease biology to the implementation of products and processes in the market and into the clinical practice through the development of a global translational approach applicants will have complete freedom of research choice within the scope of blood cancers and will be offer highly attractive working conditions and a healthy inspiring and creative working environment carrerasleaders is designed based on the following objectives 1 training the next generation of scientist leaders to advance on the cure of blood cancers multiplying each ones skills sets and networks via targeted career development plans and mentoring2improve the quality of blood cancers postdoctoral research training more targeted addressed to the researchers and societal needs 3enhanced cooperation and transfer knowledge between sectors and disciplines4enable outstanding junior researchers to develop their research careers to an advanced and more independent level in a leading institution such as ijc 5increase the competitiveness of the ijc blood cancers community
gogreennext promoting future health in ciites

gogreennext will deliver a comprehensive evidencebased policy oriented approach model to convey how ecosystem health and human health are connected we propose to follow the pathway outlined foa complex array of interrelated problems arising from climate change and biodiversity loss pose significant health risks both today and in the future future risks from climate change are currently predicted to escalate beyond planetary boundaries and pass critical tipping points with irreversible changes to our climate with commensurate negative impacts on health our ecosystems and our landscapes global european and national policy frameworks have emerged in recent years to address this challenge with a range of initiatives to promote mitigation adaptation and resilience naturebased solutions nbs or actions to protect sustainably manage and restore natural and modified ecosystems that address societal challenges effectively and adaptively simultaneously benefiting people and nature are among the strategies that have emerged to reverse the degradation of nature notably in urban areas where changes are amplified in cities vulnerability to climate change and environmental degradation is high due to dense populations critical infrastructure and atrisk communities eg vast differences across socialeconomic gradient cities offer an opportunity to accelerate the implementation of current solutions aligned with emerging strategies and policy initiatives eg new european bauhaus 100 climate neutral and smart cities combining to form what is termed a just green transition this refers to a process of farreaching sociotechnical change leading to a green and climateneutral economy that preserves biodiversity and ensures social justice gogreennext will address the biodiversityclimateplanetary health nexus delivering positive policy and cityregion pilot outcomes in 4 biogeographic regions across europe and with input from best practice globally
fame openended manipulation task learning with fame futureoriented cognitive1 action modelling engine

the realization of computational models for accomplishing everyday manipulation tasks for any object and any purpose would be adisruptive breakthrough in the creation of versatile generalpurpose robot agents and it is a grand challenge for ai and roboticshumans are able to accomplish tasks such as cut up the fruit for many types of fruit by generating a large variety of contextspecificmanipulation behaviors they can typically accomplish the tasks on the first attempt despite uncertain physical conditions and novelobjects acting so effectively requires comprehensive reasoning about the possible consequences of intended behavior beforephysically interacting with the real worldin the fame project i will investigate the research hypothesis that a knowledge representation and reasoning krr frameworkbased on explictlyrepresented and machineinterpretable innerworld models can enable robots to contextualize underdeterminedmanipulation task requests on the first attempt to this end i will design implement and evaluate fame futureoriented cognitiveaction modelling engine a hybrid symbolicsubsymbolic krr framework that will contextualize actions by reasoning symbolicallyin an abstract and generalized manner but also by reasoning with ones eyes and hands through mental simulation and imagisticreasoning realizing fame requires three breakthrough research results1 modelling and parameterization of manipulation motion patterns and understanding the resulting effects underuncertain conditions2 the ability to mentally simulate imagined and observed manipulation tasks to link them to the robots knowledge and experienceand3 the ondemand acquisition of taskspecific causal models for novel manipulation tasks through mental physicsbased simulationsto assess the power and feasibility of fame i will use open manipulation task learning as a benchmark challenge
reactivity of dinitrogen and hydrocarbons for cn bond formation

the activation and functionalization of dinitrogen under mild conditions remains one of the major challenges of contemporary chemistry despite being the most abundant form of nitrogen the strength of its triple bond renders it highly unreactive thus very few and not yet efficient systems mediate its functionalizationthis proposal entitled readhy reactivity of dinitrogen and hydrocarbons for cn bond formation aims to achieve the catalytic formation of cn bonds from dinitrogen and inactivated hydrocarbons by iron catalysts stabilized by novel bifunctional diketiminate ligands the project is very ambitious both synthetically and conceptually but it builds on solid preliminary work and the expertise of the host groupsthis original msca project will offer cuttingedge science on the road to fulfil the longstanding goal of efficient dinitrogen functionalization for the synthesis of ncontaining organic molecules with longterm technological economic and societal benefitsreadhy will be developed by the candidate at yale university united stated outgoing phase and the university of seville spain incoming phase under the supervision of prof p l holland and dr j campos respectively the project combines ligand design advanced organometallic studies and important applications in dinitrogen chemistry moreover the dynamism of the host groups and the training plan offer ideal conditions for the researcher to enhance its potential towards the start of her independent career
deconstructing intestinal immune tolerance

the intestinal tract is the main site of nutrient absorption and faces constant exposure to complex environmental stimuli intestinal barrier integrity and functionality are safeguarded by the intestinal immune system which must balance its pro and antiinflammatory activities to provide protection from pathogenic microorganisms while preventing unwanted reactivity to selfantigens commensal microbes and dietary components the intestinal immune environment can be viewed as a multicellular network in which the identity and function of individual cells is intrinsically programmed by transcription factors tfs that regulate their gene expression these cells in turn can respond to signals in their environment and impact the behavior of their neighbors which over time drives changes in tissue physiology conventional genetic knockout approaches offer insufficient temporal resolution to dissect these regulatory layersin this proposal we will employ chemical genetic protein degradation using the auxininducible degron 2 aid2 system to deconstruct the intestinal immune regulatory network these studies will focus on the role of foxp3 regulatory t treg cells whose continuous immunosuppressive activity is required to prevent the onset of intestinal inflammation in aim 1 we will use newly generated mouse models to probe the direct gene regulatory functions of key tfs that define intestinal treg cell subsets in aim 2 we will fluorescently label intestinal treg cells and rapidly degrade the tfs that confer their suppressive activity to study their functionality in situ finally in aim 3 we will use a reversible mosaic protein degradation strategy to study how the signals that precede and promote intestinal treg cell differentiation shape the developing intestinal immune system together these studies will provide fundamentally new insights into the regulatory network underlying intestinal immune tolerance
fundamentals of combustion safety scenarios for hydrogen

hydrogen is a powerful energy vector but its deployment at the scale considered today by governments and companies cannot be achieved if safety associated to combustion hazards is not mastered and regulated hydrogen leaks occur and lead to fires and explosions which must be prevented to do this regulations are needed but these regulations are based today on an incomplete understanding of the fundamental mechanisms controlling the combustion of hydrogen in air or have to consider new usages of hydrogen such as transportation aircraft trains cars safeh2 combines theory highprecision experiments and simulations to provide reliable knowledge on the ignition propagation acceleration mitigation of hydrogenair flames in three canonical cases flames stabilized on a hole flames interacting with a wall explosions in closed vessels the proposal gathers 1 imft where two experimental sites dedicated to hydrogen will be used for low 40 kw and high power 300 kw experiments and 2 cerfacs which provides the highperformance 3d simulation tools used to compute all imft experiments experimental diagnostics coming from the aerospace field will be applied to safety scenarios at imft to validate simulation tools safeh2 will focus on generic simple cases to tackle the fundamentals of hydrogenair flames so that simulation tools incorporate correct validated physical models and can replace costly and dangerous experimental tests all safeh2 experiments will be designed to be used for simulation validations these detailed comparisons between simulation experiment will be used to test models for 1 hydrogenair chemistry in the gas phase and near walls 2 autoignition and plate ignition 3 flameturbulence and flamewall interaction and 4 transition to detonation safeh2 will deliver fundamental science but also models for all simulation codes used in industry and regulation agencies to understand and regulate combustion safety for hydrogen
distributional effects of environmental policies

a key goal of environmental policy is to ensure sustainable choices and investment for the individual revising choices and behavior might be necessary to avoid costs or obtain benefits introduced by policies though a growing literature has investigated how different environmental policies produce winners and losers through differences in costs and benefits between individuals less is known about the causes of varying adaption to new policies in the context of environmental policy there are no studies of how the hand of the past determines the ability to adapt through choices that are not easily reversed such as location and exposure to wealth effects from revaluation through existing endowments at the individual or firm level the goal of deep is to provide new knowledge of how existing differences interact with environmental policies in shaping choices with consequences for policy effectiveness and the evolution of disparities among households and firms the key to achieve this is the construction of novel and exceptionally ambitious models of decisions that affect outcomes over time combined with data of unparalleled detail on choices outcomes income and assets of individuals households and firms in settings featuring rich and highly relevant policy interventions the results will contribute both to our understanding of how inequality develops under policy choices in interaction with preexisting disparities and our understanding of the tradeoffs between equity and effectiveness when designing policies the project will center on two strategically important areas 1 electrification of transportation where existing vehicle location and wealth of households influence policy impact with implications for wealth and welfare over time