276 research outputs found
Logika Informatika; Teori dan Soal
No full textLogika merupakan ilmu penalaran atau berpikir dan termasuk dalam matematika murni. Logika menggunakan simbol-simbol untuk mempermudah dalam memahaminya. Di dalam buku ini terdapat cakupan materi meliputi himpunan, sub-himpunan, operasi-operasi dasar dari himpunan, himpunan bilangan, fungsi, hasil kali himpunan, dan grafik fungsi, relasi, teori himpunan lanjut
ANALISIS PERSEPSI MAHASISWA TERHADAP LEARNING MANAGEMENT SYSTEM
No full textOne of the important applications that utilize Internet technology is leraning Management System. This is because the characteristics of Internet technology abolishing borders and time.This reseserach conducted to determine students' perceptions of the Learning Management System. Research subjects were students at the Faculty of Information Technology University Tarumanagara. Data analysis using Structural Equation Modeling (SEM) with the help of software analisys Of Moment Structure (AMOS) version 18.0. The variables used are the exogenous latent variable as an independent variable (X) in the form of Task Technology Fit (TTF) and endogenous latent variables as the dependent variable (Y) that is the Perceieved Usefulness (PU), Behavioral Intention to Use (ITU) and Actual use (AU). Decision criteria used is if the probability (sig)> 0.05 then H0 is accepted it means the relationship between the different variables do not affect each other. If the probability (Sig) <0.05 then H0 is rejected it means the relationship between the variables affect each other. The analysis showed that the effect of TTF to PU, PU to IU and IU to AU significance <0.05, which means the relationship between the various variables
Interfacing Coq + SSReflect with GAP
No full textPresentation slides and preprint both provided by author. Preprint published in Electronic Notes in Theoretical Computer Science: Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10).We report on an extendable implementation of the communication interface connecting Coq proof assistant to the computational algebra system GAP using the Symbolic Computation Software Composability Protocol (SCSCP). It allows Coq to issue OpenMath requests to a local or remote GAP instances and represent server responses as Coq terms.Peer reviewe
Perancangan Aplikasi Point of Sales Berbasis Web Pada Kedai Boxking Ricebox
Full text linkPerkembangan dan penerapan teknologi kini telah merambah ke berbagai sektor kehidupan, termasuk sektor bisnis. Penggunaan aplikasi Point of Sale (POS) dalam operasional bisnis dapat membantu proses transaksi penjualan dalam suatu bisnis. Boxking Ricebox merupakan sebuah bisnis yang bergerak dibidang makanan. Saat ini Boxking Ricebox masih menerapkan cara manual dalam proses transaksinya sehingga menimbulkan risiko kesalahan pencatatan transaksi. Penelitian ini bertujuan untuk membuat aplikasi Point of Sale yang akan memudahkan pemiliknya dalam mencatat transaksi dan mengelola stok barang. Metode Waterfall dipilih sebagai metode perancangan aplikasi pada penelitian ini. Adapun teknologi yang digunakan dalam pengembangan aplikasi ini adalah ReactJS untuk sisi frontend, Express untuk sisi backend, dan MongoDB sebagai databasenya
Geographic Information Retrieval using Query Aware Document Ranking Method Case Study for Surakarta
No full textThis paper discusses the development of a
Geographic Information Retrieval for Surakarta City in
Indonesia. Surakarta City was chosen as the location of the
place in the system because Surakarta got an award for the best
tourist spot in Indonesia. In this case, Geographic Information
Retrieval is a system that can handle geographic data by
analyzing existing text data and generate output that can be used
as decision-making on problems related to geographical. The
method used in processing the information is Query Aware
Document Ranking. The purpose of using this method is to
provide relevant results such as output answer, answer’s images
and coordinates of the answer
Segmentation of White Blood Cell Areas from Colour Degraded Microscope Slide Images
No full textAdvances in computer technology have increased in most aspects of medical
analysis, such as for diagnosing diseases, treating drugs, analysing organs, and others.
Computers are often used as a tool for analysis of medical images. This paper describes an
automatic segmentation process of white blood cell areas on given microscopic images. The
input of the system is microscope slide images with various staining conditions. Some images
contain colour degradations due to imperfect staining process, while some images are in
excellent staining condition. The Hough Transform method is applied for the segmentation
process of the white blood cells detection. The system classifies each detected white blood cell
area in one of the three defined categories (Small, Medium, and Large). The segmentation
accuracy of the proposed system was 40.58% for images with colour degradation, while 100%
segmentation accuracy was achieved by the system for images with excellent staining
condition
- …
