This paper presents a novel real-world application for energy savings in a Smart Building environment. The proposed system unifies heterogeneous wireless sensor networks under a Semantic Web Service middleware. Two complementary and mutually exclusive rule-based approaches for enforcing energy-saving policies are proposed: a reactive agent based on production rules and a deliberative agent base...

This article deals with basic concepts of leadership based on the research of the French sinologist François Jullien. It addresses particularly the concept of efficacy in Greek thought in comparison with Daoist thought (Zhuangzi). This comparison is particularly relevant because classical Chinese philosophy developed over thousands of years with hardly any influence from the West. The spirit of...

The study explores first language (L1) influences on the mechanisms of spelling in English as a foreign language (EFL). We hypothesized that the transparency of L1 orthography influences (a) the amount of hesitation associated with spelling irregular English words, and (b) the size of units EFL spellers operate. Participants were adult speakers of three languages differing by the degree of tran...

To show that a formula A is not provable in propositional classical logic, it suuces to exhibit a nite boolean model which does not satisfy A. A similar property holds in the intuitionistic case, with Kripke models instead of boolean models (see for instance TvD88]). One says that the propositional classical logic and the propositional intuitionistic logic satisfy a nite model property. In part...

In this paper, we describe a novel methodology for dance learning and evaluation using multi-sensor and 3D gaming technology. The learners are captured during dancing, while an avatar visualizes their motion using fused input from multiple sensors. Motion analysis and fuzzy-logic are employed for the evaluation of the learners’ performance against the performance of an expert. Specifically, a t...

We propose a formal language that allows for transposing biological information precisely and rigorously into machine-readable information. This language, which we call Zsyntax (where Z stands for the Greek word zetaomegaeta, life), is grounded on a particular type of non-classical logic, and it can be used to write algorithms and computer programs. We present it as a first step towards a compr...

Fuzzy Logic was initiated in 1965 [1], [2], [3], by Lotfi A. Zadeh , professor for computer science at the University of California in Berkeley. Basically, Fuzzy Logic (FL) is a multivalued logic, that allows intermediate values to be defined between conventional evaluations like true/false, yes/no, high/low, etc. Notions like rather tall or very fast can be formulated mathematically and proces...

We introduce a new method to construct approximation algorithms for combinatorial optimization problems using semidefinite programming. It consists of expressing each combinatorial object in the original problem as a constellation of vectors in the semidefinite program. When we apply this technique to systems of linear equations mod p with at most two variables in each equation, we can show tha...

In one of his inaugural lectures Dov Gabbay demonstrated God’s providence as follows—I quote from memory. God had seen fit to send his revelation to mankind in a language with no verb tenses. (In classical Hebrew the verb forms are distinguished as perfective, imperfective, passive, reduplicative, etc., but not as past, present or future.) So there was a problem to explain how facts about a tem...