-
46The 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
-
25A nonlow2 R. E. Degree with the Extension of Embeddings Properties of a low2 DegreeMathematical Logic Quarterly 48 (1): 131-146. 2002.We construct a nonlow2 r.e. degree d such that every positive extension of embeddings property that holds below every low2 degree holds below d. Indeed, we can also guarantee the converse so that there is a low r.e. degree c such that that the extension of embeddings properties true below c are exactly the ones true belowd.Moreover, we can also guarantee that no b ≤ d is the base of a nonsplitting pair
-
19Ensemble Learning-Based Person Re-identification with Multiple Feature RepresentationsComplexity 2018 1-12. 2018.
-
17Metaphor recognition: Chmeta, a pattern‐based systemIn L. Magnani (ed.), Computational Intelligence, . pp. 265-301. 2009.
-
15Comparison of the deformation behaviour of commercially pure titanium and Ti–5Al–2.5Sn at 296 and 728 KPhilosophical Magazine 93 (21): 2875-2895. 2013.
-
14The existence of high nonbounding degrees in the difference hierarchyAnnals of Pure and Applied Logic 138 (1): 31-51. 2006.We study the jump hierarchy of d.c.e. Turing degrees and show that there exists a high d.c.e. degree d which does not bound any minimal pair of d.c.e. degrees
-
7© 2015 Elsevier Inc.The breakthrough of induced pluripotent stem cell technology has raised the possibility that patient-specific iPSCs may become a renewable source of autologous cells for cell therapy without the concern of immune rejection. However, the immunogenicity of autologous human iPSC -derived cells is not well understood. Using a humanized mouse model reconstituted with a functional human immune system, we demonstrate that most teratomas formed by autologous integration-free hiPSCs e…Read more
-
4© 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
Berkeley, California, United States of America