840 citations
- Blekinge Institute of TechnologySE8 papers
- KTH Royal Institute of TechnologySE8 papers
- Stockholm UniversitySE7 papers
- COMSATS University IslamabadPK4 papers
- KU LeuvenBE4 papers
- Linköping UniversitySE4 papers
- AGH University of KrakowPL3 papers
- Chalmers University of TechnologySE3 papers
- Linnaeus UniversitySE3 papers
- Lund UniversitySE3 papers
- RISE Research Institutes of SwedenSE3 papers
- Universiti Malaysia Pahang Al-Sultan AbdullahMY3 papers
8 papers · 1 filter
Syzygies, constant rank, and beyond
Marc Härkönen, Lisa Nicklasson, Bogdan Raiţă
We study linear PDE with constant coefficients. The constant rank condition on a system of linear PDEs with constant coefficients is often used in the theory of compensated compact…
Automated System-Level Software Testing of Industrial Networked Embedded Systems
Per Erik Strandberg
Embedded systems are ubiquitous and play critical roles in management systems for industry and transport. Software failures in these domains may lead to loss of production or even…
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
Ricardo Caldas, Razan Ghzouli, Alessandro V. Papadopoulos +3
A traditional approach to realize self-adaptation in software engineering (SE) is by means of feedback loops. The goals of the system can be specified as formal properties that are…
A deep look into the Dagum family of isotropic covariance functions
Tarik Faouzi, Emilio Porcu, Igor Kondrashuk +1
The Dagum family of isotropic covariance functions has two parameters that allow for decoupling of the fractal dimension and Hurst effect for Gaussian random fields that are statio…
Hom-pre-Malcev and Hom-M-Dendriform algebras
Fattoum Harrathi, Sami Mabrouk, Othmen Ncib +1
The main feature of Hom-algebras is that the identities defining the structures are twisted by linear maps. The purpose of this paper is to introduce and study a Hom-type generaliz…
Optimization of vertically mounted agrivoltaic systems
Pietro Elia Campana, Bengt Stridh, Stefano Amaducci +1
Agrivoltaic systems represent a key technology for reaching sustainable development goals reducing the completion of land for food versus land for energy. Moreover, agrivoltaic sys…