Christoph Frei

2024. 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), London, United Kingdom, January 15-16, 2024.

Notice détaillée

Texte intégral

Parametric Reduced Order Model of a Gas Bearings Supported Rotor

D. Goutaudier; J. Schiffmann; F. Nobile

Journal of Engineering for Gas Turbines and Power. 2024-01-01. DOI : 10.1115/1.4063424.

Notice détaillée

Consulter chez l'éditeur

Orthologic with Axioms

S. Guilloud; V. Kuncak

2024. 51st ACM SIGPLAN Symposium on Principles of Programming Languages, London, United Kingdom, January 17-19, 2024.

Notice détaillée

Texte intégral

Experimental Investigation on Size-Effect of Rubble Stone Masonry Walls Under In-Plane Horizontal Loading: Overview and Preliminary Results

S. Saloustros; K. Beyer

2024. 13th International Conference on Structural Analysis of Historical Constructions, Kyoto, Japan, 12-15, September, 2023. p. 463-471. DOI : 10.1007/978-3-031-39603-8_38.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

From trees to barcodes and back again II: Combinatorial and probabilistic aspects of a topological inverse problem

J. Curry; J. DeSha; A. Garin; K. Hess; L. Kanari et al.

Computational Geometry. 2024. DOI : 10.1016/j.comgeo.2023.102031.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Towards Visual Saliency Explanations of Face Verification

Y. Lu; Z. Xu; T. Ebrahimi

2024. Winter Conference on Applications of Computer Vision, Waikoloa, Hawaii, United States of America, January 4, 2024.

Notice détaillée

Texte intégral

Data-driven fixed-structure frequency-based H2 and H∞ controller design

P. Schuchert; V. Gupta; A. Karimi

Automatica. 2024. DOI : 10.1016/j.automatica.2023.111398.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Цена автономии^ Университет, «украинский вопрос», (не)академическая память в долгом двадцатом веке [The Price of Autonomy: University, the "Ukrainian question," (un)academic memory In the long twentieth century]

A. Dmitriev

Peter Lang Verlag.

Notice détaillée

Improved antibody pharmacokinetics by disruption of contiguous positive surface potential and charge reduction using alternate human framework

R. Ollier; A. Fuchs; F. Gauye; K. Piorkowska; S. Menant et al.

Mabs. 2023-12-31. DOI : 10.1080/19420862.2023.2232087.

Notice détaillée

Consulter chez l'éditeur

A PD-L1/EGFR bispecific antibody combines immune checkpoint blockade and direct anti-cancer action for an enhanced anti-tumor response

L. Rubio-Perez; R. Lazaro-Gorines; S. L. Harwood; M. Compte; R. Navarro et al.

Oncoimmunology. 2023-12-31. DOI : 10.1080/2162402X.2023.2205336.

Notice détaillée

Consulter chez l'éditeur

C-shells: Deployable Gridshells with Curved Beams

Q. Becker; S. Suzuki; Y. Ren; D. Pellis; F. J. Panetta et al.

ACM Transactions on Graphics. 2023-12-15. DOI : 10.1145/3618366.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Gradient-based optimisation of the conditional-value-at-risk using the multi-level Monte Carlo method

S. S. Ganesh; F. Nobile

Journal of Computational Physics. 2023-12-15. DOI : 10.1016/j.jcp.2023.112523.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Epidemic Learning: Boosting Decentralized Learning with Randomized Communication

M. A. de Vos; S. Farhadkhani; R. Guerraoui; A.-M. Kermarrec; R. Pereira Pires et al.

2023-12-14. 37th Conference on Neural Information Processing Systems (NeurIPS 2023), New Orleans, Louisiana, USA, December 10-16, 2023.

Notice détaillée

Texte intégral

Impacts of snow-farming on alpine soil and vegetation: A case study from the Swiss Alps

A. Buttler; R. Teuscher; N. Deschamps; K. Gavazov; L. Bragazza et al.

Science Of The Total Environment. 2023-12-10. DOI : 10.1016/j.scitotenv.2023.166225.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Efficacy and health benefits of different water distribution systems in informal settlements: a cross-sectional study in Nairobi, Kenya

V. Pessoa Colombo; J. Chenal; F. Orina; H. Meme; J. Utzinger

19th International Conference on Urban Health (ICUH 2023), Atlanta, USA, 6-9 November 2023.

Notice détaillée

The Effect of Wind on the Surface Snow Microstructure – Experimental Insights

B. Walter; H. Weigel; S. Wahl; H. Loewe

AGU23 Annual Meeting: Wide. Open. Science., San Francisco, CA, USA, 11-15 December 2023.

Notice détaillée

Texte intégral

Characterizing airborne snow metamorphism using stable water isotope measurements in snow and vapor from ring wind tunnel experiments

S. Wahl; B. Walter; F. Aemisegger; L. Bianchi; M. Lehning

AGU23 Annual Meeting: Wide. Open. Science., San Francisco, CA, USA, 11-15 December 2023.

Notice détaillée

Texte intégral

Mitigation of divertor edge localised mode power loading by impurity seeding

M. Komm; M. Faitsch; S. Henderson; M. Bernert; D. Brida et al.

Nuclear Fusion. 2023-12-01. DOI : 10.1088/1741-4326/acf4aa.

Notice détaillée

Consulter chez l'éditeur

Comparison of momentum transport in matched hydrogen and deuterium H-mode plasmas in ASDEX Upgrade

C. F. B. Zimmermann; R. M. Mcdermott; C. Angioni; B. P. Duval; R. Dux et al.

Nuclear Fusion. 2023-12-01. DOI : 10.1088/1741-4326/acf387.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Fast dynamic 1D simulation of divertor plasmas with neural PDE surrogates

Y. Poels; G. Derks; E. Westerhof; K. Minartz; S. Wiesen et al.

Nuclear Fusion. 2023-12-01. DOI : 10.1088/1741-4326/acf70d.

Notice détaillée

Consulter chez l'éditeur

Twisting instabilities in elastic ribbons with inhomogeneous pre-stress: A macroscopic analog of thermodynamic phase transition

M. Gomez; P. M. Reis; B. Audoly

Journal Of The Mechanics And Physics Of Solids. 2023-12-01. DOI : 10.1016/j.jmps.2023.105420.

Notice détaillée

Consulter chez l'éditeur

Reduced order modeling of parametrized pulsatile blood flows: Hematocrit percentage and heart rate

C. Farias; C. Bayona-Roa; E. Castillo; R. C. Cabrales; R. Reyes

International Journal Of Engineering Science. 2023-12-01. DOI : 10.1016/j.ijengsci.2023.103943.

Notice détaillée

Consulter chez l'éditeur

Highly Efficient and Stable FAPbI(3) Perovskite Solar Cells and Modules Based on Exposure of the (011) Facet

K. Zhang; B. Ding; C. Wang; P. Shi; X. Zhang et al.

Nano-Micro Letters. 2023-12-01. DOI : 10.1007/s40820-023-01103-8.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Double Layer Composite Electrode Strategy for Efficient Perovskite Solar Cells with Excellent Reverse-Bias Stability (vol 15, 12, 2022)

C. Jiang; J. Zhou; H. Li; L. Tan; M. Li et al.

Nano-Micro Letters. 2023-12-01. DOI : 10.1007/s40820-023-01012-w.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Double Layer Composite Electrode Strategy for Efficient Perovskite Solar Cells with Excellent Reverse-Bias Stability

C. Jiang; J. Zhou; H. Li; L. Tan; M. Li et al.

Nano-Micro Letters. 2023-12-01. DOI : 10.1007/s40820-022-00985-4.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Techno-economic and environmental analysis of high temperature heat pumps integration into industrial processes: the ammonia plant and pulp mill cases

D. A. Florez Orrego; M. E. G. Ribeiro Domingos; F. Maréchal

Sustainable Energy Technologies and Assessments. 2023-11-30. DOI : 10.1016/j.seta.2023.103560.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Building a Knowledge Graph of Chinese Kung Fu Masters From Heterogeneous Bilingual Data

Y. Hou; L. Yuan

Journal of Open Humanities Data. 2023-11-24. DOI : 10.5334/johd.136.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Sociétés frontalières

G. Clément; A. Gumy; A. Audikana Arriola; G. Drevon; V. Kaufmann et al.

Lausanne: EPFL Press.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

A Topological Data Analysis of Navigation Paths within Digital Libraries

B. Kaabachi; S. Dumas Primbault

2023-11-23. Computational Humanities Research 2023, Paris, France, December 6-8, 2023. p. 111-134.

Notice détaillée

Texte intégral

Avian-Inspired Claws Enable Robot Perching or Walking

M. Askari; W. D. Shin; D. Lenherr; W. J. Stewart; D. Floreano

IEEE/ASME Transactions on Mechatronics. 2023-11-21. DOI : 10.1109/TMECH.2023.3331357.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Quantifying online citizen science: Dynamics and demographics of public participation in science

B. J. Strasser; E. Tancoigne; J. Baudry; S. Piguet; H. Spiers et al.

PLOS ONE. 2023-11-21. DOI : 10.1371/journal.pone.0293289.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Framework to evaluate the value of monitoring-technique information for structural performance monitoring

N. J. Bertola; E. Brühwiler

Structure and Infrastructure Engineering. 2023-11-16. DOI : 10.1080/15732479.2023.2280727.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Zinc carboxylate optimization strategy for extending Al-air battery system's lifetime

M. Wei; K. Wang; P. Pei; L. Zhong; A. Zuttel et al.

Applied Energy. 2023-11-15. DOI : 10.1016/j.apenergy.2023.121804.

Notice détaillée

Consulter chez l'éditeur

Inter-comparison of spatial models for high shares of renewable electricity in Switzerland

V. Heinisch; J. Dujardin; P. Gabrielli; P. Jain; M. Lehning et al.

Applied Energy. 2023-11-15. DOI : 10.1016/j.apenergy.2023.121700.

Notice détaillée

Consulter chez l'éditeur

Field-scale assessment of direct and indirect effects of soil texture on organic matter mineralization during a dry summer

H. Li; A. Francoys; X. Wang; S. Zhang; O. Mendoza et al.

Science Of The Total Environment. 2023-11-15. DOI : 10.1016/j.scitotenv.2023.165749.

Notice détaillée

Consulter chez l'éditeur

Band engineering enhances the electrochemical properties by constructing TiO2 NRs-MoS2 NSFs flexible electrode

L. Yan; L. Wang; Q. Liu; H. Tian; W. Tan et al.

Journal Of Colloid And Interface Science. 2023-11-15. DOI : 10.1016/j.jcis.2023.07.004.

Notice détaillée

Consulter chez l'éditeur

Techno-economic analysis of solar hydrogen production via PV power/concentrated solar heat driven solid oxide electrolysis with electrical/thermal energy storage

Y. Zhang; Z. Wang; Z. Du; Y. Li; M. Qian et al.

Journal Of Energy Storage. 2023-11-15. DOI : 10.1016/j.est.2023.107986.

Notice détaillée

Consulter chez l'éditeur

Experimental History and the History of Experience: Reconstructing the Scientific Expeditions of the 1770s to Mont Buet

J. Baudry

Kolloquium Geschichte des 19. bis 21. Jahrhunderts, Universität Basel, November 14, 2023.

Notice détaillée

Renewable Energy Integration and Waste Heat Recovery for the Production of Sustainable Jet Fuel and Decarbonization of Industrial Heating Applications

D. A. Florez Orrego; D. Dardor; M. E. G. Ribeiro Domingos; R. Germanier; F. Maréchal

2023-11-12. 2023 AIChE Annual Meeting, Orlando, Florida, USA, November 5th-10th.

Notice détaillée

Texte intégral

Combinatory Array Logic with Sums

R. Raya

2023-11-11

Notice détaillée

Texte intégral

MIDI BASCULE S3E8 Reportage - Habiter durablement à la campagne : une grange devenue cluster

L. Eidenbenz; A. N. E. de Buren

2023-11-10.

Notice détaillée

Voltage-driven Chemical Reactions Enable the Synthesis of Tunable Liquid Ga – Metal Nanoparticles

V. Okatenko; C. M. A. Boulanger; A. N. Chen; K. Kumar; P. A. Schouwink et al.

J. Am. Chem.Soc.. 2023-11-10. DOI : 10.1021/jacs.3c09828.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Culture du bâti dans l'existant: Inventaire et contexte/ Baukultur im Bestand: Inventar und Kontext

S. Nichols; D. Dietz; A. Widmer

2023-11-08. Culture du bâti dans l'existant/ Baukultur im Bestand.

Notice détaillée

Concours pour étudiantes et étudiants "Passerelles écologiques" - Rapport du jury

E. Rey; P. P. Michon; B. J. Meylan

2023-11-08

Notice détaillée

Texte intégral

Evaluating contrast sensitivity in early and intermediate age-related Macular Degeneration with the Quick Contrast Sensitivity Function

P. Anders; G. L. Traber; U. Hall; S. A. Garobbio; E. J. Chan et al.

Investigative Opthalmology & Visual Science. 2023-11-07. DOI : 10.1167/iovs.64.14.7.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

La politique climatique de la Suisse

P. Thalmann

2023-11-06.

Notice détaillée

Texte intégral

Decarbonizing The Production of Primary Aluminium Using Renewable Resource

D. Dardor; D. A. Florez Orrego; M. E. G. Ribeiro Domingos; R. Germanier; M. Margni et al.

2023-11-05. 2023 AIChE Annual Meeting.

Notice détaillée

Texte intégral

Studentische Archäologische Forschungstagung II: Wir Forschen!

Z. Bruckmann

Studentische Archäologische Forschungstagung II: Wir Forschen!, Zurich, Suisse, 04.11.2023.

Notice détaillée

Technical description of the EPFL submission to the JPEG DNA CfP

Davi Lazzarotto; Jorge Encinas Ramos; M. Testolina; T. Ebrahimi

2023-11-03

Notice détaillée

Texte intégral

Opération Béton

S. Nichols

Material Investigations: Concrete in Switzerland, University of Basel, Switzerland, 2023-11-02.

Notice détaillée

Robust Distributed Learning: Tight Error Bounds and Breakdown Point under Data Heterogeneity

Y. Allouah; R. Guerraoui; N. Gupta; R. Pinot; G. Rizk

2023-11-02. Thirty-seventh Conference on Neural Information Processing Systems, New Orleans, LA, USA, December 10-16, 2023.

Notice détaillée

Texte intégral

Motility and Societal Transformations

V. Kaufmann

Mobility / Society ; Zürich: Lars Müller Publishers, 2023-11.

Notice détaillée

Technology Mapping Using Multi-output Library Cells

A. Tempia Calvino; G. De Micheli

2023-11-01. IEEE/ACM International Conference on Computer-Aided Design (ICCAD), San Fransisco, California, USA, October 29 - November 2, 2023.

Notice détaillée

Texte intégral

Mechanism balancing taxonomy

H. P.-M. B. Schneegans; J. J. De Jong; F. Cosandier; S. Henein

Mechanism and Machine Theory. 2023-11-01. DOI : 10.1016/j.mechmachtheory.2023.105518.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Docta Manus Drawing Structures 2022

P. Guaita; R. Baur; D. Fernandez-Ordoñez; E. Corres Sojo

2023-11-01.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Domain knowledge-informed synthetic fault sample generation with health data map for cross-domain planetary gearbox fault diagnosis

J. M. Ha; O. Fink

Mechanical Systems And Signal Processing. 2023-11-01. DOI : 10.1016/j.ymssp.2023.110680.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Drivers and barriers to participation in the sharing economy: Does the environment really matter? A systematic review of 175 scientific articles

A. Merino-Saum; P. A. R. Jemio; R. Hansmann; C. R. Binder

Resources Conservation And Recycling. 2023-11-01. DOI : 10.1016/j.resconrec.2023.107121.

Notice détaillée

Consulter chez l'éditeur

High-order accurate well-balanced energy stable adaptive moving mesh finite difference schemes for the shallow water equations with non-flat bottom topography

Z. Zhang; J. Duan; H. Tang

Journal Of Computational Physics. 2023-11-01. DOI : 10.1016/j.jcp.2023.112451.

Notice détaillée

Consulter chez l'éditeur

From concrete waste to walls An investigation of reclamation and digital technologies for new load-bearing structures

M. Grangeot; C. Fivet; S. Parascho

2023-11-01. cisbat 2023 THE BUILT ENVIRONMENT IN TRANSITION Hybrid International Scientific Conference, Lausanne, Switzerland, September 13-15, 2023.

Notice détaillée

Texte intégral

Coarsest-level improvements in multigrid for lattice QCD on large-scale computers

J. Espinoza-Valverde; A. Frommer; G. Ramirez-Hidalgo; M. Rottmann

Computer Physics Communications. 2023-11-01. DOI : 10.1016/j.cpc.2023.108869.

Notice détaillée

Consulter chez l'éditeur

Detecting whether a stochastic process is finitely expressed in a basis

N. Mohammadi; V. M. Panaretos

Applied And Computational Harmonic Analysis. 2023-11-01. DOI : 10.1016/j.acha.2023.101578.

Notice détaillée

Consulter chez l'éditeur

Stable parameterization of continuous and piecewise-linear functions

A. Goujon; J. Campos; M. Unser

Applied And Computational Harmonic Analysis. 2023-11-01. DOI : 10.1016/j.acha.2023.101581.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

The Politics of Sustainability: Energy Efficiency, Carbon Pricing, and the Circular Economy

M. Aklin; P. Bayer

Handbook on the Geopolitics of the Energy Transition; Cheltenham Glos, UK: Edward Elgar Publishing, 2023-11-01.

Notice détaillée

Upper bounds on technoemission rates from 60 years of "silence"

C. Grimaldi

Acta Astronautica. 2023-11-01. DOI : 10.1016/j.actaastro.2023.07.024.

Notice détaillée

Consulter chez l'éditeur

3-D contact and pore network analysis of MICP cemented sands

N. Roy; J. D. Frost; D. Terzis

Granular Matter. 2023-11-01. DOI : 10.1007/s10035-023-01347-6.

Notice détaillée

Consulter chez l'éditeur

Mechanical Characterisation of Porcine Urethra: Non Linear Constitutive Models and Experimental Approach

Q. De Menech; S. Konstantinidi; T. Martinez; A. Benouhiba; Y. Civet et al.

2023-10-31. Seventh International Conference on Advances in Biomedical Engineering (ICABME 2023), Beirut, Libanon (hybrid), October 12-13, 2023. p. 35-40. DOI : 10.1109/ICABME59496.2023.10293025.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

The implementation of thermal and UV nanoimprint lithography for selective area epitaxy

A. Hager; L. Gueniat; N. Morgan; S. P. Ramanandan; A. Rudra et al.

Nanotechnology. 2023-10-30. DOI : 10.1088/1361-6528/acea87.

Notice détaillée

Consulter chez l'éditeur

Influence of macular pigment on the sensitivity to discomfort glare from daylight

S. Jain; J. Wienold; C. Eandi; S. Gisselbaek; A. Kawasaki et al.

Scientific Reports. 2023-10-29. DOI : 10.1038/s41598-023-45785-x.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Rock-Flow Cell Parameters Evaluation Using Ultrasound Doppler Velocimetry

A. Stakowian; G. N. D. Dextre; L. F. Botton; E. N. Dos Santos; F. R. Coutinho et al.

2023-10-28. 14th ISUD - International Symposium on Ultrasonic Doppler Methods for Fluid Mechanics and Fluid Engineering, Kobe, Japan, October 23-25, 2023. p. 107-110.

Notice détaillée

Texte intégral

Characterization of Thruster-Induced Turbulence for Fine Sediment Suspension

M. Marshall; A. Amini; G. De Cesare; A. L. Stakowian

2023-10-28. 14th ISUD - International Symposium on Ultrasonic Doppler Methods for Fluid Mechanics and Fluid Engineering, Kobe, Japan, November 17-18, 2023. p. 95-98.

Notice détaillée

Texte intégral

Influence of the shear stress on fine sediment exchanges with the substrate using UVP measurements

R. M. Dubuis; G. De Cesare

2023-10-28. 14th ISUD - International Symposium on Ultrasonic Doppler Methods for Fluid Mechanics and Fluid Engineering, Kobe, Japan, November 17-18, 2023. p. 91-94.

Notice détaillée

Texte intégral

Ultrasonic sediment flux profiling with ACVP Technology: application to sediment-laden Boundary Layer flows

D. Hurther; G. De Cesare

2023-10-28. 14th ISUD - International Symposium on Ultrasonic Doppler Methods for Fluid Mechanics and Fluid Engineering, Kobe, Japan, October 23-25, 2023. p. 111-114.

Notice détaillée

Texte intégral

Improved Waste Heat Management and Energy Integration in an Aluminum Annealing Continuous Furnace Using a Machine Learning Approach

M. Andayesh; D. A. Florez Orrego; R. Germanier; M. Gatti; F. Maréchal

Entropy MDPI. 2023-10-27. DOI : 10.3390/e25111486.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Process modeling and integration of hydrogen and synthetic natural gas production in a kraft pulp mill via black liquor gasification

M. E. G. Ribeiro Domingos; D. A. Florez Orrego; M. Teles dos Santos; S. Oliveira Junior; F. Maréchal

Renewable Energy. 2023-10-27. DOI : 10.1016/j.renene.2023.119396.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Renforcement et élargissement du Pont de Ferpècle via un clavage des culées en CFUP armé

N. J. Bertola; E. Brühwiler; J.-F. Favre

2023-10-26. Quatrième journée d'étude CFUP : Composite Cimentaire Fibré Ultra-Performant: convevoir, dimensionner, construire, Fribourg, Switzerland, October 26, 2023.

Notice détaillée

Texte intégral

Un nouveau pont ferroviaire entièrement en CFUP – Pont de l’Aiguillon

N. T. Trinh; E. Brühwiler; E. Garcia; N. J. Bertola

2023-10-26. Quatrième journée d'étude CFUP : Composite Cimentaire Fibré Ultra-Performant: convevoir, dimensionner, construire, Fribourg, Switzerland, October 26, 2023.

Notice détaillée

Texte intégral

Sustaining Knowledge and Governing its Infrastructure in the Digital Age: An Integrated View

P. Mounier; S. Dumas Primbault

2023-10-24

Notice détaillée

Texte intégral

Immobilier: «il y a peu de spéculation immobilière en Suisse», estime un expert

P. Thalmann

2023-10-24.

Notice détaillée

Texte intégral

Logic Synthesis for Emerging Technologies

G. De Micheli

2023-10-24. 15th IEEE International Conference on ASIC (ASICON 2023), Nanjing, China, October 24-27, 2023.

Notice détaillée

Low-loss contacts on textured substrates for inverted perovskite solar cells

S. M. Park; M. Wei; N. Lempesis; W. Yu; T. Hossain et al.

Nature. 2023-10-23. DOI : 10.1038/s41586-023-06745-7.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Precision measurement of CP violation in the penguin-mediated decay B0s→ϕϕ

R. AAij; L. Shchutska

Phys. Rev. Lett.. 2023-10-23. DOI : 10.1103/PhysRevLett.131.171802.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

A Fantasy of Diversity for the Alpine Pastures: Relearning Reslience in the Zurcher Oberland

A. Gajjar; A. Clarke; C. Kaproulia

2nd Participatory Design Conference, Transforming the City: Public Space and Environment Inequalities and Democracy , Athens, Greece, 22 October 2023.

Notice détaillée

Diagrammatic notations for interactive theorem proving

S. Chiplunkar; C. Pit-Claudel

2023-10-22. 4th International Workshop on Human Aspects of Types and Reasoning Assistants, Cascais, Portugal, October 22, 2023. DOI : 10.5075/epfl-SYSTEMF-305144.

Notice détaillée

Texte intégral – Consulter chez l'éditeur

Multi-Stage Vertex-Centric Programming for Agent-Based Simulations

Z. Tian

2023-10-22. International Conference on Generative Programming: Concepts and Experiences, Cascais, Portugal, October 22--23, 2023. DOI : 10.1145/3624007.3624057.

Notice détaillée

Texte intégral – Consulter chez l'éditeur