Deterministic Automata for Unordered Trees by Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen

Get full text

Visibly Pushdown Modular Games by Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner

Get full text

Average-energy games by Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim G. Larsen, Simon Laursen

Get full text

Survival of Lactobacillus plantarum Encapsulated with Skim Milk and Arabic Gum after Spray Drying and Its Viability during Storage by H Rizqiati, BSL Jenie, N Nurhidayat, C Nurwitri

“…The remained number of the probiotic after one month of storage at 4oC and room temperature was 104-107 cfu/gand 102-105 cfu/g, respectively. (Animal Production 10(3): 179-187 (2008)   Key Words: Encapsulation, probiotic, skim milk, Arabic gum…”
Get full text

Linear-time Temporal Logic with Event Freezing Functions by Stefano Tonetta

Get full text

Excerpts from “Peripheral Paris” by Molly Warnock

“…Artistes américains en France, 1946-1964, Nantes, Musée d’arts de Nantes, Montpellier, Musée Fabre, Gand, Snoeck, 2021, 91-132. Included here (without the original footnotes) are the essay’s introduction, largely centered on Joan Mitchell; a passage on one of the central figures in the show, the painter Sam Francis; and the entirety of a section focused on Shirley Jaffe, Kimber Smith, and James Bishop, this last having been chosen partly to honor Bishop, who died in February 2021, and partly to coincide with Jaffe’s eagerly awaited retrospective at the Centre Georges Pompidou in the months April-August 2022. …”
Get full text

Profile Trees for Büchi Word Automata, with Application to Determinization by Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke

Get full text

Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs by Rayna Dimitrova, Rupak Majumdar

Get full text

Parameterized Games and Parameterized Automata by Arno Pauly

Get full text

On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions by Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron

Get full text

Temporal Logic and Model Checking for Operator Precedence Languages by Michele Chiari, Dino Mandrioli, Matteo Pradella

Get full text

Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination by Lisa Hutschenreiter, Christel Baier, Joachim Klein

Get full text

Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground by Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron

Get full text

L’utopisme postcolonial chez Fouad Laroui : La Vieille dame du Riad et Les Tribulations du dernier sijilmassi by Cristina Vezzaro

Get full text

The Fixpoint-Iteration Algorithm for Parity Games by Florian Bruse, Michael Falk, Martin Lange

Get full text

« Lire des livres, cultiver son jardin » : nature, aventure et tragicomique de la vie chez Patrick Deville by Pierre Schoentjes

Get full text

Cycle Detection in Computation Tree Logic by Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino

Get full text

The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs by Felix Canavoi, Erich Grädel, Roman Rabinovich

Get full text

Face De-Identification Using Convolutional Neural Network (CNN) Models for Visual-Copy Detection by Jinha Song, Juntae Kim, Jongho Nang

Get full text

Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games by Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero

Get full text