Miracle-dz/UniFAR-FTUs huggingface dataset:
Computer Vision in Medical Imaging

The major progress in computer vision allows us to make extensive use of medical imaging data to provide us better diagnosis, treatment and predication of diseases. Computer vision can exploit texture, shape, contour and prior knowledge along with contextual information from image sequence and provide 3D and 4D information that helps with better human understanding. Many powerful tools have been available through image segmentation, machine learning, pattern classification, tracking, reconstruction to bring much needed quantitative information not easily available by trained human specialists. The aim of the book is for both medical imaging professionals to acquire and interpret the data, and computer vision professionals to provide enhanced medical information by using computer vision techniques. The final objective is to benefit the patients without adding to the already high medical costs. Readership: Researchers, professionals and academics in machine perception/computer vision, pattern recognition/image analysis, nuclear medicine, bioengineering & cardiology.
A natural language processing approach for mobile service robot control

For the operation of mobile robots, the design of the man-machine interface has a major impact on the acceptance by the user. This is especially valid when dealing with users of minor or no training, which can be found in almost any application area, ranging from transport or construction tasks to assistive technology for elderly and disabled. The following essay introduces a natural language processing software which transforms a natural language sentence into a series of commands for a mobile service robot. Both the language processor and the command set of the controller may be modified by the user to adapt it to different application areas. The language processor is based on a modified finite state transducer network. The grammar/word pattern extracted by the network is processed by a transformation module which converts the contained information into the controller command. A context memory and a question generator allow the processing of incomplete instructions and command modifications. A prototype application is presented which allows severely disabled persons bound to a wheelchair to control the chair and their home environment by natural language.
Forecasting the state of a technical object based on a model of a system of quasi-periodic processes in the form of images on a cylinder

Often the technical condition of an object is characterized by several diagnosable parameters of its functioning, that is, a system of interrelated time series, in the dynamics of which there is a periodicity with random changes in periods - a quasi-periodicity that cannot be accurately predicted. At the same time, in order to estimate and predict the state of an object, it is required to build a model of such a system of processes and identify it for a particular object based on the results of its observations. In this paper, to solve these problems, it is proposed to use a model of a system of quasi-periodic processes in the form of sweeps of several cylindrical images along a spiral. The effectiveness of the model is demonstrated by the example of forecasting the state of the water treatment system.
State-Based Techniques For Designing, Verifying And Debugging Message Passing Systems

Message passing systems support the applications of concurrent events, where independent or semi-independent events occur simultaneously in a nondeterministic fashion. The nature of independence, random interactions and concurrency made the code development of such applications complicated and error-prone. Conventional code development environments or IDEs, such as Microsoft Visual Studio, provide little programming support in this regard. Furthermore, ensuring the correctness of a message passing system is a challenge. Typically, it is important to guarantee that a system meets its desired specifications along its construction process. Model checking is one of the techniques used in software verification which has proven to be effective in discovering hidden design and implementation errors. The required advanced knowledge of formal methods and temporal languages is one of the impediments in adopting model checking by software developers. To integrate model checking environments and conventional IDEs, this dissertation proposes a multi-phase development framework that facilitates designing, verifying, implementing and debugging state-based message passing systems. The techniques and design principles of the proposed framework focus on improving and easing the software development experience. In the first phase, a two-level design methodology is proposed through using abstract high-level communication blocks and hierarchical state-behavioral descriptions that were developed in this research. In the second phase, a new method based on choosing from a pre-determined set of patterns in concurrent communication properties is proposed to facilitate collecting the essential specifications of the system where the atomic propositions are linked with the system design. A complex property can be attained by hierarchically nesting some of these patterns. A procedure to automatically generate formal models in a model checker (MC) language is proposed. Once the model that contains both the design and the properties of the system are generated, a model checker is used to verify the correctness of the proposed system and ensure its compliance with specifications. To help in locating the source of an undesired specification, if any, a procedure to map a counter example generated by the MC to the original design is presented. In the third phase, a skeleton code of the design specification is generated in a general programming language such as Microsoft C#, Java, etc. moreover, the ability to debug the generated code using a conventional IDE while tracing the debugging process back to the original design was established. Finally, a graphical software tool that supports the proposed framework is developed where SPIN MC is used as a verifier. The tool was used to develop and verify several case studies. The proposed framework and the developed software tool can be considered a key solution for message passing systems design and verification.
Reproducibilidad de una prueba para la evaluación funcional del balance dinámico y la agilidad del adulto mayor

Introduccion: la prueba 8 foot up & go evalua el balance dinamico y la agilidad del adulto mayor. Aunque se ha evaluado su reproducibilidad en poblacion norteamericana, se desconoce si funciona de manera similar en una poblacion diferente como la colombiana. Objetivo: evaluar la reproducibilidad prueba-reprueba y el nivel de acuerdo de la prueba 8 foot up & go para la evaluacion funcional del balance dinamico y la agilidad en una muestra de adultos mayores de Bucaramanga. Materiales y metodos: se llevo a cabo un estudio de evaluacion de pruebas diagnosticas en 114 adultos mayores. Se evaluo la reproducibilidad prueba-reprueba mediante el coeficiente de correlacion intraclase (CCI [2,1]) con sus respectivos intervalos de confianza del 95% (IC95%). El nivel de acuerdo se establecio mediante el metodo de Bland y Altman. Resultados: la reproducibilidad prueba-reprueba fue muy buena (CCI: 0,98; IC95%: 0,98-0,99); se encontro buen nivel de acuerdo para las mujeres (promedio de las diferencias [PD] = 0,04 segundos y limites de acuerdo [LA]: -1,27; 1,36 segundos) y los individuos institucionalizados (PD = 0,04 segundos [LA]: -3,18; 3,27 segundos). Conclusion: la prueba 8 foot up & go tiene muy buena reproducibilidad y buen nivel de acuerdo en poblacion adulta mayor local colombiana.
Assessing Progress in Mastery of Counseling Communication Skills

textabstractDuring the last century the attention paid in higher education to the development of professional skills has progressively increased. In the first half of the last century the term ‘skill’ mainly referred to motor or technical actions, for instance driving a car or operating a machine (Murphy, Murphy & Newcomb, 1937). However, during the second half of the last century this term also came into vogue for describing social interactions between humans (Argyle, 1981). Social skills can be defined as “useful distinctive behavior components for social interaction, which are in the user’s repertoire, a repertoire from which the user can choose” (Lang & Van der Molen, 2004, p. 38). These skills cover a broad scale of interpersonal behavior, for instance criticizing, speaking in public or guiding a group discussion. Special examples of social skills are communication skills. These skills are intended to deal adequately with professional conversations, for instance a doctor interviewing a patient or a psychologist counseling a client. This dissertation focuses on the training of counseling communication skills for psychology students.
Spindle cell tumors of the gastrointestinal tract

Spindle cell tumors presenting in the gastrointestinal tract are uncommon but when they arise, arriving at the correct diagnosis is important. Performing CD117 testing is often encouraged by oncologists hoping to use specific biologic therapy (STI571) regardless of whether the patient harbors a gastrointestinal stromal tumor (GIST). In this setting, certain other tumor types lacking KIT mutations can display spurious expression that may result in diagnostic errors. Awareness of these is important. (Pathology Case Reviews 2004;9: 142–146)
The left ventricle in anomalous pulmonary venous return. Morphometric analysis of 36 fatal cases in infancy.

: The mass of the left ventricle is normal in infants with total anomalous pulmonary venous return, but the ventricular cavity is compromised by leftward displacement of the interventricular septum due to the combined pressure-volume overload of the right side of the heart. Severe septal displacement is associated with distorted myocardial architecture in the region of the septal attachments of the left ventricular free wall. Abnormalities of septal motion are frequently detected in echocardiograms. Left ventricular output is low, as judged by arrested development of the aortic valve circumference, and is probably compromised both by the left to right shunt and by septal displacement. Successful correction of the anomaly may depend on intervention before the changes in septal position, structure, and function have become irreversible.
Pemetaan dan Analisa Sebaran Sekolah Untuk Peningkatan Layanan Pendidikan Di Kabupaten Kediri dengan GIS

ABSTRACT Now the information technology grows fast and makes a lot of amenity to use. Beside that the technology information gives a lot of information better. In this final project we will make a program which give the information in the form of appearance Web in order to the earn to obtain get information user clearly. In this final project we will make â��MAPPING AND SCHOOLED SPREAD ANALYSIS FOR STEP-UP SERVICES EDUCATION AT KEDIRI REGENCY WITH GISâ��. We wish by making of this final project earn to give a detail information about service education in Kediri regency. There are many information system type, but in contrast to this information system the other. In this time information system we will feature information in shaped webbed appearance that get geographical basis, besides will also feature information as data of another attributes. This project is expected to give ala information is clear and fledged. Key word: Web, GIS, School at Kediri
DEVELOPMENT, EVALUATION AND APPLICATION OF A PEDIATRIC ULCERATIVE COLITIS ACTIVITY INDEX (PUCAI)

Dan Turner Development, evaluation and application of a Pediatric Ulcerative Colitis Activity Index (PUCAI) Doctor of Philosophy, 2008 Department of Health Policy, Management, and Evaluation (HPME) University of Toronto This thesis uses the methods of psychometrics and clinimetrics to develop and evaluate a Pediatric Ulcerative Colitis Activity Index (PUCAI). The initial phases of item generation and reduction were performed previously. This thesis comprises five main studies. Study one: the weighting and formatting of an initial draft PUCAI using a cohort of 157 children with ulcerative colitis, enrolled prospectively in five pediatric IBD centers. Study two: the validation of the final draft on a separate prospective cohort of 48 children undergoing complete colonoscopy. The PUCAI was highly correlated with physician global assessment (PGA) (r=0.91), Mayo score (r=0.95) and colonoscopic appearance (r=0.77). The PUCAI was able to differentiate the different categories of disease activity, and cutoff points were defined. Study three: Assessment of the responsiveness of the PUCAI. The index demonstrated excellent responsiveness on 75 children seen twice during the study period (effect size=1.9, standardized response mean=2.2, responsiveness statistics=2.6, correlation with PGA of change=0.84, and area under the ROC curve=0.97 95%CI 0.930.99).
Qualitative Research: A Guide to Design and Implementation

Preface ix The Authors xvii PART ONE: THE DESIGN OF QUALITATIVE RESEARCH 1 1 What Is Qualitative Research? 3 2 Six Common Qualitative Research Designs 22 3 Expanding the Qualitative Paradigm: Mixed Methods, Action, Critical, and Arts Based Research 43 4 Designing Your Study and Selecting a Sample 73 PART TWO: COLLECTING QUALITATIVE DATA 105 5 Conducting Effective Interviews 107 6 Being a Careful Observer 137 7 Mining Data from Documents and Artifacts 162 PART THREE: ANALYZING AND REPORTING QUALITATIVE DATA 191 8 Qualitative Data Analysis 195 9 Dealing with Validity, Reliability, and Ethics 237 10 Writing Up Qualitative Research 267 Appendix: The Methodology Section of a Qualitative Research Study 293 Sharan B. Merriam References 301 Name Index 323 Subject Index 331
Quantifying Uncertainty in Production Forecast for Fields With Significant History: A West African Case Study

Understanding the effects of subsurface uncertainties on production responses is an integral part of the decision-making process. A more accurate quantification of the uncertainty of production forecasts contributes to better business decisions. When a field has produced for several years, models must be conditioned to available production data to obtain meaningful predictions. Data integration and uncertainty assessment of future performance of the reservoir are indivisible processes that cannot be addressed generally by simple techniques. A method is presented to solve complex inverse problems that involve highly nonlinear responses.
An Analytical Model for Elastic Service-classes in W-CDMA Networks

Waves are generated on the surface of a body of water, at regular intervals, by a wave generator in which water is periodically lifted and allowed to fall in a water-lift chamber. Water enters and leaves the lift chamber through an underwater opening at its bottom. It is lifted by drawing a vacuum in the top of the lift chamber and dropped by releasing that vacuum. Air is periodically exhausted from the lift chamber to create a vacuum therein by an air blower through an air buffer having a series of interconnected air chambers, to minimize air-pressure fluctuations at the air blower intake. Vacuum in the lift chamber is periodically released by opening it to the atmosphere.
AEDS: a novel technique for detecting DNA bands in autoradiograph images

The discipline of image processing is haunted by many problems, such as poor edge detection in low contrast images, speed of recognition, high computational cost and impracticality. Thus, new measures are required to solve these problems. Scale space analysis is an efficient solution to the edge detection of objects in low to high contrast images. However, this approach is time consuming and computationally expensive. The parallel processing properties of a neural network provide an ideal solution to managing the large amounts of data processed in image analysis, however their application to multiscale analysis is still in its infancy. This paper reports on a new approach to solving the aforementioned problems. The novel idea is based on combining neural network arbitration and scale space analysis to automatically select one optimum scale for the entire image at which scale space edge detection can be applied. This new approach to edge detection is formalised in the automatic edge detection scheme (AEDS). The AEDS is implemented on a real-life problem namely, the detection of bands within DNA autoradiograph images.
Vers la réalisation de composants nanoélectroniques par anodisation localisée par AFM

Ce travail de these se compose de deux parties : tout d’abord nous avons caracterise sur le plan morphologique des motifs de TiOx realises par anodisation localisee par AFM (LAO) dans des couches pleines plaques de 5 nm de titane. Nous avons etudie l’influence de la tension d’oxydation, de la vitesse de balayage de la pointe AFM, de l’humidite relative de l’environnement, du mode AFM (contact ou intermittent) et du type de pointe. Les motifs les plus fins atteignent une largeur a mi-hauteur de 21 nm pour 2.2 nm de hauteur, ils sont obtenus avec une pointe PtSi utilisee en mode intermittent sous une tension de polarisation de -7V, une vitesse de balayage de 0.4 µm. s-1 et dans un environnement comportant une humidite de 43%. La deuxieme partie de notre travail a ete consacree a l’elaboration et a la caracterisation de jonctions planaires MIM Ti/TiOx/Ti. Ces jonctions sont des motifs TLM de titane comportant une ligne transverse de TiOx realisee par LAO. Lorsque les jonctions sont stressees electriquement sous air, une transformation morphologique irreversible se produit pour une densite de courant et un champ electrique atteignant de l’ordre de 7.1010 A.m-2 et 3.107 V.m-1 respectivement. Des analyses chimiques et structurales basees sur la microscopie electronique a transmission ont montre que la ligne initiale de TiOx amorphe s’etait considerablement elargie et est constituee d’une zone de TiOx cristallin. Cette transformation peut etre evitee en appliquant le stress electrique sous vide. Enfin des mesures electriques en temperature ont permis d’elucider les mecanismes de conduction : emission Schottky sous vide et conduction ionique sous air.
Collocations in Basque: a test for classification

This work presents an initial attempt to classify collocations in Basque, since there are at present no dictionaries of collocations or word combinations in this language. We take as our reference point the taxonomy of Spanish by G. Corpas (1996), making allowances for the distinctive features of Basque morphosyntactic structures and current usage. We classify the collocations by their morphosyntactic structure and specify the base in each case, all with examples of common productions taken from the media and from spoken language. We also establish the principal lexical functions that appear in the examples.
Classifiers Association for High Dimensional Problem: Application to Pedestrian Recognition

Machine learning is widely used for object recognition in images (Viola & Jones, 2001). Indeed, the goal is to recognize any object of the same class whatever the background, the illumination conditions, . The key-point of such a method is the ability to create a generic model able to describe the huge variability of an object class. A large training set is then used so as to cover all the variations taken by the object class. For each example, a simple description provides a huge feature vector from which only a subset is relevant according to the object to be recognised. Kernel based machines like Support Vector Machine (SVM) (Vapnik, 1998) have shown great performances for object recognition in images (Papageorgiou & Poggio, 2000). But high dimensional problem can be prohibitive for it: it implies expensive time, presence of irrelevant features can disturb the classifier and overfitting often occurs. Various approaches were proposed in order to decrease this number of variables (Guyon & Elisseeff, 2003). They are of two types: the filters and the wrappers. The filters methods use only the training set. They process the entire data before the learning step and keep only relevant characteristics. Most widespread is the Relief algorithm, introduced by Kira and Rendell (Kira & Rendell, 1992) and improved by Konenko (Kononenko, 1994), which computes a criterion of relevance for each characteristic of the training set. Another approach presented by Hall in (Hall, 2000) uses a correlation score to reduce the training set. An extension of this method was developed in (Yu & Liu, 2003) for great dimension sets. The wrappers methods carried out the variable choice at the same time as the training process is done. Moreover, they use the process itself to select relevant characteristics (Kohavi & John, 1997). Solutions were brought for SVMs. Weston in (Weston et al., 2000) explores parameter space by a stepped gradient descent and fix an exit threshold on the classification error. Rakotomamonjy proposes in (Rakotomamonjy, 2003) a selection criterion based on the variable influence on the decision rule of a SVM classifier. Generally, these methods, which take account of the training set and the classifier in the same time, give good results but induce expensive computing times. For an out-line learning, the computing time is not the main problem. However, studies like (Campedel et al., 2005) showed the efficiency of variable selection to improve the classifier performances: the presence of useless data can disturb the classifier and memory is misused. 6
Diagnostic accuracy of ovarian cyst segmentation in B-mode ultrasound images

Cystic and polycystic ovary syndrome is an endocrine disorder affecting women in the fertile age. The Moore Neighbor Contour, Watershed Method, Active Contour Models, and a recent method based on Active Contour Model with Selective Binary and Gaussian Filtering Regularized Level Set (ACM&SBGFRLS) techniques were used in this paper to detect the border of the ovarian cyst from echography images. In order to analyze the efficiency of the segmentation an original computer aided software application developed in MATLAB was proposed. The results of the segmentation were compared and evaluated against the reference contour manually delineated by a sonography specialist. Both the accuracy and time complexity of the segmentation tasks are investigated. The Frechet distance (FD) as a similarity measure between two curves and the area error rate (AER) parameter as the difference between the segmented areas are used as estimators of the segmentation accuracy. In this study, the most efficient methods for the segmentation of the ovarian were analyzed cyst. The research was carried out on a set of 34 ultrasound images of the ovarian cyst.
Design and Research of Metal Surface Defect Detection Based on Machine Vision

To address the problems of low accuracy and inaccurate classification of surface defects detection that occur on metallic steel, this paper proposes a method to improve the accuracy of surface defect detection by adjusting the network structure of the YOLOv3 algorithm model[1]. First, the k-means++ algorithm is used for clustering to improve the matching of prior frames of different scales and feature layers by increasing the scale difference of prior frames. Secondly, the algorithm improves the recognition rate of small defective targets by adding 104×104 feature layers. Finally, the spatial pyramid pooling module is added to improve the recognition accuracy of target features after extracting feature layers of different scales from the backbone feature network. The experimental results show that the improved YOLOv3 algorithm model achieves an average accuracy of 76% on the test set and is 9% better than the original YOLOv3 algorithm than Faster-R-CNN1 in terms of detection performance.