Publications associées à Modèle en cascade

Advancing efficiency and reliability in thermal analysis of laser powder-bed fusion

Christian Leinenbach, Rafal Wróbel, Thomas Mayer

In laser based powder-bed fusion of metals (PBF-LB/M), parts are fabricated by melting layers of powder using a high-intensity laser beam. During this process, the material is exposed to rapid cooling rates and intense thermal gradients, which are the unde ...

2023

Safety climate in university laboratories. Part I: model development and practical application

Thierry Meyer, Anastasia Jung

Safety climate assessment has become a regular practice for most organisations. However, it is often limited to questionnaires, providing only qualitative information. The indicator-based approach takes precedence over decision-making, and practical risk a ...

2023

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

STEPS 4.0: Fast and memory-efficient molecular simulations of neurons at the nanoscale

Felix Schürmann, James Gonzalo King, Pramod Shivaji Kumbhar, Omar Awile, Christos Kotsalos, Tristan Mathieu Carel, Iain Hepburn, Samuel Marie A Melchior, Weiliang Chen, Baudouin Paul Michel Maria Joseph Del Marmol

Recent advances in computational neuroscience have demonstrated the usefulness and importance of stochastic, spatial reaction-diffusion simulations. However, ever increasing model complexity renders traditional serial solvers, as well as naive parallel imp ...

FRONTIERS MEDIA SA2022

Life-Cycle Assessment as a decision-support tool for early phases of urban planning: evaluating applicability through a comparative approach

Marilyne Andersen, Thomas Bernard Paul Jusselme, Émilie Nault, Katarina Slavkovic

While ambitious environmental objectives are being set for new constructions in Switzerland, the assessment of urban-scale projects and comparison of their performance to national targets are made possible by a growing number of life-cycle assessment (LCA) ...

IOP Publishing2019

Suitability of neighborhood-scale massing models for daylight performance evaluation

Marilyne Andersen, Luisa Pastore, Minu Agarwal

Access to daylight in buildings is the combined effect of a building’s own physical attributes along with its surrounding physical context. There is thus growing interest among researchers to extend the use of building performance simulation (BPS) tools fo ...

2017

Influence of Lap Splices on the Deformation Capacity of RC Walls. I: Database Assembly, Recent Experimental Data, and Findings for Model Development

Katrin Beyer, João Saraiva Esteves Pacheco de Almeida, Danilo Tarquini, Ovidiu Prodan

Recent postearthquake missions have shown that reinforced concrete (RC) wall buildings can experience critical damage owing to lap splices, which led to a recent surge in experimental tests of walls with such constructional details. Most of the 16 wall tes ...

Asce-Amer Soc Civil Engineers2017

Architecture-based Design: A Satellite On-board Software Case Study

Joseph Sifakis, Simon Bliudze, Anton Ivanov, Anastasia Mavridou

In this case study, we apply the architecture-based design approach to the control software of the CubETH satellite. Architectures are a means for ensuring global coordination properties and thus, achieving correctness of complex systems by construction. T ...

Springer2016

Prediction of logP for Pt(II) and Pt(IV) complexes: Comparison of statistical and quantum-chemistry based approaches

Hristo Plamenov Varbanov

The octanol/water partition coefficient, logP, is one of the most important physico-chemical parameters for the development of new metal-based anticancer drugs with improved pharmacokinetic properties. This study addresses an issue with the absence of publ ...

Elsevier Science Inc2016

On recursion-free Horn clauses and Craig interpolation

Viktor Kuncak, Hossein Hojjat

One of the main challenges in software verification is efficient and precise analysis of programs with procedures and loops. Interpolation methods remain among the most promising techniques for such verification. To accommodate the demands of various progr ...

Springer2015