Fairness in ambulance routing for post disaster management

Central European Journal of Operations Research - Disaster management generally includes the post-disaster stage, which consists of the actions taken in response to the disaster damages. These...     

Solvable set/hyperset contexts: I. Some decision procedures for the pure,finite case

Hereditarily finite sets and hypersets are characterized both as algorithmic data structures and by means of a first-order axiomatization which, despite being rather weak, suffices to make the following two problems decidable:

• (1) Establishing whether a conjunction r of formulae of the form: ? y₁ ?? y_m((y₁?W₁& ?&y_m ?W_m) ←q), with q quantifier-free and involving only the relators =, ? and propositional connectives, and each y_i distinct from all w_j's, is satisfiable.
• (2) Establishing whether a formula of the form ? y q, q quantifier-free, is satisfiable.

Concerning (1), an explicit decision algorithm is provided; moreover, significantly broad subproblems of (1) are singled out in which a classification — that we call the ‘syllogistic decomposition’ of r — of all possible ways of satisfying the input conjunction r can be obtained automatically. For one of these subproblems, carrying out the decomposition results in a finite family of syntactic substitutions that generate the space of all solutions to r. In this sense, one has a unification algorithm. Concerning (2), a technique is provided for reducing it to a subproblem of (1) for which a decomposition method is available. The algorithmic complexity of the problems under study is highlighted; a generalization of the decidability results to a theory where sets are blended with free Herbrand functors is announced. © 1996 John Wiley & Sons, Inc.     

μSR Investigation of ethyl radicals adsorbed on silica

SR spectra of the ethyl radical adsorbed on porous silica were observed in transverse and in longitudinal magnetic fields in the temperature range 190–298 K. The line widths reflect the dynamic partial averaging of the hyperfine anisotropy due to reorientation and surface diffusion.     

Surgery on 3-manifolds with \mathbb{S} 1-actions

We study the topological structure of all 3-manifolds obtained by surgery along principal fibers of a closed orientable -manifold. As a consequence, we give alternative proofs of some classical results due to W. Heil and L. Moser. Moreover, we completely specify the Seifert invariants for the considered manifolds. Finally we classify the manifolds obtained by surgery along certain Seifert links and determine geometric presentations of their fundamental groups.Work performed under the auspices of C.N.R. (National Research Council) of Italy and partially supported by Ministero della Ricerca Scientifica e Tecnologica within the projects Geometria Reale e Complessa and Topologia.     

Krull-Schmidt fails for serial modules

We answer a question posed by Warfield in 1975: the Krull-Schmidt Theorem does not hold for serial modules, as we show via an example. Nevertheless we prove a weak form of the Krull-Schmidt Theorem for serial modules (Theorem 1.9). And we show that the Grothendieck group of the class of serial modules of finite Goldie dimension over a fixed ring is a free abelian group.

     

Solid-state supramolecular organization, established directly from powder diffraction data, and photoluminescence efficiency of rigid-core oligothiophene-S,S-dioxides

The "rigid-core" material 3,5-dimethyl-2,3'-bis(3-methylthiophene)-dithieno[3,2-b:',3'-d]thiophene-4,4-dioxide (DTTOMe4) has the highest photoluminescence ever reported for thiophene-based molecules in the solid state. We report the structure of this material, determined directly from powder X-ray diffraction data using the Genetic Algorithm method for structure solution, followed by Rietveld refinement, and the structural properties are discussed in relation to the structures of the corresponding subsystems DTTO and DTTOMe. While the crystal structures of the latter compounds contain cofacial dimers, the crystal structure of DTTOMe4 comprises layers of molecules aligned in an antiparallel fashion. Intermediate neglect of differential overlap with single configuration interaction (INDO/SCI) calculations on the intermolecular interactions in the three crystal structures show that the different solid-state photoluminescence efficiencies of DTTOMe4, DTTOMe, and DTTO cannot be correlated with the different types of dipole-dipole alignment in the solid state. Instead, photoluminescence efficiencies correlate well with the rate of formation of nonradiatively decaying charge-transfer pairs upon photoexcitation. Because of larger intermolecular distances in DTTOMe4, the photoluminescence is less effectively quenched by charge-transfer processes than in DTTOMe and DTTO.     

New Hg2+ and Cu2+ selective chromo- and fluoroionophore based on a bichromophoric azine

[graph: see text] A new probe, 1,4-bis(1-pyrenyl)-2,3-diaza-1,3-butadiene, selectively senses Hg2+ and Cu2+ through two different channels: the yellow-deep-pink color change and the enhancement of the fluorescence with the red shift of the excimer emission, which can visually be discernible by a green fluorescence in the presence of Hg2+ and an orange fluorescence in the presence of Cu2+.     

Dramatic changes in geometry after ionization: experimental and theoretical studies on the electronic properties of fluorocarbonyl (mono-, di-, and tri-) sulfur compounds

In this work, we present a complete study on He I photoelectron spectroscopy (PES) for the fluorocarbonyl mono-, di-, and trisulfur compounds FC(O)SCl, FC(O)SSCH(3), and FC(O)SSSC(O)F. After optimizations of the structure for stable conformers at different levels of theory, a complete theoretical study involving the calculation of the ionization energies using orbital valence Green's functional (OVGF) was performed. Calculations of radical-cationic forms were carried out in order to compare their properties with those of the neutral molecules. The first IP values are 10.7, 9.0, and 10.5 eV for FC(O)SCl, FC(O)SSCH(3), and FC(O)SSSC(O)F, respectively. The groups bonded to the S atom mainly influence the ionizations originating from the sulfur lone pairs. A wide electronic delocalization in the FC(O)S moiety can be deduced from experimental and theoretical results, which leads to a strong energetic stabilization of the n' '(S) (sulfur lone pair pi orbital). Other conclusions relate to effects on the substituents attached to the S atom and the importance of the molecular planarity in the orbital stabilization of the FC(O)S moiety for the neutral molecules. It is worthwhile mentioning that FC(O)SCl retains its planar structure after ionization, but drastic changes occur in the geometry of both FC(O)SSCH(3) and FC(O)SSSC(O)F. The FC(O)SSCH(3) molecule adopts a heavy atom planar structure after ionization. The FC(O)SSS moiety becomes a planar form after the ionization of the FC(O)SSSC(O)F molecule, whereas the second C(O)F group maintains its original conformation with respect to the SSS group.     

The effects of oxygenation on the optical properties of dimethyl-dithienothiophenes: comparison between experiments and first-principles calculations

Modifications of the optical properties of dimethyl-dithienothiophenes due to the oxygen functionalization of the central sulfur atom are investigated. We have measured the absorption, photoluminescence (PL) and PL excitation spectra, the PL quantum efficiencies, and the PL decay times. These experimental results are interpreted and compared with first-principles time-dependent density-functional theory calculations, which predict, for the considered systems, excitation and emission energies with an accuracy of 0.1 eV. It is found that the oxygenation strongly changes optical and photophysical properties. These effects are related to the modifications of the energetically lowest-unoccupied molecular orbital and the energetically second highest occupied one, which change the relative position of the two lowest singlet and triplet excited states.     

New Monte Carlo method for the self-avoiding walk

We introduce a new Monte Carlo algorithm for the self-avoiding walk (SAW), and show that it is particularly efficient in the critical region (long chains). We also introduce new and more efficient statistical techniques. We employ these methods to extract numerical estimates for the critical parameters of the SAW on the square lattice. We find=2.63820 ± 0.00004 ± 0.00030=1.352 ± 0.006 ± 0.025v=0.7590 ± 0.0062 ± 0.0042 where the first error bar represents systematic error due to corrections to scaling (subjective 95% confidence limits) and the second bar represents statistical error (classical 95% confidence limits). These results are based on SAWs of average length 166, using 340 hours CPU time on a CDC Cyber 170–730. We compare our results to previous work and indicate some directions for future research.