Miracle-dz/UniFAR-FTUs huggingface dataset:
Towards virtual prototyping of synchronous real-time systems on noc-based MPSoCs

NoC-based designs provide a scalable and flexible communication solution for the rising number of processing cores on a single chip. To master the complexity of the software design in such a NoC-based multi-core architecture, advanced incremental integration testing solutions are required. This work presents a virtual platform based software testing and debugging approach for a synchronous application model on a NoC-based designs provide a scalable and ﬂexible communication solution for the rising number of processing cores on a single chip. To master the complexity of the software design in such a NoC-based multi-core architecture, advanced incremental integration testing solutions are required. This work presents a virtual platform based software testing and debugging approach for a synchronous application model on a 2x2 NoC-based MPSoC. We propose a development approach and a test environment that exploits the time approximation within Imperas OVP instruction accurate simulator and a functional model of the Nostrum NoC, for both software instructions and hardware clock cycles at larger time stamps called Quantum that does not sacriﬁce functional correctness. The functional testing environment runs the target software without running it on the real hardware platform. With the help of Nostrum NoC we can support a synchronous system execution that is reasonably fast and precise with respect to a global synchronization signal, called HeartBeat. As work in progress, this work also discusses several possible timing reﬁnement and their possible implication on the simulation semantics and performance and how it is tackled in the future work. NoC-based MPSoC. We propose a development approach and a test environment that exploits the time approximation within Imperas OVP instruction accurate simulator and a functional model of the Nostrum NoC, for both software instructions and hardware clock cycles at larger time stamps called Quantum that does not sacrifice functional correctness. The functional testing environment runs the target software without running it on the real hardware platform. With the help of Nostrum NoC we can support a synchronous system execution that is reasonably fast and precise with respect to a global synchronization signal, called HeartBeat. As work in progress, this work also discusses several possible timing refinement and their possible implication on the simulation semantics and performance and how it is tackled in the future work.
Prodrome der Schizophrenie

: This review deals with the opinions and findings of the last six decades regarding occurrence, frequence, and phenomenology of precursor stages of schizophrenic and schizoaffective psychoses. Already in his classical delineation of the onset of schizophrenia Mayer-Gross (1932) differentiated between uncharacteristic and characteristic precursors of schizophrenia and anticipated essential aspects of the concept of basic stages and basic symptoms which has been gradually developed by clinical psychiatrists and psychologists since the 50s. In his monograph "The beginning schizophrenia" Conrad (1958) resumed the "promisingly undertaken, but prematurely coming to a standstill" work of the descriptive-phenomenological psychopathology of the Heidelberg School (Jaspers, K. Schneider, Mayer-Gross, Gruhle) and investigated systematically early abnormalities of behaviour with the method of morpho-analysis. However, the study of Conrad refers already to the onset of the first psychotic episode, the "trema" which is not identical with the outpost syndromes and prodromes in the sense of Mayer-Gross and the authors of the basic symptom concept. The "trema" is characterized mainly by disorders of behaviour and expression, the precursor syndromes by dynamic and cognitive basic deficiencies, experiential and not behavioural in kind, typically only recognizable by the self-reports of the patients. The ability of recognition and realization of the basic symptoms as complaints and disorders and to develop coping strategies was the presupposition for a standardized survey and assessment of basic symptoms in the Frankfurt Questionnaire (FBF) and the Bonn Schedule for the Assessment of Basic Symptoms (BSABS). (ABSTRACT TRUNCATED AT 250 WORDS)
A New Paramacroderoides Species (Digenea: Macroderoididae) From Two Species of Gar in the Southeastern United States

Abstract Paramacroderoides kinsellai n. sp. is described based on specimens collected from the spotted gar (Lepisosteus oculatus) from the Pascagoula River, Jackson County, Mississippi, and the Florida gar (Lepisosteus platyrhincus) from Cross Creek, Alachua County, Florida. The new species is the third recognized species of Paramacroderoides. Two Indian species of Paramacroderoides, originally described within Pseudoparamacroderoides, are transferred into Macroderoides. Paramacroderoides kinsellai n. sp. differs from Paramacroderoides echinus in having a much longer body, greater body width/length ratio, ovary situated at a significant distance from the cirrus sac rather than immediately posterior to it, and anterior margin of vitellaria at a significant distance posterior to ventral sucker. The new species differs from Paramacroderoides pseudoechinus in having a much longer body, greater body width/length ratio, ovary situated at a significant distance from the cirrus sac rather than immediately posterior to it, anterior margin of vitellaria at a significant distance anterior to ovary, vitellaria extending further posteriorly, and relative position of the intestinal bifurcation. The generic diagnosis of Paramacroderoides is amended to incorporate features found in the new species. This is the first record of a species of Paramacroderoides from the spotted gar and the first record from any host in Mississippi. Comparison of more than 2,300 base-pair sequences of nuclear rDNA (partial 18S, complete ITS region, and partial 28S) of 3 specimens from Florida and 2 specimens from Mississippi revealed only 1 base-pair difference between specimens collected in the 2 areas from the 2 host species. Sequence comparison between P. kinsellai n. sp. and previously published sequences of 3 Macroderoides species revealed that the levels of divergence between members of Paramacroderoides and Macroderoides are not much higher than levels of divergence among some species of Macroderoides.
Dual mechanisms of cognitive control in bilinguals and monolinguals

Growing evidence shows that executive functioning benefits from bilingual experience. However, the nature of the mechanisms underlying this advantage remains to be clarified. Whereas some have put forward single process accounts to explain the superior performance of bilinguals relative to monolinguals in executive control tasks, recent findings have been interpreted by considering the dynamic combination of monitoring and inhibitory processes to overcome interference from distractor information. In the present study we explored this idea by comparing monolinguals and highly proficient bilinguals in the AX-CPT. This task requires individuals to adjust proactive (monitoring) and reactive (inhibition) control to achieve efficient performance. We also examined the extent to which a well-known index of inhibitory capacity, the stop-signal reaction time, predicts accuracy in the AX-CPT. Results showed that bilinguals outperformed monolinguals in the experimental condition where higher requirement of proactive-reactive control adjustment was required. Interestingly, the inhibition index predicted errors in this condition only in the sample of bilinguals. These findings suggest that a better understanding of the cognitive benefits of bilingualism may require consideration of how bilinguals adjust different executive control mechanisms to cope with interference.
On OL∞ structures of nuclear C ∗ -algebras

We study the local operator space structure of nuclear C *-algebras. It is shown that a C *-algebra is nuclear if and only if it is an OL ∞,λ space for some (and actually for every) λ > 6. The OL∞ constant λ provides an interesting invariant OL∞(A) = inf{λ : A is an OL ∞,λ space} for nuclear C *-algebras. Indeed, if A is a nuclear C *-algebra, then we have 1 ≤ OL∞(A) ≤ 6, and if A is a unital nuclear C *-algebra with OL∞(A) ≤ (1+ √ 5 2) 1 2 , we show that A must be stably finite. We also investigate the connection between the rigid OL ∞,1 + structure and the rigid complete order OL ∞,1 + structure on C *-algebras, where the latter structure has been studied by Blackadar and Kirchberg in their characterization of strong NF C *-algebras. Another main result of this paper is to show that these two local structrues are actually equivalent on unital nuclear C *-algebras. We obtain this by showing that if a unital (nuclear) C *-algebra is a rigid OL ∞,1 + space, then it is inner quasi-diagonal, and thus is a strong NF algebra. It is also shown that if a unital (nuclear) C *-algebra is an OL ∞,1 + space, then it is quasi-diagonal, and thus is an NF algebra.
Chimera: A Declarative Language for Streaming Network Traffic Analysis

Intrusion detection systems play a vital role in network security. Central to these systems is the language used to express policies. Ideally, this language should be powerful, implementation-agnostic, and cross-platform. Unfortunately, today's popular intrusion detection systems fall short of this goal. Each has their own policy language in which expressing complicated logic requires implementation-specific code. Database systems have adapted SQL to handle streaming data, but have yet to achieve the efficiency and flexibility required for complex intrusion detection tasks. In this paper, we introduce Chimera, a declarative query language for network traffic processing that bridges the gap between powerful intrusion detection systems and a simple, platform-independent SQL syntax. Chimera extends streaming SQL languages to better handle network traffic by adding structured data types, first-class functions, and dynamic window boundaries. We show how these constructs can be applied to real-world scenarios, such as side-jacking detection and DNS feature extraction. Finally, we describe the implementation and evaluation of a compiler that translates Chimera queries into low-level code for the Bro event language.
Towards a multi-layered dependency annotation of Finnish

We present a dependency annotation scheme for Finnish which aims at respecting the multilayered nature of language. We first tackle the annotation of surfacesyntactic structures (SSyntS) as inspired by the Meaning-Text framework. Exclusively syntactic criteria are used when defining the surface-syntactic relations tagset. Our annotation scheme allows for a direct mapping between surface-syntax and a more semantics-oriented representation, in particular predicate-argument structures. It has been applied to a corpus of Finnish, composed of 2,025 sentences related to weather conditions.
Increased Range Bistatic Scatter Radio

Scatter radio achieves communication by reflection and requires low-cost and low-power RF front-ends. However, its use in wireless sensor networks (WSNs) is limited, since commercial scatter radio (e.g. RFID) offers short ranges of a few tens of meters. This work redesigns scatter radio systems and maximizes range through non-classic bistatic architectures: the carrier emitter is detached from the reader. It is shown that conventional radio receivers may show a potential 3dB performance loss, since they do not exploit the correct signal model for scatter radio links. Receivers for on-off-keying (OOK) and frequency-shift keying (FSK) that overcome the frequency offset between the carrier emitter and the reader are presented. Additionally, non-coherent designs are also offered. This work emphasizes that sensor tag design should accompany receiver design. Impact of important parameters such as the antenna structural mode are presented through bit error rate (BER) results. Experimental measurements corroborate the long-range ability of bistatic radio; ranges of up to 130 meters with 20 milliwatts of carrier power are experimentally demonstrated, with commodity software radio and no directional antennas. Therefore, bistatic scatter radio may be viewed as a key enabling technology for large-scale, low-cost and low-power WSNs.
The Grasshopper and the Ant: Motivational Responses of Low-Achieving Students to High-Stakes Testing

Advocates of high-stakes testing argue that providing strong incentives for students to take learning more seriously will result in greater student effort and motivation. Opponents argue that these policies set up low-achieving students to fail, looking to research on motivation for evidence that extrinsic and negative incentives such as the threat of retention will undermine students' engagement in school. This article seeks to evaluate these claims by examining the responses of 102 low-achieving sixth- and eighth-grade students to Chicago's highly publicized effort to end social promotion. Does this policy lead students to work harder? If so, to what extent does hard work pay off? The majority of these students described increased work effort under the policy. They reported greater attention to class work, increased academic press and support from teachers, and more time spent studying outside school. These efforts were confirmed by teachers' reports. Students with high levels of work effort generally had greater-than-average learning gains and positive promotional outcomes. Approximately one third, however, showed little work effort despite a desire not to be retained. These students faced significantly larger skill gaps and barriers to learning both within and outside school than did their peers with high work effort. How teachers manage high-stakes testing policies—whether they create environments that make low-achieving students feel supported and efficacious in responding to new demands and whether they direct students' efforts in productive ways—has an important impact on student motivation and passing rates.
Three-dimensional modeling from two-dimensional video

This paper presents the surface-based factorization method to recover three-dimensional (3-D) structure, i.e., the 3-D shape and 3-D motion, of a rigid object from a two-dimensional (2-D) video sequence. The main ingredients of our approach are as follows: 1) we describe the unknown shape of the 3-D rigid object by polynomial patches; 2) projections of these patches in the image plane move according to parametric 2-D motion models; 3) we recover the parameters describing the 3-D shape and 3-D motion from the 2-D motion parameters by factorizing a matrix that is rank 1 in a noiseless situation. Our method is simultaneously an extension and a simplification of the original factorization method of Tomasi and Kanade (1992). We track regions where the 2-D motion in the image plane is described by a single set of parameters, avoiding the need to track a large number of pointwise features, in general, a difficult task. Then our method estimates the parameters describing the 3-D structure by factoring a rank 1 matrix, not rank 3 as in Tomasi and Kanade. This allows the use of fast iterative algorithms to compute the 3-D structure that best fits the data. Experimental results with real-life video sequences illustrate the good performance of our approach.
Human face orientation detection using power spectrum based measurements

This work presents a new approach to human face orientation detection. We start the work with establishing a frequency domain model to analyze the orientation distribution of the oriented patterns in an image, according to the power spectrum of its bi-valued image. This model is derived from the perspective of the rendering rules in classical computer graphics. On the assumptions of the crossed distribution rule and symmetry rule of facial textures, we use the model above to define a series of measurements, called power spectrum based measurements, to quickly determine the orientation of a human face. The experimental results on MIT, ORL and BiolD face databases demonstrate our approach is effective and promising.
Preventive Effects of Cocoa and Cocoa Antioxidants in Colon Cancer

Colorectal cancer is one of the main causes of cancer-related mortality in the developed world. Carcinogenesis is a multistage process conventionally defined by the initiation, promotion and progression stages. Natural polyphenolic compounds can act as highly effective antioxidant and chemo-preventive agents able to interfere at the three stages of cancer. Cocoa has been demonstrated to counteract oxidative stress and to have a potential capacity to interact with multiple carcinogenic pathways involved in inflammation, proliferation and apoptosis of initiated and malignant cells. Therefore, restriction of oxidative stress and/or prevention or delayed progression of cancer stages by cocoa antioxidant compounds has gained interest as an effective approach in colorectal cancer prevention. In this review, we look over different in vitro and in vivo studies that have identified potential targets and mechanisms whereby cocoa and their flavonoids could interfere with colonic cancer. In addition, evidence from human studies is also illustrated.
Automatic surveillance of the acoustic activity in our living environment

We report an experiment with an acoustic surveillance system comprised of a computer and microphone situated in a typical office environment. The system continuously analyzes the acoustic activity at the recording site, separates all interesting events, and stores them in a database. All interesting acoustic events over duration of more than two months were recorded. A number of low-level signal features are computed from the audio signal and used to classify and identify sound events. The analysis reveals interesting patterns and activities which would be difficult to find by any other means.
SAMMPLE: Detecting Semantic Indoor Activities in Practical Settings Using Locomotive Signatures

We analyze the ability of mobile phone-generated accelerometer data to detect high-level (i.e., at the semantic level) indoor lifestyle activities, such as cooking at home and working at the workplace, in practical settings. We design a 2-Tier activity extraction framework (called SAMMPLE) for our purpose. Using this, we evaluate discriminatory power of activity structures along the dimension of statistical features and after a transformation to a sequence of individual locomotive micro-activities (e.g. sitting or standing). Our findings from 152 days of real-life behavioral traces reveal that locomotive signatures achieve an average accuracy of 77.14%, an improvement of 16.37% over directly using statistical features.
The teacher's role when pupils work on task using ICT in project work

Background ICT (information and communication technology) and project work are challenging issues for many teachers to deal with in the classroom. For years there were predictions that teachers, textbooks and even schools would be replaced by new teaching and learning technology. This prediction does not appear to have come about. Cuban has maintained that the ‘dominant cultural norms’ with respect to learning, instruction and the nature of knowledge almost have a neutralizing effect on development. During project work, the classroom activity differs from traditional teaching and Cuban's ‘dominant cultural norms’. At the outset of the research study, project work was therefore anticipated to arrange for learning activities integrating ICT as a useful tool. Purpose The rationale for this research is to show how teachers perform their role. Thus the text can function as a ‘thinking tool’ for teachers, teacher educators and others concerned with educational issues. In this way the article can initiate reflections and discussions that can improve teachers' practice when they are helping pupils work on tasks using ICT in their project work. Sample Data were collected in three classrooms in three schools at the lower secondary school level in Norway. In the three classrooms 63 girls and 55 boys, together with 12 teachers, worked in three teacher teams. Design and methods I describe the context for the activities in the classroom in which the teacher's role was prominent, and what this environment meant for the pupils' learning. By collecting data from three classrooms I expected to find common patterns and also variations in how these processes were conducted in the classroom. Classroom processes were studied using the qualitative case-study method, and data were collected throughout the project periods in the classrooms; the data were collected through observation, tape recordings, video recordings and logbook entries, and a constant comparative method was used to analyse the data. Results The study shows that the ICT tool offers a range of possibilities, but at the same time places great demands on the teacher. The teacher has to function as an adviser in the classroom by organizing and structuring the activity and ‘scaffolding’ the pupils in dialogues with them. ICT does not take over the teacher's role, but the study shows that this tool can mediate both talk between pupils and between pupils and teachers. The study also shows that pupil activity, as in project work, is necessary to exploit the various possibilities of ICT; however, the teacher has the key role in making this possible. Conclusions Student teachers and teachers in service need to be prepared to meet the challenges in classrooms where ICT is used in projects, and a form of training must be provided by teacher educators. Teachers should be trained to determine when and why ICT should be used, and also how the equipment should be integrated in classroom situations.
Towards development of FOPL based tweet summarization technique in a post disaster scenario: From survey to solution

In post disaster situation, the existing network infrastructure might be partly or fully damaged. In that case, a very popular online social network like twitter can be an effective tool, where people can share their views and knowledge about what is actually happening in the affected areas. It is a very challenging task to analyze the situation during the golden hours of any large scale disaster due to the absence of any renowned news media. All the tweets posted related to disaster are not genuine. Hence, some filtration must be performed to discard rumor tweets. After eliminating rumors, it has been observed that the volume of genuine tweets obtained is also very large. Thus, it is non-trivial for relief or rescue teams to analyze that large number of tweets and to take any decision regarding the relief and rescue as manual processing of those large numbers of tweets take significant amount of time. It is necessary to devise a summarization technique for efficient processing and analysis of genuine information at any point of time. In this work, an FOPL based summarization technique has been adopted to summarize the genuine tweets. From results it has been analyzed that the proposed technique has achieved better ROUGH-1 variant score compared to some other existing popular baseline techniques. The generated summary achieves an average precision, recall and F-measure score of 0.79, 0.39 and 0.55 respectively.