Results 141 to 150 of about 18,348 (198)
Some of the next articles are maybe not open access.
A framework for typed HOAS and semantics
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, 2003 We investigate a framework for representing and reasoning about syntactic and semantic aspects of typed languages with variable binders.First, we introduce typed binding signatures and develop a theory of typed abstract syntax with binders. Each signature is associated to a category of "presentation" models, where the language of the typed signature is MICULAN, Marino, SCAGNETTO, Ivanopenaire +2 more sourcesSparse Framework for Reproduction of NFC-HOA
2020 54th Asilomar Conference on Signals, Systems, and Computers, 2020 In this paper a sparse optimization problem is formulated for reproduction of higher order ambisonics (HOA) encoded signals. The problem is solved using the least absolute shrinkage and selection operator (Lasso). The proposed solution is efficient enough to reproduce the desired sound field with reduced number of loudspeakers.Gyanajyoti Routray, Rajesh M. Hegdeopenaire +1 more sourceHOA vs. Leasehold
SSRN Electronic Journal, 2016 HOA (homeowners association) and leasehold (such as shopping mall) are two important types of urban institutions that have been developing very fast worldwide. This paper extends Hart-Moore model on cooperative vs. outside ownership to the urban setting by incorporating a distinctive feature of urban land use: the transaction and consumption of land is openaire +1 more sourceHOA
2009 Dieter Metze, Vanessa F. Cury, Ricardo S. Gomez, Luiz Marco, Dror Robinson, Eitan Melamed, Alexander K. C. Leung, Jae-Hwan Nam, Yoichi Matsubara, Keiya Tada, Seda Sancak, Ralf Paschke, Susan Kupka, Stefan K. Plontke, Hans-Peter Zenner, Susan Kupka, Gohar Azhar, Jeanne Y. Wei, Y. James Kang, Katsuhiko Yoshizawa, Abraham Nyska, Graeme Jones, Kathy Triantafilou, Philipp M. Lepper, Alexander K. C. Leung, Johannes G. Bode, Johannes G. Bode, Clifford E. Kashtan, Klaus Schümann, Günter Weiss, Christine Skerka, Christoph Licht, Peter F. Zipfel, Hugo ten Cate, Hugo ten Cate, Hugo ten Cate, Mark Oette, Dieter Häussinger, Isabelle L. Ruel, Patrick Couture, Benoît Lamarche, Sören V. Siegmund, Stephan L. Haas, Manfred V. Singer, Tobias Heintges, Ralf Kubitz, Dieter Häussinger, Andreas Erhardt, Andreas Erhardt, Frank Lammert, Johann Lorenzen, Hubert E. Blum, Darius Moradpour, Ralf Kubitz, Georg Merker, Dieter Häussinger, Matthias Wettstein, Matthias Wettstein, Mónica Guevara, Pere Ginès, Hugo Ten Cate, Alexander K. C. Leung, Ulrich Heininger, Markus Pfister, Hans-Peter Zenner, Marcus Schmitt, Arend F. L. Schinkel, Don Poldermans, Jeroen J. Bax, Heimo Mairbäurl, Peter Bärtsch, Ralf Kubitz, Georg H. Merker, Dieter Häussinger, Percy Chiu, Richard S. Legro, William L. Nyhan, Sandeep S. Dave, Jürgen Kohlhase, Arne W. J. H. Dielis, Hugo ten Cate, S. Harvey Mudd, Christian Simon, Oliver Schildgen, Suncanica Ljubin Sternak, Gordana Mlinaric-Galinovic, Eggert Stockfleth, Ingo Nindl, Inga Zerr, Mathias Bähr, Nicole Stankus, Katrin S. Lindenberg, G. Bernhard Landwehrmeyer, Jonas Denecke, Alexander K. C. Leung, Shoichi Katsuragi, Bodo Grimbacher, Cristina Woellner, Steven Holland, Christian A. Koch, Christian A. Koch, Michael T. Geraghty, Peter L. M. Jansen, Robert P. Whitehead, Edward M. Brown, Mei Bai, T. John Martin, Joaquin Escribano, Victor M. Garca Nieto, Patrick TS Ma, Lucia K Ma, Alexander K. C Leung, Angelika F. Hahn, Mallikarjuna Nallegowda, Upinderpal Singh, Mangajji R. Umapathi, Rakesh Kumar, Hugo ten Cate, Hugo ten Cate, Raffaele Badolato, Benjamin Glaser, Ruth Schreiber, Daniel Landau, Keiya Tada, Yoichi Matsubara, Goo Taeg Oh, Carla Kallen, Joel Michels Topf, Patrick Murray, S. Harvey Mudd, Jaime Tejedor, Mallikarjuna Nallegowda, Upinderpal Singh, Rakesh Kumar, Manish Kumar Varshney, Mallikarjuna Nallegowda, Upinderpal Singh, Rakesh Kumar, Kanya Suphapeetiporn, Vorasuk Shotelersuk, Bernd Hoppe, Albrecht Hesse, Geoffrey N. Hendy, David E. C. Cole, Charles R. Nolan, Haruo Shintaku, Hiroshi Ichinose, Henry J. Mankin, Christian A. Koch, Gabriel I. Uwaifo, Bettina C. Reulecke, Jonas Denecke, Werner Heppt, Annette Cryer, Rade Tomic, Jesse Roman, Jan Rémi, Soheyl Noachtar, Miki Nagase, Toshiro Fujita, Angel Cogolludo, Jason X.-J. Yuan, Lewis J. Rubin, Manning R. Davis, T. Balakrishna Poduval, Saurabh Chatterjee, Hulya Iliksu Gozu, Markus Eszlinger, Rifat Bircan, Ralf Paschke, Hulya Iliksu Gozu, Julia Lüblinghoff, Rifat Bircan, Ralf Paschke, Hulya Iliksu Gozu, Julia Lüblighoff, Rifat Bircan, Roland Pfäffle, Ralf Paschke, Shui-Ping Zhao, Hui-Jun Ye, Jens Mogensen, Rejin Kebudi, Sezer Saglam, Michael A. Becker, John R. Asplin, Keiya Tada, Yoichi Matsubara, Robert W. Gotshall, Christian A. Koch, Hubert Scharnagl, Winfried März, John A. Sayer, Simon H. Pearce, James J. Paparello, Philip J. Klemmer, Abhijit V. Kshirsagar, Patrick T. S. Ma, Lucia K. Ma, Alexander K. C. Leung +199 moreopenaire +1 more source
