Testing microelectronic biofluidic systems

According to the 2005 International Technology Roadmap for Semiconductors, the integration of emerging nondigital CMOS technologies will require radically different test methods, posing a major challenge for designers and test engineers. One such technology is microelectronic fluidic (MEF) arrays, which have rapidly gained importance in many biological, pharmaceutical, and industrial applications. The advantages of these systems, such as operation speed, use of very small amounts of liquid, on-board droplet detection, signal conditioning, and vast digital signal processing, make them very promising. However, testable design of these devices in a mass-production environment is still in its infancy, hampering their low-cost introduction to the market. This article describes analog and digital MEF design and testing method

Breaking Instance-Independent Symmetries In Exact Graph Coloring

Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is also used to model more traditional CSPs relevant to AI, such as planning, time-tabling and scheduling. Provably optimal solutions may be desirable for commercial and defense applications. Additionally, for applications such as register allocation and code optimization, naturally-occurring instances of graph coloring are often small and can be solved optimally. A recent wave of improvements in algorithms for Boolean satisfiability (SAT) and 0-1 Integer Linear Programming (ILP) suggests generic problem-reduction methods, rather than problem-specific heuristics, because (1) heuristics may be upset by new constraints, (2) heuristics tend to ignore structure, and (3) many relevant problems are provably inapproximable. Problem reductions often lead to highly symmetric SAT instances, and symmetries are known to slow down SAT solvers. In this work, we compare several avenues for symmetry breaking, in particular when certain kinds of symmetry are present in all generated instances. Our focus on reducing CSPs to SAT allows us to leverage recent dramatic improvement in SAT solvers and automatically benefit from future progress. We can use a variety of black-box SAT solvers without modifying their source code because our symmetry-breaking techniques are static, i.e., we detect symmetries and add symmetry breaking predicates (SBPs) during pre-processing. An important result of our work is that among the types of instance-independent SBPs we studied and their combinations, the simplest and least complete constructions are the most effective. Our experiments also clearly indicate that instance-independent symmetries should mostly be processed together with instance-specific symmetries rather than at the specification level, contrary to what has been suggested in the literature

Medical, Racist, and Colonial Constructions of Power in Anne Fadiman\u27s The Spirit Catches You and You Fall Down

This essay looks at the values attributed or denied to culture (medical culture, history, Southeast Asian refugees, Asian American cultural citizenship) in the care surrounding a Hmong child diagnosed with spirit loss, according to Hmong interpretation, or epilepsy, as defined by Western medicine. In my reading of Anne Fadiman\u27s The Spirit Catches You and You Fall Down: A Hmong Child, Her American Doctors, and the Collision of Two Cultures, medical, colonial, and authorial knowledge often converge in devastating ways, linking the seemingly disparate discourses of war, refugee medicine, and the model minority through colonial representations. I also look at the book\u27s lacuna in its investigation of cultural collisions, finding that its approaches to reporting the medical-cultural conflict from a seemingly neutral position-one balancing the reported views of the epileptic child\u27s parents and the views of her medical practitioners-often reinscribe the Hmong subjects into the very colonial parameters from which the book attempts to extract them

What Do Definites Do That Indefinites Definitely Don't?

This paper investigates how (in)definiteness in word order; more specifically, how it in the ordering of objects in the Mittelfeld of German double-object constructions. As a starting point I take what I'll call the Indefinite Puzzle

Smart Procurement of Naturally Generated Energy (SPONGE) for Plug-in Hybrid Electric Buses

We discuss a recently introduced ECO-driving concept known as SPONGE in the context of Plug-in Hybrid Electric Buses (PHEB)'s.Examples are given to illustrate the benefits of this approach to ECO-driving. Finally, distributed algorithms to realise SPONGE are discussed, paying attention to the privacy implications of the underlying optimisation problems.Comment: This paper is recently submitted to the IEEE Transactions on Automation Science and Engineerin

Wh-movement vs. scrambling: The brain makes a difference

(no abstract

Experts and Decision Making: First Steps Towards a Unifying Theory of Decision Making in Novices, Intermediates and Experts

Expertise research shows quite ambiguous results on the abilities of experts in judgment and decision making (JDM) classic models cannot account for. This problem becomes even more accentuated if different levels of expertise are considered. We argue that parallel constraint satisfaction models (PCS) might be a useful base to understand the processes underlying expert JDM and the hitherto existing, differentiated results from expertise research. It is outlined how expertise might influence model parameters and mental representations according to PCS. It is discussed how this differential impact of expertise on model parameters relates to empirical results showing quite different courses in the development of expertise; allowing, for example, to predict under which conditions intermediates might outperform experts. Methodological requirements for testing the proposed unifying theory under complex real-world conditions are discussed.Judgment and Decision Making, Expertise, Intermediate Effects, Parallel Constraint Satisfaction, Mental Representation