Generalized modal satisfiability

It is well known that modal satisfiability is PSPACE-complete (Ladner (1977) [21]). However, the complexity may decrease if we restrict the set of propositional operators used. Note that there exist an infinite number of propositional operators, since a propositional operator is simply a Boolean function. We completely classify the complexity of modal satisfiability for every finite set of propositional operators, i.e., in contrast to previous work, we classify an infinite number of problems. We show that, depending on the set of propositional operators, modal satisfiability is PSPACE-complete, coNP-complete, or in P. We obtain this trichotomy not only for modal formulas, but also for their more succinct representation using modal circuits. We consider both the uni-modal and the multi-modal cases, and study the dual problem of validity as well.     

Catalysis of an Essential Step in Vitamin B2 Biosynthesis by a Consortium of Broad Spectrum Hydrolases

An enzyme catalysing the essential dephosphorylation of the riboflavin precursor, 5‐amino‐6‐ribitylamino‐2,4(1H,3H)‐pyrimidinedione 5′‐phosphate ( 6 ), was purified about 800‐fold from a riboflavin‐producing Bacillus subtilis strain, and was assigned as the translation product of the ycsE gene by mass spectrometry. YcsE is a member of the large haloacid dehalogenase (HAD) superfamily. The recombinant protein was expressed in Escherichia coli. It catalyses the hydrolysis of 6 (v_max, 12 μmol mg^?1 min^?1; K_M, 54 μm ) and of FMN (v_max, 25 μmol mg^?1 min^?1; K_M, 135 μm ). A ycsE deletion mutant of B. subtilis was not riboflavin dependent. Two additional proteins (YwtE, YitU) that catalyse the hydrolysis of 6 at appreciable rates were identified by screening 13 putative HAD superfamily members from B. subtilis. The evolutionary processes that have resulted in the handling of an essential step in the biosynthesis of an essential cofactor by a consortium of promiscuous enzymes require further analysis.     

Challenges and opportunities for next-generation intracortically based neural prostheses

Neural prosthetic systems aim to help disabled patients by translating neural signals from the brain into control signals for guiding computer cursors, prosthetic arms, and other assistive devices. Intracortical electrode arrays measure action potentials and local field potentials from individual neurons, or small populations of neurons, in the motor cortices and can provide considerable information for controlling prostheses. Despite several compelling proof-of-concept laboratory animal experiments and an initial human clinical trial, at least three key challenges remain which, if left unaddressed, may hamper the translation of these systems into widespread clinical use. We review these challenges: achieving able-bodied levels of performance across tasks and across environments, achieving robustness across multiple decades, and restoring able-bodied quality proprioception and somatosensation. We also describe some emerging opportunities for meeting these challenges. If these challenges can be largely or fully met, intracortically based neural prostheses may achieve true clinical viability and help increasing numbers of disabled patients.     

Optimal sensor placement for joint parameter and state estimation problems in large-scale dynamical systems with applications to thermo-mechanics

We consider large-scale dynamical systems in which both the initial state and some parameters are unknown. These unknown quantities must be estimated from partial state observations over a time window. A data assimilation framework is applied for this purpose. Specifically, we focus on large-scale linear systems with multiplicative parameter-state coupling as they arise in the discretization of parametric linear time-dependent partial differential equations. Another feature of our work is the presence of a quantity of interest different from the unknown parameters, which is to be estimated based on the available data. In this setting, we employ a simplicial decomposition algorithm for an optimal sensor placement and set forth formulae for the efficient evaluation of all required quantities. As a guiding example, we consider a thermo-mechanical PDE system with the temperature constituting the system state and the induced displacement at a certain reference point as the quantity of interest.     

Hierarchically Structured Poly(alkyl‐p‐xylylene) Nonwovens with Superhydrophobic Properties

Hierarchically structured poly(alkyl‐p‐xylylene) (alkyl‐PPX) nonwovens are prepared by specific parameter variation during the electrospinning process. The investigated parameters are changes in solutions properties and ambient humidity level, which lead to the formation of different fiber architectures and surface morphologies. The characterization of the nonwovens by scanning electron microscopy confirms the formation of hierarchically structured fibers, comprising bead‐on‐string architecture if spun from tetra­hydrofuran (THF) solutions, and porous surfaces at relative humidity (RH) levels > 30% for both chloroform and THF solutions. The wetting properties of nonwovens spun from THF and chloroform solutions are analyzed by water contact angle (CA) measurements, roll‐angle determination, and high speed imaging. PPX‐heptyl and PPX‐butyl fiber mats spun from 2.5 wt% THF and PPX‐heptyl spun from 3 wt% chloroform solutions at RH > 75% show superhydrophobic and self‐cleaning properties with CA > 153° and roll‐off angles of 10–15°. The nonwovens maintain their fiber morphology and water‐repellent properties after thermal and mechanical stress.

     

Volatile lactones from streptomycetes arise via the antimycin biosynthetic pathway

The volatiles released by several streptomycetes were collected by using a closed-loop stripping apparatus (CLSA) and analysed by GC-MS. The obtained headspace extracts of various species contained blastmycinone, a known degradation product of the fungicidal antibiotic, antimycin A(3b), and several unknown derivatives. The suggested structures of these compounds, based on their mass spectra and GC retention indices, were confirmed by comparison to synthetic reference samples. Additional compounds found in the headspace extracts were butenolides formed from the blastmycinones by elimination of the carboxylic acid moiety. Analysis of a gene knockout mutant in the antimycin biosynthetic gene cluster demonstrated that all blastmycinones and butenolides are formed via the antimycin biosynthetic pathway. The structural variation of the blastmycinones identified here is much larger than within the known antimycins, thus suggesting that several antimycin derivatives remain to be discovered.