-
20© CERN for the benefit of the ATLAS collaboration 2011.We present first measurements of charged and neutral particle-flow correlations in pp collisions using the ATLAS calorimeters.Data were collected in 2009 and 2010 at centre-of-mass energies of 900 GeV and 7 TeV.Events were selected using a minimum-bias trigger which required a charged particle in scintillation counters on either side of the interaction point.Particle flows, sensitive to the underlying event, are measured using clusters of en…Read more
-
18© 2015 American Chemical Society. We demonstrate straightforward fabrication of highly sensitive biosensor arrays based on field-effect transistors, using an efficient high-throughput, large-area patterning process. Chemical lift-off lithography is used to construct field-effect transistor arrays with high spatial precision suitable for the fabrication of both micrometer- and nanometer-scale devices. Sol-gel processing is used to deposit ultrathin In 2 O 3 films as semiconducting channel layers.…Read more
-
100The minimal e-degree problem in fragments of Peano arithmeticAnnals of Pure and Applied Logic 131 (1-3): 159-175. 2005.We study the minimal enumeration degree problem in models of fragments of Peano arithmetic () and prove the following results: in any model M of Σ2 induction, there is a minimal enumeration degree if and only if M is a nonstandard model. Furthermore, any cut in such a model has minimal e-degree. By contrast, this phenomenon fails in the absence of Σ2 induction. In fact, whether every Σ2 cut has minimal e-degree is independent of the Σ2 bounding principle.
Areas of Interest
| Philosophy of Language |
| 17th/18th Century Philosophy |