Miracle-dz/UniFAR-FTUs huggingface dataset:
Causal modeling as a basis for the design of an intelligent business problem formulation system

Past research has shown that humans demonstrate many biases when they attempt to formulate the structure of a problem. These biases can be very detrimental to actually solving the problem at hand. In some cases, the problem formulation process may be so biased that the wrong problem is formulated entirely. Prior research has demonstrated that the process of building a model of the problem situation is beneficial to problem solution. Model construction in the domain of business problems is a very complex task. However, much of the prior research in management information systems has assumed that any problem formulation involved has generated a correct formulation. This research explores a computer-based methodology aimed at assisting a manager in producing a correct formulation of his problem environment. A prototype system has been developed that allows a user (1) to access an organizational database of information, (2) to hypothesize and test relationships between items in the database, (3) to store relationships for use at a later session, (4) construct model based on these stored relationships, and (5) give advice regarding ways of manipulating variables in order to achieve goals. Furthermore, a rudimentary process for automatic discovery of relationships has been installed in the system. The prototype was evaluated by comparing its ability to determine relationships in the database with human subjects from a prior study. The database used was generated by a management simulation game, allowing one to determine the "true" relationships in the database by examining the program code for the game. The system and the student subjects agreed on approximately seventy per cent of the relationships identified. Of the remaining thirty per cent, the student subjects were correct one-third of the time, the system was correct one-third of the time, and the remainder were inconclusive. The limitations of the methodology used herein is discussed, as well as areas for future research.
The Paxon – A Physical Axonal Mimic

“A” fibres are the fastest human nerve fibres, propagating signals up to 120 m/s. Our Paxon model mimics these nerves with the following parameters: propagation velocity of 120 m/s, amplitude excursions of 130 mV, internode spacing of 2mm [2], pulse width of 3 ms [3], and rough node of Ranvier dimension of 20 µm. Each of the 40 nodes of Ranvier in the physical construction of our well (Fig. 1) is driven by a single IO line from an Atmel ATXMEGA64A1CPU. This configuration allows for programmability of timing, amplitude and pulse width within the model, although the physical node spacing of 20 µm is fixed. The Paxon is probed using a differential 7 mm diameter electrode pair spaced 21 mm on center, followed by a 750 Hz input filter attached to a data acquisition system (National Inst. NI USB 6251) which is used to record the data events of the action potential. Data are post-processed using MATLAB. The most important model parameters for repeatability are step-to-step time, pulse width, and amplitude excursions, which are statistically compared between multiple runs. III. RESULTS Variations in drive amplitude and pulse width result in a variation in detected signal amplitude (Fig. 2) allowing the model to be tuned to physiological signal levels. Fig. 3 shows 50 runs of raw data as well as the averaged offset removed plot in red (above). The stability of the repeated signal is useful when sequential comparisons are performed on multiple electrode types. The averaged amplitude is 1.5 ± 0.055 mV with a peak time variation of 196.4 ± 0.06 ms. IV. CONCLUSION The model generates an acceptable mimic to an action potential. The ability to program amplitude, velocity and width allows for fine tuning of the model, e.g. variability in nerve dimensions the model is mimicking. The model also offers a repeatable, stable and controllable output that can be used as a nerve standard in testing of electrodes for both static and dynamic electric fields without the variability found in live tissues.
Analyzing Android applications for specifications and bugs

Analyzing Android Applications for Specifications and Bugs Danilo Dominguez, M.S. Rochester Institute of Technology, 2013 Supervisor: Dr. Wei Le Android has become one of the leader operating systems for smartphones. Moreover, Android has a big community of developers with over 696500 applications on its market. However, given the complexity of the system, bugs are very common on Android applications–such as security vulnerabilities and energy bugs. Normally Android applications are written using the Java programming language. In contrast to most Java applications, Android applications does not have a single entry point (main function). In addition, these applications can use some system calls and receive events from external entities (such as the user) that affect how their control flows. Therefore, a model of the Android system must be defined in order to understand the behavior of Android applications and define how their control flows. In this thesis, two approaches to define the behavior of Android applications are studied. The first approach is an intra-component analysis that
Hierarchical layout hypergraph operations and diagrammatic reasoning

This paper deals with a new, computer-aided approach to floor-layout design. The approach proposes: firstly, a specific layout language with a syntactic knowledge defined by means of hierarchical hypergraphs; secondly, a correspondence between layout modifications and hypergraph operations. An initial layout drawn by the designer is automatically converted into a hypergraph and each designer's modification to the layout is reflected in the hypergraph structure. Our new approach is illustrated by a step by step example, where two complementary representations of the same floor-layout design are used.
A Preliminary Study on the Design of Hierarchical Memory Management for Heterogeneous Architectures

Heterogeneous architectures, where a multicore processor, which is optimized for fast single-thread performance, is accompanied with a large number of simpler, but more power-efficient cores optimized for parallel workloads, are receiving a lot attention recently. Currently, these co-processors, such as Intel’s Many Integrated Core (MIC) software development platform, come with a limited on-board RAM, which requires partitioning computational problems manually into pieces that can fit into the device’s memory, and at the same time, efficiently overlapping computation and communication. In this paper we explore the design considerations for operating system (OS) assisted hierarchical memory management, relying on the capabilities of the Intel MIC’s memory management unit (MMU). We are aiming at transparent data movement between the device and the host memory, as well as tight integration with other OS services, such as file and network I/O.
Using the Science Misconceptions Research To Address Science Teaching Misconceptions.

This study describes how the lesson plans of preservice teachers differed from the inductive learning cycle planning model, and relates these differences to persistent naive conceptions about effective science pedagogy held by preservice teachers. Strategies based on the science misconceptions literature that methods instructors can use to encourage the understanding and use of inductive learning cycle instruction by beginning teachers are suggested. The study concludes that preservice teachers majoring in secondary science education like and prefer traditional teaching methods while elementary and middle school preservice teachers find traditional methods boring and ineffective. (Contains 14 references.) (YDS) Reproductions supplied by EDRS are the best that can be made from the original document. Using the Science Misconceptions Research to Address Science Teaching Misconceptions
Comparison and Verification of the Performance Specification of MFL Pigs and Field Inspection Based on Error Propagation and Gaussian Distribution Method

One of the oil and gas pipelines inspection methods is using new and advanced technology of smart pigs. This inspection method is introduced as an inline inspection method during service without interrupting the flow of oil and gas. This inspection method can be used for identifying the exact location and type of equipment installed on the pipeline. One of the most used types of smart pigs is magnetic flux leakage intelligent pigs. This type of pig can be used for inspection of oil and gas pipelines with high operating speeds comparing with other types of pig used. Nowadays the second generation of intelligent magnetic flux leakage pigs that known as high resolution smart pigs are used. In this paper, we consider while introducing properties of magnetic flux leakage smart pigs generations, by providing a practical experience, compare and validate results of using intelligent Pigs inspection method and field inspection by using error propagation and Gaussian distribution method.
Book Review: Folk Physics for Apes: The Chimpanzee's Theory of how the World Works

response? Cross-modal perception? Forget such things if you consult this book; the reader will search in vain for any comparative information on any of these topics. For this reviewer, the absence of any effort to collate and integrate the older literature on learning and cognition in gorillas and orangutans (most of which is relatively easily available) is the most disappointing aspect of the volume. At least one chapter presenting this information in comparative perspective would have been most welcome. Also, there are relatively recent studies on other topics—spatial learning, for example—that could have been usefully cited but are neglected. Therefore, the book fails to give a complete overview of what is known about the mentalities of these two great ape species. But any attempt to redress the balance among the great apes in terms of exposure is to be welcomed, and the present volume will go a long way towards bringing gorillas and orangutans back into the limelight of modern comparative cognition. For that the editors and contributors should be commended.
life associated with insulin pump use in type 1 diabetes

AIM. To review systematically the published literature addressing whether continuous subcutaneous insulin infusion (CSII) provides any quality of life benefits to people with type 1 diabetes. METHODS. Electronic databases and published references were searched and a consultation with two professional groups was undertaken to identify reDiabetologia Praktyczna 2007, tom 8, nr 8–9 302 www.dp. viamedica.pl levant studies published up to July 2005. A multistep selection process was then undertaken to identify those articles which met the specific selection criteria, which were then critically reviewed. RESULTS. Eighty-four potential relevant articles were identified from examination of titles and abstracts published during the specified time frame. Of these, 28 articles were retrieved in full text, of which 17 fulfilled the specific criteria for inclusion. Mixed results emerged from existing literature. Of the five randomized controlled trials, three reported mixed results, with one study reporting quality of life benefits and one reporting no evidence of quality of
Improving jitter and shimmer measurements in normal voices

I DEDICATION . II ACKNOWLEDGEMENTS . III TABLE OF CONTENTS . IV LIST OF TABLES . VII LIST OF FIGURES . VIII LIST OF APPENDICES . X PREFACE: ORGANISATION OF THE THESIS . XI CHAPTER 1. VIBRATORY CHARACTERISTICS OF VOICE PRODUCTION . 1 1.1 PHYSIOLOGY OF PHONATION: THE BASIS FOR CLINICAL VOICE DIAGNOSTICS . 1 1.2 CLINICAL VOICE ASSESSMENT . 7 1.3 SUMMARY . 14 CHAPTER 2. PRINCIPLES OF INSTRUMENTAL ACOUSTIC ANALYSIS OF THE HUMAN VOICE . 15 2.
Solving dynamic battlespace movement problems using dynamic distributed computer networks

Abstract : This thesis develops an architecture for dynamic distributed military operations research. This architecture assumes that a network of heterogeneous computing devices connects forces throughout the battlespace. Both the raw data about the battlespace and the operations research models used to analyze this data are accessible to devices on this network. The thesis designs a system using this architecture that invokes operations research network optimization algorithms to solve problems involving movement of people and equipment over dynamic road networks. A specific application is, implemented to help a medic find the nearest aid station using a shortest path algorithm. This application marshals the most current data on unit locations and road conditions (distributed across the computing network) and locates on the network an appropriate algorithm that is then used to construct a solution. The answer is returned to the user as a web page in a form appropriate for his computing device. The application is implemented with existing technologies including the Java computer language, Konig, a Java-based tool for representing networks and graphs, and Hypertext Markup Language, a format for shared information on the Internet. This system uses operations research tools to transform data into decisions in real-time or near real-nine.
Caracterización del iris para posibles aplicaciones en la identificación de personas

The characteristics of the human iris can apply to a biometric model and is presented as the most effective for the recognition of people today. The characterization involves project through the iris biometric of a person, to this iris image is captured from different individuals in a properly illuminated samples were stored in a database, the images obtained were subjected to pre-deformation processes allowing the surface to discriminate and analyze the iris code that divide into two cones 45 ° (left and right) spectrum besides eliminating the RBG to fill a two dimensional matrix, after the process are subjected to pre mathematical transformations to obtain an amount sufficient data using Gabor filters, which has been widely used in the texture analysis, generating a one-dimensional vector for each image data processed only to be able to apply to future applications in the identification of individuals. [INGENIERIA EN COMPUTACIÓN] [ESIME CULHUACÁN]
Comparing HTML5 Based Apps With Native Apps

With the advent of HTML5 as the new standard, web pages became an alternative to native Android and iPhone applications, what made it possible to reduce time and cost of app development and maintenance processes.This thesis is aimed for finding, analyzing and documenting experience and criteria that have weight in a selection of the technology for development of search apps. To achieve this, were developed and compared three alternative client apps (Web-based HTML5, Android and iOS). The results of the thesis provides recommendations for selection the appropriate alternative for the successful development strategy, overview of the problems which may occur during development process, pros and cons of a plain Web-based solution, a Web-hybrid solution, and native Android/iOS solutions that are evaluated for a search intensive apps.
Kompleksite Ýktisadý ve Ajan-Temelli Modelleme: Metodolojik Bir Yaklaþým

Son yýllarda iktisat yazýnýnda disiplinler arasý calýþmalarýn sayýsý giderek artmaktadýr. Bu ilginin altýnda, doðrusal ve statik modellere dayanan klasik iktisat teorisinin modellerinin, gercekte kompleks/karmaþýk ozellik gosteren yapýlarý cozumlemede yetersiz kalmasý yatmaktadýr. Ekonomi doðasý gereði heterojen aktorlerden muteþekkil, birbirinden etkilenen ve birbirini etkileyen ceþitli deðiþkenler uzerine kurulu sistemlerden ve yapýlardan oluþmaktadýr. Son yýllarda bircok iktisatcý klasik iktisat teorisinin yetersizliðinin farkýna vararak, doðrusal olmayan sureclerin anlaþýlmasýna yonelik modeller geliþtirmeye calýþmýþlardýr. Oyun teorisi, davranýþsal iktisat, davranýþsal oyun teorisi, evrimci oyun teorisi, noro-iktisat, deneysel iktisat, að iktisadý, hesaplanabilir iktisat gibi yeni alanlarla birlikte ozellikle karmaþýklýk iktisadý ve ajan-temelli hesaplanabilir iktisadýn (AHÝ) giderek onem kazanmaya baþlamasý bu geliþmelerin bir sonucudur. Karmaþýklýk iktisadý ve AHÝ, ozellikle doðrusal olmama ve coklu denge gibi unsurlarý icermeleri acýsýndan iktisat bilimine onemli acýlýmlar getirmektedirler. Bu calýþmada ilk once 1930’lu yýllardaki Avusturya Okulu-Neo Klasik iktisat tartýþmalarýna kompleksite, AHÝ tartýþmalarý cercevesinde yeniden bakýlacaktýr. Tartýþma bircok acýdan Post Keynesci iktisat ve Neo klasik iktisat tartýþmasýný da caðrýþtýrmaktadýr. Daha sonra Kompleksite iktisadý ve AHÝ ele alýnacaktýr.
Analisis pengaruh perbedaan marker terhadap waktu respon augmented reality tata surya

Pendeteksian marker menggunakan metode marker augmented reality dengan penanda pola marker berbentuk persegi berwarna hitam dan putih dengan garis tepi berwarna hitam. Penulis menggunakan 5 pola marker yang berbeda dengan menghitung segmen marker terlebih dahulu guna penguji cobaan pola marker yang responsif dan fleksibel. Pola marker yang berbeda tersebut kemudian diujikan dengan 3 variabel yaitu jarak,sudut dan pencahayaan yang dapat mempengaruhi dalam pembacaan pola marker. Keseluruhan hasil pengujian dimasukkan ke dalam tabel marker. Keseluruhan hasil uji coba pendeteksian marker dengan menghitung di setiap rata rata nilai setiap marker menunjukkan bahwa nilai pendeteksian dalam setiap marker berbeda. Hal tersebut dipengaruhi oleh bentuk pola marker berwarna hitam dan putih yang terpengaruh oleh pencahayaan. Marker dengan pola hitam dan luas putih tidak terputus memiliki nilai pendeteksian paling baik dibandingkan dengan pola marker lainnya dalam hal jarak, sudut dan pencahayaan.
MENGEMBANGKAN KEMAMPUAN PEMECAHAN MASALAH DAN BELIEF CALON GURU MATEMATIKA MELALUI STRATEGI PERKULIAHAN KOLABORATIF

Abstract: Developing Mathematics Student-Teachers’ Problem Solving Competence and Belief Through a Collaborative Learning Strategy. This study aimed to analyze the implementation of a collaborative problem-based learning strategy in developing mathematics student-teachers’ problem solving competence and belief in mathematics learning. It was a quasi-experimental study employing a 2 × 2 factorial design with two dependent variables. The subjects were 83 students of Mathematics Education Study Program, Faculty of Mathematics and Natural Sciences, Yogyakarta State University, who took the Discrete Mathematics course in the semester of September - December 2009. The instruments were a test on problem-solving competence, a psychological scale to measure the students' belief, observation sheets, and interview guides. The data were analyzed using two-way MANOVA at a significance level of α = 0.05. The results show that the collaborative problem-based learning strategy is superior to the conventional learning strategy to develop students’ problem solving competence and belief in mathematics learning. Keywords: problem-solving, belief, collaborative
A solution to the materialized view selection problem in data warehousing

One of the most important decisions in the physical designing of a data warehouse is the selection of materialized views and indexes to be created. The problem is to select an appropriate set of views and indexes to storage that minimizes the total query response time, as long as the cost of maintaining them, given a constraint of some resource like storage space, is kept as low as possible. In this work, we have developed a new algorithm for the general problem of selection of views considering indexes, as an extension to a well-known algorithm . We present a heuristic for selection of views and indexes to optimize total query response under a materialization time constraint. Finally, we present an experimental comparison of our proposal with the considered state-of-art approach.
Estructura de bandas fotónica de un cristal fotónico 2D formado por barras de tici en aire considerando un campo magnético externo

Using the Revised Plane Wave Method (RPWM) we calculated the Photonic Band Structure (PBS) for a square lattice of square TlCl rods embedded in air, under the action of a magnetic field of constant magnitude oriented along the rod axes. Also, we present the distribution of the radiation in the primitive cell of the structure. We found that when the magnetic field is on, the PBS presents two frequency regions where the dielectric function of the rods is negative, regions with different bandwidth depending on the magnetic field strength. In considering these regions, we found a band distribution related with a characteristic metallodielectric behavior, for large absolute values of the dielectric function. For frequencies near to the zeros of the dielectric function we found a band distribution related with the existences of localized surfaces plasmons.
Parallel paradigms in optimal structural design

Parallel paradigms in optimal structural design S.S. van Huyssteen Department of Mechanical and Mechatronic Engineering, University of Stellenbosch, Private Bag X1, Matieland 7602, South Africa. Thesis: MScEng (Mech) December 2011 Modern-day processors are not getting any faster. Due to the power consumption limit of frequency scaling, parallel processing is increasingly being used to decrease computation time. In this thesis, several parallel paradigms are used to improve the performance of commonly serial SAO programs. Four novelties are discussed: First, replacing double precision solvers with single precision solvers. This is attempted in order to take advantage of the anticipated factor 2 speed increase that single precision computations have over that of double precision computations. However, single precision routines present unpredictable performance characteristics and struggle to converge to required accuracies, which is unfavourable for optimization solvers. Second, QP and dual are statements pitted against one another in a parallel environment. This is done because it is not always easy to see which is best a priori. Therefore both are started in parallel and the competing threads are cancelled as soon as one returns a valid point. Parallel QP vs. dual statements prove to be very attractive, converging within the minimum number of outer iterations. The most appropriate solver is selected as the problem properties change during the iteration steps. Thread cancellation poses problems caused by threads having to wait to arrive at appropriate checkpoints, thus suffering from unnecessarily long wait times because of struggling competing routines. Third, multiple global searches are started in parallel on a shared memory system. Problems see a speed increase of nearly 4× for all problems. Dynamically scheduled threads alleviate the need for set thread amounts, as in message passing implementations. Lastly, the replacement of existing matrix-vector multiplication routines with optimized BLAS routines, especially BLAS routines targeted at GPGPU technologies (graphics processing units), proves to be superior when solving large matrix-vector products in an iterative environment. ii Stellenbosch University http://scholar.sun.ac.za