Publication

Introducing qualitative dimensions to analyze the usefulness of Web 2.0 platforms as PLEs

Related publications (31)

Dataset for "Complexity of crack front geometry enhances toughness of brittle solids"

John Martin Kolinski, Chenzhuo Li, Xinyue Wei

This data package supports the publication 'Complexity of crack front geometry enhances toughness of brittle solids' by Xinyue Wei, Chenzhuo Li, Cían McCarthy, and John M. Kolinski Nature physics (2024) - https://doi.org/10.1038/s41567-024-02435-x DOI: 1 ...

Zenodo2024

Reducing uncertainties in response predictions of earthquake-damaged masonry buildings using data from image-based inspection

Ian Smith, Katrin Beyer, Bryan German Pantoja Rosero, Mathias Christian Haindl Carvallo

Image information about the state of a building after an earthquake, which can be collected without endangering the post-earthquake reconnaissance activities, can be used to reduce uncertainties in response predictions for future seismic events. This paper ...

Springer2024

Validation and Application of Hysteresis Loss Model for HTS Stacks and Conductors for Fusion Applications

Nikolay Bykovskiy

Numerous conductor designs for pulsed magnets based on High Temperature Superconductors (HTS), featuring stacks of tapes are currently being proposed. A major contribution to the AC losses is expected to be given by hysteresis losses. Several numerical mod ...

IEEE Institute of Electrical and Electronics Engineers2024

Seeking the new, learning from the unexpected: Computational models of surprise and novelty in the brain

Alireza Modirshanechi

Human babies have a natural desire to interact with new toys and objects, through which they learn how the world around them works, e.g., that glass shatters when dropped, but a rubber ball does not. When their predictions are proven incorrect, such as whe ...

EPFL2024

Spectral Estimators for High-Dimensional Matrix Inference

Farzad Pourkamali

A key challenge across many disciplines is to extract meaningful information from data which is often obscured by noise. These datasets are typically represented as large matrices. Given the current trend of ever-increasing data volumes, with datasets grow ...

EPFL2024

Quantifying the Unknown: Data-Driven Approaches and Applications in Energy Systems

Paul Scharnhorst

In light of the challenges posed by climate change and the goals of the Paris Agreement, electricity generation is shifting to a more renewable and decentralized pattern, while the operation of systems like buildings is increasingly electrified. This calls ...

EPFL2024

Seismic Testing of Adjacent Interacting Masonry Structures – Analysis of a Blind Prediction

Katrin Beyer, Igor Tomic, Andrea Penna

Masonry aggregates, which emerged as layouts of cities and villages became denser, make up historical centres all over the world. In these aggregates, neighbouring structures may share structural walls that are joined at the interfaces by mortar or interlo ...

Springer2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

Data-Driven Control Synthesis using Koopman Operator: A Robust Approach

Alireza Karimi, Mert Eyuboglu, Nathan Russell Powell

This paper proposes a data-driven control design method for nonlinear systems that builds upon the Koopman operator framework. In particular, the Koopman operator is used to lift the nonlinear dynamics to a higher-dimensional space where the so-called obse ...

2024

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024