Results 211 to 220 of about 3,268 (258)
Bioaugmentation of Rotator Cuff Repair With an Interpositional Nanofiber Scaffold. [PDF]
Arthrosc TechMousad AD +3 more
europepmc +1 more source
Coherent Bunching of Anyons and their Dissociation in Interference Experiments
Heiblum M +4 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Mathematical Structures in Computer Science, 2008
We describe a polymorphic, typed lambda calculus with substructural features. This calculus extends the first-order substructural lambda calculus αλ associated with bunched logic. A particular novelty of our new calculus is the substructural treatment of second-order variables. This is accomplished through the use of bunches of type variables in typing
Matthew Collinson +2 more
openaire +1 more source
We describe a polymorphic, typed lambda calculus with substructural features. This calculus extends the first-order substructural lambda calculus αλ associated with bunched logic. A particular novelty of our new calculus is the substructural treatment of second-order variables. This is accomplished through the use of bunches of type variables in typing
Matthew Collinson +2 more
openaire +1 more source
Annual Review of Economics, 2016
Recent years have seen a surge of applied work using bunching approaches, a development that is closely linked to the increased availability of administrative data. These approaches exploit the incentives for bunching created by discontinuities in the slope of choice sets (kinks) or in the level of choice sets (notches) to study the behavior of ...
Henrik Jacobsen Kleven
exaly +2 more sources
Recent years have seen a surge of applied work using bunching approaches, a development that is closely linked to the increased availability of administrative data. These approaches exploit the incentives for bunching created by discontinuities in the slope of choice sets (kinks) or in the level of choice sets (notches) to study the behavior of ...
Henrik Jacobsen Kleven
exaly +2 more sources
Acta Informatica, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Joseph M. Morris, Alexander Bunkenburg
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Joseph M. Morris, Alexander Bunkenburg
openaire +2 more sources
The Logic of Bunched Implications
Bulletin of Symbolic Logic, 1999AbstractWe introduce a logicBIin which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side. The propositional version ofBIarises from an analysis of the proof-theoretic relationship between conjunction and implication; it can be viewed as a merging of intuitionistic logic and multiplicative intuitionistic ...
Peter W. O'Hearn, David J. Pym
openaire +1 more source
Bunch-by-bunch phase measurement at KEKB
PACS2001. Proceedings of the 2001 Particle Accelerator Conference (Cat. No.01CH37268), 2002A fast gate module has been developed at KEKB, which can pick up the signal of one bunch from a train of bunches. The gate module is attached to a turn-by-turn beam position monitor, where the beam phase is detected by an orthogonal phase technique. Characteristics of the gate module have been investigated. We have measured the bunch phase along a long
K. Akai, T. Ieiri, T. Kawamoto
openaire +1 more source