In this paper we argue that the methods and techniques specified in the annexes in IEC 61508-3 are just sound software engineering principles. Problems when developing safety critical software are not caused by lack of adherence to the standard per se but by ignorance of sound engineering principles related to the specified techniques. Further we argue that IEC 61508-3 should be more flexible r...

A number of approaches to agent society modeling can be found in the Multi-Agent Systems literature which exploit (variants of) Deontic Logic. In this paper, after briefly mentioning related approaches, we focus on the Computational Logic (CL) approach for society modeling developed within the UE IST-2001-32530 Project (named SOCS), where obligations and prohibitions are mapped into abducible p...

Although many factors determine Google's overall ranking of search engine results, Google maintains that the heart of its search engine software is PageRank, the eigenvector corresponds to the maximal eigenvalue in the Google matrix. In this note, we deals with a very special case of this positive matrix; i.e. when it is a positive convex matrix, then we provide a new way which can be used as a...

Understanding the basic concepts of chemistry is very important for the students of secondary school level and university level. The Computer Assisted Teaching and Learning (CATL) methods are marked by the usage of computers in teaching and learning processes. Usage of WORD, EXCEL, POWERPOINT, ACCESS, PHOTOSHOP etc., as well as the use of specialized packages such as CHEMDRAW, SCIFINDER etc., c...

The nonlinear p-Laplace diffusion p > 1 was considered in the Cohen-Grossberg neural network CGNN , and a new linear matrix inequalities LMI criterion is obtained, which ensures the equilibrium of CGNN is stochastically exponentially stable. Note that , if p 2, p-Laplace diffusion is just the conventional Laplace diffusion in many previous literatures. And it is worth mentioning that even if p ...

Negative Pressure Pulmonary O/Edema (NPPE) is potentially life-threatening and it is a general anaesthesia side effect. We are mentioning a rare case report of two brothers who were referred to our hospital for elective surgeries (varicocele and septoplasty) in a 3 years period. Both of them were athletes and their coagulation factors were disturbed after surgeries. Pulmonary oedema was healed ...

Amongst the most remarkable successes of quantum computation are Shor’s efficient quantum algorithms for the computational tasks of integer factorisation and the evaluation of discrete logarithms. In this article we review the essential ingredients of these algorithms and draw out the unifying generalization of the so-called abelian hidden subgroup problem. This involves an unexpectedly harmoni...

Social Media is commonly used by policing organisations to spread the word on crime, weather, missing person, etc. In this work we aim to understand what attracts citizens to engage with social media policing content. To study these engagement dynamics we propose a combination of machine learning and semantic analysis techniques. Our initial research, performed over 3,200 posts from @dorsetpoli...

In this paper, we model fresh names in the π-calculus using abstractions with respect to a new binding operator θ. Both the theory and the metatheory of the π-calculus benefit from this simple extension. The operational semantics of this new calculus is finitely branching. Bisimulation can be given without mentioning any constraint on names, thus allowing for a straightforward definition of a c...

In order to pursue research on generating referring expressions in a situated collaboration task, we set up a data-collection experiment based on the Tangram puzzle. For a pair of participants we recorded every utterance in synchronisation with the current state of the puzzle as well as all operations by the participants. Referring expressions were annotated with their referents in order to bui...