Powered by OpenAIRE graph
Found an issue? Give us feedback

University Federico II of Naples

Country: Italy

University Federico II of Naples

Funder
Top 100 values are shown in the filters
Results number
arrow_drop_down
311 Projects, page 1 of 63
  • Funder: EC Project Code: 101105549
    Funder Contribution: 172,750 EUR

    The design and evaluation of mechanisms for aggregating preferences is a central problem in Multi-Agent Systems (MAS). In such setting, we need to be able to aggregate individual preferences, which are conflicting when agents are self-interested. More importantly, the mechanism should choose a socially desirable (or "good") outcome and reach an equilibrium despite the fact that agents can lie about their preferences. The real-world applications of designing and verifying mechanisms for social choice are manifold, including fair division protocols, secure voting, and truth-tracking via approval voting. Although logic-based languages have been widely used for verification and synthesis of MAS, the use of formal methods for reasoning about auctions under strategic behavior as well as automated mechanism design has not been much explored yet. An advantage in adopting such perspective lies in the high expressivity and generality of logics for strategic reasoning. Moreover, by relying on precise semantics, formal methods provide tools for rigorously analyzing the correctness of systems, which is important to improve trust in mechanisms generated by machines. This project aims to design a logical framework based on Strategy Logic (SL) for formally verifying and designing mechanisms for social choice. More specifically, we aim at (i) proposing an approach addressing the probabilistic setting (with Bayesian information, stochastic transitions and mixed strategies); (ii) identifying fragments of SL that enjoy both good complexity and satisfying expressive power for being applied to classes of mechanisms; (iii) modeling and reasoning about relevant problems from the state-of-the-art in computational social choice using the proposed logical framework; and (iv) methodically studying the obtained fragments in relation to the expressivity, model-checking and satisfiability problems.

    more_vert
  • Funder: EC Project Code: 101107015
    Funder Contribution: 172,750 EUR

    This project will develop the At-home, Maximised Potential DNA/RNA Detecting Device (AMP’D). AMP'D is a hand-held, equipment free point-of-care device that can detect DNA/RNA biomarkers in easily accessible bodily fluids - such as blood, nasal and saliva samples. It is intended for diagnosing both infectious diseases and cancer. Additionally, it can do it at-home and early in disease progression. Both infectious diseases and cancer are leading causes of death globally. In 2020, cancer accounted for 10 million deaths. Furthermore, Covid-19 alone has accounted for 6.5 million deaths since the start of the pandemic. AMP'D intends to significantly reduce the number of deaths for both diseases - by providing a platform that can allow for ultra-sensitive, low cost and convenient detection. First, AMP'D can detect extremely low concentrations of biomarkers - at the early stages of these diseases. Second, AMP'D can cut the cost of each test from US$200 (commonly observed with pathological lab tests) to US$10. Finally, AMP'D can enable at-home diagnosis with blood, nasal and saliva samples - thus preventing invasive/uncomfortable procedures that deter many people from getting tested until it is too late. The development of such a device can enable end-users anywhere in the world to detect these diseases - even before symptoms appear. This can allow for early intervention before prognosis worsens - thus saving lives.

    more_vert
  • Funder: EC Project Code: 791235
    Overall Budget: 168,277 EURFunder Contribution: 168,277 EUR

    Masonry benefits contemporary architecture regarding sustainability and application to free-form construction. A masonry structure can be considered as an assemblage of conventional or interlocking rigid blocks with frictional joints. Although interlocking blocks’ resistance to sliding is higher and their construction is easier when compared to conventional blocks, there is no digital framework to design structurally-sound assemblages composed of interlocking blocks with diverse typologies. Therefore, I intend to develop a digital framework that supports designers in the design of structurally feasible and assemblable masonry assemblages of interlocking blocks. The framework will accomplish the following: -it allows designers to model an assemblage and to analyze its structural feasibility; -for the structurally infeasible model, it will automatically modify the geometry of the interlocking blocks’ connectors, making the model structurally feasible; -during the geometric modification, it will avoid geometries which do not construct the assemblable blocks. To evaluate the structural feasibility, a novel experimental method will equate the frictional resistance of the corrugated face of an interlocking block to that of the flat face of an equivalent conventional block. I also propose an extension of the limit analysis method, in which block resistance to sliding is different in different directions, and plan to use equations from the experimental method. The project is an interdisciplinary research in the fields of architectural, computational and structural design and will train skills helping to establish me as a researcher leading studies on structurally informed architectural design as well as to become an entrepreneurial architect who uses masonry in contemporary architecture. It will also create opportunities for host organizations to collaborate with architectural academia and manufacturing industry in the field of integrated architectural-structural design.

    visibility371
    visibilityviews371
    downloaddownloads429
    Powered by Usage counts
    more_vert
  • Funder: EC Project Code: 101039841
    Overall Budget: 1,954,310 EURFunder Contribution: 1,954,310 EUR

    Gut Microbiota is a key actor for human health, driving many physiological and pathological processes, including immune system development and modulation. How this massive population of microorganisms, most of which are bacteria, establishes commensal, mutualistic or pathogenic interactions with the human host despite the vigilance of the immune system, is still obscure and requires an in-depth study. The story gets more intricate considering that gut is home for a myriad of Gram-negative bacteria whose outer membrane main constituent is the lipopolysaccharide (LPS). Due to its chemical structure, LPS is considered a potent elicitor of immune inflammatory reactions in mammals, being usually associated to perilous bacteria and detrimental outcomes for human health. Nevertheless, LPS also decorates the membrane of harmless and beneficial Gram-negatives of gut microbiota. How LPS is tolerated and remains (apparently) silent in the gut is a major unsolved question representing a frontier in our understanding of innate immunity. DEBUGGING-LPS project will contribute to answer this question, starting from the assumption that the chemistry of LPS is the real message taken from human host of the bacterial interaction, either beneficial or harmful. Strategically based on my expertise in organic chemistry, and integrating synthetic chemistry and cellular immunology studies, DEBUGGING-LPS will decrypt the 'chemical language' spoken by LPS in the gut. This project will deliver a clear picture of the chemistry at the basis of the difference between 'good' and 'bad' LPS, providing tools for the exploitation of the acquired knowledge to create novel therapeutics for resolving/mitigating immune disorders. DEBUGGING-LPS has been conceived to go beyond the state-of-the-art, breaking the dogma of LPS as an enemy, leaving space for a new vision of this glycomolecule: i.e. no longer as a toxic bacterial product rather as an immune signal vital for the proper functioning of our body.

    more_vert
  • Funder: EC Project Code: 101110684
    Funder Contribution: 172,750 EUR

    Tumor-derived circulating exosomes are a suitable, readily accessible reservoir of cancer biomarkers for disease process analysis. The microRNAs (miRNAs) inside the exosomes provide information about the mechanisms of change in cancer of affected individuals. Quantitative determination of miRNAs in the exosome, a clinical area of unmet need, is tempting but challenging. The main objectives of the proposal are to develop a non-invasive, affordable, user-friendly, and deliverable platform that can measure mutant miRNA-107 in prostate cancer (PCa)-associated exosomes with unmatched accuracy, combining a hybrid oligonucleotides (ONs)-nanomaterials integrated composite system with an E-μPAD. The proposed platform offers "Self-Monitoring of Prostate Cancer by Automated hybrid Recognition of Exosomal miRNA: towards personalized analytical Tool" named " SMART". SMART provides a universal technology for non-invasive PCa diagnosis and quantitative tracking of miRNA levels in cancer-derived exosomes in a very simple and effortless manner in biofluids such as serum and urine. The novelty of the proposed interdisciplinary project work will evolve into the next generation of intelligent point-of-care (POC) tools for precision medicine. This proposal will contribute to the sustainability of the healthcare system by enabling patients to stratify and/or predict disease, thereby improving clinical decision making. This MSCA PF will be carried out at the University of Naples, Italy, will provide the researcher with advanced technical training in exosome isolation, PCR and DNA sequencing, molecular biology, microfluidics, pathology, nanomaterials synthesis, analytical techniques, proposal and manuscript preparation, and academic supervision in research management. The proposed multidisciplinary collaboration in the SMART project has resulted in a new generation of smart medical devices with functions comparable to existing highly specialized hospital devices.

    more_vert
Powered by OpenAIRE graph
Found an issue? Give us feedback

Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.

Content report
No reports available
Funder report
No option selected
arrow_drop_down

Do you wish to download a CSV file? Note that this process may take a while.

There was an error in csv downloading. Please try again later.