Miracle-dz/UniFAR-FTUs huggingface dataset:
GRAMMATICAL CONSTRAINTS ON INTRASENTENTIAL CODE SWITCHING: EVIDENCE FROM ENGLISH-AFRIKAANS CODE SWITCHING

Code switching is a sociolinguistic phenomenon that is found wherever two or more language varieties are used in a speech community. Bilingual or multilingual speakers who speak two or more language varieties often switch fluently between these linguistic codes, sometimes even within the same utterance, a phenomenon that is generally referred to as "intrasentential code switching". Various grammatical constraints on intrasentential code switching have been proposed in the literature. In this article, I will critically examine, using English-Afrikaans code switching data, the empirical predictions of two of these constraints, viz. Poplack's (1980) Free Morpheme Constraint and Belazi, Rubin & Toribio's (1994) Functional Head Constraint. I will suggest possible explanations for aspects of the data that appear to be unaccounted for in Poplack's (1980) and Belazi et al.'s (1994) frameworks. I will also characterise another approach to code switching, namely a Minimalist approach, and examine some of the advantages of such an approach by re-examining the data.
Large-scale Geometric Data Decomposition, Processing and Structured Mesh Generation

Mesh generation is a fundamental and critical problem in geometric data modeling and processing. In most scientific and engineering tasks that involve numerical computations and simulations on 2D/3D regions or on curved geometric objects, discretizing or approximating the geometric data using a polygonal or polyhedral meshes is always the first step of the procedure. The quality of this tessellation often dictates the subsequent computation accuracy, efficiency, and numerical stability. When compared with unstructured meshes, the structured meshes are favored in many scientific/engineering tasks due to their good properties. However, generating high-quality structured mesh remains challenging, especially for complex or large-scale geometric data. In industrial Computer-aided Design/Engineering (CAD/CAE) pipelines, the geometry processing to create a desirable structural mesh of the complex model is the most costly step. This step is semi-manual, and often takes up to several weeks to finish. Several technical challenges remains unsolved in existing structured mesh generation techniques. This dissertation studies the effective generation of structural mesh on large and complex geometric data. We study a general geometric computation paradigm to solve this problem via model partitioning and divide-and-conquer. To apply effective divide-and-conquer, we study two key technical components: the shape decomposition in the divide stage, and the structured meshing in the conquer stage. We test our algorithm on vairous data set, the
Tableau-based decision procedure for linear time temporal logic: implementation, testing, performance analysis and optimisation

This thesis reports on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure à la Wolper for testing satisfiability in the linear time temporal logic LTL, based on a breadth-first search strategy. I describe the implementation and discuss the performance of the tool on several series of pattern formulae, as well as on some random test sets, and compare its performance with an implementation of Schwendimann’s onepass tableaux by Widmann and Goré on several representative series of pattern formulae, including eventualities and safety patterns. The experiments have established that Schwendimann’s algorithm consistently, and sometimes dramatically, outperforms the incremental tableaux, despite the fact that the theoretical worst-case upper-bound of Schwendimann’s algorithm, 2EXPTIME, is worse than that of Wolper’s algorithm, which is EXPTIME. This shows, once again, that theoretically established worst-case complexity results do not always reflect truly the practical efficiency, at least when comparing decision procedures.
Adaptive Artificial Intelligence in Real-Time Strategy Games

Highly capable Artificial Intelligences (AI) have been created for board games such as Go and Chess. Players of these games can play against a computerised opponent at the equivalent skill level of grandmaster or better. However, such highly capable AI agents have not yet been developed for Real-Time Strategy (RTS) games. RTS agents must address several challenging issues to demonstrate real player like skill. The first major issue is that RTS games play out in ’real-time’. In the RTS game context, ’real-time’ means that games do not have a rigid turn-based structure but play continuously with players taking actions at any time. The second major issue is that RTS games have a much larger game state-space than Go or Chess. This is because typical RTS games occur on large maps with terrain differentiations, and involve a large number of diverse units. They also involve many more actions such as resource collection, production management and different types of tactical actions. Finally, unlike Go or Chess, players in RTS games possess only incomplete game-state information. RTS AI is one of the next big AI challenges. This thesis seeks to improve the quality of adaptive tactical RTS agents, by enabling them to respond more effectively to novel player actions. This is intended to improve both the challenge for skilled players and the value of the singleplayer experience. The main focus of the thesis is on the issue of real-time decision making and the ability to adapt to changes within a game. The thesis provides a framework that allows an RTS AI to adapt to unknown scenarios without perceptible lag.
Scalability issues for a class of CFD applications

Considers the performance scalability of a class of computational fluid dynamics applications. The results indicate that neither the scalability in time nor the scalability in problem size can be obtained by simply scaling up the processing power. Results are presented to show that latency, packet size, and transmission speeds play an important role. However, improvements only in the architectural parameters are not sufficient to realize full performance scalability. Suitable partitioning and algorithmic parameters must be selected for each type of architecture. <<ETX>>
Forward Error Correction in Long-Range RFID systems

In this paper the use of forward error correction (FEC) in long-range RFID systems according to the EPCglobal standard is investigated. A model describing the system behavior in the presence of frame-errors is presented and used to evaluate the improvements introduced by the FEC. Additionally the original EPCglobal system and the extended system are compared by means of a computer simulation. The results of the model analysis and of the simulations are presented, demonstrating the achievable improvements.
Design and Modelling of a Miniature Instrument for Robotic Surgery

The da Vinci® Surgical System, the world’s most prominent form of robotic surgery, provides significant advantages over conventional surgery yet currently it cannot be used for surgical applications involving small operating volumes due to the existing instrument sizes (5-8mm shaft diameter). This research explores the feasibility of creating and accurately controlling a robotic instrument with a 2mm diameter and a three degree-of-freedom wrist. A unique wrist joint composing of a two degree-of-freedom bending notched-nitinol tube pattern is developed along with a proposed kinematic model. A base mechanism for controlling the wrist is designed for integration with the da Vinci Research Kit. A basic teleoperation task is successfully performed using two of the miniature instruments. The performance and accuracy of the instrument suggests that creating and accurately controlling a 2mm diameter instrument is feasible and the design and modelling proposed in this work provides a basis for future miniature instrument
What factors promote student resilience on a level 1 distance learning module?

Abstract Resilience is understood to be the ability to adapt positively in the face of adversity. In relation to new students on a distance learning module, this can mean how they adapt and make sense of the demands of their chosen study to enable them to persist in their studies. This article reports a small-scale study involving semi-structured telephone interviews with students on a level 1 distance learning module at the UK Open University. Students identified the challenges they experienced such as carving out time to study alongside other commitments, as well as developing their academic writing. Students also identified factors that enabled them to adapt to these challenges and be successful in continuing to study. Students rated highly the support they received from tutors in the form of tailored, detailed feedback on their assignments. Other factors that enabled students to persist in their studies were time management, self-belief and motivation.
Modular multi-pulse transformer rectifier for use in multi-level power converter

In one embodiment, a system may include multiple transformers each to provide an output to one or more power cells, where the power cells provide AC power to a load. Each transformer may have at least one primary winding and multiple secondary windings, where the primary winding of each transformer is phase shifted with respect to its neighboring transformers and the secondary windings are also phase shifted. The phase shift of the primary winding can be based on the phase shift of the secondary windings and a number of the plurality of transformers.
Criterion for selection of model and controller design based on I/O data

We propose information criteria not only for model estimation and selection but also for selection of the design method of a controller. The criteria are derived by the same approach of AIC/TIC, however we consider the modeling of the distribution of the control performance substituting for that of system index. The criteria are composed of a log-likelihood function and a bias term similar to AIC/TIC, and especially the bias term depends on the controller. Moreover, when the controller is designed under some conditions, the criteria become stochastic variables and their expectations are further added to by the other bias terms, which are in proportion to the dimension of the control parameter. This shows that model estimation, selection and control design are influenced simultaneously by the complexity of model and that of controller.
A Novel Facial Recognition Method using Discrete Wavelet Transform Multiresolution Pyramid

Necessity for the facial recognition methods is increasing now-a-days as large number of applications need it. While implementing the facial recognition methods the cost of data storage and data transmission plays a vital role. Hence facial recognition methods require image compression techniques to full fill the requirements. Our paper is based on the discrete wavelet transform multiresolution pyramid. Various resolutions of the original image with different image qualities can be had without employing any image compression techniques. Principal Component Analysis is used to measure the facial recognition performance using various resolutions of the image. Facial images for testing are selected from standard FERET database. Experimental results show that the low resolution facial images also performs equal to the higher resolution images. So instead of using all the available wavelet coefficients, the minimum number of coefficients representing the lower resolution can be used and there is no need of image compression.
Spatial point process models.

17.1 Model Construction 283 17.1. 1 The Probability Generating Functional 286 17.1. 2 Thinning 287 17.1. 3 Translation 288 17.1. 4 Superposition 289 17.2 Poisson Processes 289 17.2. 1 Nonhomogeneous Poisson Process 290 17.2. 2 The Cox Process 291 17.3 Poisson Cluster Processes 292 17.3. 1 The Compound Poisson Process 293 17.3. 2 The Neyman–Scott Poisson Cluster Process 293 17.4 Markov Point Processes 294 References 297
Pengembangan Perangkat Pembelajaran Matematika dengan Pendekatan Contextual Teaching and Learning untuk Meningkatkan Kemampuan Pemecahan Masalah Peserta Didik Kelas XI

Abstrak . Penelitian ini berawal dari kemampuan pemecahan masalah matematika dan aktivitas peserta didik yangÂ masih rendah. Rendahnya kemampuan pemecahan masalah tersebut disebabkan karena kebanyakan peserta didik tidak bisa memecahkan masalah matematika yang berhubungan dengan dunia nyata. Peserta didik belum mampu membuat hubungan antara apa yang mereka pelajari dan bagaimana pengetahuan tersebut diaplikasikan dalam kehidupan mereka. RPP dan LKPD yang digunakan belum memfasilitasi peserta didik dalam mengkonstruksi sendiri pengetahuannya. Untuk itu dilakukan pengembangan RPP dan LKPD dengan pendekatan CTL. Tujuan penelitian ini adalah untuk mengungkapkan proses pengembangan dan untuk menghasilkan RPP dan LKPD dengan pendekatan CTL yang valid, praktis dan efektif dalam meningkatkan kemampuan pemecahan masalah dan aktivitasÂ peserta didik kelas XI IPA SMA. Penelitian pengembangan yang dilaksanakan ini menggunakan model pengembanganÂ Plomp. Â ModelÂ pengembanganÂ PlompÂ ini terdiriÂ atasÂ tiga fase, yaitu fase investigasi awal, fase pengembangan P rototype dan fase penilaian. Berdasarkan pengembangan yang telah dilaksanakan, diperoleh RPP dan LKPD matematika dengan pendekatan CTL untuk kelas XI IPA SMA yang valid, praktis dan efektif. Â Kata kunci : RPP, LKPD, Pendekatan CTL, Kemampuan Pemecahan Masalah, Aktivitas Â Abstract . This study came from the low of problem solving mathematics ability and the low of student activities. The Low of problem solving abilityÂ because most of the learners are not able to solve mathematical problems related to the real world. The Low of problem solving abilityÂ because most of the learners are not able to solve mathematical problems related to the real world. The purpose of this study is to reveal the development process and to produce the RPP and LKPD with CTL approaches which are valid, practical and effective in improving problem-solving ability and studentâ€™s activities on grade XI Senior High School. This development research is conducted using Plomp development model. Plomp development model consisted of three phases; they are preliminary research, prototypee phase and assessment phase. Based on the development has been conducted, acquired Lesson Plan and Mathematics Studentsâ€™ Worksheet with CTL approach for grade XI SMA which are valid, practical and effective. Â Keyword : Lesson Plan (RPP), Studentsâ€™ Worksheet (LKPD) , Contextual Approach , Problem Solving Ability, Activity , Plomp Development Model
Theory and Methodology Goal programming for decision making: An overview of the current state-of-the-art

AbstractThere have been signiﬁcant advances in the theory of goal programming (GP) in recent years, particularly in the areaof intelligent modelling and solution analysis. The intention of this paper is to provide an overview of these devel-opments, to detail and assess the current state-of-the-art in the subject, and to highlight areas which seem promising forfuture research. Modelling techniques such as detection and restoration of pareto e†ciency, normalisation, redundancychecking, and non-standard utility function modelling are overviewed. The connection between GP and other multi-objective-programming techniques as well as a utility interpretation of GP are examined. The rationality of rankingMulti-Criteria Decision Making techniques, and of placing GP in such a ranking, is discussed. O 1998 Elsevier ScienceB.V. All rights reserved.Keywords: Goal programming; Decision analysis; Modelling; Utility theory 1. IntroductionGoal Programming (GP) is a multi-objectiveprogramming technique. The ethos of GP lies inthe Simonan [50] concept of satisfying of objec-tives. Simon conjectures that in today’s complexorganisations the decision makers (DMs) do nottry to maximise a well deﬁned utility function. Infact the conﬂicts of interest and the incompletenessof available information make it almost impossibleto build a reliable mathematical representation ofthe DMs’ preferences. On the contrary, within thiskind of decision environment the DMs try andachieve a set of goals (or targets) as closely aspossible. Although GP was not originally con-ceived within a satisfying philosophy it still pro-vides a good framework in which to implementthis kind of philosophy.The roots of GP lie in a paper by Charnes et al.in 1955 [6] in which they deal with executivecompensation methods. A more explicit deﬁnitionis given by Charnes and Cooper [7] in 1961 inwhich the term GP is ﬁrst used. Until the middle ofthe 1970s, GP applications reported in the litera-ture were rather scarce. Since that time, and chieﬂy
Synthetic Biology: Knowledge Accessed by Everyone (Open Sources).

Using the principles of biology, along with engineering and with the help of computer, scientists manage to copy. DNA sequences from nature and use them to create new organisms. DNA is created through engineering and computer science managing to create life inside a laboratory. We cannot dismiss the role that synthetic biology could lead in solving the most pressing problems of humanity. We are using technology to control live organisms and use them as we wish. But how should that knowledge be accessed? And which way is the best way so everyone can benefit from this technology and its developments? Open sources software could be the answer.
Voltage phasor and local system frequency estimation using Newton type algorithm

A new approach to the design of a digital algorithm for voltage phasor and local system frequency estimation is presented. The estimation problem is considered as an unconstrained optimization problem. The algorithm is derived using Newton's iterative method, very commonly used in load-flow studies. The algorithm showed a very high level of robustness as well as high measurement accuracy over a wide range of frequency changes. The algorithm convergence of order two provided fast response and adaptability. To demonstrate the performance of the algorithm developed, computer simulated, experimentally obtained and real-life data records are processed. The presented work is a part of a project concerning the application of microprocessors in frequency relaying. >
An Analysis of Third Party Auditing Techniques in Cloud Computing

3 Abstract: The usage of Cloud computing is increases rapidly in many enterprises. It provides a framework to cloud users. It aims to provide a resource based on-demand. It avoids online usage burden of accessing data through internet. Cloud storage supports to maintain data securely in cloud. To enhance data correctness of cloud, auditing is done by Third Party Auditor (TPA). The TPA can check integrity of data in cloud periodically. During auditing, an auditor does not reveal the information of the user to others. A method that uses the keyed Hash Message Authentication Code (HMAC) with the Homomorphic encryption to enhance the security of TPA.
A performance measurement framework for executable care pathways implemented in BPMS

Disclaimer This document contains a student thesis (bachelor's or master's), as authored by a student at Eindhoven University of Technology. Student theses are made available in the TU/e repository upon obtaining the required degree. The grade received is not published on the document as presented in the repository. The required complexity or quality of research of student theses may vary by program, and the required minimum study period may vary in duration.
Detecting an ECG Arrhythmia using Cascade Architectures of Fuzzy Neural Networks

Artificial intelligence has been applied to diagnosis of many diseases. This paper applied cascade architectures of fuzzy neural networks to detecting an ECG arrhythmia. Cascade architectures of neural networks can select reduced size of input subspace by selecting useful inputs. For the optimization of the input subspace and the structure of the cascade architectures of fuzzy neural networks, genetic algorithms and gradient decent method are used. To show the effectiveness of the proposed method, UCI ECG arrhythmia dataset is considered.
Area of Interest Based Interaction and GeoVisualization with WebGL

In this paper we present an experimental approach and a prototype implementation to manage level of detail in geovisualizations. The approach is based on identifying the area of interest of the user (mouse location or gaze point) and removing perceptually irrelevant detail in the visual field. Prototype implementation achieves this in real time using WebGL. By utilizing this test environment we want to systematically reveal the potential of integrating gaze based interaction modalities to the mobile webmapping applications.
A Modified X-Torus Topology for Interconnection Network

The interconnection network is the key components for the communication. The X-Torus topology has been designed in the past. It has been found in the previous design, that the router is not being utilized to their maximum and still there is the scope for adding more links in the topology. In this paper, a new topology has been introduced, based on X-Torus topology by adding extra links with a limited degree of the 6. The performance of the topology has been analyzed using the five traffic patterns that are random, neighbor, bit complements, and hot spot traffic over the factors end to end delay, sink bandwidth and average hop count. An improvement of 62% in terms of latency and 15% in terms of throughput has been observed in the proposed topology. This modified X-Torus topology proves to be a better substitute for X-Torus topology.
Set membership pose estimation of mobile robots based on angle measurements

Addresses the problem of estimating position and orientation of a mobile robot navigating in an environment for which a landmark-based map is available. A set theoretic approach to the problem is proposed. Estimates of robot position and heading are derived in terms of uncertainty regions, under the hypothesis that the errors affecting all sensors measurements are unknown but bounded. A recursive estimation procedure for localization based on angle measurements is presented. Simulation and experimental results prove the effectiveness of the proposed approach.
Towards an Omni-Channel Framework for SME Sales and Service in the B2B Telecommunications Industry

The use of mobile technology has become self-evident both for private and professional use. With business customers expecting a shopping and service experience similar to the usage in private, Business-to-Business (B2B) providers must come up with new solutions. Omni-Channel management is one trend that is increasingly gaining attraction. To this end, a profound understanding of influencing factors for sales and service to small and medium enterprises (SME) is missing. Telecommunications, an industry of major importance, serves as target domain for this research endeavor that presents an omni-channel framework for SME Sales and Service. Through collaboration with one of the three largest German providers, 22 interviews were conducted and serve as the data basis.
You have got a (different) friend in me: Asymmetrical roles in gaming as potential ambassadors of computational and cooperative thinking

This article aims to enlighten how individuals apply and develop cooperative and computational thinking in online collaborative challenges, and what ludic features support or discourage such approaches. Over n = 1400 subjects have been involved with a quantitative survey about three collaboration-based video games – i.e. Overwatch, For Honor, and Tom Clancy’s Rainbow Six: Siege. Results point to malleable factors in strengthening teamwork – i.e. asymmetrical roles, sharing information mechanics, broad game community – and provide empirical evidence of the correlation between cooperative and computational thinking. Implications for educational activities and cooperative learning interventions are outlined in terms of design strategies and concrete applications.