Concept

Test (informatique)

Publications associées (523)

Full-scale testing of European steel beams with reduced beam section under reversed cyclic loading

Steel beams with reduced beam section (RBS) are often used as part of prequalified connections in seismic regions. However, RBS connections are not as common in Europe. Reasons relate to easiness in fabrication, which requires on-site welding, and the seis ...

Springer Nature2022

Testing For The Rank Of A Covariance Operator

Victor Panaretos

How can we discern whether the covariance operator of a stochastic pro-cess is of reduced rank, and if so, what its precise rank is? And how can we do so at a given level of confidence? This question is central to a great deal of methods for functional dat ...

INST MATHEMATICAL STATISTICS-IMS2022

On Verified Scala for STIX File System Embedded Code using Stainless

Viktor Kuncak, Jad Hamza

We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification s ...

2022

Drained Axial Pipe-Soil Resistance at Low Confinement Using Tilt Table and Direct Shear Tests

Roba Houhou

Establishing a reliable value for the axial pipe-soil interface resistance is critical for the design of offshore pipelines. Over the last few years, several independent research groups have modified existing methodologies or devised new testing setups to ...

ASCE-AMER SOC CIVIL ENGINEERS2022

Ontology-centric industrial requirements validation for aircraft assembly system design

Jinzhi Lu, Xiaochen Zheng

The development of an aircraft industrial system faces the challenge of integrative requirements validation with de-correlated modelling languages and distributed proprietary formats. This paper specifies an ontology-centric industrial requirements validat ...

ELSEVIER2022

To regenerate or not to regenerate: Vertebrate model organisms of regeneration-competency and -incompetency

Can Aztekin

Why only certain species can regenerate their appendages (e.g. tails and limbs) remains one of the biggest mysteries of nature. Unlike anuran tadpoles and salamanders, humans and other mammals cannot regenerate their limbs, but can only regrow lost digit t ...

WILEY2022

A geometrically exact model for thin magneto-elastic shells

Pedro Miguel Nunes Pereira de Almeida Reis, Matteo Pezzulla, Dong Yan

We develop a reduced model for hard-magnetic, thin, linear-elastic shells that can be actuated through an external magnetic field, with geometrically exact strain measures. Assuming a reduced kinematics based on the Kirchhoff-Love assumption, we derive a r ...

PERGAMON-ELSEVIER SCIENCE LTD2022

Budget-Bounded Incentives for Federated Learning

Boi Faltings, Aris Filos Ratsikas, Adam Julian Richardson

We consider federated learning settings with independent, self-interested participants. As all contributions are made privately, participants may be tempted to free-ride and provide redundant or low-quality data while still enjoying the benefits of the FL ...

Springer Nature Switzerland AG 20202022

Robustness Against Read Committed: A Free Transactional Lunch

Christoph Koch, Bas Ketsman

Transaction processing is a central part of most database applications. While serializability remains the gold standard for desirable transactional semantics, many database systems offer improved transaction throughput at the expense of introducing potenti ...

ASSOC COMPUTING MACHINERY2022

Attestable Software Versioning for Stateful Confidential Computing

Edouard Bugnion, Charly Nicolas Lucien Castes

Trusted execution environments enable the creation of confidential and attestable enclaves that exclude the platform and service providers from the trusted base. From its initial attestable state, a stateful enclave such as a confidential database can hold ...

2022

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search