Showing 1–16 of 16 results for author: Colley, J

The structural invariants of Goursat distributions

Authors: Susan Jane Colley, Gary Kennedy, Corey Shanbrom

Abstract: This is the first of a pair of papers devoted to the local invariants of Goursat distributions. The study of these distributions naturally leads to a tower of spaces over an arbitrary surface, called the monster tower, and thence to connections with the topic of singularities of curves on surfaces. Here we study those invariants of Goursat distributions akin to those of curves on surfaces, which w… ▽ More This is the first of a pair of papers devoted to the local invariants of Goursat distributions. The study of these distributions naturally leads to a tower of spaces over an arbitrary surface, called the monster tower, and thence to connections with the topic of singularities of curves on surfaces. Here we study those invariants of Goursat distributions akin to those of curves on surfaces, which we call structural invariants. In the subsequent paper we will relate these structural invariants to the small-growth invariants. △ Less

Submitted 17 August, 2023; originally announced August 2023.

Comments: 35 pages, 6 figures

MSC Class: 58A30; 14H20; 53A55; 58A15

The Giant Radio Array for Neutrino Detection (GRAND) Collaboration -- Contributions to the 38th International Cosmic Ray Conference (ICRC 2023)

Authors: GRAND Collaboration, Rafael Alves Batista, Aurélien Benoit-Lévy, Teresa Bister, Mauricio Bustamante, Yiren Chen, LingMei Cheng, Simon Chiche, Jean-Marc Colley, Pablo Correa, Nicoleta Cucu Laurenciu, Zigao Dai, Beatriz de Errico, Sijbrand de Jong, João R. T. de Mello Neto, Krijn D. de Vries, Peter B. Denton, Valentin Deocoene, Kaikai Duan, Bohao Duan, Ralph Engel, Yizhong Fan, Arsène Ferrière, QuanBu Gou, Junhua Gu , et al. (74 additional authors not shown)

Abstract: The Giant Radio Array for Neutrino Detection (GRAND) is an envisioned observatory of ultra-high-energy particles of cosmic origin, with energies in excess of 100 PeV. GRAND uses large surface arrays of autonomous radio-detection units to look for the radio emission from extensive air showers that are triggered by the interaction of ultra-high-energy cosmic rays, gamma rays, and neutrinos in the at… ▽ More The Giant Radio Array for Neutrino Detection (GRAND) is an envisioned observatory of ultra-high-energy particles of cosmic origin, with energies in excess of 100 PeV. GRAND uses large surface arrays of autonomous radio-detection units to look for the radio emission from extensive air showers that are triggered by the interaction of ultra-high-energy cosmic rays, gamma rays, and neutrinos in the atmosphere or underground. In particular, for ultra-high-energy neutrinos, the future final phase of GRAND aims to be sensitive enough to discover them in spite of their plausibly tiny flux. Presently, three prototype GRAND radio arrays are in operation: GRANDProto300, in China, GRAND@Auger, in Argentina, and GRAND@Nancay, in France. Their goals are to field-test the design of the radio-detection units, understand the radio background to which they are exposed, and develop tools for diagnostic, data gathering, and data analysis. This list of contributions to the 38th International Cosmic Ray Conference (ICRC 2023) presents an overview of GRAND, in its present and future incarnations, and a look at the first data collected by GRANDProto13, the first phase of GRANDProto300. △ Less

Submitted 27 July, 2023; originally announced August 2023.

Comments: Note: To access the list of contributions, please follow the "HTML" link that can be found on the arXiv page

An Analysis of Home IoT Network Traffic and Behaviour

Authors: Yousef Amar, Hamed Haddadi, Richard Mortier, Anthony Brown, James Colley, Andy Crabtree

Abstract: Internet-connected devices are increasingly present in our homes, and privacy breaches, data thefts, and security threats are becoming commonplace. In order to avoid these, we must first understand the behaviour of these devices. In this work, we analyse network traces from a testbed of common IoT devices, and describe general methods for fingerprinting their behavior. We then use the informatio… ▽ More Internet-connected devices are increasingly present in our homes, and privacy breaches, data thefts, and security threats are becoming commonplace. In order to avoid these, we must first understand the behaviour of these devices. In this work, we analyse network traces from a testbed of common IoT devices, and describe general methods for fingerprinting their behavior. We then use the information and insights derived from this data to assess where privacy and security risks manifest themselves, as well as how device behavior affects bandwidth. We demonstrate simple measures that circumvent attempts at securing devices and protecting privacy. △ Less

Submitted 14 March, 2018; originally announced March 2018.

Comments: Submitted to TMA 2018

Cartan Prolongation of a Family of Curves Acquiring a Node

Authors: Susan Jane Colley, Gary Kennedy

Abstract: Using the monster/Semple tower construction, we study the structure of the Cartan prolongation of the family $x_1x_2 = t$ of plane curves with nodal central member. Using the monster/Semple tower construction, we study the structure of the Cartan prolongation of the family $x_1x_2 = t$ of plane curves with nodal central member. △ Less

Submitted 7 April, 2018; v1 submitted 8 October, 2017; originally announced October 2017.

MSC Class: 58A30; 53A55; 58K50; 14D06; 14H99

Journal ref: SIGMA 14 (2018), 031, 16 pages

Contributions of the Cherenkov Telescope Array (CTA) to the 6th International Symposium on High-Energy Gamma-Ray Astronomy (Gamma 2016)

Authors: The CTA Consortium, :, A. Abchiche, U. Abeysekara, Ó. Abril, F. Acero, B. S. Acharya, C. Adams, G. Agnetta, F. Aharonian, A. Akhperjanian, A. Albert, M. Alcubierre, J. Alfaro, R. Alfaro, A. J. Allafort, R. Aloisio, J. -P. Amans, E. Amato, L. Ambrogi, G. Ambrosi, M. Ambrosio, J. Anderson, M. Anduze, E. O. Angüner , et al. (1387 additional authors not shown)

Abstract: List of contributions from the Cherenkov Telescope Array (CTA) Consortium presented at the 6th International Symposium on High-Energy Gamma-Ray Astronomy (Gamma 2016), July 11-15, 2016, in Heidelberg, Germany. List of contributions from the Cherenkov Telescope Array (CTA) Consortium presented at the 6th International Symposium on High-Energy Gamma-Ray Astronomy (Gamma 2016), July 11-15, 2016, in Heidelberg, Germany. △ Less

Submitted 17 October, 2016; originally announced October 2016.

Comments: Index of CTA conference proceedings for the Gamma 2016, Heidelberg, Germany

A coarse stratification of the monster tower

Authors: Alex Castro, Susan Jane Colley, Gary Kennedy, Corey Shanbrom

Abstract: The monster tower is a tower of spaces over a specified base; each space in the tower is a parameter space for curvilinear data up to a specified order. We describe and analyze a natural stratification of these spaces. The monster tower is a tower of spaces over a specified base; each space in the tower is a parameter space for curvilinear data up to a specified order. We describe and analyze a natural stratification of these spaces. △ Less

Submitted 12 January, 2017; v1 submitted 25 June, 2016; originally announced June 2016.

Comments: 13 pages, minor revisions, version to appear in Michigan Mathematical Journal

MSC Class: 14H99; 58A30

Journal ref: Michigan Math. J. 66 (2017) 855-866

Formal Modelling, Testing and Verification of HSA Memory Models using Event-B

Authors: Ashish Darbari, Iain Singleton, Michael Butler, John Colley

Abstract: The HSA Foundation has produced the HSA Platform System Architecture Specification that goes a long way towards addressing the need for a clear and consistent method for specifying weakly consistent memory. HSA is specified in a natural language which makes it open to multiple ambiguous interpretations and could render bugs in implementations of it in hardware and software. In this paper we presen… ▽ More The HSA Foundation has produced the HSA Platform System Architecture Specification that goes a long way towards addressing the need for a clear and consistent method for specifying weakly consistent memory. HSA is specified in a natural language which makes it open to multiple ambiguous interpretations and could render bugs in implementations of it in hardware and software. In this paper we present a formal model of HSA which can be used in the development and verification of both concurrent software applications as well as in the development and verification of the HSA-compliant platform itself. We use the Event-B language to build a provably correct hierarchy of models from the most abstract to a detailed refinement of HSA close to implementation level. Our memory models are general in that they represent an arbitrary number of masters, programs and instruction interleavings. We reason about such general models using refinements. Using Rodin tool we are able to model and verify an entire hierarchy of models using proofs to establish that each refinement is correct. We define an automated validation method that allows us to test baseline compliance of the model against a suite of published HSA litmus tests. Once we complete model validation we develop a coverage driven method to extract a richer set of tests from the Event-B model and a user specified coverage model. These tests are used for extensive regression testing of hardware and software systems. Our method of refinement based formal modelling, baseline compliance testing of the model and coverage driven test extraction using the single language of Event-B is a new way to address a key challenge facing the design and verification of multi-core systems. △ Less

Submitted 16 May, 2016; originally announced May 2016.

Comments: 9 pages, 10 figures

Modelling and Refinement in CODA

Authors: Michael Butler, John Colley, Andrew Edmunds, Colin Snook, Neil Evans, Neil Grant, Helen Marshall

Abstract: This paper provides an overview of the CODA framework for modelling and refinement of component-based embedded systems. CODA is an extension of Event-B and UML-B and is supported by a plug-in for the Rodin toolset. CODA augments Event-B with constructs for component-based modelling including components, communications ports, port connectors, timed communications and timing triggers. Component beha… ▽ More This paper provides an overview of the CODA framework for modelling and refinement of component-based embedded systems. CODA is an extension of Event-B and UML-B and is supported by a plug-in for the Rodin toolset. CODA augments Event-B with constructs for component-based modelling including components, communications ports, port connectors, timed communications and timing triggers. Component behaviour is specified through a combination of UML-B state machines and Event-B. CODA communications and timing are given an Event-B semantics through translation rules. Refinement is based on Event-B refinement and allows layered construction of CODA models in a consistent way. △ Less

Submitted 27 May, 2013; originally announced May 2013.

Comments: In Proceedings Refine 2013, arXiv:1305.5634

Journal ref: EPTCS 115, 2013, pp. 36-51

Computing Severi Degrees with Long-edge Graphs

Authors: Florian Block, Susan Jane Colley, Gary Kennedy

Abstract: We study a class of graphs with finitely many edges in order to understand the nature of the formal logarithm of the generating series for Severi degrees in elementary combinatorial terms. These graphs are related to floor diagrams associated to plane tropical curves originally developed by Brugalle and Mikhalkin, and used by Block, Fomin, and Mikhalkin to calculate Severi degrees of the projectiv… ▽ More We study a class of graphs with finitely many edges in order to understand the nature of the formal logarithm of the generating series for Severi degrees in elementary combinatorial terms. These graphs are related to floor diagrams associated to plane tropical curves originally developed by Brugalle and Mikhalkin, and used by Block, Fomin, and Mikhalkin to calculate Severi degrees of the projective plane and node polynomials of plane curves. △ Less

Submitted 3 November, 2013; v1 submitted 21 March, 2013; originally announced March 2013.

Comments: Minor changes, including revised references, and an observation due to S. Chmutov about a relation with chromatic polynomials. 20 pages, 16 figures. To appear in a volume of the Bulletin of the Brazilian Math Society devoted to proceedings of 2012 ALGA at IMPA

MSC Class: Primary 14N10. Secondary 14T05; 14N35; 05A99

Planck 2013 results. XIV. Zodiacal emission

Authors: Planck Collaboration, P. A. R. Ade, N. Aghanim, C. Armitage-Caplan, M. Arnaud, M. Ashdown, F. Atrio-Barandela, J. Aumont, C. Baccigalupi, A. J. Banday, R. B. Barreiro, J. G. Bartlett, E. Battaner, K. Benabed, A. Benoît, A. Benoit-Lévy, J. -P. Bernard, M. Bersanelli, P. Bielewicz, J. Bobin, J. J. Bock, A. Bonaldi, J. R. Bond, J. Borrill, F. R. Bouchet , et al. (207 additional authors not shown)

Abstract: The Planck satellite provides a set of all-sky maps at nine frequencies from 30 GHz to 857 GHz. Planets, minor bodies, and diffuse interplanetary dust emission (IPD) are all observed. The IPD can be separated from Galactic and other emissions because Planck views a given point on the celestial sphere multiple times, through different columns of IPD. We use the Planck data to investigate the behavi… ▽ More The Planck satellite provides a set of all-sky maps at nine frequencies from 30 GHz to 857 GHz. Planets, minor bodies, and diffuse interplanetary dust emission (IPD) are all observed. The IPD can be separated from Galactic and other emissions because Planck views a given point on the celestial sphere multiple times, through different columns of IPD. We use the Planck data to investigate the behaviour of zodiacal emission over the whole sky at sub-millimetre and millimetre wavelengths. We fit the Planck data to find the emissivities of the various components of the COBE zodiacal model -- a diffuse cloud, three asteroidal dust bands, a circumsolar ring, and an Earth-trailing feature. The emissivity of the diffuse cloud decreases with increasing wavelength, as expected from earlier analyses. The emissivities of the dust bands, however, decrease less rapidly, indicating that the properties of the grains in the bands are different from those in the diffuse cloud. We fit the small amount of Galactic emission seen through the telescope's far sidelobes, and place limits on possible contamination of the CMB results from both zodiacal and far-sidelobe emission. When necessary, the results are used in the Planck pipeline to make maps with zodiacal emission and far sidelobes removed. We show that the zodiacal correction to the CMB maps is small compared to the Planck CMB temperature power spectrum and give a list of flux densities for small Solar System bodies. △ Less

Submitted 14 April, 2014; v1 submitted 20 March, 2013; originally announced March 2013.

Journal ref: A&A 571, A14 (2014)

Building on the DEPLOY Legacy: Code Generation and Simulation

Authors: Andrew Edmunds, Michael Butler, John Colley

Abstract: The RODIN, and DEPLOY projects laid solid foundations for further theoretical, and practical (methodological and tooling) advances with Event-B. Our current interest is the co-simulation of cyber-physical systems using Event-B. Using this approach we aim to simulate various features of the environment separately, in order to exercise deployable code. This paper has two contributions, the first is… ▽ More The RODIN, and DEPLOY projects laid solid foundations for further theoretical, and practical (methodological and tooling) advances with Event-B. Our current interest is the co-simulation of cyber-physical systems using Event-B. Using this approach we aim to simulate various features of the environment separately, in order to exercise deployable code. This paper has two contributions, the first is the extension of the code generation work of DEPLOY, where we add the ability to generate code from Event-B state-machine diagrams. The second describes how we may use code, generated from state-machines, to simulate the environment, and simulate concurrently executing state-machines, in a single task. We show how we can instrument the code to guide the simulation, by controlling the relative rate that non-deterministic transitions are traversed in the simulation. △ Less

Submitted 25 October, 2012; originally announced October 2012.

Comments: In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012

Planck early results. VI. The High Frequency Instrument data processing

Authors: Planck HFI Core Team, P. A. R. Ade, N. Aghanim, R. Ansari, M. Arnaud, M. Ashdown, J. Aumont, A. J. Banday, M. Bartelmann, J. G. Bartlett, E. Battaner, K. Benabed, A. Benoît, J. -P. Bernard, M. Bersanelli, J. J. Bock, J. R. Bond, J. Borrill, F. R. Bouchet, F. Boulanger, T. Bradshaw, M. Bucher, J. -F. Cardoso, G. Castex, A. Catalano , et al. (141 additional authors not shown)

Abstract: We describe the processing of the 336 billion raw data samples from the High Frequency Instrument (HFI) which we performed to produce six temperature maps from the first 295 days of Planck-HFI survey data. These maps provide an accurate rendition of the sky emission at 100, 143, 217, 353, 545 and 857 GHz with an angular resolution ranging from 9.9 to 4.4^2. The white noise level is around 1.5 μK… ▽ More We describe the processing of the 336 billion raw data samples from the High Frequency Instrument (HFI) which we performed to produce six temperature maps from the first 295 days of Planck-HFI survey data. These maps provide an accurate rendition of the sky emission at 100, 143, 217, 353, 545 and 857 GHz with an angular resolution ranging from 9.9 to 4.4^2. The white noise level is around 1.5 μK degree or less in the 3 main CMB channels (100--217GHz). The photometric accuracy is better than 2% at frequencies between 100 and 353 GHz and around 7% at the two highest frequencies. The maps created by the HFI Data Processing Centre reach our goals in terms of sensitivity, resolution, and photometric accuracy. They are already sufficiently accurate and well-characterised to allow scientific analyses which are presented in an accompanying series of early papers. At this stage, HFI data appears to be of high quality and we expect that with further refinements of the data processing we should be able to achieve, or exceed, the science goals of the Planck project. △ Less

Submitted 23 December, 2011; v1 submitted 11 January, 2011; originally announced January 2011.

Comments: Replaced by the accepted version for publication, as part of a package of papers describing first results of the Planck mission The paper with figures at full resolution and full color tables can also be downloaded from the ESA site http://www.rssd.esa.int/Planck

Report number: Planck2011-1.6

Journal ref: A&A, Volume 536, December 2011

Tangential Quantum Cohomology of Arbitrary Order

Authors: S. J. Colley, G. Kennedy

Abstract: J. Kock has previously defined a tangency quantum product on formal power series with coefficients in the cohomology ring of any smooth projective variety, and thus a ring that generalizes the quantum cohomology ring. We further generalize Kock's construction by defining a dth-order contact product and establishing its associativity. J. Kock has previously defined a tangency quantum product on formal power series with coefficients in the cohomology ring of any smooth projective variety, and thus a ring that generalizes the quantum cohomology ring. We further generalize Kock's construction by defining a dth-order contact product and establishing its associativity. △ Less

Submitted 23 July, 2007; v1 submitted 29 November, 2006; originally announced November 2006.

Comments: 18 pages, LaTeX. We correct our paper to work in the correct context, viz., using numerical equivalence (rather than rational equivalence) and explicitly mentioning the Novikov ring

MSC Class: 14N35 (Primary) 14C17; 14D22 (Secondary)

Journal ref: Comm. Algebra 36 (2008), no. 8, 2979--2997

Detecting flat normal cones using Segre classes

Authors: S. J. Colley, G. Kennedy

Abstract: Given a flat, projective morphism $Y \to T$ from an equidimensional scheme to a nonsingular curve and a subscheme $Z$ of $Y$, we give conditions under which specialization of the Segre class $s(N_{Z}Y)$ of the normal cone of $Z$ in $Y$ implies flatness of the normal cone. We apply this result to study when the relative tangent star cone of a flat family is flat. Given a flat, projective morphism $Y \to T$ from an equidimensional scheme to a nonsingular curve and a subscheme $Z$ of $Y$, we give conditions under which specialization of the Segre class $s(N_{Z}Y)$ of the normal cone of $Z$ in $Y$ implies flatness of the normal cone. We apply this result to study when the relative tangent star cone of a flat family is flat. △ Less

Submitted 31 October, 2000; v1 submitted 6 October, 2000; originally announced October 2000.

Comments: LaTeX, 11 pages, no figures

MSC Class: 13A30 14C17 (Primary) 14B25 14M05 (Secondary)

Contact formulas for rational plane curves via stable maps

Authors: Susan Jane Colley, Lars Ernstrom, Gary Kennedy

Abstract: We use stable maps, and their stable lifts to the Semple bundle variety of second-order curvilinear data, to calculate certain characteristic numbers for rational plane curves. These characteristic numbers involve first-order (tangency) and second-order (inflectional) conditions. Although they may be virtual, they may be used as inputs in an enumeratively significant formula for the number of ra… ▽ More We use stable maps, and their stable lifts to the Semple bundle variety of second-order curvilinear data, to calculate certain characteristic numbers for rational plane curves. These characteristic numbers involve first-order (tangency) and second-order (inflectional) conditions. Although they may be virtual, they may be used as inputs in an enumeratively significant formula for the number of rational curves having a triple contact with a specified plane curve and passing through 3d-3 general points. △ Less

Submitted 28 April, 2000; v1 submitted 22 September, 1999; originally announced September 1999.

Comments: Final version, to appear in J. of Algebraic Geometry; 28 pages, 4 figures, 2 tables

MSC Class: 14N10 (Primary) 14C17 14D22 (Secondary)

The enumeration of simultaneous higher-order contacts between plane curves

Authors: Susan Jane Colley, Gary Kennedy

Abstract: Using the Semple bundle construction, we derive an intersection-theoretic formula for the number of simultaneous contacts of specified orders between members of a generic family of degree $d$ plane curves and finitely many fixed curves. The contacts counted by the formula occur at nonsingular points of both the members of the family and the fixed curves. Using the Semple bundle construction, we derive an intersection-theoretic formula for the number of simultaneous contacts of specified orders between members of a generic family of degree $d$ plane curves and finitely many fixed curves. The contacts counted by the formula occur at nonsingular points of both the members of the family and the fixed curves. △ Less

Submitted 29 June, 1993; v1 submitted 8 December, 1992; originally announced December 1992.

Comments: 32 pages, AmS-TeX v2.1 (Revised statement and proof of one lemma; other minor changes.)