The efficient construction of higher-order interlaced polynomial lattice rules introduced recently in [6] is considered and the computational performance of these higher-order QMC rules is investigated on a suite of parametric, highdimensional test integrand functions. After reviewing the principles of their construction by the “fast component-by-component” (CBC) algorithm due to Nuyens and Coo...

In this talk, we devise a new Runge-Kutta Discontinuous Galerkin (RKDG) method that achieves full high-order convergence in time and space while keeping the timestep proportional to the spatial mesh-size. To this end, we derive an extension to non-autonomous linear systems of the mth-order, m-stage strong stability preserving Runge-Kutta (SSP-RK) scheme with low storage described in Gottlieb et...

Almost all current approaches for engineering modular logic components in synthetic biology use first-order regulators, including most CRISPR/CAS, TAL, zinc finger, and RNA interference systems. Many practitioners understand intuitively that second and higher order binding is necessary for scalability, and this is easy to show for single-input single-output systems. However, no study to date ha...

Consideration of the question of meaning in the framework of linguistics often requires an allusion to sets and other higher-order notions. The traditional approach to representing and reasoning about meaning in a computational setting has been to use knowledge representation systems that are either based on rst-order logic or that use mechanisms whose formal justiications are to be provided af...

The complexity of large-scale distributed systems, particularly when deployed in physical space, calls for new mechanisms to address composability and reusability of collective adaptive behaviour. Computational fields have been proposed as an effective abstraction to fill the gap between the macro-level of such systems (specifying a system’s collective behaviour) and the micro-level (individual...

This paper deals with computer aided generation of reduced-order models for fast static and dynamic simulations of micro electromechanical systems. Following previous work, we present improved methods to reduce the computational effort of parameter extraction techniques, to consider multiple electrodes and the extension of analysing capabilities. A micromirror example will be used to demonstrat...

Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one description to be possibly mapped in different ways onto another description, which poses serious computational problems. Hence, the need for a set of general criteria that are able to support the comparison between formulæ. Th...