A living academic reference written, refined and transparently versioned by the Sciendia community.
Collaborative knowledgeRechercher
12 résultats
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear searchMise à jour continue des représentations de calcul des biens matériels ou des processus utilisés pour estimer l'état, tester les scénarios et guider les décisions.
Méthodes mathématiques pour prouver que le matériel, le logiciel ou les protocoles satisfont aux propriétés précisées dans des hypothèses explicites.
Modèles d'apprentissage automatique qui apprennent les représentations statistiques des séquences d'acides aminés pour la prédiction et la conception moléculaire.
La caractérisation et la gestion de la chaleur, des fluides et des fractures souterraines pour la production d'énergie géothermique durable.
Les protocoles cryptographiques qui prouvent qu'une déclaration est vraie sans révéler le témoin secret qui la rend vraie.
La séparation du dioxyde de carbone des sources concentrées ou de l'air, suivie par le transport et le confinement géologique à long terme.
Des cultures cellulaires tridimensionnelles auto-organisées qui reproduisent certaines caractéristiques structurelles et fonctionnelles des organes.
L'apprentissage automatique distribué qui coordonne la formation des modèles entre les détenteurs de données sans centraliser leurs enregistrements bruts.
Dispositifs photovoltaïques à film mince, construits autour d'absorbeurs à perovskite à halogénure avec propriétés optoélectroniques.
Conception et construction de systèmes biologiques utilisant des principes d'ingénierie, des modèles quantitatifs et des outils moléculaires.
Comment les participants distribués s'accordent sur un grand livre ordonné malgré les retards, les échecs et les propositions contradictoires.
Un système moléculaire programmable qui peut couper l'ADN à proximité d'une séquence sélectionnée par un ARN guide.
