24 papers · ranked by Valyu relevance
Felix Schwickerath, Nicolas Boltz, Sebastian Hahner, Maximilian Walter + 2 more
'Maximilian Walter' 'Christopher Gerking' 'Robert Heinrich'] Abstract. Through the increasing interconnection between various systems, the need for confidential systems is increasing. Confidential systems share data only with authorized entities. However, estimating the confidentiality of a system is complex, and…
Xiaoqin Fu
First and foremost, I would like to thank my advisor and the chair of my committee, Dr. Haipeng Cai. He has been supportive of me throughout my WSU pursuit of a PhD in Computer Science. He has continuously encouraged me throughout my doctoral studies, as a foundation of strength during difficult times. Without his…
Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu + 2 more
'Xiangyu Zhang'] Dataflow analysis is a powerful code analysis technique that reasons dependencies between program values, offering support for code optimization, program comprehension, and bug detection. Existing approaches require the successful compilation of the subject program and customizations for downstream…
Zewen Sun, Yujin Zhang, Duanchen Xu, Yiyu Zhang + 10 more
'Yueyang Wang' 'Li Yi' 'Zhaokang Wang' 'Yue Li' 'Xuandong Li' 'Zhiqiang Zuo' 'Qingda Lu' 'Wenwen Peng' 'Shengjian Guo'] Apart from forming the backbone of compiler optimization, static dataflow analysis has been widely applied in a vast variety of applications, such as bug detection, privacy analysis, program…
Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan
Statically analyzing information flow, or how data influences other data within a program, is a challenging task in imperative languages. Analyzing pointers and mutations requires access to a program's complete source. However, programs often use pre-compiled dependencies where only type signatures are available. We…
Mohammed K. S. Alwaheidi, Shareeful Islam, Lei Shu
Cloud computing offers many benefits including business flexibility, scalability and cost savings but despite these benefits, there exist threats that require adequate attention for secure service delivery. Threats in a cloud-based system need to be considered from a holistic perspective that accounts for data…
Charlotte Capitanchik, Sam Ireland, Alex Harston, Chris Cheshire + 13 more
Ever-increasing volumes of sequencing data offer potential for large-scale meta-analyses to address significant biological questions. However, challenges such as insufficient data processing information, data quality concerns, and issues related to accessibility and curation often present obstacles. Additionally, most…
Jennifer M. Schopf, Katrina Turner, Dan Doyle, Andrew Lake + 2 more
'Jason Leigh' 'Brian L. Tierney'] Data sharing is required for research collaborations, but effective data transfer performance continues to be difficult to achieve. The NetSage Measurement and Analysis Framework can assist in understanding research data movement. It collects a broad set of monitoring data and builds…
Hannah den Braanker, Margot Bongenaar, Erik Lubberts
Spectral flow cytometry is an upcoming technique that allows for extensive multicolor panels, enabling simultaneous investigation of a large number of cellular parameters in a single experiment. To fully explore the resulting high-dimensional single cell datasets, high-dimensional analysis is needed, as opposed to the…
Jiazhen Zhao, Kailong Zhu, Canju Lu, Jun Zhao + 2 more
PHP is the most widely used server-side programming language, but it remains highly susceptible to diverse classes of vulnerabilities. Static Application Security Testing (SAST) tools are commonly adopted for vulnerability detection; however, their evaluation lacks systematic criteria capable of quantifying information…
Abdullah Rasheed
Monotone Frameworks Authors: ['Abdullah Rasheed'] | 1 | Introduction | | 2 | | --- | --- | --- | --- | | 2 | Preliminaries | | 2 | | | 2.1 | The Basics | 3 | | | 2.2 | SimpleHal Syntax | 4 | | | | 2.2.1 Specifications | 4 | | | 2.3 | Labeling Programs | 4 | | | 2.4 | Program Flows | 5 | | 3 | | Intraprocedural Analysis…
Heling Cao, Fei Wang, Miaolei Deng, Lei Li + 1 more
Background Spectrum-based Fault localization have proven to be useful in the process of software testing and debugging. However, how to improve the effectiveness of software fault localization has always been a research hot spot in the field of software engineering. Dynamic slicing can extract program dependencies…
Tianyu Zhang, Xin Jin, Song Bai, Yuxin Peng + 5 more
'Xinlei Chen' 'Shuai Wang' 'Yuezu Lv'] The use of cloud computing, big data, IoT, and mobile applications in the public transportation industry has resulted in the generation of vast and complex data, of which the large data volume and data variety have posed several obstacles to effective data sensing and processing…
Igor Kotenko, Konstantin Izrailov, Mikhail Buinevich, Giuseppe Maria Luigi Sarne + 4 more
Ensuring security for modern IoT systems requires the use of complex methods to analyze their software. One of the most in-demand methods that has repeatedly been proven to be effective is static analysis. However, the progressive complication of the connections in IoT systems, the increase in their scale, and the…
Authors not listed
Self-driving laboratories (SDLs) promise accelerated scientific discovery and product development by closing the loop between robotic execution and AI/ML-driven decision making. In practice, however, SDL orchestration remains fragmented; workflows are typically encoded as laboratory-specific scripts or bespoke…
Mikko Nieminen, Oliver Stolpe, Mathias Kuhring, January Weiner + 3 more
Scientists employing omics in life science studies face challenges such as the modeling of multi assay studies, recording of all relevant parameters, and managing many samples with their metadata. They must manage many large files that are the results of the assays or subsequent computation. Users with diverse…
Aleksandar Jagličić, Torben Gädt, Matthias Hofmann
Isothermal heat flow calorimetry is a powerful method for studying chemical processes. In cement research, it has become indispensable for quantifying the heat release during cement hydration. It is used to study the reactivity of cementitious binders and the effect of admixture chemistry and dosage. Most isothermal…
Francisco Sena, Eliel Ingervo, Shahbaz Khan, Andrey Prjibelski + 2 more
A decomposition of a network flow is a set of weighted paths whose superposition equals the flow. The problem of characterising and computing safe walks for flow decompositions has so far seen only a partial solution by restricting the flow decomposition to consist of paths, and the graph to be directed and acyclic…
Hirotaka Suetake, Tsukasa Fukusato, Takeo Igarashi, Tazro Ohta
Reproducibility of data analysis workflow is a key issue in the field of bioinformatics. Recent computing technologies, such as virtualization, have made it possible to reproduce workflow execution with ease. However, the reproducibility of results is not well discussed; that is, there is no standard way to verify…
Pablo Quijano Velasco, Kedar Hippalgaonkar, Balamurugan Ramalingam
The discovery of optimal conditions of chemical reactions is a labor-intensive, time-consuming task that requires exploring a high-dimensional parametric space. Historically the optimization of chemical reactions has been performed by manual experimentation guided by human intuition and Design of Experiments where one…
Authors not listed
ElyteOS is a graphical user interface written in Python 3.8.3 which enables the automation of the processes of electrolyte preparation, measurement, data storage, and data visualization. It provides a user-friendly interface and acts as a framework for automating lab equipment with different commands as well as…
Authors not listed
Deciphering the correct mechanism governing certain phenomenon in polyelectrolyte (PE) brush grafted systems, revealed through atomistic simulations, is an extremely challenging problem. In a recent study, our all-atom molecular dynamics (MD) simulations revealed a non-linearly large electroosmotic flow (in the…
Mahnoor Zulfiqar, Michael R. Crusoe, Birgitta König-Ries, Christoph Steinbeck + 2 more
Scientific workflows facilitate the automation of data analysis tasks by integrating various software and tools executed in a particular order. To enable transparency and reusability in workflows, it is essential to implement the FAIR principles. Here, we describe our experiences implementing the FAIR principles for…
Kevin Kang, Jinwen Wo, Jon Jiang, Zhong Wang
We propose Adaptive Container Service (ACS), a new paradigm for deploying bioinformatics workflows in cloud computing environments. By encapsulating the entire workflow within a single virtual container, combined with automatic workflow checkpointing and dynamic migration to appropriately scaled containers, ACS-based…