الصفحة 102
الصفحة 102
Load balancing using SDN
Software-Defined Network (SDN) is considered a breakthrough to the global network. It plays an important role in performance improvement and network optimization. SDN is a new mechanism for managing and designing networks rather than the current traditional network system which does not afford more services and higher data rates; therefore, we analyze the effect of applying load balancing techniques and its importance in different SDN environments. In this paper, we propose a dynamic server load balancing technique in SDN architecture. Hence, we implement a server Connection-based load balancing technique and evaluate its performance with a static Round-robin and Random-based in both mininet emulation environment and OpenFlow-enabled switch using Ryu OpenFlow controller.
Literature-based Discovery
When Don Swanson hypothesized a connection between Raynaud’s phenomenon and dietary fish oil, the field of literature-based discovery (LBD) was born. During the subsequent two decades a steady stream of researchers have published articles about LBD and the field has made steady progress in laying foundations and creating an identity. LBD is an inherently multi-disciplinary enterprise where collaborations between the information and biomedical sciences are readily encountered. It is the hope and intention that this volume will plant a flag in the ground and inspire new researchers to the LBD challenge.
List decoding of error-correcting codes : Winning thesis of the 2002 ACM doctoral dissertation competition
Presents some spectacular new results in the area of decoding algorithms for error-correcting codes. Specifically, it shows how the notion of “list-decoding” can be applied to recover from far more errors, for a wide variety of err- correcting codes, than achievable before. A brief bit of background : error-correcting codes are combinatorial str- tures that show how to represent (or “encode”) information so that it is - silient to a moderate number of errors. Speci?cally, an error-correcting code takes a short binary string, called the message, and shows how to transform it into a longer binary string, called the codeword, so that if a small number of bits of the codewordare ?ipped, the resulting string does not look like any other codeword. The maximum number of errorsthat the code is guaranteed to detect, denoted d, is a central parameter in its design. A basic property of such a code is that if the number of errors that occur is known to be smaller than d/2, the message is determined uniquely. This poses a computational problem, called the decoding problem : compute the message from a corrupted codeword, when the number of errors is less than d/2.
LINQ for Visual C# 2008
Every C# programmer needs to learn about LINQ (Language–Integrated Query), Microsoft's breakthrough technology for simplifying and unifying data access from any data source. With LINQ, you can write more elegant and flexible code—not just to access databases and files, but to manipulate data structures and XML. This book is a short, yet comprehensive guide to the major features of LINQ and the significant enhancements introduced with .NET 3.5. There is no better source for getting a head–start on the future of these technologies than this book.
LINQ for Visual C# 2005
LINQ for Visual C# 2005 is a short, yet comprehensive guide to the major features of LINQ. It thoroughly covers LINQ to Objects, LINQ to SQL, LINQ to DataSet, and LINQ to XML. It also details significant enhancements to C#, .NET, and ADO.NET.
Linked Open Data -- Creating Knowledge Out of Interlinked Data : Results of the LOD2 Project
Linked Open Data (LOD) is a pragmatic approach for realizing the Semantic Web vision of making the Web a global, distributed, semantics-based information system. This book presents an overview on the results of the research project “LOD2 -- Creating Knowledge out of Interlinked Data”. LOD2 is a large-scale integrating project co-funded by the European Commission within the FP7 Information and Communication Technologies Work Program. Commencing in September 2010, this 4-year project comprised leading Linked Open Data research groups, companies, and service providers from across 11 European countries and South Korea.
Linear Systems, Signal Processing and Hypercomplex Analysis ; Chapman University, November 2017
includes contributions originating from a conference held at Chapman University during November 14-19, 2017. It presents original research by experts in signal processing, linear systems, operator theory, complex and hypercomplex analysis and related topics.
Linear Genetic Programming
Linear Genetic Programming examines the evolution of imperative computer programs written as linear sequences of instructions. In contrast to functional expressions or syntax trees used in traditional Genetic Programming (GP), Linear Genetic Programming (LGP) employs a linear program structure as genetic material whose primary characteristics are exploited to achieve acceleration of both execution time and evolutionary progress.
Linear and Generalized Linear Mixed Models and Their Applications
This book covers two major classes of mixed effects models—linear mixed models and generalized linear mixed models—and it presents an up-to-date account of theory and methods in analysis of these models as well as their applications in various fields. It offers a systematic approach to inference about non-Gaussian linear mixed models. Furthermore, it discusses the latest developments and methods in the field, incorporating relevant updates since publication of the first edition. These include advances in high-dimensional linear mixed models in genome-wide association studies (GWAS), advances in inference about generalized linear mixed models with crossed random effects, new methods in mixed model prediction, mixed model selection, and mixed model diagnostics.
Life System Modeling and Simulation; International Conference on Life System Modeling, and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings
The International Conference on Life System Modeling and Simulation (LSMS) was formed to bring together international researchers and practitioners in the field of life system modeling and simulation as well as life system-inspired theory and methodology. The arrival of the 21st century has been marked by a resurgence of research interest both in arriving at a systems-level und- standing of biology and in applying such knowledge in complex real-world appli- tions. Consequently, computational methods and intelligence in systems, biology, as well as bio-inspired computational intelligence, have emerged as key drivers for new computational methods. For this reason papers dealing with theory, techniques and real-world applications relating to these two themes were especially solicited.
Liapunov Functions and Stability in Control Theory
Presents a modern and self-contained treatment of the Liapunov method for stability analysis, in the framework of mathematical nonlinear control theory. A Particular focus is on the problem of the existence of Liapunov functions (converse Liapunov theorems) and their regularity, whose interest is especially motivated by applications to automatic control.
Leveraging the Semantics of Topics Maps ; 2nd International Conference on Topic Maps Research and Applications, TMRA 2006, Leipzig, Germany, October 11-12, 2006, Revised Selected papers
The papers in this volume were presented at TMRA 2006, the International Conference on Topic Maps Research and Applications, held October 11–12, 2006, in Leipzig, Germany. TMRA 2006 was the second conference of an annual series of international conferences dedicated to Topic Maps in research and industry.
Leveraging applications of formal methods, verification and validation : Verification Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume : Part I, Verification Principles : Modularity and (De-)Composition in Verification ; X-by-Construction: Correctness meets Probability ; 30 Years of Statistical Model Checking ; Verification and Validation of Concurrent and Distributed Systems.
Leveraging applications of formal methods, verification and validation : Engineering Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part II, Engineering Principles : Automating Software Re-Engineering ; Rigorous Engineering of Collective Adaptive Systems.
Leveraging applications of formal methods, verification and validation : Applications ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
Leveraging Applications of Formal Methods ; 1st International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers presented were carefully selected from more than 70 submissions. The papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. In particular, by discussing common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.
LEGO® MINDSTORMS® NXT-G Programming Guide
LEGO MINDSTORMS NXT-G Programming Guide provides programming techniques simple enough to be understood by young programmers, ages 10 and up, and provides a test robot (with instructions) in the appendix for running the programs
Legal Programming : Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond
LEGAL PROGRAMMING: Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond provides a process-oriented discussion of the legal concerns presented by agent-based technologies, processes and programming. It offers a general outline of the potential legal difficulties that could arise in relation to them, focusing on the programming of negotiation and contracting processes in a privacy, consumer and commercial context. The authors will elucidate how it is possible to create form of legal framework and design methodology for transaction agents, applicable in any environment and not just in a specific proprietary framework, that provides the right level of compliance and trust. Key elements considered include the design and programming of legally compliant methods, the determination of rights in respect of objects and variables, and ontologies and programming frameworks for agent interactions. Examples are used to illustrate the points made and provide a practical perspective.
Learning to Live in the Knowledge Society ; IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7–10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Learning Theory ; Vol. 4005 ; 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings
Constitutes the refereed proceedings of the 19th Annual Conference on Learning Theory, COLT 2006, held in Pittsburgh, Pennsylvania, USA in June 2006. The 43 revised full papers presented together with 2 articles on open problems and 3 invited lectures were carefully reviewed and selected from a total of 102 submissions. The papers cover a wide range of topics including clustering, un- and semisupervised learning, statistical learning theory, regularized learning and kernel methods, query learning and teaching, inductive inference, learning algorithms and limitations on learning, online aggregation, online prediction and reinforcement learning.
