-
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
-
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
-
19Ensemble Learning-Based Person Re-identification with Multiple Feature RepresentationsComplexity 2018 1-12. 2018.
-
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
-
17Metaphor recognition: Chmeta, a pattern‐based systemIn L. Magnani (ed.), Computational Intelligence, . pp. 265-301. 2009.
Berkeley, California, United States of America