Miracle-dz/UniFAR-FTUs huggingface dataset:
Quadcopter System Modeling and Autopilot Synthesis

The developments in applied mathematics and computational capabilities facilitate the design and implementation of control. In addition, huge developments in nanotechnology and its availability attract many of the researchers towards embedded systems especially the embedded flight control. Among the real applications are the unmanned air vehicles (UAV), which is the state of art in the last few years especially the four rotors vertical take-off and landing (VTOL) aircraft known as the quadcopter, due to their maneuverability, ease of design and control. Although it remains a complete nonlinear system, this paper manipulate with mathematical representation of the quadcopter and modelling of the intended system. A linearization of the obtained mathematical model has been achieved via algebraic manipulation, the next objective for this paper is the autopilot design using with justification against previous work concerning the performance requirements of time responses and flight path characteristics. So a PID controller has been designed. Also, a FUZZY logic controller has been established, the evaluation of the obtained controllers and the original one with the nonlinear system has been achieved. The evaluation results reveals that the designed PID controller has the best performance and less control effort compared to the original and designed fuzzy controller.
Data in the cloud: authentication without leaking

Third party data distribution frameworks such as the cloud are increasingly being employed in order to store, process, and publish sensitive information such as healthcare and finance information, belonging to individuals and enterprises. Such data objects are often organized as trees, graphs or even forests (e.g., XML). In third party frameworks, not only authentication of data is important but also protection of privacy and assurance of confidentiality are important. Moreover, data authenticity must be assured even when the data object that a user has access to consists of subset(s) of the signed data. Existing solutions such as Merkle hash technique and the redactable signature schemes lead to leakages of structural information, which can be used to infer sensitive information, which in turn would lead to privacy and confidentiality breaches. So the question is: can we authenticate subset(s) of signed data objects without leaking, and if so, how efficiently such authentication can be carried out? We have reported a positive result by presenting efficient and provably secure solutions not only for trees, but also graphs and forests. We have presented a scheme that computes only one signature per tree, graph or forest. Our schemes support encrypted data to be stored at third-party services. Our schemes can also be used to automatically recover from structural errors in tree-structured data, and for leakage-free authentication of paths (e.g., XPaths). Further, as the applications of our schemes, we have also developed a publish/subscribe model for XML – Structure-based routing, and a scheme for authentication of objects.
Effectiveness of using structured aids in learning number concepts for middle primary school children

This study set out to evaluate the effectiveness of using Blockaid material for the teaching and learning of number concepts and of operations in middle primary school. Blockaid is base 10 material designed to model number in multiple representations. The different representations facilitate the modelling of procedures which follow the same steps of the formal algorithms of addition, subtraction, multiplication and division. The hypothesis is that the external connections formed through the manipulation of structured materials aids the construction of internal cognitive networks by the learner in the building of conceptual knowledge. Knowledge formed in this way is rich in relationships and leads to better understanding of number and operational concepts. While the results of the study indicate that the procedures with Blockaid improved performance only with subtraction, more than the traditional direct instruction approach, the implications are that with improved modelling better procedures can be devised using structured materials to improve teaching and learning of all operations. Ongoing research is needed the evaluate the benefits of using of multi-representational materials, rather than single unit structures, to represent the base 10 number system. Further research should focus on establishing better procedures for modelling the operations of multiplication and division. These operations seem to involve higher levels of processing load than addition or subtraction.
Strengths and Vulnerabilities of Cloud Computing in Mauritius

This research paper is based on the Strengths and vulnerabilities of cloud computing in Mauritius and abroad. In this research paper, a holistic view was taken on some security concern in cloud computing spanning across the possible issues and vulnerabilities connected to different infrastructures and software platforms. It will give an insight of the aspect of securities of cloud computing on data protection, confidentiality, vendor lock-in and data portability and evaluate the security systems implemented within cloud service models like Software as a Service, Platform as a Service, Infrastructure as a Service and Network as a Service. This paper will help you to identify the areas where organisations should focus before choosing an appropriate Cloud Service Provider (CSP) prior to moving to clouds.
Information Skills Survey: Its Application to a Medical Course

Objective - To test if the Information Skills Survey(Catts Information Skills Survey for Assessment of Information Literacy in Higher Education) is suitable for the purpose of investigating the information literacy levels of a group of students in medicine. If not, the study was designed to determine the modifications that are necessary to make the Information Skills Survey a reliable instrument for investigating the information literacy levels of a group of students in medicine. Method - Administration of the Information Skills Survey to two groups of medical students. To confirm the validity of the results, follow up questions and interviews were also conducted. Statistical analysis was carried out to determine the internal consistency of the questions in relation to the Information Literacy Standards and also to determine the statistical significance of the results. Results - The two groups of students reported similar results for a number of the tested skills. However, several areas of difference were also identified. The main areas of difference between the two groups were the questions that can be interpreted as being related to clinical practice. This was also emphasised in the interviews. Conclusions - The Information Skills Survey is a useful tool to investigate the information literacy skills of groups of medical students who are in their early years of study. Further research needs to be done to develop valid questions for medical students in the clinical years. This would reflect the different information resources that are used in clinical practice.
Non-Binary Error Control Coding for Wireless Communication and Data Storage

Comprehensive introduction to non-binary error-correction coding techniques Non-Binary Error Control Coding for Wireless Communication and Data Storage explores non-binary coding schemes that have been developed to provide an alternative to the Reed Solomon codes, which are expected to become unsuitable for use in future data storage and communication devices as the demand for higher data rates increases. This book will look at the other significant non-binary coding schemes, including non-binary block and ring trellis-coded modulation (TCM) codes that perform well in fading conditions without any expansion in bandwidth use, and algebraic-geometric codes which are an extension of Reed-Solomon codes but with better parameters. Key Features: Comprehensive and self-contained reference to non-binary error control coding starting from binary codes and progressing up to the latest non-binary codes Explains the design and construction of good non-binary codes with descriptions of efficient non-binary decoding algorithms with applications for wireless communication and high-density data storage Discusses the application to specific cellular and wireless channels, and also magnetic storage channels that model the reading of data from the magnetic disc of a hard drive. Includes detailed worked examples for each coding scheme to supplement the concepts described in this book Focuses on the encoding, decoding and performance of both block and convolutional non-binary codes, and covers the Ktter-Vardy algorithm and Non-binary LDPC codes This book will be an excellent reference for researchers in the wireless communication and data storage communities, as well as development/research engineers in telecoms and storage companies. Postgraduate students in these fields will also find this book of interest.
SOCIAL WORK INTERVENTION PREVENTION AND CONTROL OF HIV / AIDS IN THE INDIAN CONTEXT

Two decades since its inception, the Acquired Immuno-deficiency Syndrome (AIDS) is well accepted to be one of the biggest challenges to the medical profession. No doubt that ongoing research has added to its understanding but a cure is no way in sight. There have been some achievements mostly in the use of combination drug therapies but these have meant nothing more than better management of the disease and hence delaying the onset of the syndrome. As is well known, AIDS is not a disease. It is a set of symptoms, that result from the breakdown of the body’s defenses by the human immuno-deficiency virus or the HIV. The Center for Disease Control (CDC, United States of America) defines AIDS in an adult or adolescent, aged 13 years or older, as the presence of one of 32 conditions indicative of severe immuno-suppression associated with HIV infection. In children younger than 13 years, the definition of AIDS is similar to that in adolescents and adults except for one feature. The lymphoid interstitial pneumonitis and recurrent bacterial infections are included in the list of AIDS-defining conditions (see NIAID Fact Sheet). AIDS marks the end stage of a continuous, progressive pathogenic process. In early stages, the virus enters the human body and silently encroaches the boundaries of the immune system: This period is also called the 'window' period. It is of as short a duration as two weeks and may extend upto two months. It then leads the body progressively to more severe symptoms: profound immuno-deficiency, opportunistic infections, cancers and eventually death.
First-Level Hypergame for Investigating Misperception in Conflicts

A new technique is introduced to model misperception by participating decision makers (DMs) in a conflict having two or more DMs within the framework of the graph model for conflict resolution. This comprehensive approach enables one to model a conflict situation involving misperception: held by and about the focal DM and its opponents. To achieve this, DMs’ options in a conflict situation are classified based on different kinds of misperception that can alter the choices of the focal DM and/or the other DMs. Furthermore, the combination of DMs’ options can generate the universal set of options for the entire conflict, which can then be used to construct the universal set of states. This novel design can differentiate between the states that are recognized by all DMs and those that are recognized individually. Furthermore, eight sets of equilibria are formally defined within the construction of the first-level hypergame in graph form to provide strategic insights into the conflict and reflect the effect of DMs’ misperceptions on the equilibria of the dispute.
Secondary School Mathematics Teachers' Knowledge Levels and Use of History of Mathematics.

This study aimed to explore secondary school mathematics teachers’ use of history of mathematics in their classes and their knowledge levels in this field. The population of the study comprised 58 secondary school mathematics teachers working at Yozgat city center, and the sample included 32 mathematics teachers from 10 schools who volunteered to take place in the study. These mathematics teachers were administrated an 11-item short-answer history of mathematics knowledge level test along with a 5-item written opinion form to identify their history of mathematics use. The findings showed that most teachers did not use history of mathematics in their classes, yet those who used history of mathematics did so by mentioning the life stories of mathematicians and the contributions of ancient civilizations to mathematics to motivate students at the beginning of their classes. The mean score of teachers who participate in this study at the history of mathematics knowledge test was computed 3.5 indicating that their knowledge levels concerning the history of mathematics were low. Additionally, it was found that those who did not use history of mathematics in their classes scored lower in the history of mathematics knowledge test than those who used it in their classes.
Principles of Medical Pharmacology

I: GENERAL PRINCIPLES Introduction to General Pharmacology Drug solubility, absorption, and movement across body membranes Drug distribution Drug biotransformation Pharmacokinetics Clearance, the quantitative basis of drug dosage Drug clearance by specific organs Dose-response relationships Drug receptors Specificity of drug action Drug interactions Human pharmacogenetics. II: AUTONOMIC NERVOUS SYSTEM AND NEUROMUSCULAR JUNCTION Autonomic nervous system neurotransmitters Autonomic cholinergic agonists autonomic cholinergic antagonists Adrenoceptor agonists Adrenoceptor antagonists Drugs acting on adrenergic neurons (adrenergic neuronal blocking drugs) Neuromuscular transmission and drugs (muscle relaxants). III: CENTRAL NERVOUS SYSTEM Drugs acting on the basal ganglia Neuron-inhibitory amino acids anti-seizure drugs (anticonvulsants) Opioid analgesics and antagonists General anaesthetics Local anaesthetics The alcohols Anxiolytics, hypnotics and sedatives Neuroleptics (antipsychotics) Antidepressants and lithium Hallucinogens and psychotometics. IV: AUTACOIDS AND MEDIATORS/MODIFIERS OF TISSUE RESPONSES Autacoids Histamine and antihistamines Anti-inflammatory analgesics. V: CARDIOVASCULAR SYSTEM Digitalis glycosides Antiarrhythmic drugs Vasodilators, antianginal drugs, calcium channel blockers, and agents to prevent hyperlipidemia Pharmacotherapy of hypertension. VI: RESPIRATORY, RENAL AND BLOOD SYSTEMS Drugs and the respiratory system Diuretics Drugs affecting hemostasis Hematinic drugs. VII: ENDOCRINE SYSTEMS Vasopressin and Oxytocin Thyroid drugs Gonadal hormones Insulin and oral hypoglycemic agents Adrenocorticotropic hormone and adrenal steroids Drugs altering bone metabolism Vitamins. VII: GASTROINTESTINAL SYSTEM Pharmacotherapy of gastrointestinal acid-peptic disorders Laxatives and antidiarrheal drugs. IX: CHEMOTHERAPY General principles of antimicrobial therapy Antimicrobial agents which act upon bacterial cell wall formation: penicillins, cephalosporins, vancomycin, bacitracin, cycolserine Antimicrobial and antifungal agents which act upon cell membranes: polymixins, colistin, nystatin, amphotericin B Antimicrobial agents which affect synthesis of cellular proteins: aminoglycosides, spectinomycin, tetracyclines, chloramphenicol, erythromycin Drugs affecting cellular nucleic acid synthesis: rifampin, nalidixic acid, griseofulvin, 5-fluorocytosine, isoniazid, ethambutol, sulfonamides, para-aminosalicylic acid, trimethoprim, pyrimethamine Chemotherapy of common parasitic infections Antiviral agents Antiseptics, disinfection and sterilization Antineoplastic drugs Immunopharmacology. X: SPECIAL TOPICS Drugs, alcohol and the liver Carcinogenesis and mutagenesis by xenobiotic chemicals Chemical teratogenesis Adverse drug reactions Behavioural pharmacology Drug dependence and drug abuse
Water waves generated by underwater landslides

Water waves generated by underwater landslides threaten coastal communities near heads of fjords, near heads of underwater canyons, near river deltas, and on volcanic islands. This work provides a thorough analysis of water waves generated by two-dimensional underwater landslides using experimental, theoretical, and computational means. Water wave amplitudes generated by an underwater landslide are a function of the landslide length, the initial landslide submergence, the incline angle measured from horizontal, the characteristic distance of landslide motion, the characteristic duration of landslide motion, and the landslide rate of deformation. Nondimensional wavemaker curves constructed from the aforementioned parameters allow water wave amplitudes to be predicted. These wavemaker curves apply broadly to water waves generated by unsteady motion of a submerged object provided the motion is governed by only one characteristic distance scale and one characteristic time scale. Water wave amplitude predictions can be used for hazard mitigation studies. An analytical solution of underwater landslide center of mass position in time provides the characteristic distance and time scales of landslide motion. Two-dimensional experimental results on a 45 degree incline confirm the existence of wavemaker curves for solid block landslides as a function of nondimensional geometrical quantities and what is called the Hammack number. The Hammack number is the correct nondimensional time for water wave generation problems. Water wave amplitudes generated by solid block landslides can be predicted from the wavemaker curves if the center of mass motion is known. The analytical solution reproduces the center of mass motion of solid block and granular material landslides. Experimental results of granular material landslides on a 45 degree incline show that landslide deformation reduces water wave amplitudes. Therefore, water waves generated by solid block landslides provide an upper bound on water waves generated by geometrically and kinematically similar deforming landslides. A criterion for the generation of linear water waves is given along with criteria for deep (or long) wave propagation down a constant depth channel. Simulations of water waves generated by underwater landslides were conducted with an inviscid fluid dynamics code. The waves simulated by the code agree reasonably well with experimental results.
OO and EER Conceptual Schemas: A Comparison of User Comprehension

A database conceptual schema serves as a communication medium between professional analysts/designers and users who wish to comprehend and validate the conceptual schema. The conceptual schema is usually presented in a diagrammatic form that follows a specific semantic data model. The extended entity-relationship (EER) model is one of the most commonly used models, but being â€œthreatenedâ€ by the objectoriented (OO) approach, which penetrates into the areas of systems analysis and design, as well as data modeling. The issue of which of the two data models is better for modeling reality and is easier to comprehend is still an open question. Our response to this question was to conduct a controlled experiment in which two groups of users, each trained to use one of the models, were tested for the comprehension of equivalent schema diagrams. Comprehension was measured by the number of correct answers to questions that addressed different constructs of the models. The results of the experiment reveal that there is no significant difference in comprehension of facts dealing with attributes of entities or objects, binary-relationships and two relationships, but those dealing with ternary-relationships are significantly easier to comprehend with the EER model. Comprehension of other, unclassified facts, however, is easier with the OO model. We propose a special symbol for objects representing ternary and higher order relationships in order to overcome the weakness of OO diagrams.
Speech Acts Analysis of dr. Peter Senge’s Interview in the Fowler Center’s Roberta Baskin about the Future of Education

This research is concerned with speech act produced by dr. Peter Senge as the speaker and Roberta Baskin as the host in a program of talk show. The objective of the study to analyze and describe the types of speech act, to classify the locution, illocutionary, and perlocutionary speech acts, to analyze the most dominant speech act produced in the interview and to describe the reasons or purposes of the use of the speech acts. The study adopts qualitative and quantitative research. In analyzing the data, it uses speech act theory by Austin and Searle and transitivity analysis of SFL by M.A.K. Halliday specifically to identify the circumstance of reason and purposes. The results of this study shows that the types of speech acts used are directives, representatives, commissives, and representatives. The dominant utterance used is representative utterances 41%. It means that this interview represents a situation or condition which can be assumed as truth or falsity. Locution is also dominant in this interview by 75%. Then, the reason and purpose of Peter Senge’s that should be different from the past and it starts to learn in the concrete one. Keywords— SFL; speech act; speech act analysis
Reconstructing Transparent Objects by Refractive Light-Path Triangulation

Reconstructing Transparent Objects by Refractive Light-Path Triangulation Eron Steger Master of Science Graduate Department of Computer Science University of Toronto 2006 This thesis presents a method for reconstructing the shape of specular, transparent objects from multiple viewpoints. This method works on scenes where light refracts through the object twice, entering and exiting the object’s surface. Scenes are reconstructed by determining the 3D path light takes through each pixel on a camera’s image plane. Triangulating this light path is accomplished by finding the one that is consistent with known light rays from multiple viewpoints of the scene, determined using an environmentmatting based approach. It is shown that this method requires at least three viewpoints to triangulate light paths in general, four if the index of refraction is unknown. Also, shapes and camera configurations for which light-path triangulation fails regardless of the number of viewpoints are explored. Results of our method applied to several glass objects are analyzed.
Verification of properties of human-computer dialogues with an infinite number of states

One of the advantages of using formal methods in human-computer interfaces is the possibility to reason about user interface properties. Model checking techniques provide a useful support for this purpose. This paper discusses the problem of verifying the properties of user interfaces when the dialogue specification has an infinite number of states. Recent techniques allow designers to get some results even in this particular case and we discuss when such results are useful for verifying the user interface properties.