Results 21 to 30 of about 123,701 (142)
Constrained Expressions and their Derivatives [PDF]
Fundamenta Informaticae, 2014 This paper proposes an extension to classical regular expressions by the addition of two operators allowing the inclusion of boolean formulae from the zeroth order logic. These expressions are called constrained expressions.
Jean-Marc Champarnaud +2 more
semanticscholar +1 more source
THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC [PDF]
Journal of Symbolic Logic (JSL), 2021 We prove that the first-order logic of CZF is intuitionistic first-order logic. To do so, we introduce a new model of transfinite computation (Set Register Machines) and combine the resulting notion of realisability with Beth semantics.
Robert Passmann
semanticscholar +1 more source
Combinatorial Proofs and Decomposition Theorems for First-order Logic [PDF]
Logic in Computer Science, 2021 We uncover a close relationship between combinatorial and syntactic proofs for first-order logic (without equality). Whereas syntactic proofs are formalized in a deductive proof system based on inference rules, a combinatorial proof is a syntax-free ...
Dominic J. D. Hughes +2 more
semanticscholar +1 more source
Journal of Computational Chemistry, Volume 44, Issue 31, Page 2374-2390, December 5, 2023., 2023 This work reports on a spin‐pure configuration‐based implementation of the heatbath configuration interaction algorithm for selective CI calculations in the context of the CASSCF approach. Particular emphasis is put on the details of the implementation that are key to the performance and applicability of the program.
Mihkel Ugandi, Michael Roemelt
wiley +1 more source
Multibridge VO2‐Based Resistive Switching Devices in a Two‐Terminal Configuration
Advanced Electronic Materials, Volume 9, Issue 12, December 2023., 2023 Vanadium oxide‐based parallel‐bridge devices exhibit highly nonlinear, multistate current–voltage characteristics. The switching behavior can be manipulated at the device level by adjusting several key factors, including bridge numbers, bridge spacing, and bridge geometry, which also interact with each other.
Xing Gao +6 more
wiley +1 more source
Logic Programming and Automated Reasoning, 2023 This paper describes a new format for representing Tarskian-style interpretations for formulae in typed first-order logic, using the TPTP TF0 language.
A. Steen +3 more
semanticscholar +1 more source
MAZE: Data-Free Model Stealing Attack Using Zeroth-Order Gradient Estimation [PDF]
Computer Vision and Pattern Recognition, 2020 High quality Machine Learning (ML) models are often considered valuable intellectual property by companies. Model Stealing (MS) attacks allow an adversary with blackbox access to a ML model to replicate its functionality by training a clone model using ...
S. Kariyappa +2 more
semanticscholar +1 more source
A Primer on Zeroth-Order Optimization in Signal Processing and Machine Learning: Principals, Recent Advances, and Applications [PDF]
IEEE Signal Processing Magazine, 2020 Zeroth-order (ZO) optimization is a subset of gradient-free optimization that emerges in many signal processing and machine learning (ML) applications. It is used for solving optimization problems similarly to gradient-based methods. However, it does not
Sijia Liu +5 more
semanticscholar +1 more source
Stochastic Zeroth-Order Riemannian Derivative Estimation and Optimization
Mathematics of Operations Research, 2022 We consider stochastic zeroth-order optimization over Riemannian submanifolds embedded in Euclidean space, where the task is to solve Riemannian optimization problems with only noisy objective function evaluations.
Jiaxiang Li +2 more
semanticscholar +1 more source
Zeroth-Order Regularized Optimization (ZORO): Approximately Sparse Gradients and Adaptive Sampling [PDF]
SIAM Journal on Optimization, 2020 We consider the problem of minimizing a high-dimensional objective function, which may include a regularization term, using (possibly noisy) evaluations of the function.
Hanqin Cai +3 more
semanticscholar +1 more source