@unpublished{PrasseGrubenMachlikaetal.2016, author = {Prasse, Paul and Gruben, Gerrit and Machlika, Lukas and Pevny, Tomas and Sofka, Michal and Scheffer, Tobias}, title = {Malware Detection by HTTPS Traffic Analysis}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-100942}, pages = {10}, year = {2016}, abstract = {In order to evade detection by network-traffic analysis, a growing proportion of malware uses the encrypted HTTPS protocol. We explore the problem of detecting malware on client computers based on HTTPS traffic analysis. In this setting, malware has to be detected based on the host IP address, ports, timestamp, and data volume information of TCP/IP packets that are sent and received by all the applications on the client. We develop a scalable protocol that allows us to collect network flows of known malicious and benign applications as training data and derive a malware-detection method based on a neural networks and sequence classification. We study the method's ability to detect known and new, unknown malware in a large-scale empirical study.}, language = {en} } @unpublished{LyTarkhanov2013, author = {Ly, Ibrahim and Tarkhanov, Nikolai Nikolaevich}, title = {Generalised Beltrami equations}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-67416}, year = {2013}, abstract = {We enlarge the class of Beltrami equations by developping a stability theory for the sheaf of solutions of an overdetermined elliptic system of first order homogeneous partial differential equations with constant coefficients in the Euclidean space.}, language = {en} } @unpublished{Roelly2013, author = {Roelly, Sylvie}, title = {Reciprocal processes : a stochastic analysis approach}, issn = {2193-6943}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-64588}, year = {2013}, abstract = {Reciprocal processes, whose concept can be traced back to E. Schr{\"o}dinger, form a class of stochastic processes constructed as mixture of bridges, that satisfy a time Markov field property. We discuss here a new unifying approach to characterize several types of reciprocal processes via duality formulae on path spaces: The case of reciprocal processes with continuous paths associated to Brownian diffusions and the case of pure jump reciprocal processes associated to counting processes are treated. This presentation is based on joint works with M. Thieullen, R. Murr and C. L{\´e}onard.}, language = {en} } @unpublished{CattiauxFradonKuliketal.2013, author = {Cattiaux, Patrick and Fradon, Myriam and Kulik, Alexei Michajlovič and Roelly, Sylvie}, title = {Long time behavior of stochastic hard ball systems}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-68388}, year = {2013}, abstract = {We study the long time behavior of a system of two or three Brownian hard balls living in the Euclidean space of dimension at least two, submitted to a mutual attraction and to elastic collisions.}, language = {en} } @unpublished{LeonardRoellyZambrini2013, author = {L{\´e}onard, Christian and Roelly, Sylvie and Zambrini, Jean-Claude}, title = {Temporal symmetry of some classes of stochastic processes}, issn = {2193-6943}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-64599}, year = {2013}, abstract = {In this article we analyse the structure of Markov processes and reciprocal processes to underline their time symmetrical properties, and to compare them. Our originality consists in adopting a unifying approach of reciprocal processes, independently of special frameworks in which the theory was developped till now (diffusions, or pure jump processes). This leads to some new results, too.}, language = {en} } @unpublished{NehringPoghosyanZessin2013, author = {Nehring, Benjamin and Poghosyan, Suren and Zessin, Hans}, title = {On the construction of point processes in statistical mechanics}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-64080}, year = {2013}, abstract = {By means of the cluster expansion method we show that a recent result of Poghosyan and Ueltschi (2009) combined with a result of Nehring (2012) yields a construction of point processes of classical statistical mechanics as well as processes related to the Ginibre Bose gas of Brownian loops and to the dissolution in R^d of Ginibre's Fermi-Dirac gas of such loops. The latter will be identified as a Gibbs perturbation of the ideal Fermi gas. On generalizing these considerations we will obtain the existence of a large class of Gibbs perturbations of the so-called KMM-processes as they were introduced by Nehring (2012). Moreover, it is shown that certain "limiting Gibbs processes" are Gibbs in the sense of Dobrushin, Lanford and Ruelle if the underlying potential is positive. And finally, Gibbs modifications of infinitely divisible point processes are shown to solve a new integration by parts formula if the underlying potential is positive.}, language = {en} } @unpublished{Keller2013, author = {Keller, Peter}, title = {Mathematical modeling of molecular motors}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-63045}, year = {2013}, abstract = {Amongst the many complex processes taking place in living cells, transport of cargoes across the cytosceleton is fundamental to cell viability and activity. To move cargoes between the different cell parts, cells employ Molecular Motors. The motors operate by transporting cargoes along the so-called cellular micro-tubules, namely rope-like structures that connect, for instance, the cell-nucleus and outer membrane. We introduce a new Markov Chain, the killed Quasi-Random-Walk, for such transport molecules and derive properties like the maximal run length and time. Furthermore we introduce permuted balance, which is a more flexible extension of the ordinary reversibility and introduce the notion of Time Duality, which compares certain passage times pathwise. We give a number of sufficient conditions for Time Duality based on the geometry of the transition graph. Both notions are closely related to properties of the killed Quasi-Random-Walk.}, language = {en} } @unpublished{RoellyRuszel2013, author = {Roelly, Sylvie and Ruszel, Wioletta M.}, title = {Propagation of Gibbsianness for infinite-dimensional diffusions with space-time interaction}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-69014}, year = {2013}, abstract = {We consider infinite-dimensional diffusions where the interaction between the coordinates has a finite extent both in space and time. In particular, it is not supposed to be smooth or Markov. The initial state of the system is Gibbs, given by a strong summable interaction. If the strongness of this initial interaction is lower than a suitable level, and if the dynamical interaction is bounded from above in a right way, we prove that the law of the diffusion at any time t is a Gibbs measure with absolutely summable interaction. The main tool is a cluster expansion in space uniformly in time of the Girsanov factor coming from the dynamics and exponential ergodicity of the free dynamics to an equilibrium product measure.}, language = {en} } @unpublished{ShlapunovTarkhanov2013, author = {Shlapunov, Alexander and Tarkhanov, Nikolai Nikolaevich}, title = {Sturm-Liouville problems in domains with non-smooth edges}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-67336}, year = {2013}, abstract = {We consider a (generally, non-coercive) mixed boundary value problem in a bounded domain for a second order elliptic differential operator A. The differential operator is assumed to be of divergent form and the boundary operator B is of Robin type. The boundary is assumed to be a Lipschitz surface. Besides, we distinguish a closed subset of the boundary and control the growth of solutions near this set. We prove that the pair (A,B) induces a Fredholm operator L in suitable weighted spaces of Sobolev type, the weight function being a power of the distance to the singular set. Moreover, we prove the completeness of root functions related to L.}, language = {en} } @unpublished{KiselevTarkhanov2013, author = {Kiselev, Oleg and Tarkhanov, Nikolai Nikolaevich}, title = {The capture of a particle into resonance at potential hole with dissipative perturbation}, issn = {2193-6943}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-64725}, year = {2013}, abstract = {We study the capture of a particle into resonance at a potential hole with dissipative perturbation and periodic outside force. The measure of resonance solutions is evaluated. We also derive an asymptotic formula for the parameter range of those solutions which are captured into resonance.}, language = {en} } @unpublished{AlsaedyTarkhanov2013, author = {Alsaedy, Ammar and Tarkhanov, Nikolai Nikolaevich}, title = {Normally solvable nonlinear boundary value problems}, issn = {2193-6943}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-65077}, year = {2013}, abstract = {We study a boundary value problem for an overdetermined elliptic system of nonlinear first order differential equations with linear boundary operators. Such a problem is solvable for a small set of data, and so we pass to its variational formulation which consists in minimising the discrepancy. The Euler-Lagrange equations for the variational problem are far-reaching analogues of the classical Laplace equation. Within the framework of Euler-Lagrange equations we specify an operator on the boundary whose zero set consists precisely of those boundary data for which the initial problem is solvable. The construction of such operator has much in common with that of the familiar Dirichlet to Neumann operator. In the case of linear problems we establish complete results.}, language = {en} } @unpublished{Murr2011, author = {Murr, R{\"u}diger}, title = {Characterization of L{\´e}vy Processes by a duality formula and related results}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-43538}, year = {2011}, abstract = {Processes with independent increments are characterized via a duality formula, including Malliavin derivative and difference operators. This result is based on a characterization of infinitely divisible random vectors by a functional equation. A construction of the difference operator by a variational method is introduced and compared to approaches used by other authors for L´evy processes involving the chaos decomposition. Finally we extend our method to characterize infinitely divisible random measures.}, language = {en} } @unpublished{Franz2010, author = {Franz, Norbert P.}, title = {Who shot K.G.? : Akunin ermittelt}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-46364}, year = {2010}, abstract = {Vortrag gehalten auf dem Dritten Internationalen Cechov-Symposium in Badenweiler (Oktober 2004).}, language = {de} } @unpublished{Siegert2010, author = {Siegert, Sabine}, title = {Das Sankt-Petersburg-Paradoxon}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49595}, year = {2010}, abstract = {Aus dem Inhalt: 1 Einleitung 2 Historische L{\"o}sungsans{\"a}tze 3 Martingal-Ansatz 4 Markovketten-Ansatz 5 Asymptotische Interpretationen 6 Bezug zur Praxis 7 R{\´e}sum{\´e} Anhang Literaturverzeichnis}, language = {de} } @unpublished{Roelly2010, author = {Roelly, Sylvie}, title = {Unas propiedades basicas de procesos de ramificaci{\´o}n : Lectures held at ICIMAF La Habana, Cuba, 2009 and 2010}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49620}, year = {2010}, abstract = {Aus dem Inhalt: 1. Unas propiedades de los procesos de Bienaym{\´e}-Galton-Watson de tiempo dis- creto (BGW) 2. Unas propiedades del proceso BGW de tiempo continuo 3. Limites de procesos de BGW cuando la poblaci{\´o}n es numerosa}, language = {mul} } @unpublished{Penisson2010, author = {P{\´e}nisson, Sophie}, title = {Estimation of the infection parameter in the different phases of an epidemic modeled by a branching process}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49607}, year = {2010}, abstract = {The aim of this paper is to build and compare estimators of the infection parameter in the different phases of an epidemic (growth and extinction phases). The epidemic is modeled by a Markovian process of order d > 1 (allowing non-Markovian life spans), and can be written as a multitype branching process. We propose three estimators suitable for the different classes of criticality of the process, in particular for the subcritical case corresponding to the extinction phase. We prove their consistency and asymptotic normality for two asymptotics, when the number of ancestors (resp. number of generations) tends to infinity. We illustrate the asymptotic properties with simulated examples, and finally use our estimators to study the infection intensity in the extinction phase of the BSE epidemic in Great-Britain.}, language = {en} } @unpublished{Penisson2010, author = {P{\´e}nisson, Sophie}, title = {Conditional Limit Theorems for Multitype Branching Processes and Illustration in Epidemiological Risk Analysis}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49589}, year = {2010}, abstract = {This thesis is concerned with the issue of extinction of populations composed of different types of individuals, and their behavior before extinction and in case of a very late extinction. We approach this question firstly from a strictly probabilistic viewpoint, and secondly from the standpoint of risk analysis related to the extinction of a particular model of population dynamics. In this context we propose several statistical tools. The population size is modeled by a branching process, which is either a continuous-time multitype Bienaym{\´e}-Galton-Watson process (BGWc), or its continuous-state counterpart, the multitype Feller diffsion process. We are interested in different kinds of conditioning on nonextinction, and in the associated equilibrium states. These ways of conditioning have been widely studied in the monotype case. However the literature on multitype processes is much less extensive, and there is no systematic work establishing connections between the results for BGWc processes and those for Feller diffusion processes. In the first part of this thesis, we investigate the behavior of the population before its extinction by conditioning the associated branching process Xt on non-extinction (Xt 6= 0), or more generally on non-extinction in a near future 0 < 1 (Xt+ 0 = 0), and by letting t tend to infinity. We prove the result, new in the multitype framework and for 0 > 0, that this limit exists and is nondegenerate. This re ects a stationary behavior for the dynamics of the population conditioned on non-extinction, and provides a generalization of the so-called Yaglom limit, corresponding to the case 0 = 0. In a second step we study the behavior of the population in case of a very late extinction, obtained as the limit when 0 tends to infinity of the process conditioned by Xt+ 0 = 0. The resulting conditioned process is a known object in the monotype case (sometimes referred to as Q-process), and has also been studied when Xt is a multitype Feller diffusion process. We investigate the not yet considered case where Xt is a multitype BGWc process and prove the existence of the associated Q-process. In addition, we examine its properties, including the asymptotic ones, and propose several interpretations of the process. Finally, we are interested in interchanging the limits in t and 0, as well as in the not yet studied commutativity of these limits with respect to the high-density-type relationship between BGWc processes and Feller processes. We prove an original and exhaustive list of all possible exchanges of limit (long-time limit in t, increasing delay of extinction 0, diffusion limit). The second part of this work is devoted to the risk analysis related both to the extinction of a population and to its very late extinction. We consider a branching population model (arising notably in the epidemiological context) for which a parameter related to the first moments of the offspring distribution is unknown. We build several estimators adapted to different stages of evolution of the population (phase growth, decay phase, and decay phase when extinction is expected very late), and prove moreover their asymptotic properties (consistency, normality). In particular, we build a least squares estimator adapted to the Q-process, allowing a prediction of the population development in the case of a very late extinction. This would correspond to the best or to the worst-case scenario, depending on whether the population is threatened or invasive. These tools enable us to study the extinction phase of the Bovine Spongiform Encephalopathy epidemic in Great Britain, for which we estimate the infection parameter corresponding to a possible source of horizontal infection persisting after the removal in 1988 of the major route of infection (meat and bone meal). This allows us to predict the evolution of the spread of the disease, including the year of extinction, the number of future cases and the number of infected animals. In particular, we produce a very fine analysis of the evolution of the epidemic in the unlikely event of a very late extinction.}, language = {en} } @unpublished{Kuxhaus2010, author = {Kuxhaus, Olga}, title = {Parametrische Sch{\"a}tzungen von elliptischen Copulafunktionen}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-51681}, year = {2010}, abstract = {Aus dem Inhalt: Inhaltsverzeichnis Abbildungsverzeichnis Tabellenverzeichnis 1 Einleitung und Motivation 2 Multivariate Copulafunktionen 2.1 Einleitung 2.2 Satz von Sklar 2.3 Eigenschaften von Copulafunktionen 3 Abh{\"a}ngigkeitskonzepte 3.1 Lineare Korrelation 3.2 Copulabasierte Abh{\"a}ngigkeitsmaße 3.2.1 Konkordanz 3.2.2 Kendall's und Spearman's 3.2.3 Asymptotische Randabh{\"a}ngigkeit 4 Elliptische Copulaklasse 4.1 Sph{\"a}rische und elliptische Verteilungen 4.2 Normal-Copula 4.3 t-Copula 5 Parametrische Sch{\"a}tzverfahren 5.1 Maximum-Likelihood-Methode 5.1.1 ExakteMaximum-Likelihood-Methode 5.1.2 2-stufige parametrische Maximum-Likelihood-Methode 5.1.3 2-stufige semiparametrische Maximum-Likelihood-Methode 5.2 Momentenmethode 5.3 Kendall's -Momentenmethode 6 Parametersch{\"a}tzungen f{\"u}r Normal- und t-Copula 6.1 Normal-Copula 6.1.1 Maximum-Likelihood-Methode 6.1.2 Momentenmethode 6.1.3 Kendall's Momentenmethode 6.1.4 Spearman's Momentenmethode 6.2 t-Copula 6.2.1 Verfahren 1 (exakte ML-Methode) 6.2.2 Verfahren 2 (2-stufige rekursive ML-Methode) 6.2.3 Verfahren 3 (2-stufige KM-ML-Methode) 6.2.4 Verfahren 4 (3-stufige M-ML-Methode) 7 Simulationen 7.1 Grundlagen 7.2 Parametrischer Fall 7.3 Nichtparametrischer Fall 7.4 Fazit A Programmausschnitt Literaturverzeichnis}, language = {de} } @unpublished{NehringZessin2010, author = {Nehring, Benjamin and Zessin, Hans}, title = {A path integral representation of the moment measures of the general ideal Bose gas}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49635}, year = {2010}, abstract = {We reconsider the fundamental work of Fichtner ([2]) and exhibit the permanental structure of the ideal Bose gas again, using another approach which combines a characterization of infinitely divisible random measures (due to Kerstan,Kummer and Matthes [5, 6] and Mecke [8, 9]) with a decomposition of the moment measures into its factorial measures due to Krickeberg [4]. To be more precise, we exhibit the moment measures of all orders of the general ideal Bose gas in terms of certain path integrals. This representation can be considered as a point process analogue of the old idea of Symanzik [11] that local times and self-crossings of the Brownian motion can be used as a tool in quantum field theory. Behind the notion of a general ideal Bose gas there is a class of infinitely divisible point processes of all orders with a Levy-measure belonging to some large class of measures containing the one of the classical ideal Bose gas considered by Fichtner. It is well known that the calculation of moments of higher order of point processes are notoriously complicated. See for instance Krickeberg's calculations for the Poisson or the Cox process in [4].}, language = {en} } @unpublished{Zessin2010, author = {Zessin, Hans}, title = {Classical Symmetric Point Processes : Lectures held at ICIMAF, La Habana, Cuba, 2010}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49619}, year = {2010}, abstract = {The aim of these lectures is a reformulation and generalization of the fundamental investigations of Alexander Bach [2, 3] on the concept of probability in the work of Boltzmann [6] in the language of modern point process theory. The dominating point of view here is its subordination under the disintegration theory of Krickeberg [14]. This enables us to make Bach's consideration much more transparent. Moreover the point process formulation turns out to be the natural framework for the applications to quantum mechanical models.}, language = {en} } @unpublished{Kosman2010, author = {Kosman, Admiʾel}, title = {״הישר והטוב״ - על הלכה ו״מטא-הלכה״ ומשמעותן האקטואלית : ''ועשית הישר והטוב'', דברים ו:יח}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-48995}, year = {2010}, abstract = {Der Beitrag setzt sich mit der halachischen Bedeutung von Dtn. 6,18 im Kontext der heutigen Zeit auseinander.}, language = {mul} } @unpublished{HovhannisyanSchulze2010, author = {Hovhannisyan, A. H. and Schulze, Bert-Wolfgang}, title = {On a method for solution of the ordinary differential equations connected with Huygens' equations}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-45381}, year = {2010}, language = {en} } @unpublished{Karp2009, author = {Karp, Lavi}, title = {On the well-posedness of the vacuum Einstein's equations}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-36593}, year = {2009}, abstract = {The Cauchy problem of the vacuum Einstein's equations aims to find a semimetric g(αβ) of a spacetime with vanishing Ricci curvature Rα,β and prescribed initial data. Under the harmonic gauge condition, the equations Rα,β = 0 are transferred into a system of quasi-linear wave equations which are called the reduced Einstein equations. The initial data for Einstein's equations are a proper Riemannian metric h(αβ) and a second fundamental form K(αβ). A necessary condition for the reduced Einstein equation to satisfy the vacuum equations is that the initial data satisfy Einstein constraint equations. Hence the data (h(αβ),K(αβ)) cannot serve as initial data for the reduced Einstein equations. Previous results in the case of asymptotically flat spacetimes provide a solution to the constraint equations in one type of Sobolev spaces, while initial data for the evolution equations belong to a different type of Sobolev spaces. The goal of our work is to resolve this incompatibility and to show that under the harmonic gauge the vacuum Einstein equations are well-posed in one type of Sobolev spaces.}, language = {en} } @unpublished{FradonRoelly2009, author = {Fradon, Myriam and Roelly, Sylvie}, title = {Infinitely many Brownian globules with Brownian radii}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49552}, year = {2009}, abstract = {We consider an infinite system of non overlaping globules undergoing Brownian motions in R3. The term globules means that the objects we are dealing with are spherical, but with a radius which is random and time-dependent. The dynamics is modelized by an infinitedimensional Stochastic Differential Equation with local time. Existence and uniqueness of a strong solution is proven for such an equation with fixed deterministic initial condition. We also find a class of reversible measures.}, language = {en} } @unpublished{Arnold2009, author = {Arnold, Holger}, title = {A linearized DPLL calculus with clause learning (2nd, revised version)}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-29080}, year = {2009}, abstract = {Many formal descriptions of DPLL-based SAT algorithms either do not include all essential proof techniques applied by modern SAT solvers or are bound to particular heuristics or data structures. This makes it difficult to analyze proof-theoretic properties or the search complexity of these algorithms. In this paper we try to improve this situation by developing a nondeterministic proof calculus that models the functioning of SAT algorithms based on the DPLL calculus with clause learning. This calculus is independent of implementation details yet precise enough to enable a formal analysis of realistic DPLL-based SAT algorithms.}, language = {en} } @unpublished{LouisRouquier2009, author = {Louis, Pierre-Yves and Rouquier, Jean-Baptiste}, title = {Time-to-Coalescence for interacting particle systems : parallel versus sequential updating}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49454}, year = {2009}, abstract = {Studying the influence of the updating scheme for MCMC algorithm on spatially extended models is a well known problem. For discrete-time interacting particle systems we study through simulations the effectiveness of a synchronous updating scheme versus the usual sequential one. We compare the speed of convergence of the associated Markov chains from the point of view of the time-to-coalescence arising in the coupling-from-the-past algorithm. Unlike the intuition, the synchronous updating scheme is not always the best one. The distribution of the time-to-coalescence for these spatially extended models is studied too.}, language = {en} } @unpublished{Rafler2009, author = {Rafler, Mathias}, title = {Gaussian loop- and polya processes : a point process approach}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-51638}, year = {2009}, abstract = {Zuf{\"a}llige Punktprozesse beschreiben eine (zuf{\"a}llige) zeitliche Abfolge von Ereignissen oder eine (zuf{\"a}llige) r{\"a}umliche Anordnung von Objekten. Deren wichtigster Vertreter ist der Poissonprozess. Der Poissonprozess zum Intensit{\"a}tsmaß, das Lebesgue-Maß ordnet jedem Gebiet sein Volumen zu, erzeugt lokal, d.h in einem beschr{\"a}nkten Gebiet B, gerade eine mit dem Volumen von B poissonverteilte Anzahl von Punkten, die identisch und unabh{\"a}ngig voneinander in B plaziert werden; im Mittel ist diese Anzahl (B). Ersetzt man durch ein Vielfaches a, so wird diese Anzahl mit dem a-fachen Mittelwert erzeugt. Poissonprozesse, die im gesamten Raum unendlich viele Punkte realisieren, enthalten bereits in einer einzigen Stichprobe gen{\"u}gend Informationen, um Statistik betreiben zu k{\"o}nnen: Bedingt man lokal bzgl. der Anzahl der Teilchen einer Stichprobe, so fragt man nach allen Punktprozessen, die eine solche Beobachtung h{\"a}tten liefern k{\"o}nnen. Diese sind Limespunktprozesse zu dieser Beobachtung. Kommt mehr als einer in Frage, spricht man von einem Phasen{\"u}bergang. Da die Menge dieser Limespunktprozesse konvex ist, fragt man nach deren Extremalpunkten, dem Rand. Im ersten Teil wird ein Poissonprozess f{\"u}r ein physikalisches Teilchenmodell f{\"u}r Bosonen konstruiert. Dieses erzeugt sogenannte Loops, das sind geschlossene Polygonz{\"u}ge, die dadurch charakterisiert sind, dass man an einem Ort mit einem Punkt startet, den mit einem normalverteilten Schritt l{\"a}uft und dabei nach einer gegebenen, aber zuf{\"a}lligen Anzahl von Schritten zum Ausgangspunkt zur{\"u}ckkehrt. F{\"u}r verschiedene Beobachtungen von Stichproben werden zugeh{\"o}rige Limespunktprozesse diskutiert. Diese Beobachtungen umfassen etwa das Z{\"a}hlen der Loops gem{\"a}aß ihrer L{\"a}nge, das Z{\"a}hlen der Loops insgesamt, oder das Z{\"a}hlen der von den Loops gemachten Schritte. Jede Wahl zieht eine charakteristische Struktur der invarianten Punktprozesse nach sich. In allen hiesigen F{\"a}llen wird ein charakteristischer Phasen{\"u}bergang gezeigt und Extremalpunkte werden als spezielle Poissonprozesse identifiziert. Insbesondere wird gezeigt, wie die Wahl der Beobachtung die L{\"a}nge der Loops beeinflusst. Geometrische Eigenschaften dieser Poissonprozesse sind der Gegenstand des zweiten Teils der Arbeit. Die Technik der Palmschen Verteilungen eines Punktprozesses erlaubt es, unter den unendlich vielen Loops einer Realisierung den typischen Loop herauszupicken, dessen Geometrie dann untersucht wird. Eigenschaften sind unter anderem die euklidische L{\"a}nge eines Schrittes oder, nimmt man mehrere aufeinander folgende Schritte, das Volumen des von ihnen definierten Simplex. Weiterhin wird gezeigt, dass der Schwerpunkt eines typischen Loops normalverteilt ist mit einer festen Varianz. Der dritte und letzte Teil befasst sich mit der Konstruktion, den Eigenschaften und der Statistik eines neuartigen Punktprozesses, der Polyascher Summenprozess genannt wird. Seine Konstruktion verallgemeinert das Prinzip der Polyaschen Urne: Im Gegensatz zum Poissonprozess, der alle Punkte unabh{\"a}ngig und vor allem identisch verteilt, werden hier die Punkte nacheinander derart verteilt, dass der Ort, an dem ein Punkt plaziert wird, eine Belohnung auf die Wahrscheinlichkeit bekommt, nach der nachfolgende Punkte verteilt werden. Auf diese Weise baut der Polyasche Summenprozess "T{\"u}rmchen", indem sich verschiedene Punkte am selben Ort stapeln. Es wird gezeigt, dass dennoch grundlegende Eigenschaften mit denjenigen des Poissonprozesses {\"u}bereinstimmen, dazu geh{\"o}ren unendliche Teilbarkeit sowie Unabh{\"a}ngigkeit der Zuw{\"a}chse. Zudem werden sein Laplace-Funktional sowie seine Palmsche Verteilung bestimmt. Letztere zeigt, dass die H{\"o}he der T{\"u}rmchen gerade geometrisch verteilt ist. Abschließend werden wiederum Statistiken, nun f{\"u}r den Summenprozess, diskutiert. Je nach Art der Beobachtung von der Stichprobe, etwa Anzahl, Gesamth{\"o}he der T{\"u}rmchen oder beides, gibt es in jedem der drei F{\"a}lle charakteristische Limespunktprozesse und es stellt sich heraus, dass die zugeh{\"o}rigen Extremalverteilungen wiederum Polyasche Summenprozesse sind.}, language = {en} } @unpublished{Penisson2009, author = {P{\´e}nisson, Sophie}, title = {Continuous-time multitype branching processes conditioned on very late extinction}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49548}, year = {2009}, abstract = {Multitype branching processes and Feller diffusion processes are conditioned on very late extinction. The conditioned laws are expressed as Doob h-transforms of the unconditioned laws, and an interpretation of the conditioned paths for the branching process is given, via the immortal particle. We study different limits for the conditioned process (increasing delay of extinction, long-time behavior, scaling limit) and provide an exhaustive list of exchangeability results.}, language = {en} } @unpublished{Anders2009, author = {Anders, Martin}, title = {Martingale, Amarts und das starke Gesetz der Grossen Zahlen}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49494}, year = {2009}, abstract = {Aus dem Inhalt: Einleitung Kapitel 1. Starke Gesetze der Grossen Zahlen 1. SGGZ unter Wachstumsbedingungen an die p-ten Momente 2. SGGZ f{\"u}r identisch verteilte Zufallsvariablen 3. SGGZ f{\"u}r Prozesse mit *-mixing-Eigenschaft Kapitel 2. Einf{\"u}hrung zu diskreten (Sub-,Super-)Martingalen 1. Vorhersagbarkeit 2. gestoppte (Sub-,Super-)Martingale 3. Upcrossings 4. Konvergenzs{\"a}tze 5. Doob-Zerlegung 6. Eine {\"a}quivalente Definition eines (Sub-)Martingals Kapitel 3. Martingale und gleichgradige Integrierbarkeit 1. Gleichm{\"a}ßige(-f¨ormige,-gradige) Integrierbarkeit 2. gleichgradig integrierbare Martingale Kapitel 4. Martingale und das SGGZ Kapitel 5."reversed" (Sub-,Super-)Martingale 1. Konvergenzs{\"a}tze Kapitel 6. (Sub-,Super-)Martingale mit gerichteter Indexmenge 1. {\"A}quivalente Formulierung eines (Sub-)Martingals 2. Konvergenzs{\"a}tze Kapitel 7. Quasimartingale,Amarts und Semiamarts 1. Konvergenzs{\"a}tze 2. Riesz-Zerlegung 3. Doob-Zerlegung Kapitel 8. Amarts und das SGGZ Kapitel 9."reversed" Amarts und Semiamarts 1. Konvergenzs{\"a}tze 2."Aufw{\"a}rts"- gegen "Abw{\"a}rts"-Adaptiertheit 3. Riesz-Zerlegung 4. Stabilit{\"a}tsanalyse Kapitel 10. Amarts mit gerichteter Indexmenge 1. Konvergenzs{\"a}tze 2. Riesz-Zerlegung Anhang A. zur Existenz einer Folge unabh{\"a}ngiger Zufallsvariablen B. Konvergenz}, language = {de} } @unpublished{RedigRoellyRuszel2009, author = {Redig, Frank and Roelly, Sylvie and Ruszel, Wioletta}, title = {Short-time Gibbsianness for infinite-dimensional diffusions with space-time interaction}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49514}, year = {2009}, abstract = {We consider a class of infinite-dimensional diffusions where the interaction between the components is both spatial and temporal. We start the system from a Gibbs measure with finiterange uniformly bounded interaction. Under suitable conditions on the drift, we prove that there exists t0 > 0 such that the distribution at time t = t0 is a Gibbs measure with absolutely summable interaction. The main tool is a cluster expansion of both the initial interaction and certain time-reversed Girsanov factors coming from the dynamics.}, language = {de} } @unpublished{AbedSchulze2009, author = {Abed, Jamil and Schulze, Bert-Wolfgang}, title = {Edge-degenerate families of ΨDO's on an infinite cylinder}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30365}, year = {2009}, abstract = {We establish a parameter-dependent pseudo-differential calculus on an infinite cylinder, regarded as a manifold with conical exits to infinity. The parameters are involved in edge-degenerate form, and we formulate the operators in terms of operator-valued amplitude functions.}, language = {en} } @unpublished{Schulze2009, author = {Schulze, Bert-Wolfgang}, title = {Boundary value problems with the transmission property}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30377}, year = {2009}, abstract = {We give a survey on the calculus of (pseudo-differential) boundary value problems with the transmision property at the boundary, and ellipticity in the Shapiro-Lopatinskij sense. Apart from the original results of the work of Boutet de Monvel we present an approach based on the ideas of the edge calculus. In a final section we introduce symbols with the anti-transmission property.}, language = {en} } @unpublished{MaSchulze2009, author = {Ma, L. and Schulze, Bert-Wolfgang}, title = {Operators on manifolds with conical singularities}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-36608}, year = {2009}, abstract = {We construct elliptic elements in the algebra of (classical pseudo-differential) operators on a manifold M with conical singularities. The ellipticity of any such operator A refers to a pair of principal symbols (σ0, σ1) where σ0 is the standard (degenerate) homogeneous principal symbol, and σ1 is the so-called conormal symbol, depending on the complex Mellin covariable z. The conormal symbol, responsible for the conical singularity, is operator-valued and acts in Sobolev spaces on the base X of the cone. The σ1-ellipticity is a bijectivity condition for all z of real part (n + 1)/2 - γ, n = dimX, for some weight γ. In general, we have to rule out a discrete set of exceptional weights that depends on A. We show that for every operator A which is elliptic with respect to σ0, and for any real weight γ there is a smoothing Mellin operator F in the cone algebra such that A + F is elliptic including σ1. Moreover, we apply the results to ellipticity and index of (operator-valued) edge symbols from the calculus on manifolds with edges.}, language = {en} } @unpublished{ChenLiLiu2008, author = {Chen, Hua and Li, Jun-Feng and Liu, Wei-An}, title = {Behavior of the solution to a chemotaxis model with reproduction term}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30304}, year = {2008}, abstract = {Contents: 1 Introduction 2 Global existence and blow-up or quenching of the solution 3 Detailed asymptotical behavior of the solution}, language = {en} } @unpublished{Tepoyan2008, author = {Tepoyan, Liparit}, title = {The mixed problem for a degenerate operator equation}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30334}, year = {2008}, abstract = {We consider a mixed problem for a degenerate differentialoperator equation of higher order. We establish some embedding theorems in weighted Sobolev spaces and show existence and uniqueness of the generalized solution of this problem. We also give a description of the spectrum for the corresponding operator.}, language = {en} } @unpublished{BrauerKarp2008, author = {Brauer, Uwe and Karp, Lavi}, title = {Well-posedness of Einstein-Euler systems in asymptotically flat spacetimes}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30347}, year = {2008}, abstract = {We prove a local in time existence and uniqueness theorem of classical solutions of the coupled Einstein{Euler system, and therefore establish the well posedness of this system. We use the condition that the energy density might vanish or tends to zero at infinity and that the pressure is a certain function of the energy density, conditions which are used to describe simplified stellar models. In order to achieve our goals we are enforced, by the complexity of the problem, to deal with these equations in a new type of weighted Sobolev spaces of fractional order. Beside their construction, we develop tools for PDEs and techniques for hyperbolic and elliptic equations in these spaces. The well posedness is obtained in these spaces.}, language = {en} } @unpublished{AbedSchulze2008, author = {Abed, Jamil and Schulze, Bert-Wolfgang}, title = {Operators with corner-degenerate symbols}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30299}, year = {2008}, abstract = {We establish elements of a new approch to ellipticity and parametrices within operator algebras on a manifold with higher singularities, only based on some general axiomatic requirements on parameter-dependent operators in suitable scales of spaces. The idea is to model an iterative process with new generations of parameter-dependent operator theories, together with new scales of spaces that satisfy analogous requirements as the original ones, now on a corresponding higher level. The "full" calculus is voluminous; so we content ourselves here with some typical aspects such as symbols in terms of order reducing families, classes of relevant examples, and operators near the conical exit to infinity.}, language = {en} } @unpublished{Schulze2008, author = {Schulze, Bert-Wolfgang}, title = {The iterative structure of corner operators}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30353}, year = {2008}, abstract = {We give a brief survey on some new developments on elliptic operators on manifolds with polyhedral singularities. The material essentially corresponds to a talk given by the author during the Conference "Elliptic and Hyperbolic Equations on Singular Spaces", October 27 - 31, 2008, at the MSRI, University of Berkeley.}, language = {en} } @unpublished{SchulzeWei2008, author = {Schulze, Bert-Wolfgang and Wei, Y.}, title = {Edge-boundary problems with singular trace conditions}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30317}, year = {2008}, abstract = {The ellipticity of boundary value problems on a smooth manifold with boundary relies on a two-component principal symbolic structure (σψ; σ∂), consisting of interior and boundary symbols. In the case of a smooth edge on manifolds with boundary we have a third symbolic component, namely the edge symbol σ∧, referring to extra conditions on the edge, analogously as boundary conditions. Apart from such conditions in integral form' there may exist singular trace conditions, investigated in [6] on closed' manifolds with edge. Here we concentrate on the phenomena in combination with boundary conditions and edge problem.}, language = {en} } @unpublished{Schulze2008, author = {Schulze, Bert-Wolfgang}, title = {On a paper of Krupchyk, Tarkhanov, and Tuomela}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30325}, year = {2008}, language = {en} } @unpublished{ChampagnatRoelly2007, author = {Champagnat, Nicolas and Roelly, Sylvie}, title = {Limit theorems for conditioned multitype Dawson-Watanabe processes}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49426}, year = {2007}, abstract = {A multitype Dawson-Watanabe process is conditioned, in subcritical and critical cases, on non-extinction in the remote future. On every nite time interval, its distribution law is absolutely continuous with respect to the law of the unconditioned process. A martingale problem characterization is also given. The explicit form of the Laplace functional of the conditioned process is used to obtain several results on the long time behaviour of the mass of the conditioned and unconditioned processes. The general case is considered first, where the mutation matrix which modelizes the interaction between the types, is irreducible. Several two-type models with decomposable mutation matrices are also analysed.}, language = {en} } @unpublished{CattiauxDaiPraPoelly2007, author = {Cattiaux, Patrick and Dai Pra, Paolo and Poelly, Sylvie}, title = {A constructive approach to a class of ergodic HJB equations with nonsmooth cost}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49430}, year = {2007}, abstract = {We consider a class of ergodic Hamilton-Jacobi-Bellman (HJB) equations, related to large time asymptotics of non-smooth multiplicative functional of difusion processes. Under suitable ergodicity assumptions on the underlying difusion, we show existence of these asymptotics, and that they solve the related HJB equation in the viscosity sense.}, language = {en} } @unpublished{ShlapunovTarkhanov2007, author = {Shlapunov, Alexander and Tarkhanov, Nikolai Nikolaevich}, title = {Formal Poincar{\´e} lemma}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30231}, year = {2007}, abstract = {We show how the multiple application of the formal Cauchy-Kovalevskaya theorem leads to the main result of the formal theory of overdetermined systems of partial differential equations. Namely, any sufficiently regular system Au = f with smooth coefficients on an open set U ⊂ Rn admits a solution in smooth sections of a bundle of formal power series, provided that f satisfies a compatibility condition in U.}, language = {en} } @unpublished{ChenLi2007, author = {Chen, Hua and Li, Ke}, title = {The existence and regularity of multiple solutions for a class of infinitely degenerate elliptic equations}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30247}, year = {2007}, abstract = {Let X = (X1,.....,Xm) be an infinitely degenerate system of vector fields, we study the existence and regularity of multiple solutions of Dirichelt problem for a class of semi-linear infinitely degenerate elliptic operators associated with the sum of square operator Δx = ∑m(j=1) Xj* Xj.}, language = {en} } @unpublished{YagdjianGalstian2007, author = {Yagdjian, Karen and Galstian, Anahit}, title = {Fundamental solutions for wave equation in de Sitter model of universe}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30271}, year = {2007}, abstract = {In this article we construct the fundamental solutions for the wave equation arising in the de Sitter model of the universe. We use the fundamental solutions to represent solutions of the Cauchy problem and to prove the Lp - Lq-decay estimates for the solutions of the equation with and without a source term.}, language = {en} } @unpublished{ChenLiXu2007, author = {Chen, Hua and Li, Wei-Xi and Xu, Chao-Jiang}, title = {Gevrey hypoellipticity for linear and non-linear Fokker-Planck equations}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30283}, year = {2007}, abstract = {This paper studies the Gevrey regularity of weak solutions of a class of linear and semilinear Fokker-Planck equations.}, language = {en} } @unpublished{YinHua2007, author = {Yin, Yang and Hua, Chen}, title = {On chemotaxis systems with saturation growth}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30254}, year = {2007}, abstract = {In this paper, we discuss the global existence of solutions for Chemotaxis models with saturation growth. If the coe±cients of the equations are all positive smooth T-periodic functions, then the problem has a positive T-periodic solution, and meanwhile we discuss here the stability problems for the T-periodic solutions.}, language = {en} } @unpublished{FladSchneiderSchulze2007, author = {Flad, Heinz-J{\"u}rgen and Schneider, Reinhold and Schulze, Bert-Wolfgang}, title = {Asymptotic regularity of solutions of Hartree-Fock equations with coulomb potential}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30268}, year = {2007}, abstract = {We study the asymptotic regularity of solutions of Hartree-Fock equations for Coulomb systems. In order to deal with singular Coulomb potentials, Fock operators are discussed within the calculus of pseudo-differential operators on conical manifolds. First, the non-self-consistent-field case is considered which means that the functions that enter into the nonlinear terms are not the eigenfunctions of the Fock operator itself. We introduce asymptotic regularity conditions on the functions that build up the Fock operator which guarantee ellipticity for the local part of the Fock operator on the open stretched cone R+ × S². This proves existence of a parametrix with a corresponding smoothing remainder from which it follows, via a bootstrap argument, that the eigenfunctions of the Fock operator again satisfy asymptotic regularity conditions. Using a fixed-point approach based on Cances and Le Bris analysis of the level-shifting algorithm, we show via another bootstrap argument, that the corresponding self-consistent-field solutions of the Hartree-Fock equation have the same type of asymptotic regularity.}, language = {en} } @unpublished{LieroLiero2006, author = {Liero, Hannelore and Liero, Matthias}, title = {Testing the acceleration function in life time models}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-49405}, year = {2006}, abstract = {The accelerated life time model is considered. First, test procedures for testing the parameter of a parametric acceleration function is investigated; this is done under the assumption of parametric and nonparametric baseline distribution. Further, based on nonparametric estimators for regression functions tests are proposed for checking whether a parametric acceleration function is appropriate to model the influence of the covariates. Resampling procedures are discussed for the realization of these methods. Simulations complete the considerations.}, language = {en} } @unpublished{Laeuter2006, author = {L{\"a}uter, Henning}, title = {On approximate likelihood in survival models}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-51615}, year = {2006}, abstract = {We give a common frame for different estimates in survival models. For models with nuisance parameters we approximate the profile likelihood and find estimates especially for the proportional hazard model.}, language = {en} }