Article
Multidisciplinary Sciences
Richard Danger, Quentin Moiteaux, Yodit Feseha, Estelle Geffard, Gerard Ramstein, Sophie Brouard
Summary: FaDA is a web-based application developed with the R Shiny package, allowing users to perform statistical group comparisons and multiple testing corrections. It provides various data visualizations and a free and intuitive interface for biologists without bioinformatic skills to easily analyze laboratory data.
Article
Chemistry, Multidisciplinary
Woonghee Lee, Jaewoo Yang, Doyeong Park, Younghoon Kim
Summary: Medical retrieval systems play a significant role in clinical settings, but they face challenges in handling continuous medical data like electroencephalography signals. Current systems heavily rely on costly neurologist analyses. Our research proposes a solution to create indexing systems for electroencephalography signals by using a deep learning model and a transformer. Experimental evaluation shows that our method outperforms baseline methods, offering potential advancements in medical data retrieval and reducing the reliance on expert knowledge.
APPLIED SCIENCES-BASEL
(2023)
Article
Computer Science, Software Engineering
Jose Arturo Gil, Simone Santini
Summary: This paper studies the problem of regular expression matching in cases where the identity of the received symbols is uncertain. A model of symbol emission is developed and a modification of the shortest path algorithm is used to find optimal matches on the Cartesian Graph of an expression when the input is a finite list. For infinite streams, it is generally undecidable, but if each symbol is received with probability 0 infinitely often, the problem becomes decidable.
Article
Computer Science, Interdisciplinary Applications
Toby Dylan Hocking
Summary: Regular expressions are powerful tools for extracting tables from non-tabular text data, especially when reshaping data tables from wide to tall format. The R package nc (named capture) introduces functions for wide-to-tall data reshaping using regular expressions and provides detailed comparisons with related R packages.
Article
Computer Science, Software Engineering
Rahul Krishna Yandrapally, Ali Mesbah
Summary: Automated model-based test generation provides a viable alternative to costly manual test creation for regression testing of web apps. However, existing techniques lack accuracy in identifying near-duplicate web pages and produce fragile test oracles. We propose FragGen, a novel model-based test generation technique that eliminates thresholds and employs page fragmentation and fine-grained analysis to improve state equivalence establishment and generate reliable test oracles. Our evaluation demonstrates that FragGen outperforms existing techniques in detecting near-duplicates, inferring web app models, and creating effective test suites for regression testing.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
(2023)
Article
Computer Science, Theory & Methods
Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna
Summary: This paper demonstrates that every regular function captured by a deterministic two-way transducer can be described with a regular transducer expression. The construction of the expression is guided by a regular expression and can handle both finite and infinite words. To handle infinite words, the paper introduces the notion of transition monoids for deterministic two-way Muller transducers with look-ahead.
INFORMATION AND COMPUTATION
(2022)
Article
Computer Science, Interdisciplinary Applications
Fangming Wu, Bingfang Wu, Weiwei Zhu, Nana Yan, Zonghan Ma, Linjiang Wang, Yuming Lu, Jiaming Xu
Summary: Increased model complexity and data quantities have raised the computing power requirement for efficient evapotranspiration (ET) estimation. A cloud-based service, ETWatch Cloud, provides stakeholders with a highly scalable and interoperable tool for ET generation, facilitating the application of remote sensing-based ET algorithms for water management in the hydrology sector. The system encapsulates ETWatch modeling algorithms as web application programming interfaces (APIs) to offer extensible model calculation and data storage services in a cloud platform.
ENVIRONMENTAL MODELLING & SOFTWARE
(2021)
Article
Computer Science, Artificial Intelligence
Mehdi Esnaashari, Amir Hossein Damia
Summary: Software testing is crucial for software quality assurance, and automating the test data generation process can help reduce time and cost. The study focuses on using structural methods to cover all finite paths effectively. The proposed method, a memetic algorithm combining reinforcement learning with genetic algorithms, outperforms traditional evolutionary and meta-heuristic algorithms in terms of speed and coverage.
EXPERT SYSTEMS WITH APPLICATIONS
(2021)
Article
Computer Science, Information Systems
Davide Conficconi, Emanuele del Sozzo, Filippo Carloni, Alessandro Comodi, Alberto Scolari, Marco Domenico Santambrogio
Summary: Regular Expressions (REs) are widely used in compute-intensive tasks to find patterns in data. Hardware accelerators, such as FPGAs, are used to improve the performance of RE matching. However, updating the REs can be time-consuming. This work proposes a Domain-Specific Architecture (DSA), called TiReX, that allows for runtime changes of the desired REs while providing software programmability and flexible hardware mechanisms. Compared to state-of-the-art software, TiReX achieves remarkable performance and significant energy efficiency improvements.
IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING
(2023)
Article
Computer Science, Information Systems
Alessandro Chessa, Gianni Fenu, Enrico Motta, Francesco Osborne, Diego Reforgiato Recupero, Angelo Salatino, Luca Secchi
Summary: This paper presents a methodology for semi-automatic generation of a Tourism Knowledge Graph (TKG) and introduces the Tourism Analytics Ontology (TAO) for modeling the domain. The approach processes and integrates data from Booking.com, Airbnb, DBpedia, and GeoNames to support intelligent services in the tourism sector. A comprehensive evaluation of TKG and TAO is reported, considering their functional, logical, and structural dimensions.
Article
Biochemical Research Methods
Sung-Joon Park, Kenta Nakai
Summary: Microorganisms infect and contaminate eukaryotic cells during biological experiments, influencing research conclusions. OpenContami is an online application providing a comprehensive overview of exogenous species in NGS datasets, aiding in understanding the impact of microbial contamination on biological and pathological traits.
Article
Engineering, Marine
Zhongliang Meng, Yi Ding, Yun Chen, Shizhen Li
Summary: This paper presents a new type of horizontal rotor wave energy power generation device and verifies the influence of different wave heights and installation distances on the stability of the device.
Article
Automation & Control Systems
Zakieh Alizadehsani, Hadi Ghaemi, Amin Shahraki, Alfonso Gonzalez-Briones, Juan M. Corchado
Summary: Modern software development paradigms, such as Service-Oriented Architecture (SOA), heavily rely on web service metadata annotation for automated tasks. However, the lack of machine-readable documentation and structured metadata hinders the accuracy and volume of automatic data annotation, negatively impacting the performance of automated SOA tasks. This study proposes a Data-Centric Service Code Generation (DCServCG) model that improves code generators by considering essential service-based code characteristics and utilizes conditional text generation to overcome limitations. Evaluation results show that the data-centric approach reduces perplexity and improves model generalization compared to traditional methods.
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE
(2023)
Article
Computer Science, Information Systems
Weiwei Wang, Shumei Wu, Zheng Li, Ruilian Zhao
Summary: This paper proposes a parallel evolutionary test case generation approach for web applications, utilizing a parallel genetic algorithm based on the island model to generate test cases from the client-side behavior model and cover the sensitive paths of server-side code, with the objective of improving efficiency and effectiveness.
INFORMATION AND SOFTWARE TECHNOLOGY
(2023)
Article
Economics
Onur Altindag, Stephen D. O'Connell, Aytug Sasmaz, Zeynep Balcioglu, Paola Cadoni, Matilda Jerneck, Aimee Kunze Foong
Summary: The study developed an econometric prediction model using administrative data held by international agencies to target over $380 million annually in unconditional cash transfers to Syrian refugees in Lebanon. Results showed that targeting using administrative data is comparable to a Proxy Means Test in terms of accuracy, with small differences attributed to specific data fields.
JOURNAL OF DEVELOPMENT ECONOMICS
(2021)
Article
Computer Science, Interdisciplinary Applications
Jasper S. Wijnands, Haifeng Zhao, Kerry A. Nice, Jason Thompson, Katherine Scully, Jingqiu Guo, Mark Stevenson
Summary: This study systematically analyzed the design of all intersections in Australia and linked it to driving behaviors, identifying some relationships between intersection design and driving behavior and providing suggestions for safer driving.
COMPUTER-AIDED CIVIL AND INFRASTRUCTURE ENGINEERING
(2021)
Article
Public, Environmental & Occupational Health
Jerome N. Rachele, Jingcheng Wang, Jasper S. Wijnands, Haifeng Zhao, Rebecca Bentley, Mark Stevenson
Summary: This study investigates using Generative Adversarial Networks (GANs) to measure neighbourhood design characteristics using street view and aerial imagery and explores the differences in urban greenery and dwelling structure between neighbourhoods with high and low physical function. The study highlights the importance of unique, diverse, and abundant imagery for successful applications of deep learning methods in this field.
Article
Environmental Sciences
Nilakshi T. Waidyatillake, Patricia T. Campbell, Don Vicendese, Shyamali C. Dharmage, Ariadna Curto, Mark Stevenson
Summary: This study systematically reviewed the association between ambient particulate matter (PM) and premature mortality, and conducted a Bayesian hierarchical meta-analysis to assess this association. The results indicated a significant association between PM2.5 and premature mortality, while the results for PM10 were found to be unstable.
INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH
(2021)
Article
Geriatrics & Gerontology
Ying Ru Feng, Lynn Meuleners, Mark Stevenson, Jane Heyworth, Kevin Murray, Michelle Fraser, Sean Maher
Summary: The study found that older male drivers with suspected mild cognitive impairment had a significantly higher rate of speeding events, while there was no significant association for older female drivers. Most speeding events occurred in 60km/h and 70km/h speed zones.
CLINICAL INTERVENTIONS IN AGING
(2021)
Article
Ergonomics
Mark Stevenson, Anthony Harris, Jasper S. Wijnands, Duncan Mortimer
Summary: The study found that feedback alone may not be sufficient to motivate behavior change, but combining feedback with financial incentives can lead to significant reductions in risky driving behaviors.
ACCIDENT ANALYSIS AND PREVENTION
(2021)
Article
Public, Environmental & Occupational Health
Ben Beck, Amelia Thorpe, Anna Timperio, Billie Giles-Corti, Carmel William, Evelyne de Leeuw, Hayley Christian, Kirstan Corben, Mark Stevenson, Melissa Backhouse, Rebecca Ivers, Rema Hayek, Rob Raven, Sam Bolton, Shanthi Ameratunga, Trevor Shilton, Belen Zapata-Diomedi
Summary: This study aims to develop a research priority agenda for active transport in Australia. Through a priority setting exercise, 50 research priority questions were identified, including supporting policy changes, overcoming community resistance, and improving transportation infrastructure. These research priorities will contribute to the advancement of active transport in Australia.
JOURNAL OF TRANSPORT & HEALTH
(2022)
Article
Public, Environmental & Occupational Health
Jason Thompson, Rod McClure, Tony Blakely, Nick Wilson, Michael G. Baker, Jasper S. Wijnands, Thiago Herick De Sa, Kerry Nice, Camilo Cruz, Mark Stevenson
Summary: The study developed a public health decision support model for mitigating the spread of SARS-CoV-2 infections in Australia and New Zealand. Results indicated that sustained public adherence to social restrictions could eliminate community transmission, but a second wave of infections may occur if adherence decreases.
AUSTRALIAN AND NEW ZEALAND JOURNAL OF PUBLIC HEALTH
(2022)
Article
Environmental Sciences
Jasper S. Wijnands, Kerry A. Nice, Sachith Seneviratne, Jason Thompson, Mark Stevenson
Summary: In response to the COVID-19 pandemic, countries implemented public health ordinances that resulted in restricted mobility and changed air quality. This study aimed to quantify the impact of carbon-based transport and industrial activity on air quality. Through city-level modeling and pollutant-specific models, the study found reductions in NO2 and PM2.5 pollution, especially in China, Europe, and India. The study also observed a subsequent reduction in O-3 levels below what was expected based on meteorological conditions during summer months. These findings are important for developing effective strategies to improve health outcomes.
ATMOSPHERIC POLLUTION RESEARCH
(2022)
Editorial Material
Public, Environmental & Occupational Health
Billie Giles-Corti, Anne Vernez Moudon, Melanie Lowe, Deepti Adlakha, Ester Cerin, Geoff Boeing, Carl Higgs, Jonathan Arundel, Shiqin Liu, Erica Hinckson, Deborah Salvo, Marc A. Adams, Hannah Badland, Alex A. Florindo, Klaus Gebel, Ruth F. Hunter, Josef Mitas, Adewale L. Oyeyemi, Anna Puig-Ribera, Ana Queralt, Maria Paula Santos, Jasper Schipperijn, Mark Stevenson, Delfien Van Dyck, Guillem Vich, James F. Sallis
LANCET GLOBAL HEALTH
(2022)
Article
Environmental Studies
Ben Beck, Meghan Winters, Trisalyn Nelson, Chris Pettit, Simone Z. Leao, Meead Saberi, Jason Thompson, Sachith Seneviratne, Kerry Nice, Mark Stevenson
Summary: This study developed a novel urban biking typology using unsupervised machine learning methods and analyzed biking patterns in Greater Melbourne region, Australia. The findings revealed 5 clusters and highlighted areas with unique characteristics.
ENVIRONMENT AND PLANNING B-URBAN ANALYTICS AND CITY SCIENCE
(2023)
Article
Environmental Sciences
Mohammad Javad Zare Sakhvidi, Jun Yang, Danial Mohammadi, Hussein FallahZadeh, Amirhooshang Mehrparvar, Mark Stevenson, Xavier Basagana, Antonio Gasparrini, Payam Dadvand
Summary: Extreme temperatures can affect the risk of traffic crashes, particularly motorcycle crashes. Exposure to extremely cold and hot temperatures increases the risk of seeking medical attention for motorcycle crashes, especially within 0 to 3 days after exposure. The study estimates that approximately 11.01% of motorcycle crash medical attendances are attributable to non-optimal temperatures.
ENVIRONMENTAL SCIENCE AND POLLUTION RESEARCH
(2022)
Article
Veterinary Sciences
Catherine C. Kneipp, Ania T. Deutscher, Ronald Coilparampil, Anne Marie Rose, Jennifer Robson, Richard Malik, Mark A. Stevenson, Anke K. Wiethoelter, Siobhan M. Mor
Summary: This study aimed to investigate the clinical characteristics, serology, microbiology, and clinical response to treatment in B. suis-seropositive dogs. The results showed that most dogs with B. suis infections had subclinical infections, and serology was poorly associated with clinical disease. Antibiotic treatment is recommended for clinical management.
JOURNAL OF VETERINARY INTERNAL MEDICINE
(2023)
Article
Transportation
Jing Li, Jingqiu Guo, Jasper S. Wijnands, Rongjie Yu, Chengcheng Xu, Mark Stevenson
Summary: Compared to normal incidents, secondary incidents are more likely to result in severe injuries and fatalities. Limited efforts have been made to unveil the factors affecting the severity of secondary incidents. This study collected incidents data from Interstate-5 in California within five years and used Random Forest-based and Support Vector Machine models to investigate the contributing factors. The results showed that occupancy, duration, frequency of lanes changes, and number of lanes were found to contribute to injury severity of secondary incidents.
JOURNAL OF TRANSPORTATION SAFETY & SECURITY
(2022)
Article
Environmental Sciences
Thanh Phuong Ho, Mark Stevenson, Jason Thompson, Tuan Quoc Nguyen
Summary: The study found variations in microscale urban design qualities across different urban typologies, with old and high-density urban areas showing higher design qualities. Compared to Western cities, Hanoi's urban design characteristics, particularly in terms of imageability and complexity, are substantially different.
Article
Ergonomics
Ying Ru Feng, Lynn Meuleners, Mark Stevenson, Jane Heyworth, Kevin Murray, Michelle Fraser, Sean Maher
Summary: The study aimed to compare driving exposure, patterns, and safety critical events between drivers with Mild Cognitive Impairment (MCI) and a comparison group without cognitive impairment. The results showed that there were no significant differences in the driving exposure, patterns, or safety critical events between the two groups, with only binocular contrast sensitivity being associated with the rate of safety critical events.
ACCIDENT ANALYSIS AND PREVENTION
(2021)
Article
Computer Science, Software Engineering
Amel Mammar, Meriem Belguidoum, Saddam Hocine Hiba
Summary: This paper introduces a formal EVENT-B-based approach for modeling and verifying the deployment of component-based applications. By gradually refining an abstract model, a precise specification is built, and mathematical reasoning is used to prove its correctness. The presented approach validates the deployment in a cloud environment using PROB and ensures the construction of a correct system that meets the constraints.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Software Engineering
Shuqi Liu, Yu Zhou, Longbing Ji, Tingting Han, Taolue Chen
Summary: In this paper, we propose a framework that combines GUI events deduplication with an adaptive semantic matching strategy to enhance the usability of reused tests. Experimental evaluation demonstrates that the framework improves widget mapping performance, significantly reduces event redundancy, and reduces the manual effort of creating tests for similar applications.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Software Engineering
Xiangyu Mu, Lei Liu, Peng Zhang, Jingyao Li, Hui Li
Summary: The aim of this study is to reduce the size of the test case set required to detect the commutativity problem of the reduce function. By determining the pattern of the function and selecting corresponding test cases, the proposed test case generation strategy can achieve the same accuracy with a smaller test case set. It has been shown to be effective and has a high recall rate.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Software Engineering
Padmalata Nistala, Asha Rajbhoj, Vinay Kulkarni, Sapphire Noronha, Ankit Joshi
Summary: This paper presents an automated proposal development approach using a combination of model-based and AI-enabled techniques, and discusses the successful deployment and user feedback of the system.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Software Engineering
Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra
Summary: Compiler correctness is a long-standing problem, and it becomes more significant with the rise of smart contracts on blockchains. A translation certification framework can address the trust issue for low-level code on the blockchain, allowing users to have confidence in the compilation process of smart contracts.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Software Engineering
Phillip James, Faron Moller, Filippos Pantekis
Summary: OnTrack is a tool that supports railway verification workflows using model driven engineering frameworks, allowing railway engineers to interact with verification procedures through encapsulating formal methods.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Software Engineering
Oleg Kiselyov
Summary: Heterogeneous metaprogramming systems leverage higher-level host languages to generate lower-level object language code, enabling faster production of high-performant code with correctness guarantees. This paper presents two systems with OCaml as the host language and C as the object language, discussing their implementation and applications.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Software Engineering
Conor Reynolds, Rosemary Monahan
Summary: This paper provides a detailed approach to formalize a fragment of the theory of institutions in the Coq proof assistant. The approach is illustrated and evaluated by instantiating the framework with specific institution examples.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Software Engineering
Herbert Rausch Fernandes, Giovanni Freitas Gomes, Antonio Carlos Pinheiro de Oliveira, Sergio Vale Aguiar Campos
Summary: Alzheimer's disease is a common form of dementia with no effective drug treatment available. In this study, a statistical model checking approach was used to analyze protein and drug interactions and evaluate the effects of different drugs on the components contributing to Alzheimer's disease. The results showed that rapamycin could slow down the biological process causing neuronal death, while LY294002 and NVP-BEZ235 may increase tau phosphorylation. These findings provide important insights for the scientific community and raise awareness about potential side effects of PI3K inhibitor drugs.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Software Engineering
Erwan Mahe, Christophe Gaston, Pascale Le Gall
Summary: This paper presents an Interaction Language to encode Sequence Diagrams (SD) and associates it with three different formal semantics. This allows for direct formal verification of SD, while preserving traceability of SD concepts and executed actions, and addressing the translation of problematic operators.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Software Engineering
Joan Giner-Miguelez, Abel Gomez, Jordi Cabot
Summary: Datasets are crucial for training and evaluating machine learning models, but they can also lead to undesirable behaviors like biased predictions. To tackle this issue, the machine learning community suggests adopting consistent guidelines for dataset descriptions. However, these guidelines rely on natural language descriptions, which hinder automated computation and analysis. To overcome this, we present DescribeML, a language engineering tool that provides precise, structured descriptions of machine learning datasets, including their composition, provenance, and social concerns.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Software Engineering
Andrey Sadovykh, Bilal Said, Dragos Truscan, Hugo Bruneliere
Summary: In this paper, the authors report on their 7 years of practical experience with an iterative Model-based Requirements Engineering (MBRE) approach and language in five large European collaborative projects. They demonstrate through significant data sets that this model-based approach provides interesting benefits in terms of scalability, heterogeneity, adaptability, traceability, automation, consistency and quality, and usefulness or usability. Concrete examples from these projects are provided to illustrate the application of the MBRE approach and language, and the authors discuss the general benefits and limitations of using such an approach, as well as the lessons learned over the years.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Software Engineering
Alfa Yohannis, Dimitris Kolovos, Antonio Garcia-Dominguez
Summary: Picto Web is a multi-tenant web-based tool that allows exploration of complex models by transforming them into various transient web-based views using rule-based transformations. It uses a lazy view computation approach to efficiently support large models and complex transformations, and includes monitoring and push notification facilities for automatic recomputation of views and updated delivery to clients.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Software Engineering
Enes Yigitbas, Maximilian Schmidt, Antonio Bucchiarone, Sebastian Gottschalk, Gregor Engels
Summary: UML has become a popular modeling language used in computer science courses, and various interactive learning applications have been developed to improve student engagement and learning outcomes. However, these applications have not successfully created immersive environments for students. Therefore, this study introduces GaMoVR, a VR-based and gamified learning environment, which provides an interactive and fun learning experience for students learning about UML modeling.
SCIENCE OF COMPUTER PROGRAMMING
(2024)
Article
Computer Science, Software Engineering
Yaxin Zhao, Lina Gong, Wenhua Yang, Yu Zhou
Summary: Accessible design aims to enable as many people as possible to access software products and services. This study investigates the interaction between accessibility issues and other factors affecting software performance. By analyzing a large number of accessibility issues, the study reveals the characteristics of these issues and their relationship with software quality attributes.
SCIENCE OF COMPUTER PROGRAMMING
(2024)