total 4566took 0.17s

Eight-cluster structure of chloroplast genomes differs from similar one observed for bacteriaFeb 08 2018Previously, a seven-cluster pattern claiming to be a universal one in bacterial genomes has been reported. Keeping in mind the most popular theory of chloroplast origin, we checked whether a similar pattern is observed in chloroplast genomes. Surprisingly, ... More

Reflexive spatial behaviour does not guarantee evolution advantage in prey--predator communitiesMay 12 2014We consider the model of spatially distributed population consisting of two species with "\textsl{predator\,--\,prey}" interaction; each of the species occupies two stations. Transfer of individuals between the stations (migration) is not random and yields ... More

Simple Model of Complex Reflection Behaviour in Two-Species CommunityJun 14 2007The model of smart migration for two-species community is developed, where the individuals implement reflexive strategy of spatial redistribution. Simulations have been used to figure out the situations where reflexy gives an advantage over a non-reflexive ... 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

Photon and its hadronic interactionDec 24 2003A short overview of basics aspects of hadronic interaction of the photon is presented.

Looking for a Light Higgs Particle at Present and Future CollidersSep 25 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 recent limits from LEP I on the parameters of the model, based on the Bjorken process $Z \to Z h$, ... 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

Constraints on the Higgs Sector from Processes Involving PhotonsDec 31 1998The Higgs sector of the Standard Model and of the Two Higgs Doublet Extensions of SM, MSSM and the general 2HDM, can be tested in processes involving photons. A short review of the corresponding results is presented.

Where is the Higgs boson?Dec 24 1998The status of the Higgs boson search in the Standard Model and beyond it is presented.

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

Analysis on harmonic extensions of H-type groupsMar 18 2015The subject of this PhD thesis is harmonic analysis on solvable extensions of H-type groups. Let N be an H-type group and S=NA be its solvable extension of rank one. The author study the weak type 1 boundedness of suitable Hardy-Littlewood maximal functions ... More

The Area Formula for Lipschitz Mappings of Carnot--Carathéodory SpacesOct 25 2011We prove the sub-Riemannian analog of the area formula for Lipschitz (in sub-Riemannian sense) mappings of equiregular Carnot--Carath\'{e}odory spaces.

Weyl denominator identity for the affine Lie superalgebra gl(2|2)^Jul 25 2010We prove the Weyl denominator identity for the affine Lie superalgebra gl(2|2)^ conjectured by V. Kac and M. Wakimoto. As it was pointed out in their paper, this gives another proof of Jacobi identity for the number of presentations of a given integer ... More

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

On models of non-Eucludian spaces generated by associative algebrasDec 09 2009We present the non-trivial example how to generate non-Euclidean geometries from associative unital algebras. We consider bundles of the sphere of the degenerate non-Eucleadian space and its two models. The first (conformal) model is obtained by the mapping ... 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.

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.

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

It is not a Coincidence! On Curious Patterns in Calculus Optimization ProblemsMar 22 2016Jul 13 2016In this paper we consider a few Calculus optimization problems in which we notice peculiar patterns. In each of these cases there is a geometric explanation for the pattern showing that it is not just a coincidence.

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

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

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

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].

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.

Realization and Extension of Abstract Operation Contracts for Program LogicJan 18 2015For engineering software with formal correctness proofs it is crucial that proofs can be efficiently reused in case the software or its specification is changed. Unfortunately, in reality even slight changes in the code or its specification often result ... 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

Numerical methods for checking the regularity of subdivision schemesFeb 10 2012In this paper, motivated by applications in computer graphics and animation, we study the numerical methods for checking $C^k-$regularity of vector multivariate subdivision schemes with dilation 2I. These numerical methods arise from the joint spectral ... More

Weyl denominator identity for finite-dimensional Lie superalgebrasMay 08 2009Jul 26 2010Weyl denominator identity for finite-dimensional Lie superalgebras, conjectured by V.~Kac and M.~Wakimoto in 1994, is proven.

Weyl denominator identity for affine Lie superalgebras with non-zero dual Coxeter numberNov 30 2009Weyl denominator identity for the affinization of a basic Lie superalgebra with a non-zero Killing form was formulated by Kac and Wakimoto and was proven by them in defect one case. In this paper we prove this identity.

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

Darboux points and integrability of homogeneous Hamiltonian systems with three and more degrees of freedomMar 29 2009We consider natural complex Hamiltonian systems with $n$ degrees of freedom given by a Hamiltonian function which is a sum of the standard kinetic energy and a homogeneous polynomial potential $V$ of degree $k>2$. The well known Morales-Ramis theorem ... More

Collider Experiment: Strings, Branes and Extra DimensionsMay 12 2003May 18 2003Selected topics showcasing the exploration for new physics using colliders; presented at TASI 2001.

The (g-2)_mu data and the lightest Higgs boson in 2HDM(II)Dec 07 2001Dec 09 2001The present limits on the lightest Higgs boson in 2HDM (II) in light of the new E821 measurement of g-2 for the muon are discussed.

ECFA-Summary: Higgs, gamma-gamma and e-gamma physicsDec 24 2003Recent results obtained within ECFA/DESY and ECFA Study by the Higgs and gamma gamma /e gamma physics working groups are presented.

The new (g-2) for muon measurement and limits on the light Higgs bosons in 2HDM (II)Mar 20 2001Oct 01 2001We discuss how new data for a_{mu}= (g-2)_{mu}/2 improve constraints on new physics. Using two types of estimations of a_{mu}^{had} (Davier & H"{o}cker (case A) and Jegerlehner2000 (case B)) we evaluate 95% CL intervals for a new contribution, which can ... More

The Structure of the Photon in Hard Hadronic ProcessesDec 24 1997The concept of the structure of the photon is discussed and the progress in the measurement of various structure functions of the photon as well of parton distributions in the photon is shortly reviewed.

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

A Radon-Nikodym theorem for completely multi-positive linear maps and applicationsOct 04 2005052<p type="texpara" tag="Body Text" et="abstract" >A completely $n$ -positive linear map from a locally $C^{\ast}$-algebra $A$ to another locally $C^{\ast}$-algebra $B $is an $n\times n$ matrix whose elements are continuous linear maps from $A$ to $B$ ... 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

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

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

Boundedness of derivatives and anti-derivatives of holomorphic functions as a rare phenomenonNov 16 2016In this article we prove a general result which in particular suggests that, on a simply connected domain in C, all the derivatives and anti-derivatives of the generic holomorphic function are unbounded. A similar result holds for the operator of partial ... More

Hilbert-Schmidt groups as infinite-dimensional Lie groups and their Riemannian geometryJun 14 2005We describe the exponential map from an infinite-dimensional Lie algebra to an infinite-dimensional group of operators on a Hilbert space. Notions of differential geometry are introduced for these groups. In particular, the Ricci curvature, which is understood ... 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.

Back-propagation of accuracyMay 22 2003Nov 15 2004In this paper we solve the problem: how to determine maximal allowable errors, possible for signals and parameters of each element of a network proceeding from the condition that the vector of output signals of the network should be calculated with given ... 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

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

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

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

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

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

A Radon-Nikodym theorem for completely n-positive linear maps on pro-C*-algebras and its applicationsJan 09 2007The order relation on the set of completely n-positive linear maps from a pro-C*-algebra A to L(H), the C*-algebra of bounded linear operators on a Hilbert space H, is characterized in terms of the representation associated with each completely n-positive ... 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

Degree and valuation of the Schur elements of cyclotomic Hecke algebrasFeb 28 2008Aug 12 2008Following the generalization of the notion of families of characters, defined by Lusztig for Weyl groups, to the case of complex reflection groups, thanks to the definition given by Rouquier, we show that the degree and the valuation of the Schur elements ... 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

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

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

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 dual of the James Tree space is asymptotically uniformly convexApr 26 2000The dual of the James Tree space is asymptotically uniformly convex.

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

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

An application of a functional inequality to quasi-invariance in infinite dimensionsFeb 03 2016One way to interpret smoothness of a measure in infinite dimensions is quasi-invariance of the measure under a class of transformations. Usually such settings lack a reference measure such as the Lebesgue or Haar measure, and therefore we can not use ... More

Covariant completely positive linear maps between locally C*-algebrasSep 05 2006We prove a covariant version of the KSGNS (Kasparov, Stinespring, Gel'fand,Naimark,Segal) construction for completely positive linear maps between locally $C^{*}$-algebras. As an application of this construction, we show that a covariant completely positive ... 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

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

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

"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

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

Correction to Partial Fraction Decomposition Coefficients for Chebyshev Rational Approximation on the Negative Real AxisJun 13 2012Chebyshev rational approximation can be a viable method to compute the exponential of matrices with eigenvalues in the vicinity of the negative real axis, and it was recently applied successfully to solving nuclear fuel burnup equations. Determining the ... 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

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

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.

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