Results 51 to 60 of about 573,808 (153)
Slot Games for Detecting Timing Leaks of Programs
, 2013 In this paper we describe a method for verifying secure information flow of programs, where apart from direct and indirect flows a secret information can be leaked through covert timing channels. That is, no two computations of a program that differ only
Dimovski, Aleksandar S.
core +2 more sources
Asymptotic Symmetries, Holography and Topological Hair
, 2017 Asymptotic symmetries of AdS$_4$ quantum gravity and gauge theory are derived by coupling the dual CFT$_3$ to Chern-Simons gauge theory and 3D gravity in a "probe" large-level limit.
Mishra, Rashmish K., Sundrum, Raman
core +1 more source
Fast Cut-Elimination using Proof Terms: An Empirical Study
, 2018 Urban and Bierman introduced a calculus of proof terms for the sequent calculus LK with a strongly normalizing reduction relation. We extend this calculus to simply-typed higher-order logic with inferences for induction and equality, albeit without ...
Ebner, Gabriel
core +2 more sources
A simple sequent calculus for nominal logic [PDF]
, 2013 Nominal logic is a variant of first-order logic that provides support for reasoning about bound names in abstract syntax. A key feature of nominal logic is the new-quantifier, which quantifies over fresh names (names not appearing in any values ...
Cheney, James
core
A discourse analysis of e-mail messages in a Malaysian Business Community [PDF]
, 2003 The study attempts to investigate recurrent grammatical features and functions of electronic mail discourse in a selected business community, comprising executives in a Malaysian public limited company. It also examines whether the electronic mail system
Ng, Yong Kiang
core
Context Update for Lambdas and Vectors [PDF]
, 2016 Vector models of language are based on the contextual aspects of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, the denotations of phrases, and their compositional ...
Muskens, Reinhard, Sadrzadeh, Mehrnoosh
core
Comparing and evaluating extended Lambek calculi [PDF]
, 2015 Lambeks Syntactic Calculus, commonly referred to as the Lambek calculus, was innovative in many ways, notably as a precursor of linear logic. But it also showed that we could treat our grammatical framework as a logic (as opposed to a logical theory ...
Moot, Richard
core +3 more sources
Overtly Anaphoric Control in Type Logical Grammar
IEEE International Conference on Automatic Face & Gesture Recognition, 2015 M. I. Corbalán, G. Morrill
semanticscholar +1 more source
An agent-based model of muscle contraction process as a bio-robotic process
2011 Malaysian Conference in Software Engineering, 2011 H. Khataee, T. N. M. Aris, M. Sulaiman
semanticscholar +1 more source