Dicto: A Unified DSL for Testing Architectural Rules

Software architecture consists of a set of design choices that can be partially expressed in form of rules that the implementation must conform to. Architectural rules are intended to ensure properties that fulfill fundamental non-functional requirements. Verifying architectural rules is often a non- trivial activity: available tools are often not very usable and support only a narrow subset of the rules that are commonly specified by practitioners. In this paper we present a new highly-readable declarative language for specifying architectural rules. With our approach, users can specify a wide variety of rules using a single uniform notation. Rules can get tested by third-party tools by conforming to pre-defined specification templates. Practitioners can take advantage of the capabilities of a growing number of testing tools without dealing with them directly.

Unified detection and tracking of instruments during retinal microsurgery

Methods for tracking an object have generally fallen into two groups: tracking by detection and tracking through local optimization. The advantage of detection-based tracking is its ability to deal with target appearance and disappearance, but it does not naturally take advantage of target motion continuity during detection. The advantage of local optimization is efficiency and accuracy, but it requires additional algorithms to initialize tracking when the target is lost. To bridge these two approaches, we propose a framework for unified detection and tracking as a time-series Bayesian estimation problem. The basis of our approach is to treat both detection and tracking as a sequential entropy minimization problem, where the goal is to determine the parameters describing a target in each frame. To do this we integrate the Active Testing (AT) paradigm with Bayesian filtering, and this results in a framework capable of both detecting and tracking robustly in situations where the target object enters and leaves the field of view regularly. We demonstrate our approach on a retinal tool tracking problem and show through extensive experiments that our method provides an efficient and robust tracking solution.

The struggle to diversify rural livelihoods: Bio-enterprise development initiatives and their impacts on agro-/pastoral communities in the drylands of Kenya

This article analyses the impacts of four different bio-enterprise initiatives on agro-pastoral livelihoods and on improved natural resources management (NRM) in the drylands of Kenya. In this way it contributes to an area of rural development that is gaining increasing interest, but still has little empirical evidence. Data were collected through interviews, focus group discussions, informal discussions and the study of reports. One of the key findings of this article is that diversification into enterprises requires cooperation among the stakeholders with their varying experiences in development, NRM and business development. In addition to initial investments, such enterprises need sustained financial, as well as other support like capacity development to survive the market introduction phase. For such enterprises to defend their market niches, the quantity and quality of the product are critical. In addition to support in human, financial, social, physical and natural capital, mentoring is another crucial factor for success.

Quarks and a Unified Theory of Nature Fundamental Forces

Quarks were introduced 50 years ago opening the road towards our understanding of the elementary constituents of matter and their fundamental interactions. Since then, a spectacular progress has been made with important discoveries that led to the establishment of the Standard Theory that describes accurately the basic constituents of the observable matter, namely quarks and leptons, interacting with the exchange of three fundamental forces, the weak, electromagnetic and strong force. Particle physics is now entering a new era driven by the quest of understanding of the composition of our Universe such as the unobservable (dark) matter, the hierarchy of masses and forces, the unification of all fundamental interactions with gravity in a consistent quantum framework, and several other important questions. A candidate theory providing answers to many of these questions is string theory that replaces the notion of point particles by extended objects, such as closed and open strings. In this short note, I will give a brief overview of string unification, describe in particular how quarks and leptons can emerge and discuss what are possible predictions for particle physics and cosmology that could test these ideas.

Quarks and a unified theory of Nature fundamental forces

Quarks were introduced 50 years ago opening the road towards our understanding of the elementary constituents of matter and their fundamental interactions. Since then, a spectacular progress has been made with important discoveries that led to the establishment of the Standard Theory that describes accurately the basic constituents of the observable matter, namely quarks and leptons, interacting with the exchange of three fundamental forces, the weak, electromagnetic and strong force. Particle physics is now entering a new era driven by the quest of understanding of the composition of our Universe such as the unobservable (dark) matter, the hierarchy of masses and forces, the unification of all fundamental interactions with gravity in a consistent quantum framework, and several other important questions. A candidate theory providing answers to many of these questions is string theory that replaces the notion of point particles by extended objects, such as closed and open strings. In this short note, I will give a brief overview of string unification, describe in particular how quarks and leptons can emerge and discuss what are possible predictions for particle physics and cosmology that could test these ideas.

Understanding heterogeneity in post-implementation enterprise system usage: towards a fit/misfit-experience-outcome typology

The overarching objective of this dissertation is to uncover why and how individually experienced fits and misfits translate into different outcomes of user behavior and satisfaction and whether these individual fit/misfit outcomes are in line with organizational intent. In search of patterns and possible archetype users in the context of ES PIPs, this dissertation is the first study that specifically links the theoretical concepts of the aggregated individual fit experiences with the individual and organizational outcome of these experiences (i.e. behavioral reaction, user satisfaction, and alignment with organizational intent). The case study’s findings provide preliminary support for four archetype users characterized by specific fit/misfit experience-outcome patterns.

A unified approach to architecture conformance checking

Architectural decisions can be interpreted as structural and behavioral constraints that must be enforced in order to guarantee overarching qualities in a system. Enforcing those constraints in a fully automated way is often challenging and not well supported by current tools. Current approaches for checking architecture conformance either lack in usability or offer poor options for adaptation. To overcome this problem we analyze the current state of practice and propose an approach based on an extensible, declarative and empirically-grounded specification language. This solution aims at reducing the overall cost of setting up and maintaining an architectural conformance monitoring environment by decoupling the conceptual representation of a user-defined rule from its technical specification prescribed by the underlying analysis tools. By using a declarative language, we are able to write tool-agnostic rules that are simple enough to be understood by untrained stakeholders and, at the same time, can be can be automatically processed by a conformance checking validator. Besides addressing the issue of cost, we also investigate opportunities for increasing the value of conformance checking results by assisting the user towards the full alignment of the implementation with respect to its architecture. In particular, we show the benefits of providing actionable results by introducing a technique which automatically selects the optimal repairing solutions by means of simulation and profit-based quantification. We perform various case studies to show how our approach can be successfully adopted to support truly diverse industrial projects. We also investigate the dynamics involved in choosing and adopting a new automated conformance checking solution within an industrial context. Our approach reduces the cost of conformance checking by avoiding the need for an explicit management of the involved validation tools. The user can define rules using a convenient high-level DSL which automatically adapts to emerging analysis requirements. Increased usability and modular customization ensure lower costs and a shorter feedback loop.

Remote Monitoring of Fish in Small Streams: A Unified Approach Using Pit Tags

Accurate assessments of fish populations are often limited by re-observation or recapture events. Since the early 1990s, passive integrated transponders (PIT tags) have been used to understand the biology of many fish species. Until recently, PIT applications in small streams have been limited to physical recapture events. To maximize recapture probability, we constructed PIT antenna arrays in small streams to remotely detect individual fish. Experiences from two different laboratories (three case studies) allowed us to develop a unified approach to applying PIT technology for enhancing data assessments. Information on equipment, its installation, tag considerations, and array construction is provided. Theoretical and practical definitions are introduced to standardize metrics for assessing detection efficiency. We demonstrate how certain conditions (stream discharge, vibration, and ambient radio frequency noise) affect the detection efficiency and suggest that by monitoring these conditions, expectations of efficiency can be modified. We emphasize the importance of consistently estimating detection efficiency for fisheries applications.

Deterrence and Incapacitation: Towards a Unified Theory of Criminal Punishment

Economic models of crime have focused primarily on the goal of deterrence; the goal of incapacitation has received much less attention. This paper adapts the standard deterrence model to incorporate incapacitation. When prison only is used, incapacitation can result in a longer or a shorter optimal prison term compared to the deterrence-only model. It is longer if there is underdeterrence, and shorter if there is overdeterrence. In contrast, when a fine is available and it is not constrained by the offender's wealth, the optimal prison term is zero. Since the fine achieves first-best deterrence, only efficient crimes are committed and hence, there is no gain from incapacitation.

AgEdS/Hort 465 Class: Horticulture Enterprise Management

The production of local fruit and vegetables is a rapidly expanding segment of Iowa agriculture. The new ISU AgEdS/Hort 465 class trains future growers in the management and operation of diversified horticultural enterprises on an Iowa farm situation. Management of the finances, production, and marketing is performed by the students. The course is structured as a business and is guided through decisions made by student committees (finance, operations, production, and marketing committees). Each committee investigates the feasibility of a desired enterprise before coming together to make a final decision. The course was offered for the first time in 2011.