Results 91 to 100 of about 21,187 (254)
Public Administration and Development, EarlyView.ABSTRACT The lack of a common variable for comparison has been a major obstacle to the development of Comparative Public Administration (CPA). State autonomy enables an integrative contextualization approach, allowing both the analysis of contextual individual country experiences and the generation of generalized comparable knowledge.
Wilson Wong
wiley +1 more source
MathematicsThis work addresses the analysis and characterization of deadlocks in discrete-event systems modeled by labeled Petri nets (LPNs) with undistinguishable and unobservable transitions.
Amal Zaghdoud, Zhiwu Li
doaj +1 more source
A Process-Oriented Architecture for Complex System Modelling [PDF]
, 2007 A fine-grained massively-parallel process-oriented model of platelets (potentially artificial) within a blood vessel is presented. This is a CSP inspired design, expressed and implemented using the occam-pi language. It is part of the TUNA pilot study on
Ritson, Carl G., Welch, Peter H.
core
Deadlock Detector and Solver (DDS) [PDF]
, 2019 Deadlock is found to be one of the most complex problems that can negatively impact the reliability of programs. If deadlocks are not detected and resolved, this can cause permanent thread blockage.
Eman Abdullah Aldakheel (8973041)
core +1 more source
Formal verification of distributed deadlock detection algorithms
, 1993 The problem of distributed deadlock detection has undergone extensive study. Formal verification of deadlock detection algorithms in distributed systems is an area of research that has largely been ignored.
Johnston, Brian Matt
core +1 more source
ADAPT: An Autonomous Forklift for Construction Site Operation
Journal of Field Robotics, EarlyView.ABSTRACT Efficient material logistics are critical in controlling costs and schedules in the construction industry. However, manual material handling remains prone to inefficiencies, delays, and safety risks. Autonomous forklifts offer a solution to streamline on‐site logistics, reducing reliance on human operators and mitigating labor shortages.
Johannes Huemer +12 more
wiley +1 more source
Small, EarlyView.This review charts the material evolution of bifunctional electrocatalysts for rechargeable lithium‐gas batteries. It highlights the journey from heteroatom‐doped, metal‐free carbon architectures to precision‐engineered carbon‐supported single‐atom sites. The discussion focuses on mechanistic insights into how these catalysts govern reversible O2, CO2,
Daming Ren +5 more
wiley +1 more source
Guaranteed Deadlock Recovery: Deadlock Resolution with Rollback Propagation
, 1995 Traditionally, deadlock resolution is performed by simply aborting any process or the lowest-priority process (called the victim) involved in a deadlock cycle. In message-passing systems where rollback propagation due to message dependencies is possible,
Michael Merritt +2 more
core
Photo‐Activated Merging Cascades in Droplet Swarms Upon Synergistic Solvation of Surfactants
Small, EarlyView.UV activates the motility of UV‐responsive droplets through a decylammonium/carbamate crystalline layer at the air/water interface. Upon merging with immobilized C12E3 surfactant droplets in the layer, hybrid droplets form which dissolve the layer due to synergistic solvation. In large droplet fields, this non‐linear behavior drives cascading events of
Priyanshu Singh +3 more
wiley +1 more source