Category
Computer programming
Related publications (1,000)
A Research-Practice Partnership to Introduce Computer Science in Secondary School: Lessons from a Pilot Program
Francesco Mondada, Helena Kovacs, Jean-Philippe Pellet, Barbara Bruno, Laila Abdelsalam El-Hamamsy
Context: Introducing Computer Science (CS) into formal education can be challenging, notably when considering the numerous stakeholders involved which include the students, teachers, schools, and policy makers. We believe these perspectives should be con ...
2023Thwarting Malicious Adversaries in Homomorphic Encryption Pipelines
Homomorphic Encryption (HE) enables computations to be executed directly on encrypted data. As such, it is an auspicious solution for protecting the confidentiality of sensitive data without impeding its usability. However, HE does not provide any guarante ...
EPFL2023Latency Interfaces for Systems Code
This thesis demonstrates that it is feasible for systems code to expose a latency interface that describes its latency and related side effects for all inputs, just like the code's semantic interface describes its functionality and related side effects.Sem ...
EPFL2023AIFORE: Smart Fuzzing Based on Automatic Input Format Reverse Engineering
Mathias Josef Payer, Zhiyao Feng, Chunmin Zhang, Ji Shi
Knowledge of a program's input format is essential for effective input generation in fuzzing. Automated input format reverse engineering represents an attractive but challenging approach to learning the format. In this paper, we address several challenges ...
Berkeley2023A comprehensive review of digital twin-part 2: roles of uncertainty quantification and optimization, a battery digital twin, and perspectives
Olga Fink, Chao Hu, Sayan Ghosh
As an emerging technology in the era of Industry 4.0, digital twin is gaining unprecedented attention because of its promise to further optimize process design, quality control, health monitoring, decision- and policy-making, and more, by comprehensively m ...
SPRINGER2023Generalizing Bulk-Synchronous Parallel Processing for Data Science: From Data to Threads and Agent-Based Simulations
Agent-based simulations have been widely applied in many disciplines, by scientists and engineers alike. Scientists use agent-based simulations to tackle global problems, including alleviating poverty, reducing violence, and predicting the impact of pandem ...
EPFL2023Computational conceptual design — typological exploration of spatial truss systems through optimization
Corentin Jean Dominique Fivet, Pierluigi D'Acunto, Jonas Warmuth
Exploring a wide range of design options is crucial for every sound conceptual design process. In the conventional structural design workflow, optimization techniques are generally employed to generate well-performing design options. However, focusing only ...
International Association for Shell and Spatial Structures (IASS)2023E-Scan: Consuming Contextual Data with Model Plugins
Anastasia Ailamaki, Viktor Sanca
Extracting value and insights from increasingly heterogeneous data sources involves multiple systems combining and consuming the data. With multi-modal and context-rich data such as strings, text, videos, or images, the problem of standardizing the data mo ...
2023Demand-based operations of vehicle sharing systems
Vehicle sharing systems (VSSs) allow users to rent vehicles for a short period of time, in a more flexible and convenient manner compared to the traditional vehicle rental services. The long-term VSS subscription replaces the need for contract signing for ...
EPFL2023The importance of young professionals for dam engineering in Switzerland
Samuel Luke Vorlet, Valentina Favero
In Switzerland, hydropower is the main energy source and contributes to about 58.3% of the total production. The 2050 energy strategy aims to increase this share in the coming decades. This increase is a challenge for hydropower plants. The maintenance and ...
CRC Press/Balkema2023