Results 61 to 70 of about 56,328 (352)
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in
SAT-Based Planning [PDF]
, 2006 In Verification and in (optimal) AI Planning, a successful method is to formulate the application as boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based procedures.
Bart Selman +3 more
core +6 more sources
Advanced Science, EarlyView.Nigral dopaminergic (DA) neurons modulate and represent pain with a preference to a particular modality (mechanical) and laterality (contralateral), which are controlled by nigral GABAergic neurons. The pain modulation is mimicked by the nigro‐subthalamic projection and its downstream neurons, involving D2‐like receptors.
Ying Ji +13 more
wiley +1 more source
Interview with the Medicine Man: A Case Study of a Traditional Malian Healer
INNOVATIONS in Pharmacy, 2014 Pharmacists are commonly members of medical mission teams that provide health care services in underdeveloped countries. Although pharmacists and others often find their service on a mission trip to be positive and life changing, critics of such missions
John Rovers
doaj +1 more source
Invers matrik pita toeplitz [PDF]
, 1994 Dalam tugas akhir ini dibahas suatu metode untuk menentukan elemen-elemen dari rovers Matriks Pita Toeplitz yang diberikan dalam bentuk penyelesaian persamaan differen¬si.
Hartono , Aris Budi
core
PDDLStream: Integrating Symbolic Planners and Blackbox Samplers via Optimistic Adaptive Planning
, 2020 Many planning applications involve complex relationships defined on high-dimensional, continuous variables. For example, robotic manipulation requires planning with kinematic, collision, visibility, and motion constraints involving robot configurations ...
Garrett, Caelan Reed +2 more
core +2 more sources
Corals and Reef‐Dwelling Fish Regulate Carbon Storage and Cycling Processes in Coral Reef Ecosystems
Advanced Science, EarlyView.Coral reefs are biodiversity hotspots, yet their role in carbon storage and cycling remains poorly understood. Using field surveys and modeling in the South China Sea, we reveal the overlooked potential of carbon storage in reef ecosystems and how reef fish, corals, and surface sediment jointly shape reef carbon reservoirs.
Yiting Chen +8 more
wiley +1 more source
Zero-Energy and Beyond: A Paradigm Shift in Assessment
Buildings, 2014 The world is on the eve of major changes in the way energy and material are used, and the building and construction sector is at the forefront. One of the revolutionary changes is that for 0-energy houses and buildings.
Ronald Rovers
doaj +1 more source
Operationele leases: een niet te onderschatten post [PDF]
MAB, 2004 In dit artikel wordt het empirisch onderzoek naar de verwerking van operationele leases bij 132 beursondernemingen in de periode 1996-2003 en de mogelijke impact op de solvabiliteitsratio in 2003 beschreven.
Mijntje Lückerath-Rovers
doaj +3 more sources
Study of Free‐Space Optical Quantum Network: Review and Prospectives
Advanced Science, EarlyView.Free from the constraints of fiber connections, free‐space quantum network enables longer and more flexible quantum network connections. This review summarizes and comparatively analyzes free‐space quantum network experiments based on ground stations, satellites, and mobile platforms.
Hua‐Ying Liu, Zhenda Xie, Shining Zhu
wiley +1 more source
Sensors, 2016 This paper provides algorithms to fuse relative and absolute microelectromechanical systems (MEMS) navigation sensors, suitable for micro planetary rovers, to provide a more accurate estimation of navigation information, specifically, attitude and ...
Muhammad Ilyas +4 more
doaj +1 more source