-
321
Concurrent context-free grammars
Published 2014“…In this paper we study some properties of context-free concurrent grammars which are controlled by Petri nets under parallel firing strategies, i.e., the transitions of a Petri net fire simultaneously in different modes. …”
Get full text
Proceeding Paper -
322
Comparison-free polyregular functions
Published 2021“…Our motivation for studying this class comes from another characterization, which we merely mention here but prove elsewhere, based on a λ-calculus with a linear type system. …”
Conference item -
323
-
324
Reasons-sensitivity and degrees of free will
Published 2020“…As well as avoiding the problems faced by its rivals, I’ll argue that this account provides a novel response to the situationist threat to free will, arising out of empirical studies purporting to show that ‘situational factors’ play a larger role in producing actions than we typically assume. …”
Journal article -
325
Free-flight kinematics of diptera
Published 2018“…The aim of my DPhil is to explore different strategies for analysing large datasets of free-flight kinematics in three Dipteran species: <em>Drosophila melanogaster</em> (fruit fly), <em>Calliphora vicina</em> (blowfly) and Eristalis tenax (drone fly). …”
Thesis -
326
Hydrogen-free graphene edges.
Published 2014“…Despite the importance, experimental investigations of whether graphene edges are always hydrogen-terminated are limited. Here we study graphene edges produced by sputtering in vacuum and direct measurements of the C-C bond lengths at the edge show ~86% contraction relative to the bulk. …”
Journal article -
327
Free-fermion subsystem codes
Published 2022“…This model can be viewed as a free-fermionized version of the two-dimensional Bacon-Shor code. …”
Journal article -
328
Free association versus juridification
Published 2011“…This article argues that what is needed is neither merely the repeal of post-1979 laws, nor a 'positive right to strike'. …”
Journal article -
329
-
330
Profinite rigidity and free groups
Published 2023“…We discuss the extent to which groups such as free groups are determined by their finite images. …”
Book section -
331
POWER-FREE VALUES OF POLYNOMIALS
Published 2013“…For irreducible polynomials of the form Xd + c we establish the expected asymptotic formula for the number of k-free integers nd + c with n ≤ x, under the assumption that k ≥ (5d + 3)/9. …”
Journal article -
332
Localization of the free energy in supergravity
Published 2024“…We derive a general formula for the gravitational free energy of Euclidean supersymmetric solutions to D = 4, N = 2 gauged supergravity coupled to vector multiplet matter. …”
Journal article -
333
-
334
-
335
Free delivery (functional pearl)
Published 2016“…The standard representation for abstract syntax is to use free monads; we show that free applicative functors are actually a better choice of representation for this scenario. …”
Conference item -
336
Virtually free-by-cyclic groups
Published 2024“…We obtain a homological characterisation of virtually free-by-cyclic groups among groups that are hyperbolic and virtually compact special. …”
Journal article -
337
Free groups and Stallings' folding
Published 2023“…</p> <p>We apply folding techniques to uncover a fine property of the classical Whitehead's algorithm for recognizing primitive elements and free factors in a free group. …”
Thesis -
338
Free will in device-independent cryptography
Published 2014“…However, the extreme paranoia attributable to the relaxed assumptions within device independence requires an explicit consideration of the previously assumed ability of the experimenters to freely make random choices. This thesis addresses the so-called `free will loophole', presenting Bell tests and associated cryptographic protocols robust against adversarial manipulation of the random number generators with which measurements in a Bell test are selected.…”
Thesis -
339
-
340
Model-free superhedging duality
Published 2017“…In a model-free discrete time financial market, we prove the superhedging duality theorem, where trading is allowed with dynamic and semistatic strategies. …”
Journal article