arXiv subjects

Martin Mueller

Publications and source records attributed to Martin Mueller.

8 recordsLinked to original sources

arXiv2021

An Efficiently Coupled Shape and Appearance Prior for Active Contour Segmentation

This paper proposes a novel training model based on shape and appearance features for object segmentation in images and videos. Whereas most such models rely on two-dimensional appearance templates or a finite set of descriptors, our appearance-based feature is a one-dimensional function, which is efficiently coupled with the object's shape by integrating intensities along the object's iso-contours. Joint PCA training on these shape and appearance features further exploits shape-appearance correlations and the resulting training model is incorporated in an active-contour-type energy functional for recognition-segmentation tasks. Experiments on synthetic and infrared images demonstrate how this shape and appearance training model improves accuracy compared to methods based on the Chan-Vese energy.

cs.CV↗

arXiv2021

Intrinsic Integration

If we wish to integrate a function $h|\Omega\subset\Re^{n}\to\Re$ along a single $T$-level surface of a function $\psi |\Omega\subset\Re^{n}\to\Re$, then a number of different methods for extracting finite elements appropriate to the dimension of the level surface may be employed to obtain an explicit representation over which the integration may be performed using standard numerical quadrature techniques along each element. However, when the goal is to compute an entire continuous family $m(T)$ of integrals over all the $T$-level surfaces of $\psi$, then this method of explicit level set extraction is no longer practical. We introduce a novel method to perform this type of numerical integration efficiently by making use of the coarea formula. We present the technique for discretization of the coarea formula and present the algorithms to compute the integrals over families of T-level surfaces. While validation of our method in the special case of a single level surface demonstrates accuracies close to more explicit isosurface integration methods, we show a sizable boost in computational efficiency in the case of multiple T-level surfaces, where our coupled integration algorithms significantly outperform sequential one-at-a-time application of explicit methods.

math.NA↗

arXiv2018

Crowdbreaks: Tracking Health Trends using Public Social Media Data and Crowdsourcing

In the past decade, tracking health trends using social media data has shown great promise, due to a powerful combination of massive adoption of social media around the world, and increasingly potent hardware and software that enables us to work with these new big data streams. At the same time, many challenging problems have been identified. First, there is often a mismatch between how rapidly online data can change, and how rapidly algorithms are updated, which means that there is limited reusability for algorithms trained on past data as their performance decreases over time. Second, much of the work is focusing on specific issues during a specific past period in time, even though public health institutions would need flexible tools to assess multiple evolving situations in real time. Third, most tools providing such capabilities are proprietary systems with little algorithmic or data transparency, and thus little buy-in from the global public health and research community. Here, we introduce Crowdbreaks, an open platform which allows tracking of health trends by making use of continuous crowdsourced labelling of public social media content. The system is built in a way which automatizes the typical workflow from data collection, filtering, labelling and training of machine learning classifiers and therefore can greatly accelerate the research process in the public health domain. This work introduces the technical aspects of the platform and explores its future use cases.

cs.CY↗

arXiv2004

A Generalized Epidemic Process and Tricritical Dynamic Percolation

The renowned general epidemic process describes the stochastic evolution of a population of individuals which are either susceptible, infected or dead. A second order phase transition belonging to the universality class of dynamic isotropic percolation lies between endemic or pandemic behavior of the process. We generalize the general epidemic process by introducing a fourth kind of individuals, viz. individuals which are weakened by the process but not yet infected. This sensibilization gives rise to a mechanism that introduces a global instability in the spreading of the process and therefore opens the possibility of a discontinuous transition in addition to the usual continuous percolation transition. The tricritical point separating the lines of first and second order transitions constitutes a new universality class, namely the universality class of tricritical dynamic isotropic percolation. Using renormalized field theory we work out a detailed scaling description of this universality class. We calculate the scaling exponents in an $ε$-expansion below the upper critical dimension $d_{c}=5$ for various observables describing tricritical percolation clusters and their spreading properties. In a remarkable contrast to the usual percolation transition, the exponents $β$ and $β^{\prime}$ governing the two order parameters, viz. the mean density and the percolation probability, turn out to be different at the tricritical point. In addition to the scaling exponents we calculate for all our static and dynamic observables logarithmic corrections to the mean-field scaling behavior at $d_c=5$.

cond-mat.stat-mech↗

arXiv2003

The X-ray Variability of NGC 4945: Characterizing the Power Spectrum through Light Curve Simulations

For light curves sampled on an uneven grid of observation times, the shape of the power density spectrum (PDS) includes severe distortion effects due to the window function, and simulations of light curves are indispensable to recover the true PDS. We present an improved method for comparing light curves generated from a PDS model to the measured data and apply it to a 50-day long RXTE observations of NGC 4945, a Seyfert 2 galaxy with well-determined mass from megamaser observations. The improvements over previously reported investigations include the adjustment of the PDS model normalization for each simulated light curve in order to directly investigate how well the chosen PDS shape describes the source data. We furthermore implement a robust goodness-of-fit measure that does not depend on the form of the variable used to describe the power in the periodogram. We conclude that a knee-type function (smoothly broken power law) describes the data better than a simple power law; the best-fit break frequency is ~10^-6 Hz.

astro-ph↗

arXiv2002

Single atoms in a standing-wave dipole trap

We trap a single cesium atom in a standing-wave optical dipole trap. Special experimental procedures, designed to work with single atoms, are used to measure the oscillation frequency and the atomic energy distribution in the dipole trap. These methods rely on unambiguously detecting presence or loss of the atom using its resonance fluorescence in the magneto-optical trap.

quant-ph↗

arXiv2001

An optical conveyor belt for single neutral atoms

Using optical dipole forces we have realized controlled transport of a single or any desired small number of neutral atoms over a distance of a centimeter with sub-micrometer precision. A standing wave dipole trap is loaded with a prescribed number of cesium atoms from a magneto-optical trap. Mutual detuning of the counter-propagating laser beams moves the interference pattern, allowing us to accelerate and stop the atoms at preselected points along the standing wave. The transportation efficiency is close to 100%. This optical "single-atom conveyor belt" represents a versatile tool for future experiments requiring deterministic delivery of a prescribed number of atoms on demand.

quant-ph↗

arXiv1995

Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm

We introduce constraints necessary for type checking a higher-order concurrent constraint language, and solve them with an incremental algorithm. Our constraint system extends rational unification by constraints x$\subseteq$ y saying that ``$x$ has at least the structure of $y$'', modelled by a weak instance relation between trees. This notion of instance has been carefully chosen to be weaker than the usual one which renders semi-unification undecidable. Semi-unification has more than once served to link unification problems arising from type inference and those considered in computational linguistics. Just as polymorphic recursion corresponds to subsumption through the semi-unification problem, our type constraint problem corresponds to weak subsumption of feature graphs in linguistics. The decidability problem for \WhatsIt for feature graphs has been settled by Dörre~\cite{Doerre:WeakSubsumption:94}. \nocite{RuppRosnerJohnson:94} In contrast to Dörre's, our algorithm is fully incremental and does not refer to finite state automata. Our algorithm also is a lot more flexible. It allows a number of extensions (records, sorts, disjunctive types, type declarations, and others) which make it suitable for type inference of a full-fledged programming language.

cmp-lg↗