Search results for "Logics"
showing 10 items of 124 documents
Institutional Logics in Police Performance Indicator Development : A Comparative Case Study of Spain and Finland
2015
Police performance is not easily measurable and the organization and circumstances of police work vary among European countries. Further, police work is surrounded by multiple pressures to make it both economical and effective. Consequently, there are multiple institutional logics in decision-making which may affect the selection and the use of police key performance indicators (KPIs). The KPI selection and use processes reflect the institutional logics, though KPI use may also sometimes influence the institutional logics of police work. In this study, we analyze the KPIs and institutional logics in police work in Finland and Spain. A comparative case research approach is used in order to h…
Emotions in a cognitive architecture for human robot interactions
2004
A robot architecture is proposed in which cognitive models of emotions are modelled in terms of conceptual spaces. The architecture has been implemented in a anthropomorphic robotic hand system. Experimental results are described related to an experimental setup in which the robot system plays Rock Paper Scissor against a human opponent Copyright © 2004, American Association for Artificial Intelligence (www.aaai.org).
Differential effects of anti-TNF-α and anti-IL-12/23 agents on human leukocyte–endothelial cell interactions
2015
AbstractEnhanced leukocyte recruitment is an inflammatory process that occurs during early phases of the vascular dysfunction that characterises atherosclerosis. We evaluated the impact of anti-TNF-α (adalimumab, infliximab and etanercept) and anti-IL-12/23 (ustekinumab) on interactions between human leukocytes and endothelial cells in a flow chamber that reproduced in vivo conditions. Clinical concentrations of anti-TNF-α were evaluated on the leukocyte recruitment induced by a variety of endothelial (TNF-α, interleukin-1β, lymphotoxin-α and angiotensin-II) and leukocyte (PAF, IL-12 and IL-23) stimuli related to inflammation and atherosclerosis. Treatment with anti-TNF-α, even before or af…
Innovative control logics for a rational utilization of electric loads and air-conditioning systems in a residential building
2015
The paper focuses on the evaluation of the impact on residential buildings of innovative control logics defined for a rational utilization of the electric loads and air-conditioning systems. The control logics are implementable thanks to a Decision Support and Energy Management Systems developed by the same authors and easily installable in new and still-existing houses. The paper shows how a significant reduction of the primary energy consumption can be obtained by controlling the air-conditioning units together with the other electric loads of the house. After having explained how the control logics operate, a simulation tool is described, developed for a preliminary evaluation of their e…
Analysis of compressor architectures in MOS current-mode logic
2010
This paper is concerned with the design and the comparison of different compressor architectures for high performance multipliers in MOS current-mode logic (MCML). More specifically, three architectures have been designed for 3-2, 4-2 and 5-2 compressors and two architectures for 7-2 compressors. The various implementations for each type of compressor have been compared one another. This investigation indicates that the architectures based exclusively on three-level MCML gates are the most suitable for MCML implementation in terms of speed, power consumption and area. Design guidelines are provided to improve compressor performance. All the compressors were designed in a TSMC 180nm CMOS tec…
U.I.R.D.A. – Unbuilt Italian Rationalism Digital Archive
2018
For twenty years, the architecture of Italian rationalism through the digital modelling has been investigated. Very often, the production of a model and the consequent representation of tridimensional views, in many case studies, as outcome of the research on architecture have been considered. Actually, the digital model, intended as a critical tool, has to be conceived as a ‘starting point' for graphic analysis of architecture and not as the outcome. Indeed, it is associated to other graphics, sometimes not ‘deducted' from the model, useful for the understanding/translation of architecture. The construction of the model is not the construction of a simple image, operation, which is often c…
Reconfigurable digital instrumentation based on FPGA
2004
A novel application of FPGA to realize digital test equipment is proposed. It takes advantage of the dynamic reconfigurability of FPGAs so easily tailoring custom test functions in the same instrument. This results in high effective, compact and low cost instruments.
Efficient pipeline FFT processors for WLAN MIMO-OFDM systems
2005
The most area-efficient pipeline FFT processors for WLAN MIMO-OFDM systems are presented. It is shown that although the R2/sup 3/SDF architecture is the most area-efficient approach for implementing pipeline FFT processors, RrMDC architectures are more efficient in MIMO-OFDM systems when more than three channels are used.
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…
The entrepreneurial logic of startup software development : A study of 40 software startups
2021
Context: Software startups are an essential source of innovation and software-intensive products. The need to understand product development in startups and to provide relevant support are highlighted in software research. While state-of-the-art literature reveals how startups develop their software, the reasons why they adopt these activities are underexplored. Objective: This study investigates the tactics behind software engineering (SE) activities by analyzing key engineering events during startup journeys. We explore how entrepreneurial mindsets may be associated with SE knowledge areas and with each startup case. Method: Our theoretical foundation is based on causation and effectuatio…