Cultural Capital: Challenges to New York State’s Competitive Advantages in the Arts and Entertainment Industry

This is a report on the findings of the Cornell University ILR planning process conducted with support of a grant from the Alfred P. Sloan Foundation to investigate trends in the arts and entertainment industry in New York State and assess industry stakeholders’ needs and demand for industry studies and applied research. Building on a track record of research and technical assistance to arts and entertainment organizations, Cornell ILR moved toward a long-term goal of establishing an arts and entertainment research center by forging alliances with faculty from other schools and departments in the university and by establishing an advisory committee of key players in the industry. The outcome of this planning process is a research agenda designed to serve the priority needs and interests of the arts and entertainment industry in New York State

Tipología formal y función estilística de la referencia a la muerte en los epigramas funerarios de Ánite de Tegea

This paper deals with the set of devices to mention death attested in the extant funerary epigramms by Anyte from Tegea. The analysis phocuses on (i) formal procedures to mention death; (ii) the implied content of the mentions (when relevant); and (iii) the imagery of death; the evolution of each factor from early epigramms (both literary and inscriptional) up to Anyte' s time is considered. The analysis makes it possible (i) to put forward a typology both of the procedure of the reference and of the images used, stating the relevant parameters; (ii) to state some of the principles underlying the attested devices of reference to death; (iii) to highlight the stylistic relevance of these devices, both generally, and in Anyte's extant work; (iv) to achieve a panoramic view of the evolution of the genre

A study of the communication cost of the FFT on torus multicomputers

The computation of a one-dimensional FFT on a c-dimensional torus multicomputer is analyzed. Different approaches are proposed which differ in the way they use the interconnection network. The first approach is based on the multidimensional index mapping technique for the FFT computation. The second approach starts from a hypercube algorithm and then embeds the hypercube onto the torus. The third approach reduces the communication cost of the hypercube algorithm by pipelining the communication operations. A novel methodology to pipeline the communication operations on a torus is proposed. Analytical models are presented to compare the different approaches. This comparison study shows that the best approach depends on the number of dimensions of the torus and the communication start-up and transfer times. The analytical models allow us to select the most efficient approach for the available machine.Peer ReviewedPostprint (published version

Unusual skin metastasis due to adenocarcinoma of the stomach: a case report

Clinical Findings A 68- year-old man presented with a skin thickening of the anterior neck started few months earlier. Upper respiratory and digestive tract had already been examined which proved normal. On clinical examination a hyper pigmented massively indurated leathery plaque was seen on the anterior and lateral aspect of the neck from the submandibular region down to the jugular fossae. The plaque was firm, well demarcated and measured 15 by 12 cm in diameter. It had a cobblestone like appearance with exaggerated folds, and was non painful. Patient complained of a mild discomfort while swallowing saliva of recent onset, but was otherwise asymptomatic. All his routine blood test was normal. The full skin examination was otherwise unremarkable. Our main differential diagnosis at that stage included a reactive process such as a sclerodermatous process, a neoplastic reaction or a lymph proliferative disease.</br

La relevancia del dpto. De calidad y su relación con la implantación de la gestión de la calidad.

La implantación progresiva en las empresas de las ideas y técnicas asociadas con el concepto de “Gestión de la Calidad” ha sido quizá la manifestación más patente del cambio y la innovación organizativa ocurrida en las mismas en los últimos tiempos. Par

Hypercube algorithms on mesh connected multicomputers

A new methodology named CALMANT (CC-cube Algorithms on Meshes and Tori) for mapping a type of algorithm that we call CC-cube algorithm onto multicomputers with hypercube, mesh, or torus interconnection topology is proposed. This methodology is suitable when the initial problem can be expressed as a set of processes that communicate through a hypercube topology (a CC-cube algorithm). There are many important algorithms that fit into the CC-cube type. CALMANT is based on three different techniques: (a) the standard embedding to assign the processes of the algorithm to the nodes of the mesh multicomputer; (b) the communication pipelining technique to increase the level of communication parallelism inherent in the CC-cube algorithms; and (c) optimal message-scheduling algorithms proposed in this work in order to avoid conflicts and minimizing in this way the communication time. Although CALMANT is proposed for multicomputers with different interconnection network topologies, the paper only focuses on the particular case of meshes.Peer ReviewedPostprint (published version

A low-cost tracking system for running race applications based on bluetooth low energy technology

Timing points used in running races and other competition events are generally based on radio-frequency identification (RFID) technology. Athletes’ times are calculated via passive RFID tags and reader kits. Specifically, the reader infrastructure needed is complex and requires the deployment of a mat or ramps which hide the receiver antennae under them. Moreover, with the employed tags, it is not possible to transmit additional and dynamic information such as pulse or oximetry monitoring, alarms, etc. In this paper we present a system based on two low complex schemes allowed in Bluetooth Low Energy (BLE): the non-connectable undirected advertisement process and a modified version of scannable undirected advertisement process using the new capabilities present in Bluetooth 5. After fully describing the system architecture, which allows full real-time position monitoring of the runners using mobile phones on the organizer side and BLE sensors on the participants’ side, we derive the mobility patterns of runners and capacity requirements, which are determinant for evaluating the performance of the proposed system. They have been obtained from the analysis of the real data measured in the last Barcelona Marathon. By means of simulations, we demonstrate that, even under disadvantageous conditions (50% error ratio), both schemes perform reliably and are able to detect the 100% of the participants in all the cases. The cell coverage of the system needs to be adjusted when non-connectable process is considered. Nevertheless, through simulation and experimental, we show that the proposed scheme based on the new events available in Bluetooth 5 is clearly the best implementation alternative for all the cases, no matter the coverage area and the runner speed. The proposal widely exceeds the detection requirements of the real scenario, surpassing the measured peaks of 20 sensors per second incoming in the coverage area, moving at speeds that range from 1.5 m/s to 6.25 m/s. The designed real test-bed shows that the scheme is able to detect 72 sensors below 600 ms, fulfilling comfortably the requirements determined for the intended application. The main disadvantage of this system would be that the sensors are active, but we have proved that its consumption can be so low (9.5 µA) that, with a typical button cell, the sensor battery life would be over 10,000 h of use.Peer ReviewedPostprint (published version

Towards Certified Model Checking for PLTL using One-pass Tableaux

The standard model checking setup analyses whether the given system specification satisfies a dedicated temporal property of the system, providing a positive answer here or a counter-example. At the same time, it is often useful to have an explicit proof that certifies the satisfiability. This is exactly what the {\it certified model checking (CMC)} has been introduced for. The paper argues that one-pass (context-based) tableau for PLTL can be efficiently used in the CMC setting, emphasising the following two advantages of this technique. First, the use of the context in which the eventualities occur, forces them to fulfil as soon as possible. Second, a dual to the tableau sequent calculus can be used to formalise the certificates. The combination of the one-pass tableau and the dual sequent calculus enables us to provide not only counter-examples for unsatisfied properties, but also proofs for satisfied properties that can be checked in a proof assistant. In addition, the construction of the tableau is enriched by an embedded solver, to which we dedicate those (propositional) computational tasks that are costly for the tableaux rules applied solely. The combination of the above techniques is particularly helpful to reason about large (system) specifications

Bluetooth Low Energy sensor networks for railway applications

©2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.This paper analyzes the viability of Bluetooth Low Energy (BLE) as the enabling technology in railway scenarios to allow sensor data transmission from ground to train. This proposal is based on using the broadcasting capabilities introduced by the Bluetooth specifications since v4.0. The last version, v5.0, extends the range the speed and the broadcast capacity. However, due to its recent publication it is hard to find real devices with it implemented in the market. The proposed schema has been validated by means of experimental measurements using v4.2.Peer ReviewedPostprint (author's final draft