Dragon09/odtu_chatbot huggingface dataset:
greener future digital research infrastructures

in order to keep research infrastructures at the highest level of excellence in science new technologies and solutions must be developed to steer toward a reduced environmental footprint as it is the case for all domains of our societies lowering the environmental impact of digital infrastructures should be a priority as they today contribute 3 to 4 of the total greenhouse gas ghg emission in the world and expected to triple from 2020 to 2050 greendigit brings together 4 major distributed digital infrastructures at different lifecycle stages egi slices sobigdata ebrains to tackle the challenge of environmental impact reduction with the ambition to provide solutions that are reusable across the whole spectrum of digital services on the esfri landscape and play a role model greendigit will capture good practices and existing solutions and will develop new technologies and solutions for all aspects of the digital continuum from service provisioning to monitoring job scheduling resources allocation architecture workload and open science practices task execution storage and use of green energy greendigit will deliver these solutions as building blocks with a reference architecture and guidelines for ris to lower their environmental footprint it will include the extension of a workload manager virtual machine manager aiml training framework and iot5gnetwork management solutions from 4 participating ris with new brokering logic to optimize task execution toward lowenergy use userside tools and virtual research environments will also be expanded with energy usage reporting and reproducibility capabilities to motivate users to apply lowenergy practices the new solutions will be validated through reference scientific use cases from diverse disciplines and will be promoted to providers and users through an active dissemination and training programme in order to prepare the next generation of digital ris with a low environmental footprint
certified refinement types

refinement types are a typebased static verification technique designed to be practical they enrich the types of an existing programming language with logical predicates to specify program properties and automatically validate these specifications using smt solvers refinement types are a promising verification technology that in the last decade has spread to mainstream languages eg haskell c ruby scala and the mlfamily to verify sophisticated properties of real world applications eg safety of cryptographic protocols memory and resource usage and web security the weakness of refinement types is that they do not meet the soundness standards set by theorem provers a sound verification system accepts as safe only those programs that never violate their specifications refinement type checkers eg liquid haskell f and stainless approximately report five unsoundness bugs per year as opposed to only one reported by the coq theorem prover this rarity of unsoundness bugs in coq is unsurprising since coq is designed to soundly machine check mathematical proofs coqs soundness design recipe though cannot be directly applied to refinement type checkers that aim to practically verify real world programs the goal of crete is to design a sound and practical refinement type systemthis is an ambitious goal that entails the development of a verification system that is as practical as refinement types and constructs machinechecked mathematical proofs the system will be implemented on refinement type systems for mainstream languages ie haskell and rust and will be evaluated on realworld code such as web applications and cryptographic protocols crete is highrisk since it aims to develop a novel program logic in which smt automation coexists with real world programming yet crete is highgain since it proposes a lowcost highprofit approach to formal verification that aims to be integrated in mainstream software development
argos conceptual design study designing a nextgeneration radio facility for multimessenger astronomy

astronomy is being transformed by surveys performed with instruments capable of searching the sky multimessenger signals with high speed and sensitivity while delivering scienceread datasets to the community while radio astronomy is not yet fully participating in this revolution it is clear that an instrument following the same philosophy that would finally open up the dynamic radio sky for exploration is not only urgent but inevitable argos is a concept trl2 for a leadingedge lowcost sustainable european astronomical facility that will finally realize this ambition directly addressing multiple fundamental scientific questions from the nature of dark matter and dark energy to the origin of fast radio bursts and the properties of extreme gravity argos will enable for the first time continuous widefield monitoring of the sky at centimetre wavelengths while publicly distributing scienceready data and alerts in real time to make the strategic scientific need for such a facility clear and accessible to funding and policy bodies a detailed design study is necessary this should include technical studies community groundwork and prototyping as well as quantitative costtobenefit analysis wellcalibrated project budget and assessments of scientific and socioeconomic impact sustainability technological readiness and innovation needs the argoscds vision is to deliver a conceptual design study to fully prepare the subsequent rapid implementation of a leadingedge public radio facility on european grounds and ensure its optimal integration into the network of existing and future international astronomical facilities argoscds will achieve this by directly addressing the aforementioned challenges via an integrated systemsengineering approach the project will also produce cuttingedge science bigdata and artificial intelligence technologies with significant scientific impact and lasting spillover societal benefits
resource efficient materials for additive manufacturing

the process industries that support additive processes are inefficient for example producing new metal powder in stateoftheart processes has only 3050 yield with excess powder sent to lowervalue uses or remelted at great energy loss the incorporation of scrap into additive processes represents challenges in manufacturing process stability and the stability of powder production processes difficulty in recycling some advanced alloys that are used in additive processes makes such circular thinking difficultrepam aims to combat these issues across the entire process chain starting with an industrial powder producer and researchers to deploy advanced sensors in new ways to optimise powder production process monitoring and enable the creation of new process models including artificial intelligence recycling processes are also targeted by exploring the transformation of material waste into wires for directed energy deposition and scrap into powders for directed energy and powder bed processes the manufacturing processes themselves are considered with advanced monitoring tools in combination with artificial intelligence models to enable realtime process control and optimisation which will permit the use of a wider range of scrap in such processes materials design principles shall be applied to make alloys more robust for recycling purposes finally the reconditioning of old or degraded metal powders is investigated to develop the technology for industrial readiness and thereby offer a more sustainable way to reuse these powder instead of simply melting them in bulk processes all of these steps offer a reduction in materials losses and an acceptance of a wider range of materials into additive processes in line with the work programmerepam aims to put the additive transformation on a sustainable footing and allow europe to lead the way in this green paradigm shift with the associated competitive and security benefits for the entire value chain
the patient led commonification of healthcare the case of diydiabetes an ethnographic study

the aim of this project is to examine how commonsbased peer production is impacting healthcare ecosystem dynamics and the lived experience of people with diabetes pwd the project focuses on communities of pwd who collaborating online via opensource forms of knowledge exchange are increasingly empowered to create and modify diabetes technologies to better meet their medical needs since its emergence in 2013 this patientled commons has produced a range of innovations that can help improve clinical outcomes and qualityoflife however these innovations sit outside of commercial and regulatory processes and create dilemmas for healthcare professionals regulators and industry furthermore the central role of technology in this community has raised questions about who can participate in and benefit from its innovations through indepth interviews and ethnographic observations this project aims to capture the understandings of key stakeholders as to how and why the patientled commons came to be as well as their visions of its role in the future of diabetes care it ill shed light on how patientled innovation is potentially transforming the development and diffusion of healthcare technologies and the implications of this for equity in healthcare outcomes it is anticipated that the findings will help decisionmakers to determine what sort of collaborations or partnerships can be developed between the patientled commons and established ecosystem players to address the needs of pwd and other chronic conditions the project includes a training programme supported by an international team of prominent scholars in science and technology studies and will provide opportunities for learning and networking that will help consolidate the fellow as an emerging leader in patientoriented research overall the fellowship alligns with the ecs commitment to the inducement uptake and scalingup of social innovation in europe as well as 358 of the un sdgs
formal verification and neural lossless compression

techniques based on neural networks nns the study of which is often referred to as deep learning have recently been shown to be extremely effective as a basis for data compression systems i will develop the new field of neural compression which has emerged around these ideas focussing primarily on lossless compression in the two directions which i believe are most importantscale nns go hand in hand with parallel hardware and i will investigate new parallel compression algorithms for efficiently compressing huge quantities of data specifically i will develop two entirely new compression paradigms firstly compression of volumetric images using generative models based on 3d convolutions applied to medical imaging where teleradiology and new cloudbased analysis make the need for efficient compression particularly acute and secondly compression of audio and video using timeseries latent variable models known as state space models which offer uniquely efficient utilization of parallel hardwaresystems i will research design and implement a domain specific language dsl for concisely expressing codecs which are guaranteed to be lossless by construction until now implementations of compression systems always separate the implementation of the encoder from the decoder and rely on an adhoc debugging and testing process to ensure that data are recovered correctly during my phd i discovered that it is sometimes possible for a computer to automatically convert an encoder function into a decoder and vice versa potentially halving the amount of code i will explore the limits in terms of flexibility and efficiency of this novel idea using insights from automatic differentiation a related functional transformation on which i am a leading expert
memories and wellbeing in postindustrial communities

memowb will address how current uses and different levels of community engagement with industrial heritage contributes to build practices of memory making that in turn impact on communities wellbeing in contexts of deindustrialisation through communitybased action research cbar qualitative analysis and comparison of case studies in portugal spain and the uk memowb will bring postindustrial communities perspectives to the centre of international debates about wellbeing heritage and conservation that have taken place on academic and public policy levels memowb will be conducted at the institute for social movements isb of ruhr university bochum rub germany under the supervision of professor stefan berger a wellknown specialist on the comparative history of deindustrialisation industrial heritage and memory memowb will provide me researchbased education on cbar to address underdeveloped themes in industrial heritage studies such as wellbeing and will make postindustrial communities more visible and active in processes of heritage making moreover it will contribute to the international project deindustrialisation and the politics of our time dpot to examine communities connections with industrial heritage and memory as experiences of deindustrialisation as well as responses to it
plugplay energy management for hybrid energy storage

the ongoing transition of the energy system is accompanied by digitalization activities enabling new applications this results in a fragmentation of existing platforms protocols and standards therefore interoperability among various platforms as well as crossdomain interoperability must be ensured the usage of ontologies provides an opportunity to address crossplatform and crossdomain interoperability parmenides aims to develop a new ontology by extending existing ontologies to provide a knowledge base with a focus on the electricity and heating domain for buildings customers and energy communities it will support different use cases focusing on the utilization of hybrid energy storage systems hess besides the representation of storage technologies information about energy community customers their behaviours and components including their relation will be part of the ontology providing a standardized vocabulary of the domain of energy communities this further includes technical economic regulatory behavioural and social constraints to be considered in operation to support a number of use cases a new generation of innovative energy management systems ems will be developed this system will be capable of using ontology as a knowledge base this will enable a very generic software design and ensures the scalability and replicability of the solution as a framework for the integration of the ems parmenides will define an information and communication architecture enabling an interoperable reliable and secure exchange of data and instructions the developed ems will be demonstrated in very diverse pilots in austria and sweden the austrian pilot will address energy communities with different storage technologies the swedish pilot will focus on flexibility from a very short time scale through innovative heat pump control to electrical and thermal batteries and seasonal storage through geothermal borehole heat exchangers
the model city drivers and mechanisms of longterm urban evolution and resilience

the past provides the most extensive and comprehensive record of the spectrum of human behaviours adaptations and responses to change available to us its potential as an enormous body of comparative material however has yet to be fully realised the model city aims to understand the drivers and mechanisms of longterm urban evolution through the study of the historical trajectories of past cities focusing on the question of urban resilience why do some cities thrive while others fail it will identify factors that predict city persistence over decades and centuries and evaluate social environmental and economic mechanisms that increase or erode urban resilience the model city will aggregate and synthesize large amounts of deep past urban data and apply analytical methods developed in urban studies to investigate fundamental forces governing the longterm dynamics of urban systems by deploying a swath of formal methods such as timeseries analysis ecological measures of resilience network science and agentbased modelling on a large and diverse sample of past cities for which we have full evolutionary trajectories the project will identify factors their interactions and processes that impact urban resilience in looking for universals the model city will compare three very distinctive but datarich research areas from across the spectrum of past urban systems roman empire the first large highly integrated sociopolitical body in human history classic mesoamerica one of the earliest urbanised systems in tropical environments and medieval northern europe an early example of increasing globalisation driving urbanisation this comparative study will capture past urban variability to identify the most common causes of urban collapse as well as mechanisms that enabled past cities to survive for millennia and will unlock vast amounts of deep past data to scholars across urban studies thus creating a new interdisciplinary research line
crossmodal estimation of decisions guesses and delays in decision making a collaboration between psychology physiology and artificial intelligence

our daily lives are full of decisions for which we could take an infinite time in order to decide as accurately as possible however different speed and accuracy constraints tied to the type of decisions the decisionmaker and his environment are limiting the time allocated how decisionmakers deal with this speedaccuracy tradeoff is an important cornerstone for the sciences studying decision making such as psychology cognitive neuroscience and artificial intelligence one particularly successful proposal of formal decisionmaking models is to assume that decisionmakers are reducing or increasing decision thresholds to adapt to the speed and accuracy constraints but recent evidence shows that this strategy is insufficient to explain the full range of behavioral and physiological data in decision tasks the present proposal suggests based on new studies that speedaccuracy tradeoff is achieved by varying the reliance on three different response strategies guessing immediate evidence accumulation and delayed evidence accumulation using an interdisciplinary approach involving experimental psychology mathematical psychology along with cognitive neuroscience and artificial intelligence the project aims at providing a broadly applicable framework to detect measure and estimate the reliance on the three strategies along with the description of the psychological processes behind these this project will train a promising cognitive psychologist and neuroscientist to apply advanced methods in a unique and fruitful research environment linking the four disciplines it will also provide the host organisation with new tools to study latent cognitive processes in cognitive tasks overall the project will constitute an innovative approach to decision making with broad applicability likely to increase the description and predictions we can make of behavior and psychological processes involved in decision making in conjunction with interindividual differences
sorting and export of mucins

inflammatory bowel diseases ibd affected more than 68 million people worldwide in 2017 and chronic obstructive pulmonary diseasecopd caused 323 million deaths in 2019 both illnesses present a disturbance in the quantity and quality of mucus due to an abnormal expression and secretion of mucins the mucins are the main component of mucus and are specifically expressed in cells and tissues mucin secretion is crucial for the normal physiology of wet mucosal epithelium growing data shows that alterations in mucins expression and their localization are related to pathological processes such as inflammation infection autoimmunity and cancer all mucins are synthesized in the endoplasmic reticulum and exported to the golgi complex and after extensive glycosylation are transported to the plasma membrane however how these mucins are sorted and packed into granules that can reach micrometers in size remains largely unknown i hypothesize that transmembrane and secreted mucins are sorted and packed in separate containers by regulatory partners different from those involved in other bulkycargo pathways as collagen the malhotra lab is a worldleader in the study of protein secretion recently i have tagged mucins with fluorescent proteins by crisprcas9 geneediting technology which will allow me to understand these glycoproteins from synthesis to functional target unveiling this fundamental knowledge could stimulate the development of therapies aimed to modulate the expression and precise release of mucins both in pathologies due to mucin hyposecretion such as ibd and hypersecretion observed in copd
renewable energies system for cities

a carbonneutral european union by 2050 is an ambitious target that presents technical and societal challenges while technical research is advancing rapidly to reach a netzero target the overall skillsets of the working force are lagging behind in understanding employing and mastering sustainable technologies for the business models therefore the res4city project envisions a codesigned educational framework for upskilling the workforce to integrate influence and combine the current sustainability best practices for renewable energies and fuel technologies the main pathways to reach this objective are the definition of microprogrammes the development of serious games for learning and training the establishment of the industryacademy programme and the analysis of industrybased case studies for the fast track towards sustainability and circular economy in addition the program will focus on developing and testing the program in coordination with different stakeholders such as public governance industry ngos and citizens within the program a separate task on inclusivity and gender balance will promote and ensure the participation of a representative cohort of students the thematic area selected for the project is the cities the link between these sectors is intrinsically defined and they have extensive unexploited opportunities for renewable energy deployment and fossil fuel substitution to improve their sustainability and the massive potential of circularity implementation