Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
  • Language
Found 4 from your keywords: subject="networks"
cover
Probability in Electrical Engineering and Computer Science :An Application-Dr…
Comment Share
Walrand, Jean

This revised textbook motivates and illustrates the techniques of applied probability by applications in electrical engineering and computer science (EECS). The author presents information processing and communication systems that use algorithms based on probabilistic models and techniques, including web searches, digital links, speech recognition, GPS, route planning, recommendation systems, c…

Edition
-
ISBN/ISSN
9783030499952
Collation
xxi, 380 p.
Series Title
-
Call Number
519.2 PRO J
cover
Collaborative technologies and data science in artificial intelligence applic…
Comment Share
Hajian, AramInoue, TomooBaloian, NelsonLuther, Wolfram

In September 2020, researchers from Armenia, Chile, Germany and Japan met at the American University of Armenia for a virtual conference to discuss technologies with applications in smart cities, data science and information theory approaches for intelligent systems, technical challenges for intelligent environments, smart human centered computing, artificial neural networks, and deep learning.…

Edition
-
ISBN/ISSN
9783832551414
Collation
vii, 190p.; ill.
Series Title
-
Call Number
006.3 COL c
cover
Planar maps, random walks and circle packing
Comment Share
Nachmias, Asaf

This open access book focuses on the interplay between random walks on planar maps and Koebe’s circle packing theorem. Further topics covered include electric networks, the He–Schramm theorem on infinite circle packings, uniform spanning trees of planar maps, local limits of finite planar maps and the almost sure recurrence of simple random walks on these limits. One of its main goals is t…

Edition
-
ISBN/ISSN
9783030279684
Collation
xii; 120 PG; ill.
Series Title
-
Call Number
519.282 ASA a
cover
Automated reasoning
Comment Share
Pattinson, DirkKovács, LauraBlanchette, Jasmin

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving…

Edition
-
ISBN/ISSN
9783031107696
Collation
xv; 756 PG; ill.
Series Title
-
Call Number
006.3 AUT a