Search results for " Category theory"
showing 10 items of 70 documents
European Master in Disaster Medicine: A Pilot Project Implemented in the Framework of European Inter-University Cooperation at the European Center Fo…
2000
5-axes modular CNC machining center
2017
The paper presents the development of a 5-axes CNC machining center. The main goal of the machine was to provide the students a practical layout for training in advanced CAM techniques. The mechanical structure of the machine was built in a modular way by a specialized company, which also implemented the CNC controller. The authors of this paper developed the geometric and kinematic model of the CNC machining center and the post-processor, in order to use the machine in a CAM environment.
Legal Liability of Professional Engineers: The Case of a Fire at a Shopping Center
2019
In this paper, the authors discuss the legal liabilities of the professional engineer as both the engineer of record of a project and the construction site manager. In particular, this paper analyzes the case of a fire at an end-user MV/LV substation of a shopping center in Italy, occurred a few years after maintenance works on the electrical installation. The professional engineer who had designed and overseen the construction of the substation was accused of criminal negligence. The authors through the examination of applicable technical standards, as well as of safety regulations, demonstrate that the professional engineer had acted diligently and that there was no ground for the neglige…
The Use of Cluster Analysis to Segment Clients of a Sport Center in Spain
2005
Abstract This research examines the motivation profiles of 218 consumers at a sport center in Valencia, Spain. We employed the Motivation in Sport Scale (MISS–Sport Center) with the following eight motives (factors): Positive Affect, Social Contact, Physical Exercise, Coping Strategy, Challenge, Body Image, Competition, and Entertainment. There were significant differences in consumers’ motives across gender, age, and marital status. We identified five motivation profiles using the eight motives of MISS–Sport Center: Non-Competitive Leisure-Oriented Exercisers, Practical Social Entertainers, Affective Users, Enthusiastic Sportspersons, and Passive Participants. There were differences in dem…
Inductive types in homotopy type theory
2012
Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well-founded trees, or W-types, are presented, and the basic homotopical semantics of such types are determined. Proofs of all results have been formally verified by the Coq proof assistant, and the proof s…
On operads, bimodules and analytic functors
2017
We develop further the theory of operads and analytic functors. In particular, we introduce a bicategory that has operads as 0-cells, operad bimodules as 1-cells and operad bimodule maps as 2-cells, and prove that this bicategory is cartesian closed. In order to obtain this result, we extend the theory of distributors and the formal theory of monads.
The Logic of Gift: Inspiring behavior in organizations beyond the limits of duty and exchange
2016
[EN] Giving without the expectation of reward is difficult to understand in organizational contexts. In opposition to a logic based on self-interest or a sense of duty, a "logic of gift" has been proposed as a way to understand the phenomenon of free, unconditional giving. However, the rationale behind, and effects of, this logic have been under-explored. This paper responds by first clarifying the three logics of action¿the logic of exchange, the logic of duty, and the logic of gift¿and then explains how their balanced integration promises to enhance organizational life and outcomes. Having explicated the unique character and contributions of the logic of gift, the paper further suggests p…
Europe 2020 Sl-LAB: A New Center for Economic and Social Development in Sicily
2014
The debate on the determinants of regional and local development has been stimulated recently by the European strategy for smart, sustainable and inclusive growth defined as Europe 2020. We present the objectives and structure of a new laboratory (SI-LAB) for the development of Sicilian economy promoted by the University of Palermo. In particular, we highlight the fundamental issues related to the incoming functioning of the Lab as a new oganization devoted to analyzing public policy issues, and fostering new ways of entrepreurship at the local level.
Transformación de una escuela en escuela cooperativa: historia de un proyecto intercultural
2013
El artículo revisa el proceso de creación y los principales elementos que se han tenido en cuenta para transformar un centro escolar concreto, perteneciente a la ciudad de Valencia (España) con un significativamente alto índice de alumnado inmigrante, en un centro escolar con un proyecto cooperativo, mostrando con ello las principales virtudes y obstáculos hallados en dicho proceso, al tiempo que ayuda a reflexionar y a concluir con futuras propuestas de trabajo para mejorar el proyecto iniciado.