October 2007 arXiv papers — page 12
Showing 1,101–1,200 of 5,810 papers
Oscar Sotolongo-Costa, R. Gamez, F. Luzon, A. Posadas
A meteor shower is a luminous phenomenon that takes place by the entry into the Earths atmosphere of a cascade of particles coming from a stream intersected by our planet in its orbit. Here we investigate the possibility of a description of the mass distribution of meteoroids in meteor showers int terms of a non extensive formulation, which could shed light
G. G. Kacprzak, C. W. Churchill, C. C. Steidel, D. Ceverino
We have explored the galaxy disk/extended halo gas kinematic relationship using rotation curves (Keck/ESI) of ten intermediate redshift galaxies which were selected by MgII halo gas absorption observed in quasar spectra. Previous results of six edge-on galaxies, probed along their major axis, suggest that observed halo gas velocities are consistent with exte
Thomas Vogel, Michael Bachmann, Wolfhard Janke
We analyze the crystallization and collapse transition of a simple model for flexible polymer chains on simple cubic and face-centered cubic lattices by means of sophisticated chain-growth methods. In contrast to bond-fluctuation polymer models in certain parameter ranges, where these two conformational transitions were found to merge in the thermodynamic li
John Ellis
Make-or-break time is near for the Higgs boson and supersymmetry. The LHC will soon put to the sword many theoretical ideas, and define the future for collider physics.
Michael Bachmann, Wolfhard Janke
Folding and aggregation of proteins, the interaction between proteins and membranes, as well as the adsorption of organic soft matter to inorganic solid substrates belong to the most interesting challenges in understanding structure and function of complex macromolecules. This is reasoned by the interdisciplinary character of the associated questions ranging
M. Krips, A. B. Peck, K. Sakamoto, G. B. Petitpas
We present Submillimeter Array observations of the z=3.91 gravitationally lensed broad absorption line quasar APM08279+5255 which spatially resolve the 1.0mm (0.2mm rest-frame) dust continuum emission. At 0.4" resolution, the emission is separated into two components, a stronger, extended one to the northeast (46+/-5mJy) and a weaker, compact one to the
D. Burns, O. Venjakob
We prove a `Weierstrass Preparation Theorem' and develop an explicit descent formalism in the context of Whitehead groups of non-commutative Iwasawa algebras. We use these results to describe the precise connection between the main conjecture of non-commutative Iwasawa theory (in the sense of Coates, Fukaya, Kato, Sujatha and Venjakob) and the equivarian
A Symbolic Finite-state approach for Automated Proving of Theorems in Combinatorial Game Theory
math.DSThotsaporn ``Aek'' Thanatipanonda, Doron Zeilberger
We develop a finite-state automata approach, implemented in a Maple package {\tt ToadsAndFrogs} available from our websites, for conjecturing, and then rigorously proving, values for large families of positions in Richard Guy's combinatorial game ``Toads and Frogs''. In particular, we prove a conjecture of Jeff Erickson.
Mathieu Dutour, Konstantin Rybnikov
A lattice Delaunay polytope P is called perfect if its Delaunay sphere is the only ellipsoid circumscribed about P. We present a new algorithm for finding perfect Delaunay polytopes. Our method overcomes the major shortcomings of the previously used method. We have implemented and used our algorithm for finding perfect Delaunay polytopes in dimensions 6, 7,
Tsubasa Fukue, Hideyuki Kamaya
(Shortened) Thermal instability of partially ionized plasma is investigated by linear perturbation analysis. According to the previous studies under the one fluid approach, the thermal instability is suppressed due to the magnetic pressure. However, the previous studies did not precisely consider the effect of the ion-neutral friction, since they did not tre
A. J. Baltz
A new lowest order QED calculation for RHIC e+ e- pair production has been carried out with a phenomenological treatment of the Coulomb dissociation of the heavy ion nuclei observed in the STAR ZDC triggers. The lowest order QED result for the experimental acceptance is nearly two standard deviations larger than the STAR data. A corresponding higher order QE
Ocean Planet or Thick Atmosphere: On the Mass-Radius Relationship for Solid Exoplanets with Massive Atmospheres
astro-phE. R. Adams, S. Seager, L. Elkins-Tanton
The bulk composition of an exoplanet is commonly inferred from its average density. For small planets, however, the average density is not unique within the range of compositions. Variations of a number of important planetary parameters--which are difficult or impossible to constrain from measurements alone--produce planets with the same average densities bu
K. Desch, J. Kalinowski, G. Moortgat-Pick, K. Rolbiecki
The physics potential of the Large Hadron Collider in combination with the planned International Linear Collider is discussed for a difficult region of supersymmetry that is characterized by scalar SUSY particles with masses around 2 TeV. Precision measurements of masses, cross sections and forward-backward asymmetries allow to determine the fundamental supe
Spectral analysis of LMC X-2 with XMM/Newton: unveiling the emission process in the extragalactic Z-source
astro-phG. Lavagetto, R. Iaria, A. D'Ai', T. Di Salvo
We present the results of the analysis of an archival observation of LMC X-2 performed with XMM/Newton. The spectra taken by high-precision instruments have never been analyzed before. We find an X-ray position for the source that is inconsistent with the one obtained by ROSAT, but in agreement with the Einstein position and that of the optical counterpart.
Superlens imaging theory for anisotropic nanostructured metamaterials with broadband all-angle negative refraction
cond-mat.mtrl-sciW. T. Lu, S. Sridhar
We show that a metamaterial consisting of aligned metallic nanowires in a dielectric matrix has strongly anisotropic optical properties. For filling ratio f<1/2, the composite medium shows two surface plasmon resonances (SPRs): the transverse and longitudinal SPR with wavelengths lambda_t<lambda_l. For lambda>lambda_l, the longitudinal SPR, the material exhi
Frank Saueressig
We review recent progress in understanding non-perturbative instanton corrections to the hypermultiplet moduli space in type II string compactifications on Calabi-Yau threefolds.
Phase Separation in Peptide Aggregation Processes - Multicanonical Study of a Mesoscopic Model
cond-mat.softChristoph Junghans, Michael Bachmann, Wolfhard Janke
We have performed multicanonical computer simulations of a small system of short protein-like heteropolymers and found that their aggregation transition possesses similarities to first-order phase separation processes. Not being a phase transition in the thermodynamic sense, the observed folding-binding behavior exhibits fascinating features leading to the c
Identification of Characteristic Protein Folding Channels in a Coarse-Grained Hydrophobic-Polar Peptide Model
cond-mat.softStefan Schnabel, Michael Bachmann, Wolfhard Janke
Folding channels and free-energy landscapes of hydrophobic-polar heteropolymers are discussed on the basis of a minimalistic off-lattice coarse-grained model. We investigate how rearrangements of hydrophobic and polar monomers in a heteropolymer sequence lead to completely different folding behaviors. Studying three exemplified sequences with the same conten
Time-resolved investigation of magnetization dynamics of arrays of non-ellipsoidal nanomagnets with a non-uniform ground state
cond-mat.mtrl-sciP. S. Keatley, V. V. Kruglyak, A. Neudert, E. A. Galaktionov
We have performed time-resolved scanning Kerr microscopy (TRSKM) measurements upon arrays of square ferromagnetic nano-elements of different size and for a range of bias fields. The experimental results were compared to micromagnetic simulations of model arrays in order to understand the non-uniform precessional dynamics within the elements. In the experimen
Simon Mitternacht, Stefan Schnabel, Michael Bachmann, Wolfhard Janke
Recent experiments have identified peptides with adhesion affinity for GaAs and Si surfaces. Here we use all-atom Monte Carlo (MC) simulations with implicit solvent to investigate the behavior in aqueous solution of four such peptides, all with 12 residues. At room temperature, we find that all the four peptides are largely unstructured, which is consistent
Akin Wingerter
We consider a new class of light vectorlike exotics with fractional electric charge which do not come in complete representations of a grand unified gauge group, and are nevertheless compatible with gauge coupling unification and other predictions from Grand Unified Theories. Such states naturally arise in orbifold constructions of the heterotic string. Some
Martin Bojowald
Quantum gravity may remove classical space-time singularities and thus reveal what a universe at and before the big bang could be like. In loop quantum cosmology, an exactly solvable model is available which allows one to address precise dynamical coherent states and their evolution in such a setting. It is shown here that quantum fluctuations before the big
Katherine Jones-Smith, Harsh Mathur, Lawrence M. Krauss
It has been claimed [1-6] that fractal analysis can be applied to unambiguously characterize works of art such as the drip paintings of Jackson Pollock. This academic issue has become of more general interest following the recent discovery of a cache of disputed Pollock paintings. We definitively demonstrate here, by analyzing paintings by Pollock and others
Deborah N. Aguilera, Jose A. Pons, Juan A. Miralles
We present 2D simulations of the cooling of neutron stars with strong magnetic fields (B \geq 10^{13} G). We solve the diffusion equation in axial symmetry including the state of the art microphysics that controls the cooling such as slow/fast neutrino processes, superfluidity, as well as possible heating mechanisms. We study how the cooling curves depend on
Cosma Rohilla Shalizi
This is a programmatic paper, marking out two directions in which the study of social media can contribute to broader problems of social science: understanding cultural evolution and understanding collective cognition. Under the first heading, I discuss some difficulties with the usual, adaptationist explanations of cultural phenomena, alternative explanatio
Tim Gershon
Flavour will play a crucial role in understanding physics beyond the Standard Model. Progress in developing a future programme to investigate this central area of particle physics has recently passed a milestone, with the completion of the conceptual design report for SuperB, a very high luminosity, asymmetric e+e- collider. This article summarizes the impor
Kathrin Valerius
Recent neutrino mass experiments at Mainz and Troitsk using tritium beta-decay have reached their sensitivity potential, yielding upper limits of about 2 eV/c^2 for the electron antineutrino mass. The KArlsruhe TRItium Neutrino experiment (KATRIN), designed to reach a sensitivity of 0.2 eV/c^2 (90% C.L.), will improve the signal rate by a factor of about 100
Oliver Kosut, Lang Tong
The distributed source coding problem is considered when the sensors, or encoders, are under Byzantine attack; that is, an unknown group of sensors have been reprogrammed by a malicious intruder to undermine the reconstruction at the fusion center. Three different forms of the problem are considered. The first is a variable-rate setup, in which the decoder a
D. Toffoli, P. Decleva, F. A. Gianturco, R. R. Lucchese
Photoionization dynamics of the RNA base Uracil is studied in the framework of Density Functional Theory (DFT). The photoionization calculations take advantage of a newly developed parallel version of a multicentric approach to the calculation of the electronic continuum spectrum which uses a set of B-spline radial basis functions and a Kohn-Sham density fun
Parvathinathan Venkitasubramaniam, Ting He, Lang Tong
The problem of security against timing based traffic analysis in wireless networks is considered in this work. An analytical measure of anonymity in eavesdropped networks is proposed using the information theoretic concept of equivocation. For a physical layer with orthogonal transmitter directed signaling, scheduling and relaying techniques are designed to
Donato Bini, Christian Cherubini, Robert T. Jantzen
The scale invariant Petrov classification of the Weyl tensor is linked to the scale invariant combination of the Kasner index constraints, and the Lifshitz-Khalatnikov Kasner index parametrization scheme turns out to be a natural way of adapting to this symmetry, while hiding the permutation symmetry that is instead made manifest by the Misner parametrizatio
Martin Kroner, Kathrina M. Weiss, Benjamin Biedermann, Stefan Seidl
We demonstrate optically detected spin resonance of a single electron confined to a self-assembled quantum dot. The dot is rendered dark by resonant optical pumping of the spin with a coherent laser. Contrast is restored by applying a radio frequency (rf) magnetic field at the spin resonance. The scheme is sensitive even to rf fields of just a few micro-T. I
Alicia M. Sintes
We report on an all-sky search with the LIGO detectors for periodic gravitational waves in the frequency range 50-1000 Hz and having a negative frequency time derivative with magnitude between zero and $10^{-8}$ Hz/s. Data from the fourth LIGO science run have been used in this search. Three different semi-coherent methods of summing strain power were applie
LAW: A Tool for Improved Productivity with High-Performance Linear Algebra Codes. Design and Applications
physics.comp-phTimothy Stitt, Graham Kells, Jiri Vala
LAPACK and ScaLAPACK are arguably the defacto standard libraries among the scientific community for solving linear algebra problems on sequential, shared-memory and distributed-memory architectures. While ease of use was a major design goal for the ScaLAPACK project; with respect to its predecessor LAPACK; it is still a non-trivial exercise to develop a new
J. Silman, S. Machnes, S. Shnider, L. P. Horwitz
We consider the EPR experiment in the energy-based stochastic reduction framework. A gedanken set up is constructed to model the interaction of the particles with the measurement devices. The evolution of particles' density matrix is analytically derived. We compute the dependence of the disentanglement rate on the parameters of the model, and study the
R. Barnard, L. Shaw Greening, U. Kolb
There is a large body of work that has used the excellent Chandra observations of nearby galaxies with neglible low mass X-ray binary (LMXB) populations. This has culminated in a ``Universal'' X-ray luminosity function (XLF) for high mass X-ray binaries (HMXBs). However, a number of methods have been used to convert from source intensities to luminos
Collisional Quenching at Ultralow Energies: Controlling Efficiency with Internal State Selection
physics.chem-phS. Bovino, E. Bodo, F. A. Gianturco
Calculations have been carried out for the vibrational quenching of excited H$_2$ molecules which collide with Li$^+$ ions at ultralow energies. The dynamics has been treated exactly using the well known quantum coupled-channel expansions over different initial vibrational levels. The overall interaction potential has been obtained from the calculations carr
T. Hahn, S. Heinemeyer, W. Hollik, H. Rzehak
We present the latest version 2.6 of FeynHiggs, a program for computing MSSM Higgs-boson masses and related observables, such as mixing angles, branching ratios, and couplings, including state-of-the-art higher-order contributions. The most important new feature is the inclusion of the fully complex O(α_tα_s) two-loop corrections, which enables FeynHiggs to
Rosa M. Gonzalez Delgado
This review presents a personal view of the role that starbursts play in the star formation history of the universe. It is mainly focused on the properties of nearby starburst galaxies selected for their strong UV and/or FIR emission. The similarities between local starbursts and star-forming galaxies at high redshift are also presented. I discuss too the ro
D. I. Kazakov, G. S. Vartanov
In this paper we review the properties of the 1/$N_f$ expansion in multidimensional theories. Contrary to the usual perturbative expansion it is renormalizable and contains only logarithmic divergencies. The price for it is the presence of ghost states which, however, in certain cases do not contribute to physical amplitudes. In this case the theory is unita
Dr Tracey Berry
This conference report briefly reviews the potential of the ATLAS and CMS experiments to discover evidence of extra dimensions.
Luca Donetti, Pablo I. Hurtado, Miguel A. Munoz
By employing a recently introduced optimization algorithm we explicitely design optimally synchronizable (unweighted) networks for any given scale-free degree distribution. We explore how the optimization process affects degree-degree correlations and observe a generic tendency towards disassortativity. Still, we show that there is not a one-to-one correspon
Jana Archibald
We derive a formula for the weight system of the multivariable Alexander polynomial using determinants, show that it obeys known relations, and satisfies some of the same relations as the single variable polynomial.
The transiting exoplanet host star GJ 436: a test of stellar evolution models in the lower main sequence, and revised planetary parameters
astro-phGuillermo Torres
Knowledge of the stellar parameters for the parent stars of transiting exoplanets is pre-requisite for establishing the planet properties themselves, and often relies on stellar evolution models. GJ 436, which is orbited by a transiting Neptune-mass object, presents a difficult case because it is an M dwarf. Stellar models in this mass regime are not as reli
Inclusive charged-current neutrino-nucleus reactions calculated with the relativistic quasiparticle random phase approximation
nucl-thN. Paar, D. Vretenar, T. Marketin, P. Ring
Inclusive neutrino-nucleus cross sections are calculated using a consistent relativistic mean-field theoretical framework. The weak lepton-hadron interaction is expressed in the standard current-current form, the nuclear ground state is described with the relativistic Hartree-Bogoliubov model, and the relevant transitions to excited nuclear states are calcul
Alexander Schmidt
This paper gives an overview of the potential to discover a Standard Model Higgs Boson in the inclusive search channels at the ATLAS and CMS experiments at the LHC. The most important decay modes, $H \to γγ$, $H \to WW \to llνν$ and $H \to ZZ \to 4l$ are described and a summary of recently published analyses using realistic detector simulations is presented.
A. P. Braun, A. Hebecker, M. Trapletti
We discuss the moduli stabilization arising in the presence of gauge fluxes, R-symmetry twists and non-perturbative effects in the context of 6-dimensional supergravity models. We show how the presence of D-terms, due to the gauge fluxes, is compatible with gaugino condensation, and that the two effects, combined with the R-symmetry twist, do stabilize all t
Philippe Brax, Anne-Christine Davis, Stephen C. Davis, Rachel Jeannerot
It is shown that racetrack inflation can be implemented in a moduli stabilisation scenario with a supersymmetric uplifting D-term. The resulting model is completely described by an effective supergravity theory, in contrast to the original racetrack models. We study the inflationary dynamics and show that the gaugino condensates vary during inflation. The re
Michel Bonnefont
In the first part of the paper, we define an approximated Brunn-Minkowski inequality which generalizes the classical one for length spaces. Our new definition based only on distance properties allows us also to deal with discrete spaces. Then we show the stability of our new inequality under a convergence of metric measure spaces. This result gives as a coro
John Boersma, Andrew Whitbeck
The Little Higgs mechanism, as realized in various models, requires a set of new massive gauge bosons, some of which mix with gauge bosons of the Standard Model. For a range of mixing angles the coupling of gauge bosons to scalars can become strong, ultimately resulting in a breakdown of perturbative calculation. This phenomenon is studied in the Littlest Hi
The shadow of light: evidences of photon behaviour contradicting known electrodynamics
physics.gen-phF. Cardone, R. Mignani, W. Perconti, A. Petrucci
We report the results of a double-slit-like experiment in the infrared range, which evidence an anomalous behaviour of photon systems under particular (energy and space) constraints. The statistical analysis of these outcomes (independently confirmed by crossing photon beam experiments in both the optical and the microwave range) shows a significant departur
Koichiro Sugiyama, Kenta Fujisawa, Akihiro Doi, Mareki Honma
We have observed 13 methanol maser sources associated with massive star-forming regions; W3(OH), Mon R2, S 255, W 33A, IRAS 18151-1208, G 24.78+0.08, G 29.95-0.02, IRAS 18556+0136, W 48, OH 43.8-0.1, ON 1, Cep A and NGC 7538 at 6.7 GHz using the Japanese VLBI Network (JVN). Twelve of the thirteen sources were detected at our longest baseline of $\sim$50 M$λ$
R. Lutz, S. Schuh, R. Silvotti, S. Dreizler
We present the detection of low-amplitude, long-period g-modes in two individual sdBV stars which are known to be p-mode pulsators. Only few of these hybrid objects, showing both p- and g-modes, are known today. We resolve the g-mode domain in HS0702+6043 and add HS2201+2610 to the list of hybrid pulsators. To discover the low-amplitude g-modes, a filtering
D. Frettlöh, A. Glazyrin
In a locally finite tiling of n-dim Euclidean space by convex polytopes, each point of the space is either a vertex of at least two tiles, or no vertex at all.
Stephen Semmes
The setting of metric spaces is very natural for numerous questions concerning manifolds, norms, and fractal sets, and a few of the main ingredients are surveyed here.
Jihn E. Kim, Ji-Hun Kim, Bumseok Kyae
We construct a supersymmetric standard model in the context of the Z_{12-I} orbifold compactification of the E_8 x E_8' heterotic string theory. The gauge group is SU(3)_c x SU(2)_L x U(1)_Y x U(1)^4 x [SO(10) x U(1)^3]' with sin^2θ_W = 3/8. We obtain three families of SO(10) spinor-like chiral matter states, and Higgs doublets. All other extra state
S. Durr, Z. Fodor, C. Hoelbling, S. D. Katz
Some algorithmic details of our $N_f=2+1$ QCD mixed action simulations with overlap valence and improved Wilson sea quarks are presented.
Alexandre Faribault, Pasquale Calabrese, Jean-Sebastien Caux
We study the static correlation functions of the Richardson pairing model (also known as the reduced or discrete-state BCS model) in the canonical ensemble. Making use of the Algebraic Bethe Ansatz formalism, we obtain exact expressions which are easily evaluated numerically for any value of the pairing strength up to large numbers of particles. We provide e
Federico Elmetti, Andrea Mauri, Marco Pirrone
We study the conformal invariance of non-planar beta-deformed N=4 SYM theory using the coupling constant reduction (CCR) formalism. We show that up to order g^10, differently from the planar case, we can remove the scheme dependence in the definition of the theory without reducing to the real beta case. We also compute the gauge beta function up to four loop
R. Falomo, A. Treves, J. K. Kotilainen, R. Scarpa
The properties of high redshift quasar host galaxies are studied, in order to investigate the connection between galaxy evolution, nuclear activity, and the formation of supermassive black holes. We combine new near-infrared observations of three high redshift quasars (2 < z < 3), obtained at the ESO Very Large Telescope equipped with adaptive optics, with s
Vitaly Bergelson, Alexander Leibman, Emmanuel Lesigne
Let $P=\{p_{1},\ld,p_{r}\}\subset\Q[n_{1},\ld,n_{m}]$ be a family of polynomials such that $p_{i}(\Z^{m})\sle\Z$, $i=1,\ld,r$. We say that the family $P$ has {\it PSZ property} if for any set $E\sle\Z$ with $d^{*}(E)=\limsup_{N-M\ras\infty}\frac{|E\cap[M,N-1]|}{N-M}>0$ there exist infinitely many $n\in\Z^{m}$ such that $E$ contains a polynomial progression o
Vitaly Bergelson, Emmanuel Lesigne
In this partly expository paper we study van der Corput sets in $\Z^d$, with a focus on connections with harmonic analysis and recurrence properties of measure preserving dynamical systems. We prove multidimensional versions of some classical results obtained for $d=1$ in \cite{K-MF} and \cite{R}, establish new characterizations, introduce and discuss some m
A. A. Bonacic Marinovic, E. Glebbeek, O. R. Pols
Many binary stellar systems in which the primary star is beyond the asymptotic giant branch (AGB) evolutionary phase show significant orbital eccentricities whereas current binary interaction models predict their orbits to be circularised. We analyse how the orbital parameters in a system are modified under mass loss and mass exchange among its binary compon
J. Niset, U. L. Andersen, N. J. Cerf
We devise a scheme that protects quantum coherent states of light from probabilistic losses, thus achieving the first continuous-variable quantum erasure-correcting code. If the occurrence of erasures can be probed, then the decoder enables, in principle, a perfect recovery of the original light states. Otherwise, if supplemented with postselection based on
M. Vogel, D. F. A. Winters, H. Ernst, H. Zimmermann
Measurements have been performed of scintillation light intensities emitted from various inorganic scintillators irradiated with low-energy beams of highly-charged ions from an electron beam ion source (EBIS) and an electron cyclotron resonance ion source (ECRIS). Beams of xenon ions Xe$^{q+}$ with various charge states between $q$=2 and $q$=18 have been use
Extending the scope of microscopic solvability: Combination of the Kruskal-Segur method with Zauderer decomposition
nlin.PSThomas Fischaleck, Klaus Kassner
Successful applications of the Kruskal-Segur approach to interfacial pattern formation have remained limited due to the necessity of an integral formulation of the problem. This excludes nonlinear bulk equations, rendering convection intractable. Combining the method with Zauderer's asymptotic decomposition scheme, we are able to strongly extend its scop
Thomas Dent, Steffen Stern
Big Bang nucleosynthesis (BBN) is the earliest sensitive probe of the values of many fundamental particle physics parameters. We have found the leading linear dependences of primordial abundances on all relevant parameters of the standard BBN code, including binding energies and nuclear reaction rates. This enables us to set limits on possible variations of
Erratum: Propagation Effects on the Breakdown of a Linear Amplifier Model: Complex-Mass Schrodinger Equation Driven by the Square of a Gaussian Field
math-phPhilippe Mounaix, Pierre Collet, Joel L. Lebowitz
The proof of the inequality $λ_{q}(x,t)\le (qμ_{x,t} -0^+)^{-1}$ [p 750, below Eq. (29)] is based on the statement that ${\cal E}(x,t;s)$ is an entire function of $s\in {\mathbb C}^M$ [see below Eq. (30)]. But according to Equation (9) and Lemma 1, all we know is that ${\cal E}(x,t;s)$ is an entire function of $k(s)\in {\mathbb R}^N$. Nevertheless, the above
John S. Macbeth, Dietmar Heinz, Ken Gray
This paper presents an overview of an assembler driven verification methodology (ADVM) that was created and implemented for a chip card project at Infineon Technologies AG. The primary advantage of this methodology is that it enables rapid porting of directed tests to new targets and derivatives, with only a minimum amount of code refactoring. As a consequen
Giuseppe Falconeri, Walid Naifer, Nizar Romdhane
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different people and to reuse the same environment for the two design views. Applying this methodology the verification task starts as soon as the functional specification is signed off and
Michael Ullmann, Wansheng Jin, Jurgen Becker
This contribution presents a new approach for allocating suitable function-implementation variants depending on given quality-of-service function-requirements for run-time reconfigurable multi-device systems. Our approach adapts methodologies from the domain of knowledge-based systems which can be used for doing run-time hardware/software resource usage opti
Yasushi Umezawa, Takeshi Shimizu
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verification is to define good verification scopes; we should define clearly what to be verified formally upon designs under tests. We considered the following three practical requirements wh
Savas Dayanik, Christian Goulding, H. Vincent Poor
Sequential change diagnosis is the joint problem of detection and identification of a sudden and unobservable change in the distribution of a random sequence. In this problem, the common probability law of a sequence of i.i.d. random variables suddenly changes at some disorder time to one of finitely many alternatives. This disorder time marks the start of a
M. Borgatti, A. Capello, U. Rossi, J. -L. Lambert
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerful computing engine (typically hardware). In this context, programmable HW and dynamic reconfiguration allow novel approaches to the migration of algorithms from SW to HW. Thus, in
Tero Rissa, Adam Donlin, Wayne Luk
This paper evaluates the use of pin and cycle accurate SystemC models for embedded system design exploration and early software development. The target system is MicroBlaze VanillaNet Platform running MicroBlaze uClinux operating system. The paper compares Register Transfer Level (RTL) Hardware Description Language (HDL) simulation speed to the simulation sp
M. D. Galanis, A. Milidonis, G. Theodoridis, D. Soudris
In this paper, we propose a methodology for partitioning and mapping computational intensive applications in reconfigurable hardware blocks of different granularity. A generic hybrid reconfigurable architecture is considered so as the methodology can be applicable to a large number of heterogeneous reconfigurable platforms. The methodology mainly consists of
Aline Mello, Leandro Moller, Ney Calazans, Fernando Moraes
The MultiNoC system implements a programmable on-chip multiprocessing platform built on top of an efficient, low area overhead intra-chip interconnection scheme. The employed interconnection structure is a Network on Chip, or NoC. NoCs are emerging as a viable alternative to increasing demands on interconnection architectures, due to the following characteri
Dan Hillman
At 130 nm and 90 nm, power consumption (both dynamic and static) has become a barrier in the roadmap for SoC designs targeting battery powered, mobile applications. This paper presents the results of dynamic and static power reduction achieved implementing Tensilica's 32-bit Xtensa microprocessor core, using Virtual Silicon's Power Management IP. Ind
Udo Schwingenschloegl, Cosima Schuster
We investigate the electronic structure of the c(4 x 2) reconstructed Ge(001) surface using band structure calculations based on density functional theory and the generalized gradient approximation. In particular, we take into account the details of surface reconstruction by means of well relaxed crystal structures. The surface electronic states are identifi
P. Bernardi, G. Masera, F. Quaglio, M. Sonza Reorda
In this paper we describe how we applied a BIST-based approach to the test of a logic core to be included in System-on-a-chip (SoC) environments. The approach advantages are the ability to protect the core IP, the simple test interface (thanks also to the adoption of the P1500 standard), the possibility to run the test at-speed, the reduced test time, and th
Terje N. Andersen, Atle Briskemyr, Frode Telsto, Johnny Bjornsen
A 12 bit Pipeline ADC fabricated in a 0.18 $μ$m pure digital CMOS technology is presented. Its nominal conversion rate is 110MS/s and the nominal supply voltage is 1.8V. The effective number of bits is 10.4 when a 10MHz input signal with 2V_{P-P} signal swing is applied. The occupied silicon area is 0.86mm^2 and the power consumption equals 97mW. A switched
Christoph Sandner, Martin Clara, Andreas Santner, Thomas Hartig
A 6bit flash-ADC with 1.2GSps, wide analog bandwidth and low power, realized in a standard digital 0.13 $μ$m CMOS copper technology is presented. Employing capacitive interpolation gives various advantages when designing for low power: no need for a reference resistor ladder, implicit sample-and-hold operation, no edge effects in the interpolation network (a
Color transparency and short-range correlations in exclusive pion photo- and electroproduction from nuclei
nucl-thW. Cosyn, M. C. Martínez, J. Ryckebusch
A relativistic and quantum mechanical framework to compute nuclear transparencies for pion photo- and electroproduction reactions is presented. Final-state interactions for the ejected pions and nucleons are implemented in a relativistic eikonal approach. At sufficiently large ejectile energies, a relativistic Glauber model can be adopted. At lower energies,
Momchil Milev, Rod Burt
Presented are a methodology and a DFII-based tool for AC-stability analysis of a wide variety of closed-loop continuous-time (operational amplifiers and other linear circuits). The methodology used allows for easy identification and diagnostics of ac-stability problems including not only main-loop effects but also local-instability loops in current mirrors,
K. -U. Kirstein, J. Sedivy, T. Salo, C. Hagleitner
A monolithic integrated tactile sensor array is presented, which is used to perform non-invasive blood pressure monitoring of a patient. The advantage of this device compared to a hand cuff based approach is the capability of recording continuous blood pressure data. The capacitive, membrane-based sensor device is fabricated in an industrial CMOS-technology
L. Fanucci, A. Giambastiani, F. Iozzi, C. Marino
In this paper a general architecture suitable to interface several kinds of sensors for automotive applications is presented. A platform based design approach is pursued to improve system performance while minimizing time-to-market.. The platform is composed by an analog front-end and a digital section. The latter is based on a microcontroller core (8051 IP
Exploiting Real-Time FPGA Based Adaptive Systems Technology for Real-Time Sensor Fusion in Next Generation Automotive Safety Systems
cs.ARSteve Chappell, Alistair Macarthur, Dan Preston, Dave Olmstead
We present a system for the boresighting of sensors using inertial measurement devices as the basis for developing a range of dynamic real-time sensor fusion applications. The proof of concept utilizes a COTS FPGA platform for sensor fusion and real-time correction of a misaligned video sensor. We exploit a custom-designed 32-bit soft processor core and C-ba
Massimo Conti
This paper presents a new dynamic power management architecture of a System on Chip. The Power State Machine describing the status of the core follows the recommendations of the ACPI standard. The algorithm controls the power states of each block on the basis of battery status, chip temperature and a user defined task priority.
Pavel Horsky
A CMOS harmonic signal LC oscillator driver for automotive applications working in a harsh environment with high safety critical requirements is described. The driver can be used with a wide range of external components parameters (LC resonance network of a sensor). Quality factor of the external LC network can vary two decades. Amplitude regulation of the d
Dirk Ziegenbein, Peter Braun, Ulrich Freund, Andreas Bauer
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for model-based development of automotive control software, based on problem-specific design notations with an explicit formal foundation. Based on the existing AutoFOCUS framework, a tool
A. Mayer, H. Siebert, K. D. Mcdonald-Maier
The introduction of complex SoCs with multiple processor cores presents new development challenges, such that development support is now a decisive factor when choosing a System-on-Chip (SoC). The presented developments support strategy addresses the challenges using both architecture and technology approaches. The Multi-Core Debug Support (MCDS) architectur
The Integration of On-Line Monitoring and Reconfiguration Functions using EDAA - European design and Automation Association1149.4 Into a Safety Critical Automotive Electronic Control Unit
cs.ARC. Jeffrey, R. Cutajar, S. Prosser, M. Lickess
This paper presents an innovative application of EDAA - European design and Automation Association 1149.4 and the Integrated Diagnostic Reconfiguration (IDR) as tools for the implementation of an embedded test solution for an Automotive Electronic Control Unit implemented as a fully integrated mixed signal system. The paper described how the test architectur
Wayne Lyons
The importance of embedded systems in driving innovation in automotive applications continues to grow. Understanding the specific needs of developers targeting this market is also helping to drive innovation in RISC core design. This paper describes how a RISC instruction set architecture has evolved to better meet those needs, and the key implementation fea
R. Pradeep, S. Vinay, Sanjay Burman, V. Kamakoti
With growing computational needs of many real-world applications, frequently changing specifications of standards, and the high design and NRE costs of ASICs, an algorithm-agile FPGA based co-processor has become a viable alternative. In this article, we report about the general design of an algorith-agile co-processor and the proof-of-concept implementation
W. Stechele, L. Alvado Carcel, S. Herrmann, J. Lidon Simon
Visual information processing will play an increasingly important role in future electronics systems. In many applications, e.g. video surveillance cameras, data throughput of microprocessors is not sufficient and power consumption is too high. Instruction profiling on a typical test algorithm has shown that pixel address calculations are the dominant operat
Wayne Wolf
This paper surveys the characteristics of multimedia systems. Multimedia applications today are dominated by compression and decompression, but multimedia devices must also implement many other functions such as security and file management. We introduce some basic concepts of multimedia algorithms and the larger set of functions that multimedia systems-on-c
Partha Biswas, Sudarshan Banerjee, Nikil Dutt, Laura Pozzi
Customization of processor architectures through Instruction Set Extensions (ISEs) is an effective way to meet the growing performance demands of embedded applications. A high-quality ISE generation approach needs to obtain results close to those achieved by experienced designers, particularly for complex applications that exhibit regularity: expert designer
S. Lopez, G. M. Callico, J. F. Lopez, R. Sarmiento
Motion estimation is the most critical process in video coding systems. First of all, it has a definitive impact on the rate-distortion performance given by the video encoder. Secondly, it is the most computationally intensive process within the encoding loop. For these reasons, the design of high-performance low-cost motion estimators is a crucial task in t
Keith Holt
This paper retraces the historical development of wireless LAN technology in the context of the pursuit of ever higher data rate, describes the significant technical breakthroughs that are now occurring, and speculates on future directions that the technology may take over the remainder of the decade. The challenges that these developments have created for l
Daniel Thull, Roberto Sannino
As digital content services gain importance in the mobile world, Digital Rights Management (DRM) applications will become a key component of mobile terminals. This paper examines the effect dedicated hardware macros for specific cryptographic functions have on the performance of a mobile terminal that supports version 2 of the open standard for Digital Right