English
Related papers

Related papers: Formal specification of the FlexRay protocol using…

200 papers

Federated Graph Learning (FGL) aims to learn graph learning models over graph data distributed in multiple data owners, which has been applied in various applications such as social recommendation and financial fraud detection. Inherited…

Machine Learning · Computer Science 2024-08-20 Xingbo Fu , Zihan Chen , Binchi Zhang , Chen Chen , Jundong Li

We are now moving into an era where multi-object wide-field surveys, which traditionally use single fibres to observe many targets simultaneously, can exploit compact integral field units in place of single fibres. Current multi-object…

Instrumentation and Methods for Astrophysics · Physics 2015-06-18 Julia Bryant , Joss Bland-Hawthorn , Lisa Fogarty , Jon Lawrence , Scott Croom

The synchrosqueezing transform, a kind of reassignment method, aims to sharpen the time-frequency representation and to separate the components of a multicomponent non-stationary signal. In this paper, we consider the short-time Fourier…

Signal Processing · Electrical Eng. & Systems 2019-09-27 Lin Li , Haiyan Cai , Hongxia Han , Qingtang Jiang , Hongbing Ji

Robustness certification, which aims to formally certify the predictions of neural networks against adversarial inputs, has become an integral part of important tool for safety-critical applications. Despite considerable progress, existing…

Computer Vision and Pattern Recognition · Computer Science 2024-01-12 Daqian Shao , Lukas Fesser , Marta Kwiatkowska

The adoption of blockchain-based distributed computation platforms is growing fast. Some of these platforms, such as Ethereum, provide support for implementing smart contracts, which are envisioned to have novel applications in a broad…

Cryptography and Security · Computer Science 2017-11-28 Anastasia Mavridou , Aron Laszka

Long-sequence video diffusion transformers hit a quadratic self-attention cost that dominates runtime and memory for very long token sequences. Most efficient attention methods use one approximation everywhere, yet video features are…

Computer Vision and Pattern Recognition · Computer Science 2026-04-28 Haopeng Jin

Non-stationary forced oscillations (FOs) have been observed in power system operations. However, most detection methods assume that the frequency of FOs is stationary. In this paper, we present a methodology for the analysis of…

Signal Processing · Electrical Eng. & Systems 2020-06-26 Pablo Gill Estevez , Pablo Marchi , Cecilia Galarza , Marcelo Elizondo

Biophotonics is an active research area in molecular imaging, genetic diagnosis and prognosis, with direct applicability in precision medicine. However, long-standing challenges of biophotonics are well known due to low signal-to-noise…

Medical Physics · Physics 2017-10-02 Michael C Lun , Wei Zhang , Yue Zhao , Jeffrey Anker , Wenxiang Cong , Ge Wang , Changqing Li

The program FeynRules is a Mathematica package developed to facilitate the implementation of new physics theories into high-energy physics tools. Starting from a minimal set of information such as the model gauge symmetries, its particle…

High Energy Physics - Phenomenology · Physics 2014-06-13 Adam Alloul , Neil D. Christensen , Celine Degrande , Claude Duhr , Benjamin Fuks

Frequency offset modulation (FOM) is proposed as a new concept to provide both high energy efficiency and high spectral efficiency for communications. In the FOM system, an array of transmitters (TXs) is deployed and only one TX is…

Information Theory · Computer Science 2016-12-22 Xihua Zou , Wei Pan , Ge Yu , Bin Luo , Lianshan Yan

Model checking real-time systems is complex, and requires a careful trade-off between including enough detail to be useful and not too much detail to avoid state explosion. This work exploits variability of the formal model being analysed…

Software Engineering · Computer Science 2023-11-01 José Proença , David Pereira , Giann Spilere Nandi , Sina Borrami , Jonas Melchert

We present FlexNeRF, a method for photorealistic freeviewpoint rendering of humans in motion from monocular videos. Our approach works well with sparse views, which is a challenging scenario when the subject is exhibiting fast/complex…

Computer Vision and Pattern Recognition · Computer Science 2023-03-28 Vinoj Jayasundara , Amit Agrawal , Nicolas Heron , Abhinav Shrivastava , Larry S. Davis

Integrated Sensing And Communication (ISAC)forms a symbiosis between the human need for communication and the need for increasing productivity, by extracting environmental information leveraging the communication network. As multiple…

Human-Computer Interaction · Computer Science 2021-12-06 M. Arnold , M. Bauhofer , S. Mandelli , M. Henninger , F. Schaich , T. Wild , S. ten Brink

A fuzzy controller is usually designed by formulating the knowledge of a human expert into a set of linguistic variables and fuzzy rules. Among the most successful methods to automate the fuzzy controllers development process are…

Artificial Intelligence · Computer Science 2007-05-23 Carlos Kavka , Patricia Roggero , Marc Schoenauer

The LegPy package has been upgraded by including the production of X-ray fluorescence based on a simple model. Several tests have been done to check the validity of our approximations. This simple model has been sufficient to fix severe…

Accelerator Physics · Physics 2025-01-28 Victor Moya , Jaime Rosado , Fernando Arqueros

FcsIT is a platform-independent, open-source tool for calculating the correlation and fitting fluorescence correlation spectroscopy data. The software is written in Python and uses a powerful Dear PyGUI engine for its interface. It provides…

Quantitative Methods · Quantitative Biology 2026-04-01 Tomasz Kalwarczyk

Human safety is critical in applications involving close human-robot interactions (HRI) and is a key aspect of physical compatibility between humans and robots. While measures of human safety in HRI exist, these mainly target industrial…

Robotics · Computer Science 2025-01-08 Pranav Pandey , Ramviyas Parasuraman , Prashant Doshi

We develop a transfer matrix formalism to visualize the framing of discrete piecewise linear curves in three dimensional space. Our approach is based on the concept of an intrinsically discrete curve, which enables us to more effectively…

Biomolecules · Quantitative Biology 2015-05-27 Shuangwei Hu , Martin Lundgren , Antti J. Niemi

We present WOFRY (Wave Optics FRamework in pYthon), a specialized toolbox designed for wave optics modeling, with particular emphasis on partial coherence. This package is tailored to assist synchrotron scientists and engineers in the…

In-bulk processing of materials by laser radiation has largely evolved over the last decades and still opensup new scientific and industrial potentials. The development of any in-bulk processing application relieson the knowledge of laser…