Miracle-dz/UniFAR-FTUs huggingface dataset:
Mushaf Al-Qur’an Nusantara: Perpaduan Islam dan Budaya Lokal

Crystalization of statement “Al-Qur'an will be protected all the time” has been totally convinced and created by any form. One of them is the tradition of Al-Qur'an writing and printing. Circumstancially, this phenomenon indicated the development of living Qur'an. This paper will discuss about the development of Mushaf Al-Qur'an of Indonesia, from the tradition of hand writing until digital era. Beside it, this paper will also analyze the phenomenon of Mushaf of Al-Qur'an in Indonesia, in the concept of living Qur'an, by reception of hermeneutic, aesthetic and cultural. This paper concludes; the development of writing and printing Al-Qur'an, includes hand writing and digitalization era, is the tradition has been always preserved by Indonesian people. As a kind of living Qur'an, the Mushaf of Indonesia is a evidence of the achievement of cultural transformation and a good civilization.
The Bernoulli Generic Matrix Library

We have implemented the Bernoulli generic programming system for sparse matrix computations. What distinguishes it from existing generic sparse matrix libraries is that we use (i) a high-level matrix abstraction for writing generic matrix programs, (ii) a low-level matrix abstraction for describing the indexing structure and properties of sparse matrices formats, and (iii) restructuring compiler technology to transform the high-level generic programs into concrete implementations that efficiently access sparse matrices using the low-level abstraction. This paper describes the Bernoulli Generic Matrix Library (BGML). The BGML is the C++ implementation of these high-level and low-level abstractions. Within our system, it serves as the ``glue'''' between user''s sparse matrix format implementations and the restructuring sparse compiler. In this paper, we present the interfaces of the BGML and give examples of their use. Because of its role, it is critical that the BGML not impose much of an overhead on the compiler generated code. We discuss the implementation techniques that we had to use to get the most performance from the BGML. We also discuss the difficulties that we encountered in using available C++ compilers on the BGML.
Compiler and Runtime Optimizations for Fine-Grained Distributed Shared Memory Systems

v Acknowledgements First acknowledgments go to Rob van Nieuwpoort for his work on the initial RMI implementation and to Jason Maassen for getting the first implementation of the garbage collector working for the RMI runtime system. Other people I would like to acknowledge are Ceriel Jacobs for his help with debugging LASM and many other things and Rutger Hofman for his help fixing and molding the Jackal runtime system and for pinning down some bugs in the compiler. Many thanks go to Henri Bal and Dick Grune, my supervisors , for helping me through my years of AIO-ship, getting this thesis out of the door and especially Henri Bal for acquiring the DAS (and its successor DAS2) at the VU. A special thanks goes out to Raoul Bhoedjang for helping me with the initial stages of AIO-ship. Finally, I would like to thank the other members of my reading committee (
Finding the way forward

Locating sufficient student practice learning opportunities (PLOs) has been a long-standing challenge in social work education. This article highlights key findings of a study carried out in the West of Scotland to inform a move from a reactive approach to regular crises in PLO provision towards the development of a long term strategic plan for social work practice learning in the region. The study involved a combination of methods, including literature review, local audit, focus groups and consultation with individuals and organisations in the West of Scotland and the rest of the UK. The study found local and national evidence of innovation in developing new models of practice learning to meet the demands of 21st Century social work in Scotland as well as a growing concern that an emphasis on finding sufficient PLOs should not compromise the quality of the learning opportunities available to social work students. Some of the study’s implications for practice learning in the West of Scotland and further afield are explored.
Learning metrics for exploratory data analysis

Visualization and cluster analysis of multivariate data is usually based on distances between samples in a data space. The distance measure is often heuristically chosen, for instance by choosing suitable features and then using a global Euclidean metric. We have developed methods that remove the arbitrariness by measuring distances only along important (local) directions. The metric is learned from auxiliary data that is paired with the primary data during the learning process. It is assumed that changes in the primary data are important or relevant if they cause changes in the auxiliary data; for example, in analysis of gene expression the auxiliary data can indicate the functional classes of the genes. The new distance measures can be used for instance in clustering and Self-Organizing Map-based data visualization. The methods have so far been applied in analysis of bankruptcy, text documents, and gene expression.
Local computations with probabilities on graphical structures and their application to expert systems

SUMMARY A causal network is used in a number of areas as a depiction of patterns of 'influence' among sets of variables. In expert systems it is common to perform 'inference' by means of local computations on such large but sparse networks. In general, non-probabilistic methods are used to handle uncertainty when propagating the effects of evidence, and it has appeared that exact probabilistic methods are not computationally feasible. Motivated by an application in electromyography, we counter this claim by exploiting a range oflocal representations for the joint probability distribution, combined with topological changes to the original network termed 'marrying' and 'filling-in'. The resulting structure allows efficient algorithms for transfer between representations, providing rapid absorption and propagation of evidence. The scheme is first illustrated on a small, fictitious but challenging example, and the underlying theory and computational aspects are then discussed.
An A-Z of English Grammar and Usage

This is a reference grammar for teachers and learners of English. The material in the book is presented alphabetically in a dictionary-like format. It contains over 600 entries, which are of three kinds: common words which have a grammatical function, such as more, the, what, do, by, can; terms used in talking about grammar, such as indirect object, pronoun, tag question; and language areas not normally included in a grammar, for example, greetings, introductions, punctuations, letter writing. The book is cross-referenced and includes notes on register, intonation and British and US usage.
The mean depth of trap level of oriented, crystallized and gamma -irradiated poly(ethylene terephthalate) electrets

The mean depth of trap level is increased with increasing degree of planar orientation, crystallinity, and irradiation done in oriented, crystallized, and gamma -irradiated PET electrets. The order of variation range for the trap depth is drawn, gamma -irradiated, and annealed sample. Three kinds of trap models are proposed corresponding to the three methods of sample treatment on the basis of the depth of trap level, the current maximum of detrapping charge carriers, and the initial density of charge carriers. <<ETX>>
Making Video Dance: A Step-by-Step Guide to Creating Dance for the Screen

Author's Acknowledgements. Introduction Katrina McPherson. Notes on Using the Exercises in this Book. How did We Get Here - An Introductory Chapter Bob Lockyer 1. First Steps 2. Dance and the Camera 3. Developing the Work 4. Creating you On-Screen World 5. Making Strides 6. When the Shoot Comes 7. Light and Sound on the Shoot 8. Preparation for the Edit 9. Choreography of the Edit Feedback time 10. Final Stages 11. Out on the Road Diary - The Making of The Truth Glossary References and Resources. Notes on Contributors. Index
Adapting Association Rules Mining To Task Of Classification

Classification rule mining is used to discover a small set of rules in the database to form an accurate classifier. Association rules mining are used to reveal all the interesting relationship in a potentially large database. These two techniques can be integrated to form a framework called Associative Classification method. The integration is done by focusing on mining a special subset of association rules called Class Association rules (CAR). This project paper proposes a Neural Network Association Classification system, which is one of the approaches for building accurate and efficient classifiers. Experimental result shows that the classifier build for diabetes dataset in this way is more accurate than previous Classification Based Association.
Dimensions of Community Health

Part 1 The basics of community health: health - involvement of the community epidemiology - assessing the health status of a population the health status of Americans. Part 2 Organization of community health: official health organization - federal, state and local international health - the need for Cupertino in problem solving the private sector - of increasing importance in community health improving community health - techniques for change. Part 3 Health care issues: the high cost of health care access to health care the quality of health care. Part 4 Programming for community health: disease control - concern for communicable diseases chronic diseases - long term problems with the cures the environment - more than a search for the cause of disease injury prevention and control - the importance of safe living community nutrition - developing healthy eating patterns community mental health - from a sad past towards a dynamic future. Part 5 Protecting the health of the public through the lifespan: children and adolescents - infant and early childhood health children and adolescents - the school-age years the adult/middle years senior citizens - needs, services and hope for life's later years. Part 6 Geographic distribution of health problems: the urban and suburban environments the rural environment.
Paysages du grand domaine et normes agronomiques de Caton à Pline l'Ancien. Représentations de l'espace et "bonne mesure".

Produits principalement entre le IIe s. av. et le Ier s. ap. J.-C. , les ecrits agronomiques latins, de Caton a Pline l'Ancien, permettent d'evaluer et de comprendre les contraintes naturelles et sociales qui ont determine, de facon evolutive, un modele d'organisation et de gestion du domaine agropastoral. Formes de raisonnement et caracteristiques de composition et d'enonciation participent d'un effort de codification de la science agronimique et de ses objets. Tout en impliquant une representation ideale des paysages du fundus, les normes agronomiques romaines sont edictees de facon de plus en plus souple pour integrer la pluralite et la diversite des situations agraires que rencontre Rome au fur et a mesure de son expansion. Une analyse de frequence des themes relatifs aux paysages fait apparaitre les criteres majeurs d'appreciation de l'environnement qui retiennent l'attention des experts agronomiques dans la perspective d'une exploitation et d'un amenagement, raisonnes et rentables, de l'espace rural. Ces normes agronomiques sont egalement soutenues par des considerations d'ordre ideologique. Illustrees par l'utilisation de symboles et d'images, les valeurs pronees, issues de l'ornamentum nobiliaire, viennent justifier les principes d'ordre et de mesure qui dovent presider a l'organisation spatiale et humaine des fundi ruraux.
Factors related to abandoning tuberculosis treatment: an integrative review

Revision bibliografica integradora con el fin de demostrar los conceptos y factores asociados con el abandono del tratamiento antituberculoso en publicaciones cientificas, de 2000 a 2009. La recoleccion de los datos se llevo a cabo en el portal de la Biblioteca Virtual en Salud/LILACS y SciELO, segun los siguientes descriptores: pacientes que abandonan el tratamiento, rechazo del paciente al tratamiento, cooperacion del paciente y adherencia a la medicacion, cruzandolos con el descriptor: tuberculosis. La busqueda condujo a 219 articulos, que al considera criterios de inclusion y exclusion resulto en nueve articulos. Se encontraron las siguientes categorias: conceptualizar el abandono del tratamiento antituberculoso y factores asociados con el abandono del tratamiento antituberculoso. Se considero como abandono del tratamiento antituberculoso dejar de tomar los medicamentos durante treinta dias o mas. Los factores relevantes asociados son: sociodemograficos, enfermedades asociadas y atencion de la salud. El equipo de enfermeria/salud necesita centrarse en enfoques de cuidado mas interactivos y humanos para aumentar la adherencia del paciente al tratamiento.
Multiple Representations for Improving Scientific Thinking

The "Convince Me" "reasoner's workbench" software provides a means of explicating and revising arguments and;a "reasoning engine" for assessing one's beliefs. A proposed I modification to the Convince Me interface, the addition of an online diagrammatic representation to an argument's structure, is premised on the belief that multiple representations can lead to a more robust understanding of a concept and a belief in the utility of diagrams as tools for reflection. This study investigated how students made sense of their arguments, as structured with the Convince Me interface, through the use of diagrams. The impact of re-representing an argument was assessed through the Convince Me interface, an argument diagram, ana a more standard argument listing. Results with 24 undergraduates indicated that by itself and with another form of representation, Convince Me appeared to be a good tool for representing subjects' beliefs. Multiple representations appeared useful for enhancing reasoning skills, allowing each student to use a representational form that was comfortable, while providing access to linked representations that offered a different perspective. (Contains 7 figures, 3 tables, and 46 references.) (Author/SLD) *************************)' . ******************************** Reproductions supplied by EDRS are the best that can be made from the original document. * * *********************************************************************** 00 U S. DEPARTMENT OF EDUCATION Office 04 Educational Research and Irnoronernnnl ECM ATIONAL RE SOURCES INFORMATION C\ CENTER ! ERIC) cr) s) This doCurnenl hen been reproduced as r &Carved Iron, the person or orpsnriairon orrgrnatrno rl C Minor changes have bee. made /o implore reprOdUCtion cwaIity Pornts &we. Or oornrons stated rnInrsOOCLI rnenl do not necessaray represent ottn-rat OE RI posoron or porrcy 'PERMISSION TO REPRODUCE THIS MATERIAL HAS BEEN GRANTED BY O__HtisTpu L TO THE EDUCATIONAL RESOURCES INFORMATION CENTER tERICI MULTIPLE REPRESENTATIONS FOR IMPROVING SCIENTIFIC THINKING Christine Diehl, Michael Ranney, and Patricia Schank University of California, Berkeley Address correspondcn . e (for any and all authors) to: EMST Division 4533 Tolman Hall University of California Berkeley, CA 94720-1670 (510) 643-5866 cdiehl@vioIct.bcrkelcy. edu FAX: (510) 642-3729
Advances in Case-Based Reasoning: 5th European Workshop, EWCBR 2000 Trento, Italy, September 6-9, 2000 Proceedings

Invited Papers. - Competence Models and Their Applications. - Activating Case-Based Reasoning with Active Databases. - Research Papers. - Case-Based Reasoning with Confidence. - Combining Rule-Based and Case-Based Learning for Iterative Part-of-Speech Tagging. - An Architecture for Knowledge Intensive CBR Systems. - A Dynamic Approach to Reducing Dialog in On-Line Decision Guides. - Flexible Control of Case-Based Prediction in the Framework of Possibility Theory. - Partial Orders and Indifference Relations: Being Purposefully Vague in Case-Based Retrieval. - Representing Knowledge for Case-Based Reasoning: The Rocade System. - Personalized Conversational Case-Based Recommendation. - Learning User Preferences in Case-Based Software Reuse. - A Method for Predicting Solutions in Case-Based Problem Solving. - Genetic Algorithms to Optimise CBR Retrieval. - An Unsupervised Bayesian Distance Measure. - Remembering Why to Remember: Performance-Guided Case-Base Maintenance. - Case-Based Reasoning for Breast Cancer Treatment Decision Helping. - Competence-Guided Case-Base Editing Techniques. - Intelligent Case-Authoring Support in CaseMaker-2. - Integrating Conversational Case Retrieval with Generative Planning. - A Symmetric Nearest Neighbor Learning Rule. - Automatic Case Base Management in a Multi-modal Reasoning System. - On Quality Measures for Case Base Maintenance. - A New Approach for the Incremental Development of Adaptation Functions for CBR. - An Efficient Approach to Similarity-Based Retrieval on Top of Relational Databases. - Maintaining Case-Based Reasoning Systems Using Fuzzy Decision Trees. - Applying Recursive CBR for the Customization of Structured Products in an Electronic Shop. - Handling Vague and Qualitative Criteria in Case-Based Reasoning Applications. - Active Delivery for Lessons Learned Systems. - Application Papers. - KM-PEB: An Online Experience Base on Knowledge Management Technology. - A Support System Based on CBR for the Design of Rubber Compounds in Motor Racing. - Supporting Tourism Culture via CBR. - A Case-Based Reasoning Approach to Collaborative Filtering. - Similarity Measures for Structured Representations: A Definitional Approach. - Collaborative Maintenance - A Distributed, Interactive Case-Base Maintenance Strategy. - A Unified CBR Architecture for Robot Navigation. - Maintenance of a Case-Base for the Retrieval of Rotationally Symmetric Shapes for the Design of Metal Castings. - Personalised Route Planning: A Case-Based Approach. - A Case-Based Approach to Image Recognition. - The Life Cycle of Test Cases in a CBR System. - Evaluating a Multi-modal Reasoning System in Diabetes Care. - CBR-Based Ultra Sonic Image Interpretation. - Evaluation of Strategies for Generalised Cases within a Case-Based Reasoning Antibiotics Therapy Advice System. - A Product Customization Module Based on Adaptation Operators for CBR Systems in E-Commerce Environments. - Selecting and Comparing Multiple Cases to Maximise Result Quality after Adaptation in Case-Based Adaptive Scheduling.
Optimizing conflicting objectives in using Pareto

Non-Negative matrix factorization (NMF) has emerged as an important technique for simplifying high-dimension data into interpretable factors. NMF has the at-tractive characteristic that the factor matrices are naturally sparse, thus allowing them to be readily interpreted. However, there is a tension between the accuracy of the factorization and the sparseness – it is the management of the trade-off between these two criteria that is the subject of this paper. We introduce a multi-criteria Simulated annealing framework that produces a Pareto set of solutions, which are non-dominated on both criteria. We show that solutions at one end of the Pareto front of solutions correspond to NMF factorizations produced with conventional optimization techniques, while solutions at the other end exhibit en-hanced sparseness. Clustering is no longer to be observed either in the raw-data form of the matrix, or the generated heat-map form.
RightTopologizer: an efficient schematic generator for multi-level optimization

This paper presents an efficient algorithm for the automatic generation of schematic diagrams for digital systems described not only at the gate-level but also at the RTL. Schematics are generated in the sequence of pre-processing, topological placement, geometrical placement, and channel routing. The experimental results show that RightTopologizer produces more readable and compact schematics than a well-known commercial tool in a real time response. The high readability and compactness of the generated schematics helps the designers make early design decisions by providing a good grasp of signal flows which represent HDL-based designs. In addition, this system can be used for a multi-level optimization framework in a variety of applications due to using a common database with our schematic capture system.
Mesures dimensionnelles par interférométrie laser

La 17 e Conference generale des Poids et Mesures au BIPM a decide, le 20 octobre 1983, d'opter pour une nouvelle definition du metre, qui s'enonce comme suit : « Le metre est la longueur du trajet parcouru dans le vide par la lumiere pendant une duree de 1/299792458 de seconde». Avec cette definition, la valeur de la vitesse de la lumiere dans le vide est exactement de: c = 299 792 458 m/s Les definitions precedentes du metre (le Metre Etalon en platine, depose au pavillon de Breteuil, puis la definition fondee sur la raie orangee de la lampe spectrale au krypton 86) ont ete successivement abandonnees au profit d'une definition plus precise. Les mesures de longueur ou de deplacement realisees par interferometrie, objet du present article, reviennent a comparer cette longueur a la longueur d'onde du rayonnement utilise. Les longueurs d'onde d'une radiation lumineuse dans le domaine du visible sont comprises entre 0,4 μm (violet) et 0,7 μm (rouge). Cette methode de mesure permet donc de se raccorder directement a la definition de l'unite de longueur. L'utilisation des lasers asservis en frequence au lieu des lampes spectrales a contribue au developpement des mesures par interferometrie, meme en milieu industriel.
Automatic identification method of blurred images

Automatic identification method of the blur type is an important stage in automatic restoring and segmentation of partially blurred images. This article describes automatic identification method of blurred images that also allows to estimate the blur angle parameter. This method contains five steps: 1) applying modified Sobel operator to the input image; 2) image cutting on perimeter in order to eliminate the negative effects occurred at the previous step; 3) construction sequentially blurred image’s versions from the step 2 with fixed radius; 4) similarity measure calculation of sequentially blurred image’s versions along with original image; 5) estimation of the criterion value. Method has been tested and has shown correct result in more than 90% of input images, and the average angle’s error does not exceed more than 8 degrees.
Kinematic analysis of the 6R manipulator of general geometry

This paper presents a new solution to the inverse kinematics problem for the 6R series manipulator of general geometry. Such a manipulator has 6 revolute (R) joints arranged in series. The link lengths, twist angles and offsets, may be arbitrary real numbers. The inverse kinematics problem may be stated as follows : Given (i) the manipulator geometry (i.e. location of the base, link lengths, twist angles, and offsets), (ii) the goal position to which the hand must be moved, Find the values of the joint angles which will place the hand in the goal position.