Potential Energetic Plasticizers on the Basis of 2,2‐Dinitropropane‐1,3‐diol and 2,2‐Bis(azidomethyl)propane‐1,3‐diol

Different carboxylic acid derivatives of 2,2‐dinitropropane‐1,3‐diol (DNPD) and 2,2‐bis(azidomethyl)propane‐1,3‐diol (BAMP) were synthesized to investigate their suitability as energetic plasticizers. The syntheses were carried out using acyl chlorides of acetic, propionic, and butyric acid. The obtained products were characterized by elemental analysis, NMR, and IR spectroscopy. The energetic properties of the synthesized compounds were calculated on the basis of the computed heats of formation at the CBS‐4M level of theory using the EXPLO5 version 6.02 computer code. Investigations of physical stabilities were carried out using BAM drop hammer and friction tester. Low and high temperature behavior was determined by differential scanning calorimetry (DSC). The energetic and physical properties of the synthesized compounds were compared to the literature known energetic plasticizers N‐butyl nitratoethylnitramine (BuNENA) and diethylene glycol bis(azidoacetate) ester (DEGBAA). For analyzing the plasticizing abilities, mixtures of glycidyl azide polymer (GAP) and poly(3‐nitratomethyl‐3‐methyloxetan) (polyNIMMO) were prepared with both propionyl based compounds in different ratios and investigated regarding their glass transition temperatures and viscosity. Both compounds showed plasticizing effects in the range of BuNENA.     

Optimizing the execution of XSLT stylesheets for querying transformed XML data

We have to deal with different data formats whenever data formats evolve or data must be integrated from heterogeneous systems. These data when implemented in XML for data exchange cannot be shared freely among applications without data transformation. A common approach to solve this problem is to convert the entire XML data from their source format to the applications’ target formats using the transformations rules specified in XSLT stylesheets. However, in many cases, not all XML data are required to be transformed except for a smaller part described by a user’s query (application). In this paper, we present an approach that optimizes the execution time of an XSLT stylesheet for answering a given XPath query by modifying the XSLT stylesheet in such a way that it would (a) capture only the parts in the XML data that are relevant to the query and (b) process only those XSLT instructions that are relevant to the query. We prove the correctness of our optimization approach, analyze its complexity and present experimental results. The experimental results show that our approach performs the best in terms of execution time, especially when many cost-intensive XSLT instructions can be excluded in the XSLT stylesheet.     

Exploring indicators for quantifying surface urban heat islands of European cities with MODIS land surface temperatures

The term urban heat island describes the phenomenon of altered temperatures in urban areas compared to their rural hinterlands. A surface urban heat island encompasses the patterns of land surface temperatures in urban areas. The classical indicator to describe a surface urban heat island is the difference between urban and rural surface temperatures. However, several other indicators for this purpose have been suggested in the literature. In this study, we compared the eleven different indicators for quantifying surface urban heat islands that were most frequently used in recent publications on remote sensing-based urban heat island assessments. The dataset used here consists of 263 European cities with monthly mean temperatures from MODIS data products for July 2002, January 2003 and July 2003. We found that (i) the indicators individually reveal diurnal and seasonal patterns but show rather low correlations over time, and (ii) for single points in time, the different indicators show only weak correlations, although they are supposed to quantify the same phenomenon. Differentiating cities according to thermal climate zones increased the relationships between the indicators. Thus, we can identify temporal aspects and indicator selection as important factors determining the estimation of urban heat islands. We conclude that research should take into account the differences and instabilities of the indicators chosen for quantifying surface urban heat islands and should use several indicators in parallel for describing the surface urban heat island of a city.     

The high-conductance state of cortical networks

We studied the dynamics of large networks of spiking neurons with conductance-based (nonlinear) synapses and compared them to networks with current-based (linear) synapses. For systems with sparse and inhibition-dominated recurrent connectivity, weak external inputs induced asynchronous irregular firing at low rates. Membrane potentials fluctuated a few millivolts below threshold, and membrane conductances were increased by a factor 2 to 5 with respect to the resting state. This combination of parameters characterizes the ongoing spiking activity typically recorded in the cortex in vivo. Many aspects of the asynchronous irregular state in conductance-based networks could be sufficiently well characterized with a simple numerical mean field approach. In particular, it correctly predicted an intriguing property of conductance-based networks that does not appear to be shared by current-based models: they exhibit states of low-rate asynchronous irregular activity that persist for some period of time even in the absence of external inputs and without cortical pacemakers. Simulations of larger networks (up to 350,000 neurons) demonstrated that the survival time of self-sustained activity increases exponentially with network size.     

Minimum cost flows with minimum quantities

We consider a variant of the well-known minimum cost flow problem where the flow on each arc in the network is restricted to be either zero or above a given lower bound. The problem was recently shown to be weakly NP-complete even on series-parallel graphs. We start by showing that the problem is strongly NP-complete and cannot be approximated in polynomial time (unless P=NP) up to any polynomially computable function even when the graph is bipartite and the given instance is guaranteed to admit a feasible solution. Moreover, we present a pseudo-polynomial-time exact algorithm and a fully polynomial-time approximation scheme (FPTAS) for the problem on series-parallel graphs.     

A logic-based incremental approach to graph repair featuring delta preservation

We introduce a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing graph repairs from which a user may select a graph repair based on non-formalized further requirements. This incremental approach features delta preservation as it allows to restrict the generation of graph repairs to delta-preserving graph repairs, which do not revert the additions and deletions of the most recent consistency-violating graph update. We specify consistency of graphs using the logic of nested graph conditions, which is equivalent to first-order logic on graphs. Technically, the incremental approach encodes if and how the graph under repair satisfies a graph condition using the novel data structure of satisfaction trees, which are adapted incrementally according to the graph updates applied. In addition to the incremental approach, we also present two state-based graph repair algorithms, which restore consistency of a graph independent of the most recent graph update and which generate additional graph repairs using a global perspective on the graph under repair. We evaluate the developed algorithms using our prototypical implementation in the tool AutoGraph and illustrate our incremental approach using a case study from the graph database domain.

     

Proteomic expression profiling of thyroid neoplasms

Thyroid cancer is the most common endocrine neoplasm with multiple histologic subtypes, each associated with different treatments and outcomes. Differentiating benign neoplasms such as follicular adenomas from malignant entities such as follicular carcinomas and papillary carcinoma can be challenging. To define the proteomic profile of different thyroid tumors, we screened an antibody array of 330 features against five thyroid neoplasms: follicular adenoma, follicular carcinoma, papillary carcinoma, anaplastic carcinoma, and medullary carcinoma as well as normal thyroid epithelium. Eight candidate biomarkers; c-erbB-2, Stat5a, Annexin IV, IL-11, RARα, FGF7, Caspase 9, and phospho-c-myc were identified as differentially expressed on the antibody array, and validated with immunohistochemistry on tissue microarrays, with a total of 144 samples of the same variety of thyroid neoplasms. Analysis revealed c-erbB-2, Annexin IV, and Stat5a have potential clinical utility to differentiate follicular adenoma, follicular carcinoma, and papillary carcinoma from each other. By using an antibody array as a discovery platform and a tissue microarray as a first step in validation on a large number of specimens, we have identified new markers that have potential utility in the diagnosis of thyroid neoplasms.