We describe a simple and fast algorithm for identifying friends-of-friends clusters and prove its correctness. The algorithm avoids unnecessary expensive neighbor queries, uses minimal memory overhead, and rejects slowdown in high over-density regions. We define our algorithm formally based on pair enumeration, a problem that has been heavily studied in fast 2-point correlation codes and our re...

We present an approach for a generic, multidimensional run-time data structure suitable for highperformance scientific computing in C++. Our approach for associating meta-information with the data structure as well as different underlying datatypes is depicted. The highperformance, multi-dimensional data access is realized by utilizing a heterogenous compile-time container generation function. ...

We consider a case study of a leader election protocol and verify it using the tool Augur, which is based on unfolding techniques for graph transformation systems. We first investigate a finite-state variant of the leader election protocol and show how to verify it using McMillanstyle unfoldings, avoiding an exponential explosion of the state space. Then, in a next step, we consider a parametri...

Machine learning algorithms are widely used in many intelligent applications and cloud services. Currently, the hottest topic this field is Deep Learning represented often by neural network structures. fully known as deep network, artificial a typical machine method an important way of learning. With massive growth data, research has made significant achievements natural language processing (NL...

A computational code has been developed for analyzing 3-D radiation problems in curved geometries. To accomplish this, a suitable formulation is developed considering Maxwell equations in a general coordinate system and numerically solved by the use of a parallel curvilinear finite-difference time-domain (FDTD) method. In order to validate the computational code, the method analyzes a microstri...

This report summarizes two talks I gave at the The rst talk (\Statements about Real-Time: Truth or Bull?") was given in the early morning. At the behest of the workshop's organizers, its primary function was to seed the ongoing discourse and provoke some debate. Besides asking controversial questions, and positing opinions, the talk also identiied some several fertile research areas that might ...

We show that the discrete complex, and numerous hypercomplex, Fourier transforms defined and used so far by a number of different researchers can be unified into a single theoretical framework based on a matrix exponential version of Euler’s formula e = cos θ + j sin θ, and a matrix root of −1 isomorphic to the imaginary root j. The transforms thus defined can be computed numerically using stan...

There are great expectations regarding the potential contribution of integrated care interventions to improved outcomes, but so far the evidence is mixed. In this dissertation, we focussed on why, when and how some integrated care interventions contribute to improved outcomes, while others do not. To this purpose, we developed the COMIC Model for studying the Context, Outcomes and Mechanisms of...

this commentary considers the vexed question of whether or not we should be spending time and resources on using multifaceted interventions to undertake implementation of evidence in healthcare. a review of systematic reviews has suggested that simple interventions may be just as effective as those taking a multifaceted approach. taking cognisance of the promoting action on research implementat...