cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
The GRB-Supernova Connection
Creators: name: Li, Li-Xin
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: Long-duration gamma-ray bursts (GRBs) are believed to be produced by the core collapse of massive stars and hence to be connected with supernovae (SNe). Indeed, for four pairs of GRBs and SNe, spectroscopically confirmed connection has been firmly established. For more than a dozen of GRBs the SN signature (the `red bump') has been detected in the afterglow lightcurves. Based on the four pairs of GRBs and SNe with spectroscopically confirmed connection a tight correlation was found between the peak spectral energy of GRBs and the peak bolometric luminosity of the underlying SNe. The recent discovery of X-ray flash 080109 associated with a normal core-collapse SN 2008D confirmed this relation and extended the GRB-SN connection. Progress on the GRB-SN connection is briefly reviewed.
description: 6 pages, 5 figures. To appear in the proceedings of "2008 Nanjing GRB conference", Nanjing, 23-27 June 2008
FFLO Superconductivity near the Antiferromagnetic Quantum Critical Point
Creators: name: Yanase, Youichi
Publisher: name: arXiv
Year: 2008
Subjects: subject: Superconductivity (cond-mat.supr-con)
subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: FOS: Physical sciences

description: The Fulde-Ferrel-Larkin-Ovchinnikov (FFLO) state near the antiferromagnetic quantum critical point (AFQCP) is investigated by analyzing the two dimensional Hubbard model on the basis of the fluctuation exchange (FLEX) approximation. The phase diagram against the magnetic field and temperature is compared with that obtained in the BCS theory. We discuss the influences of the antiferromagnetic spin fluctuation through the quasiparticle scattering, retardation effect, parity mixing and internal magnetic field. It is shown that the FFLO state is stable in the vicinity of AFQCP even though the quasiparticle scattering due to the spin fluctuation is destructive to the FFLO state. The large positive slope dH_{FFLO}/dT and the convex curvature (d^{2}H_{FFLO}/dT^{2} > 0) are obtained, where H_{FFLO} is the critical magnetic field for the second order phase transition from the uniform BCS state to the FFLO state. These results are consistent with the experimental results in CeCoIn_5. The possible magnetic transition in the FFLO state is examined.
description: To appear in J. Phys. Soc. Jpn. No.6
Rapidity-dependent chemical potentials in a statistical approach
Creators: name: Broniowski, Wojciech
name: Biedron, Barlomiej
Publisher: name: arXiv
Year: 2007
Subjects: subject: Nuclear Theory (nucl-th)
subject: Nuclear Experiment (nucl-ex)
subject: FOS: Physical sciences

description: We present a single-freeze-out model with thermal and geometric parameters dependent on the position within the fireball and use it to describe the rapidity and transverse-momentum spectra of pions, kaons, protons, and antiprotons measured at RHIC at 200 GeV} by BRAHMS. THERMINATOR is used to perform the necessary simulation, which includes all resonance decays. The result of the fit to the data is the expected growth of the baryon and strange chemical potentials with the spatial rapidityα_\parallel. The value of the baryon chemical potential at α_\parallel ~ 3 is about 200 MeV, i.e. lies in the range of the highest SPS energies. The chosen geometry of the fireball has a decreasing transverse size as the magnitude of α_\parallel is increased, which also corresponds to decreasing transverse flow. The strange chemical potential obtained from the fit to the K+/K- ratio is such that the local strangeness density in the fireball is compatible with zero. The resulting rapidity spectra of net protons are described qualitatively within the statistical approach. As a result of our study, the knowledge of the ``topography'' of the fireball is acquired, allowing for other analyses and predictions.
description: 6 pages, tals at SQM 2007
A novel L-band imaging search for giant planets in the Tucana and Beta Pictoris moving groups
Creators: name: Kasper, Markus
name: Apai, Daniel
name: Janson, Markus
name: Brandner, Wolfgang
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: The paper presents results from a small survey of 22 young, nearby stars that was designed to detect substellar companions and ultimately giant extrasolar planets down to Jupiter masses. The targets are members of the Tucana and Beta Pictoris moving groups apart from the somewhat older star HIP 71395 that has a radial velocity trend suggesting a massive planet in large orbit. The survey was carried out in the L-band using adaptive optics assisted imaging with NAOS-CONICA (NACO) at the VLT. The chosen observation wavelength is well suited to search for close companions around young stars and delivers unprecedented detection limits. The presented technique reaches some of the best sensitivities as of today and is currently the most sensitive method for the contrast limited detection of substellar companions that are cooler than about 1000K. The companion to 51 Eri, GJ 3305, was found to be a very close binary on an eccentric orbit. No substellar companions were found around the target stars, although the method permitted to detect companions down to a few Jupiter masses at orbital distances of typically 5 astronomical units. A planet with a mass >1 M_Jup at distances >5 AU around AU Mic can be excluded at the time of our observations. The absence of detected planets sets constraints on the frequency distribution and maximum orbital distance of giant exoplanets. For example, a radial distribution power law index of 0.2 in combination with a maximum orbital radius exceeding 30 AU can be rejected at a 90% confidence level.
description: 9 pages, 9 figures, accepted for publication in Astronomy & Astrophysics
Gertrud Bing, Warburg’s heiress. Engramma n.177 Editorial
Creators: name: Centanni, Monica; Sacco, Daniela
Publisher: name: La Rivista di Engramma
Year: 2020
Subjects: gertrud bing
warburg institute
mary hertz
eugenio garin
donald j gordon
warburg legacy

description: In recent times, a trend of rediscovery and enhancement of Gertrud Bing is under way, to which Engramma contributes with this issue dedicated to her. After the recent monographs by Philippe Despoix and Martin Treml (Paris 2019), and by Laura Tack (Leuwen 2020), with this issue we are providing new pieces to the reconstruction of the intellectual and human personality of Gertrud Bing. In the issue we publish: a Bibliography of works and critical literature (with a biographical note) by Monica Centanni and Elisa Del Prete, which is accompanied by the updating of the general Bibliography. Works by Aby Warburg and secondary Literature, edited by Lucrezia Not; Notes on the Warburg Library, a paper by Bing in 1934 following the transfer of the Library from Hamburg to London; Il Warburg Institute e gli studi umanistici (The Warburg Institute and the Humanities), a lecture given by Gertrud Bing at a conference held in Italy in 1956; a selection of the unpublished letters Gertrud Bing-Eugenio Garin (1949-1963), edited by Vittoria Magnoler; In memoriam Gertrud Bing by Donald James Gordon, edited and translated by Chiara Velicogna, and the anastatic edition of the Booklet published in 1965 by the Warburg Institute as a tribute to Gertrud Bing; The Unforgettable Gertrud Bing a personal memory by Kurt W. Forster of his 1959 meeting with her at the Warburg Institute; an extract from the new monograph on Warburg by Kurt Forster himself, Il metodo di Aby Warburg. L’antico dei gesti, il futuro della memoria, published in 2018 in Germany and now translated into Italian by Giulia Bordignon and published by Edizioni Engramma. Finally, an excerpt of the first monograph dedicated to the other woman who shared her days with Aby Warburg, the artist Mary Hertz (1866-1934): Mary Warburg, geb. Hertz. Ein kurzes Porträt der vergessenen Künstlerin, by Bärbel Hedinger and Michael Diers (München 2020).
Symmetries of Higher Dimensional Black Holes
Creators: name: Moncrief, Vincent
name: Isenberg, James
Publisher: name: arXiv
Year: 2008
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We prove that if a stationary, real analytic, asymptotically flat vacuum black hole spacetime of dimension $n\geq 4$ contains a non-degenerate horizon with compact cross sections that are transverse to the stationarity generating Killing vector field then, for each connected component of the black hole's horizon, there is a Killing field which is tangent to the generators of the horizon. For the case of rotating black holes, the stationarity generating Killing field is not tangent to the horizon generators and therefore the isometry group of the spacetime is at least two dimensional. Our proof relies on significant extensions of our earlier work on the symmetries of spacetimes containing a compact Cauchy horizon, allowing now for non closed generators of the horizon.
description: 57 pages
title: Ð¤Ð¸Ð·Ð¸ÑÐµÑÐºÐ°Ñ ÑÐµÐ¾ÑÐ¸Ñ Ð¿Ð»Ð°ÑÑÐ¸ÑÐ½Ð¾ÑÑÐ¸ Ð¸ Ð¿ÑÐ¾ÑÐ½Ð¾ÑÑÐ¸. Ð§. 1, ÐÐµÑÐµÐºÑÑ ÐºÑÐ¸ÑÑÐ°Ð»Ð»Ð¸ÑÐµÑÐºÐ¾Ð¹ ÑÐµÑÐµÑÐºÐ¸
title: ÐºÐ¾Ð½ÑÐ¿ÐµÐºÑ Ð»ÐµÐºÑÐ¸Ð¹
titleType: Subtitle
Creators: name: ÐÐ»Ð°Ð´Ð¸Ð¼Ð¸ÑÐ¾Ð², ÐÐ»Ð°Ð´Ð¸Ð¼Ð¸Ñ
Publisher: name: [ÐÐÐ]
Year: 1973
Subjects: ÐÐ»Ð°ÑÑÐ¸ÑÐ½Ð¾ÑÑÐ¸ ÑÐµÐ¾ÑÐ¸Ñ
ÐÑÐ¾ÑÐ½Ð¾ÑÑÐ¸ ÑÐµÐ¾ÑÐ¸Ñ

description: ÐÐ°ÑÑÐ¾ÑÑÐ°Ñ ÐºÐ½Ð¸Ð³Ð° ÑÐ²Ð»ÑÐµÑÑÑ Ð¿ÐµÑÐ²Ð¾Ð¹ ÑÐ°ÑÑÑÑ ÑÑÐµÐ±Ð½Ð¾Ð³Ð¾ Ð¿Ð¾ÑÐ¾Ð±Ð¸Ñ, ÑÐµÐ»Ñ ÐºÐ¾ÑÐ¾ÑÐ¾Ð³Ð¾ â ÑÐ¸ÑÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ðµ Ð¸Ð·Ð»Ð¾Ð¶ÐµÐ½Ð¸Ðµ Ð¾ÑÐ½Ð¾Ð²Ð½ÑÑ Ð´Ð¾ÑÑÐ¸Ð¶ÐµÐ½Ð¸Ð¹ Ð¸ Ð¿ÑÐ¾Ð±Ð»ÐµÐ¼ ÑÐµÐ¾ÑÐ¸Ð¸ Ð´ÐµÑÐµÐºÑÐ¾Ð² ÐºÑÐ¸ÑÑÐ°Ð»Ð»Ð¸ÑÐµÑÐºÐ¾Ð¹ ÑÐµÑÐµÑÐºÐ¸ Ð¸ ÐµÐµ Ð¿ÑÐ¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ð¹. Ð Ð¿ÐµÑÐ²Ð¾Ð¹ Ð³Ð»Ð°Ð²Ðµ ÑÐ°ÑÑÐ¼Ð¾ÑÑÐµÐ½Ñ Ð¿ÑÐ¾ÑÐ½Ð¾ÑÑÐ½ÑÐµ ÑÐ²Ð¾Ð¹ÑÑÐ²Ð° Ð¸Ð´ÐµÐ°Ð»ÑÐ½Ð¾Ð³Ð¾ Ð¸ ÑÐµÐ°Ð»ÑÐ½Ð¾Ð³Ð¾ ÐºÑÐ¸ÑÑÐ°Ð»Ð»Ð¾Ð² Ð¸ Ð¿ÑÐ¾Ð²ÐµÐ´ÐµÐ½Ð° Ð¾Ð±ÑÐ°Ñ ÐºÐ»Ð°ÑÑÐ¸ÑÐ¸ÐºÐ°ÑÐ¸Ñ Ð´ÐµÑÐµÐºÑÐ¾Ð² ÑÐµÑÐµÑÐºÐ¸. ÐÑÐ¾ÑÐ°Ñ Ð³Ð»Ð°Ð²Ð° Ð¿Ð¾ÑÐ²ÑÑÐµÐ½Ð° Ð¼Ð°ÐºÑÐ¾Â­ÑÐºÐ¾Ð¿Ð¸ÑÐµÑÐºÐ¸Ð¼, Ð° ÑÑÐµÑÑÑâÐ¼Ð¸ÐºÑÐ¾ÑÐºÐ¾Ð¿Ð¸ÑÐµÑÐºÐ¸Ð¼ Ð²Ð¾Ð¿ÑÐ¾ÑÐ°Ð¼ ÑÐµÐ¾ÑÐ¸Ð¸ Ð´Ð¸ÑÐ»Ð¾ÐºÐ°ÑÐ¸Ð¸. ÐÐ°ÐºÑÐ¾ÑÐºÐ¾Ð¿Ð¸ÑÐµÑÐºÐ¸Ðµ ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÑ Ð¿Ð¾Ð»ÑÑÐµÐ½Ñ Ð² Ð¿ÑÐ¸Ð±Ð»Ð¸Ð¶ÐµÐ½Ð¸Ð¸ ÑÐµÐ¾ÑÐ¸Ð¸ ÑÐ¿ÑÑÐ³Ð¾ÑÑÐ¸ Ð¸ ÐºÐ°ÑÐ°ÑÑÑÑ ÑÐ°ÐºÐ¸Ñ Ð²ÐµÐ»Ð¸ÑÐ¸Ð½, ÐºÐ°Ðº ÑÐ½ÐµÑ Ð³Ð¸Ñ Ð´Ð¸ÑÐ»Ð¾ÐºÐ°ÑÐ¸Ð¸, ÐµÐµ Ð¿Ð¾Ð»Ðµ Ð½Ð°Ð¿ÑÑÐ¶ÐµÐ½Ð¸Ð¹ Ð¸ Ñ. Ð´. Ð¯Ð´ÑÐ¾ Ð´Ð¸ÑÐ»Ð¾ÐºÐ°ÑÐ¸Ð¸ Ð¸ ÐµÐ³Ð¾ Ð²ÐºÐ»Ð°Ð´ Ð² ÑÐ¸Ð·Ð¸ÑÐµÑÐºÐ¸Ðµ ÑÑÑÐµÐºÑÑ Ð¾Ð¿Ð¸ÑÐ°Ð½Ñ Ð² Ð¼Ð¸ÐºÑÐ¾ÑÐºÐ¾Ð¿Ð¸ÑÐµÑÐºÐ¸Ñ ÑÐµÑÐ¼Ð¸Ð½Ð°Ñ Ð²Ð·Ð°Ð¸Ð¼Ð¾Ð´ÐµÐ¹ÑÑÐ²Ð¸Ñ Ð½ÐµÐ±Ð¾Ð»ÑÑÐ¸Ñ Ð³ÑÑÐ¿Ð¿ Ð°ÑÐ¾Ð¼Ð¾Ð². ÐÑÐ¸ Ð¸Ð·Ð»Ð¾Ð¶ÐµÐ½Ð¸Ð¸ Ð¾ÑÐ½Ð¾Ð²Ð½Ð¾Ðµ Ð²Ð½Ð¸Ð¼Ð°Ð½Ð¸Ðµ ÑÐ´ÐµÐ»ÑÐ»Ð¾ÑÑ ÑÐ¸Ð·Ð¸ÑÐµÑÐºÐ¸Ð¼ Ð°ÑÐ¿ÐµÐºÑÐ°Ð¼ ÑÐ°ÑÑÐ¼Ð°ÑÑÐ¸Ð²Ð°ÐµÐ¼ÑÑ Ð¿ÑÐ¾Ð±Ð»ÐµÐ¼. ÐÐ½Ð¸Ð³Ð° ÑÐ°ÑÑÑÐ¸ÑÐ°Ð½Ð° Ð½Ð° ÑÑÑÐ´ÐµÐ½ÑÐ¾Ð², Ð°ÑÐ¿Ð¸ÑÐ°Ð½ÑÐ¾Ð² Ð¸ Ð¼Ð¾Ð»Ð¾Ð´ÑÑ Ð¸Ð½Ð¶ÐµÐ½ÐµÑÐ¾Ð² Ð¼ÐµÑÐ°Ð»Ð»ÑÑÐ³Ð¸ÑÐµÑÐºÐ¸Ñ, ÑÐ¸Ð·Ð¸ÐºÐ¾-Ð¼ÐµÑÐ°Ð»Ð»ÑÑÐ³Ð¸ÑÐµÑÐºÐ¸Ñ Ð¸ Ð¼Ð°ÑÐµÑÐ¸Ð°Ð»Ð¾Ð²ÐµÐ´ÑÐµÑÐºÐ¸Ñ ÑÐ¿ÐµÑÐ¸Ð°Ð»ÑÐ½Ð¾ÑÑÐµÐ¹.
DEP Bulletin - 2024 - Volume 48 Issue 20
Creators: name: No Name Supplied
Publisher: name: No Publisher Supplied
Year: 2024

description: The DEP bulletin is a semi-monthly publication of the New Jersey Department of Environmental Protection. It contains a list of construction permit applications recently filed or acted upon by the Department along with a calendar of events of interest, a schedule of public hearings, and Environmental Impact Statements acted upon during the period.
Influence of the macropore structure on heat and mass transfer inside catalytic washcoats
Creators: name: Kutscherauer, Martin
name: Wehinger, Gregor D.
Publisher: name: Karlsruher Institut für Technologie (KIT)
Year: 2024

description: The performance of catalytic coated monolith reactors, technically used in the reduction of pollutants and greenhouse gases, is strongly limited by heat and mass transport within the porous washcoat. Spatially resolved multiscale modelling improves the understanding of the processes inside the reactor and allows to optimize the catalyst design. In this contribution an approach to model the fluid flow inside an overflowed macroscopic pore structure coupled with transport and reaction within the mesoporous catalyst is presented. The simulations are used to study the impact of the macroscopic pore structure on transport phenomena and catalytic reaction.
Comprehensive Review of Fundamental Biochemical Techniques: Integration of Quantification, Separation, and Analytical Methods in Biomolecular Studies
Creators: name: Burhade, Durvesh
name: Jain, Paridhi
name: Saini, Lakshay
name: Mathur, Vedant
name: Modi, Yash
Publisher: name: Open Access 2025
Year: 2025
Subjects: subject: Biochemistry

description: This review paper systematically integrates ten fundamental biochemical experiments, each designed to explore essential techniques in biomolecular quantification, separation, and analysis. The experiments encompass a broad spectrum of methodologies, including solution preparation and stoichiometric calculations, determination of absorption maxima (λmax) via spectrophotometry, acid-base titration, quantitative estimation of carbohydrates using Dinitrosalicylic acid (DNS), and protein quantification by Lowry’s method. Additionally, the review covers the differentiation of reducing and non-reducing sugars, the assessment of DNA purity and concentration, and the separation of amino acids through paper and thin-layer chromatography (TLC). The first segment emphasizes the importance of precise solution preparation, detailing key stoichiometric concepts such as molarity, molality, and dilution. Spectrophotometric techniques are then explored, with a focus on Beer-Lambert’s law and its application in determining the concentration of biomolecules like potassium permanganate (KMnO₄). An acid-base titration is examined for its role in quantifying unknown concentrations, using the neutralization reaction between acetic acid and sodium hydroxide (NaOH) as a model. The review further delves into carbohydrate and protein estimation, highlighting colorimetric assays such as the DNS method for sugars and the Lowry assay for proteins, which are pivotal in nutritional and clinical research. The latter experiments investigate the classification of sugars based on their reducing properties, employing Fehling’s and Benedict’s tests, and the assessment of DNA purity using UV spectrophotometry, where A260/A280 ratios serve as critical indicators of sample integrity. Finally, chromatographic techniques—paper chromatography and TLC—are discussed for their efficacy in separating and identifying amino acids based on polarity and retention factors (Rf). Collectively, these experiments underscore the interdisciplinary nature of biochemistry, with applications spanning molecular biology, medical diagnostics, pharmaceuticals, and biotechnology. By integrating theoretical principles with hands-on laboratory practices, this review not only reinforces foundational knowledge but also equips researchers with the analytical tools necessary for advanced biomolecular studies. The synthesis of these techniques highlights their synergistic potential in driving innovation and discovery in the life sciences.
Effective Pruefer Angles and Relative Oscillation Criteria
Creators: name: Krueger, Helge
name: Teschl, Gerald
Publisher: name: arXiv
Year: 2007
Subjects: subject: Spectral Theory (math.SP)
subject: Mathematical Physics (math-ph)
subject: FOS: Mathematics
subject: FOS: Physical sciences
subject: 34C10, 34B24 (Primary); 34L20, 34L05 (Secondary)

description: We present a streamlined approach to relative oscillation criteria based on effective Pruefer angles adapted to the use at the edges of the essential spectrum. Based on this we provided a new scale of oscillation criteria for general Sturm-Liouville operators which answer the question whether a perturbation inserts a finite or an infinite number of eigenvalues into an essential spectral gap. As a special case we recover the Gesztesy-Uenal criterion (which works below the spectrum and contains classical criteria by Kneser, Hartman, Hille, and Weber) and the well-known results by Rofe-Beketov including the extensions by Schmidt.
description: 22 pages
Open Research Project of Pure Biotechnology Engineering in the segment of Biochemistry Principles
Creators: name: Burhade, Durvesh
name: Jain, Paridhi
name: Saini, Lakshay
Publisher: name: Open Access under MIT License
Year: 2024
Subjects: subject: Biochemistry

description: This project includes nine experiments that explore important concepts and techniques in biochemistry. We started with basic laboratory practices, such as preparing different solutions (molar, molal, and normal) and learning about dilution, density, specific gravity, and limiting reagents. We then determined the absorption maxima (λmax) of a solution to study its light absorption and performed a titration of a weak acid with a strong base to understand acid-base reactions. Quantitative estimation of carbohydrates using dinitrosalicylic acid helped us measure sugar content, while Lowry’s method was used to estimate the amount of protein in a sample. Other experiments included identifying reducing and non-reducing sugars, analyzing DNA to check its concentration and purity, and separating amino acids using paper and thin-layer chromatography. These experiments taught us how to work with biomolecules and use various biochemical techniques effectively.
Molecular Gas in NUclei of GAlaxies (NUGA). X. The Seyfert 2 galaxy NGC 3147
Creators: name: Casasola, V.
name: Combes, F.
name: Garcia-Burillo, S.
name: Hunt, L. K.
name: Leon, S.
name: Baker, A. J.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: We present CO(1-0) and CO(2-1) observations of the SA(rs)bc Seyfert 2 galaxy NGC 3147, obtained with the IRAM interferometer at 1\farcs9 $\times$1\farcs6 and 1\farcs6 $\times$1\farcs4 resolutions, respectively. A central peak seen mainly in CO(2-1) and a ring-like structure at $r \simeq 10$\arcsec $\sim$2 kpc dominate the CO maps. In CO(1-0) an outer spiral at $r \simeq 20$\arcsec $\sim$4 kpc is also detected, not visible in CO(2-1) emission because it falls outside the field-of-view of the primary beam. The kinematics of the molecular structures are quite regular, although there is evidence for local non-circular or streaming motions. We show that the molecular gas distribution is similar but not exactly identical to those of star formation tracers. Using a NIR image obtained with adaptive optics at the CFHT Telescope, we identify a weak bar in NGC 3147, which is classified as non-barred galaxy in the optical. We then compute the gravity torques exerted by this stellar bar on the gas. We find that the gas inside the inner CO ring is subject to a net negative torque and loses angular momentum. This is expected for gas at the UHR, just inside the corotation resonance of the stellar bar. In contrast, the gas outside corotation, in the spiral arms comprising the outer spiral structure, suffers positive torques and is driven outwards. We conclude that some molecular gas is presently flowing into the central region, since we find negative torques down to the resolution limit of our images.
description: 17 pages, 23 figures, accepted for publication in A&A
The Molecular Ridge Close to 30 Doradus in the Large Magellanic Cloud
Creators: name: Ott, Juergen
name: Wong, Tony
name: Pineda, Jorge L.
name: Hughes, Annie
name: Muller, Erik
name: Li, Zhi-Yun
name: Wang, Min
name: Staveley-Smith, Lister
name: Fukui, Yasuo
name: Weiss, Axel
name: Henkel, Christian
name: Klein, Ulrich
Publisher: name: arXiv
Year: 2008
Subjects: subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: With the ATNF Mopra telescope we are performing a survey in the 12CO(1-0) line to map the molecular gas in the Large Magellanic Cloud (LMC). For some regions we also obtained interferometric maps of the high density gas tracers HCO+ and HCN with the Australia Telescope Compact Array (ATCA). Here we discuss the properties of the elongated molecular complex that stretches about 2 kpc southward from 30 Doradus. Our data suggests that the complex, which we refer to as the ``molecular ridge,'' is not a coherent feature but consists of many smaller clumps that share the same formation history. Likely molecular cloud formation triggers are shocks and shearing forces that are present in the surrounding south-eastern HI overdensity region, a region influenced by strong ram pressure and tidal forces. The molecular ridge is at the western edge of the the overdensity region where a bifurcated velocity structure transitions into a single disk velocity component. We find that the 12CO(1-0) and HI emission peaks in the molecular ridge are typically near each other but never coincide. A likely explanation is the conversion of warmer, low-opacity HI to colder, high-opacity HI from which H2 subsequently forms. On smaller scales, we find that very dense molecular gas, as traced by interferometric HCO+ and HCN maps, is associated with star formation along shocked filaments and with rims of expanding shell-like structures, both created by feedback from massive stars.
description: accepted for publication in the Publications of the Astronomical Society of Australia
A Universal Operator Theoretic Framework for Quantum Fault Tolerance
Creators: name: Gilbert, Gerald
name: Hamrick, Michael
name: Weinstein, Yaakov S.
name: Aggarwal, Vaneet
name: Calderbank, A. Robert
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: In this paper we introduce a universal operator theoretic framework for quantum fault tolerance. This incorporates a top-down approach that implements a system-level criterion based on specification of the full system dynamics, applied at every level of error correction concatenation. This leads to more accurate determinations of error thresholds than could previously be obtained. This is demonstrated both formally and with an explicit numerical example. The basis for our approach is the Quantum Computer Condition (QCC), an inequality governing the evolution of a quantum computer. We show that all known coding schemes are actually special cases of the QCC. We demonstrate this by introducing a new, operator theoretic form of entanglement assisted quantum error correction, which incorporates as special cases all known error correcting protocols, and is itself a special case of the QCC.
description: v3: 8 pages, 3 figures, explicit numerical example comparing OQFT to QFT added
Multiparty quantum secret sharing with pure entangled states and decoy photons
Creators: name: Zhou, Ping
name: Li, Xi-Han
name: Liang, Yu-Jie
name: Deng, Fu-Guo
name: Zhou, Hong-Yu
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We present a scheme for multiparty quantum secret sharing of a private key with pure entangled states and decoy photons. The boss, say Alice uses the decoy photons, which are randomly in one of the four nonorthogonal single-photon states, to prevent a potentially dishonest agent from eavesdropping freely. This scheme requires the parties of communication to have neither an ideal single-photon quantum source nor a maximally entangled one, which makes this scheme more convenient than others in a practical application. Moreover, it has the advantage of having high intrinsic efficiency for qubits and exchanging less classical information in principle.
description: 5 pages, no figures
Cosmological simulations of structure formation and the Vlasov equation
Creators: name: Joyce, Michael
Publisher: name: arXiv
Year: 2008
Subjects: subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Astrophysics (astro-ph)
subject: FOS: Physical sciences

description: In cosmology numerical simulations of structure formation are now of central importance, as they are the sole instrument for providing detailed predictions of current cosmological models for a whole class of important constraining observations. These simulations are essentially molecular dynamics simulations of N (>> 1), now up to of order several billion) particles interacting through their self-gravity. While their aim is to produce the Vlasov limit, which describes the underlying (``cold dark matter'') models, the degree to which they actually do produce this limit is currently understood, at best, only very qualitatively, and there is an acknowledged need for ``a theory of discreteness errors''. In this talk I will describe, for non-cosmologists, both the simulations and the underlying theoretical models, and will then focus on the issue of discreteness, describing some recent progress in addressing this question quantitatively.
description: 8 pages, proceedings (refereed) of "Vlasovia 2006", 2nd int'l workshop on the theory and applications of the Vlasov equation, Florence, September 2006. A more detailed report on recent progress may be found at arXiv:0805.1357
title: Ð¤Ð¸Ð·Ð¸ÑÐµÑÐºÐ°Ñ ÑÐµÐ¾ÑÐ¸Ñ Ð¿Ð»Ð°ÑÑÐ¸ÑÐ½Ð¾ÑÑÐ¸ Ð¸ Ð¿ÑÐ¾ÑÐ½Ð¾ÑÑÐ¸. Ð§. 2, Ð¢Ð¾ÑÐµÑÐ½ÑÐµ Ð´ÐµÑÐµÐºÑÑ. Ð£Ð¿ÑÐ¾ÑÐ½ÐµÐ½Ð¸Ðµ Ð¸ Ð²Ð¾Ð·Ð²ÑÐ°Ñ
title: ÐºÐ¾Ð½ÑÐ¿ÐµÐºÑ Ð»ÐµÐºÑÐ¸Ð¹
titleType: Subtitle
Creators: name: ÐÐ»Ð°Ð´Ð¸Ð¼Ð¸ÑÐ¾Ð², ÐÐ»Ð°Ð´Ð¸Ð¼Ð¸Ñ
Publisher: name: ÐÐÐ
Year: 1975
Subjects: ÐÐ»Ð°ÑÑÐ¸ÑÐ½Ð¾ÑÑÐ¸ ÑÐµÐ¾ÑÐ¸Ñ
ÐÑÐ¾ÑÐ½Ð¾ÑÑÐ¸ ÑÐµÐ¾ÑÐ¸Ñ

description: ÐÑÐ¾ÑÐ°Ñ ÑÐ°ÑÑÑ ÐºÑÑÑÐ° Ð¿Ð¾ÑÐ²ÑÑÐµÐ½Ð° Ð±Ð¾Ð»ÐµÐµ ÑÐ»Ð¾Ð¶Ð½ÑÐ¼ Ð¸ Ð¼ÐµÐ½ÐµÐµ
ÑÐ°Ð·Ð²Ð¸ÑÑÐ¼ ÑÐ°Ð·Ð´ÐµÐ»Ð°Ð¼ ÑÐµÐ¾ÑÐ¸Ð¸ Ð¿Ð»Ð°ÑÑÐ¸ÑÐ½Ð¾ÑÑÐ¸ Ð¸ Ð¿ÑÐ¾ÑÐ½Ð¾ÑÑÐ¸ â ÑÐ¾ÑÐµÑÐ½ÑÐ¼
Ð´ÐµÑÐµÐºÑÐ°Ð¼ Ð¸ ÐºÐ¾Ð»Ð»ÐµÐºÑÐ¸Ð²Ð½ÑÐ¼ ÑÐ²Ð¾Ð¹ÑÑÐ²Ð°Ð¼ ÑÐ¸ÑÑÐµÐ¼ Ð´Ð¸ÑÐ»Ð¾ÐºÐ°ÑÐ¸Ð¹Â»
Ð¾Ð±ÑÑÑÐ½ÐµÐ½Ð¸Ñ Ð¼Ð°ÐºÑÐ¾ÑÐºÐ¾Ð¿Ð¸ÑÐµÑÐºÐ¸Ñ ÑÑÑÐµÐºÑÐ¾Ð² ÑÐ¿ÑÐ¾ÑÐ½ÐµÐ½Ð¸Ñ, Ð²Ð¾Ð·Ð²ÑÐ°ÑÐ°
Ð¸ ÑÐ°Ð·ÑÑÑÐµÐ½Ð¸Ñ Ð½Ð° Ð¼Ð¸ÐºÑÐ¾ÑÐºÐ¾Ð¿Ð¸ÑÐµÑÐºÐ¾Ð¼ ÑÑÐ¾Ð²Ð½Ðµ. Ð£ÑÐµÐ±Ð½Ð¸ÐºÐ¸ Ð¸ ÑÑÐµÐ±Ð½ÑÐµ
Ð¿Ð¾ÑÐ¾Ð±Ð¸Ñ Ð¿Ð¾ ÑÑÐ¾Ð¼Ñ Ð²Ð¾Ð¿ÑÐ¾ÑÑ, Ð´Ð¾ÑÑÑÐ¿Ð½ÑÐµ ÑÑÑÐ´ÐµÐ½ÑÐ°Ð¼, Ð¿ÑÐ°ÐºÑÐ¸ÑÐµÑÐºÐ¸
Ð¾ÑÑÑÑÑÑÐ²ÑÑÑ.
ÐÑÐ¾ÑÐ°Ñ ÑÐ°ÑÑÑ ÐºÑÑÑÐ° Ð»ÐµÐºÑÐ¸Ð¹ Ð½Ð°Ð¿Ð¸ÑÐ°Ð½Ð° ÑÐ°Ðº, ÑÑÐ¾Ð±Ñ ÑÐµÐ»Ð¾Ð²ÐµÐº,
Ð·Ð½Ð°ÐºÐ¾Ð¼ÑÐ¹ Ñ Ð¾Ð±ÑÐ¸Ð¼Ð¸ Ð¾ÑÐ½Ð¾Ð²Ð°Ð¼Ð¸ ÑÐµÐ¾ÑÐ¸Ð¸ Ð´Ð¸ÑÐ»Ð¾ÐºÐ°ÑÐ¸Ð¹, Ð¼Ð¾Ð³ ÐµÐµ
ÑÐ¸ÑÐ°ÑÑ Ð² Ð·Ð½Ð°ÑÐ¸ÑÐµÐ»ÑÐ½Ð¾Ð¹ ÑÑÐµÐ¿ÐµÐ½Ð¸ Ð½ÐµÐ·Ð°Ð²Ð¸ÑÐ¸Ð¼Ð¾ Ð¾Ñ Ð¿ÐµÑÐ²Ð¾Ð¹ ÑÐ°ÑÑÐ¸.
ÐÐ½Ð¸Ð³Ð° ÑÐ°ÑÑÑÐ¸ÑÐ°Ð½Ð° Ð½Ð° ÑÑÑÐ´ÐµÐ½ÑÐ¾Ð² ÑÑÐ°ÑÑÐ¸Ñ ÐºÑÑÑÐ¾Ð², Ð°ÑÐ¿Ð¸Ñ
Interpolation sequences for the Bernstein algebra
Creators: name: Massaneda, Xavier
name: Ortega-Cerdà, Joaquim
Publisher: name: arXiv
Year: 2008
Subjects: subject: Complex Variables (math.CV)
subject: FOS: Mathematics
subject: 30E05, 42A85

description: We give a description, in analytic and geometric terms, of the interpolation sequences for the algebra of entire functions of exponential type which are bounded on the real line.
Numerical analysis of a nonlocal parabolic problem resulting from thermistor problem
Creators: name: Ammi, Moulay Rchid Sidi
name: Torres, Delfim F. M.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Analysis of PDEs (math.AP)
subject: Numerical Analysis (math.NA)
subject: FOS: Mathematics
subject: 65M60; 65N30; 65N15

description: We analyze the spatially semidiscrete piecewise linear finite element method for a nonlocal parabolic equation resulting from thermistor problem. Our approach is based on the properties of the elliptic projection defined by the bilinear form associated with the variational formulation of the finite element method. We assume minimal regularity of the exact solution that yields optimal order error estimate. The full discrete backward Euler method and the Crank-Nicolson-Galerkin scheme are also considered. Finally, a simple algorithm for solving the fully discrete problem is proposed.
Controlled Teleportation of an Arbitrary Multi-Qudit State in a General Form with d-Dimensional Greenberger-Horne-Zeilinger States
Creators: name: Li, Xi-Han
name: Deng, Fu-Guo
name: Zhou, Hong-Yu
Publisher: name: arXiv
Year: 2007
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: A general scheme for controlled teleportation of an arbitrary multi-qudit state with d-dimensional Greenberger-Horne-Zeilinger (GHZ) states is proposed. For an arbitrary m-qudit state, the sender Alice performs m generalized Bell-state projective measurements on her 2m qudits and the controllers need only take some single-particle measurements. The receiver Charlie can reconstruct the unknown m-qudit state by performing some single-qudit unitary operations on her particles if she cooperates with all the controllers. As the quantum channel is a sequence of maximally entangled GHZ states, the intrinsic efficiency for qudits in this scheme approaches 100% in principle.
description: 3 pages, 1 figure
Proceedings Third Workshop on Formal Methods for Autonomous Systems
Creators: name: Farrell, Marie
name: Luckcuck, Matt
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Artificial Intelligence (cs.AI)
subject: Robotics (cs.RO)
subject: FOS: Computer and information sciences

description: Autonomous systems are highly complex and present unique challenges for the application of formal methods. Autonomous systems act without human intervention, and are often embedded in a robotic system, so that they can interact with the real world. As such, they exhibit the properties of safety-critical, cyber-physical, hybrid, and real-time systems. This EPTCS volume contains the proceedings for the third workshop on Formal Methods for Autonomous Systems (FMAS 2021), which was held virtually on the 21st and 22nd of October 2021. Like the previous workshop, FMAS 2021 was an online, stand-alone event, as an adaptation to the ongoing COVID-19 restrictions. Despite the challenges this brought, we were determined to build on the success of the previous two FMAS workshops. The goal of FMAS is to bring together leading researchers who are tackling the unique challenges of autonomous systems using formal methods, to present recent and ongoing work. We are interested in the use of formal methods to specify, model, or verify autonomous and/or robotic systems; in whole or in part. We are also interested in successful industrial applications and potential future directions for this emerging application of formal methods.
Magic wavelengths for the np-ns transitions in alkali-metal atoms
Creators: name: Arora, Bindiya
name: Safronova, M. S.
name: Clark, Charles W.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: Extensive calculations of the electric-dipole matrix elements in alkali-metal atoms are conducted using the relativistic all-order method. This approach is a linearized version of the coupled-cluster method, which sums infinite sets of many-body perturbation theory terms. All allowed transitions between the lowest ns, np_1/2, np_3/2 states and a large number of excited states are considered in these calculations and their accuracy is evaluated. The resulting electric-dipole matrix elements are used for the high-precision calculation of frequency-dependent polarizabilities of the excited states of alkali-metal atoms. We find magic wavelengths in alkali-metal atoms for which the ns and np_1/2 and np_3/2 atomic levels have the same ac Stark shifts, which facilitates state-insensitive optical cooling and trapping.
description: 12 pages, 8 figures
An Algorithm for the Continuous Morlet Wavelet Transform
Creators: name: Buessow, Richard
Publisher: name: arXiv
Year: 2007
Subjects: subject: Data Analysis, Statistics and Probability (physics.data-an)
subject: FOS: Physical sciences

description: This article consists of a brief discussion of the energy density over time or frequency that is obtained with the wavelet transform. Also an efficient algorithm is suggested to calculate the continuous transform with the Morlet wavelet. The energy values of the Wavelet transform are compared with the power spectrum of the Fourier transform. Useful definitions for power spectra are given. The focus of the work is on simple measures to evaluate the transform with the Morlet wavelet in an efficient way. The use of the transform and the defined values is shown in some examples.
description: 15 pages, 4 figures, revised for MSSP
Charging Up the Functional Bootstrap
Creators: name: Ghosh, Kausik
name: Kaviraj, Apratim
name: Paulos, Miguel F.
Publisher: name: arXiv
Year: 2021
Subjects: subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We revisit the problem of bootstrapping CFT correlators of charged fields. After discussing in detail how bounds for uncharged fields can be recycled to the charged case, we introduce two sets of analytic functional bases for correlators on the line. The first, which we call "simple", is essentially a direct sum of analytic functionals for the uncharged case. We use it to establish very general bounds on the OPE density appearing in charged correlators. The second basis is dual to generalized free fields and we explain how it is related to a charged version of the Polyakov bootstrap. We apply these functionals to map out the space of correlators and obtain new improved bounds on the 3d Ising twist defect.
description: 44 pages, 8 figures, typos corrected, minor details added, references added
How cold is cold dark matter? Small scales constraints from the flux power spectrum of the high-redshift Lyman-alpha forest
Creators: name: Viel, M.
name: Becker, G. D.
name: Bolton, J. S.
name: Haehnelt, M. G.
name: Rauch, M.
name: Sargent, W. L. W.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Astrophysics (astro-ph)
subject: High Energy Physics - Theory (hep-th)
subject: FOS: Physical sciences

description: We present constraints on the mass of warm dark matter (WDM) particles derived from the Lyman-alpha flux power spectrum of 55 high- resolution HIRES spectra at 2.0 < z < 6.4. From the HIRES spectra, we obtain a lower limit of mwdm > 1.2 keV 2 sigma if the WDM consists of early decoupled thermal relics and mwdm > 5.6 keV (2 sigma) for sterile neutrinos. Adding the Sloan Digital Sky Survey Lyman-alpha flux power spectrum, we get mwdm > 4 keV and mwdm > 28 keV (2 sigma) for thermal relics and sterile neutrinos. These results improve previous constraints by a factor two.
description: Some issues clarified (especially resolution related). Conclusions unchanged. Accepted version by PRL
Metallic state in the vicinity of molecular orbital crystallization in the d$^1$ thiospinel ZnTi$_2$S$_4$ prepared via a reductive ion-exchange reaction
Creators: name: Haraguchi, Yuya
name: Arikai, Hiroki
name: Katori, Hiroko Aruga
Publisher: name: arXiv
Year: 2021
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Materials Science (cond-mat.mtrl-sci)
subject: FOS: Physical sciences

description: A novel Ti3+-based thiospinel ZnTi2S4 is successfully synthesized via a low-temperature ion-exchange reaction. ZnTi2S4 shows a signature of metallic ground state evidenced by a contribution of conduction electrons in the heat capacity and Pauli-like paramagnetic susceptibility. These observations contrast to the electronic state of similar Ti3+-based spinel MgTi2O4 exhibiting the metal-insulator transition associated with a molecular orbital crystallization (MOC). Furthermore, the magnetic susceptibility of ZnTi2S4 shows a pseudogap-like behavior indicated by a vast peak in the magnetic susceptibility around 110 K, likely originating from the MOC fluctuation. The origin of the difference in the electronic states of MgTi2O4 and ZnTi2S4 would be due to the different magnitude of overlap between Ti 3d and p orbitals (O: 2p and S: 3p). The presence of a MOC state in the close vicinity of insulator-metal transition may suggest the importance of itinerancy in a MOC.
description: 5 pages, 4 figures, accepted for publication in Journal of Physics: Condensed Matter
Comparing seven methods for state-of-health time series prediction for the lithium-ion battery packs of forklifts
Creators: name: Huotari, Matti
name: Arora, Shashank
name: Malhi, Avleen
name: Främling, Kary
Publisher: name: arXiv
Year: 2021
Subjects: subject: Machine Learning (cs.LG)
subject: FOS: Computer and information sciences

description: A key aspect for the forklifts is the state-of-health (SoH) assessment to ensure the safety and the reliability of uninterrupted power source. Forecasting the battery SoH well is imperative to enable preventive maintenance and hence to reduce the costs. This paper demonstrates the capabilities of gradient boosting regression for predicting the SoH timeseries under circumstances when there is little prior information available about the batteries. We compared the gradient boosting method with light gradient boosting, extra trees, extreme gradient boosting, random forests, long short-term memory networks and with combined convolutional neural network and long short-term memory networks methods. We used multiple predictors and lagged target signal decomposition results as additional predictors and compared the yielded prediction results with different sets of predictors for each method. For this work, we are in possession of a unique data set of 45 lithium-ion battery packs with large variation in the data. The best model that we derived was validated by a novel walk-forward algorithm that also calculates point-wise confidence intervals for the predictions; we yielded reasonable predictions and confidence intervals for the predictions. Furthermore, we verified this model against five other lithium-ion battery packs; the best model generalised to greater extent to this set of battery packs. The results about the final model suggest that we were able to enhance the results in respect to previously developed models. Moreover, we further validated the model for extracting cycle counts presented in our previous work with data from new forklifts; their battery packs completed around 3000 cycles in a 10-year service period, which corresponds to the cycle life for commercial Nickel-Cobalt-Manganese (NMC) cells.
description: 16 pages, 10 figures and 10 tables
Teleportation in the presence of common bath decoherence at the transmitting station
Creators: name: Rao, D. D. Bhaktavatsala
name: Panigrahi, P. K.
name: Mitra, Chiranjib
Publisher: name: arXiv
Year: 2008
Subjects: subject: Quantum Physics (quant-ph)
subject: FOS: Physical sciences

description: We investigate the effect of common bath decoherence on the qubits of Alice in the usual teleportation protocol. The system bath interaction is studied under the central spin model, where the qubits are coupled to the bath spins through isotropic Heisenberg interaction. We have given a more generalized representation of the protocol in terms of density matrices and calculated the average fidelity of the teleported state for different Bell state measurements performed by Alice. The common bath interaction differentiates the outcome of various Bell state measurements made by Alice. There will be a high fidelity teleportation for a singlet measurement made by Alice when both the qubits of Alice interact either ferromagnetically or antiferromagnetically with bath. In contrast if one of the Alice's qubits interact ferromagnetically and the other anti-ferromagnetically then measurement of Bell states belonging to the triplet sector will give better fidelity. We have also evaluated the average fidelity when Alice prefers non-maximally entangled states as her basis for measurement.
description: 4 pages
Electronic states and pairing symmetry in the two-dimensional 16 band d-p model for iron-based superconductor
Creators: name: Yanagi, Y.
name: Yamakawa, Y.
name: Ōno, Y.
Publisher: name: arXiv
Year: 2008
Subjects: subject: Strongly Correlated Electrons (cond-mat.str-el)
subject: Superconductivity (cond-mat.supr-con)
subject: FOS: Physical sciences

description: The electronic states of the FeAs plane in iron-based superconductors are investigated on the basis of the two-dimensional 16-band d-p model, where the tight-binding parameters are determined so as to fit the band structure obtained by the density functional calculation for LaFeAsO. The model includes the Coulomb interaction on a Fe site: the intra- and inter-orbital direct terms U and U', the exchange coupling J and the pair-transfer J'. Within the random phase approximation (RPA), we discuss the pairing symmetry of possible superconducting states including s-wave and d-wave pairing on the U'-J plane.
description: 2 pages, 4 figures; Proceedings of the Int. Symposium on Fe-Oxipnictide Superconductors (Tokyo, 28-29th June 2008)
Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant
Creators: name: Magaud, Nicolas
Publisher: name: arXiv
Year: 2021
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Software Engineering (cs.SE)
subject: FOS: Computer and information sciences

description: Recently, we developed an automated theorem prover for projective incidence geometry. This prover, based on a combinatorial approach using matroids, proceeds by saturation using the matroid rules. It is designed as an independent tool, implemented in C, which takes a geometric configuration as input and produces as output some Coq proof scripts: the statement of the expected theorem, a proof script proving the theorem and possibly some auxiliary lemmas. In this document, we show how to embed such an external tool as a plugin in Coq so that it can be used as a simple tactic.
description: In Proceedings PxTP 2021, arXiv:2107.01544
Model Checking One-clock Priced Timed Automata
Creators: name: Bouyer, Patricia
name: Larsen, Kim G.
name: Markey, Nicolas
Publisher: name: arXiv
Year: 2008
Subjects: subject: Logic in Computer Science (cs.LO)
subject: Computational Complexity (cs.CC)
subject: Computer Science and Game Theory (cs.GT)
subject: FOS: Computer and information sciences
subject: F.1.1; F.3.1

description: We consider the model of priced (a.k.a. weighted) timed automata, an extension of timed automata with cost information on both locations and transitions, and we study various model-checking problems for that model based on extensions of classical temporal logics with cost constraints on modalities. We prove that, under the assumption that the model has only one clock, model-checking this class of models against the logic WCTL, CTL with cost-constrained modalities, is PSPACE-complete (while it has been shown undecidable as soon as the model has three clocks). We also prove that model-checking WMTL, LTL with cost-constrained modalities, is decidable only if there is a single clock in the model and a single stopwatch cost variable (i.e., whose slopes lie in {0,1}).
description: 28 pages
Charged membrane as a source for repulsive gravity
Creators: name: Belinski, V.
name: Pizzi, M.
name: Paolino, A.
Publisher: name: arXiv
Year: 2008
Subjects: subject: General Relativity and Quantum Cosmology (gr-qc)
subject: FOS: Physical sciences

description: We demonstrate an alternative (with respect to the ones existing in literature) and more habitual for physicists derivation of exact solution of the Einstein-Maxwell equations for the motion of a charged spherical membrane with tangential tension. We stress that the physically acceptable range of parameters for which the static and stable state of the membrane producing the Reissner-Nordstrom (RN) repulsive gravity effect exists. The concrete realization of such state for the Nambu-Goto membrane is described. The point is that membrane are able to cut out the central naked singularity region and at the same time to join in appropriate way the RN repulsive region. As result we have a model of an everywhere-regular material source exhibiting a repulsive gravitational force in the vicinity of its surface: this construction gives a more sensible physical status to the RN solution in the naked singularity case.
description: Accepted for publication in IJMPD, 17-07-2008; 16 pages, 1 figure
Development of innovative micropattern gaseous detectors with resistive electrodes and first results of their applications
Creators: name: Di Mauro, A.
name: Lund-Jensen, B.
name: Martinengo, P.
name: Nappi, E.
name: Oliveira, R.
name: Peskov, V.
name: Periale, L.
name: Picchi, P.
name: Pietropaolo, F.
name: Rodionov, I.
name: Santiard, J. C.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Instrumentation and Detectors (physics.ins-det)
subject: FOS: Physical sciences

description: The paper summarizes our latest progress in the development of newly introduced micro pattern gaseous detectors with resistive electrodes. These resistive electrodes protect the detector and the front-end electronics in case of occasional discharges and thus make the detectors very robust and reliable in operation. As an example, we describe in greater detail a new recently developed GEM-like detector, fully spark-protected with electrodes made of resistive kapton. We discovered that all resistive layers used in these studies (including kapton), that are coated with photosensitive layers, such as CsI, can be used as efficient photo cathodes for detectors operating in a pulse counting mode. We describe the first applications of such detectors combined with CsI or SbCs photo cathodes for the detection of UV photons at room and cryogenic temperatures.
description: Presented at the 11 Vienna Conference on Instrumentation, February, 2007
Temperature-dependent Raman scattering of natural and isotopically substituted PbS
Creators: name: Etchegoin, P. G.
name: Cardona, M.
name: Lauck, R.
name: Clark, R. J. H.
name: Serrano, J.
name: Romero, A. H.
Publisher: name: arXiv
Year: 2007
Subjects: subject: Materials Science (cond-mat.mtrl-sci)
subject: Disordered Systems and Neural Networks (cond-mat.dis-nn)
subject: FOS: Physical sciences

description: Lead sulfide is an important semiconductor that has found technological applications for over a century. Raman spectroscopy, a standard tool for the investigation and characterization of semiconductors, has limited application to this material because of the forbidden nature of its first order scattering and its opacity to visible lasers. Nevertheless, useful vibrational spectra from two-phonon processes are obtained with red lasers, probably because of a resonance in the concomitant electronic transitions. Here we report temperature dependent spectra, covering the 10-300 K range, for two samples with different sulfur isotopic compositions. The results are analyzed by comparison with ab initio calculations of the lattice dynamics of PbS and the corresponding densities of one and two-phonon states. Emphasis is placed on the analysis of the two phonon band centered at ~430 cm-1.
description: 8 figures
Dynamics of path aggregation in the presence of turnover
Creators: name: Chaudhuri, Debasish
name: Borowski, Peter
name: Mohanty, P. K.
name: Zapotocky, Martin
Publisher: name: arXiv
Year: 2008
Subjects: subject: Biological Physics (physics.bio-ph)
subject: Statistical Mechanics (cond-mat.stat-mech)
subject: Neurons and Cognition (q-bio.NC)
subject: FOS: Physical sciences
subject: FOS: Biological sciences

description: We investigate the slow time scales that arise from aging of the paths during the process of path aggregation. This is studied using Monte-Carlo simulations of a model aiming to describe the formation of fascicles of axons mediated by contact axon-axon interactions. The growing axons are represented as interacting directed random walks in two spatial dimensions. To mimic axonal turnover, random walkers are injected and whole paths of individual walkers are removed at specified rates. We identify several distinct time scales that emerge from the system dynamics and can exceed the average axonal lifetime by orders of magnitude. In the dynamical steady state, the position-dependent distribution of fascicle sizes obeys a scaling law. We discuss our findings in terms of an analytically tractable, effective model of fascicle dynamics.
description: 6 pages, 5 figures; changed the order of presentation, rewritten the abstract and introduction, changed the title, expanded discussions; the main results remain the same