Miracle-dz/UniFAR-FTUs huggingface dataset:
Evaluating the effectiveness of doing mathematics warm-up problems with an agricultural context on improving mathematics performance

Evaluating the Effectiveness of Doing Mathematics Warm-up Problems with an Agricultural Context on Improving Mathematics Performance. (December 2005) Mary Helen Jasek, B.S., Texas A&M University; M.Ed., Texas A&M University Chair of Advisory Committee: Dr. Gary Briers The purpose of this study was to evaluate one instructional activity that could be used by agricultural science teachers to improve math performance of students, grades 712. The treatment group (11 schools, 218 students) used math warm-up problems that coincided with topics covered in Agriscience 101, while the control group (13 schools, 170 students) did not use contextual warm-up problems. Both groups were tested with a 30-item word problem exam. Students and teachers in each group were asked questions regarding demographics. Students and teachers in the treatment group were also asked questions related to their perceptions of the activity and TAKS-related materials. The results of the study showed no statistically significant difference in the performance of the groups. The scores for schools in the treatment group had a mean of 18.95 (SD 4.33), while the scores for schools in the control group had a mean of 20.14 (SD 2.35). Hispanic students in the treatment group outperformed all other subgroups in both experimental groups. A majority of students in the treatment group perceived the difficulty level of the warm-up problems as “neutral” (42.2%) or “easy” (29.9%) and did
Getting Smarter At Solving Problems: Teacher’s Manual

224 p. Copyright © David Moursund 1990, 2004. Creative Commons Attribution-NonCommercial 2.5 License. Permission is granted to make use of this document for non-commercial educational purposes by schools, school districts, colleges, universities, and other non-profit preservice and inservice teacher education organizations and groups. Additional free materials written by David Moursund are available at http://darkwing.uoregon. edu/~moursund/dave/Free.html.
A USABILIDADE DO METAVERSO: CONTRIBUIÇÕES PARA AS INTERAÇÕES HUMANAS E PARA AS INTERAÇÕES DOS SUJEITOS COM CONTEÚDOS E ATIVIDADES EDUCACIONAIS

S. G. Cardoso. 2015. A usabilidade do metaverso: contribuições para as interações humanas e para as interações dos sujeitos com conteúdos e atividades educacionais. In: C. G. Spinillo; L. M. Fadel; V. T. Souto; T. B. P. Silva & R. J. Camara (Eds). Anais [Oral] do 7o Congresso Internacional de Design da Informação/Proceedings [Oral] of the 7th Information Design International Conference | CIDI 2015 [Blucher Design Proceedings, num.2, vol.2]. São Paulo: Blucher, 2015. ISSN 2318-6968, DOI 10.5151/designpro-CIDI2015-cidi_228 A usabilidade do metaverso: contribuições para as interações humanas e para as interações dos sujeitos com conteúdos e atividades educacionais The metaverse usability: contributions to human interactions and in interactions of individuals with educational contents and activities
Controlling Chaos in Discrete Dynamical Systems

Makoto Itoh and Hiroyuki Murakami Department of Electrical Engineering and Computer Science Nagasaki U ni versi ty 1-14, Bunkyo-machi, Nagasaki-shi, 852 Japan E-mail: itoh@itoh.ec. nagasaki-u.ac. jp This paper presented the method to synchronize the chaotic discrete dynamical systems. This method is also applied to control unstable periodic points embedded in a chaotic attractor.
IBM Research Report SPL Stream Processing Language Specification

This document is the official specification for SPL. SPL is a programming language for high-performance distributed stream processing systems. An SPL program describes a data flow graph, where the vertices are operator instances and the directed edges are streams. SPL is extensible by allowing users to define their own primitive operators in a native language, and by allowing users to define their own parameterizable composite operators in SPL itself. Furthermore, SPL permits users to dynamically compose independently launched streaming programs. Thanks to its generality, SPL makes it easy to express applications from a large variety of domains, including but not limited to financial trading, transportation monitoring, manufacturing control, security, healthcare, etc.
Confidentiality Performance of Spectral-Phase-Encoded

Enhanced security has often been cited as an impor- tant benefit of optical code-division multiple-access (O-CDMA) signaling but has seldom been analyzed in detail. This paper presents a theoretical analysis of the degree of confidentiality that can be provided by spectral-phase-encoded O-CDMA. Two eaves- dropping detector structures are presented that can theoretically break the confidentiality of spectral-phase-encoded signals by detecting the code words in use by a specific user. One of them, an optical beat detector, is quantitatively analyzed to determine the probability of correctly detecting user code words. The confiden- tiality of user signals is shown to be vulnerable to such a detector if an eavesdropper can isolate a single user signal with a sufficiently high signal-to-noise ratio (SNR). At lower SNRs, combining mul- tiple bits is shown to dramatically increase the probability of an eavesdropper correctly detecting user code words; even for codes long enough to strain implementation capabilities (e.g., 2048 code elements), the probability of correct detection is shown to rise from negligibly low values to virtually 100% by the combining of less than 100 transmitted bits at the eavesdropper's receiver. Index Terms—Code-division multiple access (CDMA), commu- nication system security, optical communication.
Location Privacy And Geo Based Applications

— Using Geo-social networking like Apple's i Groups and Hot Potato, many people communicate with their neighbouring locations through their associates and their suggestions. Without sufficient location protection, however, these systems can be easily misused, in this paper, we introduce, a technique that provides location secrecy without adding complexity into query results. Our idea here is to secure user-specific, coordinate conversion to all location data shared with the server. The associates of a user share this user’s secret key so they can apply the same conversion. This allows all spatial queries to be evaluated correctly by the server, but our privacy mechanisms guarantee that servers are unable to see or infer the actual location data from the transformed data or from the data access.
Novel Techniques and Methods for Performance Measurement, Analysis and Monitoring of Cluster and Grid Applications

ABSTRACT The evolution of parallel and distributed architectures and program-ming paradigms for performance-oriented program development challengesthe state of technology for performance tools. Coupling di erent program-ming paradigms such as message passing and shared memory programmingfor hybrid cluster computing (e.g. SMP clusters) is one example for highdemands on performance analysis tools that are capable to cope with applica-tions for multiple programming models and target architectures. Performancetools must be able to observe performance problems at all levels of a systemwhile relating low-level behavior to the application program.This dissertation presents a set of novel techniques and methods for per-formance instrumentation, measurement, monitoring and analysis of clusterand Grid applications. We introduce a classi cation of temporal overheadsforparallel programs that can be used to explain sources of performance prob-lems. A highly customizable instrumentation and measurement system allowsto control the instrumentation and performance measurement for code re-gions and performance metrics of interest in a exible and automatic way.A data repository is employed in order to store performance data and in-formation about performance experiments which alleviates the association ofperformance information with experiments and the source code. Performanceanalysis can be conducted for single and multiple experiment(s). To overcome the limitation of existing performance analysis techniques,which are based on the hard computing model, we propose a novel approachto performance analysis for parallel and distributed systems that is based onsoft computing. Firstly, we introduce the concept of performance score rep-resenting the performance of code regions that is based on fuzzy logic. Wethen propose techniques for classifying the performance according to fuzzyterms representing performance characteristics. A high-level query languageis introduced to support the search for performance problems by using lin-guistic expressions. We present fuzzy-based ranking analysis and bottlenecksearch. Secondly, we propose methods for measuring performance similarityamong code regions and among experiments. We introduce the performancesimilarity analysis that can be employed for multiple experiments. Finally, wedevelop and implement a fuzzy C-means clustering for performance analysis,and introduce fuzzy rules that can be utilized to lter irrelevant performancedata. We propose the soft performance analysis approach in order to sup-port making soft decisions on evaluation, classi cation, search and analysis ofthe performance of parallel and distributed programs, rather than only harddecisions as in most existing performance tools.Thisdissertationintroducesauni edmonitoringandperformanceanalysissystem for the Grid. The uni ed system integrates performance monitoring,dynamic instrumentation of Grid applications, and performance analysis of
Logical Clock Constraint Specification in PVS

: The Clock Constraint Specification Language (CCSL), first introduced as a companion language for Modeling and Analysis of Real-Time and Embedded systems (MARTE), has now evolved beyond the time specification of MARTE, and has become a full-fledged domain specific modeling language widely used in many domains. This report demonstrates the encoded PVS (Prototype Verification System) theories for interpreting clock relation and clock expression based on schedules as a sequence of clock set. In order to ensure the correctness of the encodings, we prove some interesting properties about the clock constraint. Finally, we give an example to illustrate the approach
Agir au mieux pour prévenir et contrer la maltraitance envers les enfants du Québec

La violence familiale envers les enfants constitue une problematique sociale importante au Quebec. Afin d’etre optimale, la reponse societale doit s’inscrire tant en amont de la problematique, par le biais d’interventions preventives universelles, qu’en aval, par le biais d’interventions reactives aupres de familles requerant des services de protection. Trois programmes prometteurs ayant fait l’objet d’evaluations d’efficacite sont decrits: Espace, strategie de prevention universelle des abus sexuels, physiques et verbaux; SIPPE (Services integres en perinatalite et pour la petite enfance), strategie de prevention de l’abus et de la negligence a l’intention des familles vivant en contexte de vulnerabilite; et PAPFC2 (Programme d’aide personnelle, familiale et communautaire nouvelle generation), intervention multistrategies destinee a des familles negligentes ou a haut risque. Quelques constats relatifs a l’efficacite des programmes sont ensuite discutes. Mieux etabli en prevention qu’en protection, le bilan quant a la robustesse des donnees relatives a l’efficacite est somme toute mitige, et meme les constats les plus solides ne doivent pas etre pris pour acquis. Il ne faut pas non plus ignorer les programmes dont l’efficacite n’est pas encore demontree: les programmes innovants d’aujourd’hui seront peut-etre les programmes exemplaires de demain. Le developpement d’une culture de l’evaluation dans les milieux de pratiques et de collaborations fructueuses entre chercheurs et intervenants laissent presager une meilleure connaissance de l’efficacite des actions entreprises.
OPTIMIZING RETAIL LOCATION: AN INTEGER LINEAR PROGRAMMING APPROACH

iv DEDICATION . v ACKNOWLEDGMENTS . vi LIST OF TABLES . vii LIST OF FIGURES . viii LIST OF SYMBOLS . ix
Expectation and Memory in Processing of German Verb-final Clauses: Relativization Matters

•Konieczny (2000) shows that the presence of additional preverbal mate rial can facilitate the processing of clause-final verbs. •This is an example of an anti-locality effect (e.g.,Vasishth & Lewis, 2006); it contradicts standard results showing that pre-verbal dependents increase p ocessing difficulty (e.g., Gibson, 1998). • Levy (2006) argued that this type of anti-locality result arises as a result of probabilistic expectations (Hale, 2001). •To reconcile these results, we posit that the cost of memory retrieval varies across language and constructions. •Hypothesis: relativization (unbounded dependency construction) involve more resources than clause-local constructions.
Towards Mobile Cloud Computing

 Abstract— Mobility is the critical dimension in today's computing world. The field of mobile computing has rapidly developed during last few years. The diversity of the computing devices helps in widespread adoption of mobile computing. Mobile computing and cloud computing together has been introduced excellent technology called Mobile Cloud Computing for mobile devices. Mobile Cloud Computing incorporates the features of cloud computing to mobile environment and vanquishes the issues related to performance. This paper attempts to give an insight into mobile computing, cloud computing and mobile cloud computing.
Rethinking Network Mobility in Pervasive Markets: Model and Trust

With recent advances of wireless ad hoc networking, especially opportunistic forwarding and cognitive radio, there is an increasing concern that existing mobility models are insufficient to represent network mobility in real world settings. In this paper, we discuss our proposal for a more realistic mobility model which captures key features of human movements in pervasive markets. Our findings lead to a non-traditional mobility model which can be used to reconstruct the statistical patterns commonly observed in the literature, and facilitate the study of mobile communication and software engineering design problems under the context of pervasive computing for markets.
Constrained complexity spatio-temporal interference rejection combining

Space-time processing for co-channel interference (CCI) rejection and equalization with antenna arrays may provide large gains over space-only processing, especially in interference limited scenarios. However, taking the temporal correlation of the noise and CCI process into account leads to sequence detection with higher complexity as compared to space-only processing that neglects this correlation. We propose the use of the generalized Viterbi algorithm for sequence detection with lower complexity. Special cases include the M-algorithm and the delayed decision feedback sequence estimator. A relevant comparison between spatial and spatio-temporal processing with sequence detectors of the same complexity may thus be performed. Numerical examples show substantial gains for spatio-temporal processing as compared to space-only processing also in this case when the optimality of the sequence detector is traded for interference rejection.
Neural coding and feature extraction of time-varying signals

What are the neuronal codes that the brain uses to represent information? This constitutes one of the most fascinating and challenging questions in Neuroscience. Here we report the results of our investigations about the mechanisms of stimulus encoding and feature extraction using the weakly electric fish Eigenmannia as a model. In many circumstances, sensory systems are subject to natural stimuli that are constantly changing. Therefore we decided to study the representation of time varying signals. Eigenmannia constitutes an ideal system to combine neurophysiological and computational techniques to study neural coding. We have characterized the variability of neuronal responses with a new approach by using parameterized distances between spike trains defined by Victor and Purpura. This measure of variability is widely applicable to neuronal responses, irrespective of the type of stimuli used (deterministic versus random) or the reliability of the recorded spike trains. We also quantitatively defined and evaluated the robustness of the neural code to spike time jittering, spike failures and spontaneous spikes. Our data show that the intrinsic variability of single spike trains lies outside of the range where it might degrade the information conveyed, yet still allows for improvement in coding by averaging across multiple afferent fibers. We also built a phenomenological model of P-receptor afferents incorporating both their linear transfer properties and the variability of their spike trains. We then studied the extraction of features from the time varying signal by bursts of spikes of multiple pyramidal cells, the next stage of information processing. To address the question of whether correlated responses of nearby neurons within topographic sensory maps are merely a sign ofredundancy or carry additional information we recorded simultaneously from pairs of electrosensory pyramidal cells with overlapping receptive fields in the hindbrain of weakly electric fish. We found that nearby pyramidal cells exhibit strong stimulus-induced correlations. The detailed stimulus encoding by pairs of pyramidal cells was inferior to that from single primary afferents. However, the detection of coincident bursts of activity could significantly enhance the extraction of upstrokes and downstrokes in the stimulus amplitude. Our investigations reveal mechanisms by which the nervous system can accurately and robustly transduce a time-varying signal into a digital spike train and then extract behaviorally relevant features.
Fine-grained and probabilistic cross-linguistic influence in the pronunciation of cognates: Evidence from corpus-based spontaneous conversation and experimentally elicited data

Abstract The present study examines variable realizations of Spanish word-initial voiced and voiceless dental stops in Spanish-English cognate pairs. Employing a variationist approach to naturalistic data, we report significantly decreased likelihood of reduced articulations of word-initial /d/ in cognates in spontaneous bilingual Puerto Rican discourse, and no such probabilistic effect for cognates in monolingual Spanish of the same speech community. Using experimentally controlled elicited data of Spanish word-initial /t/, we also find evidence of significant fine-grained effects of English on the articulations of Spanish cognates in the form of lengthened VOT for Spanish-English bilinguals. These results indicate that cross-language lexical connections affect phonetic categories in the speech production of Spanish-English bilinguals. It is proposed that both fine-grained and probabilistic effects of the phonology of one language on another can be explained within the Exemplar Model of Lexical Representation.
Teletraffic models for urban and suburban microcells: cell sizes and handoff rates

As cellular systems evolve into personal communication networks, teletraffic modeling of users will become crucial. Teletraffic models are required for cellular system layout and planning and to evaluate tradeoffs in system design issues. The paper begins with a study of handoff rates in evolving cellular systems. Using simple geometry, it shows that in macrocells with homogeneous traffic the handoff rate per call increases only as the square-root of the increase in the call density. The situation is different in microcells where individual traffic paths become important and the homogeneous traffic model does not apply. Under smooth flow, the handoff rate along a traffic path goes up linearly with the number of new boundaries intersecting the path. Hence, in urban and highway microcells the handoff rate per call increases linearly with increasing call density. It proposes a parametric model based on results from vehicular traffic theory, that applies to vehicles and pedestrians in urban, suburban, and highway cellular systems. The model helps quantify various design tradeoffs. With reasonable parameter values, it was found that microcells are unnecessary in urban environments if the pedestrian penetration is small and that an architecture with microcells and overlaid macrocells is required only if a majority of teletraffic is pedestrian generated. >
Peer Observer Feedback Sheets: A Tool for Structured Peer Feedback

Background: Peer assisted learning in the form of peer feedback has been used in a range of settings for medical education and assessment. Clinical skills are an important and vital aspect of undergraduate medical education. Clinical skills learning has been enhanced by incorporating peer assisted learning in medical curricula. Aim: To assess the usefulness of peer observer feedback sheets as a tool for structured peer feedback in enhancing early undergraduate clinical skills learning. Method: An innovative tool enabling peer feedback in history taking and physical examination skills was distributed to small student groups in year 1 and year 2 undergraduate clinical skills tutorials throughout the 2008 academic year. A questionnaire regarding the usefulness of this tool in helping with clinical skills learning was then distributed to all first and second year medical students for evaluation at the end of the second semester in the 2008 academic year. Results: The results supported some usefulness of this tool in helping early undergraduate medical students with clinical skills tutorials. At the end of the academic year, 71.5% of year 1 and 62.4% of year 2 students found this tool 'useful' to 'extremely useful'. Conclusion: Peer observer feedback sheets were perceived by the majority of a cohort of first and second year medical students to be useful in clinical skills teaching and learning. Further research is needed to determine the effectiveness of this tool on actual student performance and how this will impact on low performing students.
The research teaching nexus in the computing disciplines: a comparative survey

Many institutions make claims in strategy documents and official publications that students will receive an education which is research-led, research-informed, or guided by the scholarship of teaching and learning. Academics who teach regularly experience at first-hand the sometimes conflicting demands of research, teaching and supporting learning. Curricula guidelines are unlikely to help in developing any sophisticated understanding of ways in which research and teaching can be symbiotically applied, since such guidelines most typically deal with the content rather than the educational process experienced by our undergraduates. For these reasons an academic’s understanding of the research teaching nexus is more likely to be informed by their own workaday experience of designing and delivering educational experiences than from an analysis of the students’ perspective. If academics in the computing disciplines are to effectively deliver on their institutional missions to be scholarly, research-led or research-informed in their educational approaches, a clearer understanding of the possible meanings and implications of these terms in the context of the typical computing curricula would be of assistance. This paper presents and analyses the results of a survey conducted at two Universities which sought to identify how far their undergraduate curriculum was informed by research. This data is presented alongside qualitative data gathered from academics which explores their attitudes towards, and understanding of, the various terms commonly used to describe a research-informed approach to education in the computing disciplines.