Miracle-dz/UniFAR-FTUs huggingface dataset:
Lessons Learned in Software Testing

From the Publisher: Great software testing teams arent born, theyre madethrough a lot of hard work and persuasive communication. Along the way, there is an abundance of traps that one can fall into, which can derail the best-laid plans and put your projects behind schedule. Cem Kaner, James Bach, and Bret Pettichord know this all too well. Between them, they have over fifty years of testing experience, and know what it takes for successful testing. In this groundbreaking new book, they have compiled 293 pieces of experience-tested advice for you to put to work in your testing projects. They reveal insights on how to do the job well, how to manage it, and how to steer clear of common misunderstandings in software testing. Each lesson is an assertion related to software testing, followed by an explanation or example that shows you the how, when, and why of the testing lesson. The ultimate resource for software testers, developers, and managers at every level of expertise, this guidebook also features: Useful practices and helpful ways of evaluating situations gleaned from over fifty years of combined testing experience from the worlds leading software testing experts Lessons for all key topic areas including test design, test automation, test management, testing strategies, and bug reporting Advice on how to match the selection of practices to the circumstances of your project Wiley Computer Publishing Timely. Practical. Reliable. Author Biography: CEM KANER, JD, PhD, is a professor of computer sciences at Florida Institute of Technology. He also consults on technical and management issues, and practices law within the software development community. He is the lead author of two books, Testing Computer Software and Bad Software (both from Wiley). JAMES BACH is founder and principal consultant of Satisfice, Inc., a software testing and quality assurance company. His experience with competitive software development in leading Silicon Valley companies, such as Apple and Borland, led him to specialize in such aspects of the craft as "good enough" quality, risk-based testing, exploratory testing, and other techniques that require skill and judgment. He has also served as Chief Scientist at Software Testing Labs. BRET PETTICHORD works as an independent consultant and edits the popular Software Testing Hotlist. A frequent speaker and writer, he is also the founder of the Austin Workshop on Test Automation.
Reformer tubes: Not a commodity

At the heart of the primary reformer are centrifugally cast alloy steel tubes. These tubes experience the extreme conditions required for steam methane reforming and thus require high quality to achieve their expected design life. The tube designs need to balance heat transfer rates, optimize catalyst volumes and minimize thermal stresses, while not compromising the tube life expectancy. Centrifugally cast heat resistant alloys have proven themselves as the ideal material for this service.
Influencing factors of AF detection in cryptogenic stroke: A survey among neurologists in China

Background and Purpose— Atrial fibrillation (AF) detection is a cornerstone of cardioembolic stroke prevention and is especially recommended in patients initially diagnosed cryptogenic stroke, but few data exist about the extent of AF detection. This study aimed to investigate influencing factors of AF detection for cryptogenic stroke patients from neurologists’ perspective. Methods— A questionnaire survey was conducted from October 2016 to March 2018 and included neurologists from 42 hospitals in China. Respondents’ demographic characteristics, AF-related knowledge and education, attitude to AF detection and daily AF detection practice were surveyed. Pearson chi-square tests and logistic regression were used to identify neurologists characteristics independently associated with AF detection. Results— 611 neurologists were surveyed in this study and 53.0% reported always detecting AF among cryptogenic stroke patients. The main obstacles of AF detection were insufficient knowledge, high expense and inactive attitude. Those who received continuing medical education (training program) about AF detection (OR=2.25, CI[1.57, 3.23], p<0.001), who had positive attitude (OR=3.25,CI [2.24, 4.71], p<0.001) and who acquired graduate degree (OR=2.48, CI[1.21, 5.07], p=0.013) were more likely to detect AF in cryptogenic stroke patients. Neurologists who had worked in neurology over 20 years (OR=3.59, CI[1.61, 8.05], p=0.002), and who received continuing medical education (OR=1.82, CI[1.21, 2.58], p=0.001) were more likely to have an positive attitude to AF detection. Conclusions— Our survey suggested inadequate AF detection among neurologists, and continuing medical education was associated with neurologists’ attitude and AF detection behavior. More continuing medical education is required to increase the effective detection of AF and improve the quality of clinical practice.
Intelligent joint channel parameter estimation techniques for mobile wireless positioning applications

Mobile wireless positioning has recently received great attention. For mobile wireless communication networks, an inherently suitable approach is to obtain the parameters that are used for positioning estimates from the radio signal measurements between a mobile device and one or more fixed base stations. However, obtaining accurate estimates of these location-dependent channel parameters is a challenging task. The focus of this thesis is on the estimation of these channel parameters for mobile wireless positioning applications. In particular, we investigate novel estimators that jointly estimate more than one type of channel parameters. We first perform a comprehensive critical review on the most recent and popular joint channel parameter estimation techniques. Secondly, we improve a state-of-the-art technique, namely the Space Alternating Generalised Expectation maximisation (SAGE) algorithm by employing adaptive interference cancellation to improve the estimation accuracy of weaker paths. Thirdly, a novel intelligent channel parameter estimation technique using Evolution Strategy (ES) is proposed to overcome the drawbacks of the existing iterative maximum likelihood methods. Furthermore, given that in reality it is difficult to obtain the number of multipath in advance, we propose a two tier Hierarchically Organised ES to jointly estimate the number of multipath as well as the channel parameters. Finally, we extend the proposed ES method to further estimate the Doppler shift in mobile environments. Our proposed intelligent joint channel estimation techniques are shown to exhibit excellent performance even with low Signal to Noise Ratio (SNR) channel conditions as well as robust against uncertainties in initialisations.
DASAR E-PEMBELAJARAN NEGARA (DePAN), MOOC dan PERANAN PTM

DePAN digubal untuk menyediakan satu kerangka dan hala tuju e-pembelajaran untuk jangka masa lima (5) tahun bermula 2011 – 2015 di semua IPT. Pada 1 Mei 2014 UKM telah menubuhkan Pusat Pengajaran & Teknologi Pembelajaran (PPTP) yang khusus untuk menyokong DePAN dan MOOC. Pusat Teknologi Maklumat UKM pula telah menyediakan sumber manusia yang khusus untuk menyokong pembangunan kandungan MOOC dan bersedia untuk melaksanakan dan memberi bantuan yang sewajarnya kepada PPTP.
Good Without God? Connecting Religiosity, Affiliation And Pro-sociality Using World Values Survey Data And Agent-based Simulation

We investigate the relationships among individuals' religiosity (or secularity), affiliation with like-minded religious others, volunteerism, and trust and tolerance. Using data analysis of the World Values Survey, we pose and answer research questions about the types of individuals who are the most trusting, the most tolerant, and who volunteer the most. We show how distinguishing between different types of volunteer activities and using longitudinal data can provide more insight into these questions. We also use an established agent-based model to generate measures similar to those operationalized in the World Values Survey. We then reproduce the findings of the World Values Survey data analysis and extract the internal dynamics of simulation experiments (under a reasonable parameterization of the model) to provide an explanation for those findings.
A Game-Theoretic Approach to Graph Transduction: An Experimental Study

An important class of problems in machine learning is based on semisupervised process to look for consistent labeling for a set of objects. The crucial aspect which features this topic is how to spread the available knowledge on the data to infer a proper answer for the unknown one. In this dissertation we use an important graph based model of semi-supervised learning known as Graph Transduction. Our research begins from a novel solution in Game Theory which models the problem just a noncooperative game: the Graph Transduction Game (GTG). We study this algorithm for the specific instance of visual world, leading the analysis over the main information of visual similarity between images and measures of similarity projected to categories. Finally we introduce the implications arisen on large-scale classification, guessing a possible solution generalizing the current version of GTG, which can exploit of category similarities actively in the learning.
A micromechanics-based finite element model for compressive failure of notched uniply composite

A micromechanics based failure initiation predictive capability for analyzing notched composite laminates loaded remotely in multiaxial compression is reported. The model relies on the results from a previous experimental study that investigated compression failure mechanisms in special uniply composite laminates. The finite element method (FEM) was used in the solution process. The experimental results showed that the dominant mode of failure initiation was kink banding near the hole edge. The kink band was confined in extent to a distance within one half of the hole radius. The fibers within the kind band were rotated both in plane and out of the plane of the laminate. The position of the kink band with respect to the center of the notch depended on the remote biaxial load ratio. In the FEM, the region in which kink banding takes place is contained within a finite size rectangular area, and is meshed as an alternatingly stacked region of fiber and matrix layers. The values of boundary loads on this rectangular area which correspond to kink banding is related to the remotely applied loads via an available form analysis for orthotropic laminates. Good agreement is found between experiment and analysis for a wide range ofmore » notch sizes. « less
Failure Modes of Bolted-Sheet-Steel Connections Loaded in Shear

To ensure that accurate failure-mode assessments are made, and ultimately to ensure that accurate design equations are formulated, a detailed analysis is needed of the procedure used to identify the cause of a connection failure. Misidentification of failure modes and the misuse of data can lead to serious errors in the accuracy and applicability of design equations. The load-capacity formulations presented in the American Iron and Steel Institute (AISI) Specification cannot be used to accurately predict the failure modes of thin cold-formed sheet-steel bolted connections that are loaded in shear. A modification to the bearing-coefficient provisions, to account for the reduced bearing resistance of the connected materials, is necessary and has been proposed by the writers in recent papers. A revision of the net-section fracture design method is also required. Recommendations concerning the procedure that is used to identify the net-section fracture and bearing-failure modes are made in this paper.
Autonomous landing guidance system validation

ALG is a combination of raster imaging sensor, head-up displays, flight guidance and procedures which allow pilots to perform hand flown aircraft maneuvers in adverse weather, at night, or in low visibility conditions at facilities with minimal or no ground aids. Maneuvers in the context of ALG relate to takeoff, landing, rollout, taxi and terminal parking. Commercial needs are driven by potential revenue savings since today only 43 Type III and 80 Type II instrumented landing system (ILS) runway ends in the United States are equipped for lower minimum flight operations. Additionally, most of these ILS facilities are clustered at major gateway airports which further impacts on dispatch authority and general ATC regional delays. Infrastructure consists to upgrade additional runways must not only account for the high integrity ground instrumentation, but also the installation of lights and markers mandated for Cat III operations. The military services ability to train under realistic battlefield conditions, to project power globally in support of national interests, while providing humanitarian aid, is significantly impaired by the inability to conduct precision approaches and landings in low visibility conditions to either instrumented runways or to a more tactical environment with operations into and out of unprepared landing strips, particularly when time does not permit deployment of ground aids and the verification of their integrity. Recently, Lear Astronics, in cooperation with Consortium members of the ALG Program, concluded a flight test program which evaluated the utility of the ALG system in meeting both civil and military needs. Those results are the subject of this paper.
Modeling Station-Based and Free-Floating Carsharing Demand

Carsharing, in any form, is still growing around the world. One of the effects is the increasing number of cities in which multiple carsharing operators are competing. The carsharing industry has never been as competitive as it is now: the present is a good time for researchers to invest efforts in providing tools for the assessment and planning of carsharing programs. Nevertheless, efforts in this direction are still scarce, in particular for some of the newest forms in which carsharing has been implemented, such as free-floating carsharing. This paper reports on a study that made use of MATSim, an agent-based simulation software that had already been used to model station-based carsharing, to evaluate different carsharing scenarios for the city of Berlin. The main findings are the existing high potential to extend carsharing services further in Berlin and the apparent complementarity of station-based and free-floating carsharing. On the methodological level, the work introduces a new tool for the modeling of free-floating carsharing along with improvements of the previously existing station-based carsharing model.
A User Evaluation of the 2012 Fire Safety Building Regulations in Sweden and New Zealand

The purpose of this work is to evaluate and analyse the fire safety building regulations in Sweden and New Zealand that underwent significant revision in 2012. The aim of this work is to provide feedback as well as showing if the revised building regulations have achieved some of the major purposes and objectives that were the basis for the revisions. The survey method was chosen as the evaluation tool in order to provide a qualitative analysis from a user perspective. The total number of respondents that participated in the surveys were 155 in Sweden and 89 in New Zealand, out of which the majority were fire safety consultants. The results indicate that the revision of the Swedish fire safety building regulations BBR Chapter 5 was a success and that further development should follow the same path. The results further indicated that the revision of the New Zealand fire safety building regulations NZBC Clause C could not be described as a success, and that a different route may need to be considered for further work and development. Furthermore the surveys pointed to the need for additional guidance for assessment of existing as well as complex buildings in both Sweden and New Zealand.
On-line monitoring of hydrocyclones by use of image analysis.

Abstract Hydrocyclones are widely applied in both chemical and mineral processing industries. Despite its simple design, the flow behaviour that governs separation within the device is quite complex and therefore difficult to control. Overall process efficiency, together with economics, promotes the development of an effective monitoring technique. In the past, numerous techniques have been tried, with varied success, but none have found broad adoption yet. The reasons for this are that the techniques lack robustness, while others are intrusive to the process or completely uneconomical. Previous work has indicated that there exists a relationship between the underflow and the operating state of a hydrocyclone, which could be exploited for monitoring purposes. In view of this, the use of image analysis of the underflow is evaluated as an on-line monitoring technique. Underflow widths are determined from video recordings of two different data sets: gold ore and PGM (Platinum Group Metals) ore. Time series analysis of the data indicates identifiable clusters which relate to normal operating conditions as well as troublesome states like roping and blocking. Groups of scattered clusters further correspond to the oscillatory behaviour experienced during the transition from normal to roping (or blocking). The predictive potential of the gold ore data set was also investigated, and suggests that the technique can be used to forecast the onset of such troublesome states.
Exploratory factors influencing information and communication technology diffusion and adoption within Australian construction organizations: a micro analysis

The purpose of this study was to explore and identify factors affecting adoption and implementation of information and communication technology (ICT) in large ICT‐experienced Australian construction organizations. During 2002 the researchers undertook an online survey, supplemented by a hardcopy collection option, to gather data from three major construction organizations with many years experience with implementing and adopting IT. The analysis concentrated on a common class of ICT adopted across the three organizations so that factor analysis could be validly undertaken. Results identified 11 factors that were found to influence ICT diffusion and adoption by the organizations that were grouped into management, individual, technology and workplace environment categories. These concurred with theory from the change management, innovation diffusion and organizational learning literature. Further, in‐depth qualitative analysis through case studies (beyond the scope of this paper) also helped to explain and make sense of the results. The results help to better explain human related factors in particular in terms of the broader and emerging literature of organizational learning and innovation adoption with a clear focus on how the people‐side of ICT diffusion and adoption is undertaken. This ICT diffusion and adoption study is undertaken at the firm‐level (micro analysis) as opposed to the industry level (macro analysis) and so provides insights into the interplay between diffusion and adoption concepts.
Application of aqueous humor polymerase chain reaction for virus in Posner-Schlossman syndrome

Background To study the effectiveness and safety of aqueous humor PCR viral detection in the diagnosis of PSS. Methods 20 patients (case group) with PSS who suffered from recurrences and poor intraocular pressure (IOP) control by use of drugs underwent anterior chamber puncture. The concentration of different viruses in aqueous humor were detected by PCR. 20 patients (control group) with POAG were given the same treatment and we compared the difference of positive rate of the viruses between two groups. Finally, the effectiveness and safety of aqueous humor PCR viral detection in the diagnosis of PSS were observed. Besides, the advantage of PCR viral detection technology in treatment was evaluated. Results No complications and long-term sequelae related to anterior chamber puncture were found. The total positive rate of aqueous humor viral detection was 30% (6/20) in case group ,and was found none in control group (0/20) (P = 0.027). Then, we divided the case group into two groups. Six virus positive patients were given local and systemic antiviral treatment for 3 months and then interrupted the treatment. Fourteen patients left were given no antiviral treatment. All PSS patients were observed for 9 months from the first time of treatment. There is significant difference between two groups in recurrence rate (P = 0.013). Conclusions Viral infection is a risk factor of PSS. The detection of virus in aqueous humor by PCR is effective and safe for diagnosis of PSS, and helpful for targeted treatment on virus-positive patients.
Experimental validation of the LMI methods for structural damage detection

In this work, linear matrix inequality (LMI) methods are proposed for computationally efficient solution of damage detection problems in structures. The structural damage detection problem that is considered consists of estimating the existence, location, and extent of damage in structures using experimental modal data. This problem is formulated as a convex optimization problem involving LMI constraints on the unknown structural stiffness parameters. The proposed LMI methods are used to detect damage in an Aluminum cantilevered beam using experimental data obtained from modal tests at the University of Houston. Both modal expansion and model reduction methods are applied to overcome the mismatch between the experimental and the analytical degrees of freedom.
Índice fuzzy de conforto térmico para frangos de corte

Estimating thermal comfort in modern poultry production is important that acclimatization systems can be triggered at appropriate time reducing losses and increasing yield. Although current literature presents some thermal comfort indexes which are applied for this estimation those are based just on ambient thermal conditions and do not consider important factors inherent to the animals such as genetics and capability of adaptation, generally providing an inadequate estimation of the birds’ thermal comfort. This research developed the Fuzzy thermal comfort index (FTCI) aiming to estimate broilers’ thermal comfort considering that the mechanism used by the birds for losing heat in environments outside the thermoneutral zone is the peripheral vasodilatation, which increases the surface temperature. Measurements of surface feathers and skin temperature of birds were used. The FTCI was developed using the data of two experiments which provided 108 distinct environmental scenarios. Infrared thermal images were used for registering surface temperature of feathers and skin, as well as the birds’ feathering degree. For the same scenarios of thermal environment both FTCI and the temperature and humidity index (THI) were compared. Results validated the FTCI for estimating broilers’ thermal comfort, being specific for the estimation of danger conditions usually found in housing in tropical climate countries. This characteristic is advantageous in models which estimate broiler thermal welfare, as occurrence classified as dangerous may lead to economical downward in avoiding productive losses.
An autonomous induction generator system with voltage regulation

This paper discusses an induction generator (IG) system that provides regulated voltage at any load condition. It utilizes the classical self-excitation principle but, in addition to that, it makes use of a current regulated PWM inverter to control the output voltage magnitude. It is primarily intended for micro hydro plants to be used in rural areas, where the cost of conventional distribution system is high, and the water resources are available to drive an unregulated low head turbine. The proposed topology is presented, followed by an analysis of the control structure. The methodology is validated via simulation studies.