Miracle-dz/UniFAR-FTUs huggingface dataset:
Literature in Language Education Evolving Language Pedagogies and Text Preferences in Contemporary Russia

Raees Calafato - MA Applied Linguistics, Researcher, Institute of Education, University College London (Great Britain). Address: University College London, Gower Street, London WC1E6BT. E-mail: raees.calafato@gmail.comThe use of authentic texts, including literature, as an English as a Foreign Language (EFL) resource has gained wider currency in classrooms, notably in Europe and Asia, where this integration is being encouraged as linguists acknowledge the vital importance of lexical knowledge to foreign language acquisition. The adoption of communicative language teaching (CLT) methods, pointing to a shift away from teacher-centric models of language pedagogy, has also led to a greater emphasis being placed on the use of authentic texts, including literature, which has in turn given rise to debates regarding appropriate teaching techniques, methodology and text selection. In terms of foreign language education in Russia, literature has a storied history of use, although relatively few empirical studies exist on contemporary teacher practices and how these have evolved in the post-Soviet era. Indeed, as teaching practices evolve to incorporate authentic texts in EFL education in Russia, it is important for all stakeholders to understand what texts are actually being used in classrooms and in what way. To address this gap, data, as part of an exploratory study, was collected from 152 Russian EFL teachers via a semi-structured questionnaire. The results show that while Soviet teaching practices continue to influence, to some extent, teaching approaches and text selection with regard to literature in language education (LLE), there are notable shifts in teachers" attitudes towards learner interest and ability that reveal evolving teacher priorities and motivation.
Recommendations for the use of Serious Games in people with Alzheimer's Disease, related disorders and frailty

Alzheimer's disease and other related disorders (ADRD) represent a major challenge for health care systems within the aging population. It is therefore important to develop better instruments to assess the disease severity and progression, as well as to improve its treatment, stimulation, and rehabilitation. This is the underlying idea for the development of Serious Games (SG). These are digital applications specially adapted for purposes other than entertaining; such as rehabilitation, training and education. Recently, there has been an increase of interest in the use of SG targeting patients with ADRD. However, this field is completely uncharted, and the clinical, ethical, economic and research impact of the employment of SG in these target populations has never been systematically addressed. The aim of this paper is to systematically analyze the Strengths, Weaknesses, Opportunities, and Threats (SWOT) of employing SG with patients with ADRD in order to provide practical recommendations for the development and use of SG in these populations. These analyses and recommendations were gathered, commented on and validated during a 2-round workshop in the context of the 2013 Clinical Trial of Alzheimer's Disease (CTAD) conference, and endorsed by stakeholders in the field. The results revealed that SG may offer very useful tools for professionals involved in the care of patients suffering from ADRD. However, more interdisciplinary work should be done in order to create SG specifically targeting these populations. Furthermore, in order to acquire more academic and professional credibility and acceptance, it will be necessary to invest more in research targeting efficacy and feasibility. Finally, the emerging ethical challenges should be considered a priority.
Pessimism reduction in crosstalk noise aware STA

High performance circuits are facing increasingly severe signal integrity problems due to crosstalk noise and crosstalk noise awareness has become an integral part of static timing analysis (STA). Existing crosstalk noise aware STA methods compute noise induced delay uncertainty on a net by net basis and in a pessimistic way, without considering the overlap bounds of the victim and aggressor timing windows and realistic delay impact on early and late signal arrival times. Since crosstalk induced delay on individual nets contribute cumulatively on data and clock paths, even small amounts of pessimism in computation can add up to produce several unrealistic timing violations. Unlike glitch noise analysis where noise often attenuates during propagation, quality of delay noise analysis is severely affected by any pessimism in noise estimation and can unnecessarily cost valuable silicon and design resources for fixing unreal violations. In this paper, we propose two temporal techniques to reduce pessimism in crosstalk noise aware STA. The first method, "effective delay noise", is a net based method where the exact overlap points of victim and aggressor timing windows are considered to obtain the part of delay noise that actually impacts early and late signal arrival times. The second method, "path based delay noise", is a path based method where the reduced arrival uncertainty of the nets of a given path are utilized for pessimism reduction. We also propose a novel "uncertainty propagation" technique as part of the second method, which results in an iteration free crosstalk noise aware STA of the path with significantly reduced pessimism. The two techniques are combined in a proposed methodology that is compatible with existing industrial static timing analyzers with very little computational overhead compared to the traditional noise aware STA and a significant improvement in eliminating unreal violations. The proposed techniques resulted in 77% reduction of worst case negative slack and 57% reduction in the number of failing paths in the setup analysis of a 90nm industrial design.
An Improved Olympic Hole-Filling Method for Ultrasound Volume Reconstruction of Human Spine

Hole-filling in ultrasound volume reconstruction using freehand three-dimensional ultrasound estimates the values for empty voxels from the unallocated voxels in the Bin-filling process due to inadequate sampling in the acquisition process. Olympic operator, as a neighbourhood averaging filter, can be used to estimate the empty voxel. However, this method needs improvement to generate a closer estimation of the empty voxels. In this paper, the authors propose an improved Olympic operator for the Hole-filling algorithm, and apply it to generate the volume in a 3D ultrasound reconstruction of the spine. The conventional Olympic operator defines the empty voxels by sorting the neighbouring voxels, removing the n% of the upper and lower values, and averaging them to attain the value to fill the empty voxels. The empty voxel estimation can be improved by thresholding the range width of its neighbouring voxels and adjusting it to the average values. The method is tested on a hole-manipulated volume derived from a cropped 3D ultrasound volume of a part of the spine. The MAE calculation on the proposed technique shows improved result compared to all tested existing methods.
A Greedy Approach to Unsupervised Grammar Induction for Filipino

This paper discusses the Greedy Merge Model used for an unsupervised grammar induction system for the Filipino language. The approach attempts to address the current state of Philippine linguistic resources, specifically the formal grammars, which are insubstantial for robust analysis. The Greedy Merge Model results show an F1 measure of 69%. Generated grammar rules are presented, and current limitations of the results are discussed.
Tagging the Dutch PAROLE Corpus

We discuss the annotation with part of speech and lemma of the Dutch PAROLE Internet Corpus.The PAROLE PoS tagger is a combination of statistical taggers. It includes the Markov tagger TnT and 3 taggers developed at the INL with the purpose of using other information besides the training data. Lemma is assigned by a deterministic procedure, based on an extensive lexicon.The output is in some respects not entirely satisfactory; we discuss what can be done about this without having to manually correct the complete corpus.
Beat playing system based on rhythmic human motions

In this paper, we propose a system which plays an appropriate beat music to dance, which is one of emotional self-expressions using human motions. Dancers presently have a limitation on their expressions because they have to determine their rhythm considering given music; we believe that dancers can express their own emotions more freely without the consideration. The proposed system focuses and obtains “the human motion rhythm,” and automatically plays a beat music based on the rhythm. In this paper, we conducted comparative experiments for extracting rhythm method: the method focusing on “periodicity of human motions” and “key poses: the stop motions. ” Performance evaluation results showed that the beat music played by the proposed system focusing on periodicity of human motions was well harmonized with the human rhythmic motion for a beat per minute, and it worked well for different human motions. Results of subjective evaluation suggested that the proposed system played the beat music which rhythm was appropriate to the dance.
laming CtS

A number of researchers have investigated the use of planbased approaches to generate textual explanations (e.g., Appelt 1985; Hovy 1988; Moore 1989; Maybury 1990b). This paper extends this approach to generate multimedia explanations by defining three types of communicative acts: linguistic acts (illocutionary and locutionary speech acts), visual acts (e.g., deictic acts), and mediaindependent rhetorical acts (e.g., identify, describe). This paper formalizes several of these communicative acts as operators in the library of a hierarchical planner. A computational implementation is described which uses these plan operators to compose route plans in coordinated natural language and graphics in the context of a cartographic information system.
Graphics in overlapping bitmap layers

One of the common uses of bitmap terminals is storing multiple programming contexts in multiple, possibly overlapping, areas of the screen called windows. Windows traditionally store the visible state of a programming environment, such as an editor or debugger, while the user works with some other program. This model of interaction is attractive for one-process systems, but to make full use of a multiprogramming environment, windows must be asynchronously updated, even when partially or wholly obscured by other windows. For example, a long compilation may run in one window, displaying messages as appropriate, while the user edits a file in another window. This paper describes a set of low-level graphics primitives to manipulate overlapping asynchronous windows, called layers, on a bitmap display terminal. Unlike previous window software, these primitives extend the domain of the general bitmap operator bitblt to include bitmaps that are partially or wholly obscured.
On the finite presentation of subdirect products and the nature of residually free groups

We establish {\it virtual surjection to pairs} (VSP) as a general criterion for the finite presentability of subdirect products of groups: if $\Gamma_1,\ldots,\Gamma_n$ are finitely presented and $S We use the VSP criterion to characterize the finitely presented residually free groups. We prove that the class of such groups is recursively enumerable. We describe an algorithm that, given a finite presentation of a residually free group, constructs a canonical embedding into a direct product of finitely many limit groups. We solve the (multiple) conjugacy problem and membership problem for finitely presentable subgroups of residually free groups. We also prove that there is an algorithm that, given a finite generating set for such a subgroup, will construct a finite presentation. New families of subdirect products of free groups are constructed, including the first examples of finitely presented subgroups that are neither ${\rm FP}_\infty$ nor of Stallings-Bieri type.
The Network-on-Chip Quasi-optimal Topology Analysis Method

The article concentrates upon the synthesis of network-on-chip topologies, based on the evolutionary computations method. The optimality criteria of the network-on-chip topologies and a new class of quasi-optimal topologies are proposed. The requirements for quasi-optimal topologies are defined. The genetic algorithm GeNoC for the synthesis of quasi-optimal network-on-chip topologies with the number of nodes up to 100 is developed. By using the mathematical methods of optimization the analysis of the obtained quasi-optimal topologies is performed. The importance coefficients correction method of the objective function in the synthesis of quasi-topologies is proposed; as a result, the difference in their performance compared to theoretically possible optimal topologies is reduced up to 1,8%. References 7.
Sub-threshold Circuit Design Techniques for Ultra Low-Power Logic

With CMOS technology being scaled to ever smaller dimensions to achieve higher performance and integration levels, power dissipation has become a major concern in modern VLSI designs. Sub-threshold circuits have gained a lot of importance due to ultra low-power consumption. The paper reviews the sub-threshold circuit design. Various body-biasing schemes and logic families for performance enhancement in sub-threshold regime are identified. The paper analyzes interconnects for very large scale integration (VLSI) applications and identifies carbon nano-tube interconnects as future technology for sub-threshold operation.
Visualization of software metrics using computer graphics techniques

The visualization techniques used in current software visualization frameworks make use of a limited set of graphical elements to highlight relevant aspects of a software system. Typical examples of such elements are text, simple geometric shapes and uniform color fills. Although human visual perception enables rapid processing of additional visual cues like shading and texture, they are not used. We contend that such 2D and 3D computer graphics techniques for achieving visual realism can be used to increase the information throughput of software visualization techniques. Visualization results are presented to show how treemaps, cushions, color, texture, and bump mapping can be used to visualize software metrics of hierarchically organized elements of a software system.
Research on Policy-based Access Control Model

Because of the limitations of condition configuration and execution mechanism, the exiting access control models are not flexible and can not support multi-policy. Focusing on this, the paper presents a policy-based access control model (PBAC). Different from the traditional models which restrict session only with subject authorization, PBAC realizes policy-based access control by defining attribute to describe session property, performing a new policy management method that is free from application logic, and advocating an independent access control decision mechanism. As a consequence, PBAC is more flexible on restricting session, and makes great progress on multi-policy supporting. The comparison analysis indicates that PBAC is superior to the current access control models.
DETERMINAN MINAT PERILAKU DALAM PENGGUNAAN E-FILING SEBAGAI SARANA PELAPORAN SPT TAHUNAN WAJIB PAJAK ORANG PRIBADI

Penelitian ini bertujuan untuk menguji secara empiris determinan minat perilaku wajib pajak orang pribadi dalam menggunakan sistem e-filing dengan memodifikasi model Technology Acceptance Model (TAM), Unified Theory Of Acceptance and Use of Technology (UTAUT) dan Persepsi Risiko. Penelitian ini menggunakan metode survei kuesioner untuk memperoleh data. Tehnik pengambilan sampel yang digunakan adalah convenience sampling. Responden yang digunakan dalam penelitian ini sebanyak 103 responden, yakni auditor di Kantor Akuntan Publik Provinsi Jawa Timur yang merupakan wajib pajak dan pernah menggunakan sistem e-filing. Hasil pengujian menunjukkan bahwa konstruk persepsi kegunaan, persepsi kemudahan, persepsi risiko, aspek sosial, dan kondisi yang memfasilitasi berpengaruh terhadap minat perilaku untuk menggunakan sistem e-filing. Kata kunci: Technology Acceptance Model (TAM), Unified Theory Of Acceptance and Use of Technology (UTAUT), Sistem E-filing, Minat Perilaku, Persepsi Kegunaan, Persepsi Kemudahan, Persepsi Risiko, Aspek Sosial, Kondisi yang Memfasilitasi.
Engrailed-1 Expression Marks a Primitive Class of Inhibitory Spinal Interneuron

Studies in chicks and mice have suggested that transcription factors mark functional subtypes of interneurons in the developing spinal cord. We used genetic, morphological, and physiological studies to test this proposed association in zebrafish. We found that Engrailed-1 expression uniquely marks a class of ascending interneurons, called circumferential ascending (CiA) interneurons, with ipsilateral axonal projections in both motor and sensory regions of spinal cord. These cells express the glycine transporter 2 gene and are the only known ipsilateral interneurons positive for this marker of inhibitory transmission. Patch recordings show that the CiA neurons are rhythmically active during swimming. Pairwise recordings from the CiA interneurons and postsynaptic cells reveal that the Engrailed-1 neurons produce monosynaptic, strychnine-sensitive inhibition of dorsal sensory interneurons and also inhibit more ventral neurons, including motoneurons and descending interneurons. We conclude that Engrailed-1 expression marks a class of inhibitory interneuron that seems to provide all of the ipsilateral glycinergic inhibition in the spinal cord of embryonic and larval fish. Individual Engrailed-1-positive cells are multifunctional, playing roles in both sensory gating and motor pattern generation. This primitive cell type may have given rise to several, more specialized glycinergic inhibitory interneurons in birds and mammals. Our data support the view that the subdivision of spinal cord into different regions by transcription factors defines a primitive functional organization of spinal interneurons that formed a developmental and evolutionary foundation on which more complex systems were built.
THE RADIAL SCALE LENGTH OF THE MILKY WAY

The radial scale length of the exponential component of the disc of the Milky Way has been determined in the near infrared. We have used the TMGS (Two Micron Galactic Survey) database which contains positions and K-magnitudes of about 700.000 stars distributed in serveral regions along the galactic plane. From those we have selected areas more than 5◦ off the plane to minimize the effect of extinction and the contributions of the young disc; and with longitudes ranging from 30◦ to 70◦, to avoid contaminations from the central bulge, the bar and the molecular ring, in the inner end, and from the local arm, the warp and the truncation of the disc, in the outer end. We observed stars with magnitude 9 ≤ mK ≤ 10. The use of the NIR K-band also reduces the effect of extinction. In the observation region, mK = 9.5 mag stars are K2-K5 III stars, with an absolute magnitude that is nearly constant, which also greatly simplifies the problem. We have obtained the value 2.1±0.3 kpc for the radial scale length, which is a typical value when compared with external galaxies of similar types.
Intrusion Detection System Based on Principal Component Analysis and Grey Neural Networks

A new kind of Intrusion Detection System (IDS) based on Principal Component Analysis (PCA) and Grey Neural Networks (GNN) is presented to improve the performance of BP neural networks in the field of intrusion detection. First, the pre-processed data set is normalized and the features of them are extracted by PCA. Next, five layers of the grey neural networks is designed based on BP neural networks and Grey theory, then the IDS composed of sniffer module, data processing module, grey neural network module and intrusion detection module is presented. Finally, the presented system was tested on the data set of DARPA 1999. The results demonstrate that the feature extraction reduced the dimensionality of feature space greatly without degrading the systems’ performance, and GNN not only promote the parallel computing power of the system but also improve the utilization of available information.
Modularity density for Evaluating Community Structure in Bipartite Networks

Bipartite networks are an important category of complex networks in human social activities. Newman and Girvan proposed a measurement called modularity to evaluate community structure in unipartite networks called modularity. Due to the success of modularity in unipartite networks, bipartite modularity is developed according to different understandings of community in bipartite networks which all contains an intrinsic scale that depends on the total sizeof links and ignores the number of nodes in the bipartite network. In addition, the size heterogeneity of communities and degree of nodes often affects the measure of community. In this work, we propose a quantitative measure forevaluatingthe partition of bipartite networks into one-to-one correspondence between different type communities basedon the concept of average bipartite modularity degree. Unlike the bipartite modularity measures previously proposed, the new measure can overcome the resolution limits. Experiments on the artificial and real-world bipartite networks validate the accuracy and reliability of our bipartite modularity density.
Factors affecting powerlifting performance: an analysis of age- and weight-based determinants of relative strength

ABSTRACT Powerlifting (PL) is characterised by the ability to generate maximal force. However, an understanding of the factors affecting strength in PL athletes is poorly understood. Therefore, competition data were analysed from 1368 individuals during 2017. Relative strength was compared for the squat (SQ), bench press (BP) and deadlift (DL) between age groups (Sub-junior [SJ], Junior [JU], Open [OP], and Masters’ I-IV [M1-M4]), weight classes (females; 47 kg, 52 kg, 57 kg, 63 kg, 72 kg, 84 kg and + 84 kg and males; 59 kg, 66 kg, 74 kg, 83 kg, 93 kg, 105 kg, 120 kg, + 120 kg) and between sexes. The results showed that relative strength was greater for males across all lifts (P < 0.001). Relative strength tended to decrease with increasing body mass for males (SQ, BP and DL: P < 0.001, R2 = 0.9306–0.9763) and females (SQ, BP and DL: P < 0.001, R2 = 0.9485–0.9802), and with increasing age for males (SQ, BP and DL: P < 0.001, R2 = 0.4742–0.6729), and females (SQ: P < 0.001, BP: P = 0.002 and DL: P = 0.001, R2 = 0.0844–0.3705), respectively. The findings offer important information regarding factors that affect strength performance in athletes. Coaches should consider the factors influencing strength when developing resistance training programmes or in longer term athletic development for powerlifters and other strength based sports.