Results 91 to 100 of about 6,164,294 (286)

A Generative Neuro‐Symbolic AI for Protein Sequence Design

Advanced Science, EarlyView.
We introduce EffieDes, a neuro‐symbolic framework coupling deep learning‐based fitness landscape parameterization with exact automated reasoning. Unlike greedy sampling, EffieDes identifies sequences that globally optimize fitness while satisfying intricate design constraints.
Marianne Defresne, Delphine Dessaux, Samuel Buchet, Lucie Barthe, Liza Ammar‐Khodja, Bessam Azizi, Valentin Durante, Gianluca Cioci, Simon de Givry, Alain Roussel, Luis F. Garcia‐Alles, Thomas Schiex, Sophie Barbe   +12 more
wiley   +1 more source

The discrete logarithmic Minkowski problem

, 2014
Existence of solution of the logarithmic Minkowski problem is proved for the case where the discrete measures on the unit sphere satisfy the subspace concentration condition with respect to some special proper subspaces. In order to understand how optimal this condition is, we discuss certain conditions that any cone volume measure satisfies.
Boroczky, Karoly J., Hegedus, Pal, Zhu, Guangxian   +2 more
openaire   +2 more sources

StackingNet: Collective Inference Across Independent AI Foundation Models

Advanced Science, EarlyView.
ABSTRACT Artificial intelligence (AI) built on large foundation models has transformed language understanding, computer vision, and reasoning, yet these systems remain isolated and cannot readily share their capabilities. Coordinating the complementary strengths of independently developed, black‐box foundation models is essential for trustworthy ...
Siyang Li, Chenhao Liu, Dongrui Wu, Zhigang Zeng, Lieyun Ding   +4 more
wiley   +1 more source

On the asymptotic effectiveness of Weil descent attacks

Journal of Mathematical Cryptology, 2010
In this paper we investigate the asymptotic effectiveness of the Gaudry–Hess–Smart Weil descent attack and its generalization to the discrete logarithm problem for elliptic curves over characteristic-two finite fields.
Karabina Koray, Menezes Alfred, Pomerance Carl, Shparlinski Igor E.   +3 more
doaj   +1 more source

On the discrete logarithm problem in elliptic curves

, 2010
We study the elliptic curve discrete logarithm problem over finite extension fields. We show that for any sequences of prime powers (qi)i∈ℕand natural numbers (ni)i∈ℕwithni⟶∞andni/log (qi)⟶0 fori⟶∞, the elliptic curve discrete logarithm problem ...
Claus Diem
core   +1 more source

Multiscale Coupling From Mastication to Retronasal Aroma Perception: The PG‐DTCFN Model and Multiphysics Simulation

Advanced Science, EarlyView.
Using grilled lamb skewers as a model system, this work builds a multiscale coupling framework from oral processing to retronasal aroma perception, reveals dual‐kinetic release patterns and Electroencephalogram‐characterized central encoding features, and proposes an interpretable physics‐guided deep learning model validated by multiphysics simulation,
Che Shen, Xiongfeng He, Zihao Li, Zidong Chen, Jiajin Sun, Xinyu Jiang, Yunhui Zhang, Lizhang Wu, Ran Wang, Jingnan Lu, Bo Wang, Kezhou Cai, Baocai Xu   +12 more
wiley   +1 more source

Recovering Secrets From Prefix-Dependent Leakage

Journal of Mathematical Cryptology, 2020
We discuss how to recover a secret bitstring given partial information obtained during a computation over that string, assuming the computation is a deterministic algorithm processing the secret bits sequentially.
Ferradi Houda, Géraud Rémi, Guilley Sylvain, Naccache David, Tibouchi Mehdi   +4 more
doaj   +1 more source

Automation and Active Learning for the Multi‐Objective Optimization of Antibody Formulations

Advanced Science, EarlyView.
Successful antibody formulation necessitates balancing factors such as thermal stability, colloidal stability, and viscosity across a vast excipient design space. This work integrates robotic liquid handling, high‐throughput biophysical characterization, and multi‐objective Bayesian optimization in an iterative closed‐loop Design‐Build‐Test‐Learn cycle.
D. Christopher Radford, Matthew Tamasi, Elena Di Mare, Adam J. Gormley   +3 more
wiley   +1 more source

scTIDE: Deciphering Critical Transitions Through Cell‐Perturbed Manifold Graphs and Optimal Transport Conditional Flow Matching

Advanced Science, EarlyView.
scTIDE identifies single‐cell tipping points by combining manifold‐based graph representations with optimal‐transport conditional flow matching, which preserves intrinsic topology and models distributional dynamics. It supports critical‐transition detection at individual‐cell resolution, prediction of unseen cells, and dimensionality reduction and ...
Jiayuan Zhong, Bowen Niu, Yongbo Yu, Shiyang Nie, Xuerong Gu, Pei Chen, Rui Liu   +6 more
wiley   +1 more source

Quantum algorithm for solving binary hyperelliptic curve discrete logarithm problem

Cybersecurity
It is well-established that Shor’s algorithm can solve the discrete logarithm problem (DLP) in polynomial time. The hyperelliptic curve DLP (HCDLP) of genus 2 has found widespread industrial applications and remains an active research domain.
Yan Huang, Du Zeng, Chao Chen, Zijian Zhou, Fangguo Zhang   +4 more
doaj   +1 more source