Results 71 to 80 of about 36,960 (271)
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Perspective: Hollow Core Optical Fibres for Ultraviolet and Visible Wavelengths
Advanced Science, EarlyView.Hollow core optical fibres bypass material constraints that limit optical fibres at ultraviolet and visible wavelengths. However, their challenging fabrication has limited their development, and significant gains in performance remain possible. In this perspective we outline approaches to enable the next generation of fibres for shorter wavelengths ...
Robbie Mears +5 more
wiley +1 more source
New pseudorandom functions based on SIS
Tongxin xuebao, 2014 Pseudorandom functions are vital tools in the construction of cryptographic primitives.Under the hard assumption of SIS (short integer solution),two lattice-based pseudorandom functions are proposed.The first one has parallel structure by the ideal of ...
He-feng CHEN +3 more
doaj +2 more sources
Identity-based Linkable Ring Signcryption on NTRU Lattice [PDF]
Jisuanji kexueAlthough the current lattice-based ring signcryption scheme resists quantum attacks,it has large key storage and high encryption/decryption time.The linkable lattice ring signcryption scheme not only can protect signer anonymity,but also can determine ...
TANG Jiayi, HUANG Xiaofang, WANG Licheng, ODOOM J
doaj +1 more source
, 2007 Böcker S, Letzel M, Lipták Z, Pervukhin A. Identifying metabolites with integer decomposition techniques, using only their mass spectrometric isotope patterns.
Lipták, Zsuzsanna +3 more
core
Hard equality constrained integer knapsacks [PDF]
We consider the following integer feasibility problem: Given positive integer numbers a0, a1,&mellip;,an with gcd(a1,&mellip;,an) = 1 and a = (a1,&mellip;,an), does there exist a vector x Ε &Zdbl;≥0n satisfying a x = a0?
Aardal, Karen, Lenstra, Arjen K.
core +1 more source
Online Mixed-Integer Optimization in Milliseconds
, 2022 We propose a method to approximate the solution of online mixed-integer optimization (MIO) problems at very high speed using machine learning. By exploiting the repetitive nature of online optimization, we can greatly speed up the solution time.
Bertsimas, Dimitris +1 more
core +1 more source
Advanced Science, EarlyView.Laser‐induced graphene (LIG) provides a scalable, laser‐direct‐written route to porous graphene architecture with tunable chemistry and defect density. Through heterojunction engineering, catalytic functionalization, and intrinsic self‐heating, LIG achieves highly sensitive and selective detection of NOX, NH3, H2, and humidity, supporting next ...
Md Abu Sayeed Biswas +6 more
wiley +1 more source
Certificateless threshold signature from lattice
Digital Communications and NetworksThreshold signature has been widely used in electronic wills, electronic elections, cloud computing, secure multi-party computation and other fields. Until now, certificateless threshold signature schemes are all based on traditional mathematic theory ...
Huifang Yu, Qi Zhang
doaj +1 more source
Sequences of small homoclinic solutions for difference equations on integers
Electronic Journal of Differential Equations, 2017 Summary: In this article, we determine a concrete interval of positive parameters \(\lambda \), for which we prove the existence of infinitely many homoclinic solutions for a discrete problem \[ -\Delta(a(k)\phi_{p}(\Delta u(k-1)))+b(k)\phi_{p}(u(k))=\lambda f(k,u(k)),\quad k\in \mathbb{Z}, \] where the nonlinear term \(f:\mathbb Z\times\mathbb R\to ...
openaire +2 more sources