total 7590took 0.12s

Using learning to control artificial avatars in human motor coordination tasksOct 09 2018Designing artificial cyber-agents able to interact with human safely, smartly and in a natural way is a current open problem in control. Solving such an issue will allow the design of cyber-agents capable of co-operatively interacting with people in order ... More

A non-linear observer for unsteady three-dimensional flowsFeb 07 2007A method is proposed to estimate the velocity field of an unsteady flow using a limited number of flow measurements. The method is based on a non-linear low-dimensional model of the flow and on expanding the velocity field in terms of empirical basis ... More

Acustica con una Bic e uno smartphoneJan 09 2014A smartphone, with its integrated sensors and cpu, can aid experiments in many different areas of Physics. We show how the resonant frequencies of a pipe can be measured using a smartphone and a Bic pen.

Algebra in Bishop's style: some major features of the book "A Course in Constructive Algebra'' by Mines, Richman, and RuitenburgMar 11 2019The book "A Course in Constructive Algebra" (1988) shows the way of understanding classical basic algebra in a constructive style similar to Bishop's Constructive Mathematics. Classical theorems are revisited, with a new flavour, and become much more ... More

Deep learning control of artificial avatars in group coordination tasksJun 11 2019In many joint-action scenarios, humans and robots have to coordinate their movements to accomplish a given shared task. Lifting an object together, sawing a wood log, transferring objects from a point to another are all examples where motor coordination ... More

Hidden constructions in abstract algebra. Krull Dimension of distributive lattices and commutative ringsDec 30 2017We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espa\~nol and the authors. We show that the notion of Krull dimension has an ... More

Constructions cachées en algèbre abstraite. Dimension de Krull, Going Up, Going Down (revised version, 2008)Dec 13 2017Apr 09 2018Nous rappelons des versions constructives de la th\'eorie de la dimension de Krull dans les anneaux commutatifs et dans les treillis distributifs, dont les bases ont \'et\'e pos\'ees par Joyal, Espan\~ol et les deux auteurs. Nous montrons sur les exemples ... More

Algèbre commutative Méthodes constructivesNov 08 2016May 07 2019This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules, which constitutes the algebraic version of the vector bundles in differential geometry. We adopt the constructive point ... More

Quantum and semiclassical phase functions for the quantization of symmetric oscillatorsJun 20 2007We investigate symmetric oscillators, and in particular their quantization, by employing semiclassical and quantum phase functions introduced in the context of Liouville-Green transformations of the Schr\"{o}dinger equation. For anharmonic oscillators, ... More

Hidden constructions in abstract algebra, Krull Dimension, Going Up, Going DownDec 13 2017We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espan\~ol and the authors. We show that this gives a constructive version of ... More

Study of movement coordination in human ensembles via a novel computer-based set-upJul 29 2016Movement coordination in human ensembles has been studied little in the current literature. In the existing experimental works, situations where all subjects are connected with each other through direct visual and auditory coupling, and social interaction ... More

Virtualization Technologies and Cloud Security: advantages, issues, and perspectivesJul 29 2018Aug 02 2018Virtualization technologies allow multiple tenants to share physical resources with a degree of security and isolation that cannot be guaranteed by mere containerization. Further, virtualization allows protected transparent introspection of Virtual Machine ... More

Local Bézout Theorem for Henselian ringsDec 14 2015Nov 07 2016This paper gives an elementary proof of an improved version of the algebraic Local B\'ezout Theorem (given by the authors in JSC 45 (2010) 975--985). Here we remove some ad hoc hypotheses and obtain an optimal algebraic version of the theorem. Given a ... More

Calibration of the ASTRI SST-2M Prototype using Muon Ring ImagesJul 19 2013The study of ring images generated from high-energy muons is a very useful tool for the performance monitoring and calibration of any Imaging Atmosphere Cherenkov Telescope. Isolated muons travelling towards the telescope light collector system produce ... More

Revisiting Zariski Main Theorem from a constructive point of viewFeb 01 2016This paper deals with the Peskine version of Zariski Main Theorem published in 1965 and discusses some applications. It is written in the style of Bishop's constructive mathematics. Being constructive, each proof in this paper can be interpreted as an ... More

Detection prospects for short time-scale transient events at VHE with current and next generation Cherenkov observatoriesJul 12 2013In the current view of Gamma-Ray Burst (GRB) phenomena, an emission component extending up to the very-high energy (VHE, E > 30 GeV) domain is though to be a relatively common feature at least in the brightest events. This leads to an unexpected richness ... More

Dimension de Heitmann des treillis distributifs et des anneaux commutatifsDec 05 2017We study a notion of dimension which was introduced by R. Heitmann in his remakable paper in 1984, and also a related notion, implicit in the proofs in his paper. We develop these notions in the general framework of distributive lattices and spectral ... More

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

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

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

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

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

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 $\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

Handling temporality of clinical events with application to Adverse Drug Event detection in Electronic Health Records: A scoping reviewApr 09 2019The increased adoption of Electronic Health Records(EHRs) has brought changes to the way the patient care is carried out. The rich heterogeneous and temporal data space stored in EHRs can be leveraged by machine learning models to capture the underlying ... 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

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.

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.

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

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

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

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

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

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

Lagrange stability of semilinear differential-algebraic equations and application to nonlinear electrical circuitsFeb 13 2018We study a semilinear differential-algebraic equation (DAE) with the focus on the Lagrange stability (instability). The conditions for the existence and uniqueness of global solutions (a solution exists on an infinite interval) of the Cauchy problem, ... 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

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

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

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

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

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

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

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.

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

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

Proper holomorphic mappings, Bells formula and the Lu Qi-Keng problem on tetrablockMar 31 2013We consider a proper holomorphic map form D to G domains in C^n and show that it induces a unitary isomorphism between the Bergman space A^2(G) and some subspace of A^2(D). Using this isomorphism we construct orthogonal projection onto that subspace and ... 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

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

Poisson structures on manifolds with singularitiesDec 21 2013Configuration spaces of many real mechanical systems appear to be manifolds with singularity. A singularity often indicates that geometry of motion may change at the singular point of configuration space. We face conceptual problem describing even mechanics ... 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

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

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.

Estimates for the squeezing function near strictly pseudoconvex boundary points with applicationsAug 23 2018An extension of the estimates for the squeezing function of strictly pseudoconvex domains obtained recently by J. E. Forn\ae ss and E. Wold in \cite{FW1} is applied to derive a sharp boundary behaviour of invariant metrics and Bergman curvatures.

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

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