Empty string

Formal sciences
Theoretical computer science
Programming language theory
Formal languages

About
Privacy
Disclaimer

Graph Chatbot

Related publications (4)

Evolution of reservoir flushing and emptying practices in a cascade of large reservoirs across several decades

Giovanni De Cesare, Pedro Filipe De Almeida Manso, Samuel Luke Vorlet, Sebastián Guillén Ludeña

Reservoir sedimentation is, at present, one of the main concerns in the operational management of dams in the Alps. For larger seasonal storage reservoirs, the main operational concern is the blockage of bottom outlets and turbine abrasion. In case of infr ...

2018

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings

Andrew Joseph Reynolds

We prove that the quantifier-free fragment of the theory of character strings with regular language membership constraints and linear integer constraints over string lengths is decidable. We do that by describing a sound, complete and terminating tableaux ...

Springer-Verlag Berlin2015

Mechanism of the Cassie-Wenzel transition via the atomistic and continuum string methods

Simone Meloni

The string method is a general and flexible strategy to compute the most probable transition path for an activated process (rare event). We apply here the atomistic string method in the density field to the Cassie-Wenzel transition, a central problem in th ...

Amer Inst Physics2015

What is the color of chocolate? - extracting color values of semantic expressions

Sabine Süsstrunk, Albrecht Johannes Lindner

We present a statistical framework to automatically determine an associated color for a given arbitrary semantic expression. The expression can not only be a color name but any word or character string. In addition to the color value, we are also able to c ...

2012

Page 1 of 1