A double-layer current conduction model for high-κ gate dielectric materials with interfacial oxide or silicate layer

The current-voltage (I-V) characteristics of metal-oxide-semiconductor (MOS) structures with hafnium oxide as the gate dielectric film were studied. Sharp shifts from a low-voltage ohmic regime to a tunneling conduction were observed in the high-voltage range. The paper demonstrates that this behavior can be described very well with a double-layer dielectric model. Excellent fittings of the experimental curves were obtained and the related key structural and physical parameters were obtained. The model fitting further suggests the optimal annealing conditions for preparing the hafnium oxide films.     

Yielding- and fracture behaviour of ferritic steels in the transition region of quasistatic to dynamic loading

This paper presents results of investigations on the influence of loading rate on yielding and fracture behaviour of ferritic steels. The range of loading rates was below a certain level at which a special stress wave analysis is required. Concerning the yielding behaviour it was found, that the yield strength can be predicted by the model of thermally activated flow. The strain hardening dσ/dε appeared to be independent of strain rate, if adiabetic heating can be neglected. Concerning the fracture behaviour it is demonstrated that the K_lc-T-curves are shifted to higher temperatures with increasing loading rate. The temperature shift could be correlated with the strain rate sensitivity m = d lnσ/d lnε. The ductile/brittle transition temperature increases with incrasing loading rate. For the upper shelf region crack resistance curves as a function of loading rate are presented. It is shown that the crack length can be determined using the key-curve-method. A slightly increasing tendency of the evaluated J_R-curves was found.     

Performance of a Yeast-mediated Biological Fuel Cell

Saccharomyces cerevisiae present in common Baker’s yeast was used in a microbial fuel cell in which glucose was the carbon source. Methylene blue was used as the electronophore in the anode compartment, while potassium ferricyanide and methylene blue were tested as electron acceptors in the cathode compartment. Microbes in a mediator-free environment were used as the control. The experiment was performed in both open and closed circuit configurations under different loads ranging from 100 kΩ to 400Ω. The eukaryotic S. cerevisiae-based fuel cell showed improved performance when methylene blue and ferricyanide were used as electron mediators, rendering a maximum power generation of 146.71±7.7 mW/m³. The fuel cell generated a maximum open circuit voltage of 383.6±1.5 mV and recorded a maximum efficiency of 28±1.8 % under 100 kΩ of external load.     

Allergic rhinoconjunctivitis treated with intramuscular injection of glucocorticoid

Effects and side effects of injectable depot steroid in the treatment of allergic rhinoconjunctivitis (hay fever) are described. A few controlled studies have shown injectable steroids to be superior to the effect of placebo and locally applied steroid. Over a period of 10 years from 1984-95 only 26 registered side effects were reported to the central Danish register for side effects of drugs (Laegemiddelstyrelsens Bivirkningsregister). Only eight concerned subcutaneous atrophy and in two cases the cutaneous changes persisted. Based on registration of number of treatments in the county of Funen 1996, it is estimated that the use of injectable depot steroids for treatment of hay fever accounts for about 535,000 DDD (defined daily doses corresponding to about 33,000 treatments per year). We conclude that the use of injectable corticosteroids in the treatment of hay fever is common and effective and side effects are very rare. However, injectable corticosteroids should only be used when conventional treatment is not sufficient to control symptoms.     

meSAT: multiple encodings of CSP to SAT

One approach for solving Constraint Satisfaction Problems (CSP) (and related Constraint Optimization Problems (COP)) involving integer and Boolean variables is reduction to propositional satisfiability problem (SAT). A number of encodings (e.g., direct, log, support, order) for this purpose exist as well as specific encodings for some constraints that are often encountered (e.g., cardinality constraints, global constraints). However, there is no single encoding that performs well on all classes of problems and there is a need for a system that supports multiple encodings. We present a system that translates specifications of finite linear CSP problems into SAT instances using several well-known encodings, and their combinations. We also present a methodology for selecting a suitable encoding based on simple syntactic features of the input CSP instance. Thorough evaluation has been performed on large publicly available corpora and our encoding selection method improves upon the efficiency of existing encodings and state-of-the-art tools used in comparison.     

Left-forbidding cooperating distributed grammar systems

A left-forbidding grammar, introduced in this paper, is a context-free grammar, where a set of nonterminal symbols is attached to each context-free production. Such a production can rewrite a nonterminal provided that no symbol from the attached set occurs to the left of the rewritten nonterminal in the current sentential form. The present paper discusses cooperating distributed grammar systems with left-forbidding grammars as components and gives some new characterizations of language families of the Chomsky hierarchy. In addition, it also proves that twelve nonterminals are enough for cooperating distributed grammar systems working in the terminal derivation mode with two left-forbidding components (including erasing productions) to characterize the family of recursively enumerable languages.     

Reactive scheduling in the multi-mode RCPSP

The multi-mode resource-constrained project scheduling problem (MRCPSP) involves the determination of a baseline schedule of the project activities, which can be executed in multiple modes, satisfying the precedence relations and resource constraints while minimizing the project duration. During the execution of the project, the baseline schedule may become infeasible due to activity duration and resource disruptions. We propose and evaluate a number of dedicated exact reactive scheduling procedures as well as a tabu search heuristic for repairing a disrupted schedule, under the assumption that no activity can be started before its baseline starting time. We report on promising computational results obtained on a set of benchmark problems.     

Algorithm,software, and hardware optimizations for Delaunay mesh generation on simultaneous multithreaded architectures

This article focuses on the optimization of PCDM, a parallel, two-dimensional (2D) Delaunay mesh generation application, and its interaction with parallel architectures based on simultaneous multithreading (SMT) processors. We first present the step-by-step effect of a series of optimizations on performance. These optimizations improve the performance of PCDM by up to a factor of six. They target issues that very often limit the performance of scientific computing codes. We then evaluate the interaction of PCDM with a real SMT-based SMP system, using both high-level metrics, such as execution time, and low-level information from hardware performance counters.     

Elastic Resource Allocation Algorithms for Collaboration Applications

Cloud technologies can provide elasticity to real-time audio and video (A/V) collaboration applications. However, cloud-based collaboration solutions generally operate on a best-effort basis, with neither delivery nor quality guarantees, and high-quality business focused solutions rely on dedicated infrastructure and hardware-based components. This article describes our 2-year of research in the EMD project, which targets to migrate a hardware-based and business focused A/V collaboration solution to a software-based platform hosted in the cloud, providing higher levels of elasticity and reliability. Our focus during this period was an educational collaboration scenario with teachers and students (locally present in the classroom or remotely following the classes). A model of collaboration streaming (e.g. network topology, codecs, stream, streaming workflow, software components) is defined as base for software deployment and preemptive VM allocation techniques. These heuristics are evaluated using a version of the CloudSim simulator extended to generate and simulate realistic collaboration scenarios, to manage network congestion and to monitor a.o. cost and session delay metrics. Our results show that the algorithms reduce costs when compared to previously designed approaches, having an effectiveness of 99% in meeting A/V collaboration setup deadlines, which is a stringent requirement for this collaboration application.