Targeted attacks on IT systems are a rising threat against the confidentiality of sensitive data and the availability of critical systems. With the emergence of Advanced Persistent Threats (APTs), it has become more important than ever to fully understand the particulars of such attacks. Grammar inference offers a powerful foundation for the automated extraction of behavioral patterns from sequ...

Theistic and atheistic beliefs respectively play a fundamental role in the definition of man's free will and moral responsibility, so far as they can determine the nature, quality, and quantity of human's freedom. After believing in God, the belief in a revealed or a non-revealed religion and the manner in which God’s attributes are interpreted play an essential role in the definition of free w...

Clear associations of sleep, cognitive performance, and behavioral problems have been demonstrated in meta-analyses of studies in adults. This meta-analysis is the first to systematically summarize all relevant studies reporting on sleep, cognition, and behavioral problems in healthy school-age children (5-12 years old) and incorporates 86 studies on 35,936 children. Sleep duration shows a sign...

BACKGROUND AND OBJECTIVES Aversion of contaminants is important for several psychiatric disorders, particularly contamination-based obsessive-compulsive disorder (OCD). Recent theoretical models have proposed that the ability to control one's attention, especially when processing affectively laden information, is important in the etiology of pathological anxiety. The present study tested the re...

Animals generally adjust their behavior in response to bodily state (e.g. size and energy reserves) to optimize energy intake in relation to mortality risk, weighing predation probability against starvation. Here we investigated whether brown trout adjust their behavior in relation to feeding history (energetic status) and body size during a major early-life selection bottleneck, when fast grow...

promise de port fort is an useful legal basic for justification many civil and commercial transactions. such as bank guaranties, insurance and guaranty of things it divides two legal relations, relation between parties if third party not ratify and relation with third party if she or he ratify that promise. unlike its appearance, it, is not violation the principle of relativity of contracts. be...

‎in this paper first we define the morphism between geometric spaces in two different types‎. ‎we construct two categories of $uu$ and $l$ from geometric spaces then investigate some properties of the two categories‎, ‎for instance $uu$ is topological‎. ‎the relation between hypergroups and geometric spaces is studied‎. ‎by constructing the category $qh$ of $h_{v}$-groups we answer the question...

Petri-nets have been used to model and analyze business process behavior, both in pure form and as the semantics of visual formalisms. We and others have advocated the use of a restricted class of nets called free-choice nets. Restricting models to free-choice nets leads to a polynomial algorithm to decide a criterion for behavioral correctness that we call simple control, and to a theory of th...