The HR program forms concepts and makes conjectures in domains of pure mathematics and uses theorem prover OTTER and model generator MACE to prove or disprove the conjectures. HR measures properties of concepts and assesses the theorems and proofs involving them to estimate the interestingness of each concept and employ a best first search. This approach has led HR to the discovery of interesti...

The features of electromagnetic processes are considered which connected with finite size of space region in which final particles (photon, electron-positron pair) are formed. The longitudinal dimension of the region is known as the formation length. If some external agent is acting on an electron while traveling this distance the emission process can be disrupted. There are different agents: m...

the concept of identity and its formation is one of the most basic notions in the field of social psychology. many psychologist and sociologists have presented their theories based on this concept and the psychosocial progress of its formation in social contexts. henry tajfel, a prominent social psychologist, in his social identity theory has divided an individual’s identity into two parts: “pe...

Purpose: This paper explores the concept of workplace organisation and the role of safety. Specifically the objectives of the study were to identify the role of safety within 5S and to test how the extension of the method (to 6S) can explicitly and effectively integrate safety with productivity and quality. Design/methodology/approach: An action research approach was employed which enabled the ...

Prosopagnosia is a type of visual agnosia with inability to identify faces, usually secondary to brain lesion in associative cortex areas, but there is also a congenital form known as developmental prosopagnosia. Objectives To describe a case of developmental prosopagnosia that illustrates the specificity of the pathways for perception of faces in the visual system. Also, we will describe pos...

Often considered one of the more discriminating tests between normal and brain-damaged individuals, the Category Test has been described as a complex measure of new problem solving, logical analysis, concept formation, abstract reasoning, and mental efficiency. Since publication of a booklet format by DeFilippis and McCampbell in 1979, researchers have attempted to develop other versions to red...

In this paper we define the notion of a privacy design strategy. These strategies help IT architects to support privacy by design early in the software development life cycle, during concept development and analysis. Using current data protection legislation as point of departure we derive the following eight privacy design strategies: MINIMISE, HIDE, SEPARATE, AGGREGATE, INFORM, CONTROL, ENFOR...

Until now, most studies carried onto social or semantic networks have considered each of these networks independently. Our goal here is to bring a formal frame for studying both networks empirically as well as to point out stylized facts that would explain their reciprocal influence and the emergence of clusters of agents, which may also be regarded as “cultural cliques”. We show how to apply t...