The dimensionless Niyama criterion was used to predict the formation of microporosity in nickel-based superalloy casting, which extended the model application from a simple plate casting to complex thin-wall superalloy casting. The physical characteristics of the superalloy were calculated by JMatPro software. The relation between the volume percentage of microporosity and the dimensionless Niy...

This research focuses on multimodal pedagogical communication in synthetic (virtual) worlds. The study investigates the interplay between verbal and nonverbal interaction which supports verbal participation and production in a foreign language. This is analysed from a socio-semiotic perspective of multimodality within the context of a course held in the synthetic world Second Life, which adopte...

This paper provides a comprehensive treatment of forwardsecurity in the context of shared-key based cryptographic primitives, as a practical means to mitigate the damage caused by key-exposure. We provide definitions of security, practical proven-secure constructions, and applications for the main primitives in this area. We identify forwardsecure pseudorandom bit generators as the central prim...

The visual system completes image fragments into larger regions when those fragments are taken to be the visible portions of an occluded object. Kellman and Shipley (1991) argued that this "amodal" completion is based on the way that the contours of image fragments "relate." Contours relate when their imaginary extensions intersect at an obtuse or right angle. However, it is shown here that con...

The window-based stream join is an important operator in all data streaming systems. It has often high resource requirements so that many efficient sequential as well as parallel versions of it were proposed in the literature. The parallel stream join operators recently gain increasing interest because hardware is getting more and more parallel. Most of these operators, however, are only optimi...

In our previous work we developed CoMeta, a tool for comparing metabolic pathways of different organisms, using the KEGG database as data source. The similarity measure adopted combines homology of reactions and functional aspects of the pathways. The latter are captured by T-invariants in the Petri net representation, which correspond to potential fluxes in the pathways. A Petri net can model ...

Biometrische Authentisierung wird häufig zur Verbesserung der Identitätsverifikation eingesetzt. Durch die Nutzung biometrischer Verfahren entstehen neue Herausforderungen an den Schutz der Privatsphäre betroffener Personen. In biometrischen Systemen gespeicherte Referenzdaten enthalten Informationen, die aus den biometrischen Charakteristika einer Person abgeleitet wurden. Das Speichern von Ab...

As we build larger quantum computing devices capable of performing more complicated algorithms, it is important to quantify their power. The origin of a quantum computer’s power is already subtle, and a quantum computer’s performance depends on many factors that can make assessing its power challenging. These factors include: 1. The number of physical qubits; 2. The number of gates that can be ...

no doubt nahj al-balaghah is one of the greatest religious books after holy quran and its content including sermons, letters, and philosophies serve as a bright light that guides humans and they find path to growth and guidance with its light beam. this place is because nahj al-balaghah was inspired by contents of quran and the prophet’s tradition. imam ali reflects rhetoric and eloquence in hi...