MultiMed Engineers
The data from mobile phones is revolutionizing our understanding of human activity. In recent years, it has revealed commuting patterns in major cities, wealth distribution in African countries, and even reproductive strategies in western societies. That has provided unprecedented insight for economists, sociologists, and city planners among others. But this kind of advanced research is just…
Source: The Website That Visualizes Human Activity in Cities Across the World
AIoTai- Advanced IoT and AI for secure, efficient and sustainable personalized health data access at regional and EU level
The GATEKEEPER Puglia Pilot Site — in which MultiMed Engineers cooperates, jointly with AReSS, InnovaPuglia, Fondazione Casa Sollievo della Sofferenza IRCCS and Fondazione Politecnico di Milano — will be discussed in an upcoming EIP on AHA Workshop on the role of IoT and AI in healthcare.
Aim: the objective of the first Open Call is to engage actively new technology members such uas SMEs, Midcaps and Research technology organizations in the GATEKEEPER Ecosystem, supplying new AI and Big Data applications, tools or components which will be incorporated in the technology offering portfolio of GATEKEEPER to Pilots and Platform designers and developers. Budget: up to 60.000 € per funded project, with a maximum of 10 projects. Deadline: January 28th, 2021 Project duration: 12 months Follow th
Source: Open Call | GATEKEEPER PROJECT
MultiMed Engineers is an endorser of the Manifesto for EU Covid-19 Research.
… human experts have written a large amount of ITP code, which provides an opportunity to develop machine learning systems to imitate humans for interacting with the proof assistant. Such a combination would get us closer to fully automated human-like proofs.
Source: Learning to prove theorems via interacting with proof assistants | the morning paper
MultiMed Engineers
