Results 251 to 260 of about 10,237 (295)
BUNCH BY BUNCH FEEDBACK SYSTEMS FOR SUPERKEKB RINGS
BUNCH BY BUNCH FEEDBACK SYSTEMS FOR SUPERKEKB RINGSopenaire +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 +3 more sources
Frequency-Diverse Bunching Metamaterial Antenna for Coincidence Imaging
Materials, 2019 A frequency-diverse bunching metamaterial antenna for coincidence imaging in the Ka band is proposed in this paper. The bunching metamaterial antenna includes a broadband circular array and a frequency-diverse bunching metalens.
Jianxing Li, Hongyu Shi, Shitao Zhu
exaly +2 more sources
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
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
2005
We describe a polymorphic extension of the substructural lambda calculus αλ associated with the logic of bunched implications. This extension is particularly novel in that both variables and type variables are treated substructurally, being maintained through a system of zoned, bunched contexts.
Matthew Collinson +2 more
openaire +1 more source
We describe a polymorphic extension of the substructural lambda calculus αλ associated with the logic of bunched implications. This extension is particularly novel in that both variables and type variables are treated substructurally, being maintained through a system of zoned, bunched contexts.
Matthew Collinson +2 more
openaire +1 more source