latex testing
201137450
The Development of Latex Quality Testing Set by Sensor Wireless Network.
Kanbuncha Panichcharoen Chanyut Aupayagoson
221866201
PDF2LaTeX: A Deep Learning System to Convert Mathematical Documents from PDF to LaTeX
The mathematical contents of scientific publications in PDF format cannot be easily analyzed by regular PDF parsers and OCR tools. In this paper, we propose a novel OCR system called PDF2LaTeX, which extracts math expressions and text in both postscript and image based PDF files and translates them into LaTeX markup. As a preprocessing step, PDF2LaTeX first renders a PDF file into its image format, and then uses projection profile cutting (PPC) to analyze the page layout. The analysis of math expressions and text is based on a series of deep learning algorithms. First, it uses a convolutional neural network (CNN) as a binary classifier to detect math image blocks based on visual features. Next, it uses a conditional random field (CRF) to detect math text boundaries by incorporating semantics and context information. In the end, the system uses two different models based on a CNN LSTM neural network architecture to translate image blocks of math expressions and plaintext into the LaTeX representations. For testing, we created a new dataset composed of 102 PDF pages collected from publications on arXiv.org and compared the performance between PDF2LaTeX and the state of the art commercial software InftyReader. The experiment results showed that the proposed system achieved a better recognition accuracy (81.1% measured by the string edit distance between the predicted LaTeX and the ground truth.
DocEng
Zelun Wang Jyh-Charn S Liu
52943712
Assistive Debugging to Support Accessible Latex Based Document Authoring
This software usability study aims towards evaluating our LaTeX based extension, created to assist blind researchers and writers, in terms of authoring both continuous and non continuous text [2] Our extension includes features like speech based error prompts and navigation to the error location which are expected to improve the LaTeX code debugging experience and increase writing productivity. Upon testing our extension, it is observed that a majority of both LaTeX novice and expert users preferred using MS Word for writing continuous text, while the LaTeX experts preferred our extension for writing mathematical content.
ASSETS
Ahtsham Manzoor Murayyiam Parvez Suleman Shahid Asim Karim
155360444
PENGEMBANGAN ALAT BANTU PENULISAN DOA DOA HARIANBERBASIS LATEX MENGGUNAKAN FRAMEWORK LARAVEL
Doa adalah ibadah dan salah satu bentuk ketaatan serta meminta pertolongan kepada Allah Subhanahu wa ta'ala. Penggunaan teks Arab dalam penulisan doa terkadang tidak sesuai dengan aslinya saat diakses pada aplikasi komputer maupun aplikasi yang berbeda. Pengembangan alat bantu penulisan doa doa harian berbasis Latex menggunakan Framework Laravel dapat mengatasi ketidaksesuaian tersebut. Pada penelitian ini, penulisan teks Arab dengan bahasa pemrograman Latex, sedangkan pengembangan aplikasi menggunakan V Model dengan bahasa pemrograman PHP dan Framework Laravel. Pengujian fungsional sistem menggunakan Black box testing dengan metode Equivalence Partitioning (EP) dan Skala Guttman. Hasil penelitian telah menampilkan 263 informasi data doa yang dapat diakses dari jaringan internet. Hasil pengujian unit diperoleh rata rata 100% (sangat baik) pengujian integrasi diperoleh rata rata 92,85% (sangat baik) pengujian sistem menggunakan GTMetrix diperoleh rata rata page speed 98,42% (Grade A) Yslow 90,14% (Grade A) dan waktu load 1,18 detik; sedangkan pengujian penerimaan diperoleh rata rata 100% (sangat baik) Pengguna dapat menyalin kode program Latex dan mengunduh teks Arab doa dalam format gambar. Sistem yang dikembangkan memberikan kemudahan bagi pengguna Latex dalam menulis doa doa harian, serta mempermudah umat Islam dalam memperoleh infor masi doa menurut Alquran dan As Sunnah. Kata kunci doa, framework laravel, Latex, php, teks Arab, v model, web. ABSTRACT Dua' is a prayer and also one form of obedience, seeking for help from Allah Subhanahu wa ta'ala. The use of Arabic text in the writing of dua's sometimes does not match with the original when accessed on a different computer application or other application. The development of Latex based daily dua writing tools using the Laravel Framework could help to overcome these discrepancies. In this study, Arabic writing text using the Latex programming language, while application development uses V Model with the programming language PHP and the Laravel Framework. The system functional testing uses Black box testing with Equivalence Partitioning (EP) and Guttman Scale methods. The results of the study shown 263 dua data informations that can be accessed from the internet network. Unit testing results obtained on average of 100% (very good) integration testing obtained an average of 92.85% (very good) system testing using GTMetrix obtained an average page speed of 98.42% (Grade A) Yslow 90.14% (Grade A) and load time of 1.18 seconds; while acceptance testing is obtained on average of 100% (very good) Users can copy the Latex program code and download the Arabic text of the dua in image format. The system developed provides convenience for Latex users in writing daily dua's, and facilitates Muslims in obtaining dua information according to the Qur'an and Sunnah (authentic hadith) Keywords: arabic, du'a, laravel framework, Latex, php, v model, web.
Hanifah Atiya Budianto
202773033
DESIGN, FABRICATION AND TESTING OF PNEUMATIC MUSCLE ACTUATOR FOR ARTIFICIAL HUMAN ARM
This paper provides detailed design and characterisation of the Pneumatic Muscle Actuator (PMA) proposed for actuating an artificial human arm. The anatomy and the load carrying capacity of the human arm are considered for designing the PMA. The PMA is fabricated using the braided sleeve and latex tubes, and a pneumatic circuit is designed for its characterisation. The proposed artificial human arm with PMA can be used as a teaching aid to simulate neurological disorders.
Journal of Mechanical Engineering Research Developments
Adithya R Upadhya Altamash Rayan H Muralidhara
137435416
Water Testing Natural Rubber Latex Condoms: A Comparison of Surveillance Test Methods
Manufacturers, consumers, and regulators use various water test methods to test the integrity of the barrier offered by natural rubber latex condoms. The purpose of this study is to analyze three alternative water test methods and determine which is the best method for detecting holes in condoms. Three types of holes (laser, acupuncture, and 28 gage insulin needles) approximating defects that occur in condoms, were placed in condoms and then into equal size test sets for testing by six laboratories for the purpose of evaluating the three alternative methods: the ASTM method, the ISO/FDA method, and the CSI/FHI method. Each method shares a hang portion for 1 min, and then uses a different form of manipulation; either elevate (ASTM) roll (ISO/FDA) or squeeze (CSI/FHI) The interlaboratory study data indicate the CSI/FHI is the most sensitive method for locating holes in condoms, becoming more sensitive as the defect approaches the closed end.
Lc Thomas L Kurth Kerr Pc Andersen Ej Carter Ld McIlvain
55984503
Determination of burst initiation location and tear propagation velocity during air burst testing of latex condoms
The stress testing of latex condoms by an air burst procedure has been slow in gaining industry acceptance because questions have been raised regarding the influence of the test apparatus on the likelihood of breakage occurring where the condom is attached to the inflation device. It was desired to locate the areas at which the condoms tend to burst and thus corroborate or disprove these claims. Several factors associated with the bursting condom demanded the use of special instrumentation to detect arid study the burst initiation process. Microsecond duration electronic flashes were used for the initial stages of the investigation. Although the absolute point of initiation of a given burst could not be photographed, these high speed studies tend to indicate that the most likely place for high quality condoms to break is not where they are attached to the inflation device but at an intermediate area between the base and the tip of the condom. In addition, tear propagation characteristics and velocities were determined with a delayed flash technique, a double slit strip method and a rotating drum framing camera.
Andrew Davidhazy
13857571
HEtest: A Homomorphic Encryption Testing Framework
In this work, we present a generic open source software framework that can evaluate the correctness and performance of homomorphic encryption software. Our framework, called HEtest, automates the entire process of a test: generation of data for testing (such as circuits and inputs) execution of a test, comparison of performance to an insecure baseline, statistical analysis of the test results, and production of a LaTeX report. To illustrate the capability of our framework, we present a case study of our analysis of the open source HElib homomorphic encryption software. We stress though that HEtest is written in a modular fashion, so it can easily be adapted to test any homomorphic encryption software.
Financial Cryptography Workshops
Mayank Varia Sophia Yakoubov Yang Yang
31955039
Technical Note: A new phantom design for routine testing of Doppler ultrasound.
PURPOSE The objective of this project is to demonstrate the principle and operation for a simple, inexpensive, and highly portable Doppler ultrasound quality assurance (QA) phantom intended for routine QA testing. A prototype phantom has been designed, fabricated, and evaluated. The phantom described here is powered by gravity alone, requires no external equipment for operation, and produces a stable fluid velocity useful for quality assurance. Many commercially available Doppler ultrasound testing systems can suffer from issues such as a lengthy setup, prohibitive cost, nonportable size, or difficulty in use. This new phantom design aims to address some of these problems and create a phantom appropriate for assessing Doppler ultrasound stability. METHODS The phantom was fabricated using a 3D printer. The basic design of the phantom is to provide gravity powered flow of a Doppler fluid between two reservoirs. The printed components were connected with latex tubing and then seated in a tissue mimicking gel. Spectral Doppler waveforms were sampled to evaluate variations in the data, and the phantom was evaluated using high frame rate video to find an alternate measure of mean fluid velocity flowing in the phantom. RESULTS The current system design maintains stable flow from one reservoir to the other for approximately 7 s. Color Doppler imaging of the phantom was found to be qualitatively consistent with laminar flow. Using pulsed spectral Doppler, the average fluid velocity from a sample volume approximately centered in the synthetic vessel was measured to be 56 cm/s with a standard deviation of 3.2 cm/s across 118 measurements. An independent measure of the average fluid velocity was measured to be 51.9 cm/s with a standard deviation of 0.7 cm/s over 4 measurements. CONCLUSIONS The developed phantom provides stable fluid flow useful for frequent clinical Doppler ultrasound testing and attempts to address several obstacles facing Doppler phantom testing. Such an ultrasound phantom can make routine testing more approachable for institutions that wish to initiate a Doppler QA program or complement a previously existing QA program.
Medical physics
Jared V Grice David R Pickens Ronald R Price
40604241
Determining optimal quality distribution of latex weight using adaptive neuro fuzzy modeling and control systems
This paper introduces a systematic approach for the design of an adaptive neuro fuzzy inference system (ANFIS) for latex weight control of level loop carpets. In high production volume of some industries, manual control could lead to undesirable variations in product quality. Therefore, process parameters require continuous checking and testing against quality standards. One way to overcome this problem is to use statistical process control by which a complete elimination of variability may not be possible. Fuzzy logic (FL) control is one of the most significant applications of fuzzy logic and fuzzy set theory. Fuzzy if then rules (controllers) were developed in a systematic way that formed the backbone of the neuro fuzzy control system. The developed ANFIS was able to produce crisp numerical outcomes to predict latex weights. The neuro fuzzy system behaved like human operators. ANFIS outcomes were encouraging because they provide a more efficient and uniform distribution of latex weight and seemed to be better than the other statistical process control tools. FL controllers provide a feasible alternative to capture approximate, qualitative aspects of human reasoning and decision making processes.
Comput. Ind. Eng.
Osman Taylan Ibrahim A Darrab