-
21
KMS (Knowledge Management System) Obat Ibu Hamil Berbasis Android
Published 2021-03-01“…KMS ini telah diuji fungsionalitas dan kompatibilitasnya, sehingga berfungsi dan kompatibel untuk versi Android 5.0, Lollipop (API level 21) ke atas. Terakhir, KMS ini dapat membantu ibu hamil dalam mencari pengetahuan tentang keamanan obat yang akan dikonsumsi ibu hamil sehingga tidak berisko pada janin. …”
Get full text
Article -
22
IEA-R1 Renewed Primary System Pump B1-B Nozzles Stress Analysis
Published 2023-01-01“…For validation of the motor pump set, a verification of the nozzles was done compared with API 610 standard loads, and the allowable loads of the provider. …”
Get full text
Article -
23
CREATION OF COLLABORATIVE DEVELOPMENT ENVIRONMENT IN THE SYSTEM OF DISTANCE LEARNING
Published 2019-06-01“…The analysis of the functional and features of the Sphere Engine platform is carried out: a diagram of the work of the api compilers of the service is shown, which illustrates the process of execution of the program from the moment of its sending to the results of execution; The concept of a pool script in graphical form is provided. …”
Get full text
Article -
24
-
25
Intelligent Learning Support System
Published 2025-04-01“…Instead of creating another isolated LMS system, the platform is designed with a flexible API that allows it to be easily integrated into existing educational solutions (for example, university portals).…”
Get full text
Article -
26
AutoGEEval: A Multimodal and Automated Evaluation Framework for Geospatial Code Generation on GEE with Large Language Models
Published 2025-06-01“…Built upon the GEE Python API, AutoGEEval establishes a benchmark suite (AutoGEEval-Bench) comprising 1325 test cases that span 26 GEE data types. …”
Get full text
Article -
27
Assessment of Structural Integrity Through On-Site Decision-Making Analysis for a Jacket-Type Offshore Platform
Published 2025-03-01“…In the static linear analyses (i, ii, and iii), the overall results confirm that the unity checks (UCs) for structural members, tubular joints, and piles remain below allowable thresholds (UC < 1.0), thus meeting API RP 2A-WSD, AISC, IMCA, and Pemex P.2.0130.01-2015 standards for different load demands. …”
Get full text
Article -
28
Magnetic particle grinding and finishing test of mixed particle size abrasives
Published 2025-06-01“…At the same time, the multiple correlation coefficient R2 is 0.996 2, and R2Adj is 0.989 4 after verification, which is very close to 1.000 0, indicating a good fit of the model. …”
Get full text
Article -
29
Property-Based Testing for Cybersecurity: Towards Automated Validation of Security Protocols
Published 2025-05-01“…We introduce the principles of PBT and demonstrate its applicability through selected use cases involving authentication mechanisms, cryptographic APIs, and session protocols. We further discuss integration strategies with existing security pipelines and highlight key challenges such as property specification, oracle design, and scalability. …”
Get full text
Article -
30
ANTIREALISTINIAI ARGUMENTAI FILOSOFIJOJE
Published 2000-01-01“…Ši sąvoka pakeista pragmatistinėmis verifikacijos bei asertibilumo sąvokomis; visas dėmesys sutelktas į episteminį prasmės (t. y. reikšmės žinojimo) aspektą ir prieita prie išvados apie natūralios kalbos sakiniams būdingą reikšmės nedeterminuotumą. …”
Get full text
Article -
31
ANTIREALISTINIAI ARGUMENTAI FILOSOFIJOJE
Published 2000-01-01“…Ši sąvoka pakeista pragmatistinėmis verifikacijos bei asertibilumo sąvokomis; visas dėmesys sutelktas į episteminį prasmės (t. y. reikšmės žinojimo) aspektą ir prieita prie išvados apie natūralios kalbos sakiniams būdingą reikšmės nedeterminuotumą. …”
Get full text
Article -
32
ANTIREALISTINIAI ARGUMENTAI FILOSOFIJOJE
Published 2000-01-01“…Ši sąvoka pakeista pragmatistinėmis verifikacijos bei asertibilumo sąvokomis; visas dėmesys sutelktas į episteminį prasmės (t. y. reikšmės žinojimo) aspektą ir prieita prie išvados apie natūralios kalbos sakiniams būdingą reikšmės nedeterminuotumą. …”
Get full text
Article -
33
ANTIREALISTINIAI ARGUMENTAI FILOSOFIJOJE
Published 2000-01-01“…Ši sąvoka pakeista pragmatistinėmis verifikacijos bei asertibilumo sąvokomis; visas dėmesys sutelktas į episteminį prasmės (t. y. reikšmės žinojimo) aspektą ir prieita prie išvados apie natūralios kalbos sakiniams būdingą reikšmės nedeterminuotumą. …”
Get full text
Article -
34
ANTIREALISTINIAI ARGUMENTAI FILOSOFIJOJE
Published 2000-01-01“…Ši sąvoka pakeista pragmatistinėmis verifikacijos bei asertibilumo sąvokomis; visas dėmesys sutelktas į episteminį prasmės (t. y. reikšmės žinojimo) aspektą ir prieita prie išvados apie natūralios kalbos sakiniams būdingą reikšmės nedeterminuotumą. …”
Get full text
Article