Results for "Maria Nikolayevna Drozdovskaya"
total 6737took 0.10s
The chemical connection between 67P/C-G and IRAS 16293-2422Feb 08 2018The chemical evolution of a star- and planet-forming system begins in the prestellar phase and proceeds across the subsequent evolutionary phases. The chemical trail from cores to protoplanetary disks to planetary embryos can be studied by comparing distant ... More Methanol Along the Path from Envelope to Protoplanetary DiscSep 08 2014Interstellar methanol is considered to be a parent species of larger, more complex organic molecules. A physicochemical simulation of infalling parcels of matter is performed for a low-mass star-forming system to trace the chemical evolution from cloud ... 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 The Erdös-Hajnal Conjecture---A SurveyJun 28 2016The Erd\"os-Hajnal conjecture states that for every graph $H$, there exists a constant $\delta(H) > 0$ such that every graph $G$ with no induced subgraph isomorphic to $H$ has either a clique or a stable set of size at least $|V(G)|^{\delta(H)}$. This ... 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 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 Radio-loud and Radio-quiet X-ray Binaries: LSI+61303 in ContextOct 21 2004The three basic ingredients - a spinning compact object, an accretion disc and a collimated relativistic jet - make microquasars a galactic scaled-down version of the radio-loud AGN. That explains the large interest attributed to this new class of objects, ... 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 Towards Focus on TimeMar 05 2014This short paper introduces a model for the specification and verification of real-time system design: timed state transition diagrams. Regenerative processesApr 22 2014We review the theory of regenerative processes, which are processes that can be intuitively seen as comprising of i.i.d.\ cycles. Although we focus on the classical definition, we present a more general definition that allows for some form of dependence ... More Crossed products of locally C*-algebras and Morita equivalenceMay 25 2007Oct 02 2007We introduce the notion of strong Morita equivalence for group actions on locally C*-algebras and prove that the crossed products associated with two strongly Morita equivalent continuous inverse limit actions of a locally compact group G on the locally ... More First solar observations with ALMASep 03 2018The Atacama Large Millimeter-Submillimeter Array (ALMA) has opened a new window for studying the Sun via high-resolution high-sensitivity imaging at millimeter wavelengths. In this contribution I review the capabilities of the instrument for solar observing ... More A Multiquadratic Field Generalization of Artin's ConjectureFeb 15 2012Sep 08 2014We prove that (under the assumption of the generalized Riemann hypothesis) a totally real multiquadratic number field $K$ has a positive density of primes $p \in \mathbb{Z}$ for which the image of the unit group $(\mathcal{O}_K)^{\times})$ in $(\mathcal{O}_K/p\mathcal{O}_K)^{\times})$ ... More Status of 2HDM with a Light Higgs ParticleDec 24 1996Present data do not rule out the light neutral Higgs particle h or A with mass below 40--50 GeV in the framework of the general 2HDM ("Model II"). The status of this model in a light of existing LEP I data and a potential of the new muon experiment (g-2), ... More Are bottom PDFs needed at the LHC?Jul 21 2014Processes involving bottom quarks play a crucial role in the LHC phenomenology, from flavour physics to Higgs characterisation and as a window to new physics, appearing both as signals and irreducible background in BSM searches. These processes can be ... More NNLO analysis of the LHC W lepton charge asymmetry dataOct 11 2011The reweighting method presented in earlier publications is applied for incorporating the LHC W lepton asymmetry data published in 2010 into the NNPDF2.1 NNLO analysis. We confirm the result of the NLO analysis which indicated that these data reduce PDF ... More Time-dependent modelling of PKS 2155-304 in a low stateSep 12 2014We apply both leptonic and leptohadronic emission scenarios for modelling the multiwavelength photon spectra and the observed variability in the optical, X-ray, and TeV gamma-ray energy bands of blazar PKS 2155-304 while being in a low state between 25 ... More Edge Universality for Orthogonal Ensembles of Random MatricesDec 17 2008We prove edge universality of local eigenvalue statistics for orthogonal invariant matrix models with real analytic potentials and one interval limiting spectrum. Our starting point is the result of \cite{S:08} on the representation of the reproducing ... More An Attack on Flexibility and Stoker's ProblemDec 16 2015Oct 08 2016In view of solving problems of geometric realizability of polyhedra with given geometric constraints, we describe the space of geometric realizations of a simply-connected triangulated euclidean polyhedron in $\mathbb{R}^3$ up to similarity in terms of ... More Scattered locally C*-algebrasJun 05 2016In this paper, we introduce the notion of a scattered locally $C^{\ast }$ -algebra and we give conditions for a locally $C^{\ast }$-algebra to be scattered. Given an action $\alpha $ of a locally compact group $G$ on a scattered locally $C^{\ast }$-algebra ... More The Higgs System in and Beyond the Standard ModelJan 28 2014After the discovery of the Higgs boson particle on the 4th of July of 2012 at the Large Hadron Collider, sited at the european CERN laboratory, we are entering in a fascinating period for Particle Physics where both theorists and experimentalists are ... More Continued Fraction Expansions of Matrix EigenvectorsOct 11 2008We examine various properties of the continued fraction expansions of matrix eigenvector slopes of matrices from the SL(2, Z) group. We calculate the average period length, maximum period length, average period sum, maximum period sum and the distributions ... More Renewal processes with costs and rewardsApr 22 2014We review the theory of renewal reward processes, which describes renewal processes that have some cost or reward associated with each cycle. We present a new simplified proof of the renewal reward theorem that mimics the proof of the elementary renewal ... More On Hilbert modules over locally C*-algebras IIAug 02 2005In this paper we study the unitary equivalence between Hilbert modules over a locally C*-algebra. Also, we prove a stabilization theorem for countably generated modules over an arbitrary locally C*-algebra and show that a Hilbert module over a Frechet ... More Crossed products of locally C*-algebrasDec 06 2005The crossed products of locally C*-algebras are defined and a Takai duality theorem for inverse limit actions of a locally compact group on a locally C*-algebra is proved. The $\mathrm{GL}_4$ Rapoport-Zink SpaceNov 05 2018We give a description of the $\mathrm{GL}_4$ Rapoport-Zink space, including the connected components, irreducible components, intersection behavior of the irreducible components, and Ekedahl-Oort stratification. As an application of this, we also give ... More Late-type Stars in the Inner GalaxyJul 27 2004Asymptotic Giant Branch (AGB) stars are good tracers of the Galactic structure. They are bright in the infrared and can therefore be detected even in the most obscured regions of the Galaxy. Maser emission from their circumstellar envelopes can be detected ... 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 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. Photoproduction of isolated photons at HERA in NLO QCDOct 18 2001The NLO QCD calculation for the photoproduction of the isolated photon with a large $p_T$ at the HERA $ep$ collider is presented. The single resolved photon contribution and the QCD corrections of order $\alpha_s$ to the Born term are consistently included. ... More Towards the NNPDF3.0 parton set for the second LHC runJul 11 2014The full exploitation of the increasingly precise LHC measurements is essential in order to reduce the uncertainty of theoretical predictions at hadron colliders. The NNPDF2.3 fit was the first PDF determination including the effect of the early LHC data. ... 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 Invariant algebraic curves for Liénard dynamical systems revisitedMar 21 2018Apr 20 2018A novel algebraic method for finding invariant algebraic curves for a polynomial vector field in $\mathbb{C}^2$ is introduced. The structure of irreducible invariant algebraic curves for Li\'{e}nard dynamical systems $x_t=y$, $y_t=-g(x)y-f(x)$ with $\text{deg} ... More On the cyclotomic Hecke algebras of complex reflection groupsOct 03 2007Following the definition of Rouquier for the "families of characters" of a Weyl group and its generalization to the case of complex reflection groups, already appeared in the works of Broue-Kim and Malle-Rouquier, we show that these "families" depend ... More On multipliers of Hilbert modules over locally C*-algebrasJul 08 2007In this paper, we investigate the structure of the multiplier module of a Hilbert module over a locally C*-algebra and the relationship between the set of all adjointable operators from a Hilbert A-module E to a Hilbert A-module F and the set of all adjointable ... 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 A non-increasing Lindley-type equationApr 22 2014In this paper we study the Lindley-type equation $W=\max\{0, B - A - W\}$. Its main characteristic is that it is a non-increasing monotone function in its main argument $W$. Our main goal is to derive a closed-form expression of the steady-state distribution ... More Hermitian Structures and Compatible Connections on A-bundlesOct 15 1998A-manifolds and A-bundles are manifolds and vector bundles modelled on a projective finitely generated module over a topological algebra A. In this paper we investigate the conditions under which an A-bundle is provided with an A-valued hermitian structure ... More Cometary ices in forming protoplanetary disc midplanesJul 26 2016Low-mass protostars are the extrasolar analogues of the natal Solar System. Sophisticated physicochemical models are used to simulate the formation of two protoplanetary discs from the initial prestellar phase, one dominated by viscous spreading and the ... 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 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