196,335 research outputs found
Definite Reference Mutability
No full textReference immutability type systems such as Javari and ReIm ensure that a given reference cannot be used to mutate the referenced object. These systems are conservative in the sense that a mutable reference may be mutable due to approximation.
In this paper, we present ReM (for definite Re[ference] M[utability]). It separates mutable references into (1) definitely mutable, and (2) maybe mutable, i.e., references whose mutability is due to inherent approximation. In addition, we propose a CFL-reachability system for reference immutability, and prove that it is equivalent to ReIm/ReM, thus building a novel framework for reasoning about correctness of reference immutability type systems. We have implemented ReM and applied it on a large benchmark suite. Our results show that approximately 86.5% of all mutable references are definitely mutable
Smart sensor systems for environmental monitoring: implications and applications
No full textQuella del cambiamento climatico è una delle più grandi sfide che l'umanità dovrà affrontare nei prossimi decenni. Per questo, negli ultimi anni, gli sforzi della ricerca si sono focalizzati sullo sviluppo ed implementazione di sistemi distribuiti di monitoraggio ambientale. Questi sistemi sono in grado di produrre grandi quantità di dati, che possono essere usati per descrivere i cambiamenti climatici e, sperabilmente, indirizzare le future decisioni politiche allo scopo di mitigarne gli effetti. Ad ogni modo, per rendere questi sistemi effettivamente intelligenti, è necessario tenere in considerazione diversi aspetti, inclusi i due su cui si è focalizzato questo lavoro di tesi. Il primo, spesso sottovalutato, riguarda la progettazione dell'esperimento di acquisizione dei dati: infatti, un setting sperimentale poco consono porta a dati in qualche modo affetti da un bias, e, di conseguenza, a risultati non significativi. Il secondo aspetto invece riguarda l'algoritmo usato per modellare i dati, che dovrebbe essere scelto per riflettere la natura degli stessi. Questo lavoro prova quindi a dare un (primo) contributo ad entrambi questi aspetti, descrivendo i risultati di due specifici scenari di utilizzo, e mostrando come gli esperimenti possano beneficiare da alcune semplici linee guida. L'obiettivo finale a cui tende questo lavoro è quindi quello di definire una pipeline di elaborazione dei dati ambientali, che possa, a lungo andare, diventare abbastanza flessibile da essere adattata a scenari eterogenei e relativi ad una varietà di fenomeni ambientali.Climate change is one of the biggest challenges that humanity will face in the upcoming decades. Hence, over the last few years, the environmental engineering research community has focused its effort on the development and deployment of (often distributed) smart sensor systems, specifically designed for environmental monitoring. These sensors produce large amounts of data, which can be used to describe climate changes and, hopefully, suggest future actions to prevent further damages to the environment. However, to enable the ’smart’ capabilities in such systems, researchers must pay attention to several aspects, including two on which this thesis work is focused. The first one, which is often underestimated, is the design of the data acquisition phase: a poor experimental setting will lead to biased data, and therefore ineffective results. The second one concerns the algorithm used to model data, which should be chosen to reflect their intrinsic nature. This work tries to give a first contribution to both these aspect, describing the results of two specific use case scenarios, and highlighting how experiments can greatly benefit from some simple, yet effective, design guidelines. The final goal is to define an initial working pipeline for environmental data processing, which can be both flexible to be adapted to different scenarios, and accurate enough to give an effective description of the observed phenomena
Definite Reference Mutability (Artifact)
No full textRelated paper "Definite Reference Mutability" presents
ReM (Re[ference] M[utability]), a type system
that separates mutable references into (1) definitely mutable,
and (2) maybe mutable, i.e., references whose mutability is due to inherent
approximation. We have implemented ReM and applied it on a large benchmark
suite. Results show that ~ 86\% of mutable references
are definitely mutable.
This article describes the tool artifact from the related paper. The purpose of
the article and artifact is to allow researchers to reproduce our results, as well as build new type systems upon our code
Medical and social model of chronic cardiovascular system disease treatment
No full textAddress for correspondence:
Dr. Maria Milanova
Third Surgical Clinic
MATHUC “N. I. Pirogov”
21, Totleben Blvd.
1606 SofiaChronic cardiovascular diseases (CVD) impose new challenges to the physician-patient relationship in modern society. The ageing of the population and the social deadaptation necessitate a medical and social model of treatment of the chronic CVD. In the cases of acute conditions, the physician dominates in the treatment process, removes the cause and prevents the consequences. In the cases of chronic conditions, the patient needs are mainly social and psychosocial and not so much medical ones. The chronic patient has got a certain potential of health and adaptation. It is the physician's task to prescribe the treatment, but at the same time to control such potential, to teach the patient how to live with the disease and to improve his or her quality of life. In their everyday life, people look for health, and not for medical care. In that aspect, a number of factors of the social-cultural-economic model have to be taken into account
Dr. Duane M. Jackson, Morehouse College, July 2011
No full textThis video is a conversation with Dr. Duane M. Jackson. Dr. Jackson talks about his paper, "Recall and the Serial Position Effect: The Role of Primacy and Recency on Accounting Students' Performance." Jackie Daniel, AUC Woodruff Library, is the interviewer
"Reflections on the subject of Emigration from Europe with a view to Settlement in the United States" By M. Carey.
No full text"Reflections on the subject of Emigration from Europe with a view to Settlement in the United States: containing bried sketches of the moral and political character of those states.
By M. Carey, member of the American philosophical, and of the American Antiquarian Society, and author of The Olive Branch, Cindiciae Hibernicae, essays on banking, on political economy, and on internal improvement.
To which are now added the English editor's comments on the subject; together with Important Advice to Emigrants, and Cautions Against Impositions Practiced in the Outports
Dispelling the Myths Behind First-author Citation Counts
No full textWe conducted a full-scale evaluative citation analysis study of scholars in the XML research field to explore just how different from each other author rankings resulting from different citation counting methods actually are, and to demonstrate the capability of emerging data and tools on the Web in supporting more realistic citation counting methods. Our results contest some common arguments for the continued
use of first-author citation counts in the evaluation of scholars, such as high correlations between author rankings by first-author citation counts and other citation
counting methods, and high costs of using more realistic citation counting methods that are not well-supported by the ISI databases. It is argued that increasingly available digital full text research papers make it possible for citation analysis studies to go beyond what the ISI databases have directly supported and to employ more
sophisticated methods
Dr. Glendon Swarthout
No full textHosted by Roger M. Busfield, MSU Assistant Professor of Speech and Theater, Meet the Author is designed to introduce a general audience to a contemporary author and their work through in-depth interviews. This episode features a conversation between Dr. Glendon Swarthout, prolific author and English professor at MSU, and assistant professors Sam S. Baskett and Theodore B. Strandness
Simulation of thermal plant optimization and hydraulic aspects of thermal distribution loops for large campuses
No full textFollowing an introduction, the author describes Texas A&M University and its utilities system. After that, the author presents how to construct simulation models for chilled water and heating hot water distribution systems. The simulation model was used in a $2.3 million Ross Street chilled water pipe replacement project at Texas A&M University. A second project conducted at the University of Texas at San Antonio was used as an example to demonstrate how to identify and design an optimal distribution system by using a simulation model. The author found that the minor losses of these closed loop thermal distribution systems are significantly higher than potable water distribution systems. In the second part of the report, the author presents the latest development of software called the Plant Optimization Program, which can simulate cogeneration plant operation, estimate its operation cost and provide optimized operation suggestions. The author also developed detailed simulation models for a gas turbine and heat recovery steam generator and identified significant potential savings. Finally, the author also used a steam turbine as an example to present a multi-regression method on constructing simulation models by using basic statistics and optimization algorithms. This report presents a survey of the author??s working experience at the Energy Systems Laboratory (ESL) at Texas A&M University during the period of January 2002 through March 2004. The purpose of the above work was to allow the author to become familiar with the practice of engineering. The result is that the author knows how to complete a project from start to finish and understands how both technical and nontechnical aspects of a project need to be considered in order to ensure a quality deliverable and bring a project to successful completion. This report concludes that the objectives of the internship were successfully accomplished and that the requirements for the degree of Degree of Engineering have been satisfied
- …
