total 7486took 0.11s

Large deviations of Markov chains with multiple time-scalesSep 26 2017Apr 06 2018For Markov processes evolving on multiple time-scales a combination of large component scalings and averaging of rapid fluctuations can lead to useful limits for model approximation. A general approach to proving a law of large numbers to a deterministic ... More

Entropy production and correlations in a controlled non-Markovian settingApr 11 2018Jul 23 2018We study the relationship between (non-)Markovian evolutions, established correlations, and the entropy production rate. We consider a system qubit in contact with a thermal bath and in addition the system is strongly coupled to an ancillary qubit. We ... More

Difffusion Dynamics on the Coexistence Subspace in a Stochastic Evolutionary GameFeb 10 2018Frequency-dependent selection reflects the interaction between different species as they battle for limited resources in their environment. In a stochastic evolutionary game the species relative fitnesses guides the evolutionary dynamics which fluctuate ... More

Phase estimation with squeezed single photonsFeb 08 2018We address the performance of an interferometric setup in which a squeezed single photon interferes at a beam splitter with a coherent state. Our analysis in based on both the quantum Fisher information and the sensitivity when a Mach-Zehnder setup is ... More

Precursors of non-MarkovianityFeb 08 2019Using the paradigm of information backflow to characterize a non-Markovian evolution, we introduce so-called precursors of non-Markovianity, i.e. necessary properties that the system and environment state must exhibit at earlier times in order for an ... More

Precursors of non-MarkovianityFeb 08 2019May 30 2019Using the paradigm of information backflow to characterize a non-Markovian evolution, we introduce so-called precursors of non-Markovianity, i.e. necessary properties that the system and environment state must exhibit at earlier times in order for an ... More

Singular perturbation analysis of a regularized MEMS modelJul 05 2018Mar 04 2019Micro-Electro Mechanical Systems (MEMS) are defined as very small structures that combine electrical and mechanical components on a common substrate. Here, the electrostatic-elastic case is considered, where an elastic membrane is allowed to deflect above ... More

Classification model for microphone type recognitionJun 21 2019This paper presents a classification model for microphone type recognition in photoacoustic experiment. The classification model is obtained by applying a multilayer perceptron network on a large dataset of simulated experimental values. The model satisfies ... More

Genealogy of catalytic branching modelsJun 13 2006Aug 12 2009We consider catalytic branching populations. They consist of a catalyst population evolving according to a critical binary branching process in continuous time with a constant branching rate and a reactant population with a branching rate proportional ... More

Negentropy concept revisited: Standard thermodynamic properties of 16 bacteria, fungi and algae speciesJan 01 2019Standard molar and specific (per gram) enthalpy of formation, entropy and Gibbs free energy of formation of biomatter have been determined for 16 microorganism species, including Methylococcus capsulatus, Klebsiella aerogenes, Paracoccus denitrificans, ... More

Asymptotic genealogy of a critical branching processMar 25 2005Consider a continuous-time binary branching process conditioned to have population size n at some time t, and with a chance p for recording each extinct individual in the process. Within the family tree of this process, we consider the smallest subtree ... More

Electronic structure of the substitutional versus interstitial manganese in GaNSep 14 2004Sep 14 2004Density-functional studies of the electron states in the dilute magnetic semiconductor GaN:Mn reveal major differences for the case of the Mn impurity at the substitutional site Mn_Ga versus the interstitial site Mn_I. The splitting of the two-fold and ... More

Thermodynamic Mechanism of Life and AgingJan 09 2018Life is a complex biological phenomenon represented by numerous chemical, physical and biological processes performed by a biothermodynamic system/cell/organism. Both living organisms and inanimate objects are subject to aging, a biological and physicochemical ... More

Wanted Dead or Alive Extraterrestrial Life Forms (Thermodynamic criterion for life is a growing open system that performs self-assembly processes)Oct 23 2018For more than 100 years, humanity (both specialists and enthusiastic laics) has been searching for extraterrestrial life hoping we are not alone. The first step in the quest for extraterrestrial life is to define what and where exactly to look for. Thus, ... More

Project X and a muon facility at FermilabJul 05 2012An integrated program is described, starting with muon experiments in the Booster era, continuing with a 2 MW target station, a 4 GeV Neutrino Factory and a 3 TeV Muon Collider, all driven by Project X. This idea provides an integrated approach to the ... More

Tunable coupled-mode dispersion compensation and its application to on-chip resonant four-wave mixingJun 11 2014Jun 14 2014We propose and demonstrate localized mode coupling as a viable dispersion engineering technique for phase-matched resonant four-wave mixing (FWM). We demonstrate a dual-cavity resonant structure that employs coupling-induced frequency splitting at one ... More

Researchers in an Entropy Wonderland: A Review of the Entropy ConceptOct 26 2017Entropy concept was introduced by Clausius 160 years ago, and has been continually enriched, developed and interpreted by the researchers in many different scientific disciplines ever since. Thermodynamics and other scientific disciplines face several ... More

2GeV Superconducting Muon LinacAug 19 2000A muon collider as well as a neutrino factory requires a large number of muons with a kinetic energy of 50GeV or more. Muon survival demands a high gradient linac. The large transverse and longitudinal emittance of the muon beam coming from a muon cooling ... More

Introduction to Astrophysics of MicroquasarsJun 29 2005The Astrophysics of microquasars - galactic miniatures of the far distant quasars - has become one of the most active fields of modern Astronomy in recent years. Here I review the astronomical methods used for the investigation of these objects, from ... More

Human Factors of Formal MethodsApr 29 2014This paper provides a brief introduction to the work that aims to apply the achievements within the area of engineering psychology to the area of formal methods, focusing on the specification phase of a system development process.

On rational blow-downs in Heegaard-Floer homologySep 29 2007Motivated by a result of L.P. Roberts on rational blow-downs in Heegaard-Floer homology, we study such operations along 3-manifolds that arise as branched double covers of $S^{3}$ along several non-alternating, slice knots.

Network model of human languageSep 19 2007The phenomenon of human language is widely studied from various points of view. It is interesting not only for social scientists, antropologists or philosophers, but also for those, interesting in the network dynamics. In several recent papers word web, ... More

Random networks with preferential growth and vertex deathSep 23 2015A dynamic model for a random network evolving in continuous time is defined where new vertices are born and existing vertices may die. The fitness of a vertex is defined as the accumulated in-degree of the vertex and a new vertex is connected to an existing ... More

On Euler characteristics of Selmer groups for abelian varieties over global function fieldsDec 07 2015Let $F$ be a global function field of characteristic $p>0$, $K/F$ an $\ell$-adic Lie extension ($\ell\neq p$) and $A/F$ an abelian variety. We provide Euler characteristic formulas for the $Gal(K/F)$-module $Sel_A(K)_\ell$.

Variance of $\mathcal{B}$-free integers in short intervalsDec 01 2015We prove some new statements on the distribution of $\mathcal{B}$-free numbers in short intervals. In particular, we show an asymptotic result for the variance of the number of $\mathcal{B}$-free integers in random short intervals which are, in some sense, ... More

Asymptotic shape in a continuum growth modelSep 23 2015A continuum growth model is introduced. The state at time $t$, $S_t$, is a subset of $\mathbb{R}^d$ and consists of a connected union of randomly sized Euclidean balls, which emerge from outbursts at their center points. An outburst occurs somewhere in ... More

Painlevé analysis for two 1D parabolic-parabolic models of chemotaxis; some travelling wave solutionsJul 01 2016In this paper we study the Painlev\'e analysis for two models of chemotaxis. We find that in some cases the reductions of these models in terms of travelling wave variable allow exact analytical solutions.

LLFR: A Lanczos-Based Latent Factor Recommender for Big Data ScenariosJun 14 2016The purpose if this master's thesis is to study and develop a new algorithmic framework for Collaborative Filtering to produce recommendations in the top-N recommendation problem. Thus, we propose Lanczos Latent Factor Recommender (LLFR); a novel "big ... More

Spatio-temporal features of FocusSTOct 25 2016In this technical report we summarise the spatio-temporal features and present the core operators of FocusST specification framework. We present the general idea of these operators, using a Steam Boiler System example to illustrate how the specification ... More

Weak Convergence of Sequential Empirical Processes under Weak DependenceNov 14 2017Oct 30 2018The purpose of this paper is to prove a weak convergence result for empirical processes indexed in general classes of functions and with an underlying $\alpha$-mixing sequence of random variables. In particular the uniformly boundedness assumption on ... More

Isocurvature, non-gaussianity and the curvaton modelApr 07 2008Recent analyses of the statistical distribution of the temperature anisotropies in the CMB do not rule out the possibility that there is a large non-gaussian contribution to the primordial power spectrum. This fact motivates the re-analysis of the curvaton ... More

On frames in Hilbert modules over pro-C*-algebrasSep 06 2007We introduce the concept of frame of multipliers in Hilbert modules over pro-C*-algebras and show that many properties of frames in Hilbert C*-modules are valid for frames of multipliers in Hilbert modules over pro-C*-algebras.

Variations on a Theme of Schubert CalculusApr 22 2018Apr 26 2018In this tutorial, we provide an overview of many of the established combinatorial and algebraic tools of Schubert calculus, the modern area of enumerative geometry that encapsulates a wide variety of topics involving intersections of linear spaces. It ... More

Rational blow-down along Wahl type plumbing trees of spheresJul 24 2006Aug 22 2007We construct smooth 4-manifolds homeomorphic but not diffeomorphic to $CP^2#k\bar{CP^2},k \in {6,7,8,9}$, using the technique of rational blow-down along Wahl type plumbing trees of spheres.

Introduction to Gestural Similarity in Music. An Application of Category Theory to the OrchestraApr 22 2019Mathematics, and more generally computational sciences, intervene in several aspects of music. Mathematics describes the acoustics of the sounds giving formal tools to physics, and the matter of music itself in terms of compositional structures and strategies. ... More

Formal FocusST Specification of CANNov 20 2018This paper presents a formal specification of the Controller Area Network (CAN) protocol using FocusST framework. We formally describe core components of the protocol, which provides a basis for further formal analysis using the Isabelle/HOL theorem prover. ... More

Analytic non-linearizable uniquely ergodic diffeomorphisms on the two-torusJun 05 2001Jun 18 2002We study the behavior of diffeomorphisms, contained in the closure $\bar {\A_\a}$ (in the inductive limit topology) of the set $\A_\a$ of real-analytic diffeomorphisms of the torus $\Bbb T^2$, conjugated to the rotation $R_\a:(x,y)\mapsto (x + \a, y)$ ... More

Representations of the Yokonuma-Temperley-Lieb algebraFeb 28 2013Nov 25 2013We determine the representations of the Yokonuma-Temperley-Lieb algebra, which is defined as a quotient of the Yokonuma-Hecke algebra by generalising the construction of the classical Temperley-Lieb algebra.

A weak convergence result for sequential empirical processes under weak dependenceNov 14 2017Apr 08 2019The purpose of this paper is to prove a weak convergence result for empirical processes indexed in general classes of functions and with an underlying $\alpha$-mixing sequence of random variables. In particular the uniformly boundedness assumption on ... More

Shuffle bialgebrasMar 14 2007Dec 12 2008The goal of our work is to study the spaces of primitive elements of the Hopf algebras associated to the permutaedra and the associaedra. We introduce the notion of shuffle and preshuffle bialgebras, and compute the subpaces of primitive elements associated ... More

On Morita equivalence of group actions on locally C*-algebrasMay 25 2007We extend to the context of locally C*-algebras a result of F. Combes [Proc. London Math. Soc. 49(1984), 289-306].

Uniform distribution of sequences of points and partitionsJun 24 2014The interest for uniformly distributed (u.d.) sequences of points, in particular for sequences with small discrepancy, arises from various applications. For instance, low-discrepancy sequences, which are sequences with a discrepancy of order $((\log N)^d)/N$ ... More

Role of input atomic data in spectroscopic analyses of the Sun and metal-poor starsApr 08 2011Analysis of high-resolution stellar spectra relies heavily upon atomic data. These include energy levels, wavelengths, cross-sections for various types of interactions between particles and photons, such as photoionization and collision induced transitions. ... More

Ionization balance of Ti in the photospheres of the Sun and four late-type starsJan 04 2011In this paper we investigate statistical equilibrium of Ti in the atmospheres of late-type stars. The Ti I/Ti II level populations are computed with available experimental atomic data, except for photoionization and collision induced transition rates, ... More

The prime spectrum of a quantum Bruhat cell translateJul 08 1997Jul 10 1997The prime spectra of two families of algebras, $S^w$ and $\check{S}^w$, $w\in W,$ indexed by the Weyl group $W$ of a semisimple finitely dimensional are studied. The algebras $S^w$ have been introduced by A.~Joseph; they are $q$-analogues of the algebras ... More

The Two-Peak Model of LS I +61303: Radio Spectral Index AnalysisSep 10 2010The most puzzling aspect of the radio emission from LSI+61303 is that the large periodic radio outburst, with period equal to the orbital one, occurs very displaced from periastron passage, nearly at apoastron. In 1992, Taylor, one of the discoverers ... More

The 1D parabolic-parabolic Patlak-Keller-Segel model of chemotaxis: the particular integrable case and soliton solutionApr 27 2015Sep 28 2016In this paper we investigate the one-dimensional parabolic-parabolic Patlak-Keller-Segel model of chemotaxis. For the case when the diffusion coefficient of chemical substance is equal to two, in terms of travelling wave variables the reduced system appears ... More

Spectroscopic studies of star forming regionsDec 14 2006This paper reviews the results of studies of star forming regions, carried out at the Konkoly Observatory in the last two decades. The studies involved distance determination of star-forming dark clouds, search for candidate pre-main sequence stars, and ... More

SUSY@LHC.CERN.CHJan 01 2008I discuss the program of work towards discoveries at the LHC, and I include seeds for orientation and navigation in the parameter space given the foreseen multitude of excesses at startup.

Universality classes for the "ricepile" model with absorbing propertiesSep 10 1999The absorbing "ricepile" model with stochastic toppling rules has been numerically studied. Local limited, local unlimited, nonlocal limited and nonlocal unlimited versions of the absorbing model have been investigated. Transport properties and different ... More

The role of hadronic cascades in GRB models of efficient neutrino productionMay 29 2014We investigate the effects of hadronic cascades on the gamma-ray burst (GRB) prompt emission spectra in scenarios of efficient neutrino production. By assuming a fiducial GRB spectrum and a power-law proton distribution extending to ultra-high energies, ... More

"Boring formal methods" or "Sherlock Holmes deduction methods"?Dec 06 2016This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody" elective ... More

Closure properties of predicates recognized by deterministic and non-deterministic asynchronous automataOct 14 2010Let A be a finite alphabet and let L contained in (A*)^n be an n-variable language over A. We say that L is regular if it is the language accepted by a synchronous n-tape finite state automaton, it is quasi-regular if it is accepted by an asynchronous ... More

Bounding dimension of ambient space by density for mean curvature flowMar 01 2005For an ancient solution of the mean curvature flow, we show that each time slice M_t is contained in an affine subspace with dimension bounded in terms of the density and the dimension of the evolving submanifold. Recall that an ancient solution is a ... More

Quasi-analyticity and determinacy of the full moment problem from finite to infinite dimensionsMay 14 2014Dec 20 2016This paper is aimed to show the essential role played by the theory of quasi-analytic functions in the study of the determinacy of the moment problem on finite and infinite-dimensional spaces. In particular, the quasi-analytic criterion of self-adjointness ... More

On a generic Verma module at the critical level over affine Lie superalgebrasApr 12 2005Jan 23 2007We describe the structure of a Verma module with a generic highest weight at the critical level over a symmetrizable affine Lie superalgebra not of the type A(2k,2l)^{(4)}. We obtain the character formula for a simple module with a generic highest weight ... More

The dual of the James Tree space is asymptotically uniformly convexApr 26 2000The dual of the James Tree space is asymptotically uniformly convex.

Examples of cyclic polynomially bounded operators that are not similar to contractions, IIMar 09 2018May 15 2018The question if polynomially bounded operator is similar to a contraction was posed by Halmos and was answered in the negative by Pisier. His counterexample is an operator of infinite multiplicity, while all its restrictions on invariant subspaces of ... More

Generalization of the "Stark unit" for abelian L-functions with multiple zerosDec 14 2008For an abelian extension of number fields we show that the Stark conjecture for all Artin L-functions with zero of order r is equivalent to existence of a special element in the rational span of the r-th exterior power of the Galois module of units of ... More

Strongly typical representations of the basic classical Lie superalgebrasSep 20 2000The category of representations with a strongly typical central character of a basic classical Lie superalgebra is proven to be equivalent to the category of representations of its even part corresponding to an appropriate central character. For a Lie ... More

On the Ghost Centre of Lie SuperalgebrasOct 21 1999We define a notion of ghost centre of a Lie superalgebra g=g_0+g_1 which is a sum of invariants with respect to the usual adjoint action (centre) and invariants with respect to a twisted adjoint action (``anticentre''). We calculate the anticentre in ... More

Connection between the X-ray, UV and optical emission line regions of AGNsOct 30 2004In order to investigate the connection between the X-ray, UV and optical spectral line regions, we selected a sample of AGN which have the strong Fe K-alpha line and analyze the UV and optical spectral lines. Here we present an example of AGN NGC 3516. ... More

The Broad Line Region of AGN: Kinematics and PhysicsDec 23 2006In this paper a discussion of kinematics and physics of the Broad Line Region (BLR) is given. The possible physical conditions in the BLR and problems in determination of the physical parameters (electron temperature and density) are considered. Moreover, ... More

Diagnostics of Plasma Properties in Broad Line Region of AGNsSep 23 2003The Boltzmann-plot (BPT) method for laboratory plasma diagnostic was used for a quick estimate of physical conditions in the Broad Line Region (BLR) of 14 Active Galactic Nuclei (AGNs). For the BLR of nine AGNs, where PLTE exist, the estimated electron ... More

Observation of a H- Beam Ion InstabilityAug 19 2000We report the results of observations of H- beam instabilities at the Fermilab Linac. By intentionally creating "high" background pressure with different gases in the 750 keV transport line we observed coherent transverse beam oscillations. The minimal ... More

Transient sources at the highest angular resolutionFeb 26 2015By definition transients are sudden events, some, like supernovae, are catastrophic, while others might be due to recurrent phenomena. The aim of studying transients is to reveal the physical conditions causing them, in this sense ideal targets for monitoring ... More

Darboux points and integrability of homogeneous Hamiltonian systems with three and more degrees of freedom. Nongeneric casesMar 29 2009In this paper the problem of classification of integrable natural Hamiltonian systems with $n$ degrees of freedom given by a Hamilton function which is the sum of the standard kinetic energy and a homogeneous polynomial potential $V$ of degree $k>2$ is ... More

Finiteness of integrable $n$-dimensional homogeneous polynomial potentialsJan 30 2007We consider natural Hamiltonian systems of $n>1$ degrees of freedom with polynomial homogeneous potentials of degree $k$. We show that under a genericity assumption, for a fixed $k$, at most only a finite number of such systems is integrable. We also ... More

Differential Galois obstructions for integrability of homogeneous Newton equationsJan 29 2007n this paper we formulate necessary conditions for the integrability in the Jacobi sense of Newton equations $\ddot \vq=-\vF(\vq)$, where $\vq\in\C^n$ and all components of $\vF$ are polynomial and homogeneous of the same degree $l$. These conditions ... More

Introduction to Photon 2007Jul 13 2008The introductory remarks to the conference Photon 2007 organized at the Sorbonne in Paris in July 2007 are presented.

Testing Higgs sector of 2HDMDec 30 2005Properties of the Higgs sector of Two Higgs Doublet Model (2HDM) and existing constraints on its parameters are discussed. Potential of the Photon Linear Collider in testing various Higgs scenarios of 2HDM, including the MSSM, based on the realistic simulations ... More

Higgs Search at HERASep 25 1996Present data do not rule out a light neutral Higgs particle with mass below 40--50 GeV in the framework of 2HDM with $ tan \beta \sim $ 20-30. The promising possibility of searching for a light Higgs particle in such a scenario in photoproduction at HERA ... More

Photon-Photon and Electron-Photon Physics or Physics at Photon ColliderJul 25 2003A (updated) summary of the Photon-Photon and Electron-Photon physics session is presented.

On the Jacobson element and generators of the Lie algebra $\mathfrak{grt}$ in nonzero characteristicDec 03 2008Dec 04 2008We state a conjecture (due to M. Duflo) analogous to the Kashiwara--Vergne conjecture in the case of a characteristic $p>2$, where the role of the Campbell--Hausdorff series is played by the Jacobson element. We prove a simpler version of this conjecture ... More

Stream processing components: Isabelle/HOL formalisation and case studiesMay 07 2014This set of theories presents an Isabelle/HOL+Isar formalisation of stream processing components introduces in Focus, a framework for formal specification and development of interactive systems. This is an extended and updated version of the formalisation, ... More

Reliability Analysis of Processes with Moving Cracked MaterialOct 11 2015The reliability of processes with moving elastic and isotropic material containing initial cracks is considered in terms of fracture. The material is modelled as a moving plate which is simply supported from two of its sides and subjected to homogeneous ... More

Local vertex corrections from exchange-correlation kernels with a discontinuityMay 17 2018The fundamental gap of an interacting many-electron system is given by the sum of the single-particle Kohn-Sham gap and the derivative discontinuity. The latter can be generated by advanced approximations to the exchange-correlation (XC) energy and is ... More

Exact traveling wave solutions of 1D model of cancer invasionJun 15 2018In this paper we consider the continuous mathematical model of tumour growth and invasion based on the model introduced by Anderson, Chaplain et al. \cite{Anderson&Chaplain2000}, for the case of one space dimension. The model consists of a system of three ... More

Covariant version of the Stinespring type theorem for Hilbert C*-modulesJul 20 2010Sep 17 2010We prove a covariant version of the Stinespring theorem for Hilbert C*-modules.

Shapovalov determinants of Q-type Lie superalgebrasNov 25 2005We define an analogue of Shapovalov forms for Q-type Lie superalgebras and factorize the corresponding Shapovalov determinants which are responsible for simplicity of highest weight modules. We apply the factorization to obtain a description of the centres ... More

Induced representations of locally C*-algebrasAug 04 2005In this paper, by analogy with the case of C*-algebras, we define the notion of induced representation of a locally C*-algebra, and then we prove a imprimitivity theorem for induced representations of locally C*-algebras.

Blocks and families for cyclotomic Hecke algebrasJul 09 2008Jul 18 2011The families of characters, defined by Lusztig for Weyl groups, play an important role in the representation theory of finite reductive groups. The definition of Rouquier for the families of characters in terms of blocks of the Hecke algebra has made ... More

The unit map of the algebraic special linear cobordism spectrumAug 11 2019In joint work with Elmanto, Hoyois, Khan and Sosnilo, we computed infinite $\mathbb{P}^1$-loop spaces of motivic Thom spectra, using the technique of framed correspondences. This result allows us to express non-negative $\mathbb{G}_m$-homotopy groups ... More

A Radon-Nikodym type theorem for $α$-completely positive maps on groupsAug 07 2013We show that an operator valued $\alpha$-completely positive map on a group G is given by a unitary representation of G on a Krein space which satisfies some condition. Moreover, two unitary equivalent such unitary representations define the same {\alpha}-completely ... More

A sufficient condition for the similarity of a polynomially bounded operator to a contractionMar 27 2018Let $T$ be a polynomially bounded operator, and let $\mathcal M$ be its invariant subspace. Suppose that $P_{\mathcal M^\perp}T|_{\mathcal M^\perp}$ is similar to a contraction, while $\theta(T|_{\mathcal M})=0$, where $\theta$ is a finite product of ... More

Some supports of Fourier transforms of singular measures are not RajchmanFeb 17 2011The notion of Riesz sets tells us that a support of Fourier transform of a measure with non-trivial singular part has to be large. The notion of Rajchman sets tells us that if the Fourier transform tends to zero at infinity outside a small set, then it ... More

Formalisation and Analysis of Component DependenciesMay 13 2014This set of theories presents a formalisation in Isabelle/HOL+Isar of data dependencies between components. The approach allows to analyse system structure oriented towards efficient checking of system: it aims at elaborating for a concrete system, which ... More

Compositional properties of crypto-based componentsMay 13 2014This paper presents an Isabelle/HOL+Isar set of theories which allows to specify crypto-based components and to verify their composition properties wrt. cryptographic aspects. We introduce a formalisation of the security property of data secrecy, the ... More

Analysis of stellar spectra with 3D and NLTE modelsMar 12 2014Models of radiation transport in stellar atmospheres are the hinge of modern astrophysics. Our knowledge of stars, stellar populations, and galaxies is only as good as the theoretical models, which are used for the interpretation of their observed spectra, ... More

NLTE abundances of Cr in the Sun and metal-poor starsSep 28 2010We investigate statistical equilibrium of Cr in the atmospheres of late-type stars. The main goal is to ascertain the reason for a systematic abundance discrepancy between Cr I and Cr II lines, which is often encountered in spectroscopic analyses of metal-poor ... More

Applied Logic in EngineeringFeb 09 2016Logic not only helps to solve complicated and safety-critical problems, but also disciplines the mind and helps to develop abstract thinking, which is very important for any area of Engineering. In this technical report, we present an overview of common ... More

Ricci flow on homogeneous spaces with two isotropy summandsSep 13 2012We consider the Ricci flow equation for invariant metrics on compact and connected homogeneous spaces whose isotropy representation decomposes into two irreducible inequivalent summands. By studying the corresponding dynamical system, we completely describe ... More

Initial value problem for cohomogeneity one gradient Ricci solitonsJan 02 2011Consider a smooth manifold $M$. Let $G$ be a compact Lie group which acts on $M$ with cohomogeneity one. Let $Q$ be a singular orbit for this action. We study the gradient Ricci soliton equation $\Hess(u)+\Ric(g)+\frac{\epsilon}{2}g=0$ around $Q$. We ... More

NNPDF1.0 parton set for the LHCSep 22 2008We present the first NNPDF full set of Parton Distribution Functions from a comprehensive DIS analysis. This approach, combining a Monte Carlo sampling of the probability measure in the space of PDFs with the use of neural networks as interpolating functions, ... More

Structure Functions for the Virtual and Real PhotonsDec 14 2000Development of concepts related to the photon and its high energy hadronic interaction is briefly reviewed. A photon considered as an ideal probe of hadron structure, paradoxically is also considered as an ideal target to test the perturbative QCD. The ... More

Annihilation Theorem and Separation Theorem for basic classical Lie superalgebrasAug 17 2000In this article we prove that for a basic classical Lie superalgebra the annihilator of a strongly typical Verma module is a centrally generated ideal. For a basic classical Lie superalgebra of type I we prove that the localization of the enveloping algebra ... More

Group actions on pro-$C^{*}$-algebras and their pro-$C^{*}$-crossed productsJan 13 2014Oct 28 2014In this paper, we define the notions of full pro-$C^{*}$-crossed product, respectively reduced pro-$C^{*}$-crossed product, of a pro-$C^{*}$-algebra $A[\tau_{\Gamma}] $ by a strong bounded action $\alpha$ of a locally compact group $G$ and investigate ... More

Crossed products by Hilbert pro-C*-bimodules versus tensor productsOct 28 2014Feb 15 2015We show that if $(X.A)$ and $(Y,B)$ are two isomorphic Hilbert pro-$C^{\ast} $-bimodules, then the crossed product $A\times_{X}\mathbb{Z}$ of $A$ by $X$ and the crossed product $B\times_{Y}\mathbb{Z}$ of $B$ by $Y$ are isomorphic as pro-$C^{\ast}$-algebras. ... More

Comparison of Completely Positive Maps on Hilbert C*-ModulesJan 03 2012We prove a Radon-Nikodym type theorem for completely positive maps on Hilbert C*-modules.

Stationary random graphs with prescribed iid degrees on a spatial Poisson processSep 23 2015Let $[\mathcal{P}]$ be the points of a Poisson process on $\mathbb{R}^d$ and $F$ a probability distribution with support on the non-negative integers. Models are formulated for generating translation invariant random graphs with vertex set $[\mathcal{P}]$ ... More