-
Contrasting Deadlock-Free Session Processes (Extended Version)
Authors:
Juan C. Jaramillo,
Jorge A. Pérez
Abstract:
Deadlock freedom is a crucial property for message-passing programs. Over the years, several different type systems for concurrent processes that ensure deadlock freedom have been proposed; this diversity raises the question of how they compare. We address this question, considering two type systems not covered in prior work: Kokke etal's HCP, a type system based on a linear logic with hypersequen…
▽ More
Deadlock freedom is a crucial property for message-passing programs. Over the years, several different type systems for concurrent processes that ensure deadlock freedom have been proposed; this diversity raises the question of how they compare. We address this question, considering two type systems not covered in prior work: Kokke etal's HCP, a type system based on a linear logic with hypersequents, and Padovani's priority-based type system for asynchronous processes, dubbed P. Their distinctive features make formal comparisons relevant and challenging. Our findings are two-fold: (1) the hypersequent setting does not drastically change the class of deadlock-free processes induced by linear logic, and (2) we relate the classes of deadlock-free processes induced by HCP and P. We prove that our results hold under both synchronous and asynchronous communication. Our results provide new insights into the essential mechanisms involved in statically avoiding deadlocks in concurrency.
△ Less
Submitted 25 April, 2025; v1 submitted 22 April, 2025;
originally announced April 2025.
-
Understanding trade-offs in classifier bias with quality-diversity optimization: an application to talent management
Authors:
Catalina M Jaramillo,
Paul Squires,
Julian Togelius
Abstract:
Fairness,the impartial treatment towards individuals or groups regardless of their inherent or acquired characteristics [20], is a critical challenge for the successful implementation of Artificial Intelligence (AI) in multiple fields like finances, human capital, and housing. A major struggle for the development of fair AI models lies in the bias implicit in the data available to train such model…
▽ More
Fairness,the impartial treatment towards individuals or groups regardless of their inherent or acquired characteristics [20], is a critical challenge for the successful implementation of Artificial Intelligence (AI) in multiple fields like finances, human capital, and housing. A major struggle for the development of fair AI models lies in the bias implicit in the data available to train such models. Filtering or sampling the dataset before training can help ameliorate model bias but can also reduce model performance and the bias impact can be opaque. In this paper, we propose a method for visualizing the biases inherent in a dataset and understanding the potential trade-offs between fairness and accuracy. Our method builds on quality-diversity optimization, in particular Covariance Matrix Adaptation Multi-dimensional Archive of Phenotypic Elites (MAP-Elites). Our method provides a visual representation of bias in models, allows users to identify models within a minimal threshold of fairness, and determines the trade-off between fairness and accuracy.
△ Less
Submitted 15 May, 2025; v1 submitted 25 November, 2024;
originally announced November 2024.
-
Around Classical and Intuitionistic Linear Processes
Authors:
Juan C. Jaramillo,
Dan Frumin,
Jorge A. Pérez
Abstract:
Curry-Howard correspondences between Linear Logic (LL) and session types provide a firm foundation for concurrent processes. As the correspondences hold for intuitionistic and classic versions of LL (ILL and CLL), we obtain two different families of type systems for concurrency. An open question remains: how do these two families exactly relate to each other? Based upon a translation from CLL to I…
▽ More
Curry-Howard correspondences between Linear Logic (LL) and session types provide a firm foundation for concurrent processes. As the correspondences hold for intuitionistic and classic versions of LL (ILL and CLL), we obtain two different families of type systems for concurrency. An open question remains: how do these two families exactly relate to each other? Based upon a translation from CLL to ILL due to Laurent (2018), we provide two complementary answers, in the form of full abstraction results based on a typed observational equivalence due to Atkey (2017). Our results elucidate hitherto missing formal links between seemingly related yet different type systems for concurrency.
△ Less
Submitted 22 July, 2024; v1 submitted 8 July, 2024;
originally announced July 2024.
-
Reviving keV sterile Neutrino Dark Matter
Authors:
Carlos Jaramillo
Abstract:
We propose a new production mechanism for keV sterile neutrino dark matter which relies neither on the oscillations between sterile and active neutrinos nor on the decay of additional heavier particles. The dark matter neutrinos are instead produced by thermal freeze-out, much like a typical WIMP. The challenge consists in balancing a large Yukawa coupling so that the sterile neutrinos thermalize…
▽ More
We propose a new production mechanism for keV sterile neutrino dark matter which relies neither on the oscillations between sterile and active neutrinos nor on the decay of additional heavier particles. The dark matter neutrinos are instead produced by thermal freeze-out, much like a typical WIMP. The challenge consists in balancing a large Yukawa coupling so that the sterile neutrinos thermalize in the early universe on the one hand, and a small enough Yukawa coupling such that they are stable on cosmological scales on the other. We solve this problem by implementing varying Yukawa couplings. We achieve this by using a three-sterile neutrino seesaw extension to the SM and embedding it in a Froggatt-Nielsen model with a single flavon. Because the vev of the flavon changes during the electroweak phase transition, the effective Yukawa couplings of the fermions have different values before and after the phase transition, thus allowing for successful dark matter genesis. Additionally, the hierarchy in the flavour structure is alleviated and the origin of the light neutrino masses are explained by the interplay of the seesaw and Froggatt-Nielsen mechanisms.
△ Less
Submitted 31 October, 2022; v1 submitted 22 July, 2022;
originally announced July 2022.
-
A Functional Model for Structure Learning and Parameter Estimation in Continuous Time Bayesian Network: An Application in Identifying Patterns of Multiple Chronic Conditions
Authors:
Syed Hasib Akhter Faruqui,
Adel Alaeddini,
Jing Wang,
Carlos A. Jaramillo
Abstract:
Bayesian networks are powerful statistical models to study the probabilistic relationships among set random variables with major applications in disease modeling and prediction. Here, we propose a continuous time Bayesian network with conditional dependencies, represented as Poisson regression, to model the impact of exogenous variables on the conditional dependencies of the network. We also propo…
▽ More
Bayesian networks are powerful statistical models to study the probabilistic relationships among set random variables with major applications in disease modeling and prediction. Here, we propose a continuous time Bayesian network with conditional dependencies, represented as Poisson regression, to model the impact of exogenous variables on the conditional dependencies of the network. We also propose an adaptive regularization method with an intuitive early stopping feature based on density based clustering for efficient learning of the structure and parameters of the proposed network. Using a dataset of patients with multiple chronic conditions extracted from electronic health records of the Department of Veterans Affairs we compare the performance of the proposed approach with some of the existing methods in the literature for both short-term (one-year ahead) and long-term (multi-year ahead) predictions. The proposed approach provides a sparse intuitive representation of the complex functional relationships between multiple chronic conditions. It also provides the capability of analyzing multiple disease trajectories over time given any combination of prior conditions.
△ Less
Submitted 14 July, 2021; v1 submitted 31 July, 2020;
originally announced July 2020.
-
Seesaw neutrino dark matter by freeze-out
Authors:
Carlos Jaramillo,
Manfred Lindner,
Werner Rodejohann
Abstract:
We investigate whether right-handed neutrinos can play the role of the dark matter of the Universe and be generated by the freeze-out production mechanism. In the standard picture, the requirement of a long lifetime of the right-handed neutrinos implies a small neutrino Yukawa coupling. As a consequence, they never reach thermal equilibrium, thus prohibiting production by freeze-out. We note that…
▽ More
We investigate whether right-handed neutrinos can play the role of the dark matter of the Universe and be generated by the freeze-out production mechanism. In the standard picture, the requirement of a long lifetime of the right-handed neutrinos implies a small neutrino Yukawa coupling. As a consequence, they never reach thermal equilibrium, thus prohibiting production by freeze-out. We note that this limitation is alleviated if the neutrino Yukawa coupling is large enough in the early Universe to thermalize the sterile neutrinos, and then becomes tiny at a certain moment, which makes them drop out of equilibrium. As a concrete example realization of this framework, we consider a Froggatt-Nielsen model supplemented by an additional scalar field which obeys a global symmetry (not the flavour symmetry). Initially, the vacuum expectation value of the flavon is such, that the effective neutrino Yukawa coupling is large and unsuppressed, keeping them in thermal equilibrium. At some point the new scalar also gets a vacuum expectation value that breaks the symmetry. This may occur in such a way that the vev of the flavon is shifted to a new (smaller) value. In that case, the Yukawa coupling is reduced such that the sterile neutrinos are rendered stable on cosmological time scales. We show that this mechanism works for a wide range of sterile neutrino masses.
△ Less
Submitted 3 May, 2021; v1 submitted 27 April, 2020;
originally announced April 2020.
-
Ion-induced nanopatterning of a bacterial cellulose hydrogel
Authors:
Sandra L. Arias,
Ming Kit Cheng,
Ana Civantos,
Joshua Devorkin,
Camilo Jaramillo,
Jean Paul Allain
Abstract:
Hydrogels provide a solution-mimicking environment for the interaction with living systems that make them desirable for various biomedical and technological applications. Because relevant biological processes in living tissues occur at the biomolecular scale, hydrogel nanopatterning can be leveraged to attain novel material properties and functionalities. However, the fabrication of high aspect ra…
▽ More
Hydrogels provide a solution-mimicking environment for the interaction with living systems that make them desirable for various biomedical and technological applications. Because relevant biological processes in living tissues occur at the biomolecular scale, hydrogel nanopatterning can be leveraged to attain novel material properties and functionalities. However, the fabrication of high aspect ratio (HAR) nanostructures in hydrogels capable of self-standing in aqueous environments, with fine control of the size and shape distribution, remains challenging. Here, we report the synthesis of nanostructures with a HAR in bacterial cellulose (BC) hydrogel via directed plasma nanosynthesis using argon ions. The nanostructures in BC are reproducible, stable to sterilization, and liquid immersion. Using in-situ surface characterization and semi-empirical modeling, we discovered that pattern formation was linked to the formation of graphite-like clusters composed of a mixture of C-C and C=C bonds. Moreover, our model predicts that reactive species at the onset of the argon irradiation accelerate the bond breaking of weak bonds, contributing to the formation of an amorphous carbon layer and nanopattern growth.
△ Less
Submitted 21 June, 2020; v1 submitted 14 November, 2019;
originally announced December 2019.
-
Learning a Behavioral Repertoire from Demonstrations
Authors:
Niels Justesen,
Miguel Gonzalez Duque,
Daniel Cabarcas Jaramillo,
Jean-Baptiste Mouret,
Sebastian Risi
Abstract:
Imitation Learning (IL) is a machine learning approach to learn a policy from a dataset of demonstrations. IL can be useful to kick-start learning before applying reinforcement learning (RL) but it can also be useful on its own, e.g. to learn to imitate human players in video games. However, a major limitation of current IL approaches is that they learn only a single "average" policy based on a da…
▽ More
Imitation Learning (IL) is a machine learning approach to learn a policy from a dataset of demonstrations. IL can be useful to kick-start learning before applying reinforcement learning (RL) but it can also be useful on its own, e.g. to learn to imitate human players in video games. However, a major limitation of current IL approaches is that they learn only a single "average" policy based on a dataset that possibly contains demonstrations of numerous different types of behaviors. In this paper, we propose a new approach called Behavioral Repertoire Imitation Learning (BRIL) that instead learns a repertoire of behaviors from a set of demonstrations by augmenting the state-action pairs with behavioral descriptions. The outcome of this approach is a single neural network policy conditioned on a behavior description that can be precisely modulated. We apply this approach to train a policy on 7,777 human replays to perform build-order planning in StarCraft II. Principal Component Analysis (PCA) is applied to construct a low-dimensional behavioral space from the high-dimensional army unit composition of each demonstration. The results demonstrate that the learned policy can be effectively manipulated to express distinct behaviors. Additionally, by applying the UCB1 algorithm, we are able to adapt the behavior of the policy - in-between games - to reach a performance beyond that of the traditional IL baseline approach.
△ Less
Submitted 5 July, 2019;
originally announced July 2019.
-
Emerging basic, clinical and translational research fronts in dental biomaterials R&D
Authors:
David Fajardo-Ortiz,
Pablo Jaramillo,
Claudia Jaramillo,
Raul Resendiz,
Miguel Lara-Flores,
Victor M. Castano
Abstract:
The current (2007-2007) structure and content of dental materials research has been investigated by identifying and describing the emergent research fronts which can be related to basic, translational and clinical observation research. By a combination of network analysis and text mining of the literature on dental materials indexed in the Web of Science, we have identified eleven emerging researc…
▽ More
The current (2007-2007) structure and content of dental materials research has been investigated by identifying and describing the emergent research fronts which can be related to basic, translational and clinical observation research. By a combination of network analysis and text mining of the literature on dental materials indexed in the Web of Science, we have identified eleven emerging research fronts. These fronts are related to different dental materials applications which are at different levels in the knowledge translation and biomedical innovation process. We identified fronts related to dominant designs like titanium implants, competing technologies like ceramics and composites applications to prothesis and restauration, and disruptive technologies like nanomaterials and mineral trioxide aggregates. Our results suggest the possible relation between the technological complexity of the dental materials and the level of advance in terms of knowledge translation. This is the first time the structure and content of research on dental materials research is analyzed.
△ Less
Submitted 29 November, 2017;
originally announced November 2017.
-
Early GRB afterglows from reverse shocks in ultra-relativistic long-lasting winds
Authors:
Maxim Lyutikov,
Juan Camilo Jaramillo
Abstract:
We develop a model of early GRB afterglows with the dominant $X$-ray contribution from the reverse shock (RS) propagating in highly relativistic (Lorentz factor $γ_w \sim 10^6$) magnetized wind of a long-lasting central engine. The model reproduces, in a fairly natural way, the overall trends and yet allows for variations in the temporal and spectral evolution of early optical and $X$-ray afterglo…
▽ More
We develop a model of early GRB afterglows with the dominant $X$-ray contribution from the reverse shock (RS) propagating in highly relativistic (Lorentz factor $γ_w \sim 10^6$) magnetized wind of a long-lasting central engine. The model reproduces, in a fairly natural way, the overall trends and yet allows for variations in the temporal and spectral evolution of early optical and $X$-ray afterglows. The high energy and the optical synchrotron emission from the RS particles occurs in the fast cooling regime; the resulting synchrotron power $L_s$ is a large fraction of the wind luminosity, $L_s \approx L_w/\sqrt{1+σ_w}$ ($L_w$ and $σ_w$ are wind power and magnetization). Thus, plateaus - parts of afterglow light curves that show slowly decreasing spectral power - are a natural consequence of the RS emission. Contribution from the forward shock (FS) is negligible in the $X$-rays, but in the optical both FS and RS contribute similarly: the FS optical emission is in the slow cooling regime, producing smooth components, while the RS optical emission is in the fast cooling regime, and thus can both produce optical plateaus and account for fast optical variability correlated with the $X$-rays, e.g., due to changes in the wind properties. We discuss how the RS emission in the $X$-rays and combined FS and RS emission in the optical can explain many of puzzling properties of early GRB afterglows.
△ Less
Submitted 23 January, 2017; v1 submitted 4 December, 2016;
originally announced December 2016.
-
Design and Analysis of a Single-Camera Omnistereo Sensor for Quadrotor Micro Aerial Vehicles (MAVs)
Authors:
Carlos Jaramillo
Abstract:
We describe the design and 3D sensing performance of an omnidirectional stereo-vision system (omnistereo) as applied to Micro Aerial Vehicles (MAVs). The proposed omnistereo model employs a monocular camera that is co-axially aligned with a pair of hyperboloidal mirrors (folded catadioptric configuration). We show that this arrangement is practical for performing stereo-vision when mounted on top…
▽ More
We describe the design and 3D sensing performance of an omnidirectional stereo-vision system (omnistereo) as applied to Micro Aerial Vehicles (MAVs). The proposed omnistereo model employs a monocular camera that is co-axially aligned with a pair of hyperboloidal mirrors (folded catadioptric configuration). We show that this arrangement is practical for performing stereo-vision when mounted on top of propeller-based MAVs characterized by low payloads. The theoretical single viewpoint (SVP) constraint helps us derive analytical solutions for the sensor's projective geometry and generate SVP-compliant panoramic images to compute 3D information from stereo correspondences (in a truly synchronous fashion). We perform an extensive analysis on various system characteristics such as its size, catadioptric spatial resolution, field-of-view. In addition, we pose a probabilistic model for uncertainty estimation of the depth from triangulation for skew back-projection rays. We expect to motivate the reproducibility of our solution since it can be adapted (optimally) to other catadioptric-based omnistereo vision applications.
△ Less
Submitted 2 October, 2015;
originally announced October 2015.
