Recherche

Afficher tous les résultats pour

Accueil

Concept

Démonstration (logique et mathématiques)

Science formelle
Logique
Logique classique
Calcul des prédicats

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (32)

Data-driven 1D wave propagation for site response analysis

Jean-François Molinari, Antonio Joaquin Garcia Suarez, Sacha Zenon Wattel

Prediction of ground motion triggered by earthquakes is a prime concern for both the seismology community and geotechnical earthquake engineering one. The subfield occupied with such a problem is termed site response analysis (SRA), its one-dimensional fla ...

WILEY2023

Unbiasing time-dependent Variational Monte Carlo by projected quantum evolution

Giuseppe Carleo, Clemens Giuliani, Alessandro Sinibaldi, Filippo Vicentini

We analyze the accuracy and sample complexity of variational Monte Carlo approaches to simulate the dynamics of many-body quantum systems classically. By systematically studying the relevant stochastic estimators, we are able to: (i) prove that the most us ...

Verein Forderung Open Access Publizierens Quantenwissenschaf2023

Bio-Enhanced Neoligaments Graft Bearing FE002 Primary Progenitor Tenocytes: Allogeneic Tissue Engineering & Surgical Proofs-of-Concept for Hand Ligament Regenerative Medicine

Sandra Jaccoud, Corinne Scaletta, Philippe Abdel Sayed, Lee Ann Laurent-Applegate, Nathalie Hirt-Burri, Laurent Alexis Clément Vannay, Cédric Peneveyre, Annick Jeannerat, Alexis Laurent, Joachim Meuli, Axelle Thomas

Hand tendon/ligament structural ruptures (tears, lacerations) often require surgical reconstruction and grafting, for the restauration of finger mechanical functions. Clinical-grade human primary progenitor tenocytes (FE002 cryopreserved progenitor cell so ...

MDPI2023

Public-Key Encryption with Quantum Keys

Khashayar Barooti

In the framework of Impagliazzo's five worlds, a distinction is often made between two worlds, one where public-key encryption exists (Cryptomania), and one in which only one-way functions exist (MiniCrypt). However, the boundaries between these worlds can ...

Springer International Publishing Ag2023

Size dependence of second-harmonic scattering from nanoparticles: Disentangling surface and electrostatic contributions

Sylvie Roke, Arianna Marchioro, Bingxin Chu

Polarimetric angle-resolved second-harmonic scattering (AR-SHS) is an all-optical tool enabling the study of unlabeled interfaces of nano-sized particles in an aqueous solution. As the second harmonic signal is modulated by interference between nonlinear c ...

AIP Publishing2023

Privacy-Preserving Machine Learning on Graphs

Sina Sajadmanesh

Graph Neural Networks (GNNs) have emerged as a powerful tool for learning on graphs, demonstrating exceptional performance in various domains. However, as GNNs become increasingly popular, new challenges arise. One of the most pressing is the need to ensur ...

EPFL2023

Rational Design of Chemically Controlled Antibodies and Protein Therapeutics

Li Tang, Bruno Emanuel Ferreira De Sousa Correia, Sandrine Madeleine Suzanne Georgeon, Anthony Marchand, Leo Scheller, Lucia Bonati, Pablo Gainza Cirauqui, Stéphane Rosset, Sailan Shui

Protein-based therapeutics, such as monoclonal antibodies and cytokines, are important therapies for various pathophysiological conditions such as oncology, autoimmune disorders, and viral infections. However, the wide application of such protein therapeut ...

2023

A theory of memory consolidation and synaptic pruning in cortical circuits

Georgios Iatropoulos

Over the course of a lifetime, the human brain acquires an astonishing amount of semantic knowledge and autobiographical memories, often with an imprinting strong enough to allow detailed information to be recalled many years after the initial learning exp ...

EPFL2023

Slice-Less Optical Arbitrary Waveform Measurement (OAWM) in a Bandwidth of More Than 600 GHz

Tobias Kippenberg, Grigorii Likhachev

We demonstrate an optical arbitrary waveform measurement (OAWM) technique that exploits optical frequency combs as multi-wavelength local oscillators (LO) and that does not require any optical slicing filters. In a proof-of-concept experiment, we achieve r ...

IEEE2022

A Toolbox for Barriers on Interactive Oracle Proofs

Alessandro Chiesa

Interactive oracle proofs (IOPs) are a proof system model that combines features of interactive proofs (IPs) and probabilistically checkable proofs (PCPs). IOPs have prominent applications in complexity theory and cryptography, most notably to constructing ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

A proof of the instability of AdS for the Einstein-massless Vlasov system

Georgios Moschidis

In recent years, the conjecture on the instability of Anti-de Sitter spacetime, put forward by Dafermos-Holzegel (Dynamic instability of solitons in 4 + 1 dimesnional gravity with negative cosmological constant, 2006. https://www.dpmms.cam.ac.uk/similar to ...

SPRINGER HEIDELBERG2022

Learning from the Ethics of AI-A Research Proposal on Soft Law and Ethics of AI

Johan Robert Rochel

This contribution outlines a research proposal combining ethical guidelines on AI and a law-as-data approach. Building upon the definitions of soft law discussed in legal scholarship, it proposes a way of structuring the regulatory landscape on AI and of a ...

UBIQUITY PRESS LTD2022

Page 2 sur 2