Buscar
Mostrando ítems 1-10 de 10568
Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis
(AI Access Foundation, 2018-03)
We contribute to recent efforts in relating two approaches to automatic synthesis, namely, automated planning and discrete reactive synthesis. First, we develop a declarative characterization of the standard “fairness” ...
Compositional Supervisory Control via Reactive Synthesis and Automated Planning
(Institute of Electrical and Electronics Engineers, 2020-08)
We show how reactive synthesis and automated planning can be leveraged effectively to find nonmaximal solutions to deterministic supervisory control problems of discrete event systems. To do so, we propose efficient ...
Blue or red photoluminescence emission in α-Bi2O3 needles: Effect of synthesis method
(2018-01-01)
Monoclinic bismuth oxide (α-Bi2O3) has attractive optical properties and, therefore, its photoluminescence (PL) behavior has been increasingly explored. Besides this fact, the influence of synthesis methods on PL properties ...
Chemical synthesis and structural characterization of highly disordered ni colloidal nanoplarticles
(Amer Chemical SocWashingtonEUA, 2008)
Heparan sulfate and control of endothelial cell proliferation: increased synthesis during the S phase of the cell cycle and inhibition of thymidine incorporation induced by ortho-nitrophenyl-beta-D-xylose
(Elsevier B.V., 2004-08-04)
The effect of xylosides on the synthesis of [S-35]-sulfated glycosaminoglycans by endothelial cells in culture was investigated. Orthonitrophenyl-beta-D-xylose (10(-3)M) produces a dramatic enhancement on the synthesis of ...