A Case Study on Runtime Verification of a Continuous Deployment Process
Shoma Ansai, Masaki Waga
We report our experience in applying runtime monitoring to a FluxCD-based continuous deployment (CD) process. Our target system consists of GitHub Actions, GitHub Container Registry (GHCR), FluxCD, and an application running on Kubernetes. We monitored its logs using SyMon. In our setting, we regard a deployment update as detected when FluxCD's polling log resolves the latest image tag. Through the case study, we found that FluxCD did not always detect a new image within five minutes after it was pushed to GHCR, whereas it always did so within ten minutes in the collected logs. Moreover, our results show that SyMon is fast enough for near-real-time monitoring in our setting.
Dynamics and non-integrability of the variable-length double pendulum: exploring chaos and periodicity via the Lyapunov refined maps
Wojciech Szumiński, Tomasz Kapitaniak
This paper extends our previous work~(Szumiński and Maciejewski, 2024), where we explored the dynamics and integrability of the double-spring pendulum. Here, we investigate the variable-length double pendulum, a three-degree-of-freedom Hamiltonian system combining features of the classic double pendulum and the swinging Atwood machine. With its intricate dynamics, this system is crucial for studying nonlinear phenomena such as high-order resonances, chaos, and bifurcations. We address the challenges posed by high-dimensional phase spaces using a novel tool, the \textit{Lyapunov refined maps}, which integrates Poincaré sections, phase-parametric diagrams, and Lyapunov exponents. This framework comprehensively analyzes periodic, quasi-periodic, and chaotic behaviors. By measuring the strength of chaos, it also offers insights into the system's dynamical structure. Additionally, we apply Morales-Ramis theory to examine integrability, leveraging the differential Galois group of variational equations to establish non-integrability conditions. The Kovacic algorithm is used to analyze the solvability of higher-dimensional differential equations, complemented by Lyapunov exponent diagrams to exclude integrable dynamics under certain parameters. Our findings advance the fundamental understanding of variable-length pendulum dynamics, offering new insights and methodologies for further research with potential applications in adaptive robotics, energy harvesting, and biomechanics. Additionally, this work represents a significant step toward proving the long-sought non-integrability of the classical double pendulum.
Software Testing for Extended Reality Applications: A Systematic Mapping Study
Ruizhen Gu, José Miguel Rojas, Donghwan Shin
Extended Reality (XR) is an emerging technology spanning diverse application domains and offering immersive user experiences. However, its unique characteristics, such as six degrees of freedom interactions, present significant testing challenges distinct from traditional 2D GUI applications, demanding novel testing techniques to build high-quality XR applications. This paper presents the first systematic mapping study on software testing for XR applications. We selected 34 studies focusing on techniques and empirical approaches in XR software testing for detailed examination. The studies are classified and reviewed to address the current research landscape, test facets, and evaluation methodologies in the XR testing domain. Additionally, we provide a repository summarising the mapping study, including datasets and tools referenced in the selected studies, to support future research and practical applications. Our study highlights open challenges in XR testing and proposes actionable future research directions to address the gaps and advance the field of XR software testing.
Eclipse Mapping with Ariel: Future Prospects for a Population-Level Mapping Survey
Daniel Valentine, Hannah R. Wakeford, Mark Hammond
et al.
Eclipse mapping is a powerful tool for measuring 3D profiles of exoplanet atmospheres. To date, only JWST has been capable of widely applying this technique, but as a general observatory, it is too time-limited to conduct population-level mapping studies. Ariel, on the other hand, is a dedicated exoplanet mission set to observe 1000 transiting exoplanets, making it a natural candidate for this. To assess Ariel's mapping potential, we quantitatively benchmark its abilities against those of JWST using a simulation-and-retrieval framework with existing JWST eclipse maps as test cases. We find that for high-ranking targets, Ariel will be able to derive qualitatively similar maps to JWST using the same amount of observations; for mid-ranking targets, Ariel will be able to compete using as few as 3x as many observations; and for lower-ranking targets, the use of phase curves overcomes the need for an impractical number of repeated eclipse observations. We find that while Ariel is unlikely to have extensive latitudinal mapping abilities, it will have wide-ranging longitudinal abilities, from which the first-order atmospheric dynamics can be constrained. Using an analytically-derived metric, we determine the best eclipse mapping targets for Ariel, finding that it will be able to map nearly 100 targets using full phase curves in only quarter of its lifetime. This would be the largest mapping survey to date, and have enormous ramifications for our demographic understanding of exoplanet atmospheric dynamics. Finally, we rank all the best mapping targets for both JWST and Ariel in order to encourage future eclipse mapping studies.
en
astro-ph.EP, astro-ph.IM
Hybrid Work meets Agile Software Development: A Systematic Mapping Study
Dron Khanna, Emily Laue Christensen, Saagarika Gosu
et al.
Hybrid work, a fusion of different work environments that allow employees to work in and outside their offices, represents a new frontier for agile researchers to explore. However, due to the nascent nature of the research phenomena, we are yet to achieve a good understanding of the research terrain formulated when hybrid work meets agile software development. This systematic mapping study, we aimed to provide a good understanding of this emerging research area. The systematic process we followed led to a collection of 12 primary studies, which is less than what we expected. All the papers are empirical studies, with most of them employing case studies as the research methodology. The people-centric nature of agile methods is yet to be adequately reflected in the studies in this area. Similarly, there is a lack of a richer understanding of hybrid work in terms of flexible work arrangements. Our mapping study identified various research opportunities that can be explored in future research.
Software Engineering Knowledge Areas in Startup Companies: A Mapping Study
Eriks Klotins, Michael Unterkalmsteiner, Tony Gorschek
Background - Startup companies are becoming important suppliers of innovative and software intensive products. The failure rate among startups is high due to lack of resources, immaturity, multiple influences and dynamic technologies. However, software product engineering is the core activity in startups, therefore inadequacies in applied engineering practices might be a significant contributing factor for high failure rates. Aim - This study identifies and categorizes software engineering knowledge areas utilized in startups to map out the state-of-art, identifying gaps for further research. Method - We perform a systematic literature mapping study, applying snowball sampling to identify relevant primary studies. Results - We have identified 54 practices from 14 studies. Although 11 of 15 main knowledge areas from SWEBOK are covered, a large part of categories is not. Conclusions - Existing research does not provide reliable support for software engineering in any phase of a startup life cycle. Transfer of results to other startups is difficult due to low rigor in current studies.
New Technologies, Training Initiatives and the Future of Manuscript Studies
Eyal Poleg
We are standing at the edge of a major transformation in manuscript studies. Digital surrogates, Digital Humanities analyses and the rise of new scientific analytical technologies proliferate across universities, libraries and museums. They change the way we consult, research and disseminate historical manuscripts to reveal hitherto unknown, and unknowable, information. This article looks at how the field can best integrate these transformations. Concentrating on training programmes for advanced students as a way of reimagining the field, it provides concrete advice for the future of manuscript studies, arguing that the existence of manuscript studies as removed from Digital Humanities and heritage science is becoming more and more artificial and detrimental to the future of the field.
A systematic mapping study on security countermeasures of in-vehicle communication systems
Jinghua Yu, Stefan Wagner, Bowen Wang
et al.
The innovations of vehicle connectivity have been increasing dramatically to enhance the safety and user experience of driving, while the rising numbers of interfaces to the external world also bring security threats to vehicles. Many security countermeasures have been proposed and discussed to protect the systems and services against attacks. To provide an overview of the current states in this research field, we conducted a systematic mapping study on the topic area "security countermeasures of in-vehicle communication systems". 279 papers are identified based on the defined study identification strategy and criteria. We discussed four research questions related to the security countermeasures, validation methods, publication patterns, and research trends and gaps based on the extracted and classified data. Finally, we evaluated the validity threats, the study identification results, and the whole mapping process. We found that the studies in this topic area are increasing rapidly in recent years. However, there are still gaps in various subtopics like automotive Ethernet security, anomaly reaction, and so on. This study reviews the target field not only related to research findings but also research activities, which can help identify research gaps at a high level and inspire new ideas for future work.
Mapping cone of $k$-Entanglement Breaking Maps
Repana Devendra, Nirupama Mallick, K. Sumesh
In \cite{CMW19}, the authors introduced $k$-entanglement breaking linear maps to understand the entanglement breaking property of completely positive maps on taking composition. In this article, we do a systematic study of $k$-entanglement breaking maps. We prove many equivalent conditions for a $k$-positive linear map to be $k$-entanglement breaking, thereby study the mapping cone structure of $k$-entanglement breaking maps. We discuss examples of $k$-entanglement breaking maps and some of their significance. As an application of our study, we characterize completely positive maps that reduce Schmidt number on taking composition with another completely positive map.
White Paper on East Asian Vision for mm/submm VLBI: Toward Black Hole Astrophysics down to Angular Resolution of 1~R$_{S}$
K. Asada, M. Kino, M. Honma
et al.
This White Paper details the intentions and plans of the East Asian Very Long Baseline Interferometry (VLBI) community for pushing the frontiers of millimeter/submillimeter VLBI. To this end, we shall endeavor to actively promote coordinated efforts in the East Asia region. Our goal is to establish firm collaborations among the East Asia VLBI community in partnership with related institutes in North America and Europe and to expand existing global mm/submm VLBI arrays for (a) exploring the vicinity of black holes with an ultimate angular resolution down to 1~R$_{S}$ (Schwarzschild radius) and (b) investigating the dynamics of circumstellar gas in star-forming regions and late-type stars, and circumnuclear gas around active galactic nuclei (AGNs). In the first half of this White Paper, we highlight scientific accomplishments of the East Asia (EA) VLBI community. Various VLBI research results on M87, Sgr A*, blazars, narrow-line Seyfert~1 galaxies, and compact symmetric objects are described, and future visions of our VLBI science are briefly presented. Maser science of star formation, stellar evolution, and physics of accretion disks around AGNs are also discussed. A new vision for conducting multi-transition maser studies using mm/submm VLBI together with the Atacama Large Millimeter/Submillimeter Array (ALMA) is described. In the second half of this White Paper, we describe the EA community's vision for using mm/submm VLBI arrays in the framework or extended version of the Event Horizon Telescope (EHT) and the Global Millimeter VLBI Array (GMVA). The accomplishment of the aforementioned goal will maximize the overall scientific outcomes of mm/submm VLBI in the world.
Reconstruction of~3-D Rigid Smooth Curves Moving Free when Two Traceable Points Only are Available
Mieczysław A. Kłopotek
This paper extends previous research in that sense that for orthogonal projections of rigid smooth (true-3D) curves moving totally free it reduces the number of required traceable points to two only (the best results known so far to the author are 3 points from free motion and 2 for motion restricted to rotation around a fixed direction and and 2 for motion restricted to influence of a homogeneous force field). The method used is exploitation of information on tangential projections. It discusses also possibility of simplification of reconstruction of flat curves moving free for prospective projections.
Further studies on the notion of differentiable maps from Azumaya/matrix manifolds, I. The smooth case
Chien-Hao Liu, Shing-Tung Yau
In this follow-up of our earlier two works D(11.1) (arXiv:1406.0929 [math.DG]) and D(11.2) (arXiv:1412.0771 [hep-th]) in the D-project, we study further the notion of a `differentiable map from an Azumaya/matrix manifold to a real manifold'. A conjecture is made that the notion of differentiable maps from Azumaya/matrix manifolds as defined in D(11.1) is equivalent to one defined through the contravariant ring-homomorphisms alone. A proof of this conjecture for the smooth (i.e. $C^{\infty}$) case is given in this note. Thus, at least in the smooth case, our setting for D-branes in the realm of differential geometry is completely parallel to that in the realm of algebraic geometry, cf.\ arXiv:0709.1515 [math.AG] and arXiv:0809.2121 [math.AG]. A related conjecture on such maps to ${\Bbb R}^n$, as a $C^k$-manifold, and its proof in the $C^{\infty}$ case is also given. As a by-product, a conjecture on a division lemma in the finitely differentiable case that generalizes the division lemma in the smooth case from Malgrange is given in the end, as well as other comments on the conjectures in the general $C^k$ case. We remark that there are similar conjectures in general and theorems in the smooth case for the fermionic/super generalization of the notion.
China ’ s Economic Diplomacy towards South Asia
Syed Waqas Haider Bukhari, N. Bakht
Access to Advanced Placement: Unequal Opportunity, Untapped Potential
A. Cassity
Indonesia dan Putaran Bali
A. Pradana
The fact that "South-South" countries managed to avoid severe collapse in the global financial crisis (2007-2008) as happened in U.S. and EU, is a contradiction when the "South-South" at the same time are often disadvantaged in trade patterns. As the study of chaotic Asian crisis (1997-1998), many countries (on "South-South") are actually very disadvantaged in its main Doha Round of WTO rules, are struggling hard to optimize the productivity that can be achieved. Happened a wide selection of radical economic policies that have been and will run various countries. On one hand, there are policy options isn't enough if associated process of building solution-based collective recession settlement between states. In other words, as an effort to evaluate the regulation of international trade policy in the WTO, while adjusting needs a sense of justice for the country "South" for a dozen years caving in on WTO rules, present mometum significant change rules. Plan of Bali Round (2013) is expected to be generated in the WTO meeting in this year. Where the round is expected to not only adapt to today's trade map no longer dominated by the countries like US, EU countries, etc. But give justice a far greater for developing countries that are represented in the "South-South".
Singularities in ternary mixtures of k-core percolation
Davide Cellai, James P. Gleeson
Heterogeneous k-core percolation is an extension of a percolation model which has interesting applications to the resilience of networks under random damage. In this model, the notion of node robustness is local, instead of global as in uniform k-core percolation. One of the advantages of k-core percolation models is the validity of an analytical mathematical framework for a large class of network topologies. We study ternary mixtures of node types in random networks and show the presence of a new type of critical phenomenon. This scenario may have useful applications in the stability of large scale infrastructures and the description of glass-forming systems.
en
cond-mat.dis-nn, cond-mat.stat-mech
A strain-specific epitope of Enterovirus 71 identified by cryoEM of the complex with Fab from 1 neutralizing antibody 2 3 Running title : Strain-specific Epitope of EV 71 4 5
Hyunwook Lee, J. Cifuente, R. Ashley
et al.
Z prac Międzynarodowej Komisji Mapy Geologicznej Świata w latach 1978 -1982
R. Osika
The Adoption of Western Management Accounting Practices in Vietnamese Enterprises During Economic Transition
N. Doan
Song repertoire size of the Pied Bushchat Saxicola caprata