Results 21 to 30 of about 201,530,701 (335)

Efficient and Effective Directed Minimum Spanning Tree Queries

Mathematics, 2023
Computing directed Minimum Spanning Tree (DMST) is a fundamental problem in graph theory. It is applied in a wide spectrum of fields from computer network and communication protocol design to revenue maximization in social networks and syntactic parsing ...
Zhuoran Wang, Dian Ouyang, Yikun Wang, Qi Liang, Zhuo Huang   +4 more
doaj   +1 more source

STRUM: A SEMANTIC TRUST-BASED MINER MODEL FOR DETECTING INFLUENTIAL SPREADERS IN SOCIAL NETWORKS

Proceedings of the International Conferences Big Data Analytics, Data Mining and Computational Intelligence 2019; and Theory and Practice in Modern Computing 2019, 2019
Social Networks have become embedded in every aspect of today people’s life. The success of online social networks has a significant role in shaping trust and influence among participants.
H. Wagih, Hoda M. O. Mokhtar, Samy S. A. Ghoniemy   +2 more
semanticscholar   +1 more source

A robust semantics hides fewer errors [PDF]

, 2009
In this paper we explore how formal models are interpreted and to what degree meaning is captured in the formal semantics and to what degree it remains in the informal interpretation of the semantics.
Reeves, Steve, Streader, David, David Streader, Steve Reeves   +3 more
core   +1 more source

Service-Oriented Logic Programming [PDF]

Logical Methods in Computer Science, 2015
We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that
Ionut Tutu, Jose Luiz Fiadeiro
doaj   +1 more source

Unconditional Authentication Based on Physical Layer Offered Chain Key in Wireless Communication

Entropy, 2022
Authentication is a critical issue in wireless communication due to the impersonation and substitution attacks from the vulnerable air interface launched by the malicious node.
Shaoyu Wang, Kaizhi Huang, Xiaoming Xu, Xiaoyan Hu, Jing Yang, Liang Jin   +5 more
doaj   +1 more source

Computational semantics in type theory [PDF]

Mathématiques et sciences humaines, 2004
This paper aims to show how Montague-style grammars can be completely formalized and thereby declaratively implemented by using the Grammatical Framework GF. The implementation covers the fundamental operations of Montague’s PTQ model: the construction of analysis trees, the linearization of trees into strings, and the interpretation of trees as ...
openaire   +1 more source

Computing preferred extensions in abstract argumentation : a SAT based approach [PDF]

, 2013
This paper presents a novel SAT-based approach for the computation of extensions in abstract argumentation, with focus on preferred semantics, and an empirical evaluation of its performances.
Vallati, Mauro, Giacomin, Massimiliano, Paul E. Dunne, Cerutti, Federico, Federico Cerutti, Massimiliano Giacomin, Dunne, Paul E., Dunne, Paul, Mauro Vallati   +8 more
core   +1 more source

Length-Gauge Optical Matrix Elements in WIEN2k

Computation, 2022
Hybrid exchange-correlation functionals provide superior electronic structure and optical properties of semiconductors or insulators as compared to semilocal exchange-correlation potentials due to admixing a portion of the non-local exact exchange ...
Oleg Rubel, Peter Blaha
doaj   +1 more source

Euclid preparation. XCV. Cosmology Likelihood for Observables in Euclid (Cļoe). 2. Code implementation [PDF]

Astronomy & Astrophysics
We provide a description of the code implementation and structure of Cosmology Likelihood for Observables in Euclid (ļoe), developed by members of the Euclid Consortium. ļoe is a modular .
Euclid Collaboration S. Joudaki, V. Pettorino, L. Blot, M. Bonici, S. Camera, G. Cañas-Herrera, V. Cardone, P. Carrilho, S. Casas, S. Davini, S. Domizio, S. Farrens, L. Goh, S. G. Beauchamps, S. Ili'c, F. Keil, A. Brun, M. Martinelli, C. Moretti, A. Pezzotta, Z. Sakr, A. Sánchez, D. Sciotti, K. Tanidis, I. Tutusaus, V. Ajani, S. Alvi, M. Crocce, A. Deshpande, A. Fumagalli, C. Giocoli, A. Ferrari, R. Kou, L. Legrand, M. Lembo, G. Lesci, D. Navarro-Giron'es, A. Nouri-Zonoz, S. Pamuk, L. Pagano, M. Tsedrik, S. Arcari, E. Artis, M. Ballardini, J. Bel, C. Carbone, M. Costanzi, B. Caro, C. Duncan, G. Fabbian, M. Kilbinger, T. Kitching, F. Lacasa, M. Lattanzi, J. Olivares-Miranda, L. Salvati, D. Sapone, B. Sartoris, E. Sellentin, P. Taylor, B. Altieri, A. Amara, L. Amendola, S. Andreon, N. Auricchio, C. Baccigalupi, M. Baldi, S. Bardelli, P. Battaglia, A. Biviano, D. Bonino, E. Branchini, M. Brescia, J. Brinchmann, A. Caillat, V. Capobianco, J. Carretero, M. Castellano, G. Castignani, S. Cavuoti, K. Chambers, A. Cimatti, C. Colodro-Conde, G. Congedo, C. J. Conselice, L. Conversi, Y. Copin, F. Courbin, H. Courtois, A. Silva, H. Degaudenzi, S. D. L. Torre, G. Lucia, A. Giorgio, H. Dole, F. Dubath, X. Dupac, S. Dusini, A. Ealet, S. Escoffier, M. Farina, R. Farinelli, F. Faustini, S. Ferriol, F. Finelli, P. Fosalba, S. Fotopoulou, N. Fourmanoit, M. Frailis, E. Franceschi, M. Fumana, S. Galeotta, K. George, W. Gillard, B. Gillis, J. Graciá-Carpio, B. Granett, A. Grazian, F. Grupp, L. Guzzo, S. Haugan, H. Hoekstra, W. Holmes, I. Hook, F. Hormuth, A. Hornstrup, P. Hudelot, K. Jahnke, M. Jhabvala, E. Keihanen, S. Kermiche, A. Kiessling, B. Kubik, K. Kuijken, M. Kummel, M. Kunz, H. Kurki-Suonio, S. Ligori, P. Lilje, V. Lindholm, I. Lloro, G. Mainetti, D. Maino, E. Maiorano, O. Mansutti, O. Marggraf, N. Martinet, F. Marulli, R. Massey, S. Maurogordato, H. McCracken, E. Medinaceli, S. Mei, Y. Mellier, M. Meneghetti, E. Merlin, G. Meylan, A. Mora, Michele Moresco, L. Moscardini, S. Mourre, E. Munari, R. Nakajima, C. Neißner, S. Niemi, J. Nightingale, C. Padilla, S. Paltani, F. Pasian, K. Pedersen, W. Percival, 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, J. Schewtschenko, M. Schirmer, P. Schneider, T. Schrabback, A. Secroun, E. Sefusatti, G. Seidel, M. Seiffert, S. Serrano, P. Simon, C. Sirignano, G. Sirri, A. Mancini, L. Stanco, J. Starck, J. Steinwagner, P. Tallada-Cresp'i, A. Taylor, I. Tereno, S. Toft, R. Toledo-Moreo, F. Torradeflot, L. Valenziano, J. Valiviita, T. Vassallo, G. Kleijn, A. Veropalumbo, Y. Wang, J. Weller, A. Zacchei, G. Zamorani, F. Zerbi, E. Zucca, V. Allevato, M. Bolzonella, E. Bozzo, C. Burigana, M. Calabrese, D. Ferdinando, J. Vigo, S. Matthew, N. Mauri, R. B. Metcalf, A. Nucita, M. Pontinen, C. Porciani, V. Scottez, M. Tenti, M. Viel, M. Wiesmann, Y. Akrami, I. Andika, R. E. Angulo, S. Anselmi, M. Archidiacono, F. Atrio-Barandela, A. Balaguera-Antolínez, M. Bethermin, A. Blanchard, H. Böhringer, S. Borgani, M. L. Brown, S. Bruton, A. Calabró, B. Quevedo, A. Cappi, F. Caro, C. S. Carvalho, T. Castro, F. Cogato, S. Conseil, S. Contarini, A. Cooray, O. Cucciati, F. Paolis, G. Desprez, A. Díaz-Sánchez, J. M. Diego, P. Dimauro, A. Enia, Y. Fang, P. G. Ferreira, A. Finoguenov, A. Franco, K. Ganga, J. Garc'ia-Bellido, T. Gasparetto, V. Gautard, R. Gavazzi, E. Gaztañaga, F. Giacomini, F. Gianotti, G. Gozaliasl, M. Guidi, C. M. Gutiérrez, A. Hall, S. Hemmati, C. Hern'andez-Monteagudo, H. Hildebrandt, J. Hjorth, J. Kajava, Y. Kang, Vanshika Kansal, D. Karagiannis, K. Kiiveri, C. Kirkpatrick, S. Kruk, J. L. Graet, F. Lepori, G. Leroy, J. Lesgourgues, L. Leuzzi, T. Liaudat, S. J. Liu, A. Loureiro, J. Macias-Perez, G. Maggio, M. Magliocchetti, F. Mannucci, R. Maoli, J. Mart'in-Fleitas, C. Martins, L. Maurin, M. Migliaccio, M. Miluzio, P. Monaco, G. Morgante, C. Murray, S. Nadathur, K. Naidoo, A. Navarro-Alsina, S. Nesseris, F. Passalacqua, K. Paterson, L. Patrizii, A. Pisani, D. Potter, S. Quai, M. Radovich, P. Reimberg, I. Risso, P. Rocci, S. Sacquegna, M. Sahl'en, E. Sarpa, J. Schaye, A. Schneider, M. Sereno, Á. Silvestri, L. Smith, J. Stadel, C. Tao, G. Testera, R. Teyssier, S. Tosi, A. Troja, M. Tucci, C. Valieri, A. Venhola, D. Vergani, F. Vernizzi, G. Verza, N. A. C. D. I. Energ'eticas, Medioambientales Y. Tecnol'ogicas, 40 AvenidaComplutense, 28014 Madrid, Spain, Institute of Cosmology, Gravitation, University of Portsmouth, PO1 3FX, Uk, Waterloo Centre for Astrophysics, U. Waterloo, Waterloo, Ontario N2L 3G1, Canada, D. O. Physics, Astronomy, European Space AgencyESTEC, 1. Keplerlaan, 2. Noordwijk, The Netherlands, Center for Data Driven Discovery, Kavli Ipmu, Utias, The University of Tokyo, Kashiwa, Chiba 277-8583, Japan, Laboratoire Univers et Th'eorie, Observatoire de Paris, Universit'e Psl, Universit'e de Paris Cit'e, Cnrs, 92190 Meudon, France, Inafiasf Milano, 12 ViaAlfonsoCorti, 20133 Milano, Italy, D. Fisica, U. Torino, 1. viaP.Giuria, 10125 Torino, I. Torino, I. A. D. Torino, 20 viaOsservatorio, 1. P. Torinese, Institute Lorentz, Leiden University, 2. NielsBohrweg, 2333 CA Leiden, L. Observatory, 55 Einsteinweg, 2333 CC Leiden, Inafiasf Roma, 33 viaFrascati, 00078 Monteporzio Catone, I. Roma, P. A. Moro, 2. -. C. D. D. Fisica, Edificio G. Marconi, 00133 Roma, Institute for Astronomy, University of Edinburgh, R. Observatory, B. Hill, Edinburgh EH9 3HJ, Institute for Particle Physics, Cosmology, Rwth Aachen University, 52056 Aachen, Germany., I. Genova, 33 viaDodecaneso, 16146, Genova, U. Genova, Universit'e Paris-Saclay, Cea, Aim, 91191, Gif-sur-yvette, I. D. E. D. Catalunya, Edifici Rdit, C. Upc, 08860 Castelldefels, Barcelona, Institute of Space Sciences, Campus Uab, Carrer de Can Magrans, Sn., 08193 Barcelona, CNRSIN2p3, IJCLab, 91405 Orsay, Institut de Recherche en Astrophysique et Plan'etologie, U. Toulouse, Ups, Cnes, 18 avenue Edouard Belin, 31400 Toulouse, Laboratoire d'etude de l'Univers et des phenomenes eXtremes, Sorbonne Universit'e, Sissa, International School for Advanced Studies, Via Bonomea 265, TS 34136Trieste, I. -. C. N. D. R. I. H. P. Computing, Big Data e Quantum Computing, 2. ViaMagnanelli, Bologna, Inaf Trieste, 11 ViaG.B.Tiepolo, 34127 Trieste, Ifpu, Institute for Fundamental Physics of the Universe, 2. viaBeirut, 34127 Trieste, Infn, Sezione di Trieste, 2. ViaValerio, TS 34127Trieste, M. V. I. O. Physics, 1. Giessenbachstr., 85748 Garching, I. Physik, U. Heidelberg, 16 Philosophenweg, 69117 Heidelberg, Universit'e St Joseph, Faculty of Nuclear Sciences, Beirut, Lebanon, Oxford University, Keble Road, O. 3RH, Institute for Particle Physics, Astrophysics, D. Physics, Eth Zurich, 27 Wolfgang-Pauli-Strasse, 8093 Zurich, Switzerland, Link foundation, Via Pier Carlo Boggio, 61 10138 Torino, D. D. S. D. Terra, U. Ferrara, 1. ViaGiuseppeSaragat, 44122 Ferrara, Mullard Space Science Laboratory, U. London, Holmbury St. Mary, Dorking   +499 more
semanticscholar   +1 more source

Convergent calculation of the asymptotic dimension of diffusion limited aggregates: scaling and renormalization of small clusters [PDF]

Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics, 2000
Diffusion limited aggregation (DLA) is a model of fractal growth that had attained a paradigmatic status due to its simplicity and its underlying role for a variety of pattern forming processes.
Benny Davidovitch, Anders Levermann, Itamar Procaccia The Weizmann Institute of Science, Israel   +3 more
semanticscholar   +1 more source