5,220 research outputs found
Hyperpaths in network based on transit schedules
The concept of a hyperpath was introduced for handling passenger strategies in route choice behavior for public transit, especially in a frequency-based transit service environment. This model for handling route choice behavior has been widely used for planning transit services, and hyperpaths are now applied in areas beyond public transit. A hyperpath representing more specific passenger behaviors on a network based on transit schedules is proposed. A link-based time-expanded (LBTE) network for transit schedules is introduced; in the network each link represents a scheduled vehicle trip (or trip segment) with departure time and travel time (or arrival time) between two consecutive stops. The proposed LBTE network reduces the effort to build a network based on transit schedules because the network is expanded with scheduled links. A link-based representation of a hypergraph with existing hyperpath model properties that is directly integrated with the LBTE network is also proposed. Transit passenger behavior was incorporated for transfers in the link-based hyperpath. The efficiency of the proposed hyperpath model was demonstrated. The proposed models were applied on a test network and a real transit network represented by the general specification of Google's transit feed
Nanofocusing in SOI-based hybrid plasmonic metal slot waveguides
Abstract: Through a process of efficient dielectric to metallic waveguide mode conversion, we calculate a >400-fold field intensity enhancement in a silicon photonics compatible nanofocusing device. A metallic slot waveguide sits on top of the silicon slab waveguide with nanofocusing being achieved by tapering the slot width gradually. We evaluate the conversion between the numerous photonic modes of the planar silicon waveguide slab and the most confined plasmonic mode of a 20 x 50 nm2 slot in the metallic film. With an efficiency of ~80%, this system enables remarkably effective nanofocusing, although the small amount of inter-mode coupling shows that this structure is not quite adiabatic. In order to couple photonic and plasmonic modes efficiently, in-plane focusing is required, simulated here by curved input grating couplers. The nanofocusing device shows how to efficiently bridge the photonic micro-regime and the plasmonic nano-regime whilst maintaining compatibility with the silicon photonics platform
Synergism of Heat Shock Protein 90 and Histone Deacetylase Inhibitors in Synovial Sarcoma
Current systemic therapies have little curative benefit for synovial sarcoma. Histone deacetylase (HDAC) inhibitors and the heat shock protein 90 (Hsp90) inhibitor 17-AAG have recently been shown to inhibit synovial sarcoma in preclinical models. We tested combinations of
17-AAG with the HDAC inhibitor MS-275 for synergism by proliferation and apoptosis assays. The combination was found to be synergistic at multiple time points in two synovial sarcoma cell lines. Previous studies have shown that HDAC inhibitors not only induce cell death but also activate the survival pathway NF-κB, potentially limiting therapeutic benefit. As 17-AAG inhibits activators of NF-κB, we tested if 17-AAG synergizes with MS-275 through abrogating NF-κB activation. In our assays, adding 17-AAG blocks NF-κB activation by MS-275 and siRNA directed against histone deacetylase 3 (HDAC3) recapitulates the effects of MS-275. Additionally, we find that the NF-κB inhibitor BAY 11-7085 synergizes with MS-275. We conclude that agents inhibiting NF-κB synergize with HDAC inhibitors against synovial sarcoma
Test-State Approach to the Quantum Search Problem
The search for "a quantum needle in a quantum haystack" is a metaphor for the
problem of finding out which one of a permissible set of unitary mappings---the
oracles---is implemented by a given black box. Grover's algorithm solves this
problem with quadratic speed-up as compared with the analogous search for "a
classical needle in a classical haystack." Since the outcome of Grover's
algorithm is probabilistic---it gives the correct answer with high probability,
not with certainty---the answer requires verification. For this purpose we
introduce specific test states, one for each oracle. These test states can also
be used to realize "a classical search for the quantum needle" which is
deterministic---it always gives a definite answer after a finite number of
steps---and faster by a factor of 3.41 than the purely classical search. Since
the test-state search and Grover's algorithm look for the same quantum needle,
the average number of oracle queries of the test-state search is the classical
benchmark for Grover's algorithm.Comment: 11 pages, 5 figure
Malin: maximum likelihood analysis of intron evolution in eukaryotes
Summary: Malin is a software package for the analysis of eukaryotic gene structure evolution. It provides a graphical user interface for various tasks commonly used to infer the evolution of exon–intron structure in protein-coding orthologs. Implemented tasks include the identification of conserved homologous intron sites in protein alignments, as well as the estimation of ancestral intron content, lineage-specific intron losses and gains. Estimates are computed either with parsimony, or with a probabilistic model that incorporates rate variation across lineages and intron sites
Decoherence times of universal two-qubit gates in the presence of broad-band noise
The controlled generation of entangled states of two quantum bits is a
fundamental step toward the implementation of a quantum information processor.
In nano-devices this operation is counteracted by the solid-state environment,
characterized by a broadband and non-monotonic power spectrum, often 1/f at low
frequencies. For single-qubit gates, incoherent processes due to fluctuations
acting on different time scales result in peculiar short- and long-time
behavior. Markovian noise gives rise to exponential decay with relaxation and
decoherence times, T1 and T2, simply related to the symmetry of the
qubit-environment coupling Hamiltonian. Noise with the 1/f power spectrum at
low frequencies is instead responsible for defocusing processes and algebraic
short-time behavior. In this paper, we identify the relevant decoherence times
of an entangling operation due to the different decoherence channels
originating from solid-state noise. Entanglement is quantified by concurrence,
which we evaluate in an analytic form employing a multi-stage approach. The
'optimal' operating conditions of reduced sensitivity to noise sources are
identified. We apply this analysis to a superconducting \sqrt{i-SWAP} gate for
experimental noise spectra.Comment: 35 pages, 11 figure
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
We describe a technique for systematic testing of multi-threaded programs. We
combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique
that tackles path explosion due to interleaving non-determinism, with symbolic
execution to handle data non-determinism. Our technique iteratively and
exhaustively finds all executions of the program. It represents program
executions using partial orders and finds the next execution using an
underlying unfolding semantics. We avoid the exploration of redundant program
traces using cutoff events. We implemented our technique as an extension of
KLEE and evaluated it on a set of large multi-threaded C programs. Our
experiments found several previously undiscovered bugs and undefined behaviors
in memcached and GNU sort, showing that the new method is capable of finding
bugs in industrial-size benchmarks.Comment: Extended version of a paper presented at CAV'2
Effect of electric load and dual atmosphere on the properties of an alkali containing diopside-based glass sealant for solid oxide cells
© 2019 Elsevier B.V. All rights reserved.A new alkali-containing diopside based glass-ceramic sealant for solid oxide cells was synthesized, characterized and tested. The composition was designed to match the coefficient of thermal expansion (CTE) of Crofer22APU interconnect. The sealant has a glass transition temperature of 600°C, a crystallization peak temperature of 850°C and a maximum shrinkage temperature of 700°C, thus suggesting effective densification prior to crystallization. The CTE of the glass-ceramic is 11.5 10-6 K-1, a value which is compatible with the CTE for Crofer22APU stainless steel. Crofer22APU/glass-ceramic/Crofer22APU joined samples were tested in simulated real-life operating conditions at 800°C in dual atmosphere under an applied voltage, monitoring the electrical resistivity. The effect of two different applied voltages (0.7V and 1.3V) was evaluated. A voltage of 1.3V led to a rapid decrease in the electrical resistivity during the test;such a drop was due to the formation of Cr2O3 “bridges” that connected the two Crofer22APU plates separated by the sealant. There was no decrease in the resistivity when a voltage of 0.7V was applied. Instead,resistivity value remained stable at around 105 Ω cm for the 100h test duration. The degradation mechanisms, due to both the alkali content and the applied voltage, are investigated and discussed.Peer reviewe
On the complexity of strongly connected components in directed hypergraphs
We study the complexity of some algorithmic problems on directed hypergraphs
and their strongly connected components (SCCs). The main contribution is an
almost linear time algorithm computing the terminal strongly connected
components (i.e. SCCs which do not reach any components but themselves).
"Almost linear" here means that the complexity of the algorithm is linear in
the size of the hypergraph up to a factor alpha(n), where alpha is the inverse
of Ackermann function, and n is the number of vertices. Our motivation to study
this problem arises from a recent application of directed hypergraphs to
computational tropical geometry.
We also discuss the problem of computing all SCCs. We establish a superlinear
lower bound on the size of the transitive reduction of the reachability
relation in directed hypergraphs, showing that it is combinatorially more
complex than in directed graphs. Besides, we prove a linear time reduction from
the well-studied problem of finding all minimal sets among a given family to
the problem of computing the SCCs. Only subquadratic time algorithms are known
for the former problem. These results strongly suggest that the problem of
computing the SCCs is harder in directed hypergraphs than in directed graphs.Comment: v1: 32 pages, 7 figures; v2: revised version, 34 pages, 7 figure
Thermochemistry of Alane Complexes for Hydrogen Storage: A Theoretical and Experimental Comparison
Knowledge of the relative stabilities of alane (AlH3) complexes with electron
donors is essential for identifying hydrogen storage materials for vehicular
applications that can be regenerated by off-board methods; however, almost no
thermodynamic data are available to make this assessment. To fill this gap, we
employed the G4(MP2) method to determine heats of formation, entropies, and
Gibbs free energies of formation for thirty-eight alane complexes with NH3-nRn
(R = Me, Et; n = 0-3), pyridine, pyrazine, triethylenediamine (TEDA),
quinuclidine, OH2-nRn (R = Me, Et; n = 0-2), dioxane, and tetrahydrofuran
(THF). Monomer, bis, and selected dimer complex geometries were considered.
Using these data, we computed the thermodynamics of the key formation and
dehydrogenation reactions that would occur during hydrogen delivery and alane
regeneration, from which trends in complex stability were identified. These
predictions were tested by synthesizing six amine-alane complexes involving
trimethylamine, triethylamine, dimethylethylamine, TEDA, quinuclidine, and
hexamine, and obtaining upper limits of delta G for their formation from
metallic aluminum. Combining these computational and experimental results, we
establish a criterion for complex stability relevant to hydrogen storage that
can be used to assess potential ligands prior to attempting synthesis of the
alane complex. Based on this, we conclude that only a subset of the tertiary
amine complexes considered and none of the ether complexes can be successfully
formed by direct reaction with aluminum and regenerated in an alane-based
hydrogen storage system.Comment: Accepted by the Journal of Physical Chemistry
- …