Results for "Maria Nikolayevna Drozdovskaya"
total 5601took 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 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 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 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 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 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 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 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 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 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 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 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 A Novel Approach for Computing Hilbert FunctionsDec 05 2018One standard approach to compute the Hilbert function of any graded module over a field is to come up with a free-resolution for the graded module and another is via a Hilbert power series which serves as a generating function. The proposed approaches ... 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 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 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. 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 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 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 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 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 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 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 "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 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 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. Rouquier blocks of the cyclotomic Ariki-Koike algebrasApr 12 2008Oct 13 2008The definition of Rouquier for the families of characters of Weyl groups in terms of blocks of the associated Iwahori-Hecke algebra has made possible the generalization of this notion to the complex reflection groups. Here we give an algorithm for the ... More Rouquier blocks of the cyclotomic Hecke algebras of G(de,e,r)May 02 2008Nov 26 2009The "Rouquier blocks" of the cyclotomic Hecke algebras, introduced by Rouquier, are a substitute for the "families of characters", defined by Lusztig for Weyl groups, which can be applied to all complex reflection groups. In this article, we determine ... More Precision muon g-2 results and light Higgs bosons in the 2HDM(II)Aug 07 2002Aug 24 2002We discuss the implications of the recent evaluations of the SM contribution to a_mu=(g-2)_mu/2 in the light of the latest E821 measurement, which indicate \~ 3 sigma deviation. We derive the 95 % CL interval, delta a_mu, to be used to constrain any additional ... More Two Higgs Doublet ModelsJul 09 1996Present data do not rule out the light neutral Higgs particle $h$ or $A$ in the framework of the general 2HDM. The discovery reach/exclusion limits of the Yukawa process $Z\rightarrow f {\bar f} h/A$, ($f= b$ quark or $\tau$ lepton) at LEP I and of the ... More 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 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