Timed I/O Automata: It is never too late to complete your timed specification theory

A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design. We develop a complete specification framework for real-time systems using Timed I/O Automata as the specification formalism, with the semantics expressed in terms of Timed I/O Transition Systems. We provide constructs for refinement, consistency checking, logical and structural composition, and quotient of specifications -- all indispensable ingredients of a compositional design methodology. The theory is backed by rigorous proofs and is being implemented in the open-source tool ECDAR.Comment: Version submitted for revie

Bioink properties before, during and after 3D bioprinting

Bioprinting is a process based on additive manufacturing from materials containing living cells. These materials, often referred to as bioink, are based on cytocompatible hydrogel precursor formulations, which gel in a manner compatible with different bioprinting approaches. The bioink properties before, during and after gelation are essential for its printability, comprising such features as achievable structural resolution, shape fidelity and cell survival. However, it is the final properties of the matured bioprinted tissue construct that are crucial for the end application. During tissue formation these properties are influenced by the amount of cells present in the construct, their proliferation, migration and interaction with the material. A calibrated computational framework is able to predict the tissue development and maturation and to optimize the bioprinting input parameters such as the starting material, the initial cell loading and the construct geometry. In this contribution relevant bioink properties are reviewed and discussed on the example of most popular bioprinting approaches. The effect of cells on hydrogel processing and vice versa is highlighted. Furthermore, numerical approaches were reviewed and implemented for depicting the cellular mechanics within the hydrogel as well as for prediction of mechanical properties to achieve the desired hydrogel construct considering cell density, distribution and material-cell interaction

Linking a dermal permeation and an inhalation model to a simple pharmacokinetic model to study airborne exposure to di(n-butyl) phthalate

Six males clad only in shorts were exposed to high levels of airborne di(n-butyl) phthalate (DnBP) and diethyl phthalate (DEP) in chamber experiments conducted in 2014. In two 6 h sessions, the subjects were exposed only dermally while breathing clean air from a hood, and both dermally and via inhalation when exposed without a hood. Full urine samples were taken before, during, and for 48 h after leaving the chamber and measured for key DnBP and DEP metabolites. The data clearly demonstrated high levels of DnBP and DEP metabolite excretions while in the chamber and during the first 24 h once leaving the chamber under both conditions. The data for DnBP were used in a modeling exercise linking dose models for inhalation and transdermal permeation with a simple pharmacokinetic model that predicted timing and mass of metabolite excretions. These models were developed and calibrated independent of these experiments. Tests included modeling of the “hood-on” (transdermal penetration only), “hood-off” (both inhalation and transdermal) scenarios, and a derived “inhalation-only” scenario. Results showed that the linked model tended to duplicate the pattern of excretion with regard to timing of peaks, decline of concentrations over time, and the ratio of DnBP metabolites. However, the transdermal model tended to overpredict penetration of DnBP such that predictions of metabolite excretions were between 1.1 and 4.5 times higher than the cumulative excretion of DnBP metabolites over the 54 h of the simulation. A similar overprediction was not seen for the “inhalation-only” simulations. Possible explanations and model refinements for these overpredictions are discussed. In a demonstration of the linked model designed to characterize general population exposures to typical airborne indoor concentrations of DnBP in the United States, it was estimated that up to one-quarter of total exposures could be due to inhalation and dermal uptake

Bioassay-guided isolation and identification of antimicrobial compounds from thyme essential oil by means of overpressured layer chromatography, bioautography and GC-MS

A simple method is described for efficient isolation of compounds having an antibacterial effect. Two thyme (Thymus vulgaris) essential oils, obtained from the market, were chosen as prospective materials likely to feature several bioactive components when examined by thin layer chromatography coupled with direct bioautography as a screening method. The newly developed infusion overpressured layer chromatographic separation method coupled with direct bioautography assured that only the active components were isolated by means of overrun overpressured layer chromatography with online detection and fractionation. Each of the 5 collected fractions represented one of the five antimicrobial essential oil components designated at the screening. The purity and the activity of the fractions were confirmed with chromatography coupled various detection methods (UV, vanillin-sulphuric acid reagent, direct bioautography). The antibacterial components were identified with GC-MS as thymol, carvacrol, linalool, diethylphthalate, and alpha-terpineol. The oil component diethyl-phthalate is an artificial compound, used as plasticizer or detergent bases in the industry. Our results support that exploiting its flexibility and the possible hyphenations, overpressured layer chromatography is especially attractive for isolation of antimicrobial components from various matrixes

Diabetes and Driving

Of the nearly 19 million people in the U.S. with diagnosed diabetes (1), a large percentage will seek or currently hold a license to drive. For many, a driver's license is essential to work; taking care of family; securing access to public and private facilities, services, and institutions; interacting with friends; attending classes; and/or performing many other functions of daily life. Indeed, in many communities and areas of the U.S. the use of an automobile is the only (or the only feasible or affordable) means of transportation available. There has been considerable debate whether, and the extent to which, diabetes may be a relevant factor in determining driver ability and eligibility for a license. This position statement addresses such issues in light of current scientific and medical evidence. Sometimes people with a strong interest in road safety, including motor vehicle administrators, pedestrians, drivers, other road users, and employers, associate all diabetes with unsafe driving when in fact most people with diabetes safely operate motor vehicles without creating any meaningful risk of injury to themselves or others. When legitimate questions arise about the medical fitness of a person with diabetes to drive, an individual assessment of that person's diabetes management—with particular emphasis on demonstrated ability to detect and appropriately treat potential hypoglycemia—is necessary in order to determine any appropriate restrictions. The diagnosis of diabetes is not sufficient to make any judgments about individual driver capacity. This document provides an overview of existing licensing rules for people with diabetes, addresses the factors that impact driving for this population, and identifies general guidelines for assessing driver fitness and determining appropriate licensing restrictions

Vanadium (β-(Dimethylamino)ethyl)cyclopentadienyl Complexes with Diphenylacetylene Ligands

Reduction of the V(III) (β-(dimethylamino)ethyl)cyclopentadienyl dichloride complex [η5:η1-C5H4(CH2)2NMe2]VCl2(PMe3) with 1 equiv of Na/Hg yielded the V(II) dimer {[η5:η1-C5H4(CH2)2NMe2]V(µ-Cl)}2 (2). This compound reacted with diphenylacetylene in THF to give the V(II) alkyne adduct [η5:η1-C5H4(CH2)2NMe2]VCl(η2-PhC≡CPh). Further reduction of 2 with Mg in the presence of diphenylacetylene resulted in oxidative coupling of two diphenylacetylene groups to yield the diamagnetic, formally V(V), bent metallacyclopentatriene complex [η5:η1-C5H4(CH2)2NMe2]V(C4Ph4).

Neurology

Contains reports on six research projects.United States Public Health Service (B-3055-4, B-3090-4, MH-06175-02)United States Navy, Office of Naval Research (Contract Nonr-1841(70))United States Air Force (AF49(638)-1313), administered by the Electronic Systems Laboratory, M. I. T