Results 91 to 100 of about 1,184,149 (273)
, 2011 Quantum entanglement plays a vital role in many quantum information and communication tasks. Entangled states of higher dimensional systems are of great interest due to the extended possibilities they provide.
Andersson, Erika +4 more
core +1 more source
Inductive Definition and Domain Theoretic Properties of Fully Abstract [PDF]
Logical Methods in Computer Science, 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 ...
Vladimir Sazonov
doaj +1 more source
A mathematical Study of Magnetohydrodynamic Casson Fluid via Special Functions with Heat and Mass Transfer embedded in Porous Plate [PDF]
arXiv, 2017 This article is proposed to investigate the impacts of heat and mass transfer in magnetohydrodynamic casson fluid embedded in porous medium. The generalized solutions have been traced out for the temperature distribution, mass concentration and velocity profiles under the existence and non-existence of transverse magnetic field, permeability and ...
arxiv
Three-terminal thermoelectric transport through a molecule placed on an Aharonov-Bohm ring
, 2011 The thermoelectric transport through a ring threaded by an Aharonov-Bohm flux, with a molecular bridge on one of its arms, is analyzed. The transport electrons also interact with the vibrational excitations of that molecule. This nano-system is connected
A. Aharony +5 more
core +1 more source
URSA: A System for Uniform Reduction to SAT [PDF]
Logical Methods in Computer Science, 2012 There are a huge number of problems, from various areas, being solved by reducing them to SAT. However, for many applications, translation into SAT is performed by specialized, problem-specific tools.
Predrag Janicic
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Certain frontotemporal lobar degeneration subtypes, including TDP‐A and B, can either occur sporadically or in association with specific genetic mutations. It is uncertain whether syndromic or imaging features previously associated with these patient groups are subtype or genotype specific.
Sean Coulborn +17 more
wiley +1 more source
Curved Witten-Dijkgraaf-Verlinde-Verlinde equation and ${\cal N}{=}\,4$ mechanics
, 2017 We propose a generalization of the Witten-Dijkgraaf-Verlinde-Verlinde (WDVV) equation from ${\mathbb R}^n$ to an arbitrary Riemannian manifold. Its form is obtained by extending the relation of the WDVV equation with ${\cal N}{=}\,4$ supersymmetric $n ...
Kozyrev, Nikolay +4 more
core +1 more source
Probabilistic call by push value [PDF]
Logical Methods in Computer Science, 2019 We introduce a probabilistic extension of Levy's Call-By-Push-Value. This extension consists simply in adding a " flipping coin " boolean closed atomic expression. This language can be understood as a major generalization of Scott's PCF encompassing both
Thomas Ehrhard, Christine Tasson
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Music interventions have been shown to have beneficial effects on hemodynamic parameters, pain, and anxiety in various medical settings. However, music interventions in the setting of acute stroke have not been studied. The objective of this trial was to perform a pilot feasibility study of music interventions in the setting of acute
Jeffrey J. Fletcher +7 more
wiley +1 more source
Slice & Dice: Identifying and Removing Bright Galactic Binaries from LISA Data
, 2006 Here we describe a hierarchal and iterative data analysis algorithm used for searching, characterizing, and removing bright, monochromatic binaries from the Laser Interferometer Space Antenna (LISA) data streams.
Cornish, Neil J. +2 more
core +1 more source