Novel SOFC Anodes for the Direct Electrochemical Oxidation of Hydrocarbon

This paper describes recent developments in solid-oxide fuel cells (SOFC) that use Cu-based cermets as the anode for direct oxidation of hydrocarbon fuels, including liquids such as gasoline, to generate electrical power without the need for first reforming that fuel to H2. Cu-YSZ cermets were found to be stable in hydrocarbon environments, but exhibited low performance for direct oxidation. Reasonable power densities could only be achieved with the addition of a catalytic oxide, like ceria, with the Cu cermet. Electrochemical oxidation studies demonstrated that the initial products for reaction depend on the catalytic oxide. Finally, the effect of sulfur impurities in the fuel is discussed

Privacy-preserving outsourced support vector machine design for secure drug discovery

AXA Research Fund, Singapore Management Universit

Metabolite essentiality elucidates robustness of Escherichia coli metabolism

Complex biological systems are very robust to genetic and environmental changes at all levels of organization. Many biological functions of Escherichia coli metabolism can be sustained against single-gene or even multiple-gene mutations by using redundant or alternative pathways. Thus, only a limited number of genes have been identified to be lethal to the cell. In this regard, the reaction-centric gene deletion study has a limitation in understanding the metabolic robustness. Here, we report the use of flux-sum, which is the summation of all incoming or outgoing fluxes around a particular metabolite under pseudo-steady state conditions, as a good conserved property for elucidating such robustness of E. coli from the metabolite point of view. The functional behavior, as well as the structural and evolutionary properties of metabolites essential to the cell survival, was investigated by means of a constraints-based flux analysis under perturbed conditions. The essential metabolites are capable of maintaining a steady flux-sum even against severe perturbation by actively redistributing the relevant fluxes. Disrupting the flux-sum maintenance was found to suppress cell growth. This approach of analyzing metabolite essentiality provides insight into cellular robustness and concomitant fragility, which can be used for several applications, including the development of new drugs for treating pathogens.Comment: Supplements available at http://stat.kaist.ac.kr/publication/2007/PJKim_pnas_supplement.pd

Far-ultraviolet Emission-line Morphologies of the Supernova Remnant G65.3+5.7

We present the first far-ultraviolet (FUV) emission-line morphologies of the whole region of the supernova remnant (SNR) G65.3+5.7 using the FIMS/SPEAR data. The morphologies of the C IV {\lambda}{\lambda}1548, 1551, He II {\lambda}1640, and O III] {\lambda}{\lambda}1661, 1666 lines appear to be closely related to the optical and/or soft X-ray images obtained in previous studies. Dramatic differences between the C IV morphology and the optical [O III] {\lambda}5007 image provide clues to a large resonant-scattering region and a foreground dust cloud. The FUV morphologies also reveal the overall distribution of various shocks in different evolutionary phases and an evolutionary asymmetry between the east and the southwest sides in terms of Galactic coordinates, possibly due to a Galactic density gradient in the global scale. The relative X-ray luminosity of G65.3+5.7 to C IV luminosity is considerably lower than those of the Cygnus Loop and the Vela SNRs. This implies that G65.3+5.7 has almost evolved into the radiative stage in the global sense and supports the previous proposal that G65.3+5.7 has lost its bright X-ray shell and become a member of mixed-morphology SNRs as it has evolved beyond the adiabatic stage.Comment: 6 pages, 3 figures, accepted for publication in The Ap

Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation

Abstract—For hard real-time systems, static code analysis is needed to derive a safe bound on the worst-case execution time (WCET). Virtually all prior work has focused on the accuracy of WCET analysis without regard to the speed of analysis. The resulting algorithms are often too slow to be integrated into the development cycle, requiring WCET analysis to be postponed until a final verification phase. In this paper we propose interactive WCET analysis as a new method to provide near-instantaneous WCET feedback to the developer during software programming. We show that interactive WCET analysis is feasible using tree-based WCET calculation. The feedback is realized with a plugin for the Java editor jEdit, where the WCET values are back-annotated to the Java source at the statement level. Comparison of this treebased approach with the implicit path enumeration technique (IPET) shows that tree-based analysis scales better with respect to program size and gives similar WCET values. Index Terms—Real time systems, performance analysis, software performance, software reliability, software algorithms, safety I

Intrathyroidal Parathyroid Carcinoma: An Atypical Thyroid Lesion

Parathyroid carcinoma is a rare endocrine malignancy that is typically difficult to diagnose at presentation. Here, we report a 63 year-old man who had symptomatic hypercalcemia. Investigations revealed a thyroid nodule and a lateral neck mass that was biopsied and diagnosed as “suspicious for a neuroendocrine neoplasm.” He underwent total thyroidectomy with central and left neck node dissection. Histology and immunohistochemistry revealed an intrathyroidal angioinvasive parathyroid carcinoma with lymph node metastases. The tumor showed loss of parafibromin expression; germline testing revealed no pathogenic germline variants of CDC73, suggesting either a cryptic germline variant or a sporadic malignancy. Multiple pulmonary nodules consistent with metastatic disease explained persistent hypercalcemia and the patient was treated with denosumab as well as Sorafenib resulting in early regression of the lung nodules. This case illustrates an unusual parathyroid carcinoma with respect to anatomic presentation and the importance of complete pathological workup in securing the diagnosis. The management of these rare malignancies is discussed

Privacy-preserving outsourced calculation toolkit in the cloud

tru

Systematic effects of carbon doping on the superconducting properties of Mg(B1−x_{1-x}Cx_x)2_2

The upper critical field, $H_{c2}$, of Mg(B$_{1-x}$C$_x$)$_2$ has been measured in order to probe the maximum magnetic field range for superconductivity that can be attained by C doping. Carbon doped boron filaments are prepared by CVD techniques, and then these fibers are then exposed to Mg vapor to form the superconducting compound. The transition temperatures are depressed about $1 K/$ C and $H_{c2}(T=0)$ rises at about $5 T/$ C. This means that 3.5% C will depress $T_c$ from $39.2 K$ to $36.2 K$ and raise $H_{c2}(T=0)$ from $16.0 T$ to $32.5 T$. Higher fields are probably attainable in the region of 5% C to 7% C. These rises in $H_{c2}$ are accompanied by a rise in resistivity at $40 K$ from about $0.5 \mu \Omega cm$ to about $10 \mu \Omega cm$. Given that the samples are polycrystalline wire segments, the experimentally determined $H_{c2}(T)$ curves represent the upper $H_{c2}(T)$ manifold associated with $H\perp c$

Multi-dimensional data indexing and range query processing via Voronoi diagram for internet of things

In a typical Internet of Things (IoT) deployment such as smart cities and Industry 4.0, the amount of sensory data collected from physical world is significant and wide-ranging. Processing large amount of real-time data from the diverse IoT devices is challenging. For example, in IoT environment, wireless sensor networks (WSN) are typically used for the monitoring and collecting of data in some geographic area. Spatial range queries with location constraints to facilitate data indexing are traditionally employed in such applications, which allows the querying and managing the data based on SQL structure. One particular challenge is to minimize communication cost and storage requirements in multi-dimensional data indexing approaches. In this paper, we present an energy- and time-efficient multidimensional data indexing scheme, which is designed to answer range query. Specifically, we propose data indexing methods which utilize hierarchical indexing structures, using binary space partitioning (BSP), such as kd-tree, quad-tree, k-means clustering, and Voronoi-based methods to provide more efficient routing with less latency. Simulation results demonstrate that the Voronoi Diagram-based algorithm minimizes the average energy consumption and query response time