Results 81 to 90 of about 176,906 (321)
Computational Soundness for Dalvik Bytecode
, 2016 Automatically analyzing information flow within Android applications that rely on cryptographic operations with their computational security guarantees imposes formidable challenges that existing approaches for understanding an app's behavior struggle to
Backes M. +6 more
core +1 more source
Inductive Definition and Domain Theoretic Properties of Fully Abstract [PDF]
, 2007 A construction of fully abstract typed models for PCF and PCF^+ (i.e., PCF + "parallel conditional function"), respectively, is presented. It is based on general notions of sequential computational strategies and wittingly consistent non-deterministic ...
Luke Ong, Vladimir Sazonov
core +3 more sources
Remote SensingWith advancements in remote sensing technologies, high-resolution imagery has become increasingly accessible, supporting applications in urban planning, environmental monitoring, and precision agriculture.
Weijun Meng +4 more
doaj +1 more source
MGPT: A Multi‐task Graph Prompt Learning Framework for Drug Discovery
Advanced Science, EarlyView.MGPT is a unified multi‐task graph prompt learning model providing generalizable and robust graph representations for few‐shot drug association prediction. MGPT demonstrates the ability of seamless task switching and outperforms competitive approaches in few‐shot scenarios.
Yang Li +4 more
wiley +1 more source
Semantics of a Typed Algebraic Lambda-Calculus
, 2010 Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space.
Andrzej Filinski +20 more
core +2 more sources
A Short Note on Generating a Random Sample from Finite Mixture Distributions
AxiomsComputational statistics is a critical skill for professionals in fields such as data science, statistics, and related disciplines. One essential aspect of computational statistics is the ability to simulate random variables from specified probability ...
Luai Al-Labadi, Anna Ly
doaj +1 more source
Dynamic Neural Deactivation Bridges Direct and Competitive Inhibition Processes
Advanced Science, EarlyView.Dynamic neural deactivation bridges traditionally distinct inhibitory mechanisms—direct inhibition and competition‐induced inhibition—revealing a common neural signature across modalities. Multimodal neuroimaging and behavioral experiments demonstrate a temporal dynamic characterized by progressive frontoparietal activation decay and enhanced sensory ...
Zhenhong He +6 more
wiley +1 more source
Towards Universal Semantic Tagging [PDF]
, 2017 The paper proposes the task of universal semantic tagging---tagging word tokens with language-neutral, semantically informative tags. We argue that the task, with its independent nature, contributes to better semantic analysis for wide-coverage ...
Abzianidze, Lasha, Bos, Johan
core +1 more source
An Ontology for Grounding Vague Geographic Terms [PDF]
, 2008 Many geographic terms, such as “river” and “lake”, are vague, with no clear boundaries of application. In particular, the spatial extent of such features is often vaguely carved out of a continuously varying observable domain.
Bennett, B., Mallenby, D., Third, A.
core +1 more source
Efficient Nyström-Based Unitary Single-Tone 2D DOA Estimation for URA Signals
MathematicsWe propose an efficient Nyström-based unitary subspace method for low-complexity two-dimensional (2D) direction-of-arrival (DOA) estimation in uniform rectangular array (URA) signal processing systems.
Liping Yuan, Ke Wang, Fengkai Luan
doaj +1 more source