This article describes a software environment called HybroGen, which helps to experiment binary code generation at run time. As computing architectures are getting more complex, the application performance is becoming data-dependent. The proposed exp...
This paper focuses on optimizing the Zuker RNA folding algorithm, a bioinformatics task with non-serial polyadic dynamic programming and non-uniform loop dependencies. The intricate dependence pattern is represented using affine formulas, enabling th...
In the post-Moore’s Law era, many-core processors integrate diverse on-chip asynchronous accelerators. Existing programming models such as CUDA and OpenCL suffer from coarse-grained scheduling, and fine-grained optimizations only support limite...
We present a new space-time loop tiling approach and demonstrate its application for the generation of parallel tiled code of enhanced locality for three dynamic programming algorithms. The technique envisages that, for each loop nest statement, sub-...
The performance of programs executed on heterogeneous parallel platforms largely depends on the design choices regarding how to partition the processing on the various different processing units. In other words, it depends on the assumptions and para...
Current state-of-the-art parallel codes used to calculate the maximum number of pairs for a given RNA sequence by means of Nussinov’s algorithm do not allow for achieving speedup close up to the number of the processors used for execution of th...
Developing and fine-tuning software programs for heterogeneous hardware such as CPU/GPU processing platforms comprise a highly complex endeavor that demands considerable time and effort of software engineers and requires evaluating various fundamenta...
Several tools and pieces of software support building energy modelling for optimization, certification and comparisons of different scenarios and usages. Nevertheless, the consistent rise in accessible computational power and the expansion of ICT are...
Language models can translate mathematical prose into formal statements and produce machine-checked proofs, and they are increasingly used in finance. Such a proof, however, certifies the model as written, not the model intended. In dynamic finance t...
Non-causal modelling is a powerful approach to modelling physical systems in a variety of domains from science and engineering. Non-causal modelling languages enable a high-level and modular approach to modelling. However, it is hard to compile non-c...
Iterative compilation based on machine learning can effectively predict a program’s compiler optimization parameters. Although having some limits, such as the low efficiency of optimization parameter search and prediction accuracy, machine lear...
Spectre variants 1 and 2 pose grave security threats to dynamic branch predictors in modern CPUs. While extensive research has focused on mitigating these attacks, little attention has been given to their energy and power implications. This study pre...
In this paper we introduce an approach to accelerate many-scenario (i.e., hundreds to thousands) power system simulations which is based on a highly scalable and flexible open-source software environment. In this approach, the parallel execution of s...
This Special Issue compiles eleven excellent papers, selected from a highly competitive pool of submissions, to collectively highlight the dynamic and interdisciplinary nature of the crucial field of computational and mathematical methods in informat...
This article describes the dynamics of a manipulator with two degrees of freedom, while the dynamic model of the manipulator’s arm is derived using Lagrangian formalism, which considers the difference between the kinetic and potential energy of the s...
Since its 3.3 release, Modelica offers the possibility to specify models of dynamical systems with multiple modes having different DAE-based dynamics. However, the handling of such models by the current Modelica tools is not satisfactory, with mathem...
In this article, we analyze the program codes generated automatically using three advanced optimizers: Pluto, Traco, and Dapt, which are specifically tailored for the NPDP benchmark set. This benchmark set comprises ten program loops, predominantly f...
Consistent detection of malicious loaders across varied programming languages and build tools remains a significant cybersecurity challenge. This study empirically measures how compiler and language choices affect the detectability of standard in-mem...
A new visualization technology is presented, which was used in applied research when observing and modeling the dynamics of the flow of gaseous environments. In the process of developing and improving the technology, a set of experimental results was...
A multi-case load spectrum compiling method is proposed in this study for dynamic modeling of a hydraulic excavator stick to simplify and accelerate the fatigue bench test. This new method includes a simplified criterion of small-load-omitting thresh...
With archaic coding techniques, there will be a time when it will be necessary to modernize vulnerable software. However, redeveloping out-of-date code can be a time-consuming task when dealing with a multitude of files. To reduce the amount of reass...
This paper compiles the data regarding the first occurrence of Oithona davisae and O. atlantica in NW Spain, which is supported by morphological and molecular analysis. Additionally, we investigated the seasonal dynamics of the invasive O. davisae, r...
Processing-in-memory and in-memory computing (PIM/IMC) are increasingly explored to mitigate the von Neumann data-movement bottleneck that limits deep neural network (DNN) performance and energy efficiency. Progress, however, remains fragmented acros...
In light of the post-genomic era, epigenetics brings about an opportunity to better understand how the molecular machinery works and is led by a complex dynamic set of mechanisms, often intricate and complementary in many aspects. In particular, epig...
Supply chain dynamic capability is becoming an indispensable core competency for organizations. However, it is still unknown how dynamic capability functions during actual use. Based on this reason, this study compiles research on supply chain dynami...
The compiler serves as a bridge connecting hardware architecture and application software, converting source code into executable files and optimizing code. Fuzz testing is an automated testing technology that evaluates software reliability by provid...
In this article, we give a brief review of a well-known integral inequality that gives information about the integral of the product of two functions using synchronous functions, the Chebyshev inequality. We have compiled the most relevant informatio...
Coupling metrics that count the number of inter-module connections in a software system are an established way to measure internal software quality with respect to modularity. In addition to static metrics, which are obtained from the source or compi...
25 November 2022
In 2020, coronavirus disease (COVID-19) left around 81% of the global workforce, nearly 2.7 billion workers, affected. Employment in China was the first to be hit by COVID-19. The Regional Comprehensive Economic Partnership (RCEP) is expected to brin...
Stable (16O, 17O, 18O, 1H, 2H) and radioactive (3H) isotopes in water are powerful tools in the tracking of the path of water molecules in the whole water cycle. In the last decade, a considerable number of studies have been published on the use of w...
Coccidioidomycosis, also known as Valley fever, is an endemic fungal infection commonly found in the southwestern parts of the United States. However, the disease has seen an increase in both in its area of residency and its prevalence. This review c...
New programming languages are often designed to keep up with technological advancements and project requirements while also learning from previous attempts and introducing more powerful expression mechanisms. However, most existing dynamic programmin...
Food composition data is important for stakeholders and users active in the areas of food, nutrition and health. New challenges related to the quality of food composition data reflect the dynamic changes in these areas while the emerging technologies...
The widening performance gap between processor speed and memory access latency has made data locality a critical bottleneck in high-performance computing. In Non-Uniform Memory Access (NUMA) and distributed memory systems, remote accesses incur penal...
This review compiles information on the biochemistry of spider reproduction, from vitellogenesis to postembryonic development. Despite the diversity of spiders, biochemical studies on their reproduction remain scarce. The structures, functions, and r...
This review compiles the most recent advances described in literature on the preparation of noble metal nanoparticles induced by biological entities. The use of different free or substituted carbohydrates, peptides, proteins, microorganisms or plants...
Dynamic covalent bonds within polymer materials have been the subject of ongoing research. These bonds impart polymers, particularly thermosets, with capabilities for self-healing and reprocessing. Concurrently, three-dimensional (3D) printing techni...
Integrated bearings, characterized by their unique structure, feature an inner ring that is seamlessly integrated with the shaft. This study is based on the theoretical framework of rolling bearing dynamics and considers bearing friction, lubrication...
Pareto optimization combines independent objectives by computing the Pareto front of the search space, yielding a set of optima where none scores better on all objectives than any other. Recently, it was shown that Pareto optimization seamlessly inte...
The proliferation of binary vulnerabilities in the software supply chain has become a critical security challenge. Existing vulnerability detection approaches—including dynamic analysis, static analysis, and decompilation-assisted analysis&mdas...
The construction industry is one of the main areas of energy consumption and carbon emissions, and strengthening research on the thermal performance of building facades can effectively promote energy conservation and emission reduction. Compared with...
Computational approaches in immune-oncology therapies focus on using data-driven methods to identify potential immune targets and develop novel drug candidates. In particular, the search for PD-1/PD-L1 immune checkpoint inhibitors (ICIs) has enlivene...
The past decade has witnessed a growing demand for drone-based fire detection systems, driven by escalating concerns about wildfires exacerbated by climate change, as corroborated by environmental studies. However, deploying existing drone-based fire...
High-Level Synthesis (HLS) has gained considerable attention for its ability to quickly generate hardware descriptions from untimed specifications. Most state-of-the-art commercial HLS tools employ static scheduling, which excels in compute-intensive...
Sensor drift is currently the most challenging problem in gas sensing. We propose a novel ensemble method with dynamic weights based on fitting (DWF) to solve the gas discrimination problem, regardless of the gas concentration, with high accuracy ove...
This review is written amid a marked progress in the calculation of NMR parameters of carbohydrates substantiated by a vast amount of experimental data coming from several laboratories worldwide. By no means are we trying to cover in the present comp...
This study examines the Jesuits’ significant contributions to China’s modernization through their involvement in textbook publication. It analyzes a recently discovered historical Catalogus of 1934 written in Latin to uncover insights. Sp...
Since they were shown to be a potential phenomenon through experimentation, bulk nanobubbles (BNBs) have been a long-standing controversy. The controversy mainly originates from the fact that their stability cannot be well explained by the establishe...
Robust control techniques are crucial for deploying robotic solutions in real applications and handling model uncertainties in robotic manipulators. The inertial parameters are fundamental to implementing control algorithms. While theoretical approac...
The Internet of Things (IoT) is an emerging concept comprising a wide ecosystem of interconnected devices and services. These technologies collect, exchange and process data in order to dynamically adapt to a specific context. IoT is tightly bound to...
of 11