Related papers: Formal specification of the FlexRay protocol using…
The Phychip project is a collaborative European research initiative to design and implement computation using the organism Physarum polycephalum; it is funded by the Seventh Framework Programme (FP7) by the European Commission within CORDIS…
We propose a novel fifth-generation (5G) rapid prototyping (RaPro) system architecture by combining FPGA-privileged modules from a software defined radio (or FPGA-coprocessor) and high-level programming language for advanced algorithms from…
Multiparty session types are designed to abstractly capture the structure of communication protocols and verify behavioural properties. One important such property is progress, i.e., the absence of deadlock. Distributed algorithms often…
FEpX is a modeling framework for computing the elastoplastic deformations of polycrystalline solids. Using the framework, one can simulate the mechanical behavior of aggregates of crystals, referred to as virtual polycrystals, over large…
Hyperdrive is a protocol designed to facilitate the trading of fixed and variable rate assets. The protocol's unique pricing model consolidates liquidity into a single pool which addresses the challenges of fragmented liquidity across…
The fast Fourier transform, FFT, is a useful and prevalent algorithm in signal processing. It characterizes the spectral components of a signal, or is used in combination with other operations to perform more complex computations such as…
With the growth of large language models, now incorporating billions of parameters, the hardware prerequisites for their training and deployment have seen a corresponding increase. Although existing tools facilitate model parallelization…
Federated Learning (FL) is an emerging framework for distributed processing of large data volumes by edge devices subject to limited communication bandwidths, heterogeneity in data distributions and computational resources, as well as…
Continuum soft robots, composed of flexible materials, exhibit theoretically infinite degrees of freedom, enabling notable adaptability in unstructured environments. Cosserat Rod Theory has emerged as a prominent framework for modeling…
A practical, biologically motivated case of protein complexes (immunoglobulin G and FcRII receptors) moving on the surface of mastcells, that are common parts of an immunological system, is investigated. Proteins are considered as…
Computational micromechanics and homogenization require the solution of the mechanical equilibrium of a periodic cell that comprises a (generally complex) microstructure. Techniques that apply the Fast Fourier Transform have attracted much…
In this paper, we study the longitudinal control problem for a platoon of vehicles with unknown nonlinear dynamics under both the predecessor-following and the bidirectional control architectures. The proposed control protocols are fully…
The flexibility of radio frequency (RF) systems and the omnipresence of power cables potentially make the cascaded power line communication (PLC)/RF system an efficient and cost-effective solution in terms of wide coverage and high-speed…
In order to achieve exascale performance it is important to detect potential bottlenecks and identify strategies to overcome them. For this, both applications and system software must be analysed and potentially improved. The EU FP7 project…
This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools where the first one, the most important, is the concept of method itself,…
Partial differential equations describing the dynamics of physical systems rarely have closed-form solutions. Fourier spectral methods, which use Fast Fourier Transforms (FFTs) to approximate solutions, are a common approach to solving…
Emerging memory technologies have gained significant attention as a promising pathway to overcome the limitations of conventional computing architectures in deep learning applications. By enabling computation directly within memory, these…
In this article, we present our recent experiments on fission fragment rocket propulsion, and on an innovative new design for an alpha particle detection system that has been inspired by these rocketry results. Our test platform, which…
An important topic of interest in imaging is the construction of protocols that are not diffraction limited. This can be achieved in a variety of ways, including classical superresolution techniques or quantum entanglement-based protocols.…
The European XFEL (EuXFEL) is a free-electron laser in the X-ray range for users. Its high availability is one of the key aspects of the machine. In 2022, it entered in the sixth year of operation. The EuXFEL linac is based on the TESLA…