Search results for "programming"
showing 10 items of 3090 documents
Critical reflections on asymptotically safe gravity
2020
Asymptotic safety is a theoretical proposal for the ultraviolet completion of quantum field theories, in particular for quantum gravity. Significant progress on this program has led to a first characterization of the Reuter fixed point. Further advancement in our understanding of the nature of quantum spacetime requires addressing a number of open questions and challenges. Here, we aim at providing a critical reflection on the state of the art in the asymptotic safety program, specifying and elaborating on open questions of both technical and conceptual nature. We also point out systematic pathways, in various stages of practical implementation, towards answering them. Finally, we also take…
Mahler Measuring the Genetic Code of Amoebae
2023
Amoebae from tropical geometry and the Mahler measure from number theory play important roles in quiver gauge theories and dimer models. Their dependencies on the coefficients of the Newton polynomial closely resemble each other, and they are connected via the Ronkin function. Genetic symbolic regression methods are employed to extract the numerical relationships between the 2d and 3d amoebae components and the Mahler measure. We find that the volume of the bounded complement of a d-dimensional amoeba is related to the gas phase contribution to the Mahler measure by a degree-d polynomial, with d = 2 and 3. These methods are then further extended to numerical analyses of the non-reflexive Ma…
The ATLAS Data Acquisition and High Level Trigger system
2016
Journal of Instrumentation 11(06), P06008 (2016). doi:10.1088/1748-0221/11/06/P06008
An integrated identity verification system for mobile terminals
2005
PurposeTo report the work on the design of an integrated identity verification system architecture aimed at approaching high verification accuracy, continuous security, and user‐friendliness.Design/methodology/approachThe reported research corresponds to the building process in the design science research paradigm. The requirements to an identity verification system are defined and used in the selection of architecture components. Furthermore, various issues affecting the suitability of component distribution between a terminal and a remote server are considered.FindingsIn order to meet the stated requirements, in the proposed architecture static and dynamic identity verification is combine…
United We Stand: The Recognition of Joint Degrees
2003
Joint degrees are awarded on the basis of completion of a study program established and provided jointly by two or more higher education institutions, normally located in different countries. They therefore normally require students to take a part of their degree abroad and are a potentially important instrument for increasing academic mobility and internationalizing higher education in Europe, which are among the key goals of the Bologna Process. A recent study by one of the authors, Andrejs Rauhvargers, undertaken for the European University Association (EUA), considers this increasingly important element of higher education that, however, is hampered by inadequate recognition across bor…
The Short and Intense Post-Nationalist Period in Finnish Higher Education
2020
This chapter presents the transition from a nationalist to post-nationalist period since the 1980s as the increasing systematic mobility and European cooperation as well as the fall of the Soviet Union turned Finnish higher education towards Western cooperation. The new internationalization strategies first aimed at founding mobility programmes for higher education and then particularly English medium study programmes. Post-national nation state emerges in the analysis mainly as an actor on the global economy. The discourses of competition and success in the global markets are interwoven with discourses of protection of the nation state. The use of English as an ostensibly self-evident and …
An exploratory case study of interactive simulation for teaching Ecology
2016
This paper explores the effectiveness of interactive simulation for teaching a selected complex subject, Ecology, in higher education. Specifically, we carry out a lab intervention using interactive agent based simulation, to teach the complex concept of spatially-explicit predator prey interaction to undergraduate students of an advanced module: BIOU9CE (Community Ecology & Conservation Applications) at the University of Stirling. We propose use of Netlogo, an interactive agent-based simulation tool, and evaluate its effectiveness for learning and teaching of interactive simulation developed specifically for the classroom, compared with an existing, less interactive, simulation tool (R).
MASPEGHI 2004 Mechanisms for Speialization, Generalization and Inheritance
2005
Rapport de Recherche Projet OCL, N° I3S/RR-2004-15-FR; International audience; MASPEGHI 2004 is the third edition of the MASPEGHI workshop. This year the organizers of both the ECOOP 2002 Inheritance Workshop and MASPEGHI 2003 came together to enlarge the scope of the workshop and to address new challenges. We succeeded in gathering a diverse group of researchers and practitioners interested in mechanisms for managing specialization and generalization of programming language components. The workshop contained a series of presentations with discussions as well as group work, and the interplay between the more than 22 highly skilled and inspiring people from many different communities gave ri…
What Symbionts Teach us about Modularity
2013
The main goal of Synthetic Biology is to apply engineering principles to biotechnology in order to make life easier to engineer. These engineering principles include modularity: decoupling of complex systems into smaller, orthogonal subsystems that can be used in a range of different applications. The successful use of modules in engineering is expected to be reproduced in synthetic biological systems. But the difficulties experienced up to date with synthetic biology approaches question the short-term feasibility of designing life. Considering the “engineerable” nature of life, here we discuss the existence of modularity in natural living systems, particularly in symbiotic interactions, an…
Kone ja automaatti
2011
Literary Machines and Automata: Feedbacking Poetics The article discusses the concepts of “machine”, “automatic”, and “feedback loop” as literary and poetic ideas from the terminological, historical, and contemporary perspectives. All of them can be seen as somewhat paradoxical terms, carrying human and organic connotations with them. The key phenomenon of this article is the generator, a machine or system that produces – generates – text. The history of poetic automata extends well beyond the Internet, computer, or even electricity. The article illustrates its claims with examples of poetry generators, from a combinatory poem of the Baroque era to a few Finnish contemporary digital works. …