English
Related papers

Related papers: Characterising radio telescope software with the W…

200 papers

A unified framework for the characterization of continuous electromagnetic (EM) manifolds for arbitrary multipleinput multiple-output (MIMO) system geometries is presented. The EM manifold refers to the set of all physically realizable…

Signal Processing · Electrical Eng. & Systems 2026-05-11 Kuranage Roche Rayan Ranasinghe , Miguel Rodrigo Castellanos , Giuseppe Thadeu Freitas de Abreu

Foundation models constitute a significant advancement in computer vision: after a single, albeit costly, training phase, they can address a wide array of tasks. In the field of Earth observation, over 75 remote sensing vision foundation…

Computer Vision and Pattern Recognition · Computer Science 2025-05-07 Pierre Adorni , Minh-Tan Pham , Stéphane May , Sébastien Lefèvre

In this study we have presented a novel feature representation for malicious programs that can be used for malware classification. We have shown how to construct the features in a bottom-up approach, and analyzed the overlap of malicious…

Cryptography and Security · Computer Science 2022-10-19 John Musgrave , Temesguen Messay-Kebede , David Kapp , Anca Ralescu

In the field of computational science and engineering, workflows often entail the application of various software, for instance, for simulation or pre- and postprocessing. Typically, these components have to be combined in arbitrarily…

Software Engineering · Computer Science 2022-11-15 Philipp Diercks , Dennis Gläser , Ontje Lünsdorf , Michael Selzer , Bernd Flemisch , Jörg F. Unger

Drone-camera based human activity recognition (HAR) has received significant attention from the computer vision research community in the past few years. A robust and efficient HAR system has a pivotal role in fields like video…

Computer Vision and Pattern Recognition · Computer Science 2022-11-11 Santosh Kumar Yadav , Esha Pahwa , Achleshwar Luthra , Kamlesh Tiwari , Hari Mohan Pandey , Peter Corcoran

We discuss the workflows supported by the TLA+ Toolbox to write and verify specifications. We focus on features that are useful in industry because its users are primarily engineers. Two features are novel in the scope of formal IDEs:…

Software Engineering · Computer Science 2019-12-24 Markus Alexander Kuppe , Leslie Lamport , Daniel Ricketts

This paper describes a parsing model that combines the exact dynamic programming of CRF parsing with the rich nonlinear featurization of neural net approaches. Our model is structurally a CRF that factors over anchored rule productions, but…

Computation and Language · Computer Science 2015-07-15 Greg Durrett , Dan Klein

The HORACE suite of programs has been developed to work with large multiple-measurement data sets collected from time-of-flight neutron spectrometers equipped with arrays of position-sensitive detectors. The software allows exploratory…

Data Analysis, Statistics and Probability · Physics 2016-08-10 R. A. Ewings , A. Buts , M. D. Le , J. van Duijn , I. Bustinduy , T. G. Perring

An effective model of single and multilayered thin panels, including those formed using carbon fiber composite (CFC) materials, is incorporated into the Transmission Line Modeling (TLM) method. The thin panel model is a one-dimensional (1D)…

Computational Engineering, Finance, and Science · Computer Science 2016-01-12 Xuesong Meng , Ana Vukovic , Trevor M. Benson , Phillip Sewell

Mechanisms are a fundamental concept in many areas of science. Nonetheless, there has been little effort to develop structures to represent mechanisms. We explore the issues in developing a basic semantic modeling framework for describing…

Digital Libraries · Computer Science 2019-01-01 Robert B Allen

The performance of wake-up radios must be clearly measured and understood while designing and developing robust, dependable, and affordable systems, considering both benefits and shortcomings. State-of-the-art WURs display significant…

Networking and Internet Architecture · Computer Science 2018-11-19 Rajeev Piyare , Amy L. Murphy

This paper presents the DDF Pipeline, a radio astronomy data processing tool initially designed for the LOw-Frequency ARray (LO- FAR) radio-telescope and a candidate for processing data from the Square Kilometre Array (SKA). This work…

Instrumentation and Methods for Astrophysics · Physics 2025-09-04 Mathis Certenais , François Bodin , Laurent Morin

Classical control and management plane for computer networks is addressing individual parameters of protocol layers within an individual wireless network device. We argue that this is not sufficient in phase of increasing deployment of…

Networking and Internet Architecture · Computer Science 2016-11-11 Piotr Gawłowicz , Anatolij Zubow , Mikolaj Chwalisz , Adam Wolisz

Covalent organic frameworks (COFs) are promising adsorbents for gas adsorption and separation, while identifying the optimal structures among their vast design space requires efficient high-throughput screening. Conventional…

Machine Learning · Computer Science 2026-03-24 Zihan Li , Mingyang Wan , Mingyu Gao , Xishi Tai , Zhongshan Chen , Xiangke Wang , Feifan Zhang

We describe CFW, a computationally efficient algorithm for collaborative filtering that uses posteriors over weights of evidence. In experiments on real data, we show that this method predicts as well or better than other methods in…

Information Retrieval · Computer Science 2015-05-19 Carl Kadie , Christopher Meek , David Heckerman

The development of Time-Series Forecasting (TSF) models is often constrained by the lack of comprehensive datasets, especially in Global Station Weather Forecasting (GSWF), where existing datasets are small, temporally short, and spatially…

Machine Learning · Computer Science 2026-04-01 Tao Han , Zhibin Wen , Zhenghao Chen , Dazhao Du , Song Guo , Lei Bai

An extension of the xFitter open-source program for QCD analyses is presented, allowing for a polynomial parameterization of the dependence of physical observables on theoretical parameters. This extension enables simultaneous determination…

High Energy Physics - Phenomenology · Physics 2024-12-03 XiaoMin Shen , Simone Amoroso , Jun Gao , Katerina Lipka , Oleksandr Zenaiev

The growth of sky surveys and the large amount of stellar spectra in the current databases, has generated the necessity of developing new methods to estimate atmospheric parameters, a fundamental task on stellar research. In this work we…

Instrumentation and Methods for Astrophysics · Physics 2022-06-27 Miguel Flores R. , Luis J. Corral , Celia R. Fierro-Santillán

Typical schedulers in multi-tenancy environments make use of reactive, feedback-oriented mechanisms based on performance counters to avoid resource contention but suffer from detection lag and loss of performance. In this paper, we address…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-11-02 Girish Mururu , Sharjeel Khan , Bodhisatwa Chatterjee , Chao Chen , Chris Porter , Ada Gavrilovska , Santosh Pande

\ac{RAT} classification and monitoring are essential for efficient coexistence of different communication systems in shared spectrum. Shared spectrum, including operation in license-exempt bands, is envisioned in the \ac{5G} standards…

Signal Processing · Electrical Eng. & Systems 2020-07-28 Erika Fonseca , Joao F. Santos , Francisco Paisana , Luiz A. DaSilva