Semantics-Driven Interoperability between Scala.js and JavaScript
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
Patterns in nature arise from processes interacting across a continuum of spatial scales, where new relationships emerge at each level of investigation. These patterns are nested features encompassing fine-scale local patterns, such as topography and geolo ...
Global change exposes ecosystems to changes in the frequency, magnitude, and concomitancy of disturbances, which impact the composition and functioning of these systems. Here, we experimentally evaluate the effects of salinity disturbances and eutrophicati ...
Glacier-fed streams are the cold, ultra-oligotrophic, and unstable streams that are fed by glacial meltwater. Despite these extreme conditions, they harbour a diverse and abundant microbial diversity that develops into biofilms, covering the boulders and s ...
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 ...
River networks play a crucial role in the global carbon cycle, as relevant sources of carbon dioxide (CO2) to the atmosphere. Advancements in high-frequency monitoring in aquatic environments have enabled measurement of dissolved CO2 concentration at tempo ...
While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...
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 ...
Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...
Soil microbial communities are vital for multiple ecosystem processes and services. In particular, soil microbial food webs are key determinants of soil biodiversity, functioning and stability. Unclear, however, is how struc-tural features of food webs, su ...
Glacial outwash plains are developing fast in the Arctic, a region which warms two to four times faster than the global average. These new landscapes are climate relevant. They can be sources and sinks of greenhouse gas fluxes and they expose large amounts ...