481,141 Hits in 9.9 sec

Functions as Processes: The Case of Collapsing Non-determinism [article]

Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2022 arXiv   pre-print
Next, (i) the key meta-theoretical properties of typed processes (type preservation and deadlock-freedom) are proven following propositions-as-sessions, and (ii) a correct translation of a resource λ-calculus  ...  This paper studies typed translations of λ-calculi into π-calculi, both with non-determinism, informed by the Curry-Howard isomorphism between linear logic and session types (propositions-as-sessions).  ...  Functions as Processes: The Case of Collapsing Non-determinism Name y is bound in (νy)(P |Q), x[y]; (P |Q), ?x[y]; P , and x(y); P .  ... 
arXiv:2205.00680v2 fatcat:vpwkr5dbh5dxvfjh2vp3hyn4gi

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) [article]

Joseph W. N. Paulus and Daniele Nantes-Sobrinho and Jorge A. Pérez
2021 arXiv   pre-print
We study encodings of the lambda-calculus into the pi-calculus in the unexplored case of calculi with non-determinism and failures.  ...  Our encoding precisely explains the interplay of non-deterministic and fail-prone evaluation in lambdafail via typed processes in spi.  ...  collapsing non-determinism.  ... 
arXiv:2104.14759v3 fatcat:li6q6haxczdynjhdfmrppzzvvq

Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version) [article]

Joseph W. N. Paulus and Daniele Nantes-Sobrinho and Jorge A. Pérez
2022 arXiv   pre-print
Our main contribution is the source language, a new resource λ-calculus with non-determinism and failures, dubbed .  ...  Type-preserving translations are effective rigorous tools in the study of core programming calculi.  ...  Non-deterministic functions as non-deterministic processes.  ... 
arXiv:2112.01593v2 fatcat:pgmxkjsx4ffuzduwge2ltenki4

The N400 as a function of the level of processing

1995 Psychophysiology  
In particular, we focused on the impact on the N400 of different levels of processing of lexical stimuli.  ...  In a semantic priming paradigm, the effects of different levels of processing on the N400 were assessed by chang ing the task demands.  ...  The reason for this prediction is that in the former case the positive shift (as a function of probability) is for the same items as is the negative shift (as a function of relatedness).  ... 
doi:10.1111/j.1469-8986.1995.tb02956.x pmid:7784536 fatcat:uqxnlaf5ifbrrjrrn76cf5ntea

The neural dynamics of stimulus and response conflict processing as a function of response complexity and task demands

Sarah E. Donohue, Lawrence G. Appelbaum, Cameron C. McKay, Marty G. Woldorff
2016 Neuropsychologia  
Although several neural activations have been associated with conflict processing, it is unclear how specific any of these are to the type of stimulus conflict or the amount of response conflict.  ...  Together, these data highlight how different conflict-related processes operate in parallel and depend on both the cognitive demands of the task and the number of response options.  ...  The authors thank Jennifer Hong, Heather Wallace, Orane Douglas and Christopher Mazis for assistance with data collection.  ... 
doi:10.1016/j.neuropsychologia.2016.01.035 pmid:26827917 pmcid:PMC4808442 fatcat:sstqvoemeva3nmsbj7ieh2n3fy

The Diffusion Coefficient of the Splashback Mass Function as a Probe of Cosmology [article]

Suho Ryu, Jounghun Lee
2021 arXiv   pre-print
The value of the single coefficient that quantifies the diffusive nature of the splashback boundary is determined at various redshifts by comparing the model with the numerical results from the Erebos  ...  We present an analytic model for the splashback mass function of dark matter halos, which is parameterized by a single coefficient and constructed in the framework of the generalized excursion set theory  ...  the case that the splashback rather than the virial radius is used as the halo boundary, the formation process of a DM halo follows much better the spherical collapse dynamics and thus its identification  ... 
arXiv:2103.00730v2 fatcat:dyxteuo5unhqrcvzchapisy73m

Tau Functions as Widom Constants

M. Cafasso, P. Gavrylenko, O. Lisovyy
2018 Communications in Mathematical Physics  
In the case of one circle, the tau function coincides with Widom's determinant arising in the asymptotics of block Toeplitz matrices.  ...  The tau function depends on parameters of the jumps and is expressed as the Fredholm determinant of an integral operator with block integrable kernel constructed in terms of elementary parametrices.  ...  The work of P.G. was partially supported the Russian Academic Excellence Project '5-100' and by the RSF grant No. 16-11-10160.  ... 
doi:10.1007/s00220-018-3230-9 fatcat:ckhjcjtoqna4rkq2wkta2jscyq

Continuous spontaneous localization wave function collapse model as a mechanism for the emergence of cosmological asymmetries in inflation

Pedro Cañate, Philip Pearle, Daniel Sudarsky
2013 Physical Review D  
To generate asymmetries, we present an application of the Continuous Spontaneous Localization (CSL) model of wave function collapse (P. Pearle, Phys. Rev. A 39, 2277, (1989); G. C. Ghirardi, P.  ...  A42, 78 (1990)) in the context of inflation. This modification of quantum dynamics introduces a stochastic non-unitary component to the evolution of the inflaton field perturbations.  ...  Sections III-V present the non-collapse setting, and the remaining sections invoke the collapse.  ... 
doi:10.1103/physrevd.87.104024 fatcat:xgvz5jhs5zbf3po6mkzznvpzgy

Functionalized Graphene as an Electron-Cascade Acceptor for Air-Processed Organic Ternary Solar Cells

Francesco Bonaccorso, Nikolaos Balis, Minas M. Stylianakis, Marika Savarese, Carlo Adamo, Mauro Gemmi, Vittorio Pellegrini, Emmanuel Stratakis, Emmanuel Kymakis
2022 Zenodo  
Functionalized graphene nanofl akes (GNFs) are used as an electron-cascade acceptor material in air-processed organic ternary bulk heterojunction solar cells.  ...  The functionalization is realized via the attachment of the ethylenedinitrobenzoyl (EDNB) molecule to the GNFs.  ...  Acknowledgements The research leading to these results has received funding from the European Union Seventh Framework Programme under grant agreement n°604391 Graphene Flagship.  ... 
doi:10.5281/zenodo.6425150 fatcat:7ag7pbjob5f6zh6v6turjipj7u

The IMF as a function of supersonic turbulence

C. Bertelli Motta, P. C. Clark, S. C. O. Glover, R. S. Klessen, A. Pasquali
2016 Monthly notices of the Royal Astronomical Society  
molecular cloud on the shape of the system mass function in different density regimes.  ...  (CMF) in star forming regions, and as a consequence with the stellar IMF.  ...  of the Interstellar Medium' (grant number GL 668/2-1).  ... 
doi:10.1093/mnras/stw1921 fatcat:in5o3o5ujncqfdzcd6xthchala

Cueing effects on semantic and perceptual categorization: ERPs reveal differential effects of validity as a function of processing stage

2007 Neuropsychologia  
The temporal relationship of these effects suggests that the P3a indexed domain-general task-set switching processes recruited in response to the detection of unexpected perceptual information.  ...  Valid cueing has been shown to accelerate target identification and improve decision accuracy, however the precise nature and extent to which biasing influences the successive stages of target processing  ...  Aspects of this data were presented at the 2005 meeting of the Cognitive Neuroscience Society (CNS), New York, NY.  ... 
doi:10.1016/j.neuropsychologia.2007.02.013 pmid:17382975 pmcid:PMC2099310 fatcat:xkxlrqup7naidpypk7yko6o7ze

Q-functions as models of physical reality [article]

Peter D. Drummond, Margaret D. Reid
2019 arXiv   pre-print
We show that one can interpret physical reality using the Q-function, the expectation of a coherent state projection operator, giving a probabilistic interpretation of quantum dynamical evolution.  ...  By including the meter dynamics, we show that phase-space trajectories have measurement properties without explicit wave-function collapse.  ...  This eliminates the observer-dependent wave-function collapse criticized by Wigner [13] as being unsatisfactory.  ... 
arXiv:1909.01798v1 fatcat:x6xwtxladvgatoy7htjjljbe2a

Saccadic target selection as a function of time

Wieske van Zoest, Mieke Donk
2006 Spatial Vision  
Observers were presented with search displays consisting of one target, multiple non-targets and one distractor element.  ...  The task of observers was to make a fast eye movement to a target immediately following the offset of a central fixation point, an event that either co-occurred with or soon followed the presentation of  ...  Stimulus-salience is defined by regions that are different from their surround on one or more feature dimensions, such as color, intensity and contrast Koch, 2000, 2001); in the present study, saliency  ... 
doi:10.1163/156856806775009205 pmid:16411483 fatcat:gdls6vpiiff6bjsz6xpbwqsp3e

Mutual information as a two-point correlation function in stochastic lattice models

Ulrich Müller, Haye Hinrichsen
2013 Journal of Statistical Mechanics: Theory and Experiment  
Likewise, the mutual information can be interpreted as a two-point correlation function.  ...  In statistical physics entropy is usually introduced as a global quantity which expresses the amount of information that would be needed to specify the microscopic configuration of a system.  ...  Right: Corresponding data collapse in the bKPZ case p = 0.1 (see text).  ... 
doi:10.1088/1742-5468/2013/04/p04021 fatcat:aqk63jxndrespjixevfiu4kfne

Generative Models as Distributions of Functions [article]

Emilien Dupont, Yee Whye Teh, Arnaud Doucet
2022 arXiv   pre-print
Generative models are typically trained on grid-like data such as images. As a result, the size of these models usually scales directly with the underlying grid resolution.  ...  By treating data points as functions, we can abstract away from the specific type of data we train on and construct models that are agnostic to discretization.  ...  We thank Yann Dubois for providing the ConvNP samples as well as helpful discussions around neural processes. We thank Shahine Bouabid for help with the ERA5 climate data.  ... 
arXiv:2102.04776v4 fatcat:6crl6jtqifhsbp7bukez6s2xjm
« Previous Showing results 1 — 15 out of 481,141 results