Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Regular expression

Related publications (25)

On Speed and Advantage : Results in Information Velocity and Monitoring Problems

Reka Inovan

Information theory has allowed us to determine the fundamental limit of various communication and algorithmic problems, e.g., the channel coding problem, the compression problem, and the hypothesis testing problem. In this work, we revisit the assumptions ...

EPFL2024

Enhancing Procedural Writing Through Personalized Example Retrieval: A Case Study on Cooking Recipes

Tanja Christina Käser Jacober, Antoine Bosselut, Thiemo Wambsganss, Seyed Parsa Neshaei, Jibril Albachir Frej, Paola Mejia Domenzain, Luca Mouchel, Tatjana Nazaretsky

Writing high-quality procedural texts is a challenging task for many learners. While example-based learning has shown promise as a feedback approach, a limitation arises when all learners receive the same content without considering their individual input ...

2024

Environment-dependent epistasis increases phenotypic diversity in gene regulatory networks

Florence Gauye, Florian Baier

Mutations to gene regulatory networks can be maladaptive or a source of evolutionary novelty. Epistasis con-founds our understanding of how mutations affect the expression patterns of gene regulatory networks, a chal-lenge exacerbated by the dependence of ...

AMER ASSOC ADVANCEMENT SCIENCE2023

A Research-Practice Partnership to Introduce Computer Science in Secondary School: Lessons from a Pilot Program

Francesco Mondada, Barbara Bruno, Jessica Elke Dehler Zufferey, Laila Abdelsalam El-Hamamsy, Helena Kovacs, Jean-Philippe Pellet

Context: Introducing Computer Science (CS) into formal education can be challenging, notably when considering the numerous stakeholders involved which include the students, teachers, schools, and policy makers. We believe these perspectives should be con ...

2023

From C/C plus plus Code to High-Performance Dataflow Circuits

Paolo Ienne, Andrea Guerrieri, Lana Josipovic

High-level synthesis (HLS) tools typically generate statically scheduled datapaths. Static scheduling implies that the resulting circuits have a hard time exploiting parallelism in code with potential memory dependences, with control dependences, or where ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

An unrefinement algorithm for planar THB-spline parameterizations

Annalisa Buffa

Unrefinement is a tool that allows to perform faster numerical simulations by controlling the level of precision in the specified area. We introduce an algorithm that creates a coarser geometry from an initial regular geometry, which is represented with re ...

ELSEVIER2022

Free Boundary Regularity for Almost Every Solution to the Signorini Problem

Xavier Fernandez-Real Girona

We investigate the regularity of the free boundary for the Signorini problem in Rn+1. It is known that regular points are (n−1)-dimensional and C∞. However, even for C∞ obstacles φ, the set of non-regular (or degenerate) points could be very large—e.g. wit ...

2021

Hmx1 regulates urfh1 expression in the craniofacial region in zebrafish

Daniel Francis Schorderet

H6 family homeobox 1 (HMX1) regulates multiple aspects of craniofacial development as it is widely expressed in the eye, peripheral ganglia and branchial arches. Mutations in HMX1 are linked to an ocular defect termed Oculo-auricular syndrome of Schorderet ...

2021

Zippy LL(1) Parsing with Derivatives

Viktor Kuncak, Jad Hamza, Romain Edelmann

In this paper, we present an efficient, functional, and formally verified parsing algorithm for LL(1) context-free expressions based on the concept of derivatives of formal languages. Parsing with derivatives is an elegant parsing technique, which, in the ...

ASSOC COMPUTING MACHINERY2020

Capture zone models of a multi-well system in aquifers bounded with regular and irregular inflow boundaries

David Andrew Barry

Being bounded by hydrological (inflow and barrier) boundaries, natural aquifers have regular/irregular shapes. Here, we consider aquifers bounded by segmental inflow (variable head) boundaries in which water is extracted/injected by a multi-well system. St ...

2020

On the Error Rate of the LoRa Modulation With Interference

Andreas Peter Burg, Alexios Konstantinos Balatsoukas Stimming, Orion Afisiadis

LoRa is a chirp spread-spectrum modulation developed for the Internet of Things (IoT). In this work, we examine the performance of LoRa in the presence of both additive white Gaussian noise and interference from another LoRa user. To this end, we extend an ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

Support and approximation properties of Hermite splines

Michaël Unser, Julien René Fageot, Shayan Aziznejad, Virginie Sophie Uhlmann

In this paper, we formally investigate two mathematical aspects of Hermite splines that are relevant to practical applications. We first demonstrate that Hermite splines are maximally localized, in the sense that the size of their support is minimal among ...

2020

Local approximation of the Maximum Cut in regular graphs

Etienne Michel François Bamas

This paper is devoted to the distributed complexity of finding an approximation of the maximum cut (MAXCUT) in graphs. A classical algorithm consists in letting each vertex choose its side of the cut uniformly at random. This does not require any communica ...

ELSEVIER2020

Propagation of fluid driven fractures in transversely isotropic material

Fatima-Ezzahra Moukhtari

The propagation of fluid driven fractures is used in a number of industrial applications (well stimulation of unconventional reservoirs, development of deep geothermal systems) but also occurs naturally (magmatic dyke intrusion). While the mechanics of hyd ...

EPFL2020

Statistical Physics Methods for Community Detection

Chun Lam Chan

This thesis is devoted to information-theoretic aspects of community detection. The importance of community detection is due to the massive amount of scientific data today that describes relationships between items from a network, e.g., a social network. I ...

EPFL2019

Particle size selection in capillary instability of locally heated coaxial fiber

François Gallaire, Pierre-Thomas Paul Brun, Isha Shukla

Harnessing fluidic instabilities to produce structures with robust and regular properties has recently emerged as a new fabrication paradigm. This approach is exemplified in the work of Gumennik et al. [Nat. Commun. 4, 2216 (2103)], in which the authors fa ...

AMER PHYSICAL SOC2019

Local Approximation of the Maximum Cut in Regular Graphs

Etienne Michel François Bamas

This paper is devoted to the distributed complexity of finding an approximation of the maximum cut in graphs. A classical algorithm consists in letting each vertex choose its side of the cut uniformly at random. This does not require any communication and ...

SPRINGER INTERNATIONAL PUBLISHING AG2019

The theoretical principles of the critical shear crack theory for punching shear failures and derivation of consistent closed-form design expressions

Aurelio Muttoni, Miguel Fernández Ruiz, João Tiago Ramos Bernardo de Santa Rita Simões

The mechanical model of the critical shear crack theory (CSCT) has been used in the past to investigate a number of shear-related problems, such as punching of slab–column connections with and without transverse reinforcement. In this paper, a discussion o ...

Structural concrete2018

Theoretical study of an electrostatically actuated torsional microsensor for biological applications

We develop an analytical formulation to calculate the induced resonance frequency shifts of an electrostatically actuated torsional microsensor due to an added bio-mass (E. coli). Based on a lumped-parameter model, we investigate the static and the linear ...

SPRINGER2018