English
Related papers

Related papers: Script Handbook for Interactive Scientific Website…

200 papers

We introduce Mars 2.0 for modeling, analysis, verification and code generation of Cyber-Physical Systems. Mars 2.0 integrates Mars 1.0 with several important extensions and improvements, allowing the design of cyber-physical systems using…

Programming Languages · Computer Science 2024-03-06 Bohua Zhan , Xiong Xu , Qiang Gao , Zekun Ji , Xiangyu Jin , Shuling Wang , Naijun Zhan

The increasing number and complexity of planetary exploration space missions require new tools to access, visualize and analyse data to improve their scientific return. ASI Science Data Center (ASDC) addresses this request with the web-tool…

Instrumentation and Methods for Astrophysics · Physics 2016-03-18 Angelo Zinzi , Maria Teresa Capria , Ernesto Palomba , Paolo Giommi , Lucio Angelo Antonelli

One of key goals of contemporary physics (and, realistically, STEM) education is to develop students' science literacy and critical thinking skills. In this paper, we present the construction and use of several versions of a simple…

Physics Education · Physics 2025-12-09 Martin Hruška , Martin Plesch

Elucidating chemical reactivity in complex molecular assemblies of a few hundred atoms is, despite the remarkable progress in quantum chemistry, still a major challenge. Black-box search methods to find intermediates and transition-state…

Chemical Physics · Physics 2014-10-16 Moritz P. Haag , Alain C. Vaucher , Mael Bosson , Stephane Redon , Markus Reiher

With over 20 million records, the ADS citation database is regularly used by researchers and librarians to measure the scientific impact of individuals, groups, and institutions. In addition to the traditional sources of citations, the ADS…

Computational materials science produces large quantities of data, both in terms of high-throughput calculations and individual studies. Extracting knowledge from this large and heterogeneous pool of data is challenging due to the wide…

Materials Science · Physics 2024-10-23 Martin Kuban , Santiago Rigamonti , Claudia Draxl

Finding interesting phenomena is the core of scientific discovery, but it is a manual, ill-defined concept. We present an integrative pipeline for automating the discovery of interesting simple hypotheses (feature-target relations with…

Quantitative Methods · Quantitative Biology 2025-09-09 Dan Ofer , Michal Linial , Dafna Shahaf

We discuss here our vision for an Open-Science platform for computational Materials Science. Such a platform needs to rely on three pillars, consisting of 1) open data generation tools (including the simulation codes, the scientific…

Materials Science · Physics 2021-07-21 Giovanni Pizzi

Building Automation Systems (BAS) are exemplars of Cyber-Physical Systems (CPS), incorporating digital control architectures over underlying continuous physical processes. We provide a modular model library for BAS drawn from expertise…

Systems and Control · Computer Science 2018-04-18 Nathalie Cauchi , Alessandro Abate

Cloud platforms allow users to execute tasks directly from their web browser and are a key enabling technology not only for commerce but also for computational science. Research software is often developed by scientists with limited…

We present ADAM, a software system for designing and running child language learning experiments in Python. The system uses a virtual world to simulate a grounded language acquisition process in which the language learner utilizes…

Computation and Language · Computer Science 2021-05-07 Ryan Gabbard , Deniz Beser , Jacob Lichtefeld , Joe Cecil , Mitch Marcus , Sarah Payne , Charles Yang , Marjorie Freedman

The open source ALPS (Algorithms and Libraries for Physics Simulations) project provides a collection of physics libraries and applications, with a focus on simulations of lattice models and strongly correlated systems. The libraries…

Access to astronomical data through archives and VO is essential but does not solve all problems. Availability of appropriate software for analyzing the data is often equally important for the efficiency with which a researcher can publish…

Instrumentation and Methods for Astrophysics · Physics 2010-04-27 P. Grosbol , D. Tody

Web request query strings (queries), which pass parameters to the referenced resource, are always manipulated by attackers to retrieve sensitive data and even take full control of victim web servers and web applications. However, existing…

Cryptography and Security · Computer Science 2018-01-12 Ying Dong , Yuqing Zhang

As LLM-based computer-use agents (CUAs) begin to autonomously interact with real-world interfaces, understanding their vulnerability to manipulative interface designs becomes increasingly critical. We introduce SusBench, an online benchmark…

Human-Computer Interaction · Computer Science 2026-02-24 Longjie Guo , Chenjie Yuan , Mingyuan Zhong , Robert Wolfe , Ruican Zhong , Yue Xu , Bingbing Wen , Hua Shen , Lucy Lu Wang , Alexis Hiniker

Extracting information from big data sets, both real and simulated, is a modern hallmark of the physical sciences. In practice, students face barriers to learning ``Big Data'' methods in undergraduate physics and astronomy curricula. As an…

Physics Education · Physics 2025-09-12 Stéphane Delorme , Leon Mach , Hubert Paszkiewicz , Richard Ruiz

ChemgaPedia is a multimedia, webbased eLearning service platform that currently contains about 18.000 pages organized in 1.700 chapters covering the complete bachelor studies in chemistry and related topics of chemistry, pharmacy, and life…

Artificial Intelligence · Computer Science 2010-12-09 Richard Huber , Kirsten Hantelmann , Alexandru Todor , Sebastian Krebs , Ralf Heese , Adrian Paschke

The COVID-19 pandemic highlighted the challenges of maintaining hands-on laboratory instruction in undergraduate physics education. In response, we developed and deployed an interactive online physics laboratory platform designed to closely…

Physics Education · Physics 2026-03-02 Ashadul Halder , Shibaji Banerjee

Modern cyber security operations collect an enormous amount of logging and alerting data. While analysts have the ability to query and compute simple statistics and plots from their data, current analytical tools are too simple to admit…

Cryptography and Security · Computer Science 2018-06-22 Robert A. Bridges , Maria A. Vincent , Kelly M. T. Huffer , John R. Goodall , Jessie D. Jamieson , Zachary Burch

Manual annotation of textual documents is a necessary task when constructing benchmark corpora for training and evaluating machine learning algorithms. We created a comprehensive directory of annotation tools that currently includes 93…

Computation and Language · Computer Science 2020-10-15 Mariana Neves , Jurica Seva
‹ Prev 1 4 5 6 7 8 10 Next ›