Miracle-dz/UniFAR-FTUs huggingface dataset:
Coupling of a multizone airflow simulation program with computational fluid dynamics for indoor environmental analysis

Current design of building indoor environment comprises macroscopic approaches, such as CONTAM multizone airflow analysis tool, and microscopic approaches that apply Computational Fluid Dynamics (CFD). Each has certain advantages and shortfalls in terms of indoor airflow simulation. A coupling approach that combines multizone airflow analysis and detailed CFD airflow modeling would provide complementary information of a building and make results more accurate for practical design. The present study attempted to integrate such building simulation tools in order to better represent the complexity of the real world. The overall objective of this study was to couple an in-house CFD program, MIT-CFD, with a multizone airflow analysis program, CONTAM. Three coupling strategies were introduced. The virtual coupling makes use of the CFD simulation results in a large scale to provide boundary conditions for CONTAM. The quasi-dynamic strategy assumes that CFD can produce a "true" flow pattern and the CONTAM results should be changed accordingly. The dynamic coupling realizes an active two-way interaction between CFD and CONTAM through a bisection search procedure designed by the author that forces the airflow rates from the two models to converge. Various case studies were conducted to validate the coupling strategies. Preliminary results show that all three coupling schemes can result in more reliable airflow patterns. Further investigations are needed to improve the coupling procedures and to apply to more generalized and complex real-world cases. Thesis Supervisor: Qingyan (Yan) Chen Title: Associate Professor in Building Technology
A Case Study: How Young Children and Teachers Use an Interactive Whiteboard in a New Zealand 
Kindergarten Setting for Visual Art Learning Experiences

This case study examines how an interactive whiteboard (IWB) was used in a New Zealand kindergarten to support young children's visual art learning experiences. A qualitative approach was used to investigate the use of the IWB. Data were collected through participant observation, analysis of teachers' narrative assessments of children, and focus group interviews with teachers and parents. A socio-cultural perspective on visual art education for young children provided a framework for analysing and interpreting the data. The findings of the research indicated that when an IWB is integrated into a kindergarten visual art programme it can be a useful tool for motivating and assisting children with visual art learning experiences. The affordances of the IWB allow for some new art experiences to occur that are different from that of traditional art mediums. It was observed, however, that creative art ideas developed with an IWB can be translated into traditional art mediums and vice versa. Problems and issues were also identified in the study, in particular the need for appropriate professional development for teachers to help them maximise the potential of the IWB for early childhood teaching. Areas for further research are discussed, and some recommendations are made for best practice with an IWB for supporting children's visual art learning experiences.
An O(T/sup 2/) algorithm for the lot-sizing problem with limited inventory levels

The paper present an efficient O(T/sup 2/) algorithm for the general single-item dynamic lot-sizing problem, where the time horizon spans over T periods, inventory levels are limited, and nonzero initial and safety stock levels are assumed to exist. The properties of the model were previously found by the author (1992) to transform the problem of finding an optimal, extreme solution into an equivalent shortest-path problem in a multigraph, which is a nontrivial generalization of the Wagner-Whitin (1958) model. Although the resulted multigraph contains O(T/sup 3/) edges, this paper shows how to construct the shortest path solution in O(T/sup 2/) time. For this type of the lot-sizing problems, the resulted algorithm has the lowest complexity over known methods.
The treatment of offensive and taboo terms in the subtitling of Reservoir Dogs into Spanish

espanolLos dialogos ofensivos y tabu son muy recurrentes en los filmes de Quentin Tarantino, uno de los cineastas cuyos guiones incluyen personajes que dicen palabrotas y utilizan todo tipo de terminos tabu. La manera en la que los subtituladores tratan estos terminos puede causar un gran impacto en la audiencia, mayor que el producido por el lenguaje oral (Diaz Cintas, 2001a). Este articulo pretende esclarecer, desde un punto de vista basado en los Estudios Descriptivos de Traduccion (EDT), como se ha subtitulado el lenguaje ofensivo y tabu del primer exito cinematografico de Tarantino, Reservoir Dogs (1992), por medio de un diseno multiestrategico que hace uso de la triangulacion (Robson, 2011). Asi pues, se espera arrojar luz con respecto al modo en que este filme se ha subtitulado en Espana, analizando si los subtitulos siguen de cerca el texto origen o, si por el contrario, se ha dado algun tipo de censura (como la manipulacion ideologica). EnglishOffensive and taboo exchanges are very recurrent in Quentin Tarantino’s films, whose screenplays are full of characters who swear, curse and make ample use of taboo terms. The way subtitlers deal with such terms can cause a greater impact on the audience than oral speech (Diaz Cintas, 2001a). This paper aims to provide some insights, from a Descriptive Translation Studies (DTS) approach, into the subtitling of offensive and taboo language into Spanish by examining Tarantino’s first blockbuster, Reservoir Dogs (1992), and making use of a multistrategy design, which enhances triangulation (Robson, 2011). The ultimate goal is to shed some light on the way this film has been subtitled in Spain, by assessing whether the dialogue exchanges have been rendered in the subtitles in a close way to the source text or, by contrast, some type of censorship (i.e. ideological manipulation) may have taken place.
Spatio-Temporal Nonlinear Filtering With Applications to Information Assurance and Counter Terrorism

Abstract : The objective of this MURI project is to develop a general and systematic foundation and algorithms for spatial-temporal statistical inference and for fusion of heterogeneous information from multi-source, multi-sensor distributed sensor networks. Immediate applications of the proposed work are Network Centric Warfare, where new and emerging systems such as MASINT and FORCENet collect but do not adequately interpret vast amounts of data; and homeland security applications, including video monitoring, and near-field and far-field intelligence analysis. Our research will solve three central problems: (a) nonstationary, (b) integrating metric and symbolic information, and (c) very high dimensionality. Current methods for pattern recognition in monitoring and surveillance are designed for stationary patterns, and cannot cope with new patterns in ever-changing environments. We develop new statistical methods for the nonstationary environment, particularly spatio-temporal nonlinear filtering, change-point detection, and advanced fusion methods. A distinctive feature of our approach is that the spaces in which estimation, classification and tracking is performed are both metric and symbolic. Just as a moving vehicle may be tracked in a metric coordinate space by conventional filters, so can an unfolding terrorist plan be tracked in plan space by a hybrid metric-symbolic nonlinear filter.
INTERIOR MOTIFS AND DESIGNS OF THE MALACCA MOSQUE: A Discussion of the Kampung Kling Mosque

Arriving in Malacca in 15th century, the Chinese and Indian traders carried their culture and custom with them. It has brought profound implications on aspects of the architecture and motif decoration of mosques in Malacca, which belongs to the Sino-eclectic style. This writing focuses on Sino-eclectic mosque like a Kampung Keling mosque which has three roofs and is located in Malacca town. Because of its strategic location and closeness to other worship places, most of the muslim traders who came to Malacca stop by to pray at the mosque. The remains of their activities at this mosque can be recognized through the motifs and visual designs decorating the mosque which show the immense influence of Chinese and Indian, and therefore, the author of this paper decided to study the magnificent heritage. There are plenty of visual symbols and motifs found in the mosque. They comprise elements of flora, fauna, geometry, cosmos and calligraphy, and are highlighted to increase the aesthetic value and uniqueness of the old mosque. This study yielded fact that the use of the motifs and drawings in the mosque is permitted as it does not violate the boundaries of syariah, which makes Islam easily accepted in Malay.
A Service Discovery Framework for a Peer-to-Peer Network

As mobile networks become ubiquitous, and devices like PDAs and cell phones become commonplace, today's traditional computing paradigms are no longer relevant. Instead, we now live in a world where computing power is pervasive, and the means to access that power is as simple as the click of a button or a voice command. However, in order to make use of that power users need a means to locate it. Specifically, users need a means to easily query for services within a network without having to necessarily know where those services are located or even how to query for those services beforehand. The purpose of this thesis is to present a service discovery framework for an ad-hoc network of peers that allows users to discover in realtime how to query for a particular service and particular instances of a service using the query mechanisms presented to them. Thesis Supervisor: Dr. Larry Rudolph Title: Principle Research Scientist
Model based test suite minimization using metaheuristics

s details to minimize the testing cost. Developing a model at the right level of abstraction for effective testing is one of the main challenges for model-based testing. As the test cases are directly derived from models of the system under test, the effectiveness of the test cases depends on the information available in the model. One approach to address this issue is to keep separate models for different stages of testing. Models at a high level of abstraction (i.e. CIM level model in MDA) might not be useful for unit testing but are quite appropriate for system or user acceptance testing. On the other hand, using the implementation level model will make the cost of system testing prohibitive. It is important to note that developing or maintaining a separate model for different testing stages could also be problematic and may lead to consistency and management issues. Automated test generation in model-based testing can quickly generate a large number of test cases. However, the increase in test cases does not improve the quality of the test suite necessarily and may compromises its efficiency. Utting and Legeard [2006, page 40] stressed that the quality of the generated test suite is equally as important as the quantity. Usually, the effectiveness of a test suite is measured in terms of satisfying test requirements (i.e. faults, coverage and mutation score) and the efficiency is measured by the cost to achieve the test requirements. Several studies have been reported on the effectiveness of model-based testing [Dalal et al. 1999; Farchi, Hartman and Pinter 2002; Pretschner, Prenninger, Wagner, Kuhnel, Baumgartner, Sostawa, Zolch and Stauner 2005]. However, there is not much work reported on the efficiency of model-based testing and this thesis focuses on improving the efficiency of model-based test suites using metaheuristic techniques. 2.3 Optimization Techniques Optimization problems arise in almost every field (e.g. bioinformatics, manufacturing, telecommunication, economics and transportation). Consequently, many different optimization techniques have been developed. Heuristic reasoning is provisional and is a non-stringent type of reasoning with an objective to discover the solution of the present problem. Heuristic techniques are optimization techniques which are used to find minimal (or maximal) values of a
The/ o / and / ow / Contrast: Curing a Fossilized Pronounciation Error of Turkish Teacher Trainees of the English Language

Yabanci dil ogretiminin ogretmen yetistirme alaninda, kemiklesmis sesletim hatalarini duzeltici yontemlerin yoklugu ogretmen yetistiricilere zor zamanlar yasatmakta ve sesletim ogretimi acisindan buyuk zararlari ortaya cikarmaktadir. Ogretmen yetistirme alaninda sesletim dogrulugu ve guzelligi gibi ogeler vazgecilmez unsurlardir. Sesletimi kotu olan bir yabanci dil ogrenmeninin hem ogrencilerine hem de kendisine zarar vermesi kacinilmaz olmaktadir. Universitelerin Ingilizce ogretmenligi anabilim dallarinda ses bilgisi, ses bilimi ve entenasyon ogretimi derslerinin bulunmamasi bu alana hic onem verilmediginin acik bir gostergesidir. Bu makalede, kemiklesmis sesletim yanlislarini ele alan ve Demirezen (2003: 57-71; 2004a: 7-22) tarafindan gelistirilen duy-seslet yontemi (audio-articulation method) uygulanarak, Amerikan Ingilizcesinin / , / ve /ou/ unlulerinin Turk ogrencilere ve ogretmenlerine getirdigi sesletim yanlislari iyilestirilmeye calisilacaktir.
Thematic Processes in the Comprehension of Technical Prose.

Abstract : This final report summarizes the principal results of a project concerned with how readers identify the important content in technical prose. The theoretical framework for this process is that the important content of a passage is constructed by the reader based on the semantic content of the passage together with details of the surface structure of the passage. Thus, not only is what is said in the passage important, but also how it is said. The experimental results cover several semantic and surface structure properties that are central to the process of identifying important content, and some of the strategies that readers use. Simulation models of the comprehension and main idea identification processes were developed and tested against actual reader behavior. These models represent the general theoretical framework in a highly specific way, and thus summarize the major results of the project. (Author)
Joint source-channel coding for image transmission over noisy channels

In order to improve the error-resilient capability and transmission efficiency for image transmission over noisy channels, we contrive a joint source and channel coding (JSCC) scheme, in which adaptive segmentation and rate compatible punctured convolutional code (RCPC) are used. Specifically, adaptive segmentation segments an image into different sizes of blocks whilst determining different levels of source significance; RCPC code is then used to provide unequal error protection for individual blocks. Various simulations show that this scheme can support robust image transmission in a very effective way while yielding high visual quality.
AN ANALYSIS OF STRATEGIES AND QUALITY OF SONG LYRIC TRANSLATION ON DISNEY MOVIES SOUNDTRACKS

Translating song lyrics that contained aesthetical characteristics has typical challenges. The translator not only transferring the idea of the song, but also has to maintain the beauty of the song as well. However, the choice of how to translate the song also be a challenge to the translators. Subtitling is one of the type of translation that can easily found. Hence, this research interested in conducting an analysis on the song translation of the soundtrack from its subtitle. This research aimed at describing the translation strategies and the translation quality in terms of accuracy and acceptability of three Disney movies soundtracks, they are ‘How Far I’ll Go’, ‘Try Everything’, and ‘For the First Time in Forever’. This research used descriptive-qualitative design. The source of data used in this research is the lyrics of the soundtracks of three Disney movies both English and Bahasa Indonesia. The lyrics were taken from the subtitles of each movie. This research also employed three raters in order to assess the quality of the translation. The data were taken from the questionnaire given to the raters. The result has revealed that there are six strategies applied in translating three selected Disney soundtracks. The strategies are phonemic translation, literal translation, metrical translation, rhymed translation, blank verse translation and interpretation. Out of the six strategies, literal translation was found as the most frequent strategies used in translating the soundtracks. As for the translation quality based on assessment that taken from the questionnaire distributed to the three raters, it was found that the translation of the soundtracks are accurate and acceptable. Therefore, it can be concluded that in translating the soundtracks of the movie, the translator tend to focus more on transferring the meaning rather than maintained the aesthetical characteristics of the song.
Parallel and Serial Processing

This chapter reviews theoretical and empirical progress that has been made in answering the question “Is processing parallel or serial? ” Answers to the question are complicated because the distinction between parallel and serial processing interacts with other basic distinctions, including exhaustive versus self-terminating search, limited versus unlimited capacity, discrete versus continuous processing, and stochastic versus functional independence. Because of these complications, parallel and serial models readily mimic each other's predictions. Empirical answers to the question are complicated as well because different procedures invoke parallel and serial processing in different ways, and because detailed theories of empirical phenomena often mimic each other's predictions. The chapter reviews progress in distinguishing parallel and serial models of memory search, visual search, dual-task performance, redundant stimulation, and memory retrieval. It addresses recent alternatives to parallel processing, such as coactivation and mixture models. It ends by evaluating the amount of cumulative progress that has been made in answering the question “Is processing parallel or serial? ” and by speculating about prospects for progress in the future. Keywords: attention; automaticity; dual tasks; limited capacity; memory search; parallel processing; reaction time; serial processing; skill acquisition; unlimited capacity; visual search
Supporting Grade 5-8 Students in Constructing Explanations in Science: The Claim, Evidence, and Reasoning Framework for Talk and Writing

Chapter 1: Importance of Supporting Students in Scientific Explanation 1.1. The role of explanations in science 1.2. Scientific explanations in the classroom 1.3. Benefits of scientific explanations 1.4. Alignment with the national science standards 1.5. Student challenges with scientific explanations 1.6. Check Point 1.7. Study Group Questions Chapter 2: Framework for Constructing Scientific Explanations 2.1. Students' understandings of scientific explanations 2.2. Framework for constructing scientific explanations 2.3. Video Example - Introducing the instructional framework 2.4. Examples of scientific explanations 2.5. Increasing the complexity of the framework over time 2.6. Benefits of the framework for all learners 2.7. Check Point 2.8. Study Group Questions Chapter 3: Designing Learning Tasks for Your Science Curriculum 3.1. Considerations for designing learning tasks 3.2. Step 1: Identify opportunities in the curriculum 3.3. Examples of learning tasks 3.4. Step 2: Design complexity of the learning task 3.5. Step 3: Create Classroom Support 3.6. Check Point 3.7. Study Group Questions Chapter 4: Teaching Strategies to Integrate into Classroom Instruction 4.1. Teaching strategies 4.2. Supporting all learners 4.3. Check Point 4.4. Study Group Questions Chapter 5: Developing Assessment Tasks and Rubrics 5.1. Overview of the development process 5.2. Step 1: Identify and unpack the content standard 5.3. Step 2: Select scientific explanation level of complexity 5.4. Step 3: Create learning performances 5.5. Step 4: Write the assessment task 5.6. Step 5: Review the assessment task 5.7. Step 6: Develop specific rubric 5.8. Check Point 5.9. Study Group Questions Chapter 6: Using Rubrics and Student Data to Inform Instruction 6.1. Role of assessment in creating a supportive learning environment 6.2. Using rubrics to support student learning 6.3. Providing students with feedback 6.4. Check Point 6.5. Study Group Questions Chapter 7: Supporting Learning Over Time 7.1. Developing a classroom culture 7.2. A learning progression for scientific explanation 7.3. Connecting to other content areas 7.4. Check Point 7.5. Study Group Questions
Microeconometrics Using Stata: Revised Edition

A complete and up-to-date survey of microeconometric methods available in Stata, Microeconometrics Using Stata, Revised Edition is an outstanding introduction to microeconometrics and how to execute microeconometric research using Stata. It covers topics left out of most microeconometrics textbooks and omitted from basic introductions to Stata. This revised edition has been updated to reflect the new features available in Stata 11 that are useful to microeconomists. Instead of using mfx and the user-written margeff commands, the authors employ the new margins command, emphasizing both marginal effects at the means and average marginal effects. They also replace the xi command with factor variables, which allow you to specify indicator variables and interaction effects. Along with several new examples, this edition presents the new gmm command for generalized method of moments and nonlinear instrumental-variables estimation. In addition, the chapter on maximum likelihood estimation incorporates enhancements made to ml in Stata 11. Throughout the book, the authors use simulation methods to illustrate features of the estimators and tests described and provide an in-depth Stata example for each topic discussed. They also show how to use Statas programming features to implement methods for which Stata does not have a specific command. The unique combination of topics, intuitive introductions to methods, and detailed illustrations of Stata examples make this book an invaluable, hands-on addition to the library of anyone who uses microeconometric methods.
The Application Of Collaborative Strategic Reading (CSR) In Improving Reading Expository Texts

Reading is one of the language skills taught in teaching English at Senior High School.According to KTSP Curriculum (2006), the materials given were based on text types known as“genre”. Based on direct observation, it was found that many students had serious problems incomprehending each text-type, especially expository texts. This classroom action research aimedto improve Reading Comprehension ability using expository texts through the use ofCollaborative Strategic Reading (CSR). The subjects of this research were one class of 36 secondyear students of SMAN 2 Bangkinang - Kampar Regency, Riau Province. The research wasconducted in two cycles where each had 4 meetings with one and a half months for each cycle.The data of this research were the students’ reading comprehension ability. Before theCollaborative Strategic Reading was applied, a pre-test was conducted while a post-test wasadministered after the treatment. The data were analyzed by comparing the result of pre-test andthe result of post test and the minimum criteria of successful action (KKM). The result indicatesthat the post-test (71,05) was higher than the pre-test (48,33) and the minimum criteria ofsuccessful action (60). Then , to know the significance level, the t-table was used. It was foundthat the t-observed (3.13) was greater than the t-table, namely 2.00 at the level of significance0,05. Therefore, it can be concluded that the application of CSR is effective in improving thestudents’ reading comprehension ability.