Results 21 to 30 of about 12,649 (193)
Kepemimpinan Yohanes Pembaptis
Seorang pemimpin biasanya menimbulkan dua hal yang kontradiktif. Ia bisa dikasihi atau sebaliknya, dibenci oleh orang-orang yang dipimpinnya. Ada berbagai alasan atau motivasi yang dapat menimbulkan dua hal kontradiktif sebagai akibat kepemimpinan ...
Armand Barus
doaj +1 more source
A Practical Type Analysis for Verification of Modular Prolog Programs [PDF]
Regular types are a powerful tool for computing very precise descriptive types for logic programs. However, in the context of real life, modular Prolog programs, the accurate results obtained by regular types often come at the price of efficiency.
Pietrzak, Pawel +10 more
core +2 more sources
ABSTRACT In the course of a workday, employees attend to various tasks whose challenge might be equal to, higher than, or lower than employees' present level of capabilities. Moreover, employees encounter these tasks sequentially throughout the day with different levels of prior motivation. Investigating carryover effects in motivation from one task to
Sherry (Qiang) Fu +4 more
wiley +1 more source
Prolog and expert systems [PDF]
The first part of the thesis provides an introduction to the logic programming language Prolog and some areas of current research. The use of compilation to make Prolog faster and more efficient is studied and a modified representation for complex ...
Davies, Peter Leslie
core
Lix: An Effective Self-applicable Partial Evaluator for Prolog [PDF]
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effectively self-applied.
Stephen-John Craig +3 more
core +1 more source
Henrik Wergelands «Den første Gang» som prolog og talehandling
Sammendrag «Den første Gang» hører til blant Wergelands mest kjente dikt, men er hittil ikke blitt gjort til gjenstand for en helhetlig tolkning. Denne artikkelen setter seg fore å bøte på denne mangelen i Wergelandsforskningen.
Frode Helmich Pedersen
doaj +1 more source
Abstract Internet of Medical Things (IoMT) has typical advancements in the healthcare sector with rapid potential proof for decentralised communication systems that have been applied for collecting and monitoring COVID‐19 patient data. Machine Learning algorithms typically use the risk score of each patient based on risk factors, which could help ...
Chandramohan Dhasaratha +9 more
wiley +1 more source
Experimenting with independent and-parallel prolog using standard prolog [PDF]
This paper presents an approximation to the study of parallel systems using sequential tools. The Independent And-parallelism in Prolog is an example of parallel processing paradigm in the framework of logic programming, and implementations like
Hermenegildo, Manuel V. +1 more
core
A Framework for Safe and Efficient Fishbone Layouts in Warehouse Operations [PDF]
The adoption of Industry 4.0 technologies has transformed warehouse management, enhancing its efficiency, accuracy, and profitability. However, optimising warehouse layouts, particularly fishbone designs, remains complex and often relies on intricate ...
S. Nimishan, K. Theekshani
doaj +1 more source
Abstract This article argues that W. E. B. Du Bois grounded his seminal conceptualisation of “the Negro church” in a Pan‐Africanist challenge to how Christian reformers and missionaries' usage of “Darkest Africa” as a metaphor for modern urban vice and poverty denigrated Africa and the African diaspora while promoting a segregated, imperialist version ...
Kai Parker
wiley +1 more source

