Results 31 to 40 of about 201,530,701 (335)
A symbolic semantics for a clculus for service-oriented computing [PDF]
, 2009 We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour.N. Yoshida, R. Pugliese, Yoshida, Nobuko, Pugliese, Rosario, Tiezzi, Francesco +4 morecore +1 more sourceFair Allocation in Crowd-Sourced Systems
Games, 2023 In this paper, we address the problem of fair sharing of the total value of a crowd-sourced network system between major participants (founders) and minor participants (crowd) using cooperative game theory.Mishal Assif, William Kennedy, Iraj Saniee +2 moredoaj +1 more sourceA Computational Theory for Life-Long Learning of Semantics [PDF]
, 2018 Semantic vectors are learned from data to express semantic relationships between elements of information, for the purpose of solving and informing downstream tasks. Other models exist that learn to map and classify supervised data. However, the two worlds of learning rarely interact to inform one another dynamically, whether across types of data or ...Peter Sutor Jr., Douglas Summers-Stay, Yiannis Aloimonos +2 moreopenaire +3 more sourcesEuclid preparation. CX. Testing template-fitting models for the multipoles of the two-point clustering of galaxy clusters [PDF]
Astronomy & AstrophysicsThe satellite will deliver a catalogue of optically selected galaxy clusters spanning from around 2000 deg2$ in Data Release (DR) 1 to around 14,000 deg^2 in DR3. In this work, we assess the validity of cluster clustering (CC) models for template-fitting,E. Tsaprazi, A. Fumagalli, F. Marulli, A. Heavens, G. Lesci, M. Romanello, M. Bolzonella, Z. Sakr, B. Altieri, S. Andreon, C. Baccigalupi, M. Baldi, S. Bardelli, P. Battaglia, A. Biviano, E. Branchini, M. Brescia, S. Camera, V. Capobianco, C. Carbone, V. Cardone, J. Carretero, M. Castellano, G. Castignani, S. Cavuoti, K. Chambers, A. Cimatti, C. Colodro-Conde, G. Congedo, L. Conversi, Y. Copin, F. Courbin, H. Courtois, H. Degaudenzi, S. D. L. Torre, G. Lucia, H. Dole, F. Dubath, X. Dupac, S. Dusini, S. Escoffier, M. Farina, R. Farinelli, S. Farrens, S. Ferriol, F. Finelli, P. Fosalba, S. Fotopoulou, M. Frailis, E. Franceschi, M. Fumana, S. Galeotta, K. George, B. Gillis, C. Giocoli, J. Graciá-Carpio, A. Grazian, F. Grupp, S. Haugan, W. Holmes, F. Hormuth, A. Hornstrup, K. Jahnke, M. Jhabvala, B. Joachimi, S. Kermiche, A. Kiessling, B. Kubik, M. Kummel, M. Kunz, H. Kurki-Suonio, A. Brun, S. Ligori, P. Lilje, V. Lindholm, I. Lloro, G. Mainetti, O. Mansutti, O. Marggraf, M. Martinelli, N. Martinet, R. Massey, S. Maurogordato, E. Medinaceli, Shuhao Mei, M. Meneghetti, E. Merlin, G. Meylan, A. Mora, Michele Moresco, L. Moscardini, E. Munari, C. Neißner, S. Niemi, J. Nightingale, C. Padilla, S. Paltani, F. Pasian, K. Pedersen, V. Pettorino, S. Pires, G. Polenta, M. Poncet, L. Popa, F. Raison, J. Rhodes, G. Riccio, E. Romelli, M. Roncarelli, R. Saglia, D. Sapone, B. Sartoris, P. Schneider, A. Secroun, E. Sihvola, P. Simon, C. Sirignano, G. Sirri, A. Mancini, L. Stanco, P. Tallada-Cresp'i, A. Taylor, I. Tereno, N. Tessore, S. Toft, R. Toledo-Moreo, F. Torradeflot, I. Tutusaus, J. Valiviita, T. Vassallo, G. Kleijn, Y. Wang, J. Weller, G. Zamorani, F. Zerbi, E. Zucca, M. Ballardini, C. Benoist, A. Boucaud, E. Bozzo, C. Burigana, M. Calabrese, T. Castro, J. Vigo, L. Gabarra, J. Garc'ia-Bellido, J. Macias-Perez, R. Maoli, J. Mart'in-Fleitas, N. Mauri, R. B. Metcalf, P. Monaco, A. Nucita, A. Pezzotta, M. Pontinen, I. Risso, V. Scottez, M. Sereno, M. Tenti, M. Tucci, M. Viel, M. Wiesmann, Y. Akrami, I. Andika, G. Angora, M. Archidiacono, F. Atrio-Barandela, É. Aubourg, L. Bazzanini, J. Bel, D. Bertacca, M. Béthermin, F. Beutler, A. Blanchard, L. Blot, M. Bonici, S. Borgani, M. L. Brown, S. Bruton, A. Calabró, B. Quevedo, F. Caro, C. Carvalho, F. Cogato, S. Contarini, A. Cooray, M. Costanzi, F. Paolis, G. Desprez, A. Díaz-Sánchez, S. Domizio, J. M. Diego, V. Duret, M. Y. Elkhashab, A. Enia, Y. Fang, A. Finoguenov, A. Franco, K. Ganga, T. Gasparetto, E. Gaztañaga, F. Giacomini, F. Gianotti, E. J. Gonzalez, G. Gozaliasl, A. Gruppuso, M. Guidi, C. M. Gutiérrez, A. Hall, C. Hern'andez-Monteagudo, H. Hildebrandt, J. Hjorth, J. Kajava, Y. Kang, Vanshika Kansal, D. Karagiannis, K. Kiiveri, J. Kim, C. Kirkpatrick, S. Kruk, M. Lattanzi, J. L. Graet, L. Legrand, M. Lembo, F. Lepori, G. Leroy, J. Lesgourgues, T. Liaudat, S. J. Liu, A. Loureiro, M. Magliocchetti, A. Manjón-García, F. Mannucci, C. Martins, L. Maurin, M. Miluzio, C. Moretti, G. Morgante, S. Nadathur, K. Naidoo, A. Navarro-Alsina, S. Nesseris, D. Paoletti, K. Paterson, L. Patrizii, C. Pattison, A. Pisani, D. Potter, G. Pratt, S. Quai, M. Radovich, K. Rojas, W. Roster, S. Sacquegna, M. Sahl'en, D. Sanders, E. Sarpa, A. Schneider, M. Schultheis, D. Sciotti, E. Sellentin, L. Smith, J. Sorce, K. Tanidis, F. Tarsitano, G. Testera, R. Teyssier, S. Tosi, A. Troja, C. Valieri, A. Venhola, D. Vergani, G. Verza, S. Vinciguerra, N. A. Walton, A. group, Blackett Laboratory, I. -. London, London SW7 2AZ, Uk, Inaf Trieste, 11 ViaG.B.Tiepolo, 34127 Trieste, Italy, D. Bologna, V. G. 932, 40129 Bologna, I. Bologna, V. G. 933, I. Bologna, 62 vialeBertiPichat, 40129 Bologna, D. Astronomia, U. Bologna, V. G. 932, Instituto de F'isica Te'orica UAM-CSIC, C. Cantoblanco, 28014 Madrid, Spain, Institut de Recherche en Astrophysique et Plan'etologie, U. Toulouse, Cnrs, Ups, Cnes, 18 avenue Edouard Belin, 31400 Toulouse, France, Universit'e St Joseph, Faculty of Nuclear Sciences, Beirut, Lebanon, Esacesa, Camino Bajo de Castillo, Sn., Urb. Villafranca del Castillo, 28692 Villanueva de la Cañada, Madrid, Inaf Brera, 28 ViaBrera, 20133 Milano, Ifpu, Institute for Fundamental Physics of the Universe, 2. viaBeirut, 34127 Trieste, Infn, Sezione di Trieste, 2. ViaValerio, TS 34127Trieste, Sissa, International School for Advanced Studies, Via Bonomea 265, TS 34136Trieste, D. Fisica, U. Genova, 33 viaDodecaneso, 16146, Genova, I. Genova, Department of PhysicsE. Pancini, University Federico, 6. ViaCinthia, 80126, Napoli, I. A. D. Capodimonte, 16 ViaMoiariello, 80131 Napoli, U. Torino, 1. viaP.Giuria, 10125 Torino, I. Torino, I. A. D. Torino, 20 viaOsservatorio, 1. P. Torinese, Inafiasf Milano, 12 ViaAlfonsoCorti, 20133 Milano, Inafiasf Roma, 33 viaFrascati, 00078 Monteporzio Catone, I. Roma, P. A. Moro, 2. -. C. D. D. Fisica, Edificio G. Marconi, 00133 Roma, Centro de Investigaciones Energ'eticas, Medioambientales Y. Tecnol'ogicas, 40 AvenidaComplutense, 28014 Madrid, Port d'Informaci'o Cient'ifica, Campus Uab, C. Sn, 08193 Bellaterra, I. Naples, Institute for Astronomy, U. Hawai'i, 2680 Woodlawn Drive, Honolulu, HI 96822, Usa, Instituto de Astrof'isica de Canarias, E. Laguna, Tenerife, University of Edinburgh, R. Observatory, B. Hill, Edinburgh EH9 3HJ, European Space AgencyESRIN, 1. LargoGalileoGalilei, 00044 Frascati, Roma, 1. Universit'eClaudeBernardLyon, CNRSIN2p3, Ipn Lyon, Umr 5822, Villeurbanne, F-69100, Institut de Ciències del Cosmos, U. Barcelona, 1. Mart'iiFranques, 08193 Barcelona, I. C. D. R. I. E. Avanccats, 23 PasseigdeLlu'isCompanys, 08193 Barcelona, Institut de Ciències de l'Espai, Carrer de Can Magrans, sn Cerdanyola del Vall'es, 08193 Barcelona, 1. UCBLyon, Iuf, 4. R. E. Fermi, 69622 Villeurbanne, D. O. Astronomy, U. Geneva, 16 ch.d'Ecogia, 1290 Versoix, Switzerland, A. Universit'e, Lam, Marseille, Universit'e Paris-Saclay, Institut d'Astrophysique Spatiale, 91405, Orsay, INFN-Padova, 8. ViaMarzolo, 35131 Padova, Cppm, I. D. A. E. P. Spaziali, V. F. D. Cavaliere, 100, 00133 Roma, Universit'e de Paris Cit'e, Cea, Aim, 91191, Gif-sur-yvette, INFN-Bologna, 46 ViaIrnerio, 40129 Bologna, Institut d'Estudis Espacials de Catalunya, Edifici Rdit, C. Upc, 08860 Castelldefels, Barcelona, Institute of Space Sciences, Sn., S. O. Physics, H. W. P. Laboratory, University of Bristol, Tyndall Avenue, Bristol, BS8 1TL, University Observatory, Lmu Faculty of Physics, 1. Scheinerstr., 81679 Munich, Germany., M. V. I. O. Physics, 1. Giessenbachstr., 85748 Garching, I. A. D. Padova, 5. Viadell'Osservatorio, 35131 Padova, Universitatssternwarte Munchen, F. Physik, Ludwig-Maximilians-Universitat Munchen, 8. Munchen, I. Astrophysics, U. Oslo, P. O. B. 1. Blindern, 0315 Oslo, Norway, Jet Propulsion Laboratory, California institute of Technology, 4800 Oak Grove Drive, Pasadena, Ca, 91109, Felix Hormuth Engineering, 17 Goethestr., 69181 Leimen, Technical University of Denmark, Elektrovej 327, 2800 Kgs. Lyngby, Denmark, Cosmic Dawn Center, Max-Planck-Institut fur Astronomie, 17 Konigstuhl, 69117 Heidelberg, Nasa Goddard Space Flight Center, Greenbelt, MD 20771, D. O. Physics, Astronomy, U. London, Gower Street, London WC1E 6BT, Universit'e de Geneve, D'epartement de Physique Th'eorique, Centre for Astroparticle Physics +499 moresemanticscholar +1 more sourceFunctional Big-step Semantics [PDF]
, 2016 When doing an interactive proof about a piece of software, it is important that the underlying programming language’s semantics does not make the proof unnecessarily difficult or unwieldy.Kumar, R.,, Magnus O. Myreen, Tan, Yong Kiam, Myreen, Magnus O., Owens, S., Kumar, Ramana, Owens, S.,, Myreen, Magnus,, Yong Kiam Tan, Myreen, Magnus, Ramana Kumar, Kumar, R., Owens, Scott, Scott Owens, Tan, Yong Kiam, +14 morecore +1 more sourceEuclid preparation. LIV. Sensitivity to neutrino parameters [PDF]
Astronomy & AstrophysicsThe mission of the European Space Agency will deliver weak gravitational lensing and galaxy clustering surveys that can be used to constrain the standard cosmological model and extensions thereof.Euclid Collaboration M. Archidiacono, J. Lesgourgues, S. Casas, S. Pamuk, N. Schöneberg, Z. Sakr, G. Parimbelli, A. Schneider, F. H. Peters, F. Pace, V. M. Sabarish, M. Costanzi, S. Camera, C. Carbone, S. Clesse, N. Frusciante, A. Fumagalli, P. Monaco, D. Scott, M. Viel, A. Amara, S. Andreon, N. Auricchio, M. Baldi, S. Bardelli, C. Bodendorf, D. Bonino, E. Branchini, M. Brescia, J. Brinchmann, V. Capobianco, V. Cardone, J. Carretero, M. Castellano, S. Cavuoti, A. Cimatti, G. Congedo, C. Conselice, L. Conversi, Y. Copin, F. Courbin, H. Courtois, A. Silva, H. Degaudenzi, M. Douspis, F. Dubath, C. Duncan, X. Dupac, S. Dusini, A. Ealet, M. Farina, S. Farrens, S. Ferriol, M. Frailis, E. Franceschi, S. Galeotta, B. Gillis, C. Giocoli, A. Grazian, F. Grupp, L. Guzzo, S. Haugan, H. Hoekstra, F. Hormuth, A. Hornstrup, K. Jahnke, B. Joachimi, E. Keihanen, S. Kermiche, A. Kiessling, M. Kilbinger, T. Kitching, B. Kubik, M. Kunz, H. Kurki-Suonio, S. Ligori, P. Lilje, V. Lindholm, I. Lloro, D. Maino, E. Maiorano, O. Mansutti, O. Marggraf, K. Markovič, N. Martinet, F. Marulli, R. Massey, S. Maurogordato, H. McCracken, E. Medinaceli, S. Mei, Y. Mellier, M. Meneghetti, E. Merlin, G. Meylan, Michele Moresco, L. Moscardini, E. Munari, S. Niemi, J. Nightingale, C. Padilla, S. Paltani, F. Pasian, K. Pedersen, W. Percival, V. Pettorino, S. Pires, G. Polenta, M. Poncet, L. Popa, L. Pozzetti, F. Raison, R. Rebolo, A. Renzi, J. Rhodes, G. Riccio, E. Romelli, M. Roncarelli, R. Saglia, D. Sapone, B. Sartoris, R. Scaramella, M. Schirmer, P. Schneider, T. Schrabback, A. Secroun, G. Seidel, S. Serrano, C. Sirignano, G. Sirri, L. Stanco, P. Tallada-Crespí, A. Taylor, I. Tereno, R. Toledo-Moreo, F. Torradeflot, I. Tutusaus, L. Valenziano, T. Vassallo, A. Veropalumbo, Y. Wang, J. Weller, G. Zamorani, J. Zoubian, E. Zucca, A. Biviano, A. Boucaud, E. Bozzo, C. Burigana, M. Calabrese, C. Colodro-Conde, M. Crocce, G. Fabbian, J. Graci'a-Carpio, G. Mainetti, M. Martinelli, N. Mauri, C. Neißner, V. Scottez, M. Tenti, M. Wiesmann, Y. Akrami, S. Anselmi, C. Baccigalupi, M. Ballardini, F. Bernardeau, D. Bertacca, S. Borgani, E. Borsato, S. Bruton, R. Cabanac, A. Cappi, C. Carvalho, G. Castignani, T. Castro, G. Cañas-Herrera, K. Chambers, S. Contarini, A. Cooray, J. Coupon, S. Davini, S. D. L. Torre, G. Lucia, G. Desprez, S. Domizio, A. Díaz-Sánchez, J. Vigo, S. Escoffier, P. G. Ferreira, I. Ferrero, F. Finelli, L. Gabarra, K. Ganga, J. García-Bellido, E. Gaztañaga, F. Giacomini, G. Gozaliasl, A. Gregorio, A. Hall, H. Hildebrandt, S. Ili'c, J. Kajava, Vanshika Kansal, D. Karagiannis, C. Kirkpatrick, L. Legrand, A. Loureiro, J. Macías-Pérez, G. Maggio, M. Magliocchetti, F. Mannucci, R. Maoli, C. Martins, S. Matthew, L. Maurin, R. B. Metcalf, M. Migliaccio, G. Morgante, S. Nadathur, N. A. Walton, L. Patrizii, A. Pezzotta, M. Pontinen, V. Popa, C. Porciani, D. Potter, P. Reimberg, I. Risso, P. Rocci, M. Sahl'en, A. Sánchez, E. Sefusatti, M. Sereno, P. Simon, A. Mancini, J. Steinwagner, G. Testera, M. Tewes, R. Teyssier, S. Toft, S. Tosi, A. Troja, M. Tucci, C. Valieri, J. Valiviita, D. Vergani, G. Verza, P. V. D. D. F. Pontremoli, Universita di Milano, 16 viaCeloria, 20133 Milano, Italy, I. Milano, Institute for Particle Physics, Cosmology, Rwth Aachen University, 52056 Aachen, Germany., Institut de Ciències del Cosmos, U. Barcelona, 1. Mart'iiFranques, 08193 Barcelona, Spain, I. Physik, U. Heidelberg, 16 Philosophenweg, 69117 Heidelberg, Institut de Recherche en Astrophysique et Plan'etologie, U. Toulouse, Cnrs, Ups, Cnes, 18 avenue Edouard Belin, 31400 Toulouse, France, Universit'e St Joseph, Faculty of Nuclear Sciences, Beirut, Lebanon, Institute of Space Sciences, Campus Uab, Carrer de Can Magrans, Sn., 08193 Barcelona, D. Fisica, U. Genova, I. Genova, 33 viaDodecaneso, 16146, Genova, Sissa, International School for Advanced Studies, Via Bonomea 265, TS 34136Trieste, Department of Astrophysics, U. Zurich, Winterthurerstrasse 190, 8093 Zurich, Switzerland, Aim, Cea, Universit'e Paris-Saclay, U. Paris, 91191 Gif-sur-Yvette, U. Torino, 1. viaP.Giuria, 10125 Torino, I. Torino, I. A. D. Torino, 20 viaOsservatorio, 1. P. Torinese, H. Sternwarte, U. Hamburg, Gojenbergsweg 112, 21029 Hamburg, D. Astronomia, U. Trieste, 11 ViaTiepolo, 34127 Trieste, Inaf Trieste, 11 ViaG.B.Tiepolo, 34127 Trieste, Ifpu, Institute for Fundamental Physics of the Universe, 2. viaBeirut, 34127 Trieste, Inafiasf Milano, 12 ViaAlfonsoCorti, Universit́e Libre de Bruxelles, Service de Physique Th'eorique CP225, Boulevard du Triophe, 1050 Bruxelles, Belgium, Department of PhysicsE. Pancini, University Federico, 6. ViaCinthia, 80126, Napoli, Ludwig-Maximilians-University, 4. Schellingstrasse, 81679 Munich, Infn, Sezione di Trieste, 2. ViaValerio, TS 34127Trieste, D. O. Physics, Astronomy, U. Columbia, Vancouver, BC V6T 1Z1, Canada, I. -. C. N. D. R. I. H. P. Computing, Big Data e Quantum Computing, 2. ViaMagnanelli, Bologna, S. O. Mathematics, Physics, U. Surrey, Guildford, Surrey, GU2 7XH, Uk, Inaf Brera, 28 ViaBrera, 20133 Milano, I. Bologna, V. G. 933, 40129 Bologna, D. Astronomia, U. Bologna, V. G. 932, I. Bologna, 62 vialeBertiPichat, 40129 Bologna, M. V. I. O. Physics, 1. Giessenbachstr., 85748 Garching, U. Genova, 33 viaDodecaneso, I. A. D. Capodimonte, 16 ViaMoiariello, 80131 Napoli, I. Naples, I. D. A. E. C. D. Espacco, U. Porto, Caup, Rua das Estrelas, PT4150-762 Porto, Portugal, I. Roma, 33 viaFrascati, 00078 Monteporzio Catone, I. Roma, P. A. Moro, 2. -. C. D. D. Fisica, Edificio G. Marconi, 00133 Roma, Institut de F'isica d'Altes Energies, The Barcelona Institute of Science, Technology, 08193 Bellaterra, Port d'Informaci'o Cient'ifica, C. Sn, D. Bologna, Institute for Astronomy, U. Edinburgh, R. Observatory, B. Hill, Edinburgh EH9 3HJ, J. B. C. F. Astrophysics, U. Manchester, Oxford Road, M13 9PL, European Space AgencyESRIN, 1. LargoGalileoGalilei, 00044 Frascati, Roma, Esacesa, Camino Bajo de Castillo, Sn., Urb. Villafranca del Castillo, 28692 Villanueva de la Cañada, Madrid, 1. Universit'eClaudeBernardLyon, CNRSIN2p3, Ipn Lyon, Umr 5822, Villeurbanne, F-69100, I. O. Physics, Laboratory of Astrophysics, E. P. F. Lausanne, Observatoire de Sauverny, 1290 Versoix, 1. UCBLyon, Iuf, 4. R. E. Fermi, 69622 Villeurbanne, Departament de F'isica, F. Ciencias, Universidade T'ecnica de Lisboa, C. Edif'icio, C. Grande, P. Lisboa, 1049-001 Lisboa, D. O. Astronomy, U. Geneva, 16 ch.d'Ecogia, Institut d'Astrophysique Spatiale, 91405, Orsay, Oxford University, Keble Road, O. 3RH, INFN-Padova, 8. ViaMarzolo, 35131 Padova, I. D. A. E. P. Spaziali, V. F. D. Cavaliere, 100, 00133 Roma, Universit'e de Paris Cit'e, 91191, Gif-sur-yvette, Istituto Nazionale Fisica Nucleare, Sezione Infn di Bologna, 46 ViaIrnerio, 40129 Bologna, Inaf Padova, 5. Viadell'Osservatorio, 35131 Padova, Universitatssternwarte Munchen, F. Physik, Ludwig-Maximilians-Universitat Munchen, 1. Scheinerstrasse, 8. Munchen, I. Astrophysics, U. Oslo, P. O. B. 1. Blindern, 0315 Oslo, Norway, L. Observatory, Leiden University, 55 Einsteinweg, 2333 CC Leiden, The Netherlands, von Hoerner Sulger GmbH, 8. Schlossplatz, 68723 Schwetzingen, Technical University of Denmark, Elektrovej 327, 2800 Kgs. Lyngby, Denmark, Cosmic Dawn Center, Max-Planck-Institut fur Astronomie, 17 Konigstuhl, 69117 Heidelberg, U. London, Gower Street, London WC1E 6BT +499 moresemanticscholar +1 more sourceIs it always windy somewhere? Occurrence of low-wind-power events over large areas [PDF]
, 2016 The incidence of widespread low-wind conditions is important to the reliability and economics of electric grids with large amounts of wind power. In order to investigate a future in which wind plants are geographically widespread but interconnected, we ...M. Handschy, S. Rose, Jay Apt Cooperative Institute for Research in the Envi Sciences, U. Colorado, Boulder, Usa, Enduring Energy Llc, D. Engineering, Public Policy, C. University, Pittsburgh, Tepper School of Business +11 moresemanticscholar +1 more sourceNegotiating the semantics of agent communication languages [PDF]
, 2002 This paper presents a formal framework and outlines a method that autonomous agents can use to negotiate the semantics of their communication language at run-time.Norman, TJ, Norman, Timothy J., Jennings, N. R., Reed, C., Jennings, Nicholas R., Reed, C, Reed, Chris; id_orcid, Chris Reed, Jennings, NR, Norman, Timothy, Timothy J Norman, Nicholas R Jennings +11 morecore +1 more sourceQuantum Coding via Quasi-Cyclic Block Matrix
Entropy, 2023 An effective construction method for long-length quantum code has important applications in the field based on large-scale data. With the rapid development of quantum computing, how to construct this class of quantum coding has become one of the key ...Yuan Li, Jin-Yang Lidoaj +1 more source
