METHINKS SOFTWARE SL

Projekt → Smart solutions to empower small- and medium-sized farms as guardians of the territory Ensuring a sustainable food system requires, above all other factors, re-entrusting our primary production to the guardians of ou… Beitrag ansehen → Projekt → Realizing the Promise of Higher-Order SMT and Superposition for Interactive Verification Proof assistants (also called interactive theorem provers) have a long history of being very tedious to use. The situation has im… Beitrag ansehen → Projekt → It takes two to tango: a synergistic approach to human-machine decision making Artificial Intelligence (AI) holds enormous potential for enhancing human decisions, improving cognitive overload and lowering bi… Beitrag ansehen → Projekt → Goldmarie Finanzen -- Sustainable Stock Portfolios with modern risk-return optimization Goldmarie Finanzen GmbH is a women led green fintech which aims to offer sustainable investments to private people. Our future cu… Beitrag ansehen → Projekt → Modular Industrial Large-scaLE quaNtum computing with trapped IONs, phase 1 The MILLENION project focuses on modular scalability and accessibility aspects of trapped-ion quantum computers (QCs), tackling t… Beitrag ansehen → Projekt → Controlled irrigation technology scale-up in high potential farming segments. Agurotech B.V. is an Amsterdam based deep-tech start-up that focuses on smart farming solutions for the global agriculture indust… Beitrag ansehen →