Miracle-dz/UniFAR-FTUs huggingface dataset:
Domain-Specific Development with Visual Studio DSL Tools

Domain-Specific Languages (DSLs)--languages geared to specific vertical or horizontal areas of interest--are generating growing excitement from software engineers and architects. DSLs bring new agility to the creation and evolution of software, allowing selected design aspects to be expressed in terms much closer to the system requirements than standard program code, significantly reducing development costs in large-scale projects and product lines. In this breakthrough book, four leading experts reveal exactly how DSLs work, and how you can make the most of them in your environment.With Domain-Specific Development with Visual Studio DSL Tools, you'll begin by mastering DSL concepts and techniques that apply to all platforms. Next, you'll discover how to create and use DSLs with the powerful new Microsoft DSL Tools--a toolset designed by this book's authors. Learn how the DSL Tools integrate into Visual Studio--and how to define DSLs and generate Visual Designers using Visual Studio's built-in modeling technology.In-depth coverage includes Determining whether DSLs will work for you Comparing DSLs with other approaches to model-driven development Defining, tuning, and evolving DSLs: models, presentation, creation, updates, serialization, constraints, validation, and more Creating Visual Designers for new DSLs with little or no coding Multiplying productivity by generating application code from your models with easy-to-use text templates Automatically generating configuration files, resources, and other artifacts Deploying Visual Designers across the organization, quickly and easily Customizing Visual Designers for specialized process needsList of Figures List of Tables Foreword PrefaceAbout the AuthorsChapter 1 Domain-Specific Development Chapter 2 Creating and Using DSLs Chapter 3 Domain Model Definition Chapter 4 Presentation Chapter 5 Creation, Deletion, and Update Behavior Chapter 6 Serialization Chapter 7 Constraints and Validation Chapter 8 Generating Artifacts Chapter 9 Deploying a DSL Chapter 10 Advanced DSL Customization Chapter 11 Designing a DSL Indexi¾
The SaveCCM Language Reference Manual

This language reference describes the syntax and semantics of SaveCCM, acomponent modeling language for embedded systems designed with vehicle applications and safety concerns in focus. The SaveCCM component model wasdefined within the SAVE project. The SAVE components are influenced mainlyby the Rubus component technology, with a switch concept similar to thatin Koala. The semantics is defined by a transformation into timed automatawith tasks, a formalism that explicitly models timing and real-time task scheduling.The purpose of this document is to describe a semantics of the SAVE component modeling language, which can be used to describe timing and functional behavior of components. The model of a system is in some cases an over approximation of the actual system behavior. An implementation of a model can resolve non-determinism e.g. by merging tasks or assigning a scheduling policy (such as static scheduling or fixed priority, preemptive or not) that will resolvethe non-determinism.
THE STRENGTHS AND THE WEAKNESS POINTS OF MITCH ALBOM’S THE TIME KEEPER

Tugas akhir ini membahas tentang novel karya Mitch Albom yang berjudul The Time Keeper. The Time Keeper adalah sebuah novel yang bercerita tentang Dor, manusia pertama yang menghitung waktu di bumi. Ia dihukum di gua karena mencoba mengukur anugrah terbesar dari Tuhan, yaitu Waktu. Lalu kembali ke dunia, dengan membawa jam pasir ajaib dan sebuah misi yaitu menebus kesalahannya dengan mengajarkan makna Waktu pada dua manusia bumi. Dalam tugas akhir ini penulis memberikan ulasan mengenai kelebihan dan kelemahan novel tersebut. Kelebihan novel tersebut terletak pada tema dan gaya penulisan, sedangkan karakter merupakan kelemahan dari novel ini. Tujuannya agar pembaca memahami novel tersebut serta dapat mengetahui pendapat dari sisi penulis tentang isi novel. Penulis berharap semoga ulasan mengenai novel ini dapat bermanfaat bagi pembaca.
Identification of Informativeness in Text using Natural Language Stylometry

In this age of information overload, one experiences a rapidly growing over-abundance of written text. To assist with handling this bounty, this plethora of texts is now widely used to develop and optimize statistical natural language processing (NLP) systems. Surprisingly, the use of more fragments of text to train these statistical NLP systems may not necessarily lead to improved performance. We hypothesize that those fragments that help the most with training are those that contain the desired information. Therefore, determining informativeness in text has become a central issue in our view of NLP. Recent developments in this field have spawned a number of solutions to identify informativeness in text. Nevertheless, a shortfall of most of these solutions is their dependency on the genre and domain of the text. In addition, most of them are not efficient regardless of the natural language processing problem areas. Therefore, we attempt to provide a more general solution to this NLP problem. This thesis takes a different approach to this problem by considering the underlying theme of a linguistic theory known as the Code Quantity Principle. This theory suggests that humans codify information in text so that readers can retrieve this information more efficiently. During the codification process, humans usually change elements of their writing ranging from characters to sentences. Examples of such elements are the use of simple words, complex words, function words, content words, syllables, and so on. This theory suggests that these elements have reasonable discriminating strength and can play a key role in distinguishing informativeness in natural language text. In another vein, Stylometry is a modern method to analyze literary style and deals largely with the aforementioned elements of writing. With this as background, we model text using a set of stylometric attributes to characterize variations in writing style present in it. We explore their effectiveness to determine informativeness in text. To the best of our knowledge, this is the first use of stylometric attributes to determine informativeness in statistical NLP. In doing so, we use texts of different genres, viz., scientific papers, technical reports, emails and newspaper articles, that are selected from assorted domains like agriculture, physics, and biomedical science. The variety of NLP systems that have benefitted from incorporating these stylometric attributes somewhere in their computational realm dealing with this set of multifarious texts suggests that these attributes can be regarded as an effective solution to identify informativeness in text. In addition to the variety of text genres and domains, the potential of stylometric attributes is also explored in some NLP application areas—including biomedical relation mining, automatic keyphrase indexing, spam classification, and text summarization—where performance improvement is both important and challenging. The success of the attributes in all these areas further highlights their usefulness.
Introduction to Teaching Physical Education: Principles and Strategies

Chapter 1. Physical Education's History Chapter 2. Purpose, Benefits, and Philosophy Chapter 3. Duties and Issues Chapter 4. Organization and Instruction Chapter 5. Motivation Chapter 6. Behavior Management Chapter 7. Scope and Sequence Chapter 8. Lesson Planning Chapter 9. Student Assessment Chapter 10. Technology and Resources Chapter 11. Careers in Physical Education.
Compensatoire strategietraining voor chronisch agrammatisme na een beroerte: Bevindingen pilot onderzoek

In dit artikel worden de pilot resultaten gepresenteerd van een onderzoek naar de effecten van een compensatoire strategietraining voor chronische, agrammatische afatici op de functionele communicatie. Binnen de Reduced Syntax Therapy (REST) leren agrammatische patienten te compenseren voor hun linguistische beperkingen. Ze worden gestimuleerd overmatig gebruik te maken van het elliptische repertoire. Eveneens wordt gekeken naar factoren die negatief van invloed kunnen zijn op de therapie-effecten, zoals cognitieve en sociaalemotionele factoren, De voorlopige resultaten (n=l), hypotheses en de consequenties van onze bevindingen voor het onderzoeksproject worden besproken.
Enhancing BCI Based Navigation by Adding Intention Detection and a Virtual Assistant

If a person is severely disabled, he can be stuck in a wheelchair without being able to effectively control it. One method to regain control is through a Brain Computer Interface (BCI). However, using a BCI for direct input has several drawbacks, such as a low accuracy, low bitrate (causing a delay in input) and high required mental effort. As a result, navigation in such a way is unreliable and in need of improvement. In order to reduce the limitations of a BCI used in a navigation task, the following paradigm was investigated. While navigating, the user can give direct input using a reactive BCI based on Steady-State Somatosensory Evoked Potentials (SSSEP). With this BCI, possible controls can be selected. To limit the required direct user input, a passive BCI has been investigated in the first part of this thesis. This BCI attempts to detect the user's intention to change course. If such an intention is detected, we can stop at the next intersection and ask the user which direction to turn. If no intention is detected, it is possible to simply move straight ahead without the need for direct input by the user. Since intention detection is not always effective, another passive BCI will be used to detect the errors made, which can then be corrected. Finally, a virtual assistant gathers knowledge about the environment in order to further automate the movement. The complete paradigm was tested in the second part of this project. Offline classification for the passive BCI for intention detection resulted in a mean accuracy of 65%, which, for some subjects, was partly based on eye movement artefacts. However, in some subjects an Event Related Potential (ERP) was observed, unrelated to the eye movement artefacts. This suggest that it may be possible to further improve the classification, even when eye movement artefacts are not present. The complete paradigm, including virtual assistant, was evaluated on effectiveness, efficiency and satisfaction with a small test group (n=2). Although still not rated sufficient for use in a real world setting, the results were an improvement compared to using only a reactive BCI for navigation. Further studies with disabled people are recommended in order to find at what BCI classification accuracies the navigation would be deemed satisfactory.
Fundamental Limits Of Spectrum Sharing In Device-To-Device Communication Systems

This work presents a new spectrum sharing mechanism for device-to-device communication systems. First, a K-user interference channel is considered and a sufficient condition under which using Gaussian codebooks at the sources and treating interference as noise at the destinations is information-theoretically optimal is derived. Afterwards, the notion of information-theoretic independent sets (in short, ITIS) is defined which denotes the subsets of users in a wireless network with n source-destination pairs inside each of which treating interference as noise is optimal. Then, the novel spectrum sharing mechanism of informationtheoretic link scheduling (in short, ITLinQ) is proposed which at each time schedules the users that form an ITIS. Furthermore, a distributed way of implementing ITLinQ is presented and it is shown, through numerical analysis, to outperform similar state-of-the-art spectrum sharing mechanisms such as FlashLinQ. Finally, the impact of network topology is studied in wireless networks where there is no channel state information at the transmitters using more sophisticated transmission schemes.
A Synthesizable VHDL Coding of a Genetic Algorithm

This paper presents the HGA, a genetic algorithm written in VHDL and intended for a hardware implementation. Due to pipelining, parallelization, and no function call overhead, a hardware GA yields a signiicant speedup over a software GA, which is especially useful when the GA is used for real-time applications, e.g. disk scheduling and image registration. Since a general-purpose GA requires that the tness function be easily changed, the hardware implementation must exploit the reprogrammability of certain types of eld-programmable gate arrays (FPGAs), which are programmed via a bit pattern stored in a static RAM and are thus easily reconngured. After presenting some background on VHDL, this paper takes the reader through the HGA's code. We then describe some applications of the HGA that are feasible given the state-of-the-art in FPGA technology and summarize some possible extensions of the design. Finally, we review some other work in hardware-based GAs.
Recursive Implementation of Anisotropic Filtering (Final Report)

Gaussian filters are widely used for image smoothing but it is well known that this type of filters blur the image features (e.g., edges). Anisotropic filtering draws more and more attention for its ability of featurepreserving smoothing. However, most existing anisotropic filters are quite time-consuming. In this report I will discuss the combination of anisotropic filtering and recursive implementation for image smoothing such that the anisotropic smoothing could be performed in a fast way.
Revisiting the Earliest Human Presence in Mallorca, Western Mediterranean

A new date for the assumed first humans in Mallorca disagrees strongly with the earliest dating of them. New light on the first settlement of Mallorca comes from the discussion of dates and the review of the empirical evidence for that settlement. We conclude that human arrival on Mallorca must be situated in the 3rd millennium cal BC. Résumé Une nouvelle date pour ce qui est supposé être les premiers humains à Majorque est en profond désaccord avec les datations antérieures. Cette nouvelle lumière sur la première occupation de Majorque vient de l'interprétation de ces datations et de la remise en question des témoignages empiriques la concernant. Nous en concluons que l'arrivée des hommes à Majorque doit se situer au cours du 3ème millénaire avant J.-C. en années calibrées. Zusammenfassung Ein neues Datum für die scheinbar ersten Menschen auf Mallorca widerspricht vollkommen ihrer frühesten Datierung. Neue Erkenntnisse zur ersten Besiedlung Mallorcas entstammen der Diskussion zu den Datierungen und aus der Überprüfung der empirischen Nachweise für diese erste Besiedlung. Wir folgern, daß die Ankunft des Menschen auf Mallorca in das 3. Jahrtausend cal BC datiert werden muß. Resúmen Una nueva datación para lo que se supone es la primera presencia humana en Mallorca difiere marcadamente de las fechas más tempranas existentes. Nuevas perspectivas para la primera ocupación de Mallorca emergen de la discusión de las fechas y de una revisión de la evidencia empírica para ese asentamiento. Concluimos que la llegada de las primeras poblaciones humanas a Mallorca debe situarse durante el tercer milenio cal BC.
Participatory Design: Structure in the Toolbox

In system development users and developers need to understand several domains: users' present work, technological options and the system being developed. These domains must be understood both at a concrete level and at an abstract, structured level. No single method achieves this. Therefore we must use various methods. This paper explains why a specific method may work in some situations and not in others. The paper concludes by classifying a number of well-known methods according to their applicability.
Haptics-Enabled Teleoperation for Robotics-Assisted Minimally Invasive Surgery

The lack of force feedback (haptics) in robotic surgery can be considered to be a safety risk leading to accidental tissue damage and puncturing of blood vessels due to excessive forces being applied to tissue and vessels or causing inefficient control over the instruments because of insufficient applied force. This project focuses on providing a satisfactory solution for introducing haptic feedback in robotics-assisted minimally invasive surgical (RAMIS) systems. The research addresses several key issues associated with the incorporation of haptics in a master-slave (teleoperated) robotic environment for minimally invasive surgery (MIS). In this project, we designed a haptics-enabled dual-arm (two masters two slaves) robotic MIS testbed to investigate and validate various single-arm as well as dual-arm teleoperation scenarios. The most important feature of this setup is the capability of providing haptic feedback in all 7 degrees of freedom (DOF) required for RAMIS (3 translations, 3 rotations and pinch motion of the laparoscopic tool). The setup also enables the evaluation of the effect of replacing haptic feedback by other sensory cues such as visual representation of haptic information (sensory substitution) and the hypothesis that surgical outcomes may be improved by substituting or augmenting haptic feedback by such sensory cues. To provide realistic haptic feedback, it is necessary to measure forces acting at the tip of the laparoscopic instruments in all appropriate directions, as well as when gripping, cutting or palpating tissue. In order to achieve this, we have incorporated two types of laparoscopic instruments in the testbed: A sensorized da Vinci tool, with the capability of measuring grasping forces provided by several strain gauges embedded in the tool shaft, and a customized instrument, the Tactile Sensing Instrument (TSI), which has been developed in our laboratory for soft-tissue palpation in RAMIS. Two surgical scenarios are considered in this project: Tumor localization in soft-tissue palpation, and endoscopic suturing. The first application is to localize tumors embedded in liver and lung tissue through the single-arm master-slave teleoperation system. Since the stiffness of a tumor is higher than that of healthy tissue, it can be distinguished as a hard nodule during remote palpation. Tactile sensing is a method that can be used in RAMIS to localize cancerous tumors prior to performing ablative therapies. However, its performance is highly dependent on the consistency of the exploration force. Using the customized tactile sensing instrument, the pressure distribution over the tissue is captured and provided as a color contour map on a screen. In order to apply the exploration force consistently over the tissue, different force
Adaptive critic designs and their applications

This dissertation develops a methodology of adaptive critic designs (ACDs). It is a synthetic development generalizing various previous results in the area of adaptive critics for over twenty years. In the past, ACDs have been primarily used in domains of Markov chains. A methodology developed in this study extends ACDs to Markov sequences. ACDs are studied in a framework of model reference adaptive control using neural networks. ACD consists of several interacting modules called critic network, action network (controller), identification ne:work, plant (environment), and reference model. Critic, the essential module of ACD, is adapted to evaluate how well action network controls the environment. Action network is trained to optimize outputs of the critic. There are two main ACDs. One is called an evaluation function ACD, another is a derivative ACD. These differ by the kind of output critic produces. A preferable way of training critic network is established, which is the same for both types of ACDs. Little attention has been devoted to finding an appropriate quality gauge for critic-based derivatives. A new enabling vision resulted from this study is in recognizing close similarity between derivatives of a form of backpropagation through time and derivatives provided by critics. Moreover, both types of derivatives are proven to be related in a certain way for the case of linear quadratic regulation. This vision helped to clarify several important issues that have remained obscure prior to this study: (1) when to use action dependent derivative critics, (2) how to treat unobservable states, and (3) when to connect a reference model to the critic. In addition, general training procedure applicable to any ACD is proposed and analyzed. It includes a family of new training procedures for derivative ACDs and their hybrids with backpropagation through time. A new critic-based method of verifying stability of unforced motion is proposed and tested. All main results and conclusions are verified in several experiments (mostly, computer simulations). Another new feature of this study is an extensive use of a powerful node decoupled extended Kalman filter algorithm for ACD training.
EFEITOS DE LETRAS DE MÚSICAS EM COMPORTAMENTOS PRÓ-SOCIAIS

Diversos estudos na Psicologia demonstraram os efeitos de filmes e video games violentos no comportamento agressivo. No entanto essa influencia foi pouco explorada em estudos para comportamentos pro-sociais. O objetivo foi verificar o efeito de letra de musica pro-social, considerando o papel moderador de variaveis pessoais e mediador dos afetos com base no modelo geral da aprendizagem. Participaram deste estudo 63 universitarios, e foram utilizados instrumentos de preferencia musical, autoestima, agradabilidade e pro-sociabilidade. Apresentava-se primeiro a letra de musica em aparelho de som, e os sujeitos acompanhavam a letra de musica traduzida; ao final da musica, os participantes recebiam o questionario. Uma manova mostrou que os participantes expostos a musica pro-social apresentaram mais comportamentos pro-sociais do que os expostos a musica neutra, porem essa diferenca nao foi estatisticamente significativa. Entretanto foram verificados efeitos indiretos da letra de musica pro-social em comportamentos pro-sociais, tendo os afetos positivos como variavel mediadora.