Tootfinder

This https://arxiv.org/abs/2403.04618 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Strong Priority and Determinacy in Timed CCS
Building on the standard theory of process algebra with priorities, we identify a new scheduling mechanism, called "constructive reduction" which is designed to capture the essence of synchronous programming. The distinctive property of this evaluation strategy is to achieve determinacy-by-construction for multi-cast concurrent communication with shared memory. In the technical setting of CCS extended by clocks and priorities, we prove for a large class of "coherent" processes a confluence prop…

Confluence of Logically Constrained Rewrite Systems Revisited
Jonas Sch\"opf, Fabian Mitterwallner, Aart Middeldorp
https://arxiv.org/abs/2402.13552 h…

Confluence of Logically Constrained Rewrite Systems Revisited
We show that (local) confluence of terminating locally constrained rewrite systems is undecidable, even when the underlying theory is decidable. Several confluence criteria for logically constrained rewrite systems are known. These were obtained by replaying existing proofs for plain term rewrite systems in a constrained setting, involving a non-trivial effort. We present a simple transformation from logically constrained rewrite systems to term rewrite systems such that critical pairs of the l…

Very interesting event, likely of particular interest to Providence people:
«“Debates in AI” Symposium at Rhode Island School of Design to Explore the Confluence of Artificial Intelligence and Creative Disciplines»
https://www.risd.edu/ne…

This https://arxiv.org/abs/2402.13552 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Confluence of Logically Constrained Rewrite Systems Revisited
We show that (local) confluence of terminating locally constrained rewrite systems is undecidable, even when the underlying theory is decidable. Several confluence criteria for logically constrained rewrite systems are known. These were obtained by replaying existing proofs for plain term rewrite systems in a constrained setting, involving a non-trivial effort. We present a simple transformation from logically constrained rewrite systems to term rewrite systems such that critical pairs of the l…

Ein wunderbares Beispiel, weshalb man seine Software in englischer Sprache betreiben soll.
Eine #Confluence-App von #Appfire ("... the leading global provider of software that enhances, extends, and connects the world's leading platforms ...") mit einem Gustostückerl an Fehlermeldung.…

Term rewriting on nestohedra
Pierre-Louis Curien, Guillaume Laplante-Anfossi
https://arxiv.org/abs/2403.15987 https://arxiv.org/pdf/2…

Term rewriting on nestohedra
We define term rewriting systems on the vertices and faces of nestohedra, and show that the former are confluent and terminating. While the associated poset on vertices generalizes Barnard--McConville's flip order for graph-associahedra, the preorder on faces likely generalizes the facial weak order for permutahedra. Moreover, we define and study contextual families of nestohedra, whose local confluence diagrams satisfy a certain uniformity condition. Among them are associahedra and operahedra,…

GerontoVis: Data Visualization at the Confluence of Aging
Zack While, R. Jordan Crouser, Ali Sarvghad
https://arxiv.org/abs/2403.13173 https://

GerontoVis: Data Visualization at the Confluence of Aging
Despite the explosive growth of the aging population worldwide, older adults have been largely overlooked by visualization research. This paper is a critical reflection on the underrepresentation of older adults in visualization research. We discuss why investigating visualization at the intersection of aging matters, why older adults may have been omitted from sample populations in visualization research, how aging may affect visualization use, and how this differs from traditional accessibili…

You have 1 week left until applications close for the the #Trust & #Identity Incubator Mentorship Programme (TIM). It's open to final year #students or recent

Sigh.
Me - make off handed remark to new manager about not following our process (we missed a step).
New manager trying to be helpful - here, I found our documented process in Confluence; I think it might answer your question.
Me - waits for new manager to realize I wrote said process 11 yrs ago and have been faithfully maintaining it since. *Oh it wasn't a question, it was an assertion.*

Sigh.
Me - make off handed remark to new manager about not following our process (we missed a step).
New manager trying to be helpful - here, I found our documented process in Confluence; I think it might answer your question.
Me - waits for new manager to realize I wrote said process 11 yrs ago and have been faithfully maintaining it since. *Oh it wasn't a question, it was an assertion.*

Goodbye Passau, goodbye #dhd2024! It has been a very pleasant stay and a great conference filled with exciting presentations and inspiring discussions with a wonderful community! Not to forget the excellent Espresso in Cafe Stopover across the street 😋 Kudos to all the organizers! You did a marvelous job! Hope to see you next year again in Bielefeld!
@…

Space-time deterministic graph rewriting
Pablo Arrighi, Marin Costes, Gilles Dowek, Luidnel Maignan
https://arxiv.org/abs/2404.05838 https://

Space-time deterministic graph rewriting
We study non-terminating graph rewriting models, whose local rules are applied non-deterministically -- and yet enjoy a strong form of determinism, namely space-time determinism. Of course in the case of terminating computation it is well-known that the mess introduced by asynchronous rule applications may not matter to the end result, as confluence conspires to produce a unique normal form. In the context of non-terminating computation however, confluence is a very weak property, and (almost) …

More Church-Rosser Proofs in BELUGA
Alberto Momigliano (Dipartimento di Informatica, Universit\`a degli Studi di Milano, Italy), Martina Sassella (Dipartimento di Matematica, Universit\`a degli Studi di Milano, Italy)
https://arxiv.org/abs/2404.14921

More Church-Rosser Proofs in BELUGA
We report on yet another formalization of the Church-Rosser property in lambda-calculi, carried out with the proof environment Beluga. After the well-known proofs of confluence for beta-reduction in the untyped settings, with and without Takahashi's complete developments method, we concentrate on eta-reduction and obtain the result for beta-eta modularly. We further extend the analysis to typed-calculi, in particular System F. Finally, we investigate the idea of pursuing the encoding directly i…

The #Trust and #Identity Incubator Mentorship Programme (TIM) is a seven month #internship/ #work

Es geht los #dspacept24 https://wiki.lyrasis.org/plugins/servlet/mobile?contentId=319815706#content/view/319815706

This https://arxiv.org/abs/2404.01205 has been replaced.
link: https://scholar.google.com/scholar?q=a

Foundations of Cyber Resilience: The Confluence of Game, Control, and Learning Theories
Cyber resilience is a complementary concept to cybersecurity, focusing on the preparation, response, and recovery from cyber threats that are challenging to prevent. Organizations increasingly face such threats in an evolving cyber threat landscape. Understanding and establishing foundations for cyber resilience provide a quantitative and systematic approach to cyber risk assessment, mitigation policy evaluation, and risk-informed defense design. A systems-scientific view toward cyber risks pro…

Goodbye Passau, goodbye #dhd2024! It has been a very pleasant stay and a great conference filled with exciting presentations and inspiring discussions with a wonderful community! Not to forget the excellent Espresso in Cafe Stopover across the street 😋 Kudos to all the organizers! You did a marvelous job! Hope to see you next year again in Bielefeld!
@…

Responsible Federated Learning in Smart Transportation: Outlooks and Challenges
Xiaowen Huang, Tao Huang, Shushi Gu, Shuguang Zhao, Guanglin Zhang
https://arxiv.org/abs/2404.06777

Responsible Federated Learning in Smart Transportation: Outlooks and Challenges
Integrating artificial intelligence (AI) and federated learning (FL) in smart transportation has raised critical issues regarding their responsible use. Ensuring responsible AI is paramount for the stability and sustainability of intelligent transportation systems. Despite its importance, research on the responsible application of AI and FL in this domain remains nascent, with a paucity of in-depth investigations into their confluence. Our study analyzes the roles of FL in smart transportation,…

A Microscopic Perspective on Moir\'e Materials
Kevin P. Nuckolls, Ali Yazdani
https://arxiv.org/abs/2404.08044 https://arxiv.org/…

A Microscopic Perspective on Moiré Materials
Contemporary quantum materials research is guided by themes of topology and of electronic correlations. A confluence of these two themes is engineered in "moiré materials", an emerging class of highly tunable, strongly correlated two-dimensional (2D) materials designed by the rotational or lattice misalignment of atomically thin crystals. In moiré materials, dominant Coulomb interactions among electrons give rise to collective electronic phases, often with robust topological properties. Ident…

TODAY (27 March) is the deadline to apply for the #Trust & #Identity #Mentorship Programme (TIM)! #Students w…

TOMORROW is the deadline for applications to the #Trust and #Identity Incubator #Mentorship Programme (TIM). #Students

This https://arxiv.org/abs/2307.11217 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Painlevé-III Monodromy Maps Under the $D_6\to D_8$ Confluence and Applications to the Large-Parameter Asymptotics of Rational Solutions
The third Painlevé equation in its generic form, often referred to as Painlevé-III($D_6$), is given by $$ \frac{{\rm d}^2u}{{\rm d}x^2} =\frac{1}{u}\left(\frac{{\rm d}u}{{\rm d}x}\right)^2-\frac{1}{x}\frac{{\rm d}u}{{\rm d}x}+\frac{αu^2+β}{x}+4u^3-\frac{4}{u}, \qquad α,β\in \mathbb C.$$ Starting from a generic initial solution $u_0(x)$ corresponding to parameters $α$, $β$, denoted as the triple $(u_0(x),α,β)$, we apply an explicit Bäcklund transformation to generate a family of solut…

#NowWatching
The Perfect Storm (2000)
#trakt #movies #film

The Perfect Storm (2000)
In October 1991, a confluence of weather conditions combined to form a killer storm in the North Atlantic. Caught in the storm was the sword-fishing boat Andrea Gail.

The #Trust and #Identity #Mentorship Programme enables students to learn from the best in the field. Hear from a student from the 2023 programme:
"Overall, the TIM programme has not only equipped me…

The #Trust and #Identity #Mentorship Programme enables students to learn from the best in the field. Hear from a student from the 2023 programme:
"Overall, the TIM programme has not only equipped me…

A multicore parallel algorithm for multiscale modelling of an entire human blood circulation network
Jiawei Liu, Hiroshi Suito
https://arxiv.org/abs/2404.01680

A multicore parallel algorithm for multiscale modelling of an entire human blood circulation network
The presented multi-scale, closed-loop blood circulation model includes arterial, venous, and portal venous systems, heart-pulmonary circulation, and micro-circulation in capillaries. One-dimensional models simulate large blood vessel flow, whereas zerodimensional models are used for simulating blood flow in vascular subsystems corresponding to peripheral arteries and organs. Transmission conditions at bifurcation and confluence are solved using Riemann invariants. Blood circulation simulation …

5 days to go⏳ The deadline is fast approaching to apply for the #Trust and #Identity Incubator #Mentorship Programme (TIM). GÉANT #NREN