Integration over a generic algebra

In this paper we consider the problem of quantizing theories defined over configuration spaces described by non-commuting parameters. If one tries to do that by generalizing the path-integral formalism, the first problem one has to deal with is the definition of integral over these generalized configuration spaces. This is the problem we state and solve in the present work, by constructing an explicit algorithm for the integration over a general algebra. Many examples are discussed in order to illustrate our construction.Comment: 31 pages, Latex. A few typos have been corrected. Some comments about algebras with identity and about inner derivations have been inserted, together with a further example: the q-bosonic oscillato

A Foundational View on Integration Problems

The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two systems that we integrate by moving problems and solutions between them. While this scenario is often approached from an engineering perspective, we take a foundational view. Based on the generic declarative language MMT, we develop a theoretical framework for system integration using theories and partial theory morphisms. Because MMT permits representations of the meta-logical foundations themselves, this includes integration across logics. We discuss safe and unsafe integration schemes and devise a general form of safe integration

AFTI/F-16 digital flight control system experience

The Advanced Flighter Technology Integration (AFTI) F-16 program is investigating the integration of emerging technologies into an advanced fighter aircraft. The three major technologies involved are the triplex digital flight control system; decoupled aircraft flight control; and integration of avionics, pilot displays, and flight control. In addition to investigating improvements in fighter performance, the AFTI/F-16 program provides a look at generic problems facing highly integrated, flight-crucial digital controls. An overview of the AFTI/F-16 systems is followed by a summary of flight test experience and recommendations

Exploring Cities Using Agent-Based Models and GIS

Cities are faced with many problems such as urban sprawl, congestion, and segregation. They are also constantly changing. Computer modelling is becoming an increasingly important tool when examining how cities operate. Agent based models (ABM) allow for the testing of different hypotheses and theories for urban change, thus leading to a greater understanding of how cities work. This paper presents how ABMs can be developed by their integration with Geographical Information System (GIS). To highlight this, a generic ABM is presented. This is then applied to two model applications: a segregation model and a location model. Both models highlight how different theories can be incorporated into the generic model and demonstrate the importance of space in the modelling process. Cities are faced with many problems such as urban sprawl, congestion, and segregation. They are also constantly changing. Computer modelling is becoming an increasingly important tool when examining how cities operate. Agent based models (ABM) allow for the testing of different hypotheses and theories for urban change, thus leading to a greater understanding of how cities work. This paper presents how ABMs can be developed by their integration with Geographical Information System (GIS). To highlight this, a generic ABM is presented. This is then applied to two model applications: a segregation model and a location model. Both models highlight how different theories can be incorporated into the generic model and demonstrate the importance of space in the modelling process

Work-related teaching and learning methods to foster generic skills in Higher Education. An Italian experience

open5siWithin the framework of modernisation of higher education systems in Europe, universities are invited to go beyond a knowledge-based perspective focused on disciplinary approaches and to be more concentrated on encouraging generic skills to deal with today’s complex and unpredictable career paths. The literature about Work-Related Learning and Work-Integrated Learning offers evidence to research regarding contributions of work-related experiences to the development of generic skills. The first part of the article presents a literature review carried out following the matching among three main keywords: work-related learning, generic skills, and higher education. Resources focused on the integration/teaching of generic skills in formal curriculum or in co-curriculum work-related activities and they were collected in order to explore the link between work-related learning in higher education and the development of generic skills. The focus is to identify valuable considerations to improve teaching strategies and methods. The second part presents an Italian work-related experience developed within the course of “Organizational Intervention Research Methods,” which involved 22 master’s degree students. The work-related assignment will be described in addition to the content analysis process of the 22 collected texts and the findings about the development of generic skills.openDaniela, Frison; Concetta, Tino; Jonathan, W., Tyner; Monica, FedeliFrison, Daniela; Tino, Concetta; Jonathan, W.; Tyner, ; Fedeli, Monic

The inhomogeneous Suslov problem

We consider the Suslov problem of nonholonomic rigid body motion with inhomogeneous constraints. We show that if the direction along which the Suslov constraint is enforced is perpendicular to a principal axis of inertia of the body, then the reduced equations are integrable and, in the generic case, possess a smooth invariant measure. Interestingly, in this generic case, the first integral that permits integration is transcendental and the density of the invariant measure depends on the angular velocities. We also study the Painlev\'e property of the solutions.Comment: 10 pages, 5 figure

CORBYS cognitive control architecture for robotic follower

In this paper the novel generic cognitive robot control architecture CORBYS is presented. The objective of the CORBYS architecture is the integration of high-level cognitive modules to support robot functioning in dynamic environments including interacting with humans. This paper presents the preliminary integration of the CORBYS architecture to support a robotic follower. Experimental results on high-level empowerment-based trajectory planning have demonstrated the effectiveness of ROS-based communication between distributed modules developed in a multi-site research environment as typical for distributed collaborative projects such as CORBYS