Mobile Commerce Applications addresses and explores the critical architectural issues in constructing m-commerce applications and in applying mobile technologies in different areas, including methodologies, enabling technologies, models, paradigms, architectures, standards and innovations.

This thesis develops new techniques for simulating the low-energy behaviour of quantum spin systems in one and two dimensions. Combining these developments, it subsequently uses the formalism of tensor network states to derive an effective particle description for one- and two-dimensional spin systems that exhibit strong quantum correlations. These techniques arise from the combination of two themes in many-particle physics: (i) the concept of quasiparticles as the effective low-energy degrees of freedom in a condensed-matter system, and (ii) entanglement as the characteristic feature for describing quantum phases of matter. Whereas the former gave rise to the use of effective field theories for understanding many-particle systems, the latter led to the development of tensor network states as a description of the entanglement distribution in quantum low-energy states.

Most physical systems possess parametric uncertainties or unmeasurable parameters and, since parametric uncertainty may degrade the performance of model predictive control (MPC), mechanisms to update the unknown or uncertain parameters are desirable in application. One possibility is to apply adaptive extensions of MPC in which parameter estimation and control are performed online. This book proposes such an approach, with a design methodology for adaptive robust nonlinear MPC (NMPC) systems in the presence of disturbances and parametric uncertainties. One of the key concepts pursued is the concept of set-based adaptive parameter estimation, which provides a mechanism to estimate the unknown parameters as well as an estimate of the parameter uncertainty set. The knowledge of non-conservative uncertain set estimates is exploited in the design of robust adaptive NMPC algorithms that guarantee robustness of the NMPC system to parameter uncertainty. Topics covered include: a review of nonlinear MPC; extensions for performance improvement; introduction to adaptive robust MPC; computational aspects of robust adaptive MPC; finite-time parameter estimation in adaptive control; performance improvement in adaptive control; adaptive MPC for constrained nonlinear systems; adaptive MPC with disturbance attenuation; robust adaptive economic MPC; setbased estimation in discrete-time systems; and robust adaptive MPC for discrete-time systems.

This book develops a methodology for the real-time coupled quantum dynamics of electrons and phonons in nanostructures, both isolated structures and those open to an environment. It then applies this technique to both fundamental and practical problems that are relevant, in particular, to nanodevice physics, laser-matter interaction, and radiation damage in living tissue. The interaction between electrons and atomic vibrations (phonons) is an example of how a process at the heart of quantum dynamics can impact our everyday lives. This is e.g. how electrical current generates heat, making your toaster work. It is also a key process behind many crucial problems down to the atomic and molecular scale, such as the functionality of nanoscale electronic devices, the relaxation of photo-excited systems, the energetics of systems under irradiation, and thermoelectric effects. Electron-phonon interactions represent a difficult many-body problem. Fairly standard techniques are available for tackling cases in which one of the two subsystems can be treated as a steady-state bath for the other, but determining the simultaneous coupled dynamics of the two poses a real challenge. This book tackles precisely this problem.

This book presents up-to-date research developments and novel methodologies on semi-Markovian jump systems (S-MJS). It presents solutions to a series of problems with new approaches for the control and filtering of S-MJS, including stability analysis, sliding mode control, dynamic output feedback control, robust filter design, and fault detection. A set of newly developed techniques such as piecewise analysis method, positively invariant set approach, event-triggered method, and cone complementary linearization approaches are presented. Control and Filtering for Semi-Markovian Jump Systems is a comprehensive reference for researcher and practitioners working in control engineering, system sciences and applied mathematics, and is also a useful source of information for senior undergraduates and graduates in these areas. The readers will benefit from some new concepts, new models and new methodologies with practical significance in control engineering and signal processing.

This book covers ideas, methods, algorithms, and tools for the in-depth study of the performance and reliability of dependable fault-tolerant systems. The chapters identify the current challenges that designers and practitioners must confront to ensure the reliability, availability, and performance of systems, with special focus on their dynamic behaviors and dependencies. Topics include network calculus, workload and scheduling; simulation, sensitivity analysis and applications; queuing networks analysis; clouds, federations and big data; and tools. This collection of recent research exposes system researchers, performance analysts, and practitioners to a spectrum of issues so that they can address these challenges in their work.

Because the wireless industry is less capital intensive than others sectors in the telecommunications marketplace, it is expected to enjoy continued profitability. With survival at stake, telecommunications companies must ready themselves for battle to win access and operations rights in the wireless communications spectrum. This book maps out the strategies required to fight this battle by explaining how a telecommunications company should structure its entry and operations in the spectrum.

Addressing the vulnerabilities in today's critical infrastructure to natural disasters and terrorism, this practical book describes what public safety and other officials need to do to protect should be doing to pipelines, power plants, telecommunications, and other essential services before the unthinkable happens. The book explains how to maintain command and control in any disaster, and how to predict the probability of those disasters. Written by two highly regarded experts in the field, this one-of-a-kind guidebook shows how to simplify risk assessments and emergency response procedures to disasters affecting our critical national and local infrastructure.

Primary and secondary school students, college students, and corporate employees are all engaging more and more in some form of online or blended online/face-to-face education. Given the large number of pedagogical and design choices that we must make, however, where do we begin when designing new environments? This book argues that it is important for us to consider how technological design choices interact with pedagogical choices and cognitive states to affect learning behaviors. Specifically, this book focuses on synchronous, text-based chat and asks two questions: first, since research has often reported that chat environments promote conversational equity, which features of this technology seem to help create conversational equity; and second, how this change impacts the content of small group discussions. Using ethnographic-style observations and quasi-experimental studies, this book shows how changing conversational media influences (or does not) the resulting discussion among students. Based on these findings, Chatting to Learn examines the broader implications for the design of conversational environments, whether for educational or business use.

The increasing business use of wireless and mobile technologies on a variety of devices has accelerated the need for a better understanding of the technologies involved. ""Business Data Communications and Networking: A Research Perspective"" addresses the key issues for businesses utilizing data communications and the increasing importance of networking technologies in business. ""Business Data Communications and Networking: A Research Perspective"" covers a series of technical advances in the field while highlighting their respective contributions to business or organizational goals, and centers on the issues of network-based applications, mobility, wireless networks, and network security.

This book tackles important problems of anomaly detection and health status analysis in complex core router systems, integral to today's Internet Protocol (IP) networks. The techniques described provide the first comprehensive set of data-driven resiliency solutions for core router systems. The authors present an anomaly detector for core router systems using correlation-based time series analysis, which monitors a set of features of a complex core router system. They also describe the design of a changepoint-based anomaly detector such that anomaly detection can be adaptive to changes in the statistical features of data streams. The presentation also includes a symbol-based health status analyzer that first encodes, as a symbol sequence, the long-term complex time series collected from a number of core routers, and then utilizes the symbol sequence for health analysis. Finally, the authors describe an iterative, self-learning procedure for assessing the health status. Enables Accurate Anomaly Detection Using Correlation-Based Time-Series Analysis; Presents the design of a changepoint-based anomaly detector; Includes Hierarchical Symbol-based Health-Status Analysis; Describes an iterative, self-learning procedure for assessing the health status.

This textbook introduces readers to the recent advances in the emerging field of genetic design automation (GDA). Starting with an introduction and the basic concepts of molecular biology, the authors provide an overview of various genetic design automation tools. The authors then present the DVASim tool (Dynamic Virtual Analyzer and Simulator) which is used for the analysis and verification of genetic logic circuits. This includes methods and algorithms for the timing and threshold value analyses of genetic logic circuits. Next, the book presents the GeneTech tool (A technology mapping tool for genetic circuits) and the methods developed for optimization, synthesis, and technology mapping of genetic circuits. Chapters are followed by exercises which give readers hands-on practice with the tools presented. The concepts and algorithms are thoroughly described, enabling readers to improve the tools or use them as a starting point to develop new tools. Both DVASim and GeneTech are available from the developer's website, free of charge. This book is intended for a multidisciplinary audience of computer scientists, engineers and biologists. It provides enough background knowledge for computer scientists and engineers, who usually do not have any background in biology but are interested to get involved in this domain. This book not only presents an accessible basic introduction to molecular biology, it also includes software tools which allow users to perform laboratory experiments in a virtual in-silico environment. This helps newbies to get a quick start in understanding and developing genetic design automation tools. The third part of this book is particular useful for biologists who usually find it difficult to grasp programming and are reluctant to developing computer software. They are introduced to the graphical programming language, LabVIEW, from which they can start developing computer programs rapidly. Readers are further provided with small projects which will help them to start developing GDA tools.

VHDL Coding Styles and Methodologies provides an in-depth study of the VHDL language rules, coding styles, and methodologies. This book clearly distinguishes good from poor coding methodologies using an easy to remember symbology notation along with a rationale for each guideline. The VHDL concepts, rules and styles are demonstrated using complete compilable and simulatable examples which are also supplied on the accompanying disk. VHDL Coding Styles and Methodologies provides practical applications of VHDL and techniques that are current in the industry. It explains how to apply the VHDL guidelines using several complete examples. The learning by example' teaching approach along with an in-depth presentation of the language rules application methodology provides the necessary knowledge to create digital hardware designs and models that are readable, maintainable, predictable, and efficient. VHDL Coding Styles and Methodologies is intended for both college students and design engineers. It provides a practical approach to learning VHDL. Combining methodologies and coding styles along with VHDL rules leads the reader in the right direction from the beginning.

This book presents current trends that are dominating technology and society, including privacy, high performance computing in the cloud, networking and IoT, and bioinformatics. By providing chapters detailing accessible descriptions of the research frontiers in each of these domains, the reader is provided with a unique understanding of what is currently feasible. Readers are also given a vision of what these technologies can be expected to produce in the near future. The topics are covered comprehensively by experts in respective areas. Each section includes an overview that puts the research topics in perspective and integrates the sections into an overview of how technology is evolving. The book represents the proceedings of the International Symposium on Sensor Networks, Systems and Security, August 31 - September 2, 2017, Lakeland Florida.

Intelligent agent and distributed AI (DAI) approaches attach specific conditions to cooperative exchanges between intelligent systems, that go far beyond simple functional interoperability. Ideally, systems that pursue local or global goals, coordinate their actions, share knowledge, and resolve conflicts during their interactions within groups of similar or dissimilar agents can be viewed as cooperative coarse-grained systems. The infrastructure of telecommunications is a world in transition. There are a number of trends that contribute to this: convergence of traditional telephony and data network worlds, blurring of boundaries between public and private networks, complementary evolution of wireline, wireless, and cable network infrastructures, the emergence of integrated broadband multimedia networks and, of course, the information superhighway. Up to now, despite the effort that has gone into this area, the field of intelligent agents research has not yet led to many fielded systems. Telecommunications applications pose strong requirements to agents such as: reliability, real-time performance, openness, security management and other integrated management, and mobility. In order to fulfil their promise, intelligent agents need to be fully dependable and typically require an integrated set of capabilities. This is the challenge that exists for intelligent agents technology in this application domain.

This book presents design methods and considerations for digitally-assisted wideband millimeter-wave transmitters. It addresses comprehensively both RF design and digital implementation simultaneously, in order to design energy- and cost-efficient high-performance transmitters for mm-wave high-speed communications. It covers the complete design flow, from link budget assessment to the transistor-level design of different RF front-end blocks, such as mixers and power amplifiers, presenting different alternatives and discussing the existing trade-offs. The authors also analyze the effect of the imperfections of these blocks in the overall performance, while describing techniques to correct and compensate for them digitally. Well-known techniques are revisited, and some new ones are described, giving examples of their applications and proving them in real integrated circuits.

In recent years, technology has permeated every aspect of daily life and has drastically increased accessibility and empowerment for all demographics. Smart technologies and mobile applications now have the ability to promote and protect the basic rights of children, women, and men alike. A child's right to education and mental growth or a woman's socio-economic stability and protection from physical, sexual, and emotional abuse can all be attributed to these advancements. Mobile Devices and Smart Gadgets in Human Rights provides emerging research exploring the theoretical and practical applications of technology in relation to human ethical treatment and interactions. Featuring coverage on a broad range of topics such as public safety, augmented reality, and safety apps, this book is ideally designed for researchers, students, activists, academicians, policymakers, and government officials seeking current research on the influence of portable technologies in human rights and ethics.

Continuing advancements in electronics creates the possibility of communicating with more people at greater distances. Such an evolution calls for more efficient techniques and designs in radio communications. Emerging Innovations in Microwave and Antenna Engineering provides innovative insights into theoretical studies on propagation and microwave design of passive and active devices. The content within this publication is separated into three sections: the design of antennas, the design of the antennas for the RFID system, and the design of a new structure of microwave amplifier. Highlighting topics including additive manufacturing technology, design application, and performance characteristics, it is designed for engineers, electricians, researchers, students, and professionals, and covers topics centered on modern antenna and microwave circuits design and theory.

This book introduces researchers and advanced students with a basic control systems background to an array of control techniques which they can easily implement and use to meet the required performance specifications for their mechatronic applications. It is the result of close to two decades of work of the authors on modeling, simulating and controlling different mechatronic systems from the motion control, automotive control and micro and nano-mechanical systems control areas. The methods presented in the book have all been tested by the authors and a very large group of researchers, who have produced practically implementable controllers with highly successful results. The approach that is recommended in this book is to first start with a conventional control method which may then be cascaded with a feedforward controller if the input is known or can be measured with a preview; to add a disturbance observer if unknown disturbances are to be rejected and if regulation of the uncertain plant about a nominal model is desired; and to add a repetitive controller to take care of any periodic inputs of fixed and known period. Case studies ranging from road vehicle yaw stability control and automated path following, to decoupling control of piezotube actuators in an atomic force microscope are presented. Parameter space based methods are used in the book for achieving robust controllers. Control of Mechatronic Systems is essential reading for researchers and advanced students who want to be exposed to control methods that have been field tested in a wide variety of mechatronic applications, and for practicing engineers who design and implement feedback control systems.

These proceedings present selected research papers from CSNC2017, held during 23th-25th May in Shanghai, China. The theme of CSNC2017 is Positioning, Connecting All. These papers discuss the technologies and applications of the Global Navigation Satellite System (GNSS), and the latest progress made in the China BeiDou System (BDS) especially. They are divided into 12 topics to match the corresponding sessions in CSNC2017, which broadly covered key topics in GNSS. Readers can learn about the BDS and keep abreast of the latest advances in GNSS techniques and applications.

Innovations in multimedia technology have truly revolutionized communication, transforming the definitions of text, audio, and visual information through hybrid combinations of these forms. The rise of multimedia systems has generated new methods for high-speed data capturing, processing, editing, storage, and dissemination across wide networks, creating a need for high-level surveillance and quality-monitoring control schemes. Emerging Research on Networked Multimedia Communication Systems provides a comprehensive overview of the most current theoretical frameworks, technological developments, and empirical research findings in the field of electronic media. This timely reference work also investigates numerous issues related to multimedia sharing and optimization over heterogeneous wired and wireless networks, making it a relevant learning tool for scholars, practitioners, and educators in the multimedia research arena. This authoritative resource features a comprehensive collection of research-based articles on topics ranging from fundamental issues in multimedia optimization to breakthrough advancements in the deployment of multimedia systems, including group synchronization control, video coding, video transmission, video broadcasting, and discussions of recent developments in Quality of Experience (QoE), Quality of Service (QoS), and Video over IP (VoIP) services.

In Advanced ULSI interconnects - fundamentals and applications we bring a comprehensive description of copper-based interconnect technology for ultra-lar- scale integration (ULSI) technology for integrated circuit (IC) application. In- grated circuit technology is the base for all modern electronics systems. You can ?nd electronics systems today everywhere: from toys and home appliances to a- planes and space shuttles. Electronics systems form the hardware that together with software are the bases of the modern information society. The rapid growth and vast exploitation of modern electronics system create a strong demand for new and improved electronic circuits as demonstrated by the amazing progress in the ?eld of ULSI technology. This progress is well described by the famous "Moore's law" which states, in its most general form, that all the metrics that describe integrated circuit performance (e. g. , speed, number of devices, chip area) improve expon- tially as a function of time. For example, the number of components per chip d- bles every 18 months and the critical dimension on a chip has shrunk by 50% every 2 years on average in the last 30 years. This rapid growth in integrated circuits te- nology results in highly complex integrated circuits with an increasing number of interconnects on chips and between the chip and its package. The complexity of the interconnect network on chips involves an increasing number of metal lines per interconnect level, more interconnect levels, and at the same time a reduction in the interconnect line critical dimensions.

This book describes a flexible and largely automated methodology for adding the estimation of power consumption to high level simulations at the electronic system level (ESL). This method enables the inclusion of power consumption considerations from the very start of a design. This ability can help designers of electronic systems to create devices with low power consumption. The authors also demonstrate the implementation of the method, using the popular ESL language "SystemC". This implementation enables most existing SystemC ESL simulations for power estimation with very little manual work. Extensive case-studies of a Network on Chip communication architecture and a dual-core application processor "ARM Cortex-A9" showcase the applicability and accuracy of the method to different types of electronic devices. The evaluation compares various trade-offs regarding amount of manual work, types of ESL models, achieved estimation accuracy and impact on the simulation speed. Describes a flexible and largely automated ESL power estimation method; Shows implementation of power estimation methodology in SystemC; Uses two extensive case studies to demonstrate method introduced.

Although the existing layering infrastructure--used globally for designing computers, data networks, and intelligent distributed systems and which connects various local and global communication services--is conceptually correct and pedagogically elegant, it is now well over 30 years old has started create a serious bottleneck. Using Cross-Layer Techniques for Communication Systems: Techniques and Applications explores how cross-layer methods provide ways to escape from the current communications model and overcome the challenges imposed by restrictive boundaries between layers. Written exclusively by well-established researchers, experts, and professional engineers, the book will present basic concepts, address different approaches for solving the cross-layer problem, investigate recent developments in cross-layer problems and solutions, and present the latest applications of the cross-layer in a variety of systems and networks.

This book computes the first- and second-order derivative matrices of skew ray and optical path length, while also providing an important mathematical tool for automatic optical design. This book consists of three parts. Part One reviews the basic theories of skew-ray tracing, paraxial optics and primary aberrations - essential reading that lays the foundation for the modeling work presented in the rest of this book. Part Two derives the Jacobian matrices of a ray and its optical path length. Although this issue is also addressed in other publications, they generally fail to consider all of the variables of a non-axially symmetrical system. The modeling work thus provides a more robust framework for the analysis and design of non-axially symmetrical systems such as prisms and head-up displays. Lastly, Part Three proposes a computational scheme for deriving the Hessian matrices of a ray and its optical path length, offering an effective means of determining an appropriate search direction when tuning the system variables in the system design process.