Search

Your search keyword '"Atkinson, Colin"' showing total 712 results
Start Over Author "Atkinson, Colin"

Refine your results

712 results on '"Atkinson, Colin"'

1. N-Version Assessment and Enhancement of Generative AI

Author

Kessel, Marcus and Atkinson, Colin

Subjects
Computer Science - Software Engineering, Computer Science - Artificial Intelligence, D.2.1, D.2.4, I.2.2, I.2.7
Abstract

Generative AI (GAI) holds great potential to improve software engineering productivity, but its untrustworthy outputs, particularly in code synthesis, pose significant challenges. The need for extensive verification and validation (V&V) of GAI-generated artifacts may undermine the potential productivity gains. This paper proposes a way of mitigating these risks by exploiting GAI's ability to generate multiple versions of code and tests to facilitate comparative analysis across versions. Rather than relying on the quality of a single test or code module, this "differential GAI" (D-GAI) approach promotes more reliable quality evaluation through version diversity. We introduce the Large-Scale Software Observatorium (LASSO), a platform that supports D-GAI by executing and analyzing large sets of code versions and tests. We discuss how LASSO enables rigorous evaluation of GAI-generated artifacts and propose its application in both software development and GAI research., Comment: This work has been accepted for publication in an upcoming issue of IEEE Software. This work has been submitted to the IEEE for possible publication

Published
2024
Full Text
View/download PDF

2. Morescient GAI for Software Engineering

Author

Kessel, Marcus and Atkinson, Colin

Subjects
Computer Science - Software Engineering, Computer Science - Artificial Intelligence, D.2.1, D.2.4, I.2.2, I.2.7
Abstract

The ability of Generative AI (GAI) technology to automatically check, synthesize and modify software engineering artifacts promises to revolutionize all aspects of software engineering. Using GAI for software engineering tasks is consequently one of the most rapidly expanding fields of software engineering research, with dozens of LLM-based code models having been published since 2021. However, the overwhelming majority of existing code models share a major weakness - they are exclusively trained on the syntactic facet of software, significantly lowering their trustworthiness in tasks dependent on software semantics. To address this problem, a new class of "Morescient" GAI is needed that is "aware" of (i.e., trained on) both the semantic and static facets of software. This, in turn, will require a new generation of software observation platforms capable of generating ultra-large quantities of execution observations in a structured and readily analyzable way. In this paper, we present a vision for how such "Morescient" GAI models can be engineered, evolved and disseminated according to the principles of open science.

Published
2024

7. Robustness Analysis of Machine Learning Models Using Domain-Specific Test Data Perturbation

Author

Lambert, Marian, Schuster, Thomas, Kessel, Marcus, Atkinson, Colin, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Moniz, Nuno, editor, Vale, Zita, editor, Cascalho, José, editor, Silva, Catarina, editor, and Sebastião, Raquel, editor

Published
2023
Full Text
View/download PDF

9. A straightforward 2$\omega$ technique for the measurement of the Thomson effect

Author

Dunn, Isaac Haïk, Daou, Ramzy, and Atkinson, Colin

Subjects
Condensed Matter - Materials Science
Abstract

We present a simplified, rapid, and accurate method for the measurement of the thermoelectric Thomson coefficient by the dynamical heating of a suspended wire by an alternating current. By applying a temperature gradient across the wire, we find that the response at the second harmonic of the excitation frequency is directly proportional to the Thomson coefficient. The absolute thermoelectric coefficient of a single material can therefore be extracted with high precision by a phase sensitive detector. We test our method on platinum and nickel wires and develop both analytical and numerical models to determine the leading sources of error., Comment: 10 pages, 7 figures and 1 table

Published
2018
Full Text
View/download PDF

10. 'There is more than one sort of prison, Captain': A popular criminology of prisons and penal regimes in Star Wars.

Author

Atkinson, Colin and Brangan, Louise

Subjects
DEMOCRACY, PRISONS, ALLEGORY, CRIMINOLOGY, ARCHETYPES
Abstract

In this paper we emphasise how science fiction, as a projection of the possible, can forewarn of dystopic dangers in emergent and future penal regimes. In this popular criminology we explore three archetypes of the prison as they have appeared across the Star Wars franchise: the panoptic prison; the labour camp; and the smart prison. The panoptic prison of the Galactic Republic invokes reflective nostalgia; prompting critical discussion of the deficiencies of the modern prison. Under the Galactic Empire prisons become labour camps, recalling the horrors of the Gulag as violent and cruel manifestations of underpinning ideology. Whilst the fall of the Galactic Empire signalled a return to governance based on democratic values, the representation of the smart prison in the New Republic continues to resonate as a techno-Gulag, reading as an allegory for a deeper crisis of liberal democracy. Analysed as such, prisons in Star Wars exist at the intersection of the past, present and possible futures of penal regimes, and in our current political climate can be a resource for resistance to technological trends and dystopic dangers. Star Wars, we conclude, and science fiction more broadly, is well-positioned to inform a radical re-imagining of future prisons and penal regimes. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

12. Classifying Approaches for Constructing Single Underlying Models

Author

Meier, Johannes, Werner, Christopher, Klare, Heiko, Tunjic, Christian, Aßmann, Uwe, Atkinson, Colin, Burger, Erik, Reussner, Ralf, Winter, Andreas, Barbosa, Simone Diniz Junqueira, Editorial Board Member, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Hammoudi, Slimane, editor, Pires, Luís Ferreira, editor, and Selić, Bran, editor

Published
2020
Full Text
View/download PDF

14. Natural gas-fired power plants valuation and optimisation under Levy copulas and regime-switching

Author

Safarov, Nemat and Atkinson, Colin

Subjects
Quantitative Finance - Mathematical Finance, Quantitative Finance - Pricing of Securities
Abstract

In this work we analyse a stochastic control problem for the valuation of a natural gas power station while taking into account operating characteristics. Both electricity and gas spot price processes exhibit mean-reverting spikes and Markov regime-switches. The Levy regime-switching model incorporates the effects of demand-supply fluctuations in energy markets and abrupt economic disruptions or business cycles. We make use of skewed Levy copulas to model the dependence risk of electricity and gas jumps. The corresponding HJB equation is the non-linear PIDE which is solved by an explicit finite difference method. The numerical approach gives us both the value of the plant and its optimal operating strategy depending on the gas and electricity prices, current temperature of the boiler and time. The surfaces of control strategies and contract values are obtained by implementing the numerical method for a particular example.

Published
2016

15. Lowering the Barrier to Reuse through Test-Driven Search

Author

Janjic, Werner, Stoll, Dietmar, Bostan, Philipp, and Atkinson, Colin

Subjects
Computer Science - Software Engineering
Abstract

Dedicated software search engines that index open source software repositories or in-house software assets significantly enhance the chance of finding software components suitable for reuse. However, they still leave the work of evaluating and testing components to the developer. To significantly change the risk-cost-benefit tradeoff involved in software reuse, search engines need to be supported by user friendly environments that deliver code search functionality non-intrusively right to developers' fingertips., Comment: 4 pages, ICSE Workshop on Search-Driven Development-Users, Infrastructure, Tools and Evaluation, 2009. SUITE '09, Vancouver, BC

Published
2013
Full Text
View/download PDF

20. Beyond cop culture : the cultural challenge of civilian intelligence analysis in Scottish policing

Author

Atkinson, Colin

Subjects
363.209411, HM Sociology
Abstract

The central contention of this thesis, and its original contribution to the subject area, is that the recent development of civilian intelligence analysis in Scottish policing presents a challenge to an otherwise hegemonic ‘cop culture’ in police intelligence work. In advancing this argument this thesis develops the existing literature by recognising that academic research to date on ‘police culture’ has focused almost exclusively on the cultures of sworn police officers, and particularly those ‘cops’ engaged in ‘frontline’ policing. Civilian police staff groups have been excluded from existing cultural accounts, despite their long-established position in many police forces, particularly those in Scotland. Drawing upon five years of qualitative sociological fieldwork, and taking inspiration from the theory and research of the French sociologist Pierre Bourdieu, this thesis highlights how civilian intelligence analysts – as office-based, young, predominantly female and embodying a new ‘academic’ knowledge that is divorced from experience – have become increasingly essential to the effective functioning of intelligence-led policing. The integration of civilian intelligence analysis into police intelligence work in Scotland, however, is inhibited by the persistent hegemony of a cop culture that privileges masculinity, physicality, solidarity, cynicism and, above all, the experiential knowledge that the ‘crime-fighting’ cop has gained from policing ‘the streets’. The cultural challenge of civilian intelligence analysis, emerging from within wider processes of civilianisation and pluralisation, has provoked a patriarchal response from police officers. This response is characterised by masculine domination and the exertion of symbolic violence within the wider ideological construction of the ‘police family’. This patriarchal response has also contributed to the infantilisation of the intelligence analyst in Scottish policing, as a concomitant form of cultural control. The interplay of these processes of cultural challenge and control contributes to a phenomenon of cultural dissonance – a sense of difference, discord and disharmony – between police officers and intelligence analysts. This cultural dissonance is sustained in everyday practice through the perpetuation and persistence of a ‘them and us’ culture between these groups. This thesis concludes by exploring the future of intelligence analysis in the context of profound and on-going organisational reform, and in doing so identifies recent processes of de-civilianisation in Scottish policing. Although intelligence analysis has remained relatively insulated from de-civilianisation to date, fieldwork disclosed how there has emerged disquiet about the potential diversification of the intelligence analyst role and concern for the future position of the intelligence analyst in Scottish policing as it enters a new phase in its distinctive development.

Published
2013

22. Demystifying Ontological Classification in Language Engineering

Author

Atkinson, Colin, Kühne, Thomas, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Wąsowski, Andrzej, editor, and Lönn, Henrik, editor

Published
2016
Full Text
View/download PDF

26. Motivating Use Cases for the Globalization of DSLs

Author

Cheng, Betty H. C., Degueule, Thomas, Atkinson, Colin, Clarke, Siobhan, Frank, Ulrich, Mosterman, Pieter J., Sztipanovits, Janos, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Combemale, Benoit, editor, Cheng, Betty H.C., editor, France, Robert B., editor, Jézéquel, Jean-Marc, editor, and Rumpe, Bernhard, editor

Published
2015
Full Text
View/download PDF

30. Field Types for Deep Characterization in Multi-Level Modeling

Author

Kühne, Thomas, Almeida, João Paulo A., Atkinson, Colin, Jeusfeld, Manfred A., Mezei, Gergely, Kühne, Thomas, Almeida, João Paulo A., Atkinson, Colin, Jeusfeld, Manfred A., and Mezei, Gergely

Abstract

Traditional two-level modeling approaches distinguish between class- and object features. Using UML parlance, classes have attributes which require their instances to have object slots. Multi-Level Modeling unifies classes and objects to "clabjects", and it has been suggested that attributes and slots can and should be unified to "fields" in a similar way. The notion of deep instantiation for clabjects creates the possibility of "deep fields", i.e., fields that expand on the roles of pure attributes or pure slots. In this paper, we discuss several variants of such a "deep field" notion, pointing out the semantic differences and the various resulting trade-offs. We hope our observations will help clarify the range of options for supporting clabject fields in multi-level modeling and thus aid future MLM development.

Published
2023
Full Text
View/download PDF

32. Level-Agnostic Designation of Model Elements

Author

Atkinson, Colin, Gerbig, Ralph, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Cabot, Jordi, editor, and Rubin, Julia, editor

Published
2014
Full Text
View/download PDF

34. Deep Instantiation

Author

Atkinson, Colin, Kühne, Thomas, Jeusfeld, Manfred, Section editor, Liu, Ling, editor, and Özsu, M. Tamer, editor

Published
2018
Full Text
View/download PDF

36. Component-Based Software Development for Embedded Systems – An Introduction

Author

Atkinson, Colin, Bunse, Christian, Peper, Christian, Gross, Hans-Gerhard, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Atkinson, Colin, editor, Bunse, Christian, editor, Gross, Hans-Gerhard, editor, and Peper, Christian, editor

Published
2005
Full Text
View/download PDF

44. On the Synergy between Search-Based and Search-Driven Software Engineering

Author

Atkinson, Colin, Kessel, Marcus, Schumacher, Marcus, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ruhe, Günther, editor, and Zhang, Yuanyuan, editor

Published
2013
Full Text
View/download PDF

46. A Unified Conceptual Framework for Service-Oriented Computing : Aligning Models of Architecture and Utilization

Author

Atkinson, Colin, Bostan, Philipp, Draheim, Dirk, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hameurlain, Abdelkader, editor, Küng, Josef, editor, and Wagner, Roland, editor

Published
2012
Full Text
View/download PDF

47. On-the-Fly Emendation of Multi-level Models

Author

Atkinson, Colin, Gerbig, Ralph, Kennel, Bastian, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Vallecillo, Antonio, editor, Tolvanen, Juha-Pekka, editor, Kindler, Ekkart, editor, Störrle, Harald, editor, and Kolovos, Dimitris, editor

Published
2012
Full Text
View/download PDF

48. Towards Multi-level Aware Model Transformations

Author

Atkinson, Colin, Gerbig, Ralph, Tunjic, Christian, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hu, Zhenjiang, editor, and de Lara, Juan, editor

Published
2012
Full Text
View/download PDF

49. The Level-Agnostic Modeling Language

Author

Atkinson, Colin, Kennel, Bastian, Goß, Björn, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Malloy, Brian, editor, Staab, Steffen, editor, and van den Brand, Mark, editor

Published
2011
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results