Practical API Protocol Checking with Access Permissions

Reusable APIs often define usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while affording a great deal of aliasing flexibility. We also developed Plural, a prototype tool that embodies our approach as an automated static analysis and includes several extensions we found useful in practice. This paper evaluates our approach along the following dimensions: (1) We report on experience in specifying relevant usage rules for a large Java standard API with our approach. We also specify several other Java APIs and identify recurring patterns. (2) We summarize two case studies in verifying third-party open-source code bases with few false positives using our tool. We discuss how tool shortcomings can be addressed either with code refactorings or extensions to the tool itself. These results indicate that our approach can be used to specify and enforce real API protocols in practice

A study on wear evaluation of railway wheels based on multibody dynamics and wear computation

The wear evolution of railway wheels is a very important issue in railway engineering. In the past, the reprofiling intervals of railway vehicle steel wheels have been scheduled according to designers' experience. Today, more reliable and accurate tools in predicting wheel wear evolution and wheelset lifetime can be used in order to achieve economical and safety benefits. In this work, a computational tool that is able to predict the evolution of the wheel profiles for a given railway system, as a function of the distance run, is presented. The strategy adopted consists of using a commercial multibody software to study the railway dynamic problem and a purpose-built code for managing its pre- and post-processing data in order to compute the wear. The tool is applied here to realistic operation scenarios in order to assess the effect of some service conditions on the wheel wear progression

The K-theoretic Farrell-Jones Conjecture for hyperbolic groups

We prove the K-theoretic Farrell-Jones Conjecture for hyperbolic groups with (twisted) coefficients in any associative ring with unit.Comment: 33 pages; final version; to appear in Invent. Mat

Ecological Invasion, Roughened Fronts, and a Competitor's Extreme Advance: Integrating Stochastic Spatial-Growth Models

Both community ecology and conservation biology seek further understanding of factors governing the advance of an invasive species. We model biological invasion as an individual-based, stochastic process on a two-dimensional landscape. An ecologically superior invader and a resident species compete for space preemptively. Our general model includes the basic contact process and a variant of the Eden model as special cases. We employ the concept of a "roughened" front to quantify effects of discreteness and stochasticity on invasion; we emphasize the probability distribution of the front-runner's relative position. That is, we analyze the location of the most advanced invader as the extreme deviation about the front's mean position. We find that a class of models with different assumptions about neighborhood interactions exhibit universal characteristics. That is, key features of the invasion dynamics span a class of models, independently of locally detailed demographic rules. Our results integrate theories of invasive spatial growth and generate novel hypotheses linking habitat or landscape size (length of the invading front) to invasion velocity, and to the relative position of the most advanced invader.Comment: The original publication is available at www.springerlink.com/content/8528v8563r7u2742

Perspective: Dietary Biomarkers of Intake and Exposure - Exploration with Omics Approaches

While conventional nutrition research has yielded biomarkers such as doubly labeled water for energy metabolism and 24-h urinary nitrogen for protein intake, a critical need exists for additional, equally robust biomarkers that allow for objective assessment of specific food intake and dietary exposure. Recent advances in high-throughput MS combined with improved metabolomics techniques and bioinformatic tools provide new opportunities for dietary biomarker development. In September 2018, the NIH organized a 2-d workshop to engage nutrition and omics researchers and explore the potential of multiomics approaches in nutritional biomarker research. The current Perspective summarizes key gaps and challenges identified, as well as the recommendations from the workshop that could serve as a guide for scientists interested in dietary biomarkers research. Topics addressed included study designs for biomarker development, analytical and bioinformatic considerations, and integration of dietary biomarkers with other omics techniques. Several clear needs were identified, including larger controlled feeding studies, testing a variety of foods and dietary patterns across diverse populations, improved reporting standards to support study replication, more chemical standards covering a broader range of food constituents and human metabolites, standardized approaches for biomarker validation, comprehensive and accessible food composition databases, a common ontology for dietary biomarker literature, and methodologic work on statistical procedures for intake biomarker discovery. Multidisciplinary research teams with appropriate expertise are critical to moving forward the field of dietary biomarkers and producing robust, reproducible biomarkers that can be used in public health and clinical research

IMG 305 - PEMBUNGKUSAN MAKANAN NOV.05.

We discuss the use of Agent-based Modelling for the development and testing of theories about emergent social phenomena in marketing and the social sciences in general. We address both theoretical aspects about the types of phenomena that are suitably addressed with this approach and practical guidelines to help plan and structure the development of a theory about the causes of such a phenomenon in conjunction with a matching ABM. We argue that research about complex social phenomena is still largely fundamental research and therefore an iterative and cyclical development process of both theory and model is to be expected. To better anticipate and manage this process, we provide theoretical and practical guidelines. These may help to identify and structure the domain of candidate explanations for a social phenomenon, and furthermore assist the process of model implementation and subsequent development. The main goal of this paper was to make research on complex social systems more accessible and help anticipate and structure the research process