English
Related papers

Related papers: An Automated Pipeline for the VST Data Log Analysi…

200 papers

Observing, understanding, and mitigating the effects of failure in embedded systems is essential for building dependable control systems. We develop a software-based monitoring methodology to further this goal. This methodology can be…

Other Computer Science · Computer Science 2020-04-15 Natasha Jarus , Antonio Sabatini , Pratik Maheshwari , Sahra Sedigh Sarvestani

We describe the calibration and imaging heuristics developed and deployed in the ALMA interferometric data processing pipeline, as of ALMA Cycle 9. The pipeline software framework is written in Python, with each data reduction stage layered…

Signal Temporal Logic monitoring over numerical simulation traces has emerged as an effective approach to approximate verification of continuous and hybrid systems. In this report we explore an exact verification procedure for STL…

Logic in Computer Science · Computer Science 2020-08-18 Thomas Wright , Ian Stark

One of the most common modes of representing engineering schematics are Piping and Instrumentation diagrams (P&IDs) that describe the layout of an engineering process flow along with the interconnected process equipment. Over the years,…

Computer Vision and Pattern Recognition · Computer Science 2019-02-01 Rohit Rahul , Shubham Paliwal , Monika Sharma , Lovekesh Vig

The Tianlai project is a 21cm intensity mapping experiment aimed at detecting dark energy by measuring the baryon acoustic oscillation (BAO) features in the large scale structure power spectrum. This experiment provides an opportunity to…

Instrumentation and Methods for Astrophysics · Physics 2023-06-05 Shifan Zuo , Jixia Li , Yichao Li , Das Santanu , Albert Stebbins , Kiyoshi W. Masui , Richard Shaw , Jiao Zhang , Fengquan Wu , Xuelei Chen

Creating a vision pipeline for different datasets to solve a computer vision task is a complex and time consuming process. Currently, these pipelines are developed with the help of domain experts. Moreover, there is no systematic structure…

Computer Vision and Pattern Recognition · Computer Science 2022-09-08 Aditya Kapoor , Nijil George , Vartika Sengar , Vighnesh Vatsal , Jayavardhana Gubbi

Over the past years, the industrial sector has seen many innovations brought about by automation. Inherent in this automation is the installation of sensor networks for status monitoring and data collection. One of the major challenges in…

Machine Learning · Computer Science 2020-05-28 Paulito Palmes , Joern Ploennigs , Niall Brady

Beyond self-report data, we lack reliable and non-intrusive methods for identifying flow. However, taking a step back and acknowledging that flow occurs during periods of focus gives us the opportunity to make progress towards measuring…

Human-Computer Interaction · Computer Science 2023-04-11 Adam Brown , Sarah D'Angelo , Ben Holtz , Ciera Jaspen , Collin Green

Testing is a relevant activity for the development life-cycle of Safety Critical Embedded systems. In particular, much effort is spent for analysis and classification of test logs from SCADA subsystems, especially when failures occur. The…

Software Engineering · Computer Science 2014-05-14 Alessio Venticinque , Nicola Mazzocca , Salvatore Venticinque , Massimo Ficco

The Pan-STARRS Data Processing System is responsible for the steps needed to downloaded, archive, and process all images obtained by the Pan-STARRS telescopes, including real-time detection of transient sources such as supernovae and moving…

The SVOM Visible Telescope (VT) is critical for the rapid identification of gamma-ray burst (GRB) optical counterparts, particularly for high-redshift candidates that require immediate infrared spectroscopic follow-up. To address the…

The Spectrometer and Telescope for Imaging X-rays (STIX) on board Solar Orbiter observes solar X-ray emission in the range of 4 – 150 keV and produces spectra and images of solar flares over a wide range of flare magnitudes. During…

In many areas of decision-making, forecasting is an essential pillar. Consequently, many different forecasting methods have been proposed. From our experience, recently presented forecasting methods are computationally intensive, poorly…

Machine Learning · Computer Science 2023-09-29 André Bauer , Mark Leznik , Michael Stenger , Robert Leppich , Nikolas Herbst , Samuel Kounev , Ian Foster

The New Vacuum Solar Telescope (NVST) is a 1-m solar telescope that aims to observe the fine structures in both the photosphere and the chromosphere of the Sun. The observational data acquired simultaneously from one channel for the…

Instrumentation and Methods for Astrophysics · Physics 2016-12-23 Ying-bo Liu , Feng Wang , Hui Deng , Kai-fan Ji , Wei Dai , Shou-lin Wei , Bo Liang , Xiao-li Zhang

Currently, a variety of pipeline tools are available for use in data engineering. Data scientists can use these tools to resolve data wrangling issues associated with data and accomplish some data engineering tasks from data ingestion…

Machine Learning · Computer Science 2024-06-21 Anthony Mbata , Yaji Sripada , Mingjun Zhong

Slug formation in oil and gas pipelines poses significant challenges to operational safety and efficiency, yet existing detection approaches are often offline, require domain expertise, and lack real-time interpretability. We present an…

Machine Learning · Computer Science 2025-11-04 Abhishek Patange , Sharat Chidambaran , Prabhat Shankar , Manjunath G. B. , Anindya Chatterjee

Even though machine learning (ML) pipelines affect an increasing array of stakeholders, there is little work on how input from stakeholders is recorded and incorporated. We propose FeedbackLogs, addenda to existing documentation of ML…

Human-Computer Interaction · Computer Science 2023-07-31 Matthew Barker , Emma Kallina , Dhananjay Ashok , Katherine M. Collins , Ashley Casovan , Adrian Weller , Ameet Talwalkar , Valerie Chen , Umang Bhatt

Wide-field and high-cadence sky surveys are the first step in the chain of discovery and characterisation of astrophysical transients such as supernovae, kilonovae, and tidal disruption events, each linked to the varied demise of stellar…

A common problem in the sciences is that a signal of interest is observed only indirectly, through smooth functionals of the signal whose values are then obscured by noise. In such inverse problems, the functionals dampen or entirely…

Methodology · Statistics 2012-07-04 Darren Homrighausen , Christopher R. Genovese

Source data for computer network security analysis takes different forms (alerts, incidents, logs) and each source may be voluminous. Due to the challenge this presents for data management, this has often lead to security stovepipe…

Cryptography and Security · Computer Science 2007-05-23 William Yurcik , Cristina Abad , Ragib Hasan , Moazzam Saleem , Shyama Sridharan