Proofs Erica Melis 1 Abstract. This paper emphasizes two requirements for the representation of proofs; rstly the explicit representation and storing of control knowledge and secondly the hierarchically structured representation of proofs.

In this paper, we present an efficient proactive threshold RSA signature scheme for large-scale ad hoc networks. Our scheme has two advantages. Firstly, the building blocks of the whole scheme are proven secure. Secondly, the whole scheme is efficient.

A case of isolated retinal macroaneurysm showed interesting features. First, it involved a cilioretinal artery, which is a rare site; secondly, its development was preceded by vessel changes characterised by hyalinization and permeability of the arterial wall.

Previous research into rape victim blaming has often neglected to assess attitudes toward male victims. The present study was designed to redress this imbalance and specifically, investigate the role of homophobic attitudes in male rape victim perception. Men and women read a vignette describing an incident of rape and answered two questionnaires that assessed firstly, homophobic attitudes towa...

We propose a novel way for ambient assisted living: a system that with motion detector to observe the daily activities of the elderly, build the daily activity model of the user. In case of unusual activities the system send alarm signal to caregiver. The problems with this approach to build such a model: firstly, the activities of the user are random and dynamic distributed, that means the rel...

Coronary artery spasm is not an uncommon event, but its pathophysiologic mechanisms followed by coronary artery vasospasm are not yet completely clarified. Coronary artery spasm can lead to sudden cardiac death due to ventricular arrhythmias or heart block. In the cases of cardiogenic shock secondly to severe coronary artery spasm, IABP is sufficient to support the patient’s hemodynamics, in th...

We introduce a collection of complex networks generated by a combination of preferential attachment and a previously unexamined process of “splitting” nodes of degree k into k nodes of degree 1. Four networks are considered, each evolves at each time step by either preferential attachment, with probability p, or splitting with probability 1 − p. Two methods of attachment are considered; first, ...

The widespread use of mobile devices, particularly by young people, offers new and exciting possibilities for learning. The mobility and pervasiveness factors inherent to mobile technologies allow learning at any time and in any place. This has led to some new developments in educational pedagogy based on the affordances that mobile technology brings to learning. “Mobile scaffolding” is a new r...