Supervisory control of (max,+) automata: extensions towards applications

International audience

At the intersection of Behavioural Economics, Nudging and Regulation: Rethinking the process of nudge design for regulation

Alongside the developments in behavioural economics, the concept of nudge was introduced as an intervention able to guide individual behaviour towards better choices without using coercion or incentives. While behavioural teams were created inside governmental units and regulatory authorities, nudging emerged in regulatory discourse, being increasingly regarded as a regulatory instrument that could overcome the disadvantages of other tools. This thesis analyses the viability of incorporating nudges into regulation. In particular, it investigates the implications for regulators of bringing iterative experimental testing – a widespread nudge design methodology outside regulation – into their own design practices. Nudges outside regulation are routinely designed using experiments of all kinds. This thesis intends to answer whether design premises rooted in iterative experimentation are still valid in the regulatory space, an arena that nudging entered into and that is distinct from the one where it originally emerged. The design and provision of nudges using the premises of iterative experimental testing is possible, but at a cost and burden for regulatory nudge designers. Therefore, the thesis evaluates how this burden can be reduced, in particular how nudges can be feasibly designed and provided through regulation or, put differently, how to more efficiently design and provide nudging as a regulatory tool.

Studio della propagazione radio MIMO in scenari street-intersection

L'elaborato si suddivide essenzialmente in due parti principali. Una prima parte descrittiva dove vengono presentati i concetti fondamentali per la corretta comprensione della seconda, nella quale viene descritto il progetto svolto. Esso mira a valutare l’effetto che oggetti in metallo presenti in prossimità di un incrocio stradale hanno sulla propagazione del segnale radio, e in particolare sulla generazione di cammini multipli. I cammini multipli vengono infatti sfruttati dalle tecnologie di trasmissione a multiple antenne (MIMO) per incrementare la capacità di trasmissione. Un parametro sintetico che permette di caratterizzare le prestazioni dei sistemi MIMO è il cosiddetto Condition Number, che si è utilizzato in questo elaborato. Per effettuare lo studio delle prestazioni MIMO si sono utilizzate simulazioni elettromagnetiche a raggi (ray-tracing) e misure sperimentali, che sono state effettuate in prossimità del campus dell’Università Jiaotong di Shanghai, in Cina. Inizialmente, utilizzando una mappa standard dell’ambiente di propagazione, contenente i soli edifici, i valori di Condition Number ottenuti dalle simulazioni ray-tracing differivano notevolmente dai valori sperimentali. Il mio compito è stato quello di modellare nuovi elementi di forma cilindrica che ben simulano le proprietà fisico-geometriche dei pali e di altri oggetti metallici presenti lungo il tragitto e nelle intersezioni stradali e di inserirli nella mappa nella corretta posizione. Le simulazioni poi sono servite per valutare l’efficacia in termini di miglioramento delle prestazioni, in particolare sulla generazione di nuovi cammini sfasati nel tempo e nello spazio, e il relativo effetto sui valori numerici del condition number. Successivamente, è stata fatta una valutazione sull’influenza della vegetazione presente in loco per vedere quanta influenza abbia sul collegamento radio.

Rational algorithms for the decomposition of Feynman integrals via intersection theory

The decomposition of Feynman integrals into a basis of independent master integrals is an essential ingredient of high-precision theoretical predictions, that often represents a major bottleneck when processes with a high number of loops and legs are involved. In this thesis we present a new algorithm for the decomposition of Feynman integrals into master integrals with the formalism of intersection theory. Intersection theory is a novel approach that allows to decompose Feynman integrals into master integrals via projections, based on a scalar product between Feynman integrals called intersection number. We propose a new purely rational algorithm for the calculation of intersection numbers of differential $n-$forms that avoids the presence of algebraic extensions. We show how expansions around non-rational poles, which are a bottleneck of existing algorithms for intersection numbers, can be avoided by performing an expansion in series around a rational polynomial irreducible over $\mathbb{Q}$, that we refer to as $p(z)-$adic expansion. The algorithm we developed has been implemented and tested on several diagrams, both at one and two loops.

The impact of spatial data redundancy on SOLAP query performance

Geographic Data Warehouses (GDW) are one of the main technologies used in decision-making processes and spatial analysis, and the literature proposes several conceptual and logical data models for GDW. However, little effort has been focused on studying how spatial data redundancy affects SOLAP (Spatial On-Line Analytical Processing) query performance over GDW. In this paper, we investigate this issue. Firstly, we compare redundant and non-redundant GDW schemas and conclude that redundancy is related to high performance losses. We also analyze the issue of indexing, aiming at improving SOLAP query performance on a redundant GDW. Comparisons of the SB-index approach, the star-join aided by R-tree and the star-join aided by GiST indicate that the SB-index significantly improves the elapsed time in query processing from 25% up to 99% with regard to SOLAP queries defined over the spatial predicates of intersection, enclosure and containment and applied to roll-up and drill-down operations. We also investigate the impact of the increase in data volume on the performance. The increase did not impair the performance of the SB-index, which highly improved the elapsed time in query processing. Performance tests also show that the SB-index is far more compact than the star-join, requiring only a small fraction of at most 0.20% of the volume. Moreover, we propose a specific enhancement of the SB-index to deal with spatial data redundancy. This enhancement improved performance from 80 to 91% for redundant GDW schemas.

Using sentinels to detect intersections of convex and nonconvex polygons

We describe finite sets of points, called sentinels, which allow us to decide if isometric copies of polygons, convex or not, intersect. As an example of the applicability of the concept of sentinel, we explain how they can be used to formulate an algorithm based on the optimization of differentiable models to pack polygons in convex sets. Mathematical subject classification: 90C53, 65K05.

Razão e desrazão nas tomadas de decisão

Tal como se apresenta na atualidade, o campo de Teorias de Tomadas de Decisão reflete a intersecção de três desenvolvimentos teóricos principais: Utilidade Esperada, Heurísticas e Desvios e Intuição Holística. As relações entre estes não são clarividentes, nem estão estabelecidas na literatura sobre o assunto, sobretudo porque algumas das tendências em jogo ainda são muito novas. Meu objetivo é contribuir para o suprimento desta lacuna, oferecendo uma visão geral do campo, particularmente sensível às demandas epistemológicas às quais cada novo desenvolvimento respondeu e às limitações destas respostas. De especial interesse é o fato de que isto irá habilitar o leitor a compreender os fundamentos do novo conceito de intuição decisional que desponta e a se posicionar criticamente em relação ao mesmo.

Nutritional characteristics and in vitro digestibility of silages from different corn cultivars harvested at two cutting heights

The objective of this study was to evaluate the nutritional traits and in vitro digestibility of silages from different corn cultivars harvested at two cutting heights. It was evaluated 11 cultivars (Dina 766, Dina 657, Dina 1000, P 3021, P 3041, C 805, C 333, AG 5011, FO 01, Dina co 9621 and BR 205) harvest 5 cm above ground (low) and 5 cm below the intersection of the first ear (high). It was used a random block design (three blocks), arranged in a 11 × 2 factorial scheme. Silages from plants harvested at high cutting height presented average content of dry matter significantly superior to silages from plants harvested at low height. Cultivars FO 01, AG 5011, Dina co 9621 and Dina 766 presented greater content of crude protein than cultivars C 805, P 3041 and P 3021, which presented the lowest contents of this nutrient. The raise in the cut height increased in vitro dry matter true digestibility coefficients and in vitro dry matter digestibility of silage evaluated. The increase in cut height improved nutritive value of silages by decreasing concentrations of fibrous fractions and increasing in vitro dry matter digestibility.

The Effect of Spatial Scale on Predicting Time Series: A Study on Epidemiological System Identification

A susceptible-infective-recovered (SIR) epidemiological model based on probabilistic cellular automaton (PCA) is employed for simulating the temporal evolution of the registered cases of chickenpox in Arizona, USA, between 1994 and 2004. At each time step, every individual is in one of the states S, I, or R. The parameters of this model are the probabilities of each individual (each cell forming the PCA lattice ) passing from a state to another state. Here, the values of these probabilities are identified by using a genetic algorithm. If nonrealistic values are allowed to the parameters, the predictions present better agreement with the historical series than if they are forced to present realistic values. A discussion about how the size of the PCA lattice affects the quality of the model predictions is presented. Copyright (C) 2009 L. H. A. Monteiro et al.

System Identification and Prediction of Dengue Fever Incidence in Rio de Janeiro

Identification, prediction, and control of a system are engineering subjects, regardless of the nature of the system. Here, the temporal evolution of the number of individuals with dengue fever weekly recorded in the city of Rio de Janeiro, Brazil, during 2007, is used to identify SIS (susceptible-infective-susceptible) and SIR (susceptible-infective-removed) models formulated in terms of cellular automaton (CA). In the identification process, a genetic algorithm (GA) is utilized to find the probabilities of the state transition S -> I able of reproducing in the CA lattice the historical series of 2007. These probabilities depend on the number of infective neighbors. Time-varying and non-time-varying probabilities, three different sizes of lattices, and two kinds of coupling topology among the cells are taken into consideration. Then, these epidemiological models built by combining CA and GA are employed for predicting the cases of sick persons in 2008. Such models can be useful for forecasting and controlling the spreading of this infectious disease.

State-of-the-Art and Future Directions for Green Human Resource Management: Introduction to the Special Issue

The topic of environmental sustainability is generating increased concern among business executives, governments, consumers, and management scholars. As these stakeholders struggle with the challenges and opportunities presented by an array of environmental issues, HRM scholars and practitioners alike have been relatively slow to engage in the ongoing discussions and debates. Through this special issue on Green FIRM, we seek to stimulate the field of HRM to expand its role in the pursuit of environmentally sustainable business. In this introduction to the special issue, we first provide an overview of the articles that appear in the special issue. Next we present a detailed discussion of research questions that arise from a consideration of several functional HRM practices, including performance management; training, development, and learning; compensation and rewards; and organizational culture. We conclude by describing opportunities for research at the intersection of strategic HRM and environmental management. If pursued with vigor, research addressing this extensive agenda could begin to establish a healthy field of Green FIRM scholarship.

Vascular endothelial growth factor expression and microvascular density in soft tissue sarcomas in dogs

The aim of the current study was to evaluate the expression of vascular endothelial growth factor (VEGF) and the microvascular density in canine soft-tissue sarcomas. Immunohistochemistry for VEGF expression was performed on 20 canine neoplasms by the streptavidin-biotin-peroxidase method using an anti-VEGF mouse monoclonal antibody (ab-119). The Volume fraction of microvessels in the sarcomas was quantified in hematoxylin and eosin-stained tissue sections. At least 10 fields of view (40x magnification) per neoplasm were analyzed by positioning a grid with 100 points and counting the microvessels that fell into the intersection points. This percentage was considered the volume fraction of these microvessels in the tumor section. VEGF expression was detected in 65% of the neoplasms. In 92.3% of the neoplasms, the expression occurred in the peritumor region; in 46.15%, in the intratumor region; and in 38.46%, the expression was present in both regions. The cells responsible for VEGF expression were fibroblasts and macrophages in the peritumor region or in the pseudocapsule and neoplastic cells in the intratumor region. Greater intratumoral VEGF was expressed in hemangiopericytomas (P = 0.04). No difference was present in the volume fraction of tumor microvessels between VEGF-positive and VEGF-negative neoplasms (P = 0.3416) or for the different types of neoplasms (P = 0.5). The results of this study suggest that VEGF participates in the angiogenesis of soft-tissue sat-coma in dogs. Additional research will be necessary to elucidate the contribution of VEGF to the progression of malignancy.

A Procedure for Semantic Querying in the Adaptive Formalism

This paper contains a new proposal for the definition of the fundamental operation of query under the Adaptive Formalism, one capable of locating functional nuclei from descriptions of their semantics. To demonstrate the method`s applicability, an implementation of the query procedure constrained to a specific class of devices is shown, and its asymptotic computational complexity is discussed.

Registration of temporal sequences of coronal and sagittal MR images through respiratory patterns

This work discusses the determination of the breathing patterns in time sequence of images obtained from magnetic resonance (MR) and their use in the temporal registration of coronal and sagittal images. The registration is made without the use of any triggering information and any special gas to enhance the contrast. The temporal sequences of images are acquired in free breathing. The real movement of the lung has never been seen directly, as it is totally dependent on its surrounding muscles and collapses without them. The visualization of the lung in motion is an actual topic of research in medicine. The lung movement is not periodic and it is susceptible to variations in the degree of respiration. Compared to computerized tomography (CT), MR imaging involves longer acquisition times and it is preferable because it does not involve radiation. As coronal and sagittal sequences of images are orthogonal to each other, their intersection corresponds to a segment in the three-dimensional space. The registration is based on the analysis of this intersection segment. A time sequence of this intersection segment can be stacked, defining a two-dimension spatio-temporal (2DST) image. The algorithm proposed in this work can detect asynchronous movements of the internal lung structures and lung surrounding organs. It is assumed that the diaphragmatic movement is the principal movement and all the lung structures move almost synchronously. The synchronization is performed through a pattern named respiratory function. This pattern is obtained by processing a 2DST image. An interval Hough transform algorithm searches for synchronized movements with the respiratory function. A greedy active contour algorithm adjusts small discrepancies originated by asynchronous movements in the respiratory patterns. The output is a set of respiratory patterns. Finally, the composition of coronal and sagittal image pairs that are in the same breathing phase is realized by comparing of respiratory patterns originated from diaphragmatic and upper boundary surfaces. When available, the respiratory patterns associated to lung internal structures are also used. The results of the proposed method are compared with the pixel-by-pixel comparison method. The proposed method increases the number of registered pairs representing composed images and allows an easy check of the breathing phase. (C) 2010 Elsevier Ltd. All rights reserved.

A vaccination game based on public health actions and personal decisions

Susceptible-infective-removed (SIR) models are commonly used for representing the spread of contagious diseases. A SIR model can be described in terms of a probabilistic cellular automaton (PCA), where each individual (corresponding to a cell of the PCA lattice) is connected to others by a random network favoring local contacts. Here, this framework is employed for investigating the consequences of applying vaccine against the propagation of a contagious infection, by considering vaccination as a game, in the sense of game theory. In this game, the players are the government and the susceptible newborns. In order to maximize their own payoffs, the government attempts to reduce the costs for combating the epidemic, and the newborns may be vaccinated only when infective individuals are found in their neighborhoods and/or the government promotes an immunization program. As a consequence of these strategies supported by cost-benefit analysis and perceived risk, numerical simulations show that the disease is not fully eliminated and the government implements quasi-periodic vaccination campaigns. (C) 2011 Elsevier B.V. All rights reserved.