Miracle-dz/UniFAR-FTUs huggingface dataset:
Pragmatic Software Testing: Becoming an Effective and Efficient Test Professional

A hands-on guide to testing techniques that deliver reliable software and systems Testing even a simple system can quickly turn into a potentially infinite task. Faced with tight costs and schedules, testers need to have a toolkit of practical techniques combined with hands-on experience and the right strategies in order to complete a successful project. World-renowned testing expert Rex Black provides you with the proven methods and concepts that test professionals must know. He presents you with the fundamental techniques for testing and clearly shows you how to select and apply successful strategies to test a system with budget and time constraints. Black begins by discussing the goals and tactics of effective and efficient testing. Next, he lays the foundation of his technique for risk-based testing, explaining how to analyze, prioritize, and document risks to the quality of the system using both informal and formal techniques. He then clearly describes how to design, develop, and, ultimately, document various kinds of tests. Because this is a hands-on activity, Black includes realistic, life-sized exercises that illustrate all of the major test techniques with detailed solutions. By the end of this book, you'll know more about the nuts and bolts of testing than most testers learn in an entire career, and you'll be ready to put those ideas into action on your next test project. With the help of real-world examples integrated throughout the chapters, you'll discover how to: * Analyze the risks to system quality * Allocate your testing effort appropriately based on the level of risk * Choose the right testing strategies every time * Design tests based on a system's expected behavior (black box) or internal structure (white box) * Plan and perform integration testing * Explore and attack the system * Focus your hard work to serve the needs of the project The author's companion Web site provides exercises, tips, and techniques that can be used to gain valuable experience and effectively test software and systems. Wiley Technology Publishing Timely. Practical. Reliable. Visit the author's Web site at http://www.rexblackconsulting. com/
The end of ‘strategic compliance’? The impact of performativity on teachers in the English Further Education sector.

Further Education (FE) in England is a sector of education that is ‘fascinating, turbulent, insecure but desperately important’ (Coffield et al 2008, p. 4), which has over three million students. Kennedy (1997, p. 1) described it as what is not school and not university, though even those boundaries are porous. It remains, though, a heterogeneous sector where the majority of vocational training and adult education occurs, as well as academic study between the ages of 16 and 19. Its intake is predominantly working class (Avis, 2009). Keep (2006) described how the former New Labour government (1997-2007) treated FE like ‘the biggest train set in the world’ with their constant initiatives and more than any other sector of English education FE has been subject to control, compulsion and codification from the centre. While the professional standards for Higher Education in England are set out in a four-page booklet, the professional standards for FE amount to forty pages. Since 2001 there have been two acts of parliament directly pertaining to the sector and more than ten government departments or agencies, which were often very short-lived, have had statutory involvement in the sector. Much of the content and even the means of assessment of initial teacher education (ITE) courses for FE is mandatory as is, for example, the requirement for FE teachers to record thirty hours of continuing professional development each year in order to maintain their licence to practise. The implementation of these initiatives has involved a performative system of inspections and targets with which teachers must comply, well beyond even what is expected in schools or universities.
PrismatoidPatNet54: An Accurate ECG Signal Classification Model Using Prismatoid Pattern-Based Learning Architecture

Background and objective: Arrhythmia is a widely seen cardiologic ailment worldwide, and is diagnosed using electrocardiogram (ECG) signals. The ECG signals can be translated manually by human experts, but can also be scheduled to be carried out automatically by some agents. To easily diagnose arrhythmia, an intelligent assistant can be used. Machine learning-based automatic arrhythmia detection models have been proposed to create an intelligent assistant. Materials and Methods: In this work, we have used an ECG dataset. This dataset contains 1000 ECG signals with 17 categories. A new hand-modeled learning network is developed on this dataset, and this model uses a 3D shape (prismatoid) to create textural features. Moreover, a tunable Q wavelet transform with low oscillatory parameters and a statistical feature extractor has been applied to extract features at both low and high levels. The suggested prismatoid pattern and statistical feature extractor create features from 53 sub-bands. A neighborhood component analysis has been used to choose the most discriminative features. Two classifiers, k nearest neighbor (kNN) and support vector machine (SVM), were used to classify the selected top features with 10-fold cross-validation. Results: The calculated best accuracy rate of the proposed model is equal to 97.30% using the SVM classifier. Conclusion: The computed results clearly indicate the success of the proposed prismatoid pattern-based model.
Eco-Friendly, Self-Healing Hydrogels for Adhesive and Elastic Strain Sensors, Circuit Repairing, and Flexible Electronic Devices

Intelligent skinlike materials have recently attracted tremendous research interests for employing in electronic skin, soft robotics, and wearable devices. Because the traditional soft matters are restricted in unsatisfactory mechanical performances or short-term usage, these materials are adverse to practical applications. Here, intriguing conductive hydrogel materials with multifunctionality (MFHs) are fabricated by using poly(acrylic acid) (PAA), dopamine-functionalized hyaluronic acid (DHA), and Fe3+ as ionic cross-linker. The mussel-inspired networks with delicate combination of physical and chemical cross-linking possess synergistic features of inherent viscoelasticity, high stretchability (800%), and durable self-adhesiveness to various substrates. Owing to the abundant hydrogen bonds and multiple metal coordination interactions between Fe3+, catechol, and carboxylic groups, the matrix reveals repeatable thermoplasticity and autonomous self-healing property both mechanically and electrically (98% r.
The efficiency of Zoledronic acid loaded liposomal nanoparticles on breast cancer: an in vitro study.

Breast cancer as the most common cancer among women annually causes one million new cases in the world. Chemotherapy is considered to be one of the main treatments for the disease. Zoledronic acid (Zol) is a bisphosphonate agent used in the treatment of osteoporosis. However, many studies have recently shown the anticancer potency of the drug. We here encapsulated Zol in liposome nanoparticles (NPs) and evaluated its efficacy on mouse breast cancer cell line 4T1. The size, size distribution and zeta potential of the drug loaded NPs were 157 nm, 0.285 and -43 mV, respectively. Zol entrapment efficiency was also calculated and was found to be 9%. Cytotoxicity evaluation indicated the superior anticancer activity of nanodrug compare to standard drug by 2.5 folds enhancement. Finally, the results of study suggested in vivo evaluation of formulation.
THE ANALYSIS OF THE PSYCHOLOGICAL HEALTH STATUS OF SENIOR CITIZENS FROM NURSING HOMES IN LUOYANG, A THIRD LINE CITY OF CHINA

Objective: This study aims to investigate the psychological status of old pensioners who live in aged care facilities in Luoyang; and meanwhile, analyzing factors related those older adults. Methods: Totally 250 older people from 10 nursing homes in the urban area of Luoyang were investigated by random sampling method. A questionnaire-based survey with Self-rating Anxiety Scale (SAS) and Self-rating Depression Scale (SDS) was conducted to elderly participants. We also conducted the structured interview for some residents. Results: The age ， monthly income ， the number of chronic diseases that they suffered from and self-care ability were influential factors of SAS score in elderly participants. The age the number of chronic diseases that they suffered from and self-care ability were influential factors of SDS score in the elderly participants. Conclusion: The psychological health status of the elderly is closely related to their age ， number of chronic disease that they suffered from and self-care ability ． other hand, these institutions urgently need to find suitable strategies to guarantee the pleasant later life of older citizens. This study focuses on the local senior residents from the aged care institutions in Luoyang, a third line city of China. We take ways of face-to-face interviews and questionnaires to know about their psychological health status. The paper analyzes the related factors of affecting the older generation under the social institution pension mode; and meanwhile, put forward the relevant recommendations for the current care models.
Bacterial Cold Shock Proteins - the Molecular Chaperones for Multiple Stress Tolerance

Bacteria encounter different changing environments but resist the environmental changes by developing an array of mechanisms which protect them from adverse conditions. During cold conditions, fluidity of cell membranes decreases, and this results in lowering of active transport and protein secretion [1]. Further, all the molecular mechanisms gets impaired due to stabilization of secondary structures of DNA, RNA, and proteins [2]. RNA binding proteins (RNA chaperones) are ubiquitous and found in all living organisms and help to resolve the misfolded RNA structures under abiotic stress conditions. During rapid drop in temperatures, cold-induced proteins (Cips) are produced to protect the cells. With an increase in the cold conditions, the production of Cips also increases [3]. Different types of Cips like cold shock protein (Csp) family, RNA helicase csdA, exoribonucleases, PNPase and RNaseR, initiation factors 2a and 2b, NusA, and RecA [4-7] have been identified in Escherichia coli (E. coli). The Csps are one of the major Cips produced under cold conditions mainly in bacteria [4,8].
THIS - Transport Hub Intelligent video System Program/Call Reference, Strategic Priority, Grant Agreement Number, Project Type JLS/2009/CFP/CIPS "Prevention, Preparedness, and Consequence Management of Terrorism and other Security Related Risks"

A “transport hub” (or simply a “hub”, referring to an “transport hub”, a port or a railway station having all of them more or less the same characteristics of passengers in movements and baggage), is a busy public place and therefore very attractive for terrorists. The threats, conventional and unconventional, against which a “hub” needs to be defended are diverse but mainly consist of acts of terrorism against transport means, passengers, crew, and “hub” infrastructure. An integrated “hub” security system is a multi-segment and multi-level intelligence and surveillance system, aims to create an entire “transport hub” security monitoring solution. The project “THIS” is a singlesegment/level (passengers and air-crew as terrorist operatives -both witting and unwitting involvement -, “transport hub” personnel, visitors, suppliers etc. including people access and boarding control) of such overall system, able to provide real-time accurate behavioural analysis of people in “transport hub” specific areas from day and night video sensors. THIS objectives are: i) Field video data collection from video sensors in the “transport hub” areas; ii) the collected video data will then be fused and analyzed to identify suspect individuals; iii) THIS will make these resources available to console operators through the use of web-portals. There are two types o
Stability Analysis of Nonlinear Attitude Determination and Control Systems

This report describes the modelling and performance of an attitude determination and control system (ADCS) for a small satellite in lunar orbit. The focus is on stability analyses of each of the components in the system, and of the system as a whole. In connection to this, the separation principle for nonlinear systems is investigated. Central background information is presented, covering necessary rigid body dynamics and stability properties. Three different controller types are analysed and compared herein, namely a model-dependent linearizing controller, a robust controller and a standard PD-controller. An observer is chosen based on earlier work, but some detail modifications are made to its structure. A state-space model of the satellite and environment is derived and implemented in Matlab, along with the observer and controllers. The observer and all three controllers are shown to be stable with Lyapunov analysis. The total ADCS including the observer is shown to have a cascaded structure, on which theory of nonlinear separation principles is used to establish stability properties of the total system. Finally, the ADCS is put to simulation tests imitating real-life scenarios and the performance of the different controllers are compared. The PD-controller shows the best performance, both in speed of convergence and robustness to model errors. While not completely satisfactory, the results give a basis on which to perform further work.
Identification of Small Unmanned Flying Objects

Detecting obstacles during the flight and avoiding them is desirable in the case of unmanned aerial vehicles intended for observation of a residential area, refers especially to lightweight micro-aviation vehicles of multi-rotor type, and is also a serious problem because their load capacity is limited, therefore only electronic sensors can be connected to the object. Usually the sensors built into the system are either based on a type vision (monocular or stereo camera) or on a laser camera. However, each of the sensors has its advantages and disadvantages, which is why the article presents the concept of a system for collecting data characterizing the flight of a UAV object and including them in the object identification process. The main purpose of this work is to perform selected studies (analysis, mathematical model, simulations) in the field of identification of small unmanned flying objects. A dynamic model describing UAV motion was developed, which took into account flight parameters using various identification methods. The structure of this work is contained in four chapters, in which, among others, the second chapter deals with the review of existing identification systems for small UAV objects, based on an analysis of the literature on the subject of research. The third chapter covers the issues related to aerodynamics and mechanics of small UAV objects and concerns linear longitudinal equations of UAVs based on Newton's second law. This chapter also describes the algorithm used for dynamic description along with incorrect filtering of "on-line" learning patterns and characterizes the least squares recursive method used for the simulation. Based on the analysis, mathematical models created, simulations performed and the results obtained based on them, practical conclusions presented in the final part of the article were formulated.
Performance Evaluation of Artificial Intelligence Systems

Abstract : The major premise is that the DoD is moving towards the large-scale use of Artificial Intelligence Systems (AISs) as tools for supporting decision making and information analysis in military domains. It becomes increasingly important, therefore, that we develop mechanisms both for assessing the impact that these systems have upon the ability of the individual decision makers and analysts to carry out their assignments, and for assessing the organizational impact that this would have. This is what we choose to call the problem of Performance Evaluation. This report describes the development of a methodology for performance evaluation. This approach provides for both multiple perspectives on the problem and multiple evaluation techniques. The central idea in our methodology is that of an evaluation frame. This is the main organizational element in this representation of performance knowledge. To validate the methodology, a number of example evaluations are performed of expert systems building tools and decision aids, also using the results to help us the define a prototype evaluation environment. The evaluations and the design are reported in full. This proposed methodology has a high likelihood of success.
NEONATAL AND FETAL EFFECTS OF ANTITHYROID PEROXIDASE POSITIVITY IN HYPOTHYROIDISM IN PREGNANCY - A HOSPITAL-BASED PROSPECTIVE ANALYTICAL STUDY

Tuhina Gupta1, Poonam Mani2, Abha Gupta3, Lalita Yadav4 From 1Junior Resident, 2Professor, 3Senior Resident, 4Assistant Professor, Department of Obstetrics and Gynaecology, Neta Ji Subhash Chandra Bose Subharti Medical College and Associated Chhatrapati Shivaji Subharti Hospital, Meerut, Uttar Pradesh, India Correspondence to: Dr. Tuhina Gupta, 730, Udyan 1, Eldeco Colony, Lucknow, Uttar Pradesh, India. E-mail: tuhinaemail@gmail.com Received 18 January 2019 Initial Review 10 February 2019 Accepted 18 February 2019
Pacific Northwest GridWise™ Testbed Demonstration Projects; Part II. Grid Friendly™ Appliance Project

Fifty residential electric water heaters and 150 new residential clothes dryers were modified to respond to signals received from underfrequency, load-shedding appliance controllers. Each controller monitored the power-grid voltage signal and requested that electrical load be shed by its appliance whenever electric power-grid frequency fell below 59.95 Hz. The controllers and their appliances were installed and monitored for more than a year at residential sites at three locations in Washington and Oregon. The controllers and their appliances responded reliably to each shallow underfrequency event—an average of one event per day—and shed their loads for the durations of these events. Appliance owners reported that the appliance responses were unnoticed and caused little or no inconvenience for the homes’ occupants.
Carrier Frequency Offset Estimation in MIMO-OFDM Systems

Orthogonal frequency division multiplexing (OFDM) is a popular method for high data rate wireless transmission. The performance of OFDM system is very sensitive to carrier frequency Offset (CFO), which introduces inter-carrier interference(ICI). Multi-input multi-output system used for increasing diversity gain and capacity of the system. Alamouti space time block code is used for MIMO transmission scheme. The basic method is used for Carrier Frequency Offset Estimation in OFDM system. In cyclic prefix (CP) based estimation, the CFO can be found from the phase angle of the product of the CP and corresponding rear part of the OFDM symbol. In CFO estimation using a training symbol, the CFO estimation range can be increased by reducing the distance between two blocks of samples for correlation. This was made possible by using training symbol that is repetitive with shorter period. An analytic expression in the form of mean square error (MSE) of frequency offset synchronization is reported, and simulation results verify theoretical analysis. Block-by-block CFO estimation is used in MIMO-OFDM system. In this algorithm we use block delay with other block and compare with the delay block. Analysis of the optimal size of block and minimization of the MSE of frequency estimator. We use S observation symbols they are grouped into two consecutive blocks with length A and S-A. The observation symbol, in each block is added sequentially and summed results are correlated block-wise.
Modification of the geometry curriculum in relation to the curriculum reform in the light of the Van Hiele levels

In this paper the level of geometry education in mathematics education in Hungary is investigated. The relationship between the National Core Curriculum, the Framework Curriculum and the final exam is analyzed from the geometry point of view via the Van Hiele levels as a tool for comparison. It is observed that the geometry problems on the final exams do not follow the level prescribed by the National Core Curriculum. We compare these observations with the results of the Usiskin-test of first year preservice math teacher students.
The Wabana iron ore miners of Bell Island, Conception Bay, Newfoundland : their occupational folklife and oral folk history

Iron ore was mined at Wabana, Conception Bay, Newfoundland for seventy-three years. The economic impact of this industry was felt as far away as Sydney, Nova Scotia, which became a major steel producer because of it, and the economies of both Newfoundland and Nova Scotia were enhanced generally due to it. The nearby communities in Conception Bay were most affected in Newfoundland for the majority of the miners were drawn from them. This thesis documents the occupational folklife and oral folk history of the miners and, in doing so, attempts to fill a void in Canadian folklore studies. -- The bulk of the data used in this work was collected in tape recorded interviews with seven former miners and four miners' wives, and is augmented by material from student papers in the Memorial University of Newfoundland Folklore and Language Archive. -- This study focuses on three basic aspects of the miner's life: personal life history, occupational folklife, and occupational narrative. The life history is given of each of the seven primary informants; the objective being the emergence of characteristics of a typical miner's life. While each informant had certain factors which were unique to his life, the occupational folklife of the miners tended to be of a universal nature. Most miners followed the same route career-wise, experiencing the same work routines. Hours of work, method of payment, foodways, clothing and equipment were common to all. The occupational narratives presented are generally of two kinds: those that are personal and those that are told about other miners. The personal narratives are often illustrative of the dangers involved In mining, while the non-personal narratives tend to be of humorous incidents. -- The narratives presented in the conclusion concern the final years of the mining operation and take on the form of protest lore by focusing on problems prior to the close-down. A brief overview of life on the Island since DOSCO pulled out in 1966 and suggestions for further research are presented.
Collaborating in response to COVID-19: editorial and methods initiatives across Cochrane

With the emergence of the COVID-19 pandemic, health decision-makers needed trustworthy evidence to help answer many questions, and they needed it quickly. During 2020, the Cochrane community worked with partners to find ways to respond to this situation and meet the needs of evidence users. This Supplement to the Cochrane Database of Systematic Reviews collects initiatives involving Cochrane groups, in the form of short reports. The Full Text of this article is available as a PDF.
漫漫取经路——戏说Visual Studio Team System

一部“Visual Studio Team System”版本的《西游记》，我们可以把团队中的各个角色分别对号入座：把唐僧看作项目经理，而孙悟空则是软件架构师，猪八戒则喻指为开发人员，沙僧则是称职的测试人员，软件开发的道路上，奔走着西天取经的“师父”与“徒弟”。