although the term psychosomatic is used in a wide range of contexts – from media to clinics – no exact definition of the term exists that even practitioners and experts of different schools in this domain agreed on. this may be due to its intertidisciplinary, multisystemic, and evolutionary nature. psychosomatic medicine is an approach to health which deals with the beliefs, narratives, relatio...

for $q in {7,8,9,11,13,16}$, we consider the primitive actions of $l_2(q)$ and use key-moori method 1 as described in [codes, designs and graphs from the janko groups {$j_1$} and{$j_2$}, {em j. combin. math. combin. comput.}, {bf 40} (2002) 143--159., correction to: ``codes, designs and graphs from the janko groups{$j_1$} and {$j_2$}'' [j. combin. math. combin. comput. {bf 40} (2002) 143--159],...

the symbolic cultural order becomes manifest through language in the case of texts and narratives and through images in the case of art. knowledge of the elements that compose the symbolic order is an essential analytical tool, above all for comparative studies of art, literature and religion. in this way, many of the symbolic references that exist in each culture can be illuminated by examples...

Research has shown that social and symbolic cues presented in isolation and at fixation have strong effects on observers, but it is unclear how cues compare when they are presented away from fixation and embedded in natural scenes. We here compare the effects of two types of social cue (gaze and pointing gestures) and one type of symbolic cue (arrow signs) on eye movements of observers under tw...

factorial and split-plot designs are two statistical procedures used to conduct agricultural field experiments. both designs are used frequently to quantify the main and interaction effects of two or more factors. however, split-plot design is recommended for specific situations depending on major and minor goals of the study, characteristics of the factors, and precision of statistical testing...

This study is a verbal-pictorial analysis of the Russia-Ukraine war in Jordanian cartoons. It examines socio-political contexts related to through semiotic selected political cartoons posted on official Facebook accounts two well-known cartoonists, Emad Hajjaj and Osama Hajjaj, between January September, 2022. These show conflict eyes Arabs, who may be considered neutral distanced from conflict...

We present Symbolic Quick Error Detection (Symbolic QED), a structured approach for logic bug detection and localization which can be used both during pre-silicon design verification as well as post-silicon validation and debug. This new methodology leverages prior work on Quick Error Detection (QED) which has been demonstrated to drastically reduce the latency, in terms of the number of clock ...

Object-oriented hardware design languages like SystemC have become very popular to co-design hardware and software systems. Such designs are classically translated into a transition system in order to verify a specification with model-checkers. However, compositionnality and parametricity of SystemC components complicate their translations into finite transition systems. Processing analysis of ...

The design of tools for formal specification languages (SL) can be roughly divided into two categories: special purpose design strives for implementing an SL and its method straight-forwardly in an implementation language. In contrast, embedded designs are based on a logical embedding in theorem prover environments such as Isabelle. Examples for the former are Z/EVES, KIV or FDR, examples for t...