Children affected by Autism Spectrum Disorders (ASD) exhibit behaviors that may vary drastically from child to child. The goal of achieving accurate computer simulations of behavioral responses to given stimuli for different ASD severities is a difficult one, but it could unlock interesting applications such as informing the algorithms of agents designed to interact with those individuals. This...

The topological trace formula is a computation of the Lefschetz number of a Hecke correspondence C acting on the weighted cohomology groups, defined in [GHM], of a locally symmetric space X . It expresses this Lefschetz number as a sum of contributions from fixed point components of C on the reductive Borel Serre compactification of X . The proof uses the Lefschetz fixed point formula of [GM2]....

In this paper, we describe our efforts to support the modeling and simulation of processes associated with software system acquisition activities. Software acquisition is generally a multi-organization endeavor concerned with the funding, management, engineering, system integration, deployment and long-term support of large software systems. We first describe a language for modeling software ac...

This paper presents an approach to simulate complex hierarchical process chains resulting from large logistics networks in OMNeT++, a discrete event simulation environment designed for communication networks. For this purpose OMNeT++ has been integrated as a new simulation engine into the ProC/B toolset which is designed for the analysis and optimization of large logistics networks. The paper h...

Understanding procedural language requires anticipating the causal effects of actions, even when they are not explicitly stated. In this work, we introduce Neural Process Networks to understand procedural text through (neural) simulation of action dynamics. Our model complements existing memory architectures with dynamic entity tracking by explicitly modeling actions as state transformers. The ...