Results 21 to 30 of about 3,683 (247)
A Rigorous Analysis of the Clauser-Horne-Shimony-Holt Inequality Experiment When Trials Need Not Be Independent [PDF]
, 2014 The Clauser-Horne-Shimony-Holt (CHSH) inequality is a constraint that local theories must obey. Quantum Mechanics predicts a violation of this inequality in certain experimental settings. Treatments of this subject frequently make simplifying assumptions
Bierhorst, Peter
core +1 more source
Sequentiality vs. Concurrency in Games and Logic
, 2011 Connections between the sequentiality/concurrency distinction and the semantics of proofs are investigated, with particular reference to games and Linear Logic.Comment: 35 pages, appeared in Mathematical Structures in Computer ...
Abramsky, Samson
core +1 more source
Acyclic Solos and Differential Interaction Nets [PDF]
, 2010 We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that equalizing names that are already equal is not required by the encoding of ...
Ehrhard, Thomas, Laurent, Olivier
core +3 more sources
A SEQUENTIAL DECISION PROBLEM WITH A FINITE MEMORY [PDF]
Proceedings of the National Academy of Sciences, 1956 Verf. behandelte in einem früheren Vortrag [Bull. Am. Math. Soc. 58, 527--535 (1952; Zbl 0049.37009)] u. a. folgendes Problem: Wie muß man mit zwei Münzen mit unbekannten ,,Kopf''-Wahrscheinlichkeiten \(p_1\), und \(p_2\), werfen, also insbesondere, mit welcher der beiden Münzen muß man bei jedem Wurf werfen, um.
openaire +3 more sources
Degree of Sequentiality of Weighted Automata [PDF]
, 2017 Weighted automata (WA) are an important formalism to describe quantitative properties. Obtaining equivalent deterministic machines is a longstanding research problem.
A Weber +9 more
core +3 more sources
Deep Dialog Act Recognition using Multiple Token, Segment, and Context Information Representations [PDF]
, 2019 Dialog act (DA) recognition is a task that has been widely explored over the years. Recently, most approaches to the task explored different DNN architectures to combine the representations of the words in a segment and generate a segment representation ...
de Matos, David Martins +2 more
core +2 more sources
Computation of Stackelberg Equilibria of Finite Sequential Games [PDF]
ACM Transactions on Economics and Computation, 2015 The Stackelberg equilibrium is a solution concept that describes optimal strategies to commit to: Player 1 ( the leader ) first commits to a strategy that is publicly announced, then Player 2 ( the follower ) plays a best response to the leader’s choice.
Bosanski, Branislav +4 more
openaire +5 more sources
On Determinism and Unambiguity of Weighted Two-way Automata [PDF]
, 2014 In this paper, we first study the conversion of weighted two-way automata to one-way automata. We show that this conversion preserves the unambiguity but does not preserve the determinism.
Carnino, Vincent, Lombardy, Sylvain
core +8 more sources
Functional Connectivity Linked to Cognitive Recovery After Minor Stroke
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Patients with minor stroke exhibit slowed processing speed and generalized alterations in functional connectivity involving frontoparietal cortex (FPC). The pattern of connectivity evolves over time. In this study, we examine the relationship of functional connectivity patterns to cognitive performance, to determine ...
Vrishab Commuri +7 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.This study examines how several molten high‐silicon electrical steels interact with both conventional and recycled MgO–C refractories. For this, various immersion experiments are conducted. In addition to infiltration, a number of mechanisms are identified and explained that control the corrosion of the refractory material.
Lukas Neubert +7 more
wiley +1 more source