Conservative think tanks and discourse on immigration in the U.S.

Immigration is an issue that has sparked heated debate throughout U.S. history. Old immigration narratives continue to inform the debate, reminding us that we are a nation of immigrants, but also cautioning against uncontrolled floods of immigration. These narratives are commonly employed to promote specific policies, and fuel both backlashes against immigration and celebration of our immigrant heritage. Think tanks, whose success depends upon their reputation as reliable sources of scholarly policy analysis, are often regarded as providing exactly that. This study examines the writing of three prominent conservative think tanks - the Heritage Foundation, the Cato Institute, and the American Enterprise Institute - to investigate how they portray immigrants and immigration in the United States. This study finds that these influential institutions repackage and mobilize old immigration narratives in their work to actively promote specific ideologies. Given their access to policymakers and media, these findings suggest that think tanks\u27 “scholarly work should be scrutinized for ideological messaging as closely as any avowedly ideological interest groups\u27 work

The need for a supply of high quality organic vegetable seeds

Production of high quality organic vegetable seeds encounters several challenges. Research is performed to support seed companies in producing vigorous and healthy organic vegetable seeds. Examples are provided with respect to research on seed vigour, determining critical control points to avoid disease transmission to the seeds, seed treatments with natu-ral compounds, new seed sorting techniques and enhancement of the natural plant defence. It is noticed that the restrictions in EU regulation 2092/91 on organic production are at present blocking the use of promising natural and sustainable components for seed treatments

Causal ambiguity and partial orders in event structures

Event structure models often have some constraint which ensures that for each\ud system run it is clear what are the causal predecessors of an event (i.e. there is no causal ambiguity). In this contribution we study what happens if we remove\ud such constraints. We define five different partial order semantics that are intentional in the sense that they refer to syntactic aspects of the model. We also define an observational partial order semantics, that derives a partial order from just the event traces. It appears that this corresponds to the so-called early intentional semantics; the other intentional semantics cannot be observationally characterized. We study the equivalences induced by the different partial order definitions, and their interrelations

Comparison of Timed Automata with Discrete Event Simulation for Modeling Personalized Treatment Decisions:the Case of Metastatic Castration Resistant Prostate Cancer

Objectives: The aim of this study is to compare the usefulness of two promising alternative modeling techniques, Timed Automata (TA) originating from informatics, and Discrete Event Simulation (DES) known in operations research, for modeling todays complex and personalized treatment decisions over time, involving multiple interactions and decision gates. Methods: The usefulness of both modeling techniques was assessed in a case study on the treatment of metastatic Castration Resistant Prostate Cancer (mCRPC) in which Circulating Tumor Cells (CTC) may be used as a response marker for switching first to second line treatment. Techniques were compared on user-friendliness, input requirements, input possibilities, model checking facilities, and results. Input parameters were similar for both models, consisting of costs, QoL, treatment effectiveness, diagnostic performance, physicians’ behavior and survival. Primary outcome measures were health outcomes, expressed in QALYs, and costs. Results: Modelling was considered easier using TA, as this approach allows independent modeling of the actors and elements comprising the treatment process, such as patients, physicians, tests and treatments, and their mutual interaction and communication. Furthermore, the statistical model checking feature in the TA software was found to be a powerful tool for validation. Input requirements and possibilities were similar for both modelling approaches in this case study. Both modelling approaches yield comparable results. Using TA, CTC reduced first and second line treatment by, on average, 108.9 and 107.6 days, respectively. Using DES, treatment was reduced by 83.6 and 85.0 days. CTC therefore reduced healthcare costs by €28,998 and €21,992 according to TA and DES, respectively. Conclusions: Both Timed Automata and Discrete Event Simulation seem to be suitable for modeling complex and personalized treatment processes like that of mCRPC. Timed Automata is a new and interesting alternative modeling technique, as it allows explicit separation of model components and supports statistical model checking to validate models

From POOSL to UPPAAL : transformation and quantitative analysis

POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control systems, POOSL has been used to construct models for performance analysis. The considered motion control algorithms are characterized by periodic execution. They are executed by multiple processors, which are interconnected by Rapid Input/Output (RapidIO) packet switches. Packet latencies as worst-case latencies and average-case latencies are essential performance criteria for motion control systems. However, POOSL analysis merely allows for estimation results for these latency metrics since it is primarily based on simulation. Because motion control systems are time-critical and safety-critical, worst-case latencies of packets are strict timing constraints. Therefore exact worst-case latencies are to be determined. Motivated by this requirement we propose to use model checking techniques. In this paper we illustrate how a POOSL model of a (simplified) motion control system can be transformed into an UPPAAL model and we verify its functional behavior and worst-case latencies. Moreover, we show that analysis of average-case latencies can also be accomplished with assistance of the model checking tool UPPAAL