[ACM Press the Fourth ACM Workshop - Toronto, Ontario, Canada (2012.11.06-2012.11.06)] Proceedings of the Fourth ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings - BuildSys '12 - An adaptive smart lighting system
- 作者Afshari, Sina; Mishra, Sandipan; Wen, John; Karlicek, Robert
- 文件大小390.86KB
- 发表时间2012
- DOI10.1145/2422531.2422570
Kāśyapa's Book of Wisdom (Kāśyapa-jñānakāṇḍah). A Ritual Handbook of the Vaikhānasasby T. Goudriaan; KāśyapaReview by: Ludo Rocher · Journal of the American Oriental Society · 1970
Love and protest: An interview with Sunil YapaRock, Melissa Yang · Emotion, Space and Society · 2019
Dream Trackers: Yapa Art and Knowledge of the Australian DesertBarbara Glowczewski · 2004
Possessor dissension: Agreement mismatch in Ngumpin-Yapa possessive constructionsMeakins, Felicity; Nordlinger, Rachel · Linguistic Typology
Yapa. Dons, échanges et complicités dans les Andes méridionalesOlivia Angé · 2011
Commentary on "What Are Improved Seeds? An Epistemology of the Green Revolution" by Lakshman YapaDavid Kummer · Economic Geography · 1995
T. Goudriaan (tr.): Kāśyapa's Book of wisdom (Kāśyapa-jñānakāṇḍaḥ): a ritual handbook of the Vaikhānasas. (Disputationes Rheno-Trajectinae, x.) 341 pp. The Hague, etc.: Mouton and Co., 1965. Guilders 38.Wright, J. C. · Bulletin of the School of Oriental and African Studies · 1967
Boolean satisfiability with transitivity constraintsBryant, Randal E.; Velev, Miroslav N. · ACM Transactions on Computational Logic · 2002
LTL over description logic axiomsBaader, Franz; Ghilardi, Silvio; Lutz, Carsten · ACM Transactions on Computational Logic · 2012
Structural FocalizationSimmons, Robert J. · ACM Transactions on Computational Logic · 2014
Quantitative languagesChatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. · ACM Transactions on Computational Logic · 2010
Propositional computability logic IIJaparidze, Giorgi · ACM Transactions on Computational Logic · 2006
Compilability of propositional abductionLiberatore, Paolo; Schaerf, Marco · ACM Transactions on Computational Logic · 2007
On compositionality and its limitationsRabinovich, Alexander · ACM Transactions on Computational Logic · 2007
Erratum to splitting an operatorVennekens, Joost; Gilis, David; Denecker, Marc · ACM Transactions on Computational Logic · 2007