Compile-Time Type-Driven Data Representation Transformations in Object-Oriented Languages
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.
Activin-A is a Transforming Growth Factor-B (TGFB)-related cytokine that regulates various biological processes including cell proliferation and differentiation through autocrine, paracrine or endocrine signaling. Activin-A expression is upregulated in mul ...
As Vidler suggests, the Third Typology’s radical proposition was to identify the nature of architectural elements as neither scientific nor technical but essentially architectural. For Martí Arís, this ‘essence’ of architecture is rooted in form-making, th ...
The research examines the entanglement of urban rationalities and industrial biopolitics in constructing company towns' identities and spatialities, providing different housing typologies for its workers. An epitome of spatial production under industrial p ...
Advances in computational capabilities and large volumes of experimental data have established computer simulations of brain tissue models as an important pillar in modern neuroscience. Alongside, a variety of domain specific languages (DSLs) have been dev ...
A type is not a model or an image to be copied, but the deep structure of how things are put together. The Symposium revisits the concept of type by critically reading its previous definitions and by offering a new interpretation of this rather elusive, but ...
Modern computing systems are so energy- intensive to make efficient cooling vital for their operation. This is giving rise to a variety of innovative cooling solutions based on a mix of traditional and new techniques. The design and engineering of these so ...
Conference abstract: A type is not a model or an image to be copied, but the deep structure of how things are put together. The Symposium revisits the concept of type by critically reading its previous definitions and by offering a new interpretation of thi ...
The increasing interest towards the concept of the so called ‘escape from the city’, fueled by the recent pandemic, prompt us to put the holiday villa at the center of research attention. In the collective imagination the villa is a manifesto of 'the good ...
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 ...
Compilers assure that any produced optimized code is semantically equivalent to the original code. However, even "correct" compilers may introduce security bugs as security properties go beyond translation correctness. Security bugs introduced by such corr ...
