A queue based mutual exclusion algorithm

A new elegant and simple algorithm for mutual exclusion of N processes is proposed. It only requires shared variables in a memory model where shared variables need not be accessed atomically. We prove mutual exclusion by reformulating the algorithm as a transition system (automaton), and applying simulation of automata. The proof has been verified with the higher-order interactive theorem prover PVS. Under an additional atomicity assumption, the algorithm is starvation free, and we conjecture that no competing process is passed by any other process more than once. This conjecture was verified by model checking for systems with at most five processes.     

Evaluating expectations about negative emotional states of aggressive boys using Bayesian model selection.

Researchers often have expectations about the research outcomes in regard to inequality constraints between, e.g., group means. Consider the example of researchers who investigated the effects of inducing a negative emotional state in aggressive boys. It was expected that highly aggressive boys would, on average, score higher on aggressive responses toward other peers than moderately aggressive boys, who would in turn score higher than nonaggressive boys. In most cases, null hypothesis testing is used to evaluate such hypotheses. We show, however, that hypotheses formulated using inequality constraints between the group means are generally not evaluated properly. The wrong hypotheses are tested, i.e.. the null hypothesis that group means are equal. In this article, we propose an innovative solution to these above-mentioned issues using Bayesian model selection, which we illustrate using a case study. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

High-speed single cable synchronization system for data-converters

A clock-cycle accurate synchronization technique for fully integrated data-converters is presented. Only a single cable is needed to distribute both the required synchronization signal and the converter clock. Different possible implementations, both to generate and decompose the distributed signal, are presented. A discrete component generator circuit is discussed. To avoid setup and hold time violations, on-chip signal reconstruction is unavoidable. A 40 nm CMOS recovery circuit was developed. Simulation results, including layout parasitics, show the wide frequency operating range of the proposed technique.     

Complementary integrated circuits on plastic foil using inkjet printed n- and p-type organic semiconductors: Fabrication,characterization, and circuit analysis

Complementary thin-film transistor circuits composed of 6,13-bis(triisopropyl-silylethynyl) pentacene (TIPS–PEN) and a rylene carboxylic diimide derivative for p- and n-channel thin-film transistors (TFTs) were fabricated on flexible foils. The so-called staggered TFT configuration is used, meaning that the semiconductors layers are deposited last. The work-function of the injecting gold electrodes were modified using several self-assembled monolayers (SAMs). For optimized contacts the mobility of the n- and p-channel TFTs was 0.5 cm²/Vs and 0.2 cm²/Vs, respectively. Strongly degraded performance is obtained when the n-channel material was printed on contacts optimized for the p-channel TFT, and vice versa. This illustrates that for CMOS circuits we need careful work-function engineering to allow proper injection for both electrons and holes. We show for the first time that by using a bimolecular mixture for the SAM we can systematically vary the work function, and demonstrate how this affects the performance of discrete n-type and p-type transistors, as well as CMOS inverters and ring oscillators. Under optimal processing conditions we realized complementary 19-stage ring oscillators with 10 μs stage delay operating at 20 V.     

Integrated structure and control design for mechatronic systems with configuration-dependent dynamics

This paper considers the optimal design of mechatronic systems with configuration-dependent dynamics. An optimal mechatronic design requires that, among the structural and control parameters, an optimal choice has to be made with respect to design specifications in the different domains. Two main challenges are treated in this paper: the non-convex nature of the optimization problem and the difficulty in modeling serial machines with flexible components and their embedded controllers. The optimization problem is treated using the direct design strategy which considers simultaneously structural and control parameters as variables and adopts non-convex optimization algorithms. Linear time-invariant and gain-scheduling PID controllers are addressed. This methodology is exploited for the multi-objective optimization of a pick-and-place assembly robot with a gripper carried by a variable-length flexible beam. The resulting design tradeoffs between system accuracy and control efforts demonstrate the advantage of an integrated design approach for mechatronic systems with configuration-dependent dynamics.     

Reduction‐Sensitive Dextran Nanogels Aimed for Intracellular Delivery of Antigens

Targeting of antigens to dendritic cells (DCs) to induce strong cellular immune response can be established by loading in a nano‐sized carrier and keeping the antigen associated with the particles until they are internalized by DCs. In the present study, a model antigen (ovalbumin, OVA) is immobilized in cationic dextran nanogels via disulfide bonds. These bonds are stable in the extracellular environment but are reduced in the cytosol of DCs due to the presence of glutathione. Reversible immobilization of OVA in the nanogels is demonstrated by the fact that hardly any release of the protein occurred at pH 7 in the absence of glutathione, whereas rapid release of OVA occurs once the nanogels are incubated in buffer with glutathione. Furthermore, these OVA conjugated nanogels show intracellular release of the antigen in DCs and boost the MHC class I antigen presentation, demonstrating the feasibility of this concept for the aimed intracellular antigen delivery.