Miracle-dz/UniFAR-FTUs huggingface dataset:
Motion in poetry : a psychophysical, action-based approach to the composition and analysis of metrical dramatic verse

Why do so few contemporary dramatists write in metrical verse? One of the chief criticisms levelled at modern verse drama has been that playwrights’ use of verse fails to cohere with contemporary notions of dramatic action. As action-playing is largely a matter of text in performance, this thesis assumes that the best way to meet this challenge is to approach it as much from the perspective of the actor as from that of the playwright, and presents a psychophysical, action-based approach to the composition and analysis of metrical dramatic verse. Verse rhythm is explored through the application of Rudolf Laban’s concepts of Motion Factors and Working Actions, and with reference to contemporary theories of cognitive poetics. The rhythms of metrical verse are thereby understood and experienced as purposeful movements of the human body which are, in turn, understood and experienced as the psychophysical sensations of dramatic action. This approach, given the title of the Verse Psychology Game, draws together three original concepts: 1. Creating and interpreting dramatic texts according to Stanislavskian notions of action is a game, with the playwright as ‘gamewright’ and the actors as players. 2. The Motion in Poetry Metaphor: a conceptual metaphor that builds on the principles of the Laban-Malmgren System of ‘movement psychology’, allowing verse rhythms to be understood and experienced as embodied sensations of psychophysical dramatic action. 3. Hyperactivity: an ‘intensified’ form of action-playing that operates beyond the limits of ‘naturalistic’ performance. This enables a ‘specialist game’ in which verse serves a hyperactive dramatic function. Within this framework, metrical dramatic verse can be created and interpreted on the basis of its performative potential. This is demonstrated through the development of a new methodology for metrical analysis, ‘actorly’ interpretations of Shakespearean dramatic verse, a series of training exercises that ‘sensitise’ the playwright to the performative potential of verse rhythm, and the creation of original material for a new verse play. This approach also aids actors, directors and teachers when making interpretative choices. The theories and techniques of the Verse Psychology Game are pedagogical tools that can contribute to broader programmes on dramatic writing and inform the methodologies of conservatoire actor-training.
ERS/SAR data application for Russian boreal forests mapping and monitoring

This study is aimed at assessing ERS/SAR data application for Russian forests mapping and monitoring. Implementation of this task includes assessment of ERS/SAR data benefits for discrimination of forest-covered areas, territory classification by land and forest types. The choice of the SAR sensor is substantiated by its well-known advantages, such as independence of cloud cover and sensitivity to humidity, volume of forest phytomass and structure of forest stands. The study comprises thematic processing of satellite images obtained within different vegetation seasons and assessment of correlations between SAR and in-situ data. This is done for several forest classes. Backscattering coefficients were derived for these classes. The results of classification were compared both visually and statistically. The studies are carried out for test area in the St. Petersburg region.
A bayesian local causal discovery framework

This work introduces the Bayesian local causal discovery framework, a method for discovering unconfounded causal relationships from observational data. It addresses the hypothesis that causal discovery using local search methods will outperform causal discovery algorithms that employ global search in the context of large datasets and limited computational resources. Several Bayesian local causal discovery (BLCD) algorithms are described and results presented comparing them with two well-known global causal discovery algorithms PC and FCI, and a global Bayesian network learning algorithm, the optimal reinsertion (OR) algorithm which was post-processed to identify relationships that under assumptions are causal. Methodologically, this research formalizes the task of causal discovery from observational data using a Bayesian approach and local search. It specifically investigates the so called Y structure in causal discovery and classifies the various types of Y structures present in the data generating networks. It identifies the Y structures in the Alarm, Hailfinder, Barley, Pathfinder and Munin networks and categorizes them. A proof of the convergence of the BLCD algorithm based on the identification of Y structures, is also provided. Principled methods of combining global and local causal discovery algorithms to improve upon the performance of the individual algorithms are discussed. In particular, a post-processing method for identifying plausible causal relationships from the output of global Bayesian network learning algorithms is described, thereby extending them to be causal discovery algorithms. In an experimental evaluation, simulated data from synthetic causal Bayesian networks representing five different domains, as well as a real-world medical dataset, were used. Causal discovery performance was measured using precision and recall. Sometimes the local methods performed better than the global methods, and sometimes they did not (both in terms of precision/recall and in terms of computation time). When all the datasets were considered in aggregate, the local methods (BLCD and BLCDpk) had higher precision. The general performance of the BLCD class of algorithms was comparable to the global search algorithms, implying that the local search algorithms will have good performance on very large datasets when the global methods fail to scale up. The limitations of this research and directions for future research are also discussed.
Audio Cues to Assist Visual Search in Robotic System Operator Control Unit Displays

Abstract : Mission demands have made the robotics collaboration operator control unit (OCU) into a relatively dynamic, demanding, cognitively complex system where Soldiers must perform multiple tasks such as controlling multiple tasks such as controlling multiple robots and processing large amounts of information in environments that sometimes contain high levels of noise. Research and modeling data indicate that audio display technologies would be very useful in OCU applications such as guiding visual display search. The purpose of this study was to examine the effectiveness of the integration of auditory display technologies in visual search tasks such as those that occur in robotic OCUs. Independent variables were audio signal mapping scheme, type of verbal positional cue, and visual target azimuth. Dependent variables were visual target search time and the National Aeronautics and Space Administration Task Load Index workload rating of the target search task. Participants were 36 students (15 males and 21 females) from Harford Community College. The results indicated that the use of auditory signal mapping and verbal positional cues significantly reduced visual display search time and workload and that positional cues mixed with specific audio mappings were the most efficient means of reducing search time. Specific design recommendations are made regarding the use of auditory signals in environments with a narrow field-of-view visual displays.
The Use of Computer-Based Tutorial to Augment Teaching and Learning of Computer Software Application: A Case Study of Rhinoceros 3d Software

Computer-based tutorials is a new technology gaining grounds in the teaching and learning of computer software applications and has given birth to self-paced learning. Self-paced learning has taken a different turn in recent times as computer technology is advancing and the interaction possibility of computers and humans is becoming easier. This study seeks to use computer-based tutorials to teach and learn Rhinoceros 3D software computer application. Qualitative research method was employed to explain and describe the various steps involved in the development of the tutorials based on Rhinoceros 3D software application. The final product which is packaged on a CD-ROM was tested through the use of empirical research. Questionnaire were administered to the final year students of the Department of Integrated Rural Art and Industry, KNUST after a purposive sampling was used. The study d isc overed a type of computer-based tutorial known as interactive video tutorial can be effectively used to teach and learn Rhinoceros 3D software. The computer-based tutorial has come to stay and should be used to augment the traditional way of teaching and learning.
NICE DSU Technical Support Document 2: A Generalised Linear Modelling Framework for Pairwise and Network Meta-Analysis of Randomised Controlled Trials

General rights This document is made available in accordance with publisher policies. Please cite only the published version using the reference above. Full terms of use are available: Explore Bristol Research is a digital archive and the intention is that deposited content should not be removed. However, if you believe that this version of the work breaches copyright law please contact open-access@bristol.ac. uk and include the following information in your message: • Your contact details • Bibliographic details for the item, including a URL • An outline of the nature of the complaint On receipt of your message the Open Access Team will immediately investigate your claim, make an initial judgement of the validity of the claim and, where appropriate, withdraw the item in question from public view. The NICE Guide to the Methods of Technology Appraisal i is a regularly updated document that provides an overview of the key principles and methods of health technology assessment and appraisal for use in NICE appraisals. The Methods Guide does not provide detailed advice on how to implement and apply the methods it describes. This DSU series of Technical Support Documents (TSDs) is intended to complement the Methods Guide by providing detailed information on how to implement specific methods. The TSDs provide a review of the current state of the art in each topic area, and make clear recommendations on the implementation of methods and reporting standards where it is appropriate to do so. They aim to provide assistance to all those involved in submitting or critiquing evidence as part of NICE Technology Appraisals, whether manufacturers, assessment groups or any other stakeholder type. We recognise that there are areas of uncertainty, controversy and rapid development. It is our intention that such areas are indicated in the TSDs. All TSDs are extensively peer reviewed prior to publication (the names of peer reviewers appear in the acknowledgements for each document). Nevertheless, the responsibility for each TSD lies with the authors and we welcome any constructive feedback on the content or suggestions for further guides. Please be aware that whilst the DSU is funded by NICE, these documents do not constitute formal NICE guidance or policy. Excellence (NICE) through its Decision Support Unit. The views, and any errors or omissions, expressed in this document are of the author only. NICE may take account of part or all of this document if it considers it appropriate, but …
Partitioned Transient Analysis Procedures for Coupled-Field Problems.

Abstract : A general partitioned transient analysis procedure is proposed, which is amenable to a unified stability analysis technique. The procedure embodies two existing inplicit-explicit procedures and one existing implicit-implicit procedure. A new implicit-explicit procedure is discovered, as a special case of the general procedure, that allows degree-by-degree implicit or explicit selections of the solution vector and can be implemented within the framework of the implicit integration packages. A new element-by-element implicit-implicit procedure is also presented which satisfies program modularity requirements and enables the use of single-field implicit integration packages to solve coupled-field problems. (Author)
Shift-Invariant DWT for Medical Image Classification

The discrete wavelet transform (DWT) is gaining momentum as a feature extraction and/or classification tool, because of its ability to localize structures with good resolution in a computationally effective manner. The result is a unique and discriminatory representation, where important and interesting structures (edges, details) are quantified efficiently by few coefficients. These coefficients may be used as features themselves, or features may be computed from the wavelet domain that describe the anomalies in the data. As a result of the potential that the DWT possesses for feature extraction and classification applications, the current work focuses on its utility in a computer-aided diagnosis (CAD) framework. CAD systems are computer-based methods that offer diagnosis support to physicians. The images are automatically analyzed and the presence of pathology is identified using quantitative measures (features) of disease. With traditional radiology screening techniques, visually analyzing medical images is labourious, time consuming, expensive (in terms of the radiologist’s time) and each individual scan is prone to interpretation error (the error rate among radiologists is reported to hover around 30% Lee (2007)). Additionally, visual analysis of radiographic images is subjective; one rater may choose a particular lesion as a candidate, while another radiologist may find this lesion insignificant. Consequently, some lesions are beingmissed ormisinterpreted. To reduce the error rates, a secondary opinion may be obtained with a CAD system (automatically reanalyze the images after the physician). Such methods are advantageous not only because they are cost effective, but also because they are designed to objectively quantify pathology in a robust, reliable and reproduciblemanner. There has been a lot of research in CAD-system design for specific modalities or applications with excellent results, i.e. see Sato et al. (2006) for CT, or Guliato et al. (2007) for mammography. Although these techniques may render good results for the particular modality it was built for, the technique is not transferable and has little-to-no utility in other CAD problems (cannot be applied to other images or databases). Since CAD systems are being employed widely, a framework that encompasses a variety of imaging modalities not just a single one would be of value. To this end, this work concerns the development of a generalized computer-aided diagnosis system that is based on the DWT. It is considered generalized, since the same framework can 0
A modular verification of complex real-time systems

The verification technique proposed in this paper requires the construction of the labelled state graphs for the given functional model and architecture model to prove that both have the same legal trajectories regarding the same set of observables. Our tool and formalism for specifying and verifying complex real-time systems is hierarchical coloured Petri nets (CPN). We introduce two different types of CPN based real-time system models: functional model, and architecture model. To illustrate our approach, we specify and verify a flexible manufacturing cell. <<ETX>>
ALGORITHMS FOR THE REDUCTION OF THE NUMBER OF POINTS REQUIRED TO REPRESENT A DIGITIZED LINE OR ITS CARICATURE

All digitizing methods, as a general rule, record lines with far more data than is necessary for accurate graphic reproduction or for computer analysis. Two algorithms to reduce the number of points required to represent the line and, if desired, produce caricatures, are presented and compared with the most promising methods so far suggested. Line reduction will form a major part of automated generalization. Regle generale, les methodes numeriques enregistrent des lignes avec beaucoup plus de donnees qu'il n'est necessaire a la reproduction graphique precise ou a la recherche par ordinateur. L'auteur presente deux algorithmes pour reduire le nombre de points necessaires pour representer la ligne et produire des caricatures si desire, et les compare aux methodes les plus prometteuses suggerees jusqu'ici. La reduction de la ligne constituera une partie importante de la generalisation automatique.
PORTABLE LANGUAGE TECHNOLOGY: A RESOURCE-LIGHT APPROACH TO MORPHO-SYNTACTIC TAGGING DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By

Morpho-syntactic tagging is the process of assigning part o f speech (POS), case, number, gender, and other morphological information to each word in a corpus. Morpho-syntactic tagging is an important step in natural language processing . Corpora that have been morphologically tagged are very useful both for linguistic res earch, e.g. finding instances or frequencies of particular constructions in large corpora, and for further computational processing, such as syntactic parsing, speech recognition, st emming, and word-sense disambiguation, among others. Despite the importance of morphol ogical tagging, there are many languages that lack annotated resources. This is almost ine vi able because these resources are costly to create. But, as described in this thesis, it is p os ible to avoid this expense. This thesis describes a method for transferring annotation from a morphologically annotated corpus of a source language to a corpus of a related target language. Unlike unsupervised approaches that do not require annotated data at ll and, as a consequence, lack precision, the approach proposed in this dissertation relies on linguistic knowledge, but avoids large-scale grammar engineering. The approach need s neither a parallel corpus nor a bilingual lexicon, and requires much less linguistic labo r than the standard technology. This dissertation describes experiments with Russian, Cze ch, Polish, Spanish, Portuguese, and Catalan. However, the general method proposed can be applied to any fusional language.
Switched-currents : an analogue technique for digital technology

* Chapter 1: Introduction * Chapter 2: The Evolution of Analogue Sampled-Data Signal Processing * Basic Cells * Chapter 3: Switched-Current Architectures and Algorithms * Chapter 4: Switched-Current Limitations and Non-Ideal Behaviour * Chapter 5: Noise in Switched-Current Circuits * Chapter 6: Switched-Current Circuit Design Techniques * Chapter 7: Class AB Switched-Current Techniques * Filters * Chapter 8: Switched-Current Filters * Chapter 9: A Switched-Capacitor to Switched-Current Conversion Method * Chapter 10: Switched-Current Video Signal Processing * Chapter 11: Switched-Current Wave Analogue Filters * Data Converters * Chapter 12: Algorithmic and Pipelined A/D Converters * Chapter 13: High Resolution Algorithmic A/D Converters based on Dynamic Current Memories * Chapter 14: Building Blocks for Switched-Current Sigma-Delta Converters * Chapter 15: Continuous Calibration D/A Conversion * Other Applications * Chapter 16: Dynamic Current Mirrors * Chapter 17: Switched-Current Cellular Neural Networks for Image Processing * Analysis, Simulation and Test * Chapter 18: Test for Switched-Current Circuits * Chapter 19: Analysis of Switched-Current Filters * Chapter 20: Non-linear Behaviour of Switched-Current Memory Circuits * Future Directions * Chapter 21: GaAs MESFET Switched-Current Circuits * Chapter 22: Switched-Currents: State-of-the-Art and Future Directions
Impact of Sleep Mode on Energy Dissipation in Wireless Sensor Ad Hoc Networks

In Wireless Sensor Networks the data generating from sensing nodes is as crucial as collecting data from different location of the network. The data observed by different nodes must be relayed safely over intermediate nodes to the base station. In this paper, the effects of sleep mode on energy dissipation in wireless sensor ad hoc networks is investigated. Constructed a Linear Programming (LP) that jointly captures data routing and energy dissipation. The results indicated that the number of sleep nodes increases, the lifetime of nodes decreases. Despite the existence of sleep nodes, it can be observed clearly the positive effect of high number of nodes on lifetime. Keywords: Energy dissipation, linear programming, sleep nodes, wireless sensor ad hoc networks;
Teachers' Perceptions and Experiences in Adopting "Blackboard" Computer Program in a Victorian Secondary School: A Case Study

Over the past decade, information and communication technology (ICT) has become increasingly prevalent in our schools. With the emergence of new technologies in the classrooms, there is a pressing need to study how teachers experience and feel about the integration of new technology in their teaching practice. This study investigated seven teachers' perceptions and experiences in adopting 'Blackboard' computer program into their teaching. This research contributes to our understanding of how teachers adapt to the introduction and integration of new technology in their classrooms. The study combined theory and practice, identifying connections between the experiences of teachers and existing literature and research. One Catholic secondary school was the focus of the study. This school was selected because of its adoption of cutting-edge Information and Communication Technologies (ICT). Data were drawn from four sources: individual teacher interviews; direct observation; email dialogues and school documents during the 2004 academic year. Teachers were interviewed three times; the transcripts of 21 semi-structured, open-ended interviews and observation data were analysed using the system of content analysis that involved identifying, coding, and categorising the main themes in the data. To expedite the research, I identified seven constructs to structure the data analysis: (a) change; (b) teachers' workload/time management; (c) student management; (d) enhancing student learning; (e) skill development; (f) access; (g) online pedagogy. Case profiles were created for each teacher and then compared across the seven teachers to discern both common and unique patterns of perceptions and experiences related to 'Blackboard' integration and implementation processes. Results of the study identified the importance of access to computers, ongoing professional development and leadership support for the integration of 'Blackboard' and other related technologies into teaching. The results also indicated that teachers need sufficient time to practise and plan their lessons with the new technology. The importance of a planned change process, created by all stakeholders, concerning integration of new technologies in the school emerged as an important outcome of this study. The results indicated teachers were most receptive to learning from and with their colleagues about the integration of the 'Blackboard' program into their classroom practice. Based on these research outcomes, a set of recommended strategies to support the integration of 'Blackboard' into teacher pedagogy and school curricula is included in the final chapter. Information gained from this study will provide some insights for the case study school and those schools that are interested in pursuing a similar path in the future.