Miracle-dz/UniFAR-FTUs huggingface dataset:
Academic Writing and Publishing: A Practical Handbook

SECTION 1. Introduction 1.1 The nature of academic writing SECTION 2. The academic article 2.1 Titles 2.2 Authors 2.3. Abstracts 2.4 Key words 2.5 Introductions 2.6 Methods 2.7 Results 2.8 Discussions 2.9 Acknowledgements 2.10 References 2.11 Footnotes 2.12 Responding to referees 2.13 Proofs SECTION 3. Other genres 3.1 Books 3.2 Theses 3.3 Literature reviews 3.4 Conference papers 3.5 Tables and graphs 3.6 Posters 3.7 Book reviews 3.8 Letters to the editor 3.9 Annotated bibliographies SECTION 4. Other aspects of academic writing 4.1 Finding, keeping and disseminating information 4.2 Choosing where to publish 4.3 Delays in the publishing process 4.4 Refereeing 4.5 Sex differences 4.6 Procrastination and writer's block 4.7 Collaborative writing 4.8 Productive writers Appendices A.1 Guidelines for academic writing A.2 Guidelines for revising text A.3 Abbreviations for American States
Sy Stem reliability optimization: a fuzzy multi-objective genetic algorithm approach optymalizacja niezawodności Sy Stemu: metoda rozmytego algorytmu genetycznego do optymalizacji wielokryterialnej

System reliability optimization is often faced with imprecise and conflicting goals such as reducing the cost of the system and improving the reliability of the system. The decision making process becomes fuzzy and multi-objective. In this paper, we formulate the problem as a fuzzy multi-objective nonlinear program. A fuzzy multi-objective genetic algorithm approach (FMGA) is proposed for solving the multi-objective decision problem in order to handle the fuzzy goals and constraints. The approach is able flexible and adaptable, allowing for intermediate solutions, leading to high quality solutions. Thus, the approach incorporates the preferences of the decision maker concerning the cost and reliability goals through the use of fuzzy numbers. The utility of the approach is demonstrated on benchmark problems in the literature. Computational results show that the FMGA approach is promising.
Meaning and Method in Information Studies

PART I: INTRODUCTION AND BACKGROUND Introduction The Art of Interpretation. Interpretation in Politics and Law The Context of Meaning and the Concept of the Information Culture PART II: PREPARATIONS AND OBJECTIONS Interpretation in Library and Information Studies Objections to the Interpretive Position. Practice and Theories PART III: Conceptions of Information Studies Bibliography Information Science Information Management Summary and Conclusion References Author Index Subject Index
Using shell morphology to characterise abalone populations across multiple spatial scales.

Many sedentary marine invertebrates have a fine-scale (100s m) population structure that complicates their conservation and management. This is a consequence of the limited information on the boundaries between component populations and the biological variability among them. Blacklip abalone (Haliotis rubra) form discrete populations many of which are ‘stunted’ with individuals reaching a maximum length less than those in adjacent areas. A range of morphological measurements from samples of stunted and ‘non-stunted’ H. rubra collected from sites spread across broad (10s km) and fine (100s m) spatial scales in southern South Australia. In addition, information on the growth, size at maturity and fecundity of H. rubra was obtained from these same sites. The ratio between shell length and shell height showed clear and significant differences among samples from stunted and non-stunted sites. The fine-scale morphometric collections suggested that stunted populations existed at smaller spatial scales compared to those for non-stunted populations. Spatial variation in these key life history parameters could primarily be attributed to differences between stunted and non-stunted sites. Relationships between each of these parameters and the ratio between shell length and shell height were also examined. The spatial patterns in morphology and biology were highly correlated suggesting that shell length:shell height ratio can be used as a simple ‘morphometric marker’ to distinguish among populations of abalone and identify their biological characteristics. The detection of differences H. rubra morphology among variable environments cannot determine whether these differences represent a plastic response to the local environment, or whether morphology is genetically fixed. A reciprocal transplant experiment was used to test whether stunted H. rubra are the result of a plastic response to the environment or fixed genetic trait. Furthermore, environmental factors that affect food availability were related to differences in morphology. Morphological plasticity was confirmed as the mechanism causing morphological variation in H. rubra. Individuals transplanted to sites with non-stunted H. rubra grew significantly faster when compared to stunted controls, while individuals transplanted to stunted sites grew significantly slower compared to non-stunted controls. It is suggested that these differences are related to resource availability with areas limited in food supply
Pyception: Teaching Python with a Serious Game

This thesis set out to study how an online serious game could affect users? motivation on learning Python. One of the projects core goals is to find out whether learning Python is more motivating when having an effortless start through a web based game. A second goal is to find out if Python as a programming language are well suited for a serious game. After the development and implementation of the game, it was performed a user experiment in order to receive feedback. Data from this user experiment were collected in a questionnaire and the results regarding usability were collected in a System Usability Scale. The results were positive, and indicates that most users were satisfied with the game. Feedback from users indicate that the game was both fun and educational, and more motivating than traditional task solving. However, some changes need to be applied in order to publish this serious game.
Semantic annotation of deverbal nominalizations in the Spanish corpus AnCora

This paper presents the methodology and the linguistic criteria followed to enrich the AnCora-Es corpus with the semantic annotation of deverbal nominalizations. The first step was to run two independent automated processes: one for the annotation of denotation types and another one for the annotation of argument structure. Secondly, we manually checked both types of information and measured inter-annotator agreement. The result is the Spanish AnCora-Es corpus enriched with the semantic annotation of deverbal nominalizations. As far as we know, this is the first Spanish corpus annotated with this type of information.
Error analysis of a hybrid multiple classifier system for recognizing unconstrained handwritten numerals

Since the early 1990s, many research communities, amongst the pattern recognition and machine learning, have shown a growing interest in Multiple Classifier Systems (MCSs), particularly for the recognition of handwritten words and numerals. This thesis is divided into two parts. First, we construct an effective hybrid MCS (HMCS) of handwritten numeral recognition in order to raise the reliability of the entire system. This HMCS is proposed by integrating the cooperation (serial topology) and combination (parallel topology) of three classifiers: SVM, MQDF, and LeNet-5. In cooperation, patterns rejected from the previous classifier become the input of the next classifier. Based on the principles of different classifiers, effective measurements for the rejection options---First Rank Measurement (FRM), Differential Measurement (DM), and Probability Measurement (PM) are defined. In combination, Weighted Borda Count (WBC) at the rank level, which reflects confidence and preference of different ranks in different classes with different classifiers, is applied. Second, we analyze factors that cause the errors in HMCS. In this process, we focus mainly on the role of size normalization on the recognition of handwritten numerals.
Performance and Complexity Comparison of Doppler Spread Estimation for WCDMA Systems

In cellular communication systems, the estimation of Doppler spread has a wide range of applications such as handoff, channel assignment scheme, adaptivetransmission, power control, etc. A great quantity of Doppler spread estimation algorithms have been proposed in the literature. But there has been few investigations which gives a comprehensive comparison of these algorithms. Therefore, it is of great signicance to compare and evaluate the performance of the existing algorithms in the same simulation framework. In this report, the uplink of WCDMA is considered. Four different types of Doppler spread estimation algorithms are evaluated and compared in a link level baseband simulator. The performance and the ability to implement are considered as the metrics for evaluation. Both Rayleigh and Rician fading channel model are applied, and the effect of speed, signal to noise ratio, Rician factor and the angle of arrived line of sight component are also tested. Moreover, the computational complexity is analysed to evaluate the practical value for implementation.
Developing an Ontological approach to Content-based Recommendation System

During past decade the no of web user increases so rapidly leading to rapid increase in web services which leads to increase the usage data at higher rate. The usage data of these users now amount to be in order of Peta Byte (1015 bytes). In such cases the search space for user‟s queries increases and a user‟s search query may leads to retrieval of irrelevant information. Sometime the search algorithm may become exhaustive. This project is aimed to use User‟s context information to model a framework which can filter the search space and choose some preference based on user‟s context. The project follows a set of processes for profile construction of Users and Items, and determining their similarity and scoring their preference. The projects also compares the effectiveness in predicting User‟s preferences and accuracy in it with various other Collaborative approach such as User-Based model and Item based model to check its performance level and quality of predictions.
A New Control and Design of PEM Fuel Cell Powered Air Diffused Aeration System

Aeration of water by using PEM fuel cell power is not only a new application of the renewable energy, but also, it provides an affordable method to promote biodiversity in stagnant ponds and lakes. This paper presents a new design and control of PEM fuel cell powered by diffused air aeration system for a shrimp farm in Mersa Matruh in Egypt. Also Artificial intelligence (AI) techniques control is used to control the fuel cell output power by controlling input gases flow rate. Moreover the mathematical modeling and simulation of PEM fuel cell is introduced. A comparison study is applied between the performance of fuzzy logic control (FLC) and neural network control (NNC). The results show the effectiveness of NNC over FLC.
Applications of Fourier Analysis to Audio Signal Processing: An Investigation of Chord Detection Algorithms

The discrete Fourier transform has become an essential tool in the analysis of digital signals. Applications have become widespread since the discovery of the Fast Fourier Transform and the rise of personal computers. The field of digital signal processing is an exciting intersection of mathematics, statistics, and electrical engineering. In this study we aim to gain understanding of the mathematics behind algorithms that can extract chord information from recorded music. We investigate basic music theory, introduce and derive the discrete Fourier transform, and apply Fourier analysis to audio files to extract spectral data.
Performance Assessment of Single and Dual Frequency, Commercial-based GPS Receiver for LEO Orbit

Testing and qualification of a commercial dual-frequency GPS receiver has been done for a joint project by CSA and JAXA. This paper reports the results of performance assessment of the NovAtel OEM4-G2L dual frequency receiver with modified firmware. The signal simulator tests for LEO mission are performed, and the initial tracking/acquisition performance, single point navigation accuracy and the effect of the deterioration of the L2 (Pseudo-Y) signal on the navigation accuracy are evaluated in this study. Furthermore the comparison of a navigation performance between the NovAtel OEM4-G2L and the JAXA micro GPS receiver developed based on a single frequency terrestrial GPS receiver is discussed. INTRODUCTION The JC2Sat-FF is a nanosatellite mission consisting of two nanosatellites demonstrating the feasibility of maintaining spacecraft formation using aerodynamic drag. This mission will be the first project developed in the scheme of international collaboration between Canadian Space Agency (CSA) and Japan Aerospace Exploration Agency (JAXA). The primary objective of this project is to demonstrate spacecraft formation keeping technology powered by aerodynamic drag control and GPS-based relative navigation. The principle advantage of this concept is that no propulsion system is required. A literature survey of all proposed or planned FF missions indicates that a propulsion system is imperative which inherently increases the complexity and cost of the spacecraft design. There is no mission, for any class of satellite, which attempts to demonstrate the FF concept utilizing aerodynamic drag only. One of the challenges of this project is to demonstrate that the nanosatellite which has capability to carry out several advanced experiments, can be built at low cost, with a small team and in a short time frame. Low cost and high performance GPS navigation system is key to this mission. Compared with a system with single-frequency GPS sensors, GPS dual-frequency carrier-phase observations enable one to provide higher accuracy, to adapt on larger baseline applications up to few hundreds of kilometers, and also to improve the identification of systematic measurement errors. Despite the significant advantages of the GPS dual-frequency sensor system, only few space missions have adopted this system due to the practical limitation on the available selection of space-capable dual-frequency receivers. Space qualified dual-frequency GPS receivers are extremely expensive, especially for a small satellite project. An attractive approach for a mission with limited cost is to adopt a commercial GPS receiver. In some previous studies, it has been confirmed that
Model based haptic feedback design for articulated vehicles

This thesis investigates and develops a haptic feedback solution for a wheel loader by designing and constructing a prototype joystick. The main reason for haptic feedback is to improve the manoeuvrability of Steer-By-Wire systems. The design includes modelling, prototyping and control over the joystick and modelling and control over a vehicle model. The final result was a joystick in one dimension that controlled a vehicle model run on a Arduino DUE, the vehicle was then presented on a computer screen for the user. The haptic feedback was broken down into several tasks to help the design of the controllers, tracking of vehicle angle, vehicle velocity based friction, a centring force and a simulated mechanical stop. The latter was to be able to use the joystick in different vehicles which potentially could have different maximum steering angle. The conclusion was a PD controller for the angular tracking, since that would allow steering and still restrict fast movement and deviation from the vehicle angle. The friction and the centring controllers were P controllers that used angular velocity and angle to control, the reference was to keep each state to zero. The feel of the haptic feedback was smooth and felt natural. For the mechanical stop an event based controller was used. The controller is an open loop controller that used a predefined impact pattern which is dependent on the speed of the joystick at impact, this provided a sharp stop without significant overshoot. The open loop allows for a control signal with higher frequency components than a closed loop system with the corresponding sampling time. Different versions of P, PI or PD controllers were tested for the mechanical stop but deemed to sluggish or aggressive to be of use. The conclusion is that in order to establish a realistic mechanical stop an open loop response feels much more realistic than a closed loop controller, this is due to the high frequency components that makes up the impact of a mechanical stop. To make a realistic closed loop response an extremely high sampling rate is needed. For tracking purposes a PD controller provided a realistic behaviour as the controller would act passively and only restrict fast movement in comparison to an integrating controller which would be aggressive and feel active.
The Design Space of Ubiquitous Mobile Input

The mobile phone is the first truly pervasive computer. In addition to its core communications functionality, it is increasingly used for interaction with the physical world. This chapter examines the design space of input techniques using established desktop taxonomies and design spaces to provide an in-depth discussion of existing interaction techniques. A new five-part spatial classification is proposed for ubiquitous mobile phone interaction tasks discussed in our survey. It includes supported subtasks (position, orient, and selection), dimensionality, relative vs. absolute movement, interaction style (direct vs. indirect), and feedback from the environment (continuous vs. discrete). Key design considerations are identified for deploying these interaction techniques in real-world applications. Our analysis aims to inspire and inform the design of future smart phone interaction techniques.
Multimedia Applications Development: Using Indeo Video and Dvi Technology

This official Intel guide to interactive multimedia applications development using DVI technology's powerful capabilities has been completely updated to include the latest technological developments, including the introduction of new Intel hardware that now makes DVI technology economical for virtually any IBM PC-compatible computer. The new edition of this guide examines the entire process behind the construction of a multimedia production, including new implementations with ActionMedia II, Windows, and OS/2. It offers software developers and video producers step-by-step guidance on: selecting the appropriate DVI hardware and software and setting up a multimedia workstation; implementing the system software and tools of multimedia production for graphics and animation, capturing and displaying stills, creating motion video and special effects, adding sound production, and bringing it all together with DVI programming and authoring features; planning the project and estimating human resource and financial budgeting requirements; and preparing the final testing stages and selecting the ideal distribution media. Throughout the book, colour illustrations, charts and graphics demonstrate key concepts and the capabilities of DVI technology.
GPS Positioning with Multipath Detection and Rectification Using 3D Maps

Global Navigation Satellite Systems (GNSSs) suffers from multipath effect in urban canyons. Many approaches have been employed to eliminate multipath signals in order to reduce positioning errors. Among these, ideas that consider surrounding buildings to evaluate possible multipath have gained most interest. However, such approaches, although successful, require many satellites after eliminating multipath signals. This study proposes an approach in which the multipaths themselves are used for positioning error correction. The proposed algorithm evaluates the pseudoranges of the possible multipath signals by referring to the building geometry. The proposed method was verified through field experiments in urban canyons in Tokyo.
Combining video and numeric data in the analysis of sign languages with the ELAN annotation software

This paper describes hardware and software that can be used for the phonetic study of sign languages. The field of sign language phonetics is characterised, and the hardware that is currently in use is described. The paper focuses on the software that was developed to enable the recording of finger and hand movement data, and the additions to the ELAN annotation software that facilitate the further visualisation and analysis of the data.
Eager, Lazy, and Other Executions for Predicative Programming

Many programs are executed according to the conventional, eager execution order, for which verification of execution costs is well-understood. However, there are other execution orders in use. One such order in common use is lazy execution or lazy evaluation, which is mostly demanddriven. Laziness supports better decompositions of algorithms, e.g., into modular producers and consumers, which enables compositional reasoning of answer correctness, but then timing correctness is more elusive. This thesis gives a formal method for verifying lazy timing, compositional with respect to program structure; it is an extension of a predicative programming theory. Predicative programming theories are formal methods that unify both specifications and programs as predicates or boolean-typed expressions over memory state and other quantities of interest. Their strengths are mathematical simplicity and support of program development and verification by incremental refinements. Among these theories, Hehner’s a Practical Theory of Programming has the further strength of leaving termination and timing open rather than a built-in, and therefore is a flexible substrate for various timing schemes corresponding to various execution strategies. We use this substrate for our method for lazy timing. This thesis also proves soundness of the eager timing scheme in Hehner’s work with respect to an eager operational semantics, and our lazy timing scheme with respect to a lazy operational semantics. Thus, if refinements promise an upper time bound, then execution actually stops within that time. Lastly, this thesis outlines a space of more operational semantics. It is possible ground for more execution strategies.