Showing 1–48 of 48 results for author: Rosales, R

LLM-Assisted Rule Based Machine Translation for Low/No-Resource Languages

Authors: Jared Coleman, Bhaskar Krishnamachari, Khalil Iskarous, Ruben Rosales

Abstract: We propose a new paradigm for machine translation that is particularly useful for no-resource languages (those without any publicly available bilingual or monolingual corpora): LLM-RBMT (LLM-Assisted Rule Based Machine Translation). Using the LLM-RBMT paradigm, we design the first language education/revitalization-oriented machine translator for Owens Valley Paiute (OVP), a critically endangered I… ▽ More We propose a new paradigm for machine translation that is particularly useful for no-resource languages (those without any publicly available bilingual or monolingual corpora): LLM-RBMT (LLM-Assisted Rule Based Machine Translation). Using the LLM-RBMT paradigm, we design the first language education/revitalization-oriented machine translator for Owens Valley Paiute (OVP), a critically endangered Indigenous American language for which there is virtually no publicly available data. We present a detailed evaluation of the translator's components: a rule-based sentence builder, an OVP to English translator, and an English to OVP translator. We also discuss the potential of the paradigm, its limitations, and the many avenues for future research that it opens up. △ Less

Submitted 16 May, 2024; v1 submitted 14 May, 2024; originally announced May 2024.

BEA: Revisiting anchor-based object detection DNN using Budding Ensemble Architecture

Authors: Syed Sha Qutub, Neslihan Kose, Rafael Rosales, Michael Paulitsch, Korbinian Hagn, Florian Geissler, Yang Peng, Gereon Hinz, Alois Knoll

Abstract: This paper introduces the Budding Ensemble Architecture (BEA), a novel reduced ensemble architecture for anchor-based object detection models. Object detection models are crucial in vision-based tasks, particularly in autonomous systems. They should provide precise bounding box detections while also calibrating their predicted confidence scores, leading to higher-quality uncertainty estimates. How… ▽ More This paper introduces the Budding Ensemble Architecture (BEA), a novel reduced ensemble architecture for anchor-based object detection models. Object detection models are crucial in vision-based tasks, particularly in autonomous systems. They should provide precise bounding box detections while also calibrating their predicted confidence scores, leading to higher-quality uncertainty estimates. However, current models may make erroneous decisions due to false positives receiving high scores or true positives being discarded due to low scores. BEA aims to address these issues. The proposed loss functions in BEA improve the confidence score calibration and lower the uncertainty error, which results in a better distinction of true and false positives and, eventually, higher accuracy of the object detection models. Both Base-YOLOv3 and SSD models were enhanced using the BEA method and its proposed loss functions. The BEA on Base-YOLOv3 trained on the KITTI dataset results in a 6% and 3.7% increase in mAP and AP50, respectively. Utilizing a well-balanced uncertainty estimation threshold to discard samples in real-time even leads to a 9.6% higher AP50 than its base model. This is attributed to a 40% increase in the area under the AP50-based retention curve used to measure the quality of calibration of confidence scores. Furthermore, BEA-YOLOV3 trained on KITTI provides superior out-of-distribution detection on Citypersons, BDD100K, and COCO datasets compared to the ensembles and vanilla models of YOLOv3 and Gaussian-YOLOv3. △ Less

Submitted 10 November, 2023; v1 submitted 14 September, 2023; originally announced September 2023.

Comments: 14 pages, 5 pages supplementary material. Accepted at BMVC-2023

MSC Class: 68T07; 68T37

Exploring Resiliency to Natural Image Corruptions in Deep Learning using Design Diversity

Authors: Rafael Rosales, Pablo Munoz, Michael Paulitsch

Abstract: In this paper, we investigate the relationship between diversity metrics, accuracy, and resiliency to natural image corruptions of Deep Learning (DL) image classifier ensembles. We investigate the potential of an attribution-based diversity metric to improve the known accuracy-diversity trade-off of the typical prediction-based diversity. Our motivation is based on analytical studies of design div… ▽ More In this paper, we investigate the relationship between diversity metrics, accuracy, and resiliency to natural image corruptions of Deep Learning (DL) image classifier ensembles. We investigate the potential of an attribution-based diversity metric to improve the known accuracy-diversity trade-off of the typical prediction-based diversity. Our motivation is based on analytical studies of design diversity that have shown that a reduction of common failure modes is possible if diversity of design choices is achieved. Using ResNet50 as a comparison baseline, we evaluate the resiliency of multiple individual DL model architectures against dataset distribution shifts corresponding to natural image corruptions. We compare ensembles created with diverse model architectures trained either independently or through a Neural Architecture Search technique and evaluate the correlation of prediction-based and attribution-based diversity to the final ensemble accuracy. We evaluate a set of diversity enforcement heuristics based on negative correlation learning to assess the final ensemble resilience to natural image corruptions and inspect the resulting prediction, activation, and attribution diversity. Our key observations are: 1) model architecture is more important for resiliency than model size or model accuracy, 2) attribution-based diversity is less negatively correlated to the ensemble accuracy than prediction-based diversity, 3) a balanced loss function of individual and ensemble accuracy creates more resilient ensembles for image natural corruptions, 4) architecture diversity produces more diversity in all explored diversity metrics: predictions, attributions, and activations. △ Less

Submitted 15 March, 2023; originally announced March 2023.

ACM Class: I.5.2; C.4

Evaluation of Confidence-based Ensembling in Deep Learning Image Classification

Authors: Rafael Rosales, Peter Popov, Michael Paulitsch

Abstract: Ensembling is a successful technique to improve the performance of machine learning (ML) models. Conf-Ensemble is an adaptation to Boosting to create ensembles based on model confidence instead of model errors to better classify difficult edge-cases. The key idea is to create successive model experts for samples that were difficult (not necessarily incorrectly classified) by the preceding model.… ▽ More Ensembling is a successful technique to improve the performance of machine learning (ML) models. Conf-Ensemble is an adaptation to Boosting to create ensembles based on model confidence instead of model errors to better classify difficult edge-cases. The key idea is to create successive model experts for samples that were difficult (not necessarily incorrectly classified) by the preceding model. This technique has been shown to provide better results than boosting in binary-classification with a small feature space (~80 features). In this paper, we evaluate the Conf-Ensemble approach in the much more complex task of image classification with the ImageNet dataset (224x224x3 features with 1000 classes). Image classification is an important benchmark for AI-based perception and thus it helps to assess if this method can be used in safety-critical applications using ML ensembles. Our experiments indicate that in a complex multi-label classification task, the expected benefit of specialization on complex input samples cannot be achieved with a small sample set, i.e., a good classifier seems to rely on very complex feature analysis that cannot be well trained on just a limited subset of "difficult samples". We propose an improvement to Conf-Ensemble to increase the number of samples fed to successive ensemble members, and a three-member Conf-Ensemble using this improvement was able to surpass a single model in accuracy, although the amount is not significant. Our findings shed light on the limits of the approach and the non-triviality of harnessing big data. △ Less

Submitted 3 March, 2023; originally announced March 2023.

Multiple colour interacting urns on complete graphs

Authors: Benito Pires, Rafael A. Rosales

Abstract: We present a multiple colour generalisation of the model of graph interacting urns studied by Benaim et. al., Random Struct. Alg., 46: 614-634, 2015. We show that for complete graphs and for a broad class of reinforcement functions governing the addition of balls in the urns, the process of colour proportions at each urn converges almost surely to the fixed points of the reinforcement function. We present a multiple colour generalisation of the model of graph interacting urns studied by Benaim et. al., Random Struct. Alg., 46: 614-634, 2015. We show that for complete graphs and for a broad class of reinforcement functions governing the addition of balls in the urns, the process of colour proportions at each urn converges almost surely to the fixed points of the reinforcement function. △ Less

Submitted 4 November, 2023; v1 submitted 19 December, 2022; originally announced December 2022.

Comments: 15 pages, 1 figure, minor change in the proof of Theorem 2.(ii)

MSC Class: Primary: 60K35; 37C10; Secondary: 62L20; 37A50

Evaluating Temporal Patterns in Applied Infant Affect Recognition

Authors: Allen Chang, Lauren Klein, Marcelo R. Rosales, Weiyang Deng, Beth A. Smith, Maja J. Matarić

Abstract: Agents must monitor their partners' affective states continuously in order to understand and engage in social interactions. However, methods for evaluating affect recognition do not account for changes in classification performance that may occur during occlusions or transitions between affective states. This paper addresses temporal patterns in affect classification performance in the context of… ▽ More Agents must monitor their partners' affective states continuously in order to understand and engage in social interactions. However, methods for evaluating affect recognition do not account for changes in classification performance that may occur during occlusions or transitions between affective states. This paper addresses temporal patterns in affect classification performance in the context of an infant-robot interaction, where infants' affective states contribute to their ability to participate in a therapeutic leg movement activity. To support robustness to facial occlusions in video recordings, we trained infant affect recognition classifiers using both facial and body features. Next, we conducted an in-depth analysis of our best-performing models to evaluate how performance changed over time as the models encountered missing data and changing infant affect. During time windows when features were extracted with high confidence, a unimodal model trained on facial features achieved the same optimal performance as multimodal models trained on both facial and body features. However, multimodal models outperformed unimodal models when evaluated on the entire dataset. Additionally, model performance was weakest when predicting an affective state transition and improved after multiple predictions of the same affective state. These findings emphasize the benefits of incorporating body features in continuous affect recognition for infants. Our work highlights the importance of evaluating variability in model performance both over time and in the presence of missing data when applying affect recognition to social interactions. △ Less

Submitted 7 September, 2022; originally announced September 2022.

Comments: 8 pages, 6 figures, 10th International Conference on Affective Computing and Intelligent Interaction (ACII 2022)

A State Transition Model for Mobile Notifications via Survival Analysis

Authors: Yi** Yuan, **g Zhang, Shaunak Chatterjee, Shipeng Yu, Romer Rosales

Abstract: Mobile notifications have become a major communication channel for social networking services to keep users informed and engaged. As more mobile applications push notifications to users, they constantly face decisions on what to send, when and how. A lack of research and methodology commonly leads to heuristic decision making. Many notifications arrive at an inappropriate moment or introduce too m… ▽ More Mobile notifications have become a major communication channel for social networking services to keep users informed and engaged. As more mobile applications push notifications to users, they constantly face decisions on what to send, when and how. A lack of research and methodology commonly leads to heuristic decision making. Many notifications arrive at an inappropriate moment or introduce too many interruptions, failing to provide value to users and spurring users' complaints. In this paper we explore unique features of interactions between mobile notifications and user engagement. We propose a state transition framework to quantitatively evaluate the effectiveness of notifications. Within this framework, we develop a survival model for badging notifications assuming a log-linear structure and a Weibull distribution. Our results show that this model achieves more flexibility for applications and superior prediction accuracy than a logistic regression model. In particular, we provide an online use case on notification delivery time optimization to show how we make better decisions, drive more user engagement, and provide more value to users. △ Less

Submitted 7 July, 2022; originally announced July 2022.

Comments: 9 pages, 7 figures. Published in WSDM 19'

ACM Class: I.2.6

Journal ref: WSDM 2019 Pages 123-131

Multi-Objective Design Space Exploration for the Optimization of the HEVC Mode Decision Process

Authors: Christian Herglotz, Rafael Rosales, Michael Glass, Jürgen Teich, André Kaup

Abstract: Finding the best possible encoding decisions for compressing a video sequence is a highly complex problem. In this work, we propose a multi-objective Design Space Exploration (DSE) method to automatically find HEVC encoder implementations that are optimized for several different criteria. The DSE shall optimize the coding mode evaluation order of the mode decision process and jointly explore early… ▽ More Finding the best possible encoding decisions for compressing a video sequence is a highly complex problem. In this work, we propose a multi-objective Design Space Exploration (DSE) method to automatically find HEVC encoder implementations that are optimized for several different criteria. The DSE shall optimize the coding mode evaluation order of the mode decision process and jointly explore early skip conditions to minimize the four objectives a) bitrate, b) distortion, c) encoding time, and d) decoding energy. In this context, we use a SystemC-based actor model of the HM test model encoder for the evaluation of each explored solution. The evaluation that is based on real measurements shows that our framework can automatically generate encoder solutions that save more than 60% of encoding time or 3% of decoding energy when accepting bitrate increases of around 3%. △ Less

Submitted 3 March, 2022; originally announced March 2022.

Comments: 5 pages, 4 figures, 2016 Picture Coding Symposium (PCS)

A mixture model for determining SARS-Cov-2 variant composition in pooled samples

Authors: Renan Valieris, Rodrigo Drummond, Alexandre Defelicibus, Emannuel Dias-Neto, Rafael A. Rosales, Israel Tojal da Silva

Abstract: Despite of the fast development of highly effective vaccines to control the current COVID$-$19 pandemic, the unequal distribution and availability of these vaccines worldwide and the number of people infected in the world lead to the continuous emergence of SARS-CoV-2 (Severe Acute Respiratory Syndrome coronavirus 2) variants of concern. It is likely that real-time genomic surveillance will be con… ▽ More Despite of the fast development of highly effective vaccines to control the current COVID$-$19 pandemic, the unequal distribution and availability of these vaccines worldwide and the number of people infected in the world lead to the continuous emergence of SARS-CoV-2 (Severe Acute Respiratory Syndrome coronavirus 2) variants of concern. It is likely that real-time genomic surveillance will be continuously needed as an unceasing monitoring tool, necessary to follow the spillover of the disease spread and the evolution of the virus. In this context, new genomic variants of SARS-CoV-2 that may emerge as a response to selective pressure, including variants refractory to current vaccines, makes genomic surveillance programs tools of utmost importance. Here propose a statistical model for the estimation of the relative frequencies of SARS-CoV-2 variants in pooled samples. This model is built by considering a previously defined selection of genomic polymorphisms that characterize SARS-CoV-2 variants. The methods described here support both raw sequencing reads for polymorphisms-based markers calling and predefined markers in the VCF format. Results obtained by using simulated data show that our method is quite effective in recovering the correct variant proportions. Further, results obtained by considering longitudinal data from wastewater samples of two locations in Switzerland agree well with those describing the epidemiological evolution of COVID-19 variants in clinical samples of these locations. Our results show that the described method can be a valuable tool for tracking the proportions of SARS-CoV-2 variants. △ Less

Submitted 3 October, 2021; originally announced October 2021.

Comments: 19 pages, 8 figures

Vertex reinforced random walks with exponential interaction on complete graphs

Authors: Benito Pires, Fernando P. A. Prado, Rafael A. Rosales

Abstract: We describe a model for $m$ vertex reinforced interacting random walks on complete graphs with $d\geq 2$ vertices. The transition probability of a random walk to a given vertex depends exponentially on the proportion of visits made by all walks to that vertex. The individual proportion of visits is modulated by a strength parameter that can be set equal to any real number. This model covers a larg… ▽ More We describe a model for $m$ vertex reinforced interacting random walks on complete graphs with $d\geq 2$ vertices. The transition probability of a random walk to a given vertex depends exponentially on the proportion of visits made by all walks to that vertex. The individual proportion of visits is modulated by a strength parameter that can be set equal to any real number. This model covers a large variety of interactions including different vertex repulsion and attraction strengths between any two random walks as well as self-reinforced interactions. We show that the process of empirical vertex occupation measures defined by the interacting random walks converges (a.s.) to the limit set of the flow induced by a smooth vector field. Further, if the set of equilibria of the field is formed by isolated points, then the vertex occupation measures converge (a.s.) to an equilibrium of the field. These facts are shown by means of the construction of a strict Lyapunov function. We show that if the absolute value of the interaction strength parameters are smaller than a certain upper bound, then, for any number of random walks ($m\geq 2$) on any graph ($d \geq 2$), the vertex occupation measure converges toward a unique equilibrium. We provide two additional examples of repelling random walks for the cases $m=d=2$ and $m=3$, $d=2$. The latter is used to study some properties of three exponentially repelling random walks on $\mathbb{Z}$. △ Less

Submitted 28 December, 2020; originally announced December 2020.

MSC Class: 60K35 (Primary) 37C10; 60J10; 60G50 (Secondary)

A discrete complex Ginzburg-Landau equation for a hydrodynamic active lattice

Authors: Stuart J. Thomson, Matthew Durey, Rodolfo R. Rosales

Abstract: A discrete and periodic complex Ginzburg-Landau equation, coupled to a discrete mean equation, is systematically derived from a driven and dissipative oscillator model, close to the onset of a supercritical Hopf bifurcation. The oscillator model is inspired by recent experiments exploring active vibrations of quasi-one-dimensional lattices of self-propelled millimetric droplets bouncing on a verti… ▽ More A discrete and periodic complex Ginzburg-Landau equation, coupled to a discrete mean equation, is systematically derived from a driven and dissipative oscillator model, close to the onset of a supercritical Hopf bifurcation. The oscillator model is inspired by recent experiments exploring active vibrations of quasi-one-dimensional lattices of self-propelled millimetric droplets bouncing on a vertically vibrating fluid bath. Our systematic derivation provides a direct link between the constitutive properties of the lattice system and the coefficients of the resultant amplitude equations, paving the way to compare the emergent nonlinear dynamics---namely discrete bright and dark solitons, breathers, and traveling waves---against experiments. Further, the amplitude equations allow us to rationalize the successive bifurcations leading to these distinct dynamical states. The framework presented herein is expected to be applicable to a wider class of oscillators characterized by the presence of a dynamic coupling potential between particles. More broadly, our results point to deeper connections between nonlinear oscillators and the physics of active and driven matter. △ Less

Submitted 23 October, 2020; originally announced October 2020.

Comments: 38 pages (1.5 spacing), 6 figures

Journal ref: Phys. Rev. E 103, 062215 (2021)

Two repelling random walks on $\mathbb Z$

Authors: Fernando P. A. Prado, Cristian F. Coletti, Rafael A. Rosales

Abstract: We consider two interacting random walks on $\mathbb{Z}$ such that the transition probability of one walk in one direction decreases exponentially with the number of transitions of the other walk in that direction. The joint process may thus be seen as two random walks reinforced to repel each other. The strength of the repulsion is further modulated in our model by a parameter $β\geq 0$. When… ▽ More We consider two interacting random walks on $\mathbb{Z}$ such that the transition probability of one walk in one direction decreases exponentially with the number of transitions of the other walk in that direction. The joint process may thus be seen as two random walks reinforced to repel each other. The strength of the repulsion is further modulated in our model by a parameter $β\geq 0$. When $β= 0$ both processes are independent symmetric random walks on $\mathbb{Z}$, and hence recurrent. We show that both random walks are further recurrent if $β\in (0,1]$. We also show that these processes are transient and diverge in opposite directions if $β> 2$. The case $β\in (1,2]$ remains widely open. Our results are obtained by considering the dynamical system approach to stochastic approximations. △ Less

Submitted 22 March, 2021; v1 submitted 1 May, 2020; originally announced May 2020.

Comments: 17 pages. Added references and corrected typos. Revised the argument for the convergence to equilibria of the vector field. Improved the proof for the recurrence when beta belongs to (0,1); leading to the removal of a previous conjecture

MSC Class: 60K35 (Primary) 37C10 (Secondary)

Journal ref: Stochastic Process. Appl., 160, 2023, 72-88

Collective vibrations of a hydrodynamic active lattice

Authors: Stuart J. Thomson, Matthew Durey, Rodolfo R. Rosales

Abstract: Recent experiments show that quasi-one-dimensional lattices of self-propelled droplets exhibit collective instabilities in the form of out-of-phase oscillations and solitary-like waves. This hydrodynamic lattice is driven by the external forcing of a vertically vibrating fluid bath, which invokes a field of subcritical Faraday waves on the bath surface, mediating the spatio-temporal droplet coupli… ▽ More Recent experiments show that quasi-one-dimensional lattices of self-propelled droplets exhibit collective instabilities in the form of out-of-phase oscillations and solitary-like waves. This hydrodynamic lattice is driven by the external forcing of a vertically vibrating fluid bath, which invokes a field of subcritical Faraday waves on the bath surface, mediating the spatio-temporal droplet coupling.By modelling the droplet lattice as a memory-endowed system with spatially nonlocal coupling, we herein rationalise the form and onset of instability in this new class of dynamical oscillator. We identify the memory-driven instability of the lattice as a function of the number of droplets, and determine equispaced lattice configurations precluded by geometrical constraints. Each memory-driven instability is then classified as either a super- or sub-critical Hopf bifurcation \emph{via} a systematic weakly nonlinear analysis, rationalising experimental observations. We further discover a previously unreported symmetry-breaking instability, manifest as an oscillatory-rotary motion of the lattice. Numerical simulations support our findings and prompt further investigations of this nonlinear dynamical system. △ Less

Submitted 4 March, 2020; originally announced March 2020.

Comments: 27 pages, 8 figures

Journal ref: Proc. Roy. Soc. A, 476, 2239 (2020)

High-order Methods for a Pressure Poisson Equation Reformulation of the Navier-Stokes Equations with Electric Boundary Conditions

Authors: Rodolfo Ruben Rosales, Benjamin Seibold, David Shirokoff, Dong Zhou

Abstract: Pressure Poisson equation (PPE) reformulations of the incompressible Navier-Stokes equations (NSE) replace the incompressibility constraint by a Poisson equation for the pressure and a suitable choice of boundary conditions. This yields a time-evolution equation for the velocity field only, with the pressure gradient acting as a nonlocal operator. Thus, numerical methods based on PPE reformulation… ▽ More Pressure Poisson equation (PPE) reformulations of the incompressible Navier-Stokes equations (NSE) replace the incompressibility constraint by a Poisson equation for the pressure and a suitable choice of boundary conditions. This yields a time-evolution equation for the velocity field only, with the pressure gradient acting as a nonlocal operator. Thus, numerical methods based on PPE reformulations, in principle, have no limitations in achieving high order. In this paper, it is studied to what extent high-order methods for the NSE can be obtained from a specific PPE reformulation with electric boundary conditions (EBC). To that end, implicit-explicit (IMEX) time-step** is used to decouple the pressure solve from the velocity update, while avoiding a parabolic time-step restriction; and mixed finite elements are used in space, to capture the structure imposed by the EBC. Via numerical examples, it is demonstrated that the methodology can yield at least third order accuracy in space and time. △ Less

Submitted 22 February, 2020; originally announced February 2020.

MSC Class: 65L06; 65M60; 76D05

Journal ref: Comput. Methods Appl. Mech. Engrg., Vol. 373, 2021, pp. 113451

Structural Properties of the Stability of Jamitons

Authors: Rabie A. Ramadan, Rodolfo Ruben Rosales, Benjamin Seibold

Abstract: It is known that inhomogeneous second-order macroscopic traffic models can reproduce the phantom traffic jam phenomenon: whenever the sub-characteristic condition is violated, uniform traffic flow is unstable, and small perturbations grow into nonlinear traveling waves, called jamitons. In contrast, what is essentially unstudied is the question: which jamiton solutions are dynamically stable? To u… ▽ More It is known that inhomogeneous second-order macroscopic traffic models can reproduce the phantom traffic jam phenomenon: whenever the sub-characteristic condition is violated, uniform traffic flow is unstable, and small perturbations grow into nonlinear traveling waves, called jamitons. In contrast, what is essentially unstudied is the question: which jamiton solutions are dynamically stable? To understand which stop-and-go traffic waves can arise through the dynamics of the model, this question is critical. This paper first presents a computational study demonstrating which types of jamitons do arise dynamically, and which do not. Then, a procedure is presented that characterizes the stability of jamitons. The study reveals that a critical component of this analysis is the proper treatment of the perturbations to the shocks, and of the neighborhood of the sonic points. △ Less

Submitted 9 December, 2019; originally announced December 2019.

Comments: 22 page, 6 figures

MSC Class: 35L65; 35Q91; 91B74

Journal ref: In: Puppo G., Tosin A. (eds) Mathematical Descriptions of Traffic Flow: Micro, Macro and Kinetic Models. SEMA SIMAI Springer Series, vol 12. Springer, Cham, 2021, pp. 35-62

Spatial Manifestations of Order Reduction in Runge-Kutta Methods for Initial Boundary Value Problems

Authors: Rodolfo Ruben Rosales, Benjamin Seibold, David Shirokoff, Dong Zhou

Abstract: This paper studies the spatial manifestations of order reduction that occur when time-step** initial-boundary-value problems (IBVPs) with high-order Runge-Kutta methods. For such IBVPs, geometric structures arise that do not have an analog in ODE IVPs: boundary layers appear, induced by a mismatch between the approximation error in the interior and at the boundaries. To understand those boundary… ▽ More This paper studies the spatial manifestations of order reduction that occur when time-step** initial-boundary-value problems (IBVPs) with high-order Runge-Kutta methods. For such IBVPs, geometric structures arise that do not have an analog in ODE IVPs: boundary layers appear, induced by a mismatch between the approximation error in the interior and at the boundaries. To understand those boundary layers, an analysis of the modes of the numerical scheme is conducted, which explains under which circumstances boundary layers persist over many time steps. Based on this, two remedies to order reduction are studied: first, a new condition on the Butcher tableau, called weak stage order, that is compatible with diagonally implicit Runge-Kutta schemes; and second, the impact of modified boundary conditions on the boundary layer theory is analyzed. △ Less

Submitted 19 August, 2023; v1 submitted 3 December, 2017; originally announced December 2017.

Comments: 41 pages, 9 figures

MSC Class: 65L20; 65M15; 34E05

Imposing jump conditions on nonconforming interfaces for the Correction Function Method: a least squares approach

Authors: Alexandre Noll Marques, Jean-Christophe Nave, Rodolfo Ruben Rosales

Abstract: We introduce a technique that simplifies the problem of imposing jump conditions on interfaces that are not aligned with a computational grid in the context of the Correction Function Method (CFM). The CFM offers a general framework to solve Poisson's equation in the presence of discontinuities to high order of accuracy, while using a compact discretization stencil. A key concept behind the CFM is… ▽ More We introduce a technique that simplifies the problem of imposing jump conditions on interfaces that are not aligned with a computational grid in the context of the Correction Function Method (CFM). The CFM offers a general framework to solve Poisson's equation in the presence of discontinuities to high order of accuracy, while using a compact discretization stencil. A key concept behind the CFM is enforcing the jump conditions in a least squares sense. This concept requires computing integrals over sections of the interface, which is a challenge in 3-D when only an implicit representation of the interface is available (e.g., the zero contour of a level set function). The technique introduced here is based on a new formulation of the least squares procedure that relies only on integrals over domains that are amenable to simple quadrature after local coordinate transformations. We incorporate this technique into a fourth order accurate implementation of the CFM, and show examples of solutions to Poisson's equation computed in 2-D and 3-D. △ Less

Submitted 10 July, 2019; v1 submitted 30 October, 2017; originally announced October 2017.

MSC Class: 76M20; 35N06

Equation level matching: An extension of the method of matched asymptotic expansion for problems of wave propagation

Authors: Luiz M. Faria, Rodolfo R. Rosales

Abstract: We introduce an alternative to the method of matched asymptotic expansions. In the "traditional" implementation, approximate solutions, valid in different (but overlap**) regions are matched by using "intermediate" variables. Here we propose to match at the level of the equations involved, via a "uniform expansion" whose equations enfold those of the approximations to be matched. This has the ad… ▽ More We introduce an alternative to the method of matched asymptotic expansions. In the "traditional" implementation, approximate solutions, valid in different (but overlap**) regions are matched by using "intermediate" variables. Here we propose to match at the level of the equations involved, via a "uniform expansion" whose equations enfold those of the approximations to be matched. This has the advantage that one does not need to explicitly solve the asymptotic equations to do the matching, which can be quite impossible for some problems. In addition, it allows matching to proceed in certain wave situations where the traditional approach fails because the time behaviors differ (e.g., one of the expansions does not include dissipation). On the other hand, this approach does not provide the fairly explicit approximations resulting from standard matching. In fact, this is not even its aim, which to produce the "simplest" set of equations that capture the behavior. △ Less

Submitted 20 January, 2017; originally announced January 2017.

Unconditional Stability for Multistep ImEx Schemes: Theory

Authors: Rodolfo Ruben Rosales, Benjamin Seibold, David Shirokoff, Dong Zhou

Abstract: This paper presents a new class of high order linear ImEx multistep schemes with large regions of unconditional stability. Unconditional stability is a desirable property of a time step** scheme, as it allows the choice of time step solely based on accuracy considerations. Of particular interest are problems for which both the implicit and explicit parts of the ImEx splitting are stiff. Such spl… ▽ More This paper presents a new class of high order linear ImEx multistep schemes with large regions of unconditional stability. Unconditional stability is a desirable property of a time step** scheme, as it allows the choice of time step solely based on accuracy considerations. Of particular interest are problems for which both the implicit and explicit parts of the ImEx splitting are stiff. Such splittings can arise, for example, in variable-coefficient problems, or the incompressible Navier-Stokes equations. To characterize the new ImEx schemes, an unconditional stability region is introduced, which plays a role analogous to that of the stability region in conventional multistep methods. Moreover, computable quantities (such as a numerical range) are provided that guarantee an unconditionally stable scheme for a proposed implicit-explicit matrix splitting. The new approach is illustrated with several examples. Coefficients of the new schemes up to fifth order are provided. △ Less

Submitted 25 April, 2019; v1 submitted 14 September, 2016; originally announced September 2016.

Comments: 33 pages, 7 figures

MSC Class: 65L04; 65L06; 65L07; 65M12

Evaluating Crowdsourcing Participants in the Absence of Ground-Truth

Authors: Ramanathan Subramanian, Romer Rosales, Glenn Fung, Jennifer Dy

Abstract: Given a supervised/semi-supervised learning scenario where multiple annotators are available, we consider the problem of identification of adversarial or unreliable annotators. Given a supervised/semi-supervised learning scenario where multiple annotators are available, we consider the problem of identification of adversarial or unreliable annotators. △ Less

Submitted 30 May, 2016; originally announced May 2016.

Comments: 4 pages, 5 figures, Workshop on Human Computation for Science and Computational Sustainability, NIPS 2012, Lake Tahoe, NV. 7 Dec 2012

Topological dynamics of piecewise λ-affine maps

Authors: Arnaldo Nogueira, Benito Pires, Rafael A. Rosales

Abstract: Let $-1<λ<1$ and $f:[0,1)\to\mathbb{R}$ be a piecewise $λ$-affine map, that is, there exist points $0=c_0<c_1<\cdots <c_{n-1}<c_n=1$ and real numbers $b_1,\ldots,b_n$ such that $f(x)=λx+b_i$ for every $x\in [c_{i-1},c_i)$. We prove that, for Lebesgue almost every $δ\in\mathbb{R}$, the map $f_δ=f+δ\,({\rm mod}\,1)$ is asymptotically periodic. More precisely, $f_δ$ has at most $2n$ periodic orbits a… ▽ More Let $-1<λ<1$ and $f:[0,1)\to\mathbb{R}$ be a piecewise $λ$-affine map, that is, there exist points $0=c_0<c_1<\cdots <c_{n-1}<c_n=1$ and real numbers $b_1,\ldots,b_n$ such that $f(x)=λx+b_i$ for every $x\in [c_{i-1},c_i)$. We prove that, for Lebesgue almost every $δ\in\mathbb{R}$, the map $f_δ=f+δ\,({\rm mod}\,1)$ is asymptotically periodic. More precisely, $f_δ$ has at most $2n$ periodic orbits and the $ω$-limit set of every $x\in [0,1)$ is a periodic orbit. △ Less

Submitted 11 May, 2016; originally announced May 2016.

Comments: The present article is an extended version of our previous work posted in arXiv:1408.1663v1, entitled "Piecewise Contractions Defined by Iterated Function Systems"

Study of a model equation in detonation theory: multidimensional effects

Authors: Luiz M. Faria, Aslan R. Kasimov, Rodolfo R. Rosales

Abstract: We extend the reactive Burgers equation presented in Kasimov et al. Phys. Rev. Lett., 110 (2013) and Faria et al. SIAM J. Appl. Maths, 74 (2014), to include multidimensional effects. Furthermore, we explain how the model can be rationally justified following the ideas of the asymptotic theory developed in Faria et al. JFM (2015). The proposed model is a forced version of the unsteady small disturb… ▽ More We extend the reactive Burgers equation presented in Kasimov et al. Phys. Rev. Lett., 110 (2013) and Faria et al. SIAM J. Appl. Maths, 74 (2014), to include multidimensional effects. Furthermore, we explain how the model can be rationally justified following the ideas of the asymptotic theory developed in Faria et al. JFM (2015). The proposed model is a forced version of the unsteady small disturbance transonic flow equations. We show that for physically reasonable choices of forcing functions, traveling wave solutions akin to detonation waves exist. It is demonstrated that multidimensional effects play an important role in the stability and dynamics of the traveling waves. Numerical simulations indicate that solutions of the model tend to form multi-dimensional patterns analogous to cells in gaseous detonations. △ Less

Submitted 23 December, 2015; originally announced December 2015.

Discriminative Clustering with Relative Constraints

Authors: Yuanli Pei, Xiaoli Z. Fern, Rómer Rosales, Teresa Vania Tjahja

Abstract: We study the problem of clustering with relative constraints, where each constraint specifies relative similarities among instances. In particular, each constraint $(x_i, x_j, x_k)$ is acquired by posing a query: is instance $x_i$ more similar to $x_j$ than to $x_k$? We consider the scenario where answers to such queries are based on an underlying (but unknown) class concept, which we aim to disco… ▽ More We study the problem of clustering with relative constraints, where each constraint specifies relative similarities among instances. In particular, each constraint $(x_i, x_j, x_k)$ is acquired by posing a query: is instance $x_i$ more similar to $x_j$ than to $x_k$? We consider the scenario where answers to such queries are based on an underlying (but unknown) class concept, which we aim to discover via clustering. Different from most existing methods that only consider constraints derived from yes and no answers, we also incorporate don't know responses. We introduce a Discriminative Clustering method with Relative Constraints (DCRC) which assumes a natural probabilistic relationship between instances, their underlying cluster memberships, and the observed constraints. The objective is to maximize the model likelihood given the constraints, and in the meantime enforce cluster separation and cluster balance by also making use of the unlabeled instances. We evaluated the proposed method using constraints generated from ground-truth class labels, and from (noisy) human judgments from a user study. Experimental results demonstrate: 1) the usefulness of relative constraints, in particular when don't know answers are considered; 2) the improved performance of the proposed method over state-of-the-art methods that utilize either relative or pairwise constraints; and 3) the robustness of our method in the presence of noisy constraints, such as those provided by human judgement. △ Less

Submitted 30 December, 2014; originally announced January 2015.

Active Metric Learning from Relative Comparisons

Authors: Sicheng Xiong, Rómer Rosales, Yuanli Pei, Xiaoli Z. Fern

Abstract: This work focuses on active learning of distance metrics from relative comparison information. A relative comparison specifies, for a data point triplet $(x_i,x_j,x_k)$, that instance $x_i$ is more similar to $x_j$ than to $x_k$. Such constraints, when available, have been shown to be useful toward defining appropriate distance metrics. In real-world applications, acquiring constraints often requi… ▽ More This work focuses on active learning of distance metrics from relative comparison information. A relative comparison specifies, for a data point triplet $(x_i,x_j,x_k)$, that instance $x_i$ is more similar to $x_j$ than to $x_k$. Such constraints, when available, have been shown to be useful toward defining appropriate distance metrics. In real-world applications, acquiring constraints often require considerable human effort. This motivates us to study how to select and query the most useful relative comparisons to achieve effective metric learning with minimum user effort. Given an underlying class concept that is employed by the user to provide such constraints, we present an information-theoretic criterion that selects the triplet whose answer leads to the highest expected gain in information about the classes of a set of examples. Directly applying the proposed criterion requires examining $O(n^3)$ triplets with $n$ instances, which is prohibitive even for datasets of moderate size. We show that a randomized selection strategy can be used to reduce the selection pool from $O(n^3)$ to $O(n)$, allowing us to scale up to larger-size problems. Experiments show that the proposed method consistently outperforms two baseline policies. △ Less

Submitted 15 September, 2014; originally announced September 2014.

Piecewise contractions defined by iterated function systems

Authors: Arnaldo Nogueira, Benito Pires, Rafael A. Rosales

Abstract: Let $φ_1,\ldots,φ_n:[0,1]\to (0,1)$ be Lipschitz contractions. Let $I=[0,1)$, $x_0=0$ and $x_n=1$. We prove that for Lebesgue almost every $(x_1,...,x_{n-1})$ satisfying $0<x_1<\cdots <x_{n-1}<1$, the piecewise contraction $f:I\to I$ defined by $x\in [x_{i-1},x_i)\mapsto φ_i(x)$ is asymptotically periodic. More precisely, $f$ has at least one and at most $n$ periodic orbits and the $ω$-limit set… ▽ More Let $φ_1,\ldots,φ_n:[0,1]\to (0,1)$ be Lipschitz contractions. Let $I=[0,1)$, $x_0=0$ and $x_n=1$. We prove that for Lebesgue almost every $(x_1,...,x_{n-1})$ satisfying $0<x_1<\cdots <x_{n-1}<1$, the piecewise contraction $f:I\to I$ defined by $x\in [x_{i-1},x_i)\mapsto φ_i(x)$ is asymptotically periodic. More precisely, $f$ has at least one and at most $n$ periodic orbits and the $ω$-limit set $ω_f(x)$ is a periodic orbit of $f$ for every $x\in I$. △ Less

Submitted 7 August, 2014; originally announced August 2014.

Comments: 16 pages, two figures

MSC Class: Primary 37E05 Secondary 37C20; 37E15

Theory of weakly nonlinear self sustained detonations

Authors: Luiz M. Faria, Aslan R. Kasimov, Rodolfo R. Rosales

Abstract: We propose a theory of weakly nonlinear multi-dimensional self sustained detonations based on asymptotic analysis of the reactive compressible Navier-Stokes equations. We show that these equations can be reduced to a model consisting of a forced, unsteady, small disturbance, transonic equation and a rate equation for the heat release. In one spatial dimension, the model simplifies to a forced Burg… ▽ More We propose a theory of weakly nonlinear multi-dimensional self sustained detonations based on asymptotic analysis of the reactive compressible Navier-Stokes equations. We show that these equations can be reduced to a model consisting of a forced, unsteady, small disturbance, transonic equation and a rate equation for the heat release. In one spatial dimension, the model simplifies to a forced Burgers equation. Through analysis, numerical calculations and comparison with the reactive Euler equations, the model is demonstrated to capture such essential dynamical characteristics of detonations as the steady-state structure, the linear stability spectrum, the period-doubling sequence of bifurcations and chaos in one-dimensional detonations and cellular structures in multi- dimensional detonations. △ Less

Submitted 31 July, 2014; originally announced July 2014.

High order solution of Poisson problems with piecewise constant coefficients and interface jumps

Authors: Alexandre Noll Marques, Jean-Christophe Nave, Rodolfo Ruben Rosales

Abstract: We present a fast and accurate algorithm to solve Poisson problems in complex geometries, using regular Cartesian grids. We consider a variety of configurations, including Poisson problems with interfaces across which the solution is discontinuous (of the type arising in multi-fluid flows). The algorithm is based on a combination of the Correction Function Method (CFM) and Boundary Integral Method… ▽ More We present a fast and accurate algorithm to solve Poisson problems in complex geometries, using regular Cartesian grids. We consider a variety of configurations, including Poisson problems with interfaces across which the solution is discontinuous (of the type arising in multi-fluid flows). The algorithm is based on a combination of the Correction Function Method (CFM) and Boundary Integral Methods (BIM). Interface and boundary conditions can be treated in a fast and accurate manner using boundary integral equations, and the associated BIM. Unfortunately, BIM can be costly when the solution is needed everywhere in a grid, e.g. fluid flow problems. We use the CFM to circumvent this issue. The solution from the BIM is used to rewrite the problem as a series of Poisson problems in rectangular domains - which requires the BIM solution at interfaces/boundaries only. These Poisson problems involve discontinuities at interfaces, of the type that the CFM can handle. Hence we use the CFM to solve them (to high order of accuracy) with finite differences and a Fast Fourier Transform based fast Poisson solver. We present 2-D examples of the algorithm applied to Poisson problems involving complex geometries, including cases in which the solution is discontinuous. We show that the algorithm produces solutions that converge with either 3rd or 4th order of accuracy, depending on the type of boundary condition and solution discontinuity. △ Less

Submitted 15 December, 2016; v1 submitted 31 January, 2014; originally announced January 2014.

MSC Class: 76M20; 35N06

Meshfree finite differences for vector Poisson and pressure Poisson equations with electric boundary conditions

Authors: Dong Zhou, Benjamin Seibold, David Shirokoff, Prince Chidyagwai, Rodolfo Ruben Rosales

Abstract: We demonstrate how meshfree finite difference methods can be applied to solve vector Poisson problems with electric boundary conditions. In these, the tangential velocity and the incompressibility of the vector field are prescribed at the boundary. Even on irregular domains with only convex corners, canonical nodal-based finite elements may converge to the wrong solution due to a version of the Ba… ▽ More We demonstrate how meshfree finite difference methods can be applied to solve vector Poisson problems with electric boundary conditions. In these, the tangential velocity and the incompressibility of the vector field are prescribed at the boundary. Even on irregular domains with only convex corners, canonical nodal-based finite elements may converge to the wrong solution due to a version of the Babuska paradox. In turn, straightforward meshfree finite differences converge to the true solution, and even high-order accuracy can be achieved in a simple fashion. The methodology is then extended to a specific pressure Poisson equation reformulation of the Navier-Stokes equations that possesses the same type of boundary conditions. The resulting numerical approach is second order accurate and allows for a simple switching between an explicit and implicit treatment of the viscosity terms. △ Less

Submitted 15 December, 2013; originally announced December 2013.

Comments: 19 pages, 7 figures

MSC Class: 65M06; 65N06; 76M20; 35Q35

Journal ref: Meshfree methods for Partial Differential Equations VII, Lecture Notes in Computational Science and Engineering, Vol. 100, Griebel, M. and Schweitzer, M.A. (ed.), Springer, 2015, pp. 223-246

Asymptotically periodic piecewise contractions of the interval

Authors: Arnaldo Nogueira, Benito Pires, Rafael A. Rosales

Abstract: We consider the iterates of a generic injective piecewise contraction of the interval defined by a finite family of contractions. Let $φ_i:[0,1]\to (0,1)$, $1\le i\le n$, be $C^2$-diffeomorphisms with $\sup_{x\in (0,1)} \vert Dφ_i(x)\vert<1$ whose images $φ_1([0,1]), \ldots, φ_n([0,1])$ are pairwise disjoint. Let $0<x_1<\cdots<x_{n-1}<1$ and let $I_1,\ldots, I_n$ be a partition of the interval… ▽ More We consider the iterates of a generic injective piecewise contraction of the interval defined by a finite family of contractions. Let $φ_i:[0,1]\to (0,1)$, $1\le i\le n$, be $C^2$-diffeomorphisms with $\sup_{x\in (0,1)} \vert Dφ_i(x)\vert<1$ whose images $φ_1([0,1]), \ldots, φ_n([0,1])$ are pairwise disjoint. Let $0<x_1<\cdots<x_{n-1}<1$ and let $I_1,\ldots, I_n$ be a partition of the interval $[0,1)$ into subintervals $I_i$ having interior $(x_{i-1},x_i)$, where $x_0=0$ and $x_n=1$. Let $f_{x_1,\ldots,x_{n-1}}$ be the map given by $x\mapsto φ_i(x)$ if $x\in I_i$, for $1\le i\le n$. Among other results we prove that for Lebesgue almost every $(x_1,\ldots,x_{n-1})$, the piecewise contraction $f_{x_1,\ldots,x_{n-1}}$ is asymptotically periodic. △ Less

Submitted 21 October, 2013; originally announced October 2013.

Comments: 8 pages

MSC Class: 37E05; 37C20; 37E15

Identification of cromosomal translocation hotspots via scan statistics

Authors: Israel T. Silva, Rafael A. Rosales, Adriano J. Holanda, Michel C. Nussenzweig, Mila Jankovic

Abstract: The detection of genomic regions unusually rich in a given pattern is an important undertaking in the analysis of next generation sequencing data. Recent studies of chromosomal translocations in activated B lymphocytes have identified regions that are frequently translocated to c-myc oncogene. A quantitative method for the identification of translocation hotspots was crucial to this study. Here we… ▽ More The detection of genomic regions unusually rich in a given pattern is an important undertaking in the analysis of next generation sequencing data. Recent studies of chromosomal translocations in activated B lymphocytes have identified regions that are frequently translocated to c-myc oncogene. A quantitative method for the identification of translocation hotspots was crucial to this study. Here we improve this analysis by using a simple probabilistic model and the framework provided by scan statistics to define the number and location of translocation breakpoint hotspots. A key feature of our method is that it provides a global chromosome-wide significance level to clustering, as opposed to previous methods based on local criteria. Whilst being motivated by a specific application, the detection of unusual clusters is a widespread problem in bioinformatics. We expect our method to be useful in the analysis of data from other experimental approaches such as of ChIP-seq and 4C-seq. △ Less

Submitted 11 October, 2013; originally announced October 2013.

Comments: 13 pages, 2 figures

MSC Class: 92D20; 62P10; 62M30

Study of a model equation in detonation theory

Authors: Luiz M. Faria, Aslan R. Kasimov, Rodolfo R. Rosales

Abstract: Here we analyze properties of an equation that we previously proposed to model the dynamics of unstable detonation waves [A. R. Kasimov, L. M. Faria, and R. R. Rosales. Model for shock wave chaos. Physical Review Letters, 110(10):104104, 2013]. The equation is \[ u_{t}+\frac{1}{2}\left(u^{2}-uu\left(0_{-},t\right)\right)_{x}=f\left(x,u\left(0_{-},t\right)\right),\quad x\le0,\quad t>0. \] It descri… ▽ More Here we analyze properties of an equation that we previously proposed to model the dynamics of unstable detonation waves [A. R. Kasimov, L. M. Faria, and R. R. Rosales. Model for shock wave chaos. Physical Review Letters, 110(10):104104, 2013]. The equation is \[ u_{t}+\frac{1}{2}\left(u^{2}-uu\left(0_{-},t\right)\right)_{x}=f\left(x,u\left(0_{-},t\right)\right),\quad x\le0,\quad t>0. \] It describes a detonation shock at $x=0$ with the reaction zone in $x<0$. We investigate the nature of the steady-state solutions of this nonlocal hyperbolic balance law, the linear stability of these solutions, and the nonlinear dynamics. We establish the existence of instability followed by a cascade of period-doubling bifurcations leading to chaos. △ Less

Submitted 19 September, 2013; originally announced September 2013.

Comments: 26 pages

Learning Generative Models of Similarity Matrices

Authors: Romer Rosales, Brendan J. Frey

Abstract: We describe a probabilistic (generative) view of affinity matrices along with inference algorithms for a subclass of problems associated with data clustering. This probabilistic view is helpful in understanding different models and algorithms that are based on affinity functions OF the data. IN particular, we show how(greedy) inference FOR a specific probabilistic model IS equ… ▽ More We describe a probabilistic (generative) view of affinity matrices along with inference algorithms for a subclass of problems associated with data clustering. This probabilistic view is helpful in understanding different models and algorithms that are based on affinity functions OF the data. IN particular, we show how(greedy) inference FOR a specific probabilistic model IS equivalent TO the spectral clustering algorithm.It also provides a framework FOR develo** new algorithms AND extended models. AS one CASE, we present new generative data clustering models that allow us TO infer the underlying distance measure suitable for the clustering problem at hand. These models seem to perform well in a larger class of problems for which other clustering algorithms (including spectral clustering) usually fail. Experimental evaluation was performed in a variety point data sets, showing excellent performance. △ Less

Submitted 19 October, 2012; originally announced December 2012.

Comments: Appears in Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence (UAI2003)

Report number: UAI-P-2003-PG-485-492

Constructing set-valued fundamental diagrams from jamiton solutions in second order traffic models

Authors: Benjamin Seibold, Morris R. Flynn, Aslan R. Kasimov, Rodolfo Ruben Rosales

Abstract: Fundamental diagrams of vehicular traffic flow are generally multi-valued in the congested flow regime. We show that such set-valued fundamental diagrams can be constructed systematically from simple second order macroscopic traffic models, such as the classical Payne-Whitham model or the inhomogeneous Aw-Rascle-Zhang model. These second order models possess nonlinear traveling wave solutions, cal… ▽ More Fundamental diagrams of vehicular traffic flow are generally multi-valued in the congested flow regime. We show that such set-valued fundamental diagrams can be constructed systematically from simple second order macroscopic traffic models, such as the classical Payne-Whitham model or the inhomogeneous Aw-Rascle-Zhang model. These second order models possess nonlinear traveling wave solutions, called jamitons, and the multi-valued parts in the fundamental diagram correspond precisely to jamiton-dominated solutions. This study shows that transitions from function-valued to set-valued parts in a fundamental diagram arise naturally in well-known second order models. As a particular consequence, these models intrinsically reproduce traffic phases. △ Less

Submitted 10 June, 2013; v1 submitted 24 April, 2012; originally announced April 2012.

Comments: 27 pages, 22 figures

MSC Class: 35B40; 35C07; 35L65; 35Q91; 76L05; 91C99

Journal ref: Netw. Heterog. Media., Vol. 8, No. 3, 2013, pp. 745-772

Modeling Multiple Annotator Expertise in the Semi-Supervised Learning Scenario

Authors: Yan Yan, Romer Rosales, Glenn Fung, Jennifer Dy

Abstract: Learning algorithms normally assume that there is at most one annotation or label per data point. However, in some scenarios, such as medical diagnosis and on-line collaboration,multiple annotations may be available. In either case, obtaining labels for data points can be expensive and time-consuming (in some circumstances ground-truth may not exist). Semi-supervised learning approaches have shown… ▽ More Learning algorithms normally assume that there is at most one annotation or label per data point. However, in some scenarios, such as medical diagnosis and on-line collaboration,multiple annotations may be available. In either case, obtaining labels for data points can be expensive and time-consuming (in some circumstances ground-truth may not exist). Semi-supervised learning approaches have shown that utilizing the unlabeled data is often beneficial in these cases. This paper presents a probabilistic semi-supervised model and algorithm that allows for learning from both unlabeled and labeled data in the presence of multiple annotators. We assume that it is known what annotator labeled which data points. The proposed approach produces annotator models that allow us to provide (1) estimates of the true label and (2) annotator variable expertise for both labeled and unlabeled data. We provide numerical comparisons under various scenarios and with respect to standard semi-supervised learning. Experiments showed that the presented approach provides clear advantages over multi-annotator methods that do not use the unlabeled data and over methods that do not use multi-labeler information. △ Less

Submitted 15 March, 2012; originally announced March 2012.

Comments: Appears in Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence (UAI2010)

Report number: UAI-P-2010-PG-674-682

A model for shock wave chaos

Authors: Aslan Kasimov, Luiz Faria, Rodolfo R. Rosales

Abstract: We propose the following model equation: \[u_{t}+1/2(u^{2}-uu_{s})_{x}=f(x,u_{s}), \] that predicts chaotic shock waves. It is given on the half-line $x<0$ and the shock is located at $x=0$ for any $t\ge0$. Here $u_{s}(t)$ is the shock state and the source term $f$ is assumed to satisfy certain integrability constraints as explained in the main text. We demonstrate that this simple equation reprod… ▽ More We propose the following model equation: \[u_{t}+1/2(u^{2}-uu_{s})_{x}=f(x,u_{s}), \] that predicts chaotic shock waves. It is given on the half-line $x<0$ and the shock is located at $x=0$ for any $t\ge0$. Here $u_{s}(t)$ is the shock state and the source term $f$ is assumed to satisfy certain integrability constraints as explained in the main text. We demonstrate that this simple equation reproduces many of the properties of detonations in gaseous mixtures, which one finds by solving the reactive Euler equations: existence of steady traveling-wave solutions and their instability, a cascade of period-doubling bifurcations, onset of chaos, and shock formation in the reaction zone. △ Less

Submitted 14 February, 2012; originally announced February 2012.

Comments: 4 pages, 4 figures

Ripples in a string coupled to Glauber spins

Authors: L L Bonilla, A Carpio, A Prados, R R Rosales

Abstract: Each oscillator in a linear chain (a string) interacts with a local Ising spin in contact with a thermal bath. These spins evolve according to Glauber dynamics. Below a critical temperature, a rippled state in the string is accompanied by a nonzero spin polarization. The system is shown to form ripples in the string which, for slow spin relaxation, vibrates rapidly about quasi-stationary states de… ▽ More Each oscillator in a linear chain (a string) interacts with a local Ising spin in contact with a thermal bath. These spins evolve according to Glauber dynamics. Below a critical temperature, a rippled state in the string is accompanied by a nonzero spin polarization. The system is shown to form ripples in the string which, for slow spin relaxation, vibrates rapidly about quasi-stationary states described as snapshots of a coarse-grained stroboscopic map. For moderate observation times, ripples are observed irrespective of the final thermodynamically stable state (rippled or not). △ Less

Submitted 30 September, 2011; originally announced September 2011.

Comments: 5 pages, 2 figures

Journal ref: Phys. Rev. E 85, 031125 (2012)

A comparative study of the efficiency of jet schemes

Authors: Prince Chidyagwai, Jean-Christophe Nave, Rodolfo Ruben Rosales, Benjamin Seibold

Abstract: We present two versions of third order accurate jet schemes, which achieve high order accuracy by tracking derivative information of the solution along characteristic curves. For a benchmark linear advection problem, the efficiency of jet schemes is compared with WENO and Discontinuous Galerkin methods of the same order. Moreover, the performance of various schemes in tracking solution contours is… ▽ More We present two versions of third order accurate jet schemes, which achieve high order accuracy by tracking derivative information of the solution along characteristic curves. For a benchmark linear advection problem, the efficiency of jet schemes is compared with WENO and Discontinuous Galerkin methods of the same order. Moreover, the performance of various schemes in tracking solution contours is investigated. It is demonstrated that jet schemes possess the simplicity and speed of WENO schemes, while showing several of the advantages as well as the accuracy of DG methods. △ Less

Submitted 1 April, 2012; v1 submitted 4 April, 2011; originally announced April 2011.

Comments: 12 pages, 6 figures, presented at the conference Mathematical Modeling and Applications to Industrial Problems 2011

MSC Class: 65M25; 65M12; 35L04

Journal ref: Int. J. Numer. Anal. Model.-B, Vol. 3, No. 3, 2012, pp. 297-306

Jet schemes for advection problems

Authors: Benjamin Seibold, Jean-Christophe Nave, Rodolfo Ruben Rosales

Abstract: We present a systematic methodology to develop high order accurate numerical approaches for linear advection problems. These methods are based on evolving parts of the jet of the solution in time, and are thus called jet schemes. Through the tracking of characteristics and the use of suitable Hermite interpolations, high order is achieved in an optimally local fashion, i.e. the update for the data… ▽ More We present a systematic methodology to develop high order accurate numerical approaches for linear advection problems. These methods are based on evolving parts of the jet of the solution in time, and are thus called jet schemes. Through the tracking of characteristics and the use of suitable Hermite interpolations, high order is achieved in an optimally local fashion, i.e. the update for the data at any grid point uses information from a single grid cell only. We show that jet schemes can be interpreted as advect-and-project processes in function spaces, where the projection step minimizes a stability functional. Furthermore, this function space framework makes it possible to systematically inherit update rules for the higher derivatives from the ODE solver for the characteristics. Jet schemes of orders up to five are applied in numerical benchmark tests, and systematically compared with classical WENO finite difference schemes. It is observed that jet schemes tend to possess a higher accuracy than WENO schemes of the same order. △ Less

Submitted 18 November, 2011; v1 submitted 27 January, 2011; originally announced January 2011.

Comments: 26 pages, 6 figures; based on a poster presentation at the conference Fluid Dynamics, Analysis, and Numerics 2010

MSC Class: 65M25; 65M12; 35L04

Journal ref: Discrete Contin. Dyn. Syst. Ser. B, Vol. 17, No. 4, 2012, pp. 1229-1259

An efficient method for the incompressible Navier-Stokes equations on irregular domains with no-slip boundary conditions, high order up to the boundary

Authors: David Shirokoff, Rodolfo Ruben Rosales

Abstract: Common efficient schemes for the incompressible Navier-Stokes equations, such as projection or fractional step methods, have limited temporal accuracy as a result of matrix splitting errors, or introduce errors near the domain boundaries (which destroy uniform convergence to the solution). In this paper we recast the incompressible (constant density) Navier-Stokes equations (with the velocity pres… ▽ More Common efficient schemes for the incompressible Navier-Stokes equations, such as projection or fractional step methods, have limited temporal accuracy as a result of matrix splitting errors, or introduce errors near the domain boundaries (which destroy uniform convergence to the solution). In this paper we recast the incompressible (constant density) Navier-Stokes equations (with the velocity prescribed at the boundary) as an equivalent system, for the primary variables velocity and pressure. We do this in the usual way away from the boundaries, by replacing the incompressibility condition on the velocity by a Poisson equation for the pressure. The key difference from the usual approaches occurs at the boundaries, where we use boundary conditions that unequivocally allow the pressure to be recovered from knowledge of the velocity at any fixed time. This avoids the common difficulty of an, apparently, over-determined Poisson problem. Since in this alternative formulation the pressure can be accurately and efficiently recovered from the velocity, the recast equations are ideal for numerical marching methods. The new system can be discretized using a variety of methods, in principle to any desired order of accuracy. In this work we illustrate the approach with a 2-D second order finite difference scheme on a Cartesian grid, and devise an algorithm to solve the equations on domains with curved (non-conforming) boundaries, including a case with a non-trivial topology (a circular obstruction inside the domain). This algorithm achieves second order accuracy (in L-infinity), for both the velocity and the pressure. The scheme has a natural extension to 3-D. △ Less

Submitted 16 October, 2013; v1 submitted 16 November, 2010; originally announced November 2010.

Comments: 50 pages, 14 figures

Journal ref: Journal of Computational Physics, Volume 230, Issue 23, 20 September 2011, Pages 8619-8646

A Correction Function Method for Poisson Problems with Interface Jump Conditions

Authors: Alexandre Noll Marques, Jean-Christophe Nave, Rodolfo Ruben Rosales

Abstract: In this paper we present a method to treat interface jump conditions for constant coefficients Poisson problems that allows the use of standard "black box" solvers, without compromising accuracy. The basic idea of the new approach is similar to the Ghost Fluid Method (GFM). The GFM relies on corrections applied on nodes located across the interface for discretization stencils that straddle the int… ▽ More In this paper we present a method to treat interface jump conditions for constant coefficients Poisson problems that allows the use of standard "black box" solvers, without compromising accuracy. The basic idea of the new approach is similar to the Ghost Fluid Method (GFM). The GFM relies on corrections applied on nodes located across the interface for discretization stencils that straddle the interface. If the corrections are solution-independent, they can be moved to the right-hand-side (RHS) of the equations, producing a problem with the same linear system as if there were no jumps, only with a different RHS. However, achieving high accuracy is very hard (if not impossible) with the "standard" approaches used to compute the GFM correction terms. In this paper we generalize the GFM correction terms to a correction function, defined on a band around the interface. This function is then shown to be characterized as the solution to a PDE, with appropriate boundary conditions. This PDE can, in principle, be solved to any desired order of accuracy. As an example, we apply this new method to devise a 4th order accurate scheme for the constant coefficients Poisson equation with discontinuities in 2D. This scheme is based on (i) the standard 9-point stencil discretization of the Poisson equation, (ii) a representation of the correction function in terms of bicubics, and (iii) a solution of the correction function PDE by a least squares minimization. Several applications of the method are presented to illustrate its robustness dealing with a variety of interface geometries, its capability to capture sharp discontinuities, and its high convergence rate. △ Less

Submitted 29 September, 2011; v1 submitted 4 October, 2010; originally announced October 2010.

Comments: 59 pages, 42 figures

MSC Class: 76M20; 35N06

Journal ref: Journal of Computational Physics 230 (20) (2011) 7567-7597

A gradient-augmented level set method with an optimally local, coherent advection scheme

Authors: Jean-Christophe Nave, Rodolfo Ruben Rosales, Benjamin Seibold

Abstract: The level set approach represents surfaces implicitly, and advects them by evolving a level set function, which is numerically defined on an Eulerian grid. Here we present an approach that augments the level set function values by gradient information, and evolves both quantities in a fully coupled fashion. This maintains the coherence between function values and derivatives, while exploiting th… ▽ More The level set approach represents surfaces implicitly, and advects them by evolving a level set function, which is numerically defined on an Eulerian grid. Here we present an approach that augments the level set function values by gradient information, and evolves both quantities in a fully coupled fashion. This maintains the coherence between function values and derivatives, while exploiting the extra information carried by the derivatives. The method is of comparable quality to WENO schemes, but with optimally local stencils (performing updates in time by using information from only a single adjacent grid cell). In addition, structures smaller than the grid size can be located and tracked, and the extra derivative information can be employed to obtain simple and accurate approximations to the curvature. We analyze the accuracy and the stability of the new scheme, and perform benchmark tests. △ Less

Submitted 25 November, 2009; v1 submitted 20 May, 2009; originally announced May 2009.

Comments: 28 pages, 14 figures

MSC Class: 65M25; 35L65

Journal ref: J. Comput. Phys., Vol. 229, No. 10, 2010, pp. 3802-3827

Self-sustained nonlinear waves in traffic flow

Authors: Morris R. Flynn, Aslan R. Kasimov, Jean-Christophe Nave, Rodolfo R. Rosales, Benjamin Seibold

Abstract: In analogy to gas-dynamical detonation waves, which consist of a shock with an attached exothermic reaction zone, we consider herein nonlinear traveling wave solutions, termed "jamitons," to the hyperbolic ("inviscid") continuum traffic equations. Generic existence criteria are examined in the context of the Lax entropy conditions. Our analysis naturally precludes traveling wave solutions for wh… ▽ More In analogy to gas-dynamical detonation waves, which consist of a shock with an attached exothermic reaction zone, we consider herein nonlinear traveling wave solutions, termed "jamitons," to the hyperbolic ("inviscid") continuum traffic equations. Generic existence criteria are examined in the context of the Lax entropy conditions. Our analysis naturally precludes traveling wave solutions for which the shocks travel downstream more rapidly than individual vehicles. Consistent with recent experimental observations from a periodic roadway (Sugiyama et al., New Journal of Physics, 10, 2008), our numerical calculations show that, under appropriate road conditions, jamitons are attracting solutions, with the time evolution of the system converging towards a jamiton-dominated configuration. Jamitons are characterized by a sharp increase in density over a relatively compact section of the roadway. Applications of our analysis to traffic modeling and control are examined by way of a detailed example. △ Less

Submitted 15 October, 2008; originally announced October 2008.

Comments: 27 pages, 4 figures

Journal ref: Phys. Rev. E, Vol. 79, No. 5, 2009, pp. 056113

Multirate integration of axisymmetric step-flow equations

Authors: Pak-Wing Fok, Rodolfo R. Rosales

Abstract: We present a multirate method that is particularly suited for integrating the systems of Ordinary Differential Equations (ODEs) that arise in step models of surface evolution. The surface of a crystal lattice, that is slightly miscut from a plane of symmetry, consists of a series of terraces separated by steps. Under the assumption of axisymmetry, the step radii satisfy a system of ODEs that ref… ▽ More We present a multirate method that is particularly suited for integrating the systems of Ordinary Differential Equations (ODEs) that arise in step models of surface evolution. The surface of a crystal lattice, that is slightly miscut from a plane of symmetry, consists of a series of terraces separated by steps. Under the assumption of axisymmetry, the step radii satisfy a system of ODEs that reflects the steps' response to step line tension and step-step interactions. Two main problems arise in the numerical solution of these equations. First, the trajectory of the innermost step can become singular, resulting in a divergent step velocity. Second, when a step bunching instability arises, the motion of steps within a bunch becomes very strongly stable, resulting in "local stiffness". The multirate method introduced in this paper ensures that small time steps are taken for singular and locally stiff components, while larger time steps are taken for the remaining ones. Special consideration is given to the construction of high order interpolants during run time which ensures fourth order accuracy of scheme for components of the solution sufficiently far away from singular trajectories. △ Less

Submitted 14 October, 2008; originally announced October 2008.

Comments: 37 pages, 9 eps figures, pending submission to Journal of Computational Physics

MSC Class: 65L06; 65Z05

On "jamitons," self-sustained nonlinear traffic waves

Authors: Morris R. Flynn, Aslan R. Kasimov, Jean-Christophe Nave, Rodolfo R. Rosales, Benjamin Seibold

Abstract: "Phantom jams," traffic blockages that arise without apparent cause, have long frustrated transportation scientists. Herein, we draw a novel homology between phantom jams and a related class of self-sustained transonic waves, namely detonations. Through this analogy, we describe the jam structure; favorable agreement with reported measurements from congested highways is observed. Complementary n… ▽ More "Phantom jams," traffic blockages that arise without apparent cause, have long frustrated transportation scientists. Herein, we draw a novel homology between phantom jams and a related class of self-sustained transonic waves, namely detonations. Through this analogy, we describe the jam structure; favorable agreement with reported measurements from congested highways is observed. Complementary numerical simulations offer insights into the jams' development. Our results identify conditions likely to result in a dangerous concentration of vehicles and thereby lend guidance in traffic control and roadway design. △ Less

Submitted 17 September, 2008; v1 submitted 16 September, 2008; originally announced September 2008.

Comments: 6 pages, 4 figures

MSC Class: 35Q80; 76H05; 90B20

Emergence of Oscillons in an Expanding Background

Authors: E. Farhi, N. Graham, A. H. Guth, N. Iqbal, R. R. Rosales, N. Stamatopoulos

Abstract: We consider a (1+1) dimensional scalar field theory that supports oscillons, which are localized, oscillatory, stable solutions to nonlinear equations of motion. We study this theory in an expanding background and show that oscillons now lose energy, but at a rate that is exponentially small when the expansion rate is slow. We also show numerically that a universe that starts with (almost) therm… ▽ More We consider a (1+1) dimensional scalar field theory that supports oscillons, which are localized, oscillatory, stable solutions to nonlinear equations of motion. We study this theory in an expanding background and show that oscillons now lose energy, but at a rate that is exponentially small when the expansion rate is slow. We also show numerically that a universe that starts with (almost) thermal initial conditions will cool to a final state where a significant fraction of the energy of the universe -- on the order of 50% -- is stored in oscillons. If this phenomenon persists in realistic models, oscillons may have cosmological consequences. △ Less

Submitted 11 June, 2008; v1 submitted 18 December, 2007; originally announced December 2007.

Comments: 13 pages, 4 .eps figures, uses RevTeX4; v2: clarified details of expansion, added references

Report number: MIT-CTP 3924

Journal ref: Phys.Rev.D77:085019,2008

An Oscillon in the SU(2) Gauged Higgs Model

Authors: E. Farhi, N. Graham, V. Khemani, R. Markov, R. Rosales

Abstract: We study classical dynamics in the spherical ansatz for the SU(2) gauge and Higgs fields of the electroweak Standard Model in the absence of fermions and the photon. With the Higgs boson mass equal to twice the gauge boson mass, we numerically demonstrate the existence of oscillons, extremely long-lived localized configurations that undergo regular oscillations in time. We have only seen oscillo… ▽ More We study classical dynamics in the spherical ansatz for the SU(2) gauge and Higgs fields of the electroweak Standard Model in the absence of fermions and the photon. With the Higgs boson mass equal to twice the gauge boson mass, we numerically demonstrate the existence of oscillons, extremely long-lived localized configurations that undergo regular oscillations in time. We have only seen oscillons in this reduced theory when the masses are in a two-to-one ratio. If a similar phenomenon were to persist in the full theory, it would suggest a preferred value for the Higgs mass. △ Less

Submitted 31 May, 2005; originally announced May 2005.

Comments: 7 pages, 6 .eps figures, uses revtex4 and epsfig

Report number: MIT-CTP-3649

Journal ref: Phys.Rev. D72 (2005) 101701

Diffusion and mixing in gravity-driven dense granular flows

Authors: Jaehyuk Choi, A. Kudrolli, R. R. Rosales, Martin Z. Bazant

Abstract: We study the transport properties of particles draining from a silo using imaging and direct particle tracking. The particle displacements show a universal transition from super-diffusion to normal diffusion, as a function of the distance fallen, independent of the flow speed. In the super-diffusive (but sub-ballistic) regime, which occurs before a particle falls through its diameter, the displa… ▽ More We study the transport properties of particles draining from a silo using imaging and direct particle tracking. The particle displacements show a universal transition from super-diffusion to normal diffusion, as a function of the distance fallen, independent of the flow speed. In the super-diffusive (but sub-ballistic) regime, which occurs before a particle falls through its diameter, the displacements have fat-tailed and anisotropic distributions. In the diffusive regime, we observe very slow cage breaking and Peclet numbers of order 100, contrary to the only previous microscopic model (based on diffusing voids). Overall, our experiments show that diffusion and mixing are dominated by geometry, consistent with fluctuating contact networks but not thermal collisions, as in normal fluids. △ Less

Submitted 17 November, 2003; originally announced November 2003.

Acoustic Energy Storage in Single Bubble Sonoluminescence

Authors: Michael P. Brenner, Sascha Hilgenfeldt, Detlef Lohse, Rodolfo R. Rosales

Abstract: Single bubble sonoluminescence is understood in terms of a shock focusing towards the bubble center. We present a mechanism for significantly enhancing the effect of shock focusing, arising from the storage of energy in the acoustic modes of the gas. The modes with strongest coupling are not spherically symmetric. The storage of acoustic energy gives a framework for understanding how light inten… ▽ More Single bubble sonoluminescence is understood in terms of a shock focusing towards the bubble center. We present a mechanism for significantly enhancing the effect of shock focusing, arising from the storage of energy in the acoustic modes of the gas. The modes with strongest coupling are not spherically symmetric. The storage of acoustic energy gives a framework for understanding how light intensities depend so strongly on ambient gases and liquids and suggests that the light intensities of successive flashes are highly correlated. △ Less

Submitted 21 October, 1996; v1 submitted 7 May, 1996; originally announced May 1996.

Comments: 4 pages, one .ps file, replaces earlier version from May

Report number: Preprint 1996-1, Marburg

Journal ref: Phys. Rev. Lett. 77, 3467 (1996)