There are many good references for this material including [EKM], [L], [Pf] and [S]. 1 Quadratic forms Let k be a field with char k = 2. Definition 1.1. A quadratic form q : V → k on a finite-dimensional vector space V over k is a map satisfying: 1. q(λv) = λ 2 q(v) for v ∈ V , λ ∈ k. 2. The map b q : V × V → k, defined by b q (v, w) = 1 2 [q(v + w) − q(v) − q(w)] is bilinear. We denote a quadr...

Le présent article aborde, à travers l’étude de deux inscriptions hellénistiques, la prise en charge administrative des voies extra-urbaines par les cités grecques. Si l’organisation voirie au sein villes est relativement bien documentée un certain nombre d’inscriptions urbanistiques, textes sont moins loquaces sujet routes extra-urbaines. Toutefois, urbanistiques comportent également clauses s...

This paper discusses a methodology to manage wireless sensor networks (WSN) with self-organising feature maps, using co-operative Extended Kohonen Maps (EKMs). EKMs have been successfully demonstrated in other machine-learning contexts such as learning sensori-motor control and feedback tasks. Through a quantitative analysis of the algorithmic process, an indirect-mapping EKM can self-organise ...

Improving the efficiency of type-reduction algorithms continues to attract research interest. Recently, there has been some new approaches claiming that they are more efficient than well-known such as enhanced Karnik–Mendel (EKM) and iterative algorithm with stopping condition (EIASC). In a previous paper, we found computational an is closely related platform, how it implemented. computer scien...

The spi calculus is an executable model for the description and analysis of cryptographic protocols. Security objectives like secrecy and authenticity can be formulated as equations between spi calculus terms, where equality is interpreted as a contextual equivalence. One problem with verifying contextual equivalences for message-passing process calculi is the infinite branching on process inpu...

Community Question Answering (CQA) systems, such as Yahoo! Answers or Quora, are mostly perceived and studied from their primary knowledge sharing perspective. In spite of that, CQA systems have also a potential to become an effective means for people to acquire new knowledge. In the present, we can witness initial efforts on taking advance of this secondary perspective as CQA concepts have bee...

Interval Type-2 fuzzy systems allow the possibility of considering uncertainty in models based on fuzzy systems, and enable an increase of robustness in solutions to applications, but also increase the complexity of the fuzzy system design. Several attempts have been previously proposed to reduce the computational cost of the type-reduction stage, as this process requires a lot of computing tim...

Self-organizing feature maps such as Extended KohonenMaps (EKMs) have been very successful at learning sensorimotor control for mobile robot tasks. This paper presents a new ensemble approach called cooperative EKMs with indirect mapping to achieve complex robot motion. An indirect-mapping EKM self-organizes to map from the sensory input space to the motor control space indirectly via a control...

In the type-I seesaw mechanism, both the light Majorana neutrinos (ν1, ν2, ν3) and the heavy Majorana neutrinos (N1, · · · , Nn) can mediate the neutrinoless double-beta (0νββ) decay. We point out that the contribution of νi to this 0νββ process is also dependent on the masses Mk and the mixing parameters Rek ofNk as a direct consequence of the exact seesaw relation, and the effective mass term...

Povzetek. V prispevku sta predstavljena postopka za brezsenzorsko ugotavljanje začetne lege elektronsko komutiranih motorjev (EKM). Metodi temeljita na merjenju sprememb induktivnosti treh statorskih navitij, ki nastanejo zaradi različne intenzivnosti nasičenja geometrijsko pogojenega magnetnega tokokroga, ob vzajemnem delovanju magnetov na rotorju in tokovno vzbujanih statorskih navitjih. Indu...