Miracle-dz/UniFAR-FTUs huggingface dataset:
Motivational Design Patterns

Author(s): Lewis, Chris | Advisor(s): Whitehead, Jim | Abstract: The rise of mobile platforms and the Web has created a market where software is now funded by advertisements, subscriptions and in-app purchases. This software is designed with retention in mind, motivating users to return to the application again and again.However, developers struggle to understand exactly how to motivate users. This lack of understanding has given rise to the easy answers of 'gamification' and 'social,' without providing the foundational psychological knowledge developers need to truly understand their users' needs. New frameworks are required to bridge this knowledge gap.This dissertation presents one such framework, a library of twenty-seven motivational design patterns, under the categories of gameful, social, interface and information. Theories and experimental results from motivational psychology, behavioral psychology and behavioral economics are used to explain the power of different design patterns and suggest optimal implementations. Additionally, a set of eight dark patterns are presented. These patterns promise the developer short-term gains, but at the expense of long-term motivational harm, and strategies to avoid their use are proposed.To validate the applicability of the pattern library, it is used in case studies that analyze existing software designs, and generate new ones from problem statements.The existence of the pattern library not only brings us greater understanding about how motivational software works, but provides us with a language with which to communicate motivational design, and a framework to begin the work on improving software's ability to meet users' motivational needs.
Different ‘colo(u)rs’ of the English language : A corpus-based study on Swedes’ choices in spelling, vocabulary and grammar

The aim of this study is to discover if Swedish writers use American or British spelling, vocabulary and grammar when writing a text in English. The focus is on differences in spelling categories, lexical variation between the two varieties as well as differences in the usage of non-finite complementation. This is a quantitative study based on material from the Swedish in English Newspapers Corpus (SWENC), the Blogs in English by Swedes Corpus (BESC), and the Corpus of English Tweets by Swedes (CETS). The results show that Swedish writers of English prefer to use British English spelling, American English vocabulary and that they tend to imitate American English grammar usage when it comes to non-finite complementation. The conclusions are that the English of Swedish writers is affected by the standards of the English used in at least two of the countries in the Inner Circle, i.e. American and British English, and that it seems to be influenced both by what is taught in school and what the writers see and hear in the media.
A study concerning the use of questionnaires for user satisfaction in the development of user interfaces.

6o Congresso Internacional de Design da Informação 5o InfoDesign Brasil 6o Congic Solange G. Coutinho, Monica Moura (orgs.) Sociedade Brasileira de Design da Informação – SBDI Recife | Brasil | 2013 Proceedings of the 6 Information Design International Conference 5 InfoDesign Brazil 6 Congic Solange G. Coutinho, Monica Moura (orgs.) Sociedade Brasileira de Design da Informação – SBDI Recife | Brazil | 2013
The Joiner: from subcomponents to design patterns

Design pattern detection is a challenging issue addressed in various works, which provide different approaches and techniques, and propose several prototypes and tools. Some approaches propose the decomposition of design patterns into simpler elements to manage the complexity of their detection process. In this context, we describe our approach towards design pattern detection based on design pattern subcomponents. The core of this paper describes the Joiner module, which aims to group the classes of the system under analysis into sets that may represent design pattern instances.
Valoració dels mètodes d'estimació de l'abundància de la Cotorreta de pit gris (Myiopsitta monachus) en medis urbans

En el present estudi s’han comparat diferents metodes d’estimacio de mida poblacional, per tal de valorar la seva efectivitat en la determinacio de la poblacio de la Cotorreta de pit gris, Myiopsitta monachus, a la ciutat de Barcelona. Concretament, es preten determinar quin dels metodes de baix cost, el de recompte per mitja de transsectes o el de recompte de nius, es el que estima la poblacio d’una manera mes fiable. Per poder assolir aquest objectiu, s’han analitzat i valorat els dos metodes en termes d’exactitud i precisio, comparant-los amb el metode de captura-recaptura, el qual s’ha considerat previament com el metode mes fiable. Els resultats obtinguts constaten que el recompte de nius, a mes de ser el metode amb el cost mes baix, es mes fiable que el recompte per mitja de transsectes. Aixi doncs, dit metode es el mes recomanable per aplicar en els futurs estudis d’estimacio de mides poblacionals de la Cotorra de pit gris.
The Effects of Using Results from Inversion by Evolutionary Algorithms to Retrain Artificial Neural Networks

The aim of inverting artificial neural networks (ANNs) is to find input patterns that are strongly classified as a predefined class. In this project an ANN is inverted by an evolutionary algorithm. The network is retrained by using the patterns extracted by the inversion as counter-examples, i.e. to classify the patterns as belonging to no class, which is the opposite of what the network previously did. The hypothesis is that the counter-examples extracted by the inversion will cause larger updates of the weights of the ANN and create a better mapping than what is caused by retraining using randomly generated counter-examples. This hypothesis is tested on recognition of pictures of handwritten digits. The tests indicate that this hypothesis is correct. However, the test- and training errors are higher when retraining using counter-examples, than for training only on examples of clean digits. It can be concluded that the counter-examples generated by the inversion have a great impact on the network. It is still unclear whether the quality of the network can be improved using this method.
Model-Based Reasoning in the Detection of Satellite Anomalies

Abstract : Automatic fault detection and recovery would be a mandatory requirement for a satellite where some degree of autonomy is required. This thesis reviews some AI techniques used for the detection of satellite anomalies, and concludes that the model-based reasoning paradigm is best suited for automated on-board fault detection because it can cope with situations not necessarily programmed into the knowledge base. Using the Scheme language and its SCOOPS object oriented extension, development of software is described that models the pitch control channel in the attitude and velocity control subsystem of a typical geo-stationary communications satellite. This model is used by the model-based reasoning algorithm to diagnose faults in the real system. The algorithm used, is based on Scarl's 'Full Consistency Algorithm', which is suitable for systems that have many sensors, but has limitations when applied to systems that are dependent on time or have feedback loops. These limitations were overcome by using a model that did not include time dependent objects and by 'breaking the loop'. It was found, for this problem domain, that the reasoner's model did not have to be identical to the real system to be able to successfully detect the cause of an anomaly.
An expert system approach to astronomical data analysis

Expert systems technology has much to offer to the problem of astronomical data analysis, where large data volumes and sophisticated analysis goals have caused a variety of interesting problems to arise. The construction of a prototype expert system whose target domain is CCD image calibration, is reported. The prototype is designed to be extensible to different and more complex problems in a straighforward way, and to be largely independent of the details of the specific data analysis system which executes the plan it generates.
Estimación de la prevalencia de la enfermedad de Parkinson en Extremadura

espanolLa enfermedad de Parkinson es la segunda enfermedad neurodegenerativa mas frecuente despues de la enfermedad de Alzehimer. En epidemiologia, los estudios de prevalencia de una enfermedad proporcionan informacion muy util para identificar los factores de riesgo y mejorar la planificacion sanitaria. Actualmente, los paises estan experimentando un aumento en la esperanza de vida de su poblacion. Debido a que la enfermedad de Parkinson es una enfermedad con mayor prevalencia en edades avanzadas, estos paises se enfrentan a problemas con sus recursos sanitarios. El objetivo de la presente tesis doctoral es estimar la prevalencia en Extremadura a traves del consumo de farmacos antiparkinsonianos, y asi conocer su impacto como problema de salud publica en nuestra comunidad. La tesis se ha estructurado en seis bloques: 1) introduccion; 2) objetivos planteados; 3) descripcion del metodo; 4) resultados obtenidos; 5) discusion de los datos dentro del entorno cientifico; y 6) conclusiones extraidas. EnglishParkinson´s disease is the second most frequent neurodegenerative disease after Alzehimer�s disease. Epidemiological data regarding the prevalence of Parkinson´s disease are of interest to identify risk factors and improve effective planning of medical services. Nowadays, countries are experiencing marked demographic shifts, with progressively larger proportions of their populations entering old age. Because Parkinson´s disease affects predominantly older persons, many countries around the world are facing a future of unsustainable demands on healthcare resources. The purpose of this thesis is to estimate the Parkinson�s disease prevalence in Extremadura from the consumption of antiparkinson drugs to determine its true impact on public health in our community. The thesis has been structured in six blocks: 1) introduction; 2) enumeration of the objectives; 3) description of the methodology; 4) results obtained; 5) discussion of the data inside the scientific environment; and 6) conclusions.
Teaching How to Learn: The Teacher's Guide to Student Success

Foreword by William H. Peltz Preface Acknowledgments About the Author Part I. SOAR Strategies 1. Helping Students SOAR 2. Helping Students Select 3. Helping Students Organize 4. Helping Students Associate 5. Helping Students Regulate Interlude Part II. Support Strategies 6. Helping Students Motivate 7. Helping Students Manage Behavior 8. Helping Students Become Extraordinary References Index
Audio Coding: Theory and Applications

Audio Coding: Theory and Applications provides succinct coverage of audio coding technologies that are widely used in modern audio coding standards. Delivered from the perspective of an engineer, this book articulates how signal processing is used in the context of audio coding. It presents a detailed treatment of contemporary audio coding technologies and then uses the DRA audio coding standard as a practical example to illustrate how numerous technologies are integrated into a fully-fledged audio coding algorithm. Drawing upon years of practical experience and using numerous examples and illustrations Dr. Yuli You, gives a description of practical audio coding technologies including: Designing high-performance algorithms that can be readily implemented on fixed-point or integer microprocessors. How to properly implement an audio decoder on various microprocessors. Transient detection and adaptation of time-frequency resolution of subband filters. Psychoacoustic models and optimal bit allocation. Audio Coding: Theory and Applications will be a valuable reference book for engineers in the consumer electronics industry, as well as students and researchers in electrical engineering.
Modular Machine Code Verification

Abstract : Formally establishing safety properties of software presents a grand challenge to the computer science community. Producing proof-carrying code, i.e., machine code with machine-checkable specifications and proofs, is particularly difficult for system softwares written in low-level languages. One central problem is the lack of verification theories that can handle the expressive power of low-level code in a modular fashion. In particular, traditional type- and logic-based verification approaches have restrictions on either expressive power or modularity. This dissertation presents XCAP, a logic-based proof-carrying code framework for modular machine code verification. In XCAP, program specifications are written as general logic predicates, in which syntactic constructs are used to modularly specify some crucial higher-order programming concepts for system code, including embedded code pointers, impredicative polymorphisms, recursive invariants, and general references, all in a logical setting. Thus, XCAP achieves the expressive power of logic-based approaches and the modularity of type-based approaches. Its meta theory has been completely mechanized and proved. XCAP can be used to directly certify system kernel code. This dissertation contains a mini certified thread library written in x86 assembly. Every single instruction in the library, including those for context switching and thread scheduling, has a formal XCAP specification and a proof. XCAP is also connected to existing certifying compiler; a typepreserving translation from a typed assembly language to XCAP is included.
Escalonamento de Operações de Reconfiguração Dinâmica

Partial dynamic reconfiguration, present in Field-Programmable Gate Arrays (FPGAs), allows for high computational density, not only due to the application specific computations, but also to the reconfigurable flexibility. However, the time it takes to perform the reconfiguration operations and data transfers, results in task execution overheads, effectively reducing computational power. Therefore, schedulers are needed to explore the reconfigurable hardware capabilities, mapping the tasks and sequencing the operations, so to eliminate or mask the overheads. In this work, a model for the scheduling problem is proposed, focusing on reducing the overhead generated by reconfiguration operations and data transfers. Because of the np-hard nature of the problem, a genetic algorithm to search for the optimal solution is proposed and implemented. The model is validated in a Xilinx Virtex-5 FPGA with random task graphs, showing estimation errors under 0.7%. The model is explored with multiple tests, resulting in speed gains superior to 2 times non-optimized schedules, and showing increases and distribution of computational density. A decision support system is presented, showing how it can be used to reduce the time-tomarket of partial dynamic reconfiguration projects.
The MOOClet Framework: Improving Online Education through Experimentation and Personalization of Modules

One goal for massive open online courses is that the educational benefits they provide scale as a function of the number and diversity of learners interacting with the platforms, since an increasing amount of data is available about what interactions and content increase engagement and learning, as well as which educational interactions are effective for which learners, particularly since more and more is known about each individual. This paper presents the MOOClet Framework for tackling this goal, which recognizes a key relationship between randomized experiments and personalization of content. The Framework defines MOOClets as modular components of online courses that can be modified to create different versions, which in turn can be iteratively and adaptively improved through experiments and personalized to characteristics of users. We show how the MOOClet Framework provides guidance in identifying MOOClets and augmenting existing platforms with a platform-independent layer that enables experimentation and personalization even when platforms do not provide native support. We present a concrete usage scenario of the framework in an implementation for the EdX platform, showing how the addition of reflection questions and other content to a lecture video could be experimentally evaluated and personalized. A modeling simulation is also presented to show how using the MOOClet Framework allows data-driven decisions about experimentation and personalization to be made using existing machine learning models. Consideration of the MOOClet Framework could help researchers, instructors, and course designers in identifying, implementing, and improving modular components of existing online education platforms through experimentation and personalization.
Elma Lifi ile Zenginleştirmenin Set Tipi Yoğurtların Bazı Özelliklerine Etkisi

Bu calismada elma lifinin yogurt uretiminde kullanim olanaklari arastirilmistir. Bu amacla 4 farkli oranda elma lifi (A:%0 (kontrol), B:%0.25, C:%0.50, D:%1) ilave edilerek set tipi yogurt uretilmistir. Depolamanin 1. , 10. ve 20.gunlerinde yogurtlarin kimyasal, fiziksel ve duyusal ozellikleri belirlenmistir. Farkli oranlarda elma lifi kullaniminin yogurtlarin viskozite, pH, su tutma kapasitesi, titrasyon asitligi, serum ayrilmasi, gorunum, yapi ve tekstur, tat ve aroma, toplam duyusal puan, Streptococcus thermophilus (S. thermophilus) ve Lactobacillus delbrueckii subsp. bulgaricus ( L. delbrueckii subsp. bulgaricus) sayilari uzerine etkisi onemli bulunmustur (p<0.01). Elde edilen analizler neticesinde elma lifi ilavesinin yogurtlarin reolojik ozelliklerini ve duyusal niteliklerini olumlu yonde etkiledigi gorulmustur. Sonuc olarak yogurt uretiminde %0.25 veya %0.50 oraninda elma lifinin rahatlikla kullanilabilecegi kanisina varilmistir.
Knowledge Unlearned and Untaught: What Speakers Know about the Sounds of their Language

The native speaker of a language knows a great deal about his language that he was never taught. An example of this untaught knowledge is illustrated in (1), where I have listed a number of words chosen from different languages, including English. In order to make this a fair test, the English words in the list are words that are unlikely to be familiar to the general public, including most crossword-puzzle fans:
A failure-tolerant structure in router-level internet topologies (ネットワークシステム)

The degree distribution of Internet topology is known to obey a power-law attribute. However, the degree distribution does not solely determine the topological properties of the Internet. In this paper, we investigate the failure-tolerant characteristics of ISP’s router-level topologies, and we reveal what topological properties determine the fault tolerant characteristics. Our results indicate the degree-correlation alone does not determine the failure-tolerant characteristics, and the modularity structure of topologies is important for determining the failure-tolerant characteristics of router-level topologies.
Testing Static Random Access Memories: Defects, Fault Models and Test Patterns

Preface. Acknowledgements. Symbols and notations. I: Introductory. 1. Introduction. 1.1. Test philosophy. 1.2. Memory technology. 1.3. Modeling amd testing faults in SRAMs. 2. Semiconductor memory architecture. 2.1. Memory models. 2.2. External memory behavior. 2.3. Functional memory behavior. 2.4. Electrical memory behavior. 2.5. Memory process technology. 3. Space of memory faults. 3.1. Concept of fault primitive. 3.2. Classification of fault primitives. 3.3. Single-port faults. 3.4. Two-port fault primitives. 4. Preparation for circuit simulation. 4.1. Selected multi-port SRAM cell. 4.2. Modeling of spot defects. 4.3. Definition and location of opens. 4.4. Definition and location of shorts. 4.5. Definition and location of bridges. 4.6. Simulation model. 4.7. Simulation methodology. 4.8. Simulation results for the fault free case. II: Testing single-port and two-port SRAMs. 5. Experimental analysis of two-port SRAMs. 5.1. The to-be simulated spot defects. 5.2. Simulation results. 5.3. Realistic fault models. 5.4. Fault probability analysis. 6. Tests for single-port and two-port SRAMs. 6.1. Notation for march tests. 6.2. Tests for single-port faults. 6.3. Conditions for detecting two-port faults. 6.4. Tests for two-port faults. 6.5. Comparison with other tests. 6.6. Test strategy. 6.7. Test results versus fault probabilities. 7. Testing restricted two-port SRAMs. 7.1. Classification of two-port memories. 7.2. Realistic faults for 2P memories. 7.3. Tests for restricted two-port memories. 7.4. Test strategy for restricted two-port memories. III: Testing p-port SRAMs. 8. Experimental analysis of p-port SRAMs. 8.1. The to-be simulated spot defects. 8.2. Simulation results. 8.3. Realistic fault models for three-port memories. 8.4. Fault probabilities analysis. 8.5. Realistic fault models for p-port memories. 9. Tests for p-port SRAMs. 9.1. Conditions for detecting p-port faults. 9.2. Tests for p-port faults. 9.3. Test strategy. 10. Testing restricted p-port SRAMs. 10.1. Classification of p-port memories. 10.2. Realistic faults for restricted p-port memories. 10.3. Tests for restricted p-port memories. 10.4. Test strategy for restricted p-port memories. 11. Trends in embedded memory testing. 11.1. Introduction. 11.2. Fault modeling. 11.3. Test algorithm design. 11.4. Built-in-self test (BIST). 11.5. Built-in-self repair (BISR). 11.6. Putting all together. Bibliography. A: Simulation results for two-port SRAMs. A.1. Simulation results for opens. A.2. Simulation results for shorts. A.3. Simulation results for bridges. B: Simulation results for three-port SRAMs. B.1. Simulation results for opens and shorts. B.2. Simulation results f
Channel Capacity Characteristics of MIMO System in Urban Area

Multiple-Input-Multiple-Output (MIMO) wireless communication architecture promises an approach to achieve high bandwidth efficiencies and allow robustness against channel fading and interference over conventional single antenna systems [1]-[3]. MIMO wireless channels can be simply defined as a link for which both transmitting and receiving ends equipped with multiple antenna elements. This advanced technology has potential to resolve the problem in traffic capacity for the future networks. However, the performance of MIMO system has been considered that it strongly depends on the propagation environment [4], [5]. In this paper, the performance of MIMO wireless communication system in terms of channel capacity characteristics is studied. Both Minimum Mean-Squared Error (MMSE) and Maximum Likelihood Detection (MLD) algorithms for the adaptive control of weight coefficients are considered. The effects of antenna configurations such as the antenna polarization and the element spacing of both base station (BS) and mobile terminal (MT) antennas are evaluated. The reliability and the effectiveness of MIMO system are also represented compared with a conventional Single-Input-Single-Output (SISO) one. Keyword MIMO,Channel Capacity,Urban Area