Agent programming via planning programs - Giacomo, Patrizi, et al. - 2010 () Citation Context ...ime, all possible choices available in the target process must be guaranteed by the system, i.e., every legal request needs to be satisfied. We are going to give a formal definition of ...
doi:10.1016/j.omx.2020.100065Laurent Lamaignère aGuido Toci b cBarbara Patrizi b cMatteo Vannini b cAngela Pirri dSamuele Fanetti c eRoberto Bini c e fGabriel Mennerat gAndrius Melninkaitis hLuise Lukas iOptical Materials: X
Abstract The treatment of 2‐chloro‐10‐methylphenothiazine, 1, with lithium alkylamide/alkylamine or lithium dialkylamide/dialkylamine yields the corresponding 2‐ N ‐alkylamino‐or 2‐ N,N ‐dialkylaminophenothiazines in good yields via phenothiazyne. No significant reduction of 1 to 10‐...
The treatment of 2-chloro-10-methylphenothiazine, 1, with lithium alkylamide/alkylamine or lithium dialkylamide/dialkylamine yields the corresponding 2-N-alkylamino-or 2-N,N-dialkylaminophenothiazines in good yields via phenothiazyne. No significant reduction of 1 to 10-methylphenothiazine is ...
Berardi D, Cheikh F, De Giacomo G, Patrizi F (2008) Automatic service composition via simulation. Int J Found Comput Sci 19(2):429–451 MATHBerardi D, Cheikh F, Giacomo G D , et al. Automatic service composition via simulation [J]. International Journal of Foundations of Computer ...
Patrizi, Verification of deployed artifact systems via data abstraction, in: Proc. of ICSOC, 2011, pp. 142-156.Belardinelli, F., Lomuscio, A., & Patrizi, F. (2011). Verification of deployed artifact systems via data abstraction. In Proc. of the 9th Int. Joint Conf. on Service ...
ChemInform Abstract: PREPARATION OF CERTAIN 2㎞〢LKYLAMINOAND 2㎞,N〥IALKYLAMINO㎝ETHYLPHENOTHIAZINES VIA PHENOTHIAZINEdoi:10.1002/chin.197522321phenothiazine derivativesE. R. BIEHLV. PATRIZIS. LAPISP. C. REEVESJohn Wiley & Sons, LtdChemischer Informationsdienst...