-
Dynamic Regret Analysis for Online Tracking of Time-varying Structural Equation Model Topologies
Authors:
Bakht Zaman,
Luis Miguel Lopez Ramos,
Baltasar Beferull-Lozano
Abstract:
Identifying dependencies among variables in a complex system is an important problem in network science. Structural equation models (SEM) have been used widely in many fields for topology inference, because they are tractable and incorporate exogenous influences in the model. Topology identification based on static SEM is useful in stationary environments; however, in many applications a time-vary…
▽ More
Identifying dependencies among variables in a complex system is an important problem in network science. Structural equation models (SEM) have been used widely in many fields for topology inference, because they are tractable and incorporate exogenous influences in the model. Topology identification based on static SEM is useful in stationary environments; however, in many applications a time-varying underlying topology is sought. This paper presents an online algorithm to track sparse time-varying topologies in dynamic environments and most importantly, performs a detailed analysis on the performance guarantees. The tracking capability is characterized in terms of a bound on the dynamic regret of the proposed algorithm. Numerical tests show that the proposed algorithm can track changes under different models of time-varying topologies.
△ Less
Submitted 18 March, 2020;
originally announced March 2020.
-
Report on the ECFA Early-Career Researchers Debate on the 2020 European Strategy Update for Particle Physics
Authors:
N. Andari,
L. Apolinário,
K. Augsten,
E. Bakos,
I. Bellafont,
L. Beresford,
A. Bethani,
J. Beyer,
L. Bianchini,
C. Bierlich,
B. Bilin,
K. L. Bjørke,
E. Bols,
P. A. Brás,
L. Brenner,
E. Brondolin,
P. Calvo,
B. Capdevila,
I. Cioara,
L. N. Cojocariu,
F. Collamati,
A. de Wit,
F. Dordei,
M. Dordevic,
T. A. du Pree
, et al. (96 additional authors not shown)
Abstract:
A group of Early-Career Researchers (ECRs) has been given a mandate from the European Committee for Future Accelerators (ECFA) to debate the topics of the current European Strategy Update (ESU) for Particle Physics and to summarise the outcome in a brief document [1]. A full-day debate with 180 delegates was held at CERN, followed by a survey collecting quantitative input. During the debate, the E…
▽ More
A group of Early-Career Researchers (ECRs) has been given a mandate from the European Committee for Future Accelerators (ECFA) to debate the topics of the current European Strategy Update (ESU) for Particle Physics and to summarise the outcome in a brief document [1]. A full-day debate with 180 delegates was held at CERN, followed by a survey collecting quantitative input. During the debate, the ECRs discussed future colliders in terms of the physics prospects, their implications for accelerator and detector technology as well as computing and software. The discussion was organised into several topic areas. From these areas two common themes were particularly highlighted by the ECRs: sociological and human aspects; and issues of the environmental impact and sustainability of our research.
△ Less
Submitted 7 February, 2020;
originally announced February 2020.
-
Charge transport modelling of lithium ion batteries
Authors:
Giles W Richardson,
Jamie M Foster,
Rahifa Ranom,
Colin P Please,
Angel M Ramos
Abstract:
This paper presents the current state of mathematical modelling of the electrochemical behaviour of lithium-ion batteries as they are charged and discharged. It reviews the models developed by Newman and co-workers, both in the cases of dilute and moderately-concentrated electrolytes and indicates the modelling assumptions required for their development. Particular attention is paid to the interfa…
▽ More
This paper presents the current state of mathematical modelling of the electrochemical behaviour of lithium-ion batteries as they are charged and discharged. It reviews the models developed by Newman and co-workers, both in the cases of dilute and moderately-concentrated electrolytes and indicates the modelling assumptions required for their development. Particular attention is paid to the interface conditions imposed between the electrolyte and the active electrode material; necessary conditions are derived for one of these, the Butler-Volmer relation, in order to ensure physically realistic solutions. Insight into the origin of the differences between various models found in the literature is revealed by considering formulations obtained by using different measures of the electric potential. Materials commonly used for electrodes in lithium ion batteries are considered and the various mathematical models used to describe lithium transport in them discussed. The problem of up-scaling from models of behaviour at the single electrode particle scale to the cell scale is addressed using homogenisation techniques resulting in the pseudo 2D model commonly used to describe charge transport and discharge behaviour in lithium-ion cells. Numerical solution to this model is discussed and illustrative results for a common device are computed.
△ Less
Submitted 14 January, 2020;
originally announced February 2020.
-
Are universal "anomalous" properties of glasses at low temperatures truly universal?
Authors:
Miguel A. Ramos
Abstract:
The specific heat Cp and other properties of glasses (ranging from amorphous solids to disordered crystals) at low temperatures, are well known to be markedly different from those in fully-ordered crystals. For decades, this qualitative, and even quantitative, universal behavior of glasses has been thoroughly studied. However, a clear understanding of its origin and microscopic nature, needless to…
▽ More
The specific heat Cp and other properties of glasses (ranging from amorphous solids to disordered crystals) at low temperatures, are well known to be markedly different from those in fully-ordered crystals. For decades, this qualitative, and even quantitative, universal behavior of glasses has been thoroughly studied. However, a clear understanding of its origin and microscopic nature, needless to say a closed theory, is still lacking. To shed light on this matter, I review the situation in this work, mainly by compiling and discussing measured low-temperature Cp data of many glasses and disordered crystals, as well as highlighting a few exceptions to that "universality rule". Thus, one can see that, in contrast to other low-temperature properties of glasses, the magnitude of the "glassy" Cp excess at low temperature is far from being universal. Even worse, some molecular crystals without a clear sign of disorder exhibit linear coefficients in Cp larger than those found in many amorphous solids, whereas a few of the latter show negligible values.
△ Less
Submitted 13 January, 2020;
originally announced January 2020.
-
Composite dark matter phenomenology in the presence of lighter degrees of freedom
Authors:
Maria Ramos
Abstract:
Scalar singlet dark matter in anomaly-free composite Higgs models is accompanied by exotic particles to which the dark matter annihilates. The latter can therefore freeze out even in the absence of couplings to the Standard Model. In this regime, both current and future direct detection constraints can be avoided. Moreover, due to the different decay modes of the extra particles, the dark matter c…
▽ More
Scalar singlet dark matter in anomaly-free composite Higgs models is accompanied by exotic particles to which the dark matter annihilates. The latter can therefore freeze out even in the absence of couplings to the Standard Model. In this regime, both current and future direct detection constraints can be avoided. Moreover, due to the different decay modes of the extra particles, the dark matter candidate can even escape indirect detection constraints. Assessing this issue requires dedicated simulations of the gamma ray spectrum, that we provide in the present article in the context of $SO(7)/SO(6)$. For the parameter space region that evades constraints from dark matter experiments, we develop new analyses to be performed at a future 100 TeV collider based on the search of the new particles produced in the decay of heavy vector-like quarks.
△ Less
Submitted 19 July, 2020; v1 submitted 23 December, 2019;
originally announced December 2019.
-
Generation and Distribution of Quantum Oblivious Keys for Secure Multiparty Computation
Authors:
Mariano Lemus,
Mariana F. Ramos,
Preeti Yadav,
Nuno A. Silva,
Nelson J. Muga,
Andre Souto,
Nikola Paunkovic,
Paulo Mateus,
Armando N. Pinto
Abstract:
The oblivious transfer primitive is sufficient to implement secure multiparty computation. However, secure multiparty computation based only on classical cryptography is severely limited by the security and efficiency of the oblivious transfer implementation. We present a method to efficiently and securely generate and distribute oblivious keys by exchanging qubits and by performing commitments us…
▽ More
The oblivious transfer primitive is sufficient to implement secure multiparty computation. However, secure multiparty computation based only on classical cryptography is severely limited by the security and efficiency of the oblivious transfer implementation. We present a method to efficiently and securely generate and distribute oblivious keys by exchanging qubits and by performing commitments using classical hash functions. With the presented hybrid approach, quantum and classical, we obtain a practical and high-speed oblivious transfer protocol, secure even against quantum computer attacks. The oblivious distributed keys allow implementing a fast and secure oblivious transfer protocol, which can pave the way for the widespread of applications based on secure multiparty computation.
△ Less
Submitted 17 June, 2020; v1 submitted 25 September, 2019;
originally announced September 2019.
-
Random Linear Network Coding on Programmable Switches
Authors:
Diogo Gonçalves,
Salvatore Signorello,
Fernando M. V. Ramos,
Muriel Médard
Abstract:
By extending the traditional store-and-forward mechanism, network coding has the capability to improve a network's throughput, robustness, and security. Given the fundamentally different packet processing required by this new paradigm and the inflexibility of hardware, existing solutions are based on software. As a result, they have limited performance and scalability, creating a barrier to its wi…
▽ More
By extending the traditional store-and-forward mechanism, network coding has the capability to improve a network's throughput, robustness, and security. Given the fundamentally different packet processing required by this new paradigm and the inflexibility of hardware, existing solutions are based on software. As a result, they have limited performance and scalability, creating a barrier to its wide-spread adoption. By leveraging the recent advances in programmable networking hardware, in this paper we propose a random linear network coding data plane written in P4, as a first step towards a production-level platform. Our solution includes the ability to combine the payload of multiple packets and of executing the required Galois field operations, and shows promise to be practical even under the strict memory and processing constraints of switching hardware.
△ Less
Submitted 5 September, 2019;
originally announced September 2019.
-
Nash equilibria strategies and equivalent single-objective optimization problems. The case of linear partial differential equations
Authors:
Angel Manuel Ramos
Abstract:
In this paper we study the existence and uniqueness of Nash equilibria (solution to competition-wise problems, with several controls trying to reach possibly different goals) associated to linear partial differential equations and show that, in some cases, they are also the solution of suitable single-objective optimization problems (i.e. cooperative-wise problems, where all the controls cooperate…
▽ More
In this paper we study the existence and uniqueness of Nash equilibria (solution to competition-wise problems, with several controls trying to reach possibly different goals) associated to linear partial differential equations and show that, in some cases, they are also the solution of suitable single-objective optimization problems (i.e. cooperative-wise problems, where all the controls cooperate to reach a common goal). We use cost functions associated with a particular linear parabolic partial differential equations and distributed controls, but the results are also valid for more general linear differential equations (including elliptic and hyperbolic cases) and controls (e.g. boundary controls, initial value controls,...).
△ Less
Submitted 30 August, 2019;
originally announced August 2019.
-
Novel $B$-decay signatures of light scalars at high energy facilities
Authors:
Andrew Blance,
Mikael Chala,
Maria Ramos,
Michael Spannowsky
Abstract:
We study the phenomenology of light scalars of masses $m_1$ and $m_2$ coupling to heavy flavour-violating vector bosons of mass $m_V$. For $m_{1,2}\lesssim $ few GeV, this scenario triggers the rare $B$ meson decays $B_s^0\to 3μ^+ 3μ^-$, $B^0\to 3μ^+ 3μ^-$, $B^+\to K^+ 3μ^+ 3μ^-$ and $B_s^0\to K^{0*} 3μ^+ 3μ^-$; the last two being the most important ones for $m_1\sim m_2$. None of these signals ha…
▽ More
We study the phenomenology of light scalars of masses $m_1$ and $m_2$ coupling to heavy flavour-violating vector bosons of mass $m_V$. For $m_{1,2}\lesssim $ few GeV, this scenario triggers the rare $B$ meson decays $B_s^0\to 3μ^+ 3μ^-$, $B^0\to 3μ^+ 3μ^-$, $B^+\to K^+ 3μ^+ 3μ^-$ and $B_s^0\to K^{0*} 3μ^+ 3μ^-$; the last two being the most important ones for $m_1\sim m_2$. None of these signals has been studied experimentally; therefore we propose analyses to test these channels at the LHCb. We demonstrate that the reach of this facility extends to branching ratios as small as $6.0\times 10^{-9}$, $1.6\times 10^{-9}$, $5.9\times 10^{-9}$ and $1.8\times 10^{-8}$ for the aforementioned channels, respectively. For $m_{1,2}\gg \mathcal{O}(1)$ GeV, we show that slightly modified versions of current multilepton and multitau searches at the LHC can probe wide regions of the parameter space of this scenario. Altogether, the potential of the searches we propose outperform other constraints such as those from meson mixing.
△ Less
Submitted 30 July, 2019;
originally announced July 2019.
-
Online Topology Identification from Vector Autoregressive Time Series
Authors:
Bakht Zaman,
Luis Miguel Lopez Ramos,
Daniel Romero,
Baltasar Beferull-Lozano
Abstract:
Causality graphs are routinely estimated in social sciences, natural sciences, and engineering due to their capacity to efficiently represent the spatiotemporal structure of multivariate data sets in a format amenable for human interpretation, forecasting, and anomaly detection. A popular approach to mathematically formalize causality is based on vector autoregressive (VAR) models and constitutes…
▽ More
Causality graphs are routinely estimated in social sciences, natural sciences, and engineering due to their capacity to efficiently represent the spatiotemporal structure of multivariate data sets in a format amenable for human interpretation, forecasting, and anomaly detection. A popular approach to mathematically formalize causality is based on vector autoregressive (VAR) models and constitutes an alternative to the well-known, yet usually intractable, Granger causality. Relying on such a VAR causality notion, this paper develops two algorithms with complementary benefits to track time-varying causality graphs in an online fashion. Their constant complexity per update also renders these algorithms appealing for big-data scenarios. Despite using data sequentially, both algorithms are shown to asymptotically attain the same average performance as a batch estimator which uses the entire data set at once. To this end, sublinear (static) regret bounds are established. Performance is also characterized in time-varying setups by means of dynamic regret analysis. Numerical results with real and synthetic data further support the merits of the proposed algorithms in static and dynamic scenarios.
△ Less
Submitted 13 November, 2020; v1 submitted 3 April, 2019;
originally announced April 2019.
-
Rama: Controller Fault Tolerance in Software-Defined Networking Made Practical
Authors:
André Mantas,
Fernando M. V. Ramos
Abstract:
In Software-Defined Networking (SDN), network applications use the logically centralized network view provided by the controller to remotely orchestrate the network switches. To avoid the controller being a single point of failure, traditional fault-tolerance techniques are employed to guarantee availability, a fundamental requirement in production environments. Unfortunately, these techniques fal…
▽ More
In Software-Defined Networking (SDN), network applications use the logically centralized network view provided by the controller to remotely orchestrate the network switches. To avoid the controller being a single point of failure, traditional fault-tolerance techniques are employed to guarantee availability, a fundamental requirement in production environments. Unfortunately, these techniques fall short of ensuring correct network behaviour under controller failures. The problem of these techniques is that they deal with only part of the problem: guaranteeing that application and controller state remains consistent between replicas. However, in an SDN the switches maintain hard state that must also be handled consistently. Fault-tolerant SDN must therefore include switch state into the problem. A recently proposed fault-tolerant controller platform, Ravana, solves this problem by extending fault-tolerant SDN control with mechanisms that guarantee control messages to be processed transactionally and exactly once, at both the controllers and the switches. These guarantees are given even in the face of controller and switch crashes. The elegance of this solution comes at a cost. Ravana requires switches to be modified and OpenFlow to be extended with hitherto unforeseen additions to the protocol. In face of this challenge we propose Rama, a fault-tolerant SDN controller platform that offers the same strong guarantees as Ravana without requiring modifications to switches or to the OpenFlow protocol. Experiments with our prototype implementation show the additional overhead to be modest, making Rama the first fault-tolerant SDN solution that can be immediately deployable.
△ Less
Submitted 5 February, 2019;
originally announced February 2019.
-
Tracking the connection between disorder and energy landscape in glasses using geologically hyperaged amber
Authors:
E. A. A. Pogna,
A. I. Chumakov,
C. Ferrante,
M. A. Ramos,
T. Scopigno
Abstract:
Fossil amber offers the unique opportunity of investigating an amorphous material which has been exploring its energy landscape for more than 110 Myears of natural aging. By applying different x-ray scattering methods to amber before and after annealing the sample to erase its thermal history, we identify a link between the potential energy landscape and the structural and vibrational properties o…
▽ More
Fossil amber offers the unique opportunity of investigating an amorphous material which has been exploring its energy landscape for more than 110 Myears of natural aging. By applying different x-ray scattering methods to amber before and after annealing the sample to erase its thermal history, we identify a link between the potential energy landscape and the structural and vibrational properties of glasses. We find that hyperaging induces a depletion of the vibrational density of states in the THz region, also ruling the sound dispersion and attenuation properties of the corresponding acoustic waves. Critically, this is accompanied by a densification with structural implications different in nature from that caused by hydrostatic compression. Our results, rationalized within the framework of fluctuating elasticity theory, reveal how upon approaching the bottom of the potential energy landscape (9% decrease in the fictive temperature $T_f$) the elastic matrix becomes increasingly less disordered (6%) and longer-range correlated (22%).
△ Less
Submitted 29 January, 2019;
originally announced January 2019.
-
Emergence of glassy features in halomethane crystals
Authors:
Manuel Moratalla,
Jonathan F. Gebbia,
Miguel Angel Ramos,
Luis Carlos Pardo,
Sanghamitra Mukhopadhyay,
Svemir Rudić,
Felix Fernandez-Alonso,
Francisco Javier Bermejo,
Josep Lluis Tamarit
Abstract:
Both structural glasses and disordered crystals are known to exhibit anomalous thermal, vibrational, and acoustic properties at low temperatures or low energies, what is still a matter of lively debate. To shed light on this issue, we studied the halomethane family C-Br_n-Cl_4-n (n = 0,1,2) at low temperature where, despite being perfectly translationally ordered stable monoclinic crystals, glassy…
▽ More
Both structural glasses and disordered crystals are known to exhibit anomalous thermal, vibrational, and acoustic properties at low temperatures or low energies, what is still a matter of lively debate. To shed light on this issue, we studied the halomethane family C-Br_n-Cl_4-n (n = 0,1,2) at low temperature where, despite being perfectly translationally ordered stable monoclinic crystals, glassy dynamical features had been reported from experiments and molecular dynamics simulations. For n = 1,2 dynamic disorder originates by the random occupancy of the same lattice sites by either Cl or Br atoms, but not for the ideal reference case of CCl4. Measurements of the low-temperature specific heat (Cp) for all these materials are here reported, which provide evidence of the presence of a broad peak in Debye-reduced Cp/T^3 and in the reduced density of states g(w)/w^2 determined by means of neutron spectroscopy, as well as a linear term in Cp usually ascribed in glasses to two-level systems in addition to the cubic term expected for a fully ordered crystal. Being CCl4 a fully ordered crystal, we also performed density functional theory (DFT) calculations, which provide unprecedented detailed information about the microscopic nature of vibrations responsible for that broad peak, much alike the boson peak of glasses, finding it to essentially arise from a piling up (at around 3 - 4 meV) of low-energy optical modes together with acoustic modes near the Brillouin-zone limits.
△ Less
Submitted 8 January, 2019;
originally announced January 2019.
-
Location-free Spectrum Cartography
Authors:
Yves Teganya,
Daniel Romero,
Luis Miguel Lopez Ramos,
Baltasar Beferull-Lozano
Abstract:
Spectrum cartography constructs maps of metrics such as channel gain or received signal power across a geographic area of interest using spatially distributed sensor measurements. Applications of these maps include network planning, interference coordination, power control, localization, and cognitive radios to name a few. Since existing spectrum cartography techniques require accurate estimates o…
▽ More
Spectrum cartography constructs maps of metrics such as channel gain or received signal power across a geographic area of interest using spatially distributed sensor measurements. Applications of these maps include network planning, interference coordination, power control, localization, and cognitive radios to name a few. Since existing spectrum cartography techniques require accurate estimates of the sensor locations, their performance is drastically impaired by multipath affecting the positioning pilot signals, as occurs in indoor or dense urban scenarios. To overcome such a limitation, this paper introduces a novel paradigm for spectrum cartography, where estimation of spectral maps relies on features of these positioning signals rather than on location estimates. Specific learning algorithms are built upon this approach and offer a markedly improved estimation performance than existing approaches relying on localization, as demonstrated by simulation studies in indoor scenarios.
△ Less
Submitted 9 May, 2019; v1 submitted 30 December, 2018;
originally announced December 2018.
-
Gravitational wave and collider probes of a triplet Higgs sector with a low cutoff
Authors:
Mikael Chala,
Maria Ramos,
Michael Spannowsky
Abstract:
We study the scalar triplet extension of the standard model with a low cutoff, preventing large corrections to the quadratic masses that would otherwise worsen the hierarchy problem. We explore the reach of LISA to test the parameter space region of the scalar potential (not yet excluded by Higgs to diphoton measurements) in which the electroweak phase transition is strongly first-order and produc…
▽ More
We study the scalar triplet extension of the standard model with a low cutoff, preventing large corrections to the quadratic masses that would otherwise worsen the hierarchy problem. We explore the reach of LISA to test the parameter space region of the scalar potential (not yet excluded by Higgs to diphoton measurements) in which the electroweak phase transition is strongly first-order and produces sizeable gravitational waves. We also demonstrate that the collider phenomenology of the model is drastically different from its renormalizable counterpart. We study the reach of the LHC in ongoing searches and project bounds for the HL-LHC. Likewise, we develop a dedicated analysis to test the key but still unexplored signature of pair-production of charged scalars decaying to third-generation quarks: $pp\rightarrow t\overline{b} (\overline{t}b), b\overline{b}$. These results apply straightforwardly to other extensions of the Higgs sector such as the 2HDM/MSSM.
△ Less
Submitted 6 March, 2019; v1 submitted 5 December, 2018;
originally announced December 2018.
-
Opinion Dynamics on Networks under Correlated Disordered External Perturbations
Authors:
Marlon Ramos,
Marcus A. M. de Aguiar,
Dan Braha
Abstract:
We study an influence network of voters subjected to correlated disordered external perturbations, and solve the dynamical equations exactly for fully connected networks. The model has a critical phase transition between disordered unimodal and ordered bimodal distribution states, characterized by an increase in the vote-share variability of the equilibrium distributions. The random heterogeneitie…
▽ More
We study an influence network of voters subjected to correlated disordered external perturbations, and solve the dynamical equations exactly for fully connected networks. The model has a critical phase transition between disordered unimodal and ordered bimodal distribution states, characterized by an increase in the vote-share variability of the equilibrium distributions. The random heterogeneities in the external perturbations are shown to affect the critical behavior of the network relative to networks without disorder. The size of the shift in the critical behavior essentially depends on the total fluctuation of the external influence disorder. Furthermore, the external perturbation disorder also has the surprising effect of amplifying the expected support of an already biased opinion. We show analytically that the vote-share variability is directly related to the external influence fluctuations. We extend our analysis by considering a fat-tailed multivariate lognormal disorder, and present numerical simulations that confirm our analytical results. Simulations for other network topologies demonstrate the generalizability of our findings. Understanding the dynamic response of complex systems to disordered external perturbations could account for a wide variety of networked systems, from social networks and financial markets to amorphous magnetic spins and population genetics.
△ Less
Submitted 27 March, 2018;
originally announced March 2018.
-
On the well-posedness of a multiscale mathematical model for Lithium-ion batteries
Authors:
Jesús Ildefonso Díaz,
David Gómez-Castro,
Angel Manuel Ramos
Abstract:
We consider the mathematical treatment of a system of nonlinear partial differential equations based on a model, proposed in 1972 by J. Newman, in which the coupling between the Lithium concentration, the phase potentials and temperature in the electrodes and the electrolyte of a Lithium battery cell is considered. After introducing some functional spaces well-adapted to our framework we obtain so…
▽ More
We consider the mathematical treatment of a system of nonlinear partial differential equations based on a model, proposed in 1972 by J. Newman, in which the coupling between the Lithium concentration, the phase potentials and temperature in the electrodes and the electrolyte of a Lithium battery cell is considered. After introducing some functional spaces well-adapted to our framework we obtain some rigorous results showing the well-posedness of the system, first for some short time and then, by considering some hypothesis on the nonlinearities, globally in time. As far as we know, this is the first result in the literature proving existence in time of the full Newman model, which follows previous results by the third author in 2016 regarding a simplified case.
△ Less
Submitted 18 February, 2018;
originally announced February 2018.
-
Impact of network randomness on multiple opinion dynamics
Authors:
Vivian Dornelas,
Marlon Ramos,
Celia Anteneodo
Abstract:
People often face the challenge of choosing among different options with similar attractiveness. To study the distribution of preferences that emerge in such situations, a useful approach is to simulate opinion dynamics on top of complex networks, composed by nodes (individuals) and their connections (edges), where the state of each node can be one amongst several opinions including the undecided…
▽ More
People often face the challenge of choosing among different options with similar attractiveness. To study the distribution of preferences that emerge in such situations, a useful approach is to simulate opinion dynamics on top of complex networks, composed by nodes (individuals) and their connections (edges), where the state of each node can be one amongst several opinions including the undecided state. We use two different dynamics rules: the one proposed by Travieso-Fontoura (TF) and the plurality rule (PR), which are paradigmatic of outflow and inflow dynamics, respectively. We are specially interested in the impact of the network randomness on the final distribution of opinions. For that purpose, we consider Watts-Strogatz networks, which possess the small-world property, and where randomness is controlled by a probability $p$ of adding random shortcuts to an initially regular network. Depending on the value of $p$, the average connectivity $\langle k \rangle$, and the initial conditions, the final distribution can be basically (i) consensus, (ii) coexistence of different options, or (iii) predominance of indecision. We find that, in both dynamics, the predominance of a winning opinion is favored by increasing the number of reconnections (shortcuts), promoting consensus. In contrast to the TF case, in the PR dynamics, a fraction of undecided nodes can persist in the final state. In such cases, a maximum number of undecided nodes occurs within the small-world region, due to ties in the decision group.
△ Less
Submitted 7 January, 2018;
originally announced January 2018.
-
Glassy anomalies in the low-temperature thermal properties of a minimally disordered crystalline solid
Authors:
J. F. Gebbia,
M. A. Ramos,
D. Szewczyk,
A. Jezowski,
A. I. Krivchikov,
Y. V. Horbatenko,
T. Guidi,
F. J. Bermejo,
J. Ll. Tamarit
Abstract:
The low-temperature thermal and transport properties of an unusual kind of crystal exhibiting minimal molecular positional and tilting disorder have been measured. The material, namely, low-dimensional, highly anisotropic pentachloronitrobenzene (PCNB) has a layered structure of rhombohedral parallel planes in which the molecules execute large-amplitude in-plane as well as concurrent out-of-plane…
▽ More
The low-temperature thermal and transport properties of an unusual kind of crystal exhibiting minimal molecular positional and tilting disorder have been measured. The material, namely, low-dimensional, highly anisotropic pentachloronitrobenzene (PCNB) has a layered structure of rhombohedral parallel planes in which the molecules execute large-amplitude in-plane as well as concurrent out-of-plane librational motions. Our study reveals that low-temperature glassy anomalies can be found in a system with minimal disorder due to the freezing of (mostly in-plane) reorientational jumps of molecules between equivalent crystallographic positions with partial site occupation. Our findings will pave the way to a deeper understanding of the origin of above-mentioned universal glassy properties at low temperature.
△ Less
Submitted 30 November, 2017;
originally announced December 2017.
-
Thermodynamic and kinetic fragility of Freon113: the most fragile plastic crystal
Authors:
A. Vispa,
M. Romanini,
M. A. Ramos,
L. C. Pardo,
F. J. Bermejo,
M. Hassaine,
A. I. Krivchikov,
J. W. Taylor,
J. Ll. Tamarit
Abstract:
We present a dynamic and thermodynamic study of the orientational glass former Freon113 (CCl2F-CClF2) in order to analyze its kinetic and thermodynamic fragilities. Freon113 displays internal molecular degrees of freedom which promote a complex energy landscape. Experimental specific heat and its microscopic origin, the vibrational density of states from inelastic neutron scattering, together with…
▽ More
We present a dynamic and thermodynamic study of the orientational glass former Freon113 (CCl2F-CClF2) in order to analyze its kinetic and thermodynamic fragilities. Freon113 displays internal molecular degrees of freedom which promote a complex energy landscape. Experimental specific heat and its microscopic origin, the vibrational density of states from inelastic neutron scattering, together with the orientational dynamics obtained by means of dielectric spectroscopy have revealed the highest fragility value, both thermodynamic and kinetic, found for this orientational glass former. The excess in both Debye-reduced specific heat and density of states (boson peak) evidences the existence of glassy low-energy excitations. We demonstrate that early proposed correlations between the boson peak and the Debye specific heat value are elusive as revealed by the clear counterexample of the studied case.
△ Less
Submitted 30 November, 2017;
originally announced December 2017.
-
ANCHOR: logically-centralized security for Software-Defined Networks
Authors:
Diego Kreutz,
Jiangshan Yu,
Fernando M. V. Ramos,
Paulo Esteves-Verissimo
Abstract:
While the centralization of SDN brought advantages such as a faster pace of innovation, it also disrupted some of the natural defenses of traditional architectures against different threats. The literature on SDN has mostly been concerned with the functional side, despite some specific works concerning non-functional properties like 'security' or 'dependability'. Though addressing the latter in an…
▽ More
While the centralization of SDN brought advantages such as a faster pace of innovation, it also disrupted some of the natural defenses of traditional architectures against different threats. The literature on SDN has mostly been concerned with the functional side, despite some specific works concerning non-functional properties like 'security' or 'dependability'. Though addressing the latter in an ad-hoc, piecemeal way, may work, it will most likely lead to efficiency and effectiveness problems. We claim that the enforcement of non-functional properties as a pillar of SDN robustness calls for a systemic approach. As a general concept, we propose ANCHOR, a subsystem architecture that promotes the logical centralization of non-functional properties. To show the effectiveness of the concept, we focus on 'security' in this paper: we identify the current security gaps in SDNs and we populate the architecture middleware with the appropriate security mechanisms, in a global and consistent manner. Essential security mechanisms provided by anchor include reliable entropy and resilient pseudo-random generators, and protocols for secure registration and association of SDN devices. We claim and justify in the paper that centralizing such mechanisms is key for their effectiveness, by allowing us to: define and enforce global policies for those properties; reduce the complexity of controllers and forwarding devices; ensure higher levels of robustness for critical services; foster interoperability of the non-functional property enforcement mechanisms; and promote the security and resilience of the architecture itself. We discuss design and implementation aspects, and we prove and evaluate our algorithms and mechanisms, including the formalisation of the main protocols and the verification of their core security properties using the Tamarin prover.
△ Less
Submitted 31 December, 2018; v1 submitted 9 November, 2017;
originally announced November 2017.
-
Baryogenesis in Nonminimally Coupled $f(R)$ Theories
Authors:
M. P. L. P. Ramos,
J. Páramos
Abstract:
We generalize the mechanism for gravitational baryogensis in the context of $f(R)$ theories of gravity, including a nonminimal coupling between curvature and matter. In these models, the baryon asymmetry is generated through an effective coupling between the Ricci scalar curvature and the net baryon current that dynamically breaks Charge Conjugation, Parity and Time Reversal (CPT) invariance. We s…
▽ More
We generalize the mechanism for gravitational baryogensis in the context of $f(R)$ theories of gravity, including a nonminimal coupling between curvature and matter. In these models, the baryon asymmetry is generated through an effective coupling between the Ricci scalar curvature and the net baryon current that dynamically breaks Charge Conjugation, Parity and Time Reversal (CPT) invariance. We study the combinations of characteristic mass scales and exponents for both non-trivial functions present in the modified action functional and establish the allowed region for these parameters: we find that very small deviations from General Relativity are consistent with the observed baryon asymmetry and lead to temperatures compatible with the subsequent formation of the primordial abundances of light elements. In particular, we show the viability of a power-law nonminimal coupling function $f_2(R) \sim R^n$ with $ 0 < n \lesssim 0.078 $ and determine its characteristic curvature scale.
△ Less
Submitted 18 November, 2017; v1 submitted 13 September, 2017;
originally announced September 2017.
-
Registering the evolutionary history in individual-based models of speciation
Authors:
Carolina L. N. Costa,
Flavia M. D. Marquitti,
S. Ivan Perez,
David M. Schneider,
Marlon F. Ramos,
Marcus A. M. de Aguiar
Abstract:
Understanding the emergence of biodiversity patterns in nature is a central problem in biology. Theoretical models of speciation have addressed this question in the macroecological scale, but little has been investigated in the macroevolutionary context. Knowledge of the evolutionary history allows the study of patterns underlying the processes considered in these models, revealing their signature…
▽ More
Understanding the emergence of biodiversity patterns in nature is a central problem in biology. Theoretical models of speciation have addressed this question in the macroecological scale, but little has been investigated in the macroevolutionary context. Knowledge of the evolutionary history allows the study of patterns underlying the processes considered in these models, revealing their signatures and the role of speciation and extinction in sha** macroevolutionary patterns. In this paper we introduce two algorithms to record the evolutionary history of populations in individual-based models of speciation, from which genealogies and phylogenies can be constructed. The first algorithm relies on saving ancestral-descendant relationships, generating a matrix that contains the times to the most recent common ancestor between all pairs of individuals at every generation (the Most Recent Common Ancestor Time matrix, MRCAT). The second algorithm directly records all speciation and extinction events throughout the evolutionary process, generating a matrix with the true phylogeny of species (the Sequential Speciation and Extinction Events, SSEE). We illustrate the use of these algorithms in a spatially explicit individual-based model of speciation. We compare the trees generated via MRCAT and SSEE algorithms with trees inferred by methods that use only genetic distance among extant species, commonly used in empirical studies and applied here to simulated genetic data. Comparisons between tress are performed with metrics describing the overall topology, branch length distribution and imbalance of trees. We observe that both MRCAT and distance-based trees differ from the true phylogeny, with the first being closer to the true tree than the second.
△ Less
Submitted 19 December, 2017; v1 submitted 13 September, 2017;
originally announced September 2017.
-
AngularJS Performance: A Survey Study
Authors:
Miguel Ramos,
Marco Tulio Valente,
Ricardo Terra
Abstract:
AngularJS is a popular JavaScript MVC-based framework to construct single-page web applications. In this paper, we report the results of a survey with 95 professional developers about performance issues of AngularJS applications. We report common practices followed by developers to avoid performance problems (e.g., use of third-party or custom components), the general causes of performance problem…
▽ More
AngularJS is a popular JavaScript MVC-based framework to construct single-page web applications. In this paper, we report the results of a survey with 95 professional developers about performance issues of AngularJS applications. We report common practices followed by developers to avoid performance problems (e.g., use of third-party or custom components), the general causes of performance problems in AngularJS applications (e.g., inadequate architecture decisions taken by AngularJS users), and the technical and specific causes of performance problems (e.g., unnecessary processing included in the digest cycle, which is the internal computation that automatically updates the view with changes detected in the model).
△ Less
Submitted 6 May, 2017;
originally announced May 2017.
-
Calorimetric Measurements at Low Temperatures in Toluene Glass and Crystal
Authors:
C. Alvarez-Ney,
J. Labarga,
M. Moratalla,
J. M. Castilla,
M. A. Ramos
Abstract:
The specific heat of toluene in glass and crystal states, has been measured both at low temperatures down to 1.8 K (using the thermal relaxation method) and in a wide temperature range up to the liquid state (using a quasiadiabatic continuous method). Our measurements therefore extend earlier published data to much lower temperatures, thereby allowing to explore the low temperature glassy anomalie…
▽ More
The specific heat of toluene in glass and crystal states, has been measured both at low temperatures down to 1.8 K (using the thermal relaxation method) and in a wide temperature range up to the liquid state (using a quasiadiabatic continuous method). Our measurements therefore extend earlier published data to much lower temperatures, thereby allowing to explore the low temperature glassy anomalies in the case of toluene. Surprisingly, no indication of the existence of tunneling states is found, at least within the temperature range studied. At moderate temperatures, our data either for the glass or for the crystal show good agreement with those found in the literature. Also, we have been able to prepare bulk samples of toluene glass by only do** with 2% mol ethanol instead of with higher impurity doses used by other authors.
△ Less
Submitted 7 March, 2017;
originally announced March 2017.
-
Secure Multi-Cloud Virtual Network Embedding
Authors:
Max Alaluna,
Luís Ferrolho,
José Rui Figueira,
Nuno Neves,
Fernando M. V. Ramos
Abstract:
Modern network virtualization platforms enable users to specify custom topologies and arbitrary addressing schemes for their virtual networks. These platforms have, however, been targeting the data center of a single provider, which is insufficient to support (critical) applications that need to be deployed across multiple trust domains, while enforcing diverse security requirements. This paper ad…
▽ More
Modern network virtualization platforms enable users to specify custom topologies and arbitrary addressing schemes for their virtual networks. These platforms have, however, been targeting the data center of a single provider, which is insufficient to support (critical) applications that need to be deployed across multiple trust domains, while enforcing diverse security requirements. This paper addresses this limitation by presenting a novel solution for the central resource allocation problem of network virtualization -- the virtual network embedding, which aims to find efficient map**s of virtual network requests onto the substrate network. We improve over the state-of-the-art by considering security as a first-class citizen of virtual networks, while enhancing the substrate infrastructure with resources from multiple cloud providers. Our solution enables the definition of flexible policies in three core elements: on the virtual links, where alternative security compromises can be explored (e.g., encryption); on the virtual switches, supporting various degrees of protection and redundancy if necessary; and on the substrate infrastructure, extending it across multiple clouds, including public and private facilities, with their inherently diverse trust levels associated. We propose an optimal solution to this problem formulated as a Mixed Integer Linear Program (MILP). The results of our evaluation give insight into the trade-offs associated with the inclusion of security demands into network virtualization. In particular, they provide evidence that enhancing the user's virtual networks with security does not preclude high acceptance rates and an efficient use of resources, and allows providers to increase their revenues.
△ Less
Submitted 6 October, 2018; v1 submitted 3 March, 2017;
originally announced March 2017.
-
The KISS principle in Software-Defined Networking: An architecture for Kee** It Simple and Secure
Authors:
Diego Kreutz,
Jiangshan Yu,
Paulo Esteves-Verissimo,
Catia Magalhaes,
Fernando M. V. Ramos
Abstract:
Security is an increasingly fundamental requirement in Software-Defined Networking (SDN). However, the pace of adoption of secure mechanisms has been slow, which we estimate to be a consequence of the performance overhead of traditional solutions and of the complexity of the support infrastructure required. As a first step to addressing these problems, we propose a modular secure SDN control plane…
▽ More
Security is an increasingly fundamental requirement in Software-Defined Networking (SDN). However, the pace of adoption of secure mechanisms has been slow, which we estimate to be a consequence of the performance overhead of traditional solutions and of the complexity of the support infrastructure required. As a first step to addressing these problems, we propose a modular secure SDN control plane communications architecture, KISS, with innovative solutions in the context of key distribution and secure channel support. A comparative analysis of the performance impact of essential security primitives guided our selection of basic primitives for KISS. We further propose iDVV, the integrated device verification value, a deterministic but indistinguishable-from-random secret code generation protocol, allowing the local but synchronized generation/verification of keys at both ends of the channel, even on a per-message basis. iDVV is expected to give an important contribution both to the robustness and simplification of the authentication and secure communication problems in SDN.
We show that our solution, while offering the same security properties, outperforms reference alternatives, with performance improvements up to 30% over OpenSSL, and improvement in robustness based on a code footprint one order of magnitude smaller. Finally, we also prove and test randomness of the proposed algorithms.
△ Less
Submitted 2 November, 2017; v1 submitted 14 February, 2017;
originally announced February 2017.
-
Analytical model of atomic-force-microscopy force curves in viscoelastic materials exhibiting power law relaxation
Authors:
J. S. de Sousa,
J. A. C. Santos,
E. B. Barros,
J. Mendes Filho,
L . M. R. Alencar,
W. T. Cruz,
M. V. Ramos
Abstract:
We propose an analytical model for the force-indentation relationship in viscoelastic materials exhibiting a power law relaxation described by an exponent n, where n = 1 represents the standard viscoelastic solid (SLS) model, and n < 1 represents a fractional SLS model. To validate the model, we perform nanoindentation measurements of poylacrylamide gels with atomic force microscopy (AFM) force cu…
▽ More
We propose an analytical model for the force-indentation relationship in viscoelastic materials exhibiting a power law relaxation described by an exponent n, where n = 1 represents the standard viscoelastic solid (SLS) model, and n < 1 represents a fractional SLS model. To validate the model, we perform nanoindentation measurements of poylacrylamide gels with atomic force microscopy (AFM) force curves. We found exponents n < 1 that depends on the bysacrylamide concentration. We also demonstrate that the fitting of AFM force curves for varying load speeds can reproduce the dynamic viscoelastic properties of those gels measured with dynamic force modulation methods.
△ Less
Submitted 23 October, 2016;
originally announced October 2016.
-
AngularJS in the Wild: A Survey with 460 Developers
Authors:
Miguel Ramos,
Marco Tulio Valente,
Ricardo Terra,
Gustavo Santos
Abstract:
To implement modern web applications, a new family of JavaScript frameworks has emerged, using the MVC pattern. Among these frameworks, the most popular one is AngularJS, which is supported by Google. In spite of its popularity, there is not a clear knowledge on how AngularJS design and features affect the development experience of Web applications. Therefore, this paper reports the results of a s…
▽ More
To implement modern web applications, a new family of JavaScript frameworks has emerged, using the MVC pattern. Among these frameworks, the most popular one is AngularJS, which is supported by Google. In spite of its popularity, there is not a clear knowledge on how AngularJS design and features affect the development experience of Web applications. Therefore, this paper reports the results of a survey about AngularJS, including answers from 460 developers. Our contributions include the identification of the most appreciated features of AngularJS (e.g., custom interface components, dependency injection, and two-way data binding) and the most problematic aspects of the framework (e.g., performance and implementation of directives).
△ Less
Submitted 27 September, 2016; v1 submitted 5 August, 2016;
originally announced August 2016.
-
Real-time cosmography with redshift derivatives
Authors:
C. J. A. P. Martins,
M. Martinelli,
E. Calabrese,
M. P. L. P. Ramos
Abstract:
The drift in the redshift of objects passively following the cosmological expansion has long been recognized as a key model-independent probe of cosmology. Here, we study the cosmological relevance of measurements of time or redshift derivatives of this drift, arguing that the combination of first and second redshift derivatives is a powerful test of the $Λ$CDM cosmological model. In particular, t…
▽ More
The drift in the redshift of objects passively following the cosmological expansion has long been recognized as a key model-independent probe of cosmology. Here, we study the cosmological relevance of measurements of time or redshift derivatives of this drift, arguing that the combination of first and second redshift derivatives is a powerful test of the $Λ$CDM cosmological model. In particular, the latter can be obtained numerically from a set of measurements of the drift at different redshifts. We show that, in the low-redshift limit, a measurement of the derivative of the drift can provide a constraint on the jerk parameter, which is $j=1$ for flat $Λ$CDM, while generically $j\neq1$ for other models. We emphasize that such a measurement is well within the reach of the ELT-HIRES and SKA Phase 2 array surveys.
△ Less
Submitted 26 August, 2016; v1 submitted 23 June, 2016;
originally announced June 2016.
-
Role of the plurality rule in multiple choices
Authors:
Angelo M. Calvão,
Marlon Ramos,
Celia Anteneodo
Abstract:
People are often challenged to select one among several alternatives. This situation is present not only in decisions about complex issues, e.g., political or academic choices, but also about trivial ones, as in daily purchases at a supermarket. We tackle this scenario by means of the tools of statistical mechanics. Following this approach, we introduce and analyze a model of opinion dynamics, usi…
▽ More
People are often challenged to select one among several alternatives. This situation is present not only in decisions about complex issues, e.g., political or academic choices, but also about trivial ones, as in daily purchases at a supermarket. We tackle this scenario by means of the tools of statistical mechanics. Following this approach, we introduce and analyze a model of opinion dynamics, using a Potts-like state variable to represent the multiple choices, including the ``undecided state'', that represents the individuals that do not make a choice. We investigate the dynamics over Erdös-Rényi and Barabási-Albert networks, two paradigmatic classes with the small-world property, and we show the impact of the type of network on the opinion dynamics. Depending on the number of available options $q$ and on the degree distribution of the network of contacts, different final steady states are accessible: from a wide distribution of choices to a state where a given option largely dominates. The abrupt transition between them is consistent with the sudden viral dominance of a given option over many similar ones. Moreover, the probability distributions produced by the model are validated by real data. Finally, we show that the model also contemplates the real situation of overchoice, where a large number of similar alternatives makes the choice process harder and indecision prevail.
△ Less
Submitted 26 April, 2016;
originally announced June 2016.
-
An SDN-based approach to enhance BGP security
Authors:
Regivaldo Costa,
Fernando M. V. Ramos
Abstract:
BGP is vulnerable to a series of attacks. Many solutions have been proposed in the past two decades, but the most effective remain largely undeployed. This is due to three fundamental reasons: the solutions are too computationally expensive for current routers, they require changes to BGP, and/or they do not give the right incentives to promote deployment.
In this abstract we propose a Software-…
▽ More
BGP is vulnerable to a series of attacks. Many solutions have been proposed in the past two decades, but the most effective remain largely undeployed. This is due to three fundamental reasons: the solutions are too computationally expensive for current routers, they require changes to BGP, and/or they do not give the right incentives to promote deployment.
In this abstract we propose a Software-Defined Networking (SDN) architecture to secure BGP routing. Our solution, BGPSecX, targets an IXP and it includes techniques to allow different IXPs to collaborate. With SDN we remove the computational burden from routers and do not make changes to BGP. Targeting IXPs and promoting inter-IXP collaboration enables the creation of incentives to foster adoption of BGP security services.
△ Less
Submitted 12 March, 2016; v1 submitted 7 February, 2016;
originally announced February 2016.
-
Consistent and fault-tolerant SDN with unmodified switches
Authors:
André Mantas,
Fernando M. V. Ramos
Abstract:
In a reliable SDN environment, different controllers coordinate different switches and backup controllers can be set in place to tolerate faults. This approach increases the challenge to maintain a consistent network view. If this global view is not consistent with the actual network state, applications will operate on a stale state and potentially lead to incorrect behavior.
Faced with this pro…
▽ More
In a reliable SDN environment, different controllers coordinate different switches and backup controllers can be set in place to tolerate faults. This approach increases the challenge to maintain a consistent network view. If this global view is not consistent with the actual network state, applications will operate on a stale state and potentially lead to incorrect behavior.
Faced with this problem, we propose a fault-tolerant SDN controller that is able to maintain a consistent network view by using transactional semantics on both control and data plane state. Different from previous proposals, our solution does not require changes to OpenFlow or to switches, increasing the chances of quicker adoption.
△ Less
Submitted 13 March, 2016; v1 submitted 12 February, 2016;
originally announced February 2016.
-
Secure and Dependable Virtual Network Embedding
Authors:
Luís Ferrolho,
Max Alaluna,
Nuno Neves,
Fernando M. V. Ramos
Abstract:
One of the fundamental problems in network virtualization is Virtual Network Embedding (VNE). The VNE problem deals with finding an effective map** of the virtual nodes & links onto the substrate network. The recent advances in network virtualization gave cloud operators the ability to extend their cloud computing offerings with virtual networks. This trend, jointly with the increasing evidence…
▽ More
One of the fundamental problems in network virtualization is Virtual Network Embedding (VNE). The VNE problem deals with finding an effective map** of the virtual nodes & links onto the substrate network. The recent advances in network virtualization gave cloud operators the ability to extend their cloud computing offerings with virtual networks. This trend, jointly with the increasing evidence of incidents in cloud facilities demonstrate that security and dependability is becoming a critical factor that should be considered by VNE algorithms. In this abstract we propose a VNE solution that considers security and dependability as first class citizens. The resiliency properties of our solution are enhanced by assuming a multiple cloud provider model.
△ Less
Submitted 6 February, 2016;
originally announced February 2016.
-
(Literally) above the clouds: virtualizing the network over multiple clouds
Authors:
Max Alaluna,
Fernando M. V. Ramos,
Nuno Neves
Abstract:
Recent SDN-based solutions give cloud providers the opportunity to extend their "as-a-service" model with the offer of complete network virtualization. They provide tenants with the freedom to specify the network topologies and addressing schemes of their choosing, while guaranteeing the required level of isolation among them. These platforms, however, have been targeting the datacenter of a singl…
▽ More
Recent SDN-based solutions give cloud providers the opportunity to extend their "as-a-service" model with the offer of complete network virtualization. They provide tenants with the freedom to specify the network topologies and addressing schemes of their choosing, while guaranteeing the required level of isolation among them. These platforms, however, have been targeting the datacenter of a single cloud provider with full control over the infrastructure.
This paper extends this concept further by supporting the creation of virtual networks that span across several datacenters, which may belong to distinct cloud providers, while including private facilities owned by the tenant. In order to achieve this, we introduce a new network layer above the existing cloud hypervisors, affording the necessary level of control over the communications while hiding the heterogeneity of the clouds. The benefits of this approach are various, such as enabling finer decisions on where to place the virtual machines (e.g., to fulfill legal requirements), avoiding single points of failure, and potentially decreasing costs. Although our focus in the paper is on architecture design, we also present experimental results of a first prototype of the proposed solution.
△ Less
Submitted 10 March, 2016; v1 submitted 3 December, 2015;
originally announced December 2015.
-
Medusa: An Efficient Cloud Fault-Tolerant MapReduce
Authors:
Pedro A. R. S. Costa,
Xiao Bai,
Fernando M. V. Ramos,
Miguel Correia
Abstract:
Applications such as web search and social networking have been moving from centralized to decentralized cloud architectures to improve their scalability. MapReduce, a programming framework for processing large amounts of data using thousands of machines in a single cloud, also needs to be scaled out to multiple clouds to adapt to this evolution. The challenge of building a multi-cloud distributed…
▽ More
Applications such as web search and social networking have been moving from centralized to decentralized cloud architectures to improve their scalability. MapReduce, a programming framework for processing large amounts of data using thousands of machines in a single cloud, also needs to be scaled out to multiple clouds to adapt to this evolution. The challenge of building a multi-cloud distributed architecture is substantial. Notwithstanding, the ability to deal with the new types of faults introduced by such setting, such as the outage of a whole datacenter or an arbitrary fault caused by a malicious cloud insider, increases the endeavor considerably.
In this paper we propose Medusa, a platform that allows MapReduce computations to scale out to multiple clouds and tolerate several types of faults. Our solution fulfills four objectives. First, it is transparent to the user, who writes her typical MapReduce application without modification. Second, it does not require any modification to the widely used Hadoop framework. Third, the proposed system goes well beyond the fault-tolerance offered by MapReduce to tolerate arbitrary faults, cloud outages, and even malicious faults caused by corrupt cloud insiders. Fourth, it achieves this increased level of fault tolerance at reasonable cost. We performed an extensive experimental evaluation in the ExoGENI testbed, demonstrating that our solution significantly reduces execution time when compared to traditional methods that achieve the same level of resilience.
△ Less
Submitted 23 November, 2015;
originally announced November 2015.
-
Formalization of context-free language theory
Authors:
Marcus V. M. Ramos,
Ruy J. G. B. de Queiroz,
Nelma Moreira,
José Carlos Bacelar Almeida
Abstract:
Context-free language theory is a subject of high importance in computer language processing technology as well as in formal language theory. This paper presents a formalization, using the Coq proof assistant, of fundamental results related to context-free grammars and languages. These include closure properties (union, concatenation and Kleene star), grammar simplification (elimination of useless…
▽ More
Context-free language theory is a subject of high importance in computer language processing technology as well as in formal language theory. This paper presents a formalization, using the Coq proof assistant, of fundamental results related to context-free grammars and languages. These include closure properties (union, concatenation and Kleene star), grammar simplification (elimination of useless symbols inaccessible symbols, empty rules and unit rules) and the existence of a Chomsky Normal Form for context-free grammars.
△ Less
Submitted 30 October, 2015;
originally announced October 2015.
-
Do Two-Level Systems and Boson Peak persist or vanish in hyperaged geological glasses of amber?
Authors:
Tomás Pérez-Castañeda,
Rafael J. Jiménez-Riobóo,
Miguel A. Ramos
Abstract:
In this work we extend, review and jointly discuss earlier experiments conducted by us in hyperaged geological glasses, either in Dominican amber (20 million years old) or in Spanish amber from El Soplao (110 million years old). After characterization of their thermodynamic and elastic properties (using Differential Scanning Calorimetry around the glass-transition temperature, and measuring mass d…
▽ More
In this work we extend, review and jointly discuss earlier experiments conducted by us in hyperaged geological glasses, either in Dominican amber (20 million years old) or in Spanish amber from El Soplao (110 million years old). After characterization of their thermodynamic and elastic properties (using Differential Scanning Calorimetry around the glass-transition temperature, and measuring mass density and sound velocity), their specific heat was measured at low and very low temperatures. By directly comparing pristine amber samples (i.e. highly stabilized polymer glasses after aging for millions of years) to the same samples after being totally or partially rejuvenated, we have found that the two most prominent universal anomalous low-temperature properties of glasses, namely the tunnelling two-level systems and the so-called boson peak, persist essentially unchanged in both types of hyperaged geological glasses. Therefore, non-Debye low-energy excitations of glasses appear to be robust, intrinsic properties of non-crystalline solids which do not vanish by accessing to very deep states in the potential energy landscape.
△ Less
Submitted 27 October, 2015;
originally announced October 2015.
-
Formalization of the pum** lemma for context-free languages
Authors:
Marcus V. M. Ramos,
Ruy J. G. B. de Queiroz,
Nelma Moreira,
José Carlos Bacelar Almeida
Abstract:
Context-free languages (CFLs) are highly important in computer language processing technology as well as in formal language theory. The Pum** Lemma is a property that is valid for all context-free languages, and is used to show the existence of non context-free languages. This paper presents a formalization, using the Coq proof assistant, of the Pum** Lemma for context-free languages.
Context-free languages (CFLs) are highly important in computer language processing technology as well as in formal language theory. The Pum** Lemma is a property that is valid for all context-free languages, and is used to show the existence of non context-free languages. This paper presents a formalization, using the Coq proof assistant, of the Pum** Lemma for context-free languages.
△ Less
Submitted 15 October, 2015;
originally announced October 2015.
-
Formalization of simplification for context-free grammars
Authors:
Marcus V. M. Ramos,
Ruy J. G. B. de Queiroz
Abstract:
Context-free grammar simplification is a subject of high importance in computer language processing technology as well as in formal language theory. This paper presents a formalization, using the Coq proof assistant, of the fact that general context-free grammars generate languages that can be also generated by simpler and equivalent context-free grammars. Namely, useless symbol elimination, inacc…
▽ More
Context-free grammar simplification is a subject of high importance in computer language processing technology as well as in formal language theory. This paper presents a formalization, using the Coq proof assistant, of the fact that general context-free grammars generate languages that can be also generated by simpler and equivalent context-free grammars. Namely, useless symbol elimination, inaccessible symbol elimination, unit rules elimination and empty rules elimination operations were described and proven correct with respect to the preservation of the language generated by the original grammar.
△ Less
Submitted 15 October, 2015; v1 submitted 7 September, 2015;
originally announced September 2015.
-
The Valence-Fluctuating Ground State of Plutonium
Authors:
M. Janoschek,
Pinaki Das,
B. Chakrabarti,
D. L. Abernathy,
M. D. Lumsden,
J. M. Lawrence,
J. D. Thompson,
G. H. Lander,
J. N. Mitchell,
S. Richmond,
M. Ramos,
F. Trouw,
J. -X. Zhu,
K. Haule,
G. Kotliar,
E. D. Bauer
Abstract:
A central issue in material science is to obtain understanding of the electronic correlations that control complex materials. Such electronic correlations frequently arise due to the competition of localized and itinerant electronic degrees of freedom. While the respective limits of well-localized or entirely itinerant ground states are well-understood, the intermediate regime that controls the fu…
▽ More
A central issue in material science is to obtain understanding of the electronic correlations that control complex materials. Such electronic correlations frequently arise due to the competition of localized and itinerant electronic degrees of freedom. While the respective limits of well-localized or entirely itinerant ground states are well-understood, the intermediate regime that controls the functional properties of complex materials continues to challenge theoretical understanding. We have used neutron spectroscopy to investigate plutonium, which is a prototypical material at the brink between bonding and non-bonding configurations. Our study reveals that the ground state of plutonium is governed by valence fluctuations, that is, a quantum-mechanical superposition of localized and itinerant electronic configurations as recently predicted by dynamical mean field theory. Our results not only resolve the long-standing controversy between experiment and theory on plutonium's magnetism, but also suggest an improved understanding of the effects of such electronic dichotomy in complex materials.
△ Less
Submitted 27 August, 2015;
originally announced August 2015.
-
Formalization of closure properties for context-free grammars
Authors:
Marcus V. M. Ramos,
Ruy J. G. B. de Queiroz
Abstract:
Context-free language theory is a well-established area of mathematics, relevant to computer science foundations and technology. This paper presents the preliminary results of an ongoing formalization project using context-free grammars and the Coq proof assistant. The results obtained so far include the representation of context-free grammars, the description of algorithms for some operations on…
▽ More
Context-free language theory is a well-established area of mathematics, relevant to computer science foundations and technology. This paper presents the preliminary results of an ongoing formalization project using context-free grammars and the Coq proof assistant. The results obtained so far include the representation of context-free grammars, the description of algorithms for some operations on them (union, concatenation and closure) and the proof of related theorems (e.g. the correctness of these algorithms). A brief survey of related works is presented, as well as plans for further development.
△ Less
Submitted 10 June, 2015;
originally announced June 2015.
-
On the well-posedness of a mathematical model for Lithium-ion batteries
Authors:
Angel Manuel Ramos
Abstract:
In this article we discuss the well-posedness of a mathematical model that is used in the literature for the simulation of Lithium-ion (Li-ion) batteries. First, a mathematical model based on a macro-homogeneous approach is presented, following previous works. Then it is showed, from a physical and a mathematical point of view, that a boundary condition widely used in the literature is not correct…
▽ More
In this article we discuss the well-posedness of a mathematical model that is used in the literature for the simulation of Lithium-ion (Li-ion) batteries. First, a mathematical model based on a macro-homogeneous approach is presented, following previous works. Then it is showed, from a physical and a mathematical point of view, that a boundary condition widely used in the literature is not correct. Although these errors could be just sign typos (that can be explained as carelessness over d/d$x$ versus d/d$n$, with $n$ the outward unit vector) and authors using this model probably use the correct boundary condition when they solve it in order to do simulations, readers should be aware of the right choice. Therefore, the deduction of the correct boundary condition and a mathematical study of the well-posedness of the corresponding problem is carried out here.
△ Less
Submitted 29 May, 2015;
originally announced June 2015.
-
Context-Free Language Theory Formalization
Authors:
Marcus Vinícius Midena Ramos,
Ruy J. G. B. de Queiroz
Abstract:
Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program development. Different tools are being increasingly used in order to accelerate and simplify proof checking. Context-free language theory is a well-established area of mathematics, relevant to computer science foundatio…
▽ More
Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program development. Different tools are being increasingly used in order to accelerate and simplify proof checking. Context-free language theory is a well-established area of mathematics, relevant to computer science foundations and technology. This proposal aims at formalizing parts of context-free language theory in the Coq proof assistant. This report presents the underlying theory and general characteristics of proof assistants, including Coq itself, discusses its use in relevant formalization projects, presents the current status of the implementation, addresses related projects and the contributions of this work. The results obtained so far include the formalization of closure properties for context-free grammars (under union, concatenation and closure) and the formalization of grammar simplification. Grammar simplification is a subject of high importance in computer language processing technology as well as in formal language theory, and the formalization refers to the fact that general context-free grammars generate languages that can be also generated by simpler and equivalent context-free grammars. Namely, useless symbol elimination, inaccessible symbol elimination, unit rules elimination and empty rules elimination operations were described and proven correct with respect to the preservation of the language generated by the original grammar.
△ Less
Submitted 30 April, 2015;
originally announced May 2015.
-
Some comments on the Butler-Volmer equation for modeling Lithium-ion batteries
Authors:
A. M. Ramos,
C. P. Please
Abstract:
In this article the Butler-Volmer equation used in describing Lithium-ion (Li-ion) batteries is discussed. First, a complete mathematical model based on a macro-homogeneous approach developed by Neuman is presented. Two common mistakes found in the literature regarding a sign in a boundary conditions and the use of the transfer coefficient are mentioned. The paper focuses on the form of the Butler…
▽ More
In this article the Butler-Volmer equation used in describing Lithium-ion (Li-ion) batteries is discussed. First, a complete mathematical model based on a macro-homogeneous approach developed by Neuman is presented. Two common mistakes found in the literature regarding a sign in a boundary conditions and the use of the transfer coefficient are mentioned. The paper focuses on the form of the Butler-Volmer equation in the model. It is shown how practical problems can be avoided by taking care in the form used, particularly to avoid difficulties when the solid particle in the electrodes approaches a fully charged or discharged state or the electrolyte gets depleted. This shows that the open circuit voltage and the exchange current density must depend on the lithium concentration in both the solid and the electrolyte in a particular way at the extremes of the concentration ranges.
△ Less
Submitted 19 March, 2015;
originally announced March 2015.
-
Sensitivity analysis and study of the mixing uniformity of a microfluidic mixer
Authors:
Benjamin Ivorra,
Juana López Redondo,
Ángel M. Ramos,
Juan G. Santiago
Abstract:
We consider a microfluidic mixer based on hydrodynamic focusing, which is used to initiate the folding process of individual proteins. The folding process is initiated by quickly diluting a local denaturant concentration, and we define mixing time as the time advecting proteins experience a specified to achieve a local drop in denaturant concentration. In previous work, we presented a minimization…
▽ More
We consider a microfluidic mixer based on hydrodynamic focusing, which is used to initiate the folding process of individual proteins. The folding process is initiated by quickly diluting a local denaturant concentration, and we define mixing time as the time advecting proteins experience a specified to achieve a local drop in denaturant concentration. In previous work, we presented a minimization of mixing time which considered optimal geometry and flow conditions, and achieved a design with a predicted mixing time of 0.10 $μ$s. The aim of the current paper is twofold. First, we explore the sensitivity of mixing time to key geometric and flow parameters. In particular, we study the angle between inlets, the shape of the channel intersections, channel widths, mixer depth, mixer symmetry, inlet velocities, working fluid physical properties, and denaturant concentration thresholds. Second, we analyze the uniformity of mixing times as a function of inlet flow streamlines. We find the shape of the intersection, channel width, inlet velocity ratio, and asymmetries have strong effects on mixing time; while inlet angles, mixer depth, fluid properties, and concentration thresholds have weaker effects. Also, the uniformity of the mixing time is preserved for most of the inlet flow and distances of down to within about 0.4 $μ$m of the mixer wall. We offer these analyses of sensitivities to imperfections in mixer geometry and flow conditions as a guide to experimental efforts which aim to fabricate and use these types of mixers. Our study also highlights key issues and provides a guide to the optimization and practical design of other microfluidic devices dependent on both geometry and flow conditions.
△ Less
Submitted 29 January, 2015;
originally announced January 2015.
-
Unconventional Strong Spin-Fluctuation Effects around the Critical Pressure of the Itinerant Ising-Type Ferromagnet URhAl
Authors:
Yusei Shimizu,
Daniel Braithwaite,
Bernard Salce,
Tristan Combier,
Dai Aoki,
Eduardo N. Hering,
Scheilla M. Ramos,
Jacques Flouquet
Abstract:
Resistivity measurements were performed for the itinerant Ising-type ferromagnet URhAl at temperatures down to 40 mK under high pressure up to 7.5 GPa, using single crystals. We found that the critical pressure of the Curie temperature exists at around $P_c$ ~ 5.2 GPa. Near $P_c$, the $A$-coefficient of the $AT^{2}$ Fermi-liquid resistivity term below $T^*$ is largely enhanced with a maximum aroun…
▽ More
Resistivity measurements were performed for the itinerant Ising-type ferromagnet URhAl at temperatures down to 40 mK under high pressure up to 7.5 GPa, using single crystals. We found that the critical pressure of the Curie temperature exists at around $P_c$ ~ 5.2 GPa. Near $P_c$, the $A$-coefficient of the $AT^{2}$ Fermi-liquid resistivity term below $T^*$ is largely enhanced with a maximum around 5.2-5.5 GPa. Above $P_c$, the exponent of the resistivity $ρ(T)$ deviates from 2. At $P_c$, it is close to $n = 5/3$, which is expected by the theory of three-dimensional ferromagnetic spin fluctuations for a 2nd-order quantum-critical point (QCP). However, $T_C(P)$ disappears as a 1st-order phase transition, and the critical behavior of resistivity in URhAl cannot be explained by the theory of a 2nd-order QCP. The 1st-order nature of the phase transition is weak, and the critical behavior is still dominated by the spin fluctuation at low temperature. With increasing pressure, the non-Fermi-liquid behavior is observed in higher fields. Magnetic field studies point out a ferromagnetic wing structure with a tri-critical point (TCP) at ~ 4.8-4.9 GPa in URhAl. One open possibility is that the switch from the ferromagnetic to the paramagnetic states does not occur simply but an intermediate state arises below the TCP as suggested theoretically recently. Quite generally, if a drastic Fermi-surface change occurs through $P_c$, the nature of the interaction itself may change and lead to the observed unconventional behavior.
△ Less
Submitted 2 February, 2015; v1 submitted 27 January, 2015;
originally announced January 2015.
-
How does public opinion become extreme?
Authors:
Marlon Ramos,
Jia Shao,
Saulo D. S. Reis,
Celia Anteneodo,
José S. Andrade Jr,
Shlomo Havlin,
Hernán A. Makse
Abstract:
We investigate the emergence of extreme opinion trends in society by employing statistical physics modeling and analysis on polls that inquire about a wide range of issues such as religion, economics, politics, abortion, extramarital sex, books, movies, and electoral vote. The surveys lay out a clear indicator of the rise of extreme views. The precursor is a nonlinear relation between the fraction…
▽ More
We investigate the emergence of extreme opinion trends in society by employing statistical physics modeling and analysis on polls that inquire about a wide range of issues such as religion, economics, politics, abortion, extramarital sex, books, movies, and electoral vote. The surveys lay out a clear indicator of the rise of extreme views. The precursor is a nonlinear relation between the fraction of individuals holding a certain extreme view and the fraction of individuals that includes also moderates, e.g., in politics, those who are "very conservative" versus "moderate to very conservative" ones. We propose an activation model of opinion dynamics with interaction rules based on the existence of individual "stubbornness" that mimics empirical observations. According to our modeling, the onset of nonlinearity can be associated to an abrupt bootstrap-percolation transition with cascades of extreme views through society. Therefore, it represents an early-warning signal to forecast the transition from moderate to extreme views. Moreover, by means of a phase diagram we can classify societies according to the percolative regime they belong to, in terms of critical fractions of extremists and people's ties.
△ Less
Submitted 15 December, 2014;
originally announced December 2014.
-
Be-CoDiS: A mathematical model to predict the risk of human diseases spread between countries. Validation and application to the 2014-15 Ebola Virus Disease epidemic
Authors:
Benjamin Ivorra,
Diène Ngom,
Ángel Manuel Ramos
Abstract:
Ebola virus disease is a lethal human and primate disease that currently requires a particular attention from the international health authorities due to important outbreaks in some Western African countries and isolated cases in the United Kingdom, the USA and Spain. Regarding the emergency of this situation, there is a need of development of decision tools, such as mathematical models, to assist…
▽ More
Ebola virus disease is a lethal human and primate disease that currently requires a particular attention from the international health authorities due to important outbreaks in some Western African countries and isolated cases in the United Kingdom, the USA and Spain. Regarding the emergency of this situation, there is a need of development of decision tools, such as mathematical models, to assist the authorities to focus their efforts in important factors to eradicate Ebola. In this work, we propose a novel deterministic spatial-temporal model, called Be-CoDiS (Between-Countries Disease Spread), to study the evolution of human diseases within and between countries. The main interesting characteristics of Be-CoDiS are the consideration of the movement of people between countries, the control measure effects and the use of time dependent coefficients adapted to each country. First, we focus on the mathematical formulation of each component of the model and explain how its parameters and inputs are obtained. Then, in order to validate our approach, we consider two numerical experiments regarding the 2014-15 Ebola epidemic. The first one studies the ability of the model in predicting the EVD evolution between countries starting from the index cases in Guinea in December 2013. The second one consists of forecasting the evolution of the epidemic by using some recent data. The results obtained with Be-CoDiS are compared to real data and other models outputs found in the literature. Finally, a brief parameter sensitivity analysis is done. A free Matlab version of Be-CoDiS is available at: http://www.mat.ucm.es/momat/software.htm
△ Less
Submitted 12 May, 2015; v1 submitted 22 October, 2014;
originally announced October 2014.
-
Existence and Uniqueness of Solution of a Continuous Flow Bioreactor Model with Two Species
Authors:
M. Crespo,
B. Ivorra,
A. M Ramos
Abstract:
In this work, we study the mathematical analysis of a coupled system of two reaction-diffusion-advection equations and Danckwerts boundary conditions, which models the interaction between a microbial population (e.g., bacterias) and a diluted substrate (e.g., nitrate) in a continuous flow bioreactor. This type of bioreactor can be used, for instance, for water treatment. First, we prove the existe…
▽ More
In this work, we study the mathematical analysis of a coupled system of two reaction-diffusion-advection equations and Danckwerts boundary conditions, which models the interaction between a microbial population (e.g., bacterias) and a diluted substrate (e.g., nitrate) in a continuous flow bioreactor. This type of bioreactor can be used, for instance, for water treatment. First, we prove the existence and uniqueness of solution, under the hypothesis of linear reaction by using classical results for linear parabolic boundary value problems. Next, we prove the existence and uniqueness of solution for some nonlinear reactions by applying \textit{Schauder Fixed Point Theorem} and the theorem obtained for the linear case. Results about the nonnegativeness and boundedness of the solution are also proved here.
△ Less
Submitted 2 July, 2015; v1 submitted 17 October, 2014;
originally announced October 2014.