Insight into spontaneous recurrent calcium waves in a 3-D cardiac cell based on analysis of a 1-D deterministic model

Calcium dynamics in a cardiac cell are described by a system of 3-D non-linear stochastic partial differential equations. To obtain solutions that have biophysical properties, it is necessary to explore the model parameter space. To decrease the complexity of the parameter search, we reduce the 3-D stochastic model to a 1-D deterministic model. The reduction of the problem from 3-D to 1-D is done through an asymptotic approximation after non-dimensionalization and based on rational biophysical assumptions of the 3-D domain; the stochastic to deterministic transformation is based on the regular property of the 3-D solution. The result of the model reduction proves very effective in reducing the time required to get qualitative as well as quantitative information about parameter regions in the 3-D stochastic model including calcium dynamics (sparks, wave propagation, and recovery) observed in cardiac cells.     

Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

Given the strong increase in regulatory requirements for business processes the management of business process compliance becomes a more and more regarded field in IS research. Several methods have been developed to support compliance checking of conceptual models. However, their focus on distinct modeling languages and mostly linear (i.e., predecessor-successor related) compliance rules may hinder widespread adoption and application in practice. Furthermore, hardly any of them has been evaluated in a real-world setting. We address this issue by applying a generic pattern matching approach for conceptual models to business process compliance checking in the financial sector. It consists of a model query language, a search algorithm and a corresponding modelling tool prototype. It is (1) applicable for all graph-based conceptual modeling languages and (2) for different kinds of compliance rules. Furthermore, based on an applicability check, we (3) evaluate the approach in a financial industry project setting against its relevance for decision support of audit and compliance management tasks.     

The Impact of Serial Solutions’ Summon™ on Information Literacy Instruction: Librarian Perceptions

Web-scale discovery systems, such as Serial Solutions’ Summon? Service, are replacing older federated search technologies as the tool for users to access library resources quickly and easily. The impact of Web-scale discovery systems on instruction is not known. This study of instruction librarian perceptions of Summon's impact on instruction and student information literacy skills is based on a survey. The survey reveals librarians’ ambivalence toward Summon. While some librarians agree that Summon has the potential to change the way librarians teach information literacy skills, it has not been fully integrated into the classroom.     

Backscatter from the data plane – Threats to stability and security in information-centric network infrastructure

Information-centric networking (ICN) raises data objects to first class routable entities in the network and changes the Internet paradigm from host-centric connectivity to data-oriented delivery. However, current approaches to content routing heavily rely on data-driven protocol events and thereby introduce a strong coupling of the control to the data plane in the underlying routing infrastructure. In this paper, threats to the stability and security of the content distribution system are analyzed in theory, simulations, and practical experiments. We derive relations between state resources and the performance of routers, and demonstrate how this coupling can be misused in practice. We further show how state-based forwarding tends to degrade by decorrelating resources. We identify intrinsic attack vectors present in current content-centric routing, as well as possibilities and limitations to mitigate them. Our overall findings suggest that major architectural refinements are required prior to global ICN deployment in the real world.     

Spatial inverse query processing

Traditional spatial queries return, for a given query object q, all database objects that satisfy a given predicate, such as epsilon range and k-nearest neighbors. This paper defines and studies inverse spatial queries, which, given a subset of database objects Q and a query predicate, return all objects which, if used as query objects with the predicate, contain Q in their result. We first show a straightforward solution for answering inverse spatial queries for any query predicate. Then, we propose a filter-and-refinement framework that can be used to improve efficiency. We show how to apply this framework on a variety of inverse queries, using appropriate space pruning strategies. In particular, we propose solutions for inverse epsilon range queries, inverse k-nearest neighbor queries, and inverse skyline queries. Furthermore, we show how to relax the definition of inverse queries in order to ensure non-empty result sets. Our experiments show that our framework is significantly more efficient than naive approaches.     

Inversion handling for stable deformable modeling

In 3D deformable modeling approaches based on FEM, inverted tetrahedral elements can cause undesired visual artifacts and the breakdown of the simulation. As inversion can never be avoided and sometimes is even the correct behavior of elements, there is a strong need for stable inversion handling. In this paper, we propose a novel method to resolve inverted elements which is motivated by previous work of Irving et al. [6]. In combination with an efficient handling of degenerated elements, our approach yields a stable simulation of arbitrary deformations. Although we focus on the corotational formulation of linear FEM, the method can be implemented within arbitrary constitutive models.     

SEMPA – Ein Ansatz des Semantischen Prozessmanagements zur Planung von Prozessmodellen

Currently process modeling is mostly done manually. Therefore, the initial design of process models as well as changes to process models which are frequently necessary to react to new market developments or new regulations are time-consuming tasks. In this paper we introduce SEMPA, an approach for the partly automatic planning of process models. Using ontologies to semantically describe actions – as envisioned in Semantic Business Process Management –, a process model for a specified problem setting can be created automatically. In comparison to existing planning algorithms our approach creates process models including control structures and is able to cope with complex and numerical input and output parameters of actions. The prototypical implementation as well as an example taken from the financial services domain illustrate the practical benefit of our approach.     

Bringing law and order to IEEE 802.11 networks—A case for DiscoSec

To improve the tarnished reputation of WLAN security, the new IEEE 802.11i standard provides means for mutual user authentication and assures confidentiality of user data. However, the IEEE 802.11 link-layer is still highly vulnerable to a plethora of simple, yet effective attacks which further jeopardize the already fragile security of wireless communications.Some of these vulnerabilities are related to limited hardware capabilities of access points and their abuse may result in serious degradation of control over the wireless connection, which, especially in the case of broadcast communication, allows for client hijacking attacks. Although these issues are known and their impact is expected to be less prevalent on modern equipment, this work demonstrates the opposite. In our experimental analysis, we tested frequently used access points, and by forcing them to operate on their performance limits, we identified significant operational anomalies and demonstrated their impact on security by implementing a novel version of the Man-In-The-Middle attack, to which we refer as the Muzzle attack.Secondly, this work describes DiscoSec, a solution for “patching” WLANs against a variety of such link-layer attacks. DiscoSec provides DoS-resilient key exchange, an efficient frame authentication, and a performance-oriented implementation. By means of extensive real-world measurements DiscoSec is evaluated, showing that even on very resource-limited devices the network throughput is decreased by only 22% compared to the throughput without any authentication, and by 6% on more performance-capable hardware. To demonstrate its effectiveness, DiscoSec is available as an open-source IEEE 802.11 device driver utilizing well-established cryptographic primitives provided by the Linux Crypto API and OpenSSL library.     

Perfect sequence excitation of the NLMS algorithm and its application to acoustic echo control

Adaptive echo cancellers are currently being studied for applications such as audio teleconference systems or hands-free telephone sets with high speech quality. The purpose of the echo control is to eliminate the acoustic feedback from the loudspeaker to the microphone. One problem of echo cancellers using e.g. the normalized least mean square algorithm(nlms) for the adaptation of the coefficients is that the convergence properties degrade with colored signal input such as speech signals [8, 9, 17]. One approach to accelerate the convergence speed is to introduce linear prediction filters in order to decorrelate the speech signal [1, 2, 12, 15, 20]. This paper presents a new approach, named the excited lms algorithm orelms algorithm, which prewhitens the input signal applying perfect sequences. Coincidently, the proposed algorithm can be interpreted as a combination of the conventionalnlms algorithm and a system identification approach using m-sequences or related sequences.