Results 111 to 120 of about 5,067,422 (261)
Indigenous Knowledge Systems in Sub-Saharan Africa : An Overview
, 1998 Recent reports document that the failure of projects in Africa over the past twenty years happened because local people's involvement and control were thought to be part of the goal of development, rather than
Donnelly-Roark, Paula
core +1 more source
Zero-Knowledge Proofs of Proximity.
IACR Cryptol. ePrint Arch., 2017 Interactive proofs of proximity (IPPs) are interactive proofs in which the verifier runs in time sub-linear in the input length. Since the verifier cannot even read the entire input, following the property testing literature, we only require that the verifier reject inputs that are far from the language (and, as usual, accept inputs that are in the ...
Berman, Itay +2 more
openaire +4 more sources
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
IACR Transactions on Symmetric CryptologyHash functions are a crucial component in incrementally verifiable computation (IVC) protocols and applications. Among those, recursive SNARKs and folding schemes require hash functions to be both fast in native CPU computations and compact in algebraic
Lorenzo Grassi +5 more
doaj +1 more source
Zero-Knowledge and Code Obfuscation [PDF]
, 2000 In this paper, we investigate the gap between auxiliary-input zero-knowledge (AIZK) and blackbox-simulation zero-knowledge (BSZK). It is an interesting open problem whether or not there exists a protocol which achieves AIZK, but not BSZK. We show that the existence of such a protocol is closely related to the existence of secure code obfuscators.
openaire +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This article proposes a convergent adaptive observer for a damped wave PDE and an infinite‐dimensional ODE coupled in cascade using sampled‐in‐space ODE state measurements. The proposed observer estimates the distributed states of the PDE and ODE along with unknown PDE parameters and spatial input.
Zehor Belkhatir +2 more
wiley +1 more source
Regional Strategic Analysis and Knowledge Support System in Asia (ReSAKSS -Asia)
, 2021 Regional Strategic Analysis and Knowledge Support System in Asia (ReSAKSS-Asia) is an initiative based on a multi-country regional network for informing current and future food and nutrition security strategies in the Asia region.
Regional Strategic Analysis and Knowledge Support System in Asia (ReSAKSS-Asia)
core
What Do Large Language Models Know About Materials?
Advanced Engineering Materials, EarlyView.If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer +2 more
wiley +1 more source
A Middlebox for Intrusion Detection Using Zero-Knowledge Proofs
, 2023 LAUREA MAGISTRALEApplicare policy ed esaminare il contenuto di un pacchetto è fondamentale se un'azienda controlla dispositivi che svolgono operazioni critiche o raccolgono dati sensibili.
Andreotti, Davide
core
Advanced Engineering Materials, EarlyView.The corrosion performance of AlSi7Mg and AlSi10Mg alloys produced through selective laser melting (SLM) was examined under compressive stress in a chloride environment. Electrochemical analyses, including open‐circuit potential (OCP), potentiodynamic polarization (CPP), and electrochemical impedance spectroscopy (EIS), were complemented by scanning ...
Femi John Akinfolarin +2 more
wiley +1 more source