Version v1.3.6 - PeriLab - Peridynamic Laboratory by Christian Willberg, Jan-Timo Hesse, Anna Pernatii

Subjects: Get full text

Interdisciplinarity through internationality: Results from a US–Mexico graduate course bridging computational and plant science by Daniel H. Chitwood, Alejandra Rougon‐Cardoso, Robert VanBuren

Subjects: “…computational science…”
Get full text

Forecasting high-impact research topics via machine learning on evolving knowledge graphs by Xuemei Gu, Mario Krenn

Subjects: Get full text

The 3rd anniversary of Frontiers in Virology: aiming to consolidate the virus research by Akio Adachi, Takaaki Koma, Masako Nomaguchi

Subjects: Get full text

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints by Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge

Subjects: “…computer science - logic in computer science…”
Get full text

Checkpoint-based rollback recovery in session programming by Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida

Subjects: Get full text

Multi-Structural Games and Beyond by Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion Kolaitis, Jonathan Lenchner, Rik Sengupta

Subjects: “…computer science - logic in computer science…”
Get full text

Sum and Tensor of Quantitative Effects by Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon Plotkin

Subjects: “…computer science - logic in computer science…”
Get full text

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder by Marie Fortin, Louwe B. Kuijer, Patrick Totzke, Martin Zimmermann

Subjects: “…computer science - logic in computer science…”
Get full text

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces by Matteo Mio, Ralph Sarkis, Valeria Vignudelli

Subjects: “…computer science - logic in computer science…”
Get full text

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries by Diego Figueira, Rémi Morvan

Subjects: “…computer science - logic in computer science…”
Get full text

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics by Long Pham, Jan Hoffmann

Subjects: Get full text

Playing Stochastically in Weighted Timed Games to Emulate Memory by Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier

Subjects: “…computer science - computer science and game theory…”
Get full text

Regular Model Checking Upside-Down: An Invariant-Based Approach by Javier Esparza, Michael Raskin, Christoph Welzel-Mohr

Subjects: Get full text

Proof complexity of positive branching programs by Anupam Das, Avgerinos Delkos

Subjects: Get full text

History-deterministic Timed Automata by Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke

Subjects: Get full text

Constant-delay enumeration for SLP-compressed documents by Martín Muñoz, Cristian Riveros

Subjects: Get full text

From Tutte to Floater and Gotsman: On the Resolution of Planar Straight-line Drawings and Morphs by Giuseppe Di Battista, Fabrizio Frati

Subjects: “…computer science - computational geometry…”
Get full text

Permutation Entropy for Signal Analysis by Bill Kay, Audun Myers, Thad Boydston, Emily Ellwein, Cameron Mackenzie, Iliana Alvarez, Erik Lentz

Subjects: “…computer science - information theory…”
Get full text