Publications associées à Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

Publications associées (31)

Modified capillary number to standardize droplet generation in suction-driven microfluidics

In droplet microfluidic devices with suction-based flow control, the microchannel geometry and suction pressure at the outlet govern the dynamic properties of the two phases that influence the droplet generation. Therefore, it is critical to understand the ...

Springer Heidelberg2024

Strategy to systematically design and deploy the ITER plasma control system: A system engineering and model-based design approach

Richard Pitts, Federico Alberto Alfredo Felici, Federico Pesamosca, Anna Ngoc Minh Trang Vu

The paper details the process of developing the ITER Plasma Control System (PCS), that is, how to design and deploy it systematically, in the most efficient and effective manner. The integrated nature of the ITER PCS, with its multitude of coupled control ...

Elsevier Science Sa2024

Dynamical simulation via quantum machine learning with provable generalization

Zoë Holmes

Much attention has been paid to dynamical simulation and quantum machine learning (QML) independently as applications for quantum advantage, while the possibility of using QML to enhance dynamical simulations has not been thoroughly investigated. Here we d ...

Amer Physical Soc2024

A semantic model-based systems engineering approach for assessing the operational performance of metal forming process

Dimitrios Kyritsis, Jinzhi Lu

Metal Forming is a basic and essential industrial process to provide materials for constructing complex products. To design an efficient metal forming process, the functional requirements and operational performance are two important aspects to be consider ...

Pergamon-Elsevier Science Ltd2024

Oligolithic Cross-task Optimizations across Isolated Workloads

Anastasia Ailamaki, Panagiotis Sioulas, Eleni Zapridou

Enterprises collect data in large volumes and leverage them to drive numerous concurrent decisions and business processes. Their teams deploy multiple applications that often operate concurrently on the same data and infrastructure but have widely differen ...

2024

An aircraft assembly process formalism and verification method based on semantic modeling and MBSE

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

The aircraft assembly system is highly complex involving different stakeholders from multiple domains. The design of such a system requires comprehensive consideration of various industrial scenarios aiming to optimize key performance indicators. Tradition ...

Elsevier Sci Ltd2024

RE:SLAB — a load bearing system for open-ended component reuse in building structures

Corentin Jean Dominique Fivet, Jan Friedrich Georg Brütting, Dario Redaelli, Alex-Manuel Muresan, Edisson Xavier Estrella Arcos

The construction industry plays a major role in the high levels of greenhouse gas emissions, resource consumption, and waste generation observed nowadays. Key to the circular economy, structural component reuse arises as a promising solution to divert cons ...

2024

Generative AI-Enabled Conversational Interaction to Support Self-Directed Learning Experiences in Transversal Computational Thinking

Denis Gillet, Adrian Christian Holzer, Juan Carlos Farah, Abdessalam Ouaazki

As computational thinking (CT) becomes increasingly acknowledged as an important skill in education, self-directed learning (SDL) emerges as a key strategy for developing this capability. The advent of generative AI (GenAI) conversational agents has disrup ...

2024

Evaluating initial usability of a hand augmentation device across a large and diverse sample

Giulia Dominijanni

The advancement of motor augmentation and the broader domain of human-machine interaction rely on a seamless integration with users' physical and cognitive capabilities. These considerations may markedly fluctuate among individuals on the basis of their ag ...

Amer Assoc Advancement Science2024

An interior penalty coupling strategy for isogeometric non-conformal Kirchhoff-Love shell patches

Annalisa Buffa, Pablo Antolin Sanchez, Giuliano Guarino

This work focuses on the coupling of trimmed shell patches using Isogeometric Analysis, based on higher continuity splines that seamlessly meet the

C^1

requirement of Kirchhoff-Love-based discretizations. Weak enforcement of coupling conditions is achiev ...

Springer2024

The Current State of the OBI DICT Project: A Bilingual e-Dictionary of Oracle-Bone Inscriptions with AI Image Recognition

Shuo Wen

This article reports on the current state of the OBI DICT project, a bilingual e-dictionary of oracle-bone inscriptions (OBI), incorporating artificial intelligence (AI) image recognition technology. It first provides a brief overview of the development of ...

Buro Van Die Wat2024

Text-to-Microstructure Generation Using Generative Deep Learning

Jamie Paik, Xiaoyang Zheng

Designing novel materials is greatly dependent on understanding the design principles, physical mechanisms, and modeling methods of material microstructures, requiring experienced designers with expertise and several rounds of trial and error. Although rec ...

Wiley-V C H Verlag Gmbh2024

Design ontology for cognitive thread supporting traceability management in model-based systems engineering

Dimitrios Kyritsis, Jinzhi Lu, Yan Yan

Industrial information integration engineering (IIIE) is an interdisciplinary field to facilitate the industrial information integration process. In the age of complex and large-scale systems, model-based systems engineering (MBSE) is widely adopted in ind ...

Elsevier2024

A Tunable Self-Offloading Module for Plantar Pressure Regulation in Diabetic Patients

Yves Perriard, Yoan René Cyrille Civet, Paolo Germano, Christian Köchli, Sofia Lydia Ntella, Bhawnath Tiwari, Kenny Jeanmonod

Plantar pressure plays a crucial role in the pathogenesis of foot ulcers among patients with diabetes and peripheral polyneuropathy. Pressure relief is a key requirement for both the prevention and treatment of plantar ulcers. Conventional medical practice ...

2024

Lessons Learned from Data-Driven Building Control Experiments: Contrasting Gaussian Process-based MPC, Bilevel DeePC, and Deep Reinforcement Learning

Colin Neil Jones, Yingzhao Lian, Emilio Maddalena, Loris Di Natale, Jicheng Shi

This manuscript offers the perspective of experimentalists on a number of modern data-driven techniques: model predictive control relying on Gaussian processes, adaptive data-driven control based on behavioral theory, and deep reinforcement learning. These ...

2023

A Reuse-Ready Timber Slab-and-Column System for Modular Building Structures

Corentin Jean Dominique Fivet, Jan Friedrich Georg Brütting, Jonas Warmuth, Edisson Xavier Estrella Arcos, Alex-Manuel Muresan

The construction industry is a significant contributor to resource consumption and waste generation. To address this issue, component reuse has been proposed as a way to prevent valuable building elements from being discarded and avoid producing new ones. ...

Curran Associates, Inc.2023

Modeling high-entropy transition metal alloys with alchemical compression

Michele Ceriotti, Sandip De, Guillaume André Jean Fraux, Nataliya Lopanitsyna

Alloys composed of several elements in roughly equimolar composition, often referred to as high-entropy alloys, have long been of interest for their thermodynamics and peculiar mechanical properties, and more recently for their potential application in cat ...

AMER PHYSICAL SOC2023

A Conceptual Framework for Integrating Conversational Agents in Digital Education

Juan Carlos Farah

The presence of conversational agents (or chatbots) in educational contexts has been steadily increasing over the past few years. Recent surveys have shown widespread interest in the use of chatbots in education, both for research and practice. Although th ...

EPFL2023

Prompting Large Language Models to Power Educational Chatbots

Fanny Kim-Lan Lasne, Denis Gillet, Juan Carlos Farah, Sandy Ingram, Basile Maurice Pierre Spaenlehauer

The recent rise in both popularity and performance of large language models has garnered considerable interest regarding their applicability to education. Technologies like ChatGPT, which can engage in human-like dialog, have already disrupted educational ...

Springer2023

Plasma-Assisted Hybrid Vapour Deposition Technology for Thin Film Fabrication

Caroline Hain

Continuous development of thin film deposition technologies is essential for the fabrication of films that meet the specific requirements of their target applications and working conditions. Therefore, it is necessary to increase the number of accessible a ...

EPFL2023