-
A Bi-Objective Approach to Last-Mile Delivery Routing Considering Driver Preferences
Authors:
Juan Pablo Mesa,
Alejandro Montoya,
Raul Ramos-Pollán,
Mauricio Toro
Abstract:
The Multi-Objective Vehicle Routing Problem (MOVRP) is a complex optimization problem in the transportation and logistics industry. This paper proposes a novel approach to the MOVRP that aims to create routes that consider drivers' and operators' decisions and preferences. We evaluate two approaches to address this objective: visually attractive route planning and data mining of historical driver…
▽ More
The Multi-Objective Vehicle Routing Problem (MOVRP) is a complex optimization problem in the transportation and logistics industry. This paper proposes a novel approach to the MOVRP that aims to create routes that consider drivers' and operators' decisions and preferences. We evaluate two approaches to address this objective: visually attractive route planning and data mining of historical driver behavior to plan similar routes. Using a real-world dataset provided by Amazon, we demonstrate that data mining of historical patterns is more effective than visual attractiveness metrics found in the literature. Furthermore, we propose a bi-objective problem to balance the similarity of routes to historical routes and minimize routing costs. We propose a two-stage GRASP algorithm with heuristic box splitting to solve this problem. The proposed algorithm aims to approximate the Pareto front and to present routes that cover a wide range of the objective function space. The results demonstrate that our approach can generate a small number of non-dominated solutions per instance, which can help decision-makers to identify trade-offs between routing costs and drivers' preferences. Our approach has the potential to enhance the last-mile delivery operations of logistics companies by balancing these conflicting objectives.
△ Less
Submitted 25 May, 2024;
originally announced May 2024.
-
Gradual Sensitivity Ty**
Authors:
Damian Arquez,
Matías Toro,
Éric Tanter
Abstract:
Reasoning about the sensitivity of functions with respect to their inputs has interesting applications in various areas, such as differential privacy. In order to check and enforce sensitivity, several approaches have been developed, notably sensitivity type systems. In these systems, sensitivity can be seen as an effect in the sense of type-and-effects systems as originally proposed by Gifford an…
▽ More
Reasoning about the sensitivity of functions with respect to their inputs has interesting applications in various areas, such as differential privacy. In order to check and enforce sensitivity, several approaches have been developed, notably sensitivity type systems. In these systems, sensitivity can be seen as an effect in the sense of type-and-effects systems as originally proposed by Gifford and Lucassen. Because type-and-effect systems can make certain useful programming patterns tedious or overly conservative, there is value in bringing the benefits of gradual ty** to these disciplines in order to ease their adoption. In this work, we motivate, formalize, and prototype gradual sensitivity ty**. The language GSoul supports both the unrestricted unknown sensitivity and bounded imprecision in the form of intervals. Gradual sensitivity ty** allows programmers to smoothly evolve typed programs without any static sensitivity information towards hardened programs with a mix of static and dynamic sensitivity checking. In particular, we show that gradual sensitivity supports recursive functions for which fully static checking would be overly conservative, seamlessly enabling exact runtime sensitivity checks. GSoul satisfies both the gradual guarantees and sensitivity type soundness, known as metric preservation. We establish that, in general, gradual metric preservation is termination insensitive, and that one can achieve termination-sensitive gradual metric preservation by hardening specifications to bounded imprecision. We implement a prototype that provides an interactive test bed for gradual sensitivity ty**. This work opens the door to gradualizing other ty** disciplines that rely on function sensitivity such as differential privacy, as well as other quantitative type-based reasoning techniques.
△ Less
Submitted 28 March, 2024; v1 submitted 3 August, 2023;
originally announced August 2023.
-
Emergence of a phonological bias in ChatGPT
Authors:
Juan Manuel Toro
Abstract:
Current large language models, such as OpenAI's ChatGPT, have captured the public's attention because how remarkable they are in the use of language. Here, I demonstrate that ChatGPT displays phonological biases that are a hallmark of human language processing. More concretely, just like humans, ChatGPT has a consonant bias. That is, the chatbot has a tendency to use consonants over vowels to iden…
▽ More
Current large language models, such as OpenAI's ChatGPT, have captured the public's attention because how remarkable they are in the use of language. Here, I demonstrate that ChatGPT displays phonological biases that are a hallmark of human language processing. More concretely, just like humans, ChatGPT has a consonant bias. That is, the chatbot has a tendency to use consonants over vowels to identify words. This is observed across languages that differ in their relative distribution of consonants and vowels such as English and Spanish. Despite the differences in how current artificial intelligence language models are trained to process linguistic stimuli and how human infants acquire language, such training seems to be enough for the emergence of a phonological bias in ChatGPT
△ Less
Submitted 27 May, 2023; v1 submitted 25 May, 2023;
originally announced May 2023.
-
Resolving inconsistencies of runtime configuration changes through change propagation and adjustments
Authors:
Azadeh Jahanbanifar,
Ferhat Khendek,
Maria Toeroe
Abstract:
A system configuration may be modified at runtime to adapt the system to changes in its environment or for fine-tuning. For instance, a system administrator may change a few entities/attributes in the configuration to improve error recovery and system availability. However, these changes focusing on fine-tuning availability may violate some global system constraints captured in the configuration a…
▽ More
A system configuration may be modified at runtime to adapt the system to changes in its environment or for fine-tuning. For instance, a system administrator may change a few entities/attributes in the configuration to improve error recovery and system availability. However, these changes focusing on fine-tuning availability may violate some global system constraints captured in the configuration and therefore break configuration consistency, system properties and operations. This is generally due to the partialness of the changes performed by the administrator who is not aware of all the entities/attributes being in relations with the modified entities/attributes. In this paper, we propose an approach for completing such partial sets of changes at runtime to resolve inconsistencies arising from those partial changes. This adjustment approach consists of the characterization of related entities/attributes and their modification to re-establish the configuration consistency. We achieve this by propagating the changes in the configuration according to the system constraints following the possible impacts of the configuration entities on each other. We aim at minimizing the complementary modifications to control the side-effects of the change propagation as we target the domain of highly available systems.
△ Less
Submitted 29 August, 2022;
originally announced August 2022.
-
Health Detection on Cattle Compressed Images in Precision Livestock Farming
Authors:
Miguel Angel Calvache,
Valeria Cardona,
Sebastian Tapias,
Simon Marin,
Mauricio Toro
Abstract:
The constant population growth brings the needing to make up for food also grows at the same rate. The livestock provides one-third of humans protein base as meat and milk. To improve cattles health and welfare the pastoral farming employs Precision Livestock farming (PLF). This technique implementation brings a challenge to minimize energy consumption due to farmers not having enough energy or de…
▽ More
The constant population growth brings the needing to make up for food also grows at the same rate. The livestock provides one-third of humans protein base as meat and milk. To improve cattles health and welfare the pastoral farming employs Precision Livestock farming (PLF). This technique implementation brings a challenge to minimize energy consumption due to farmers not having enough energy or devices to transmit large volumes of information at the size are received from their farms monitors. Therefore, in this project, we will design an algorithm to compress and decompress images reducing energy consumption with the less information lost. Initially, the related problems have been read and analyzed to learn about the techniques used in the past and to be updated with the current works. We implemented Seam Carving and LZW algorithms. The compression of all images, around 1000 takes a time of 5 hours 10 min. We got a compression rate of 1.82:1 with 13.75s average time for each file and a decompression rate of 1.64:1 and 7.5 s average time for each file. The memory consumption we obtained was between 146MB and 504 MB and time consumption was between 30,5s for 90MB to 12192s for 24410 MB, it was all files.
△ Less
Submitted 22 November, 2021;
originally announced December 2021.
-
An Approach for the Automation of IaaS Cloud Upgrade
Authors:
Mina Nabi,
Ferhat Khendek,
Maria Toeroe
Abstract:
An Infrastructure as a Service (IaaS) cloud provider is committed to each tenant by a service level agreement (SLA) which indicates the terms of commitment, e.g. the level of availability of the IaaS cloud service.The different resources providing this IaaS cloud service may need to be upgraded several times throughout their life-cycle; and these upgrades may affect the service delivered by the Ia…
▽ More
An Infrastructure as a Service (IaaS) cloud provider is committed to each tenant by a service level agreement (SLA) which indicates the terms of commitment, e.g. the level of availability of the IaaS cloud service.The different resources providing this IaaS cloud service may need to be upgraded several times throughout their life-cycle; and these upgrades may affect the service delivered by the IaaS layer. This may violate the SLAs towards the tenants and result in penalty as they impact the tenant services relying on the IaaS.Therefore, it is important to handle upgrades properly with respect to the SLAs.The upgrade of IaaS cloud systems inherits all the challenges of clustered systems and faces other, cloud specific challenges, such as size and dynamicity due to elasticity.In this paper, we propose a novel approach to automatically upgrade an IaaS cloud system under SLA constraints such as availability and elasticity.In this approach, the upgrade methods and actions appropriate for each upgrade request are identified, scheduled, and applied automatically in an iterative manner based on the vendors descriptions of the infrastructure components, the tenant SLAs, and the status of the system. The proposed approach allows new upgrade requests during ongoing upgrades, which makes it suitable for continuous delivery.In addition, it also handles failures of upgrade actions through localized retry and undo operations automatically.
△ Less
Submitted 23 March, 2021;
originally announced March 2021.
-
A Kubernetes Controller for Managing the Availability of Elastic Microservice Based Stateful Applications
Authors:
Leila Abdollahi Vayghan,
Mohamed Aymen Saied,
Maria Toeroe,
Ferhat Khendek
Abstract:
The architectural style of microservices has been gaining popularity in recent years. In this architectural style, small and loosely coupled modules are deployed and scaled independently to compose cloud-native applications. Carrier-grade service providers are migrating their legacy applications to a microservice based architecture running on Kubernetes which is an open source platform for orchest…
▽ More
The architectural style of microservices has been gaining popularity in recent years. In this architectural style, small and loosely coupled modules are deployed and scaled independently to compose cloud-native applications. Carrier-grade service providers are migrating their legacy applications to a microservice based architecture running on Kubernetes which is an open source platform for orchestrating containerized microservice based applications. However, in this migration, service availability remains a concern. Service availability is measured as the percentage of time the service is provisioned. High Availability (HA) is achieved when the service is available at least 99.999% of the time. In this paper, we identify possible architectures for deploying stateful microservice based applications with Kubernetes and evaluate Kubernetes from the perspective of availability it provides for its managed applications. The results of our experiments show that the repair actions of Kubernetes cannot satisfy HA requirements, and in some cases cannot guarantee service recovery. Therefore, we propose an HA State Controller which integrates with Kubernetes and allows for application state replication and automatic service redirection to the healthy microservice instances by enabling service recovery in addition to the repair actions of Kubernetes. Based on experiments we evaluate our solution and compare the different architectures from the perspective of availability and scaling overhead. The results of our investigations show that our solution can improve the recovery time of stateful microservice based applications by 50%.
△ Less
Submitted 27 December, 2020;
originally announced December 2020.
-
COVID-19 Emotion Monitoring as a Tool to Increase Preparedness for Disease Outbreaks in Develo** Regions
Authors:
Santiago Cortes,
Juan Muñoz,
David Betancur,
Mauricio Toro
Abstract:
The COVID-19 pandemic brought many challenges, from hospital-occupation management to lock-down mental-health repercussions such as anxiety or depression. In this work, we present a solution for the later problem by develo** a Twitter emotion-monitor system based on a state-of-the-art natural-language processing model. The system monitors six different emotions on accounts in cities, as well as…
▽ More
The COVID-19 pandemic brought many challenges, from hospital-occupation management to lock-down mental-health repercussions such as anxiety or depression. In this work, we present a solution for the later problem by develo** a Twitter emotion-monitor system based on a state-of-the-art natural-language processing model. The system monitors six different emotions on accounts in cities, as well as politicians and health-authorities Twitter accounts. With an anonymous use of the emotion monitor, health authorities and private health-insurance companies can develop strategies to tackle problems such as suicide and clinical depression. The model chosen for such a task is a Bidirectional-Encoder Representations from Transformers (BERT) pre-trained on a Spanish corpus (BETO). The model performed well on a validation dataset. The system is deployed online as part of a web application for simulation and data analysis of COVID-19, in Colombia, available at https://epidemiologia-matematica.org.
△ Less
Submitted 17 December, 2020;
originally announced December 2020.
-
Contextual Linear Types for Differential Privacy
Authors:
Matías Toro,
David Darais,
Chike Abuah,
Joe Near,
Damián Árquez,
Federico Olmedo,
Éric Tanter
Abstract:
Language support for differentially-private programming is both crucial and delicate. While elaborate program logics can be very expressive, type-system based approaches using linear types tend to be more lightweight and amenable to automatic checking and inference, and in particular in the presence of higher-order programming. Since the seminal design of Fuzz, which is restricted to $ε$-different…
▽ More
Language support for differentially-private programming is both crucial and delicate. While elaborate program logics can be very expressive, type-system based approaches using linear types tend to be more lightweight and amenable to automatic checking and inference, and in particular in the presence of higher-order programming. Since the seminal design of Fuzz, which is restricted to $ε$-differential privacy in its original design, significant progress has been made to support more advancedvariants of differential privacy, like($ε$,$δ$)-differential privacy. However, supporting these advanced privacy variants while also supporting higher-order programming in full has proven to be challenging. We present Jazz, a language and type system which uses linear types and latent contextual effects to support both advanced variants of differential privacy and higher-order programming. Latent contextual effects allow delaying the payment of effects for connectives such as products, sums and functions, yielding advantages in terms of precision of the analysis and annotation burden upon elimination, as well as modularity. We formalize the core of Jazz, prove it sound for privacy via a logical relation for metric preservation, and illustrate its expressive power through a number of case studies drawn from the recent differential privacy literature.
△ Less
Submitted 1 March, 2023; v1 submitted 21 October, 2020;
originally announced October 2020.
-
Saber Pro success prediction model using decision tree based learning
Authors:
Gregorio Perez Bernal,
Luisa Toro Villegas,
Mauricio Toro
Abstract:
The primary objective of this report is to determine what influences the success rates of students who have studied in Colombia, analyzing the Saber 11, the test done at the last school year, some socioeconomic aspects and comparing the Saber Pro results with the national average. The problem this faces is to find what influences success, but it also provides an insight in the countries education…
▽ More
The primary objective of this report is to determine what influences the success rates of students who have studied in Colombia, analyzing the Saber 11, the test done at the last school year, some socioeconomic aspects and comparing the Saber Pro results with the national average. The problem this faces is to find what influences success, but it also provides an insight in the countries education dynamics and predicts one's opportunities to be prosperous. The opposite situation to the one presented in this paper could be the desertion levels, in the sense that by detecting what makes someone outstanding, these factors can say what makes one unsuccessful. The solution proposed to solve this problem was to implement a CART decision tree algorithm that helps to predict the probability that a student has of scoring higher than the mean value, based on different socioeconomic and academic factors, such as the profession of the parents of the subject parents and the results obtained on Saber 11. It was discovered that one of the most influential factors is the score in the Saber 11, on the topic of Social Studies, and that the gender of the subject is not as influential as it is usually portrayed as. The algorithm designed provided significant insight into which factors most affect the probability of success of any given person and if further pursued could be used in many given situations such as deciding which subject in school should be given more intensity to and academic curriculum in general.
△ Less
Submitted 1 June, 2020;
originally announced June 2020.
-
A Software-Defined Networking approach for congestion control in Opportunistic Networking
Authors:
Mari Carmen de Toro,
Carlos Borrego
Abstract:
The short-term adoption of opportunistic networks (OppNet) depends on improving the current performance of this type of network. Software-Defined Networks (SDN) architecture is used by Internet applications with high resource demand. SDN technology improves network performance by programmatically managing the network configuration by using a control layer. In this paper, we propose that OppNet nod…
▽ More
The short-term adoption of opportunistic networks (OppNet) depends on improving the current performance of this type of network. Software-Defined Networks (SDN) architecture is used by Internet applications with high resource demand. SDN technology improves network performance by programmatically managing the network configuration by using a control layer. In this paper, we propose that OppNet nodes use a control layer to get an overview of the whole network and use this knowledge to apply policies to get a better performance of the network. As a use case for our experimentation, we have focused on improving congestion control in OppNet with a control layer that dynamically regulates the replication degree used by forwarding algorithms. We have compared the performance of our proposal with two different configurations of the OppNet, over two community scenarios based on real mobility traces. The results of the test prove that our SDN-like approach overruns the other two approaches in terms of delivery ratio and latency time performance.
△ Less
Submitted 15 January, 2020;
originally announced January 2020.
-
Divide and Conquer: an Accurate Machine Learning Algorithm to Process Split Videos on a Parallel Processing Infrastructure
Authors:
Walter M. Mayor Toro,
Juan C. Perafan Villota,
Oscar H. Mondragon,
Johan S. Obando Ceron
Abstract:
Every day the number of traffic cameras in cities rapidly increase and huge amount of video data are generated. Parallel processing infrastruture, such as Hadoop, and programming models, such as MapReduce, are being used to promptly process that amount of data. The common approach for video processing by using Hadoop MapReduce is to process an entire video on only one node, however, in order to av…
▽ More
Every day the number of traffic cameras in cities rapidly increase and huge amount of video data are generated. Parallel processing infrastruture, such as Hadoop, and programming models, such as MapReduce, are being used to promptly process that amount of data. The common approach for video processing by using Hadoop MapReduce is to process an entire video on only one node, however, in order to avoid parallelization problems, such as load imbalance, we propose to process videos by splitting it into equal parts and processing each resulting chunk on a different node. We used some machine learning techniques to detect and track the vehicles. However, video division may produce inaccurate results. To solve this problem we proposed a heuristic algorithm to avoid process a vehicle in more than one chunk.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
-
Exploiting the potential of deep reinforcement learning for classification tasks in high-dimensional and unstructured data
Authors:
Johan S. Obando-Ceron,
Victor Romero Cano,
Walter Mayor Toro
Abstract:
This paper presents a framework for efficiently learning feature selection policies which use less features to reach a high classification precision on large unstructured data. It uses a Deep Convolutional Autoencoder (DCAE) for learning compact feature spaces, in combination with recently-proposed Reinforcement Learning (RL) algorithms as Double DQN and Retrace.
This paper presents a framework for efficiently learning feature selection policies which use less features to reach a high classification precision on large unstructured data. It uses a Deep Convolutional Autoencoder (DCAE) for learning compact feature spaces, in combination with recently-proposed Reinforcement Learning (RL) algorithms as Double DQN and Retrace.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
-
Model-Driven Process Enactment for NFV Systems with MAPLE
Authors:
Sadaf Mustafiz,
Omar Hassane,
Guillaume Dupont,
Ferhat Khendek,
Maria Toeroe
Abstract:
The Network Functions Virtualization (NFV) advent is making way for the rapid deployment of network services (NS) for telecoms. Automation of network service management is one of the main challenges currently faced by the NFV community. Explicitly defining a process for the design, deployment, and management of network services and automating it is therefore highly desirable and beneficial for NFV…
▽ More
The Network Functions Virtualization (NFV) advent is making way for the rapid deployment of network services (NS) for telecoms. Automation of network service management is one of the main challenges currently faced by the NFV community. Explicitly defining a process for the design, deployment, and management of network services and automating it is therefore highly desirable and beneficial for NFV systems. The use of model-driven orchestration means has been advocated in this context. As part of this effort to support automated process execution, we propose a process enactment approach with NFV systems as the target application domain. Our process enactment approach is megamodel-based. An integrated process modelling and enactment environment, MAPLE, has been built into Papyrus for this purpose. Process modelling is carried out with UML activity diagrams. The enactment environment transforms the process model to a model transformation chain, and then orchestrates it with the use of megamodels. In this paper we present our approach and environment MAPLE, its recent extension with new features as well as application to an enriched case study consisting of NS design and onboarding process.
△ Less
Submitted 25 October, 2019;
originally announced October 2019.
-
Robotic bees: Algorithms for collision detection and prevention
Authors:
Vincent Arcila,
Isabel Piedrahita,
Mauricio Toro
Abstract:
In the following paper we will discuss data structures suited for distance threshold queries kee** in mind real life application such as collision detection on robotic bees. We will focus on spatial hashes designed to store 3D points and capable of fastly determining which of them surpass a specific threshold from any other. In this paper we will discuss related literature, explain in depth the…
▽ More
In the following paper we will discuss data structures suited for distance threshold queries kee** in mind real life application such as collision detection on robotic bees. We will focus on spatial hashes designed to store 3D points and capable of fastly determining which of them surpass a specific threshold from any other. In this paper we will discuss related literature, explain in depth the data structure chosen with its design criteria, operations and speed and memory efficiency analysis.
△ Less
Submitted 30 May, 2019; v1 submitted 24 May, 2019;
originally announced May 2019.
-
A General Overview of Formal Languages for Individual-Based Modelling of Ecosystems
Authors:
Mauricio Toro
Abstract:
Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space. Each modelling language offers a distinct view and techniques for analyzing systems. Most of the languages are based on process calculi or P systems. In this article, we present a general overview of the existing modell…
▽ More
Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space. Each modelling language offers a distinct view and techniques for analyzing systems. Most of the languages are based on process calculi or P systems. In this article, we present a general overview of the existing modelling languages based on process calculi. We also discuss, briefly, other approaches such as P systems, cellular automata and Petri nets. Finally, we show advantages and disadvantages of these modelling languages and we propose some future research directions.
△ Less
Submitted 28 January, 2019;
originally announced January 2019.
-
Kubernetes as an Availability Manager for Microservice Applications
Authors:
Leila Abdollahi Vayghan,
Mohamed Aymen Saied,
Maria Toeroe,
Ferhat Khendek
Abstract:
The move towards the microservice based architecture is well underway. In this architectural style, small and loosely coupled modules are developed, deployed, and scaled independently to compose cloud-native applications. However, for carrier-grade service providers to migrate to the microservices architectural style, availability remains a concern. Kubernetes is an open source platform that defin…
▽ More
The move towards the microservice based architecture is well underway. In this architectural style, small and loosely coupled modules are developed, deployed, and scaled independently to compose cloud-native applications. However, for carrier-grade service providers to migrate to the microservices architectural style, availability remains a concern. Kubernetes is an open source platform that defines a set of building blocks which collectively provide mechanisms for deploying, maintaining, scaling, and healing containerized microservices. Thus, Kubernetes hides the complexity of microservice orchestration while managing their availability. In a preliminary work we evaluated Kubernetes, using its default configuration, from the availability perspective in a private cloud settings. In this paper, we investigate more architectures and conduct more experiments to evaluate the availability that Kubernetes delivers for its managed microservices. We present different architectures for public and private clouds. We evaluate the availability achievable through the healing capability of Kubernetes. We investigate the impact of adding redundancy on the availability of microservice based applications. We conduct experiments under the default configuration of Kubernetes as well as under its most responsive one. We also perform a comparative evaluation with the Availability Management Framework (AMF), which is a proven solution as a middleware service for managing high-availability. The results of our investigations show that in certain cases, the service outage for applications managed with Kubernetes is significantly high.
△ Less
Submitted 15 January, 2019;
originally announced January 2019.
-
Genetic algorithm for optimal distribution in cities
Authors:
Esteban Quintero,
Mateo Sanchez,
Nicolas Roldan,
Mauricio Toro
Abstract:
The problem to deal with in this project is the problem of routing electric vehicles, which consists of finding the best routes for this type of vehicle, so that they reach their destination, without running out of power and optimizing to the maximum transportation costs. The importance of this problem is mainly in the sector of shipments in the recent future, when obsolete energy sources are repl…
▽ More
The problem to deal with in this project is the problem of routing electric vehicles, which consists of finding the best routes for this type of vehicle, so that they reach their destination, without running out of power and optimizing to the maximum transportation costs. The importance of this problem is mainly in the sector of shipments in the recent future, when obsolete energy sources are replaced with renewable sources, where each vehicle contains a number of packages that must be delivered at specific points in the city , but, being electric, they do not have an optimal battery life, so having the ideal routes traced is a vital aspect for the proper functioning of these. Now days you can see applications of this problem in the cleaning sector, specifically with the trucks responsible for collecting garbage, which aims to travel the entire city in the most efficient way, without letting excessive garbage accumulate.
△ Less
Submitted 13 November, 2018;
originally announced November 2018.
-
Towards a correct and efficient implementation of simulation and verification tools for probabilistic ntcc
Authors:
Mauricio Toro
Abstract:
We extended our simulation tool Ntccrt for probabilistic ntcc (pntcc) models. In addition, we developed a verification tool for pntcc models. Using this tool we can prove properties such as the system will go to a successful state with probability p under t discrete time- units. Currently, we are facing a few problems. We can only verify pntcc models using a finite domain constraint system and the…
▽ More
We extended our simulation tool Ntccrt for probabilistic ntcc (pntcc) models. In addition, we developed a verification tool for pntcc models. Using this tool we can prove properties such as the system will go to a successful state with probability p under t discrete time- units. Currently, we are facing a few problems. We can only verify pntcc models using a finite domain constraint system and the encoding of cells ( mathematical entities that can update their value ) is experimental. In addition, in order to reduce the states generated during the verification process we need to implement a procedure to calculate whether two processes are equivalent. In the future, we want to provide multiple interfaces for the tools (e.g., a web ap- plication, a graphical interface and command line interface). We also want to support constraint systems over trees, graph and sets. We want to show the relevance of our tool to model biological and multimedia interaction systems in our tool, verify some properties about them, and simulate such systems in our real-time capable interpreter.
△ Less
Submitted 4 October, 2018;
originally announced October 2018.
-
Current Trends and Future Research Directions for Interactive Music
Authors:
Mauricio Toro
Abstract:
In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta- instruments, score-following, asynchronous dataflow languages, synchronous dataflow languages, process calculi, temporal constraints and interactive scores. Formal approaches have the advantage of providing rigorous semantics of the behavior o…
▽ More
In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta- instruments, score-following, asynchronous dataflow languages, synchronous dataflow languages, process calculi, temporal constraints and interactive scores. Formal approaches have the advantage of providing rigorous semantics of the behavior of the model and proving correctness during execution. The main disadvantage of formal approaches is lack of commercial tools.
△ Less
Submitted 4 October, 2018;
originally announced October 2018.
-
Gradual System F
Authors:
Elizabeth Labrada,
Matías Toro,
Éric Tanter
Abstract:
Bringing the benefits of gradual ty** to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first attempts were formulated a decade ago, and several designs have been recently proposed, with varying syntax, behavior, and properties. Starting from a detailed review of the challenges and tensions that affect the desig…
▽ More
Bringing the benefits of gradual ty** to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first attempts were formulated a decade ago, and several designs have been recently proposed, with varying syntax, behavior, and properties. Starting from a detailed review of the challenges and tensions that affect the design of gradual parametric languages, this work presents an extensive account of the semantics and metatheory of GSF, a gradual counterpart of System F. In doing so, we also report on the extent to which the Abstracting Gradual Ty** methodology can help us derive such a language. Among gradual parametric languages that follow the syntax of System F, GSF achieves a unique combination of properties. We clearly establish the benefits and limitations of the language, and discuss several extensions of GSF towards a practical programming language.
△ Less
Submitted 29 May, 2020; v1 submitted 12 July, 2018;
originally announced July 2018.
-
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models
Authors:
Anna Philippou,
Mauricio Toro
Abstract:
In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an entity for specifying orderings between the different activities within a system. It is defined externally to a PALPS model as a partial order which prescribes the precedence order between the activities of the individu-…
▽ More
In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an entity for specifying orderings between the different activities within a system. It is defined externally to a PALPS model as a partial order which prescribes the precedence order between the activities of the individu- als of which the model is comprised. The motivation for introducing policies is twofold: one the one hand, policies can help to reduce the state-space of a model, on the other hand, they are useful for exploring the behavior of an ecosystem under different assumptions on the ordering of events within the system. To take account of policies, we refine the semantics of PALPS via a transition relation which prunes away executions that do not respect the defined policy. Furthermore, we propose a translation of PALPS into the probabilistic model checker PRISM . We illustrate our framework by applying PRISM on PALPS models with policies for conducting simulation and reachability analysis.
△ Less
Submitted 4 March, 2018;
originally announced March 2018.
-
On-line Assembling Mitochondrial DNA from de novo transcriptome
Authors:
Juan David Arcila Moreno,
Santiago Passos,
Mauricio Toro
Abstract:
This paper is focused in designing an efficient on-line algorithm to reconstruct a DNA sequence and search the genes in it, we assume that the segment have no mutation or reading error, the algorithm is based on de Bruijn Graph for reconstructing the DNA from the segments taking k-mers large enough no to generate cycles, once the sequence is ready a Boyer-Moore's algorithm implementation is used t…
▽ More
This paper is focused in designing an efficient on-line algorithm to reconstruct a DNA sequence and search the genes in it, we assume that the segment have no mutation or reading error, the algorithm is based on de Bruijn Graph for reconstructing the DNA from the segments taking k-mers large enough no to generate cycles, once the sequence is ready a Boyer-Moore's algorithm implementation is used to search the genes inside de sequence using starts and stop codons, this solution give a high performance when all genes can be found, and there is no need to read all the segments to reach maximum number of genes, but due to the online nature one cannot be sure about the finals genes given
△ Less
Submitted 9 June, 2017;
originally announced June 2017.
-
Assembling sequences of DNA using an on-line algorithm based on DeBruijn graphs
Authors:
Juan Manuel Ciro Restrepo,
Andrés Felipe Zapata Palacio,
Mauricio Toro
Abstract:
The problem of assembling DNA fragments starting from imperfect strings given by a sequencer, classified as NP hard when trying to get perfect answers, has a huge importance in several fields, because of its relation with the possibility of detecting similarities between animals, dangerous pests in crops, and so on. Some of the algorithms and data structures that have been created to solve this pr…
▽ More
The problem of assembling DNA fragments starting from imperfect strings given by a sequencer, classified as NP hard when trying to get perfect answers, has a huge importance in several fields, because of its relation with the possibility of detecting similarities between animals, dangerous pests in crops, and so on. Some of the algorithms and data structures that have been created to solve this problem are Needleman Wunsch algorithm, DeBruijn graphs and greedy algorithms working on overlaps graphs; these try to work out the problem from different approaches that give place to certain advantages and disadvantages to be discussed.
In this article we first expose a summary of the research done on already created solutions for the DNA assembly problem, to present later an on-line solution to the same matter, which, despite not considering mutations, would have the capacity of using only the necessary amount of readings to assemble an user specified amount of genes.
△ Less
Submitted 24 May, 2017; v1 submitted 15 May, 2017;
originally announced May 2017.
-
Concurrent Constraint Conditional-Branching Timed Interactive Scores
Authors:
Mauricio Toro,
Myriam Desainte-Catherine
Abstract:
Multimedia scenarios have multimedia content and interactive events associated with computer programs. Interactive Scores (IS) is a formalism to represent such scenarios by temporal objects, temporal relations (TRs) and interactive events. IS describe TRs, but IS cannot represent TRs together with conditional branching. We propose a model for conditional branching timed IS in the Non-deterministic…
▽ More
Multimedia scenarios have multimedia content and interactive events associated with computer programs. Interactive Scores (IS) is a formalism to represent such scenarios by temporal objects, temporal relations (TRs) and interactive events. IS describe TRs, but IS cannot represent TRs together with conditional branching. We propose a model for conditional branching timed IS in the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. We ran a prototype of our model in Ntccrt (a real-time capable interpreter for ntcc) and the response time was acceptable for real-time interaction. An advantage of ntcc over Max/MSP or Petri Nets is that conditions and global constraints are represented declaratively.
△ Less
Submitted 3 May, 2017;
originally announced May 2017.
-
Modeling temporal constraints for a system of interactive scores
Authors:
Mauricio Toro,
Myriam Desainte-Catherine,
Antoine Allombert
Abstract:
In this chapter we explain briefly the fundamentals of the interactive scores formalism. Then we develop a solution for implementing the ECO machine by mixing petri nets and constraints propagation. We also present another solution for implementing the ECO machine using concurrent constraint programming. Finally, we present an extension of interactive score with conditional branching.
In this chapter we explain briefly the fundamentals of the interactive scores formalism. Then we develop a solution for implementing the ECO machine by mixing petri nets and constraints propagation. We also present another solution for implementing the ECO machine using concurrent constraint programming. Finally, we present an extension of interactive score with conditional branching.
△ Less
Submitted 3 May, 2017;
originally announced May 2017.
-
The Schubert normal form of a 3-bridge link and the 3-bridge link group
Authors:
Margarita Toro,
Mauricio Rivera
Abstract:
We introduce the Schubert form a $3$-bridge link diagram, as a generalization of the Schubert normal form of a $3$-bridge link. It consists of a set of six positive integers, written as $\left( p/n,q/m,s/l\right) $, with some conditions and it is based on the concept of $3$-butterfly. Using the Schubert normal form of a $3$-bridge link diagram, we give two presentations of the 3-bridge link group.…
▽ More
We introduce the Schubert form a $3$-bridge link diagram, as a generalization of the Schubert normal form of a $3$-bridge link. It consists of a set of six positive integers, written as $\left( p/n,q/m,s/l\right) $, with some conditions and it is based on the concept of $3$-butterfly. Using the Schubert normal form of a $3$-bridge link diagram, we give two presentations of the 3-bridge link group. These presentations are given by concrete formulas that depend on the integers $\left\{ p,n,q,m,s,l\right\} .$ The construction is a generalization of the form the link group presentation of the $2$-bridge link $p/q$ depends on the integers $p$ and $q$.
△ Less
Submitted 28 February, 2017;
originally announced March 2017.
-
Planning system for deliveries in Medellín
Authors:
Catalina Patiño-Forero,
Mateo Agudelo-Toro,
Mauricio Toro
Abstract:
Here we present the implementation of an application capable of planning the shortest delivery route in the city of Medellín, Colombia. We discuss the different approaches to this problem which is similar to the famous Traveling Salesman Problem (TSP), but differs in the fact that, in our problem, we can visit each place (or vertex) more than once. Solving this problem is important since it would…
▽ More
Here we present the implementation of an application capable of planning the shortest delivery route in the city of Medellín, Colombia. We discuss the different approaches to this problem which is similar to the famous Traveling Salesman Problem (TSP), but differs in the fact that, in our problem, we can visit each place (or vertex) more than once. Solving this problem is important since it would help people, especially stores with delivering services, to save time and money spent in fuel, because they can plan any route in an efficient way.
△ Less
Submitted 13 November, 2016;
originally announced November 2016.
-
Results of the ASY-EOS experiment at GSI: The symmetry energy at suprasaturation density
Authors:
P. Russotto,
S. Gannon,
S. Kupny,
P. Lasko,
L. Acosta,
M. Adamczyk,
A. Al-Ajlan,
M. Al-Garawi,
S. Al-Homaidhi,
F. Amorini,
L. Auditore,
T. Aumann,
Y. Ayyad,
Z. Basrak,
J. Benlliure,
M. Boisjoli,
K. Boretzky,
J. Brzychczyk,
A. Budzanowski,
C. Caesar,
G. Cardella,
P. Cammarata,
Z. Chajecki,
M. Chartier,
A. Chbihi
, et al. (67 additional authors not shown)
Abstract:
Directed and elliptic flows of neutrons and light charged particles were measured for the reaction 197Au+197Au at 400 MeV/nucleon incident energy within the ASY-EOS experimental campaign at the GSI laboratory. The detection system consisted of the Large Area Neutron Detector LAND, combined with parts of the CHIMERA multidetector, of the ALADIN Time-of-flight Wall, and of the Washington-University…
▽ More
Directed and elliptic flows of neutrons and light charged particles were measured for the reaction 197Au+197Au at 400 MeV/nucleon incident energy within the ASY-EOS experimental campaign at the GSI laboratory. The detection system consisted of the Large Area Neutron Detector LAND, combined with parts of the CHIMERA multidetector, of the ALADIN Time-of-flight Wall, and of the Washington-University Microball detector. The latter three arrays were used for the event characterization and reaction-plane reconstruction. In addition, an array of triple telescopes, KRATTA, was used for complementary measurements of the isotopic composition and flows of light charged particles. From the comparison of the elliptic flow ratio of neutrons with respect to charged particles with UrQMD predictions, a value γ= 0.72 \pm 0.19 is obtained for the power-law coefficient describing the density dependence of the potential part in the parametrization of the symmetry energy. It represents a new and more stringent constraint for the regime of supra-saturation density and confirms, with a considerably smaller uncertainty, the moderately soft to linear density dependence deduced from the earlier FOPI-LAND data. The densities probed are shown to reach beyond twice saturation.
△ Less
Submitted 27 September, 2016; v1 submitted 15 August, 2016;
originally announced August 2016.
-
Phase transition of strongly interacting matter with a chemical potential dependent Polyakov loop potential
Authors:
Guo-yun Shao,
Zhan-duo Tang,
Massimo Di Toro,
Maria Colonna,
Xue-yan Gao,
Ning Gao
Abstract:
We construct a hadron-quark two-phase model based on the Walecka-quantum hadrodynamics and the improved Polyakov-Nambu--Jona-Lasinio model with an explicit chemical potential dependence of Polyakov-loop potential ($μ$PNJL model). With respect to the original PNJL model, the confined-deconfined phase transition is largely affected at low temperature and large chemical potential. Using the two-phase…
▽ More
We construct a hadron-quark two-phase model based on the Walecka-quantum hadrodynamics and the improved Polyakov-Nambu--Jona-Lasinio model with an explicit chemical potential dependence of Polyakov-loop potential ($μ$PNJL model). With respect to the original PNJL model, the confined-deconfined phase transition is largely affected at low temperature and large chemical potential. Using the two-phase model, we investigate the equilibrium transition between hadronic and quark matter at finite chemical potentials and temperatures. The numerical results show that the transition boundaries from nuclear to quark matter move towards smaller chemical potential (lower density) when the $μ$-dependent Polyakov loop potential is taken. In particular, for charge asymmetric matter, we compute the local asymmetry of $u, d$ quarks in the hadron-quark coexisting phase, and analyse the isospin-relevant observables possibly measurable in heavy-ion collision (HIC) experiments. In general new HIC data on the location and properties of the mixed phase would bring relevant information on the expected chemical potential dependence of the Polyakov Loop contribution.
△ Less
Submitted 1 July, 2016; v1 submitted 30 March, 2016;
originally announced March 2016.
-
Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models
Authors:
Mauricio Toro,
Anna Philippou,
Sair Arboleda,
María Puerta,
Carlos M. Vélez S.
Abstract:
We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS allows an interpretation of the average behavior of a system as a set of recurrence equations. Recurrence equations are a useful approximation when dealing with a large number of individuals, as it is the case in epidemiological st…
▽ More
We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS allows an interpretation of the average behavior of a system as a set of recurrence equations. Recurrence equations are a useful approximation when dealing with a large number of individuals, as it is the case in epidemiological studies. As a case study, we compute a set of recurrence equations capturing the dynamics of an individual-based model of the transmission of dengue in Bello (Antioquia), Colombia.
△ Less
Submitted 3 March, 2016;
originally announced March 2016.
-
Probabilistic Extension to the Concurrent Constraint Factor Oracle Model for Music Improvisation
Authors:
Mauricio Toro
Abstract:
We can program a Real-Time (RT) music improvisation system in C++ without a formal semantic or we can model it with process calculi such as the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. "A Concurrent Constraints Factor Oracle (FO) model for Music Improvisation" (Ccfomi) is an improvisation model specified on ntcc. Since Ccfomi improvises non-deterministically, there is no cont…
▽ More
We can program a Real-Time (RT) music improvisation system in C++ without a formal semantic or we can model it with process calculi such as the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. "A Concurrent Constraints Factor Oracle (FO) model for Music Improvisation" (Ccfomi) is an improvisation model specified on ntcc. Since Ccfomi improvises non-deterministically, there is no control on choices and therefore little control over the sequence variation during the improvisation. To avoid this, we extended Ccfomi using the Probabilistic Non-deterministic Timed Concurrent Constraint calculus. Our extension to Ccfomi does not change the time and space complexity of building the FO, thus making our extension compatible with RT. However, there was not a ntcc interpreter capable of RT to execute Ccfomi. We developed Ntccrt --a RT capable interpreter for ntcc-- and we executed Ccfomi on Ntccrt. In the future, we plan to extend Ntccrt to execute our extension to Ccfomi.
△ Less
Submitted 5 February, 2016;
originally announced February 2016.
-
Probing the hadron-quark mixed phase at high isospin and baryon density - Sensitive observables
Authors:
Massimo Di Toro,
Maria Colonna,
Vincenzo Greco,
Guo-Yun Shao
Abstract:
We discuss the isospin effect on the possible phase transition from hadronic to quark matter at high baryon density and finite temperatures. The two-Equation of State (Two-EoS) model is adopted to describe the hadron-quark phase transition in dense matter formed in heavy-ion collisions. For the hadron sector we use Relativistic Mean Field (RMF) effective models, already tested on heavy ion collisi…
▽ More
We discuss the isospin effect on the possible phase transition from hadronic to quark matter at high baryon density and finite temperatures. The two-Equation of State (Two-EoS) model is adopted to describe the hadron-quark phase transition in dense matter formed in heavy-ion collisions. For the hadron sector we use Relativistic Mean Field (RMF) effective models, already tested on heavy ion collision (HIC). For the quark phase we consider various effective models, the MIT-Bag static picture, the Nambu--Jona-Lasinio (NJL) approach with chiral dynamics and finally the NJL coupled to the Polyakov-loop field (PNJL), which includes both chiral and (de)confinement dynamics. The idea is to extract mixed phase properties which appear robust with respect to the model differences. In particular we focus on the phase transitions of isospin asymmetric matter, with two main results: i) an earlier transition to a mixed hadron-quark phase, at lower baryon density/chemical potential with respect to symmetric matter; ii) an "Isospin Distillation" to the quark component of the mixed phase, with predicted effects on the final hadron production. Possible observation signals are suggested to probe in heavy-ion collision experiments at intermediate energies, in the range of the NICA program.
△ Less
Submitted 24 January, 2016; v1 submitted 21 January, 2016;
originally announced January 2016.
-
An Extension of Interactive Scores for Multimedia Scenarios with Temporal Relations for Micro and Macro Controls
Authors:
Mauricio Toro,
Myriam Desainte-Catherine,
Julien Castet
Abstract:
Software to design multimedia scenarios is usually based either on a fixed timeline or on cue lists, but both models are unrelated temporally. On the contrary, the formalism of interactive scores can describe multimedia scenarios with flexible and fixed temporal relations among the objects of the scenario, but cannot express neither temporal relations for micro controls nor signal processing. We e…
▽ More
Software to design multimedia scenarios is usually based either on a fixed timeline or on cue lists, but both models are unrelated temporally. On the contrary, the formalism of interactive scores can describe multimedia scenarios with flexible and fixed temporal relations among the objects of the scenario, but cannot express neither temporal relations for micro controls nor signal processing. We extend interactive scores with such relations and with sound processing. We show some applications and we describe how they can be implemented in Pure Data. Our implementation has low average relative jitter even under high cpu load.
△ Less
Submitted 11 October, 2015;
originally announced October 2015.
-
Towards non-threaded Concurrent Constraint Programming for implementing multimedia interaction systems
Authors:
Mauricio Toro
Abstract:
In this work we explain the implementation of event-driven real-time interpreters for the Concurrent Constraint Programming (CCP) and Non-deterministic Timed Concurrent Constraint (NTCC) for- malisms. The CCP interpreter was tested with a program to find, concurrently, paths in a graph and it will be used in the future to find musical sequences in the music improvisation software Omax, developed b…
▽ More
In this work we explain the implementation of event-driven real-time interpreters for the Concurrent Constraint Programming (CCP) and Non-deterministic Timed Concurrent Constraint (NTCC) for- malisms. The CCP interpreter was tested with a program to find, concurrently, paths in a graph and it will be used in the future to find musical sequences in the music improvisation software Omax, developed by the French Acoustics/Music Research Institute (IRCAM). In the other hand, the NTCC interpreter was tested with a music improvisation system based on NTCC (CCFOMI), developed by the AVISPA research group and IRCAM. Additionally, we present GECOL 2, a wrapper for the Generic Constraints Development Environment (GECODE) to Common LISP, de- veloped to port the interpreters to Common LISP in the future. We concluded that using GECODE for the concurrency control avoids the need of having threads and synchronizing them, leading to a simple and efficient implementation of CCP and NTCC. We also noticed that the time units in NTCC interpreter do not represent discrete time units, because when we simulate the NTCC specifications in the interpreter, the time units have different durations. In the future, we propose forcing the duration of each time unit to a fix time, that way we would be able to reason about NTCC time units as we do with discrete time units.
△ Less
Submitted 11 October, 2015;
originally announced October 2015.
-
Concurrent Constraint Machine Improvisation: Models and Implementation
Authors:
Mauricio Toro
Abstract:
Machine improvisation creates music either by explicit coding of rules or by applying machine learning methods. We deal with the latter case. An improvisation system capable of real-time must execute two process concurrently: one to apply machine learning methods to musical sequences in order to capture prominent musical features, and one to produce musical sequences stylistically consistent with…
▽ More
Machine improvisation creates music either by explicit coding of rules or by applying machine learning methods. We deal with the latter case. An improvisation system capable of real-time must execute two process concurrently: one to apply machine learning methods to musical sequences in order to capture prominent musical features, and one to produce musical sequences stylistically consistent with the learned material. As an example, the Concurrent Constraint Factor Oracle Model for Music Improvisation (ccfomi), based upon Non-deterministic Timed Concurrent Constraint (ntcc) calculus, uses the Factor Oracle to store the learned sequences.
△ Less
Submitted 9 October, 2015;
originally announced October 2015.
-
A Model for Interactive Scores with Temporal Constraints and Conditional Branching
Authors:
Mauricio Toro,
Myriam Desainte-Catherine,
Pascal Baltazar
Abstract:
Interactive Scores (IS) are a formalism for the design and performance of interactive multimedia scenarios. IS provide temporal relations (TR), but they cannot represent conditional branching and TRs simultaneously. We propose an extension to Allombert et al.'s IS model by including a condition on the TRs. We found out that in order to have a coherent model in all possible scenarios, durations mus…
▽ More
Interactive Scores (IS) are a formalism for the design and performance of interactive multimedia scenarios. IS provide temporal relations (TR), but they cannot represent conditional branching and TRs simultaneously. We propose an extension to Allombert et al.'s IS model by including a condition on the TRs. We found out that in order to have a coherent model in all possible scenarios, durations must be flexible; however, sometimes it is possible to have fixed durations. To show the relevance of our model, we modeled an existing multimedia installation called Mariona. In Mariona there is choice, random durations and loops. Whether we can represent all the TRs available in Allombert et al.'s model into ours, or we have to choose between a timed conditional branching model and a pure temporal model before writing a scenario, still remains as an open question.
△ Less
Submitted 9 October, 2015;
originally announced October 2015.
-
NTCCRT: A concurrent constraint framework for real-time interaction (extended version)
Authors:
Mauricio Toro,
Camilo Rueda,
Carlos Agón,
Gérard Assayag
Abstract:
Writing multimedia interaction systems is not easy. Their concurrent processes usually access shared resources in a non-deterministic order, often leading to unpredictable behavior. Using Pure Data (Pd) and Max/MSP is possible to program concurrency, however, it is difficult to synchronize processes based on multiple criteria. Process calculi such as the Non-deterministic Timed Concurrent Constrai…
▽ More
Writing multimedia interaction systems is not easy. Their concurrent processes usually access shared resources in a non-deterministic order, often leading to unpredictable behavior. Using Pure Data (Pd) and Max/MSP is possible to program concurrency, however, it is difficult to synchronize processes based on multiple criteria. Process calculi such as the Non-deterministic Timed Concurrent Constraint (ntcc) calculus, overcome that problem by representing multiple criteria as constraints. We propose using our framework Ntccrt to manage concurrency in Pd and Max. Ntccrt is a real-time capable inter- preter for ntcc. Using Ntccrt externals (binary plugins) in Pd we ran models for machine improvisation and signal processing.
△ Less
Submitted 9 October, 2015;
originally announced October 2015.
-
Gelisp: A Library to Represent Musical CSPs and Search Strategies
Authors:
Mauricio Toro,
Camilo Rueda,
Carlos Agón,
Gérard Assayag
Abstract:
In this paper we present Gelisp, a new library to represent musical Constraint Satisfaction Problems and search strategies intuitively. Gelisp has two interfaces, a command-line one for Common Lisp and a graphical one for OpenMusic. Using Gelisp, we solved a problem of automatic music generation proposed by composer Michael Jarrell and we found solutions for the All-interval series.
In this paper we present Gelisp, a new library to represent musical Constraint Satisfaction Problems and search strategies intuitively. Gelisp has two interfaces, a command-line one for Common Lisp and a graphical one for OpenMusic. Using Gelisp, we solved a problem of automatic music generation proposed by composer Michael Jarrell and we found solutions for the All-interval series.
△ Less
Submitted 9 October, 2015;
originally announced October 2015.
-
Structured Interactive Music Scores
Authors:
Mauricio Toro
Abstract:
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs among objects in Time Stream Petri nets, but it is difficult to represent global constraints. This can be done explicitly in the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. We want to formalize a hete…
▽ More
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs among objects in Time Stream Petri nets, but it is difficult to represent global constraints. This can be done explicitly in the Non-deterministic Timed Concurrent Constraint (ntcc) calculus. We want to formalize a heterogeneous system that controls in one subsystem the concurrent execution of the objects using ntcc, and audio and video processing in the other. We also plan to develop an automatic verifier for ntcc.
△ Less
Submitted 1 September, 2018; v1 submitted 22 August, 2015;
originally announced August 2015.
-
On the collectivity of Pygmy Dipole Resonance within schematic TDA and RPA models
Authors:
V. Baran,
D. I. Palade,
M. Colonna,
M. Di Toro,
A. Croitoru,
A. I. Nicolin
Abstract:
Within schematic models based on the Tamm-Dancoff Approximation and the Random-Phase Approximation with separable interactions, we investigate the physical conditions which determine the emergence of the Pygmy Dipole Resonance in the E1 response of atomic nuclei. We find that if some particle-hole excitation manifests a different, weaker residual interaction, an additional mode will appear, with a…
▽ More
Within schematic models based on the Tamm-Dancoff Approximation and the Random-Phase Approximation with separable interactions, we investigate the physical conditions which determine the emergence of the Pygmy Dipole Resonance in the E1 response of atomic nuclei. We find that if some particle-hole excitation manifests a different, weaker residual interaction, an additional mode will appear, with an energy centroid closer to the distance between two major shells and therefore well below the Giant Dipole Resonance. This state, together with Giant Dipole Resonance, exhausts all the transition strength in the Tamm-Dancoff Approximation and all the Energy Weighted Sum Rule in the Random-Phase Approximation. Thus, within our scheme, this mode, which could be associated with the Pygmy Dipole Resonance, is of collective nature. By relating the coupling constants appearing in the separable interaction to the symmetry energy value at and below saturation density we explore the role of the density dependence of the symmetry energy on the low energy dipole response.
△ Less
Submitted 22 December, 2014; v1 submitted 25 November, 2014;
originally announced November 2014.
-
Exotic break-up modes in heavy ion reactions at low energies
Authors:
C. Rizzo,
M. Colonna,
V. Baran,
M. Di Toro
Abstract:
New reaction mechanisms occurring in heavy ion collisions at low energy (10- 30 MeV/A) are investigated within the Stochastic Mean Field model. We concentrate on the analysis of ternary breakup events, of dynamical origin, occurring in semi-central reactions, where the formation of excited systems in various conditions of shape and angular momentum is observed. We show how this fragmentation mode,…
▽ More
New reaction mechanisms occurring in heavy ion collisions at low energy (10- 30 MeV/A) are investigated within the Stochastic Mean Field model. We concentrate on the analysis of ternary breakup events, of dynamical origin, occurring in semi-central reactions, where the formation of excited systems in various conditions of shape and angular momentum is observed. We show how this fragmentation mode, which can be considered as a precursor of the neck emission observed at higher beam energies, emerges from the combined action of surface (neck) instabilities and angular momentum effects. Interesting perspectives are opening towards the investigation of this mechanism in neutron-rich (or exotic) systems, with the possibility to access information on the low-density behavior of the nuclear symmetry energy.
△ Less
Submitted 3 July, 2014;
originally announced July 2014.
-
Nuclear collective dynamics within Vlasov approach
Authors:
V. Baran,
M. Colonna,
M. Di Toro,
B. Frecus,
A. Croitoru,
D. Dumitru
Abstract:
We discuss, in an investigation based on Vlasov equation, the properties of the isovector modes in nuclear matter and atomic nuclei in relation with the symmetry energy. We obtain numerically the dipole response and determine the strength function for various systems, including a chain of Sn isotopes. We consider for the symmetry energy three parametrizations with density providing similar values…
▽ More
We discuss, in an investigation based on Vlasov equation, the properties of the isovector modes in nuclear matter and atomic nuclei in relation with the symmetry energy. We obtain numerically the dipole response and determine the strength function for various systems, including a chain of Sn isotopes. We consider for the symmetry energy three parametrizations with density providing similar values at saturation but which manifest very different slopes around this point. In this way we can explore how the slope affects the collective response of finite nuclear systems. We focus first on the dipole polarizability and show that while the model is able to describe the expected mass dependence, A^{5/3}, it also demonstrates that this quantity is sensitive to the slope parameter of the symmetry energy. Then, by considering the Sn isotopic chain, we investigate the emergence of a collective mode, the Pygmy Dipole Resonance (PDR), when the number of neutrons in excess increases. We show that the total energy-weighted sum rule exhausted by this mode has a linear dependence with the square of isospin I=(N-Z)/A, again sensitive to the slope of the symmetry energy with density. Therefore the polarization effects in the isovector density have to play an important role in the dynamics of PDR. These results provide additional hints in the investigations aiming to extract the properties of symmetry energy below saturation.
△ Less
Submitted 19 June, 2014;
originally announced June 2014.
-
Equivalence of rational links and 2-bridge links revisited
Authors:
Margarita M. Toro
Abstract:
In this paper we give a simple proof of the equivalence between the rational link associated to the continued fraction $\left[ a_{1},a_{2},\cdots a_{m}\right],$ $a_{i}\in\mathbb{N}$, and the two bridge link of type $p/q,$ where $p/q$ is the rational given by $\left[ a_{1}%,a_{2},\cdots a_{m}\right] $. The known proof of this equivalence relies on the two fold cover of a link and the classification…
▽ More
In this paper we give a simple proof of the equivalence between the rational link associated to the continued fraction $\left[ a_{1},a_{2},\cdots a_{m}\right],$ $a_{i}\in\mathbb{N}$, and the two bridge link of type $p/q,$ where $p/q$ is the rational given by $\left[ a_{1}%,a_{2},\cdots a_{m}\right] $. The known proof of this equivalence relies on the two fold cover of a link and the classification of the lens spaces. Our proof is elementary and combinatorial and follows the naive approach of finding a set of movements to transform the rational link given by $\left[ a_{1},a_{2},\cdots a_{m}\right] $ into the two bridge link of type $p/q$.
△ Less
Submitted 11 June, 2014;
originally announced June 2014.
-
Theoretical predictions of experimental observables sensitive to the symmetry energy: Results of the SMF transport model
Authors:
Maria Colonna,
Virgil Baran,
Massimo Di Toro
Abstract:
In the framework of mean-field based transport approaches, we discuss recent results concerning heavy ion reactions between charge asymmetric systems, from low up to intermediate energies. We focus on isospin sensitive observables, aiming at extracting information on the density dependence of the isovector part of the nuclear effective interaction and of the nuclear symmetry energy. For reactions…
▽ More
In the framework of mean-field based transport approaches, we discuss recent results concerning heavy ion reactions between charge asymmetric systems, from low up to intermediate energies. We focus on isospin sensitive observables, aiming at extracting information on the density dependence of the isovector part of the nuclear effective interaction and of the nuclear symmetry energy. For reactions close to the Coulomb barrier, we explore the structure of collective dipole oscillations, rather sensitive to the low-density behavior of the symmetry energy. In the Fermi energy regime, we investigate the interplay between dissipation mechanisms, fragmentation and isospin effects. At intermediate energies, where regions with higher density and momentum are reached, we discuss collective flows and their sensitivity to the momentum dependence of the isovector interaction channel, which determines the splitting of neutron and proton effective masses. Finally, we also discuss the isospin effect on the possible phase transition from nucleonic matter to quark matter. Results are critically reviewed, also trying to establish a link, when possible, with the outcome of other transport models.
△ Less
Submitted 3 December, 2013;
originally announced December 2013.
-
Connecting the Pygmy Dipole Resonance to the neutron skin
Authors:
V. Baran,
M. Colonna,
M. Di Toro,
A. Croitoru,
D. Dumitru
Abstract:
We study the correlation between the neutron skin development and the low-energy dipole response associated with the pygmy dipole resonance (PDR) in connection with the properties of symmetry energy. We perform our investigation within a microscopic transport model based on the Landau-Vlasov kinetic equation by employing three different equations of state in the isovector sector. Together with the…
▽ More
We study the correlation between the neutron skin development and the low-energy dipole response associated with the pygmy dipole resonance (PDR) in connection with the properties of symmetry energy. We perform our investigation within a microscopic transport model based on the Landau-Vlasov kinetic equation by employing three different equations of state in the isovector sector. Together with the giant dipole resonance (GDR) for all studied systems, we identify a PDR collective mode whose energy centroid is very well described by the parametrization E_{PDR}=41 A^{-1/3}. A linear correlation between the energy weighted sum rule (EWSR) associated to PDR and the neutron skin thickness is evidenced. An increase of 15 MeVfm^2 of EWSR, in correspondence to a change of 0.1fm of the neutron skin size, is obtained. We conjecture that different nuclei having close neutron skin sizes will exhaust the same EWSR in the pygmy region. This suggests that a precise experimental estimate of the total EWSR exhausted by the PDR allows the determination of the neutron skin size, constraining the slope parameter of the symmetry energy.
△ Less
Submitted 18 June, 2014; v1 submitted 20 June, 2013;
originally announced June 2013.
-
Isoscalar-vector interaction and hybrid quark core in massive neutron stars
Authors:
G. Y. Shao,
M. Colonna,
M. Di Toro,
Y. X. Liu,
B. Liu
Abstract:
The hadron-quark phase transition in the core of massive neutron stars is studied with a newly constructed two-phase model. For nuclear matter, a nonlinear Walecka type model with general nucleon-meson and meson-meson couplings, recently calibrated by Steiner, Hemper and Fischer, is taken. For quark matter, a modified Polyakov-Nambu--Jona-Lasinio (mPNJL) model, which gives consistent results with…
▽ More
The hadron-quark phase transition in the core of massive neutron stars is studied with a newly constructed two-phase model. For nuclear matter, a nonlinear Walecka type model with general nucleon-meson and meson-meson couplings, recently calibrated by Steiner, Hemper and Fischer, is taken. For quark matter, a modified Polyakov-Nambu--Jona-Lasinio (mPNJL) model, which gives consistent results with lattice QCD data, is used. Most importantly, we introduce an isoscalar-vector interaction in the description of quark matter, and we study its influence on the hadron-quark phase transition in the interior of massive neutron stars. With the constraints of neutron star observations, our calculation shows that the isoscalar-vector interaction between quarks is indispensable if massive hybrids star exist in the universe, and its strength determines the onset density of quark matter, as well as the mass-radius relations of hybrid stars. Furthermore, as a connection with heavy-ion-collision experiments we give some discussions about the strength of isoscalar-vector interaction and its effect on the signals of hadron-quark phase transition in heavy-ion collisions, in the energy range of the NICA at JINR-Dubna and FAIR at GSI-Darmstadt facilities.
△ Less
Submitted 6 May, 2013;
originally announced May 2013.
-
The ASY-EOS experiment at GSI: investigating the symmetry energy at supra-saturation densities
Authors:
P. Russotto,
M. Chartier,
E. De Filippo,
A. Le Févre,
S. Gannon,
I. Gašparić,
M. Kiš,
S. Kupny,
Y. Leifels,
R. C. Lemmon,
J. Łukasik,
P. Marini,
A. Pagano,
P. Pawłowski,
S. Santoro,
W. Trautmann,
M. Veselsky,
L. Acosta,
M. Adamczyk,
A. Al-Ajlan,
M. Al-Garawi,
S. Al-Homaidhi,
F. Amorini,
L. Auditore,
T. Aumann
, et al. (67 additional authors not shown)
Abstract:
The elliptic-flow ratio of neutrons with respect to protons in reactions of neutron rich heavy-ions systems at intermediate energies has been proposed as an observable sensitive to the strength of the symmetry term in the nuclear Equation Of State (EOS) at supra-saturation densities. The recent results obtained from the existing FOPI/LAND data for $^{197}$Au+$^{197}$Au collisions at 400 MeV/nucleo…
▽ More
The elliptic-flow ratio of neutrons with respect to protons in reactions of neutron rich heavy-ions systems at intermediate energies has been proposed as an observable sensitive to the strength of the symmetry term in the nuclear Equation Of State (EOS) at supra-saturation densities. The recent results obtained from the existing FOPI/LAND data for $^{197}$Au+$^{197}$Au collisions at 400 MeV/nucleon in comparison with the UrQMD model allowed a first estimate of the symmetry term of the EOS but suffer from a considerable statistical uncertainty. In order to obtain an improved data set for Au+Au collisions and to extend the study to other systems, a new experiment was carried out at the GSI laboratory by the ASY-EOS collaboration in May 2011.
△ Less
Submitted 26 September, 2012;
originally announced September 2012.
-
Reaction mechanisms in transport theories: a test of the nuclear effective interaction
Authors:
M. Colonna,
V. Baran,
M. Di Toro,
B. Frecus,
Y. X. Zhang
Abstract:
We review recent results concerning collective excitations in neutron-rich systems and reactions between charge asymmetric systems at Fermi energies.
Solving numerically self-consistent transport equations for neutrons and protons with specific initial conditions, we explore the structure of the different dipole vibrations in the $^{132}Sn$ system and investigate their dependence on the symmetry…
▽ More
We review recent results concerning collective excitations in neutron-rich systems and reactions between charge asymmetric systems at Fermi energies.
Solving numerically self-consistent transport equations for neutrons and protons with specific initial conditions, we explore the structure of the different dipole vibrations in the $^{132}Sn$ system and investigate their dependence on the symmetry energy. We evidence the existence of a distinctive collective mode, that can be associated with the Pygmy Dipole Resonance, with an energy well below the standard Giant Dipole Resonance and isoscalar-like character, i.e. very weakly dependent on the isovector part of the nuclear effective interaction. At variance, the corresponding strength is rather sensitive to the behavior of the symmetry energy below saturation, which rules the number of excess neutrons in the nuclear surface.
In reactions between charge asymmetric systems at Fermi energies, we investigate the interplay between dissipation mechanisms and isospin effects. Observables sensitive to the isospin dependent part of nuclear interaction are discussed, providing information on the symmetry energy density dependence below saturation.
△ Less
Submitted 7 September, 2012;
originally announced September 2012.
-
Correlations between emission timescale of fragments and isospin dynamics in $^{124}$Sn+$^{64}$Ni and $^{112}$Sn+$^{58}$Ni reactions at 35 AMeV
Authors:
E. De Filippo,
A. Pagano,
P. Russotto,
F. Amorini,
A. Anzalone,
L. Auditore,
V. Baran,
I. Berceanu,
B. Borderie,
R. Bougault,
M. Bruno,
T. Cap,
G. Cardella,
S. Cavallaro,
M. B. Chatterjee,
A. Chbihi,
M. Colonna,
M. D'Agostino,
R. Dayras,
M. Di Toro,
J. Frankland,
E. Galichet,
W. Gawlikowicz,
E. Geraci,
A. Grzeszczuk
, et al. (29 additional authors not shown)
Abstract:
We present a new experimental method to correlate the isotopic composition of intermediate mass fragments (IMF) emitted at mid-rapidity in semi-peripheral collisions with the emission timescale: IMFs emitted in the early stage of the reaction show larger values of $<$N/Z$>$ isospin asymmetry, stronger angular anisotropies and reduced odd-even staggering effects in neutron to proton ratio $<$N/Z…
▽ More
We present a new experimental method to correlate the isotopic composition of intermediate mass fragments (IMF) emitted at mid-rapidity in semi-peripheral collisions with the emission timescale: IMFs emitted in the early stage of the reaction show larger values of $<$N/Z$>$ isospin asymmetry, stronger angular anisotropies and reduced odd-even staggering effects in neutron to proton ratio $<$N/Z$>$ distributions than those produced in sequential statistical emission. All these effects support the concept of isospin "migration", that is sensitive to the density gradient between participant and quasi-spectator nuclear matter, in the so called neck fragmentation mechanism. By comparing the data to a Stochastic Mean Field (SMF) simulation we show that this method gives valuable constraints on the symmetry energy term of nuclear equation of state at subsaturation densities. An indication emerges for a linear density dependence of the symmetry energy.
△ Less
Submitted 4 June, 2012;
originally announced June 2012.