الصفحة 1
الصفحة 1
Writing Testbenches using SystemVerilog
Writing Testbenches Using SystemVerilog offers a clear blueprint of a verification process that aims for first-time success using the SystemVerilog language.
Workflows for e-Science : Scientific Workflows for Grids
Workflows for e-Science presents an overview of the current state of the art in the field. It brings together research from many leading computer scientists in the workflow area and provides real world examples from domain scientists actively involved in e-Science. The computer science topics addressed in the book provide a broad overview of active research focusing on the areas of workflow representations and process models, component and service-based workflows, standardization efforts, workflow frameworks and tools, and problem solving environments and portals.
Words and Intelligence I : Selected Papers by Yorick Wilks
The papers include early work descriptions of groundbreaking work on Machine Translation and Preference Semantics as well as more recent works on belief modeling and computational semantics. The selected papers reflect Yorick’s contribution to both practical and theoretical aspects of automatic language processing.
Wireless Sensor Networks and Applications
Wireless sensor networks are currently being employed in a variety of applications ranging from medical to military, and from home to industry. Wireless Sensor Networks and Applications aims to provide a reference tool for the increasing number of scientists who depend upon reliable sensor networks. The book is divided into five sections: design and modeling, network management, data management, security, and applications.
Wireless Sensor Networks ; 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings
This book is organized in topical sections on localization, detection of space/time correlated events, network coding, ZigBee, topology, software, as well as deployment and application development.
Wireless Sensor and Actor Networks II ; Proceedings of the 2008 IFIP Conference on Wireless Sensor and Actor Networks (WSAN 08), Ottawa, Ontario, Canmada, July 14-15, 2008
The scope of the book 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.
Wireless and Mobile Networking ; IFIP Joint Conference on Mobile and Wireless Communications Networks (MWCN'2008) and Personal Wireless Communications (PWC'2008), Toulouse, France, September 30 – October 2, 2008
The scope of the book 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.
Wireless Algorithms, Systems, and Applications ; 1st International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings
WASA 2006 was motivated by the recent advances in cutting-edge electronicand computer technologies that have paved the way for the proliferation of ubiq-uitous infrastructure and infrastructureless wireless networks. The objective ofthis conference was to address the research and development efforts of variousissues in the area of algorithms, systems and applications for current and next-generation infrastructure and infrastructureless wireless networks.
Wind Energy : Fundamentals, Resource Analysis and Economics
In view of the rapid growth of wind industry, Universities, all around the world, have given due emphasis to wind energy technology in their undergraduate and graduate curriculum. These academic programmes attract students from diver- fied backgroundswhich is discussed in the preliminary chapters of this book.
Wildlife and emerging zoonotic diseases : The biology, circumstances and consequences of cross-species transmission
Wildlife and the zoonotic pathogens they reservoir are the source of most emerging infectious diseases of humans. This volume provides an overview of zoonotic pathogen emergence with an emphasis on the role of wildlife.
Wideband Low Noise Amplifiers Exploiting Thermal Noise Cancellation
This book is directly relevant for IC designers and researchers working on integrated transceivers. Although the focus is on CMOS circuits, the techniques can just as well be applied to other IC technologies, e.g. bipolar and GaAs, and even in discrete component technologies. Low Noise Amplifiers (LNAs) are commonly used to amplify signals that are too weak for direct processing for example in radio or cable receivers. Traditionally, low noise amplifiers are implemented via tuned amplifiers, exploiting inductors and capacitors in resonating LC-circuits. This can render very low noise but only in a relatively narrow frequency band close to resonance. There is a clear trend to use more bandwidth for communication, both via cables (e.g. cable TV, internet) and wireless links (e.g. satellite links and Ultra Wideband Band).
Wideband Amplifiers
This work covers two bases, both performance optimization strategies and a complete introduction to mathematical procedures required for a successful circuit design. It starts from the basics of mathematical procedures and circuit analysis before moving on to the more advanced topics of system optimization and synthesis.
What Every Engineer Should Know About Smart Cities
It is not just a theoretical exploration of smart cities. It goes beyond that by providing an in-depth look at the key technologies that are essential to creating smart cities. From the Internet of Things and blockchain to digital twins and modeling and simulations, readers will gain a solid understanding of the foundational technologies that make smart cities possible. With detailed discussions and real-world examples of smart mobility, smart health, smart education, and smart agribusiness, readers will gain a deep understanding of the requirements and characteristics that engineers need to contribute to the development of smart cities.
Web Services and Formal Methods ; 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories inspired by developments in the field of Web services. The papers feature topics such as service-oriented analysis and design, formal approaches to enterprise modeling and business process modeling, model-driven development, testing, and analysis of Web services, Web services for business process management, security, performance and quality of Web services, Web service coordination and transactions, Web service ontologies and semantic description, goal-driven discovery and composition of Web services, complex event processing in service-oriented architectures, as well as semi-structured data management and XML technology.
Web Reasoning and Rule Systems ; 1st International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings
It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge extraction, design and analysis of reasoning languages, reasoning with constraints, rule languages and systems, semantic Web services modeling and applications.
Web Reasoning and Rule Systems : 2nd International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
This book address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge extraction, design and analysis of reasoning languages, implemented tools and systems, standardization, ontology usability, ontology languages and their relationships, rules and ontologies, reasoning with uncertainty, reasoning with constraints, rule languages and systems, semantic Web services modeling and applications.
Web Information Systems Engineering - WISE 2008; 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings
This book is organized in topical sections on grid computing and peer-to-peer systems; Web mining; rich Web user interfaces; semantic Web; Web information retrieval; Web data integration; queries and peer-to-peer systems; and Web services.
Web Information Systems Engineering - WISE 2008 Workshops ; WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings
The First International Workshop on Web Information Systems Engineering for Electronic Businesses and Governments (E-BAG 2008), The Second International Workshop on Web Usability and Accessibility (IWWUA 2008), and The First International Workshop on Mashups, Enterprise Mashups and Lightweight Composition on theWeb (MEM and LCW 2008).
Web Information Systems Engineering – WISE 2007 Workshops ; WISE 2007 International Workshops Nancy, France, December 3, 2007 Proceedings
This book constitutes the joint refereed proceedings of six workshops held in conjunction with the 8th International Conference on Web Information Systems Engineering, WISE 2007 in Nancy, France, in December 2007. The 44 revised full papers presented were carefully reviewed and selected from numerous submissions for presentation in the six workshops. The workshops discuss a broad range of subjects.
Web Information Systems Engineering – WISE 2007 ; 8th International Conference on Web Information Systems Engineering, Nancy, France, December 3-7, 2007, Proceedings
Cover a wide and important va-riety of issues in Web information systems engineering such as querying; trust;caching and distribution; interfaces; events and information filtering; data extrac-tion; transformation and matching; ontologies; rewriting, routing and personal-ization; agents and mining; quality of services and management and modelling.
