APLIKASI SOFTWARE MICROSOFT PROJECT 2000 PADA MANAJEMEN PENGENDALIAN WAKTU PR…

Edition

-

ISBN/ISSN

-

Collation

x, 60 hlm.; ill.; tab.; 28 cm.

Series Title

-

Call Number

T861462005

ANALISIS TEGANGAN REGANGAN PADA KAIT (HOOK) KAPASITAS 7.5 TON MENGUNAKAN SOFT…

Dalam penelitian ini untuk mencari Tegangan, Regangan pada kait (hook) kapasitas 7.5 ton. Menggunakan Software Autodesk Inventor 2018. Material yang digunakan AISI 4140 QT, Benda yang digunakan adalah overhead crane kapasitas 7.5 ton pada kait (hook) pada penelitian ini untuk mengetahui seberapa besar tegangan regangan pada kait (hook) overhead crane dan dimana saja yang akan mengami tegaggan d…

IMPLEMENTASI DAN ANALISIS DYNAMIC TRAFFIC MANAGEMENT DENGAN PARAMETER QUALITY…

This study examines the implementation and analysis of Dynamic Traffic Management on Software Defined Network (SDN) networks with performance assessment through Quality of Service (QoS) parameters using the t-Test method. The aim is to assess the impact of implementing dynamic traffic management on network performance by comparing conditions before and after the use of intent based routing on t…

ANALISIS EFISIENSI PENGGUNAAN AUTOMASI DALAM INFRASTRUKTUR PENGEMBANGAN APLIK…

Dalam era digital yang terus berkembang, efisiensi dalam penyediaan dan pengelolaan infrastruktur aplikasi menjadi aspek krusial, terutama pada lingkungan private cloud. Penelitian ini bertujuan untuk menganalisis perbedaan efisiensi antara metode manual dan automasi dalam proses provisioning infrastruktur pengembangan aplikasi berbasis Proxmox Virtual Environment (PVE). Automasi dilakukan meng…

PEMBUATAN SOFTWARE DENGAN VISUAL BASIC 6.0 UNTUK MENENTUKAN CADANGAN HIDROKAR…

Untuk menentukan cadangan migas suatu reservoir (lapangan) dapat dilakukan dengan metode kurva penurunan produksi (decline curve). Berdasarkan hasil evaluasinya, maka metode kurva penurunan produksi hanya menggunakan data laju produksi, data kumulatif produksi dan waktu produksi. Metode kurva penurunan produksi ini digunakan untuk menentukan Recoverable Reserve, Remaining Reserves, dan Remainin…

STUDI DAN PERENCANAAN PIT411 PT. NUSANTARA TERMAL COAL MENGGUNAKAN SOFTWARE M…

PT. Nusantara Termal Coal merupakan salah satu perusahaan yang bergerak dalam bidang pertambangan yang berlokasi di Kabupaten Muara Bungo, Jambi. Metode penambangan yang dipakai adalah metode Stripmine, dengan menggunakan kombinasi antara alat gali-muat dan alat angkut (Exccivator dan Dumptruck). Pada tahun 2012, penambangan dilakukan di Pit411 dengan target produksi sebesar 1.200.000 ton batub…

APLIKASI SOFTWARE INTERACTIVE PETROPHYSICS UNTUK ANALISA LITOLOGI, POROSITAS …

Untuk mengetahui litologi, porositas serta jenis hidrokarbon yeng terdapat pada 3 sumur baru Lapangan Braga terlebih dahulu dilakukan analisa data log sumur tersebut. Untuk mendapatkan hasil analisa yang tepat dan akurat penulis menggunakan Software petrofisika yang dikembangkan oleh Senergy Ltd. yaitu Interactive petrophysics. Meskipun telah menggunakan Software tapi tahapan dalam proses pengo…

Komunikasi Analog dan Digital dengan Software Defined Radio dan GNU Radio

Edition

-

ISBN/ISSN

978-623-02-1518-6

Collation

xiv, 117 hlm.; 25 cm

Series Title

-

Call Number

005.1 Har k

PEMODELAN TOPIK MENGGUNAKAN PRE-TRAINED LANGUAGE MODEL ROBERTA DAN VARIATIONA…

The rapid and widespread flow of information highlights the importance of efficient text data management, making it even more important to organize and classify information from text data as more news is published online all the time. Topic modeling is useful in clustering news texts from the ever-growing sea of online news based on the topic of each text data. One method of topic modeling is t…

Software Engineering Productivity Handbook

Edition

-

ISBN/ISSN

0-07-911366-4

Collation

xx, 650 p.; 24 cm.

Series Title

-

Call Number

005.1 Key s

SOFTWARE ENGINEERING HANDBOOK

Edition

-

ISBN/ISSN

0-07-023165-6

Collation

151 p.; 25 cm.

Series Title

-

Call Number

005.1 Sof s

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022,…

This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022. The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2…

Financial Cryptography and Data Security: 26th International Conference, FC 2…

This book constitutes revised selected papers from the proceedings of the 26th International Conference on Financial Cryptography and Data Security, FC 2022, which was held in Grenada during May 2022. The 32 full papers and 4 short papers included in this book were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: tokenomics; MPC (most…

High Performance Computing and Networking: Select Proceedings of CHSN 2021

This book comprises the proceedings of the 2nd International Conference on Computer Vision, High-Performance Computing, Smart Devices, and Networks (CHSN 2021). This book highlights the high-quality research articles in machine learning, computer vision, and networks. The content of this volume gives the reader an up-to-date picture of the state-of-the-art connection between computational intel…

Cross-Cultural Design. Applications in Learning, Arts, Cultural Heritage, Cre…

The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022 and took place virtually during June 26 - July 1, 2022. The papers included in the HCII-CCD volume set were organized in topical sections as follows: Part I: Cross-Cultural Interaction Design; …

Trandisciplinary Multispectral Modelling and Cooperation for the Preservation…

This volume constitutes selected and revised papers presented during the Second International Conference on Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage, TMM_CH 2021, held in Athens, Greece, in December 2021. The 17 full papers and 6 short papers presented in ths volume were thoroughly reviewed and selected from 310 submissions. The pape…

Service-Oriented and Cloud Computing: 9th IFIP WG 6.12 European Conference, E…

This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022. The 6 full and 2 short papers presented in this volume were carefully reviewed and selected from 17 submissions.

Leveraging Applications of Formal Methods, Verification and Validation. Adapt…

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between progra…

Leveraging Applications of Formal Methods, Verification and Validation. Adapt…

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program …

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFM…

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 pre…

Animated Program Design: Intermediate Program Design Using Video Game Develop…

This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver from a problem statement to a working and tested programmed solution. It introduces the reader to generative recursion, heuristic searching, accumulative recursion, tail recursion, iteration, mutation, loops, program c…

Applied Computer Sciences in Engineering: 9th Workshop on Engineering Applica…

This book constitutes the proceedings of the 9th Workshop on Engineering Applications on Applied Computer Sciences in Engineering, WEA 2022, which took place in Bogotá, Colombia, in November/December 2022. The 39 papers presented in this volume were carefully reviewed and selected from 143 submissions. They were organized in topical sections as follows: Artificial Intelligence; Optimization; S…

Leveraging Applications of Formal Methods, Verification and Validation. Pract…

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program sp…

Software Engineering and Formal Methods: 20th International Conference, SEFM …

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis…

Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP…

This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28…

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …

This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verificati…

Blockchain in Life Sciences

This book highlights the latest advances on the implementation and adaptation of blockchain technologies in real-world scientific, biomedical, and data applications. It presents rapid advancements in life sciences research and development by applying the unique capabilities inherent in distributed ledger technologies. The book unveils the current uses of blockchain in drug discovery, drug and d…

Privacy Technologies and Policy: 10th Annual Privacy Forum, APF 2022, Warsaw,…

This book constitutes the refereed conference proceedings of the 10th Annual Privacy Forum, APF 2022 in Warsaw, Poland in June 2022. The 8 full papers were carefully reviewed and selected from 38 submissions. The papers are organized in the area of privacy and data protection while focusing on privacy related application areas. A large focus of the 2022 conference was on the General Dat…

Evaluation of Novel Approaches to Software Engineering: 16th International Co…

The present book includes extended and revised versions of a set of selected papers from the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021), held as an online event from April 26 to 27, 2021. The 15 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers included in this book contribute to the un…

Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems

This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked gr…