Publications associées à A diagnostic procedure for applying the social-ecological systems framework in diverse cases

Formal Foundations of Capture Tracking

Type systems are a device for verifying properties of programs without running them. Many programming languages used in the industry have always had a type system, while others were initially created without a type system and later adopted one, when the ad ...

EPFL2024

An objective skill assessment framework for microsurgical anastomosis based on ALI scores

Aude Billard, Kunpeng Yao, Soheil Gholami, Torstein Ragnar Meling, Anaëlle Olivia Marie Manon

IntroductionThe current assessment and standardization of microsurgical skills are subjective, posing challenges in reliable skill evaluation. We aim to address these limitations by developing a quantitative and objective framework for accurately assessing ...

Springer Wien2024

The synergistic interplay of artificial intelligence and digital twin in environmentally planning sustainable smart cities: A comprehensive systematic review

Jeffrey Huang, Simon Elias Bibri

The dynamic landscape of sustainable smart cities is witnessing a signi ficant transformation due to the integration of emerging computational technologies and innovative models. These advancements are reshaping data -driven planning strategies, practices, ...

Elsevier2024

Atlas Narratives of Anthropogenic Transformations across the Vietnamese Mekong Delta's Urban-Rural Territories: Water Ecosystems as Subject for the Social Ecological Transition

Sylvie Tram Nguyen

Well beyond the impact of climate change, anthropogenic modifications of the Vietnam Mekong Delta's ecosystems have resulted in environmental degradation and subsequent loss in ecosystems. The environmental impacts include but are not limited to accelerate ...

EPFL2023

Capturing Types

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Ondrej Lhoták

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

Assoc Computing Machinery2023

AI-driven Prices for Externalities and Sustainability in Production Markets

Boi Faltings, Aris Filos Ratsikas, Panayiotis Danassis

Traditional competitive markets do not account for negative externalities; indirect costs that some participants impose on others, such as the cost of over-appropriating a common-pool resource (which diminishes future stock, and thus harvest, for everyone) ...

Cornell University2023

Reuse of Load-Bearing Timber Elements - Case Study of a Lookout Tower in Lausanne, Switzerland

Corentin Jean Dominique Fivet, Jonas Warmuth, Edisson Xavier Estrella Arcos, Julius Natterer, Benoît Pascal Kälin

The construction industry is jeopardizing Earth’s environment; current mitigation efforts do not suffice; and additional sustainable strategies are required. One such strategy consists of reusing structural building elements over multiple service lives. In ...

Curran Associates, Inc.2023

Analysing the potential for modal shiftbased on the logic of modal choice

Vincent Kaufmann, Eloi Antoine Maël Bernier, Florian Lucien Jacques Masse, Ludy Juliana González Villamizar

This article explores how the logic underlying modal practices tends to modulate the population’s responsiveness to improvements in global transport supply. Based on a quantitative survey conducted in 2018–2019 among the working population of the cantons o ...

2023

Methodology for selecting measurement points that optimize information gain for model updating

Ian Smith, Numa Joy Bertola

Information collected through sensor measurements has the potential to improve knowledge of complex-system behavior, leading to better decisions related to system management. In this situation, and particularly when using digital twins, the quality of sens ...

2023

Between the Pattern and the Type: A short parallel story

Vasileios Chanis

Historically speaking, the notion of the type was reintroduced to the larger architectural discourse as a direct consequence of the crisis of the Modern. The task of revisiting the forms of the past also dictated the return of architectural methods that ha ...

2023