- Table View
- List View
SAT 2005: Satisfiability Research in the Year 2005
by Enrico Giunchiglia Toby WalshThis book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
by Malay Ganai Aarti GuptaThis book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.
Satellite Communication Systems Design
by S. TirróWriting a comprehensive book on satellite communications requires the com mand of many technical disciplines and the availability of up-to-date information on international recommendations, system architectures, and equipment stand ards. It is therefore necessary to involve many authors, each possessing a good level of knowledge in a particular discipline. The problem of using a coherent and unambiguous set of definitions and basic terms has been solved by including in the book all the background information needed for understanding satellite communication systems, without any major reference to other textbooks specializing in particular disciplines. The obvious consequence of this approach has been the large size of the book, with the advantages, however, of practically complete independence from other books, more systematic discussion of the subject matter, and better readability. After the required background information, emphasis has been placed on the discussion of techniques and system design criteria rather than on specific equipment implementation or description of particular systems. The book may be divided in five parts as follows: • The first five chapters provide most of the required background information. • Chapter 6 is an introductory outline of satellite communication systems. • Chapters 7 to 13 deal with the various aspects of technical system design. • Chapter 14 discusses system economics. • Chapter 15 provides a brief insight into some foreseeable future develop ments of satellite communications.
Satellite Communications and Navigation Systems (Signals and Communication Technology)
by Enrico Re Marina RuggieriSatellite Communications and Navigation Systems publishes the proceedings of the 2006 Tyrrhenian International Workshop on Digital Communications. The book focuses on the integration of communication and navigation systems in satellites.
Satellite Data Compression: 31 July-1 August, 2005, San Diego, California, Usa (Proceedings Of Spie Ser. #5889)
by Bormin HuangSatellite Data Compression covers recent progress in compression techniques for multispectral, hyperspectral and ultra spectral data. A survey of recent advances in the fields of satellite communications, remote sensing and geographical information systems is included. Satellite Data Compression, contributed by leaders in this field, is the first book available on satellite data compression. It covers onboard compression methodology and hardware developments in several space agencies. Case studies are presented on recent advances in satellite data compression techniques via various prediction-based, lookup-table-based, transform-based, clustering-based, and projection-based approaches. This book provides valuable information on state-of-the-art satellite data compression technologies for professionals and students who are interested in this topic. Satellite Data Compression is designed for a professional audience comprised of computer scientists working in satellite communications, sensor system design, remote sensing, data receiving, airborne imaging and geographical information systems (GIS). Advanced-level students and academic researchers will also benefit from this book.
Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers (Lecture Notes in Computer Science #3844)
by Jean-Michel BruelThe 30 revised full papers were carefully selected for inclusion in the book and are presented along with an educators's and a doctorial symposium section comprising additional 13 short articles. The papers are organized in topical sections representing the various workshops
Satellite Image Analysis: Clustering and Classification (SpringerBriefs in Applied Sciences and Technology)
by Surekha Borra Rohit Thanki Nilanjan DeyThanks to recent advances in sensors, communication and satellite technology, data storage, processing and networking capabilities, satellite image acquisition and mining are now on the rise. In turn, satellite images play a vital role in providing essential geographical information. Highly accurate automatic classification and decision support systems can facilitate the efforts of data analysts, reduce human error, and allow the rapid and rigorous analysis of land use and land cover information. Integrating Machine Learning (ML) technology with the human visual psychometric can help meet geologists’ demands for more efficient and higher-quality classification in real time. This book introduces readers to key concepts, methods and models for satellite image analysis; highlights state-of-the-art classification and clustering techniques; discusses recent developments and remaining challenges; and addresses various applications, making it a valuable asset for engineers, data analysts and researchers in the fields of geographic information systems and remote sensing engineering.
Satellite Monitoring of Water Resources in the Middle East (Springer Water)
by Amin ShabanThis book presents both updated and new measurements on water resources from selective pilot areas form the Middle East. Demand for water has become very crucial notably in arid and semiarid regions like in the Middle East. The changing climate and the increased population are the most striking challenges on water resources in this region where the largest part of its territory is dry lands and deserts with minimal precipitation and high evaporation rates, and thus, the average per capita of water does not exceed 25 m3/year. This resulted in developing many studies and researches in different Middle East countries to clearly identify and assess the hydrological characteristics of the available water resources and to explore new resources in order to secure balanced water supply/demand. As a first of its type, this book introduces comprehensive knowledge on the successful reports of the use of satellite images in water studies in the Middle East, and the economic value resulted from adopting these techniques. Based on illustrated case-studies the book will represent a significant resource for a large number of experts, academics, researchers, engineers and different-level stakeholders including the decision makers.
Satellite Network Robust QoS-aware Routing
by Fei LongSatellite Network Robust QoS-aware Routing presents a novel routing strategy for satellite networks. This strategy is useful for the design of multi-layered satellite networks as it can greatly reduce the number of time slots in one system cycle. The traffic prediction and engineering approaches make the system robust so that the traffic spikes can be handled effectively. The multi-QoS optimization routing algorithm can satisfy various potential user requirements. Clear and sufficient illustrations are also presented in the book. As the chapters cover the above topics independently, readers from different research backgrounds in constellation design, multi-QoS routing, and traffic engineering can benefit from the book.Fei Long is a senior engineer at Beijing R&D Center of 54th Research Institute of China Electronics Technology Group Corporation.
Satellite Personal Communications for Future-generation Systems: Final Report: COSY 252 Action
by Enrico Del Re Laura PierucciConsisting of selected technical contributions to the European Project COST252, this volume provides many innovative results which can be the basis for new global telecommunications systems providing multimedia services at high rates. It also presents new perspectives on communications problems in various areas.
Satellite Remote Sensing: A New Tool for Archaeology (Remote Sensing and Digital Image Processing #16)
by Rosa Lasaponara and Nicola MasiniThis book provides a state-of-the art overview of satellite archaeology and it is an invaluable volume for archaeologists, scientists, and managers interested in using satellite Earth Observation (EO) to improve the traditional approach for archaeological investigation, protection and management of Cultural Heritage. The recent increasing development of EO techniques and the tremendous advances in Information and Communication Technologies (ICT) have resulted primarily in Cultural Heritage applications. The book focuses on new challenging prospects for the use of EO in archaeology not only for probing the subsurface to unveil sites and artifacts, but also for the management and valorization as well as for the monitoring and preservation of cultural resources. The book provides a first-class understanding of this revolutionary scenario which was unthinkable several years ago. The book offers: (i) an excellent collection of outstanding articles focusing on satellite data processing, analysis and interpretation for archaeological applications, (ii) impressive case studies, (iii) striking examples of the high potential of the integration of multi-temporal, multi-scale, multi-sensors techniques. Each chapter is composed as an authoritative contribution to help the reader grasp the value of its content. The authors are renowned experts from the international scientific community. Audience: This book will be of interest to scientists in remote sensing applied to archeology, geoarcheology, paleo-environment, paleo-climate and cultural heritage.
Satellite Systems Engineering in an IPv6 Environment
by Daniel MinoliCapitalize on Expert Foresight into the Future of Satellite Communication Satellite technology will maintain its key role in the evolving communications needs of government, military, IPTV, and mobile video industries because of its intrinsic multicast/broadcast capabilities, mobility aspects, global reach, reliability, and ability to quickly suppo
Satellitengeodäsie (Grundlagen der Physikalischen und Mathematischen Geodäsie)
by Karl Heinz IlkDieses Lehrbuch aus der Reihe „Grundlagen der Physikalischen und Mathematischen Geodäsie“ gibt einen Einblick in die geodätische Nutzung künstlicher Erdsatelliten. Die heutzutage erfolgreichsten Beobachtungs- und Analysemethoden zur Erforschung des Systems Erde werden unter dem Sammelbegriff "Satellitengeodäsie" zusammengefasst. In einem einleitenden Abschnitt werden die Theorie der Satellitenbewegung und die Störungsgleichungen der klassischen Bahnelemente betrachtet. Darauf bauen die verschiedenen Anwendungsmöglichkeiten der geodätischen Nutzung künstlicher Erdsatelliten auf und insbesondere die speziellen Methoden der Analyse langer Bahnen zur Bestimmung des Gravitationsfeldes. Vor allem werden die sog. In-Situ-Methoden der Gravitationsfeldbestimmung mit Hilfe künstlicher Erdsatelliten erläutert, die mit den Anwendungen der Satelliten-Gravitations-Gradiometrie und der Ausmessung des statischen und zeitveränderlichen Gravitationsfeldes mit Hilfe des Satellite-to-Satellite-Trackings zu spektakulären Ergebnissen geführt haben. Somit haben die Leser die Möglichkeit, die Verfahren anschaulich zu begreifen, die sich in den letzten Jahrzehnten bewährt haben.
Satellitenkommunikation
by Hans Dodel Sabrina EberleSatellitenkommunikation im Aufbruch: Fernsehverteilung, multimediale Geschäftskommunikation, Kommunikation per Handy. Der umfassende Einblick in alle relevanten Aspekte: ausführliche Grundlagen, die Bedeutung unterschiedlicher Satellitenbahnen, Koordinierung von Frequenzen. Die Autoren rechnen eine Streckenbilanz durch, stellen die relevanten Verfahren der Codier-, Chiffrier- und Modulationsverfahren dar und behandeln Vielfachzugriffsprotokolle.
Saudi Arabia in the Anglo-American Press: Covering the Kingdom during the 20th Century (Routledge Studies in Middle Eastern History)
by Abdullah F. AlrebhThis book provides an in-depth analysis of authority structures in Saudi Arabia during the twentieth century, as presented in two leading Western newspapers, The London Times and The New York Times. Beginning with a history of Saudi Arabia – from the building of the Kingdom in 1901, when Ibn Saud left his exile in Kuwait to recover Riyadh back from Al-Rasheed’s rule, until the death of King Fahd in 2005 – the author then outlines the theoretical framework of the book, specifically Weber’s original conception of authority. Weber’s notion of authority as having three types – traditional, charismatic, and rational-legal – is applied to an analysis of the two newspapers over the course of the twentieth century. A timeline is devised to aid this analysis, based on significant turning points in Saudi history, including Ibn Saud’s declaration of the Kingdom in 1932 and King Faisal’s assassination in 1975. Ultimately, this analysis discloses the many ways in which conceptions of authority in the Middle East were presented to Western audiences, whilst illuminating the political agendas inherent to this coverage in the UK and the US. This book is vital reading for anyone interested in Saudi Arabian history, Western perspectives of the Middle East, and the sociology of media.
Saudi Arabia in the Anglo-American Press: Covering the Kingdom during the 20th Century (Routledge Studies in Middle Eastern History)
by Abdullah F. AlrebhThis book provides an in-depth analysis of authority structures in Saudi Arabia during the twentieth century, as presented in two leading Western newspapers, The London Times and The New York Times. Beginning with a history of Saudi Arabia – from the building of the Kingdom in 1901, when Ibn Saud left his exile in Kuwait to recover Riyadh back from Al-Rasheed’s rule, until the death of King Fahd in 2005 – the author then outlines the theoretical framework of the book, specifically Weber’s original conception of authority. Weber’s notion of authority as having three types – traditional, charismatic, and rational-legal – is applied to an analysis of the two newspapers over the course of the twentieth century. A timeline is devised to aid this analysis, based on significant turning points in Saudi history, including Ibn Saud’s declaration of the Kingdom in 1932 and King Faisal’s assassination in 1975. Ultimately, this analysis discloses the many ways in which conceptions of authority in the Middle East were presented to Western audiences, whilst illuminating the political agendas inherent to this coverage in the UK and the US. This book is vital reading for anyone interested in Saudi Arabian history, Western perspectives of the Middle East, and the sociology of media.
Save As... Digital Memories
by J. Garde-Hansen A. Hoskins A. ReadingThis groundbreaking and truly interdisciplinary collection of essays examines how digital media technologies require us to rethink established conceptualisations of human memory in terms of its discourses, forms and practices.
Savegame: Agency, Design, Engineering (Perspektiven der Game Studies)
by Wilfried Elmenreich René Reinhold Schallegger Felix Schniz Sonja Gabriel Gerhard Pölsterl Wolfgang B. RugeDer Band bietet eine Zusammenschau theoretischer und praktischer Perspektiven, die sich rund um das Thema Videospiel, die Erhaltung von Information und die Beharrung auf traditionellen Designparadigmen ergeben. Die Beiträge gehen über ihre jeweiligen Disziplinen von der verbindenden Metapher des Savegames (Speicherstandes) hinaus, um unterschiedlichste Aspekte des Designs, der Bewahrung und der Kritik von Spielen verfügbar und vernetzt nutzbar zu machen. Technische und kulturwissenschaftliche Zugänge ergänzen sich und stellen den Lesern multifunktionale Werkzeuge zur Nutzung, Schaffung und Analyse von Videospielen zur Verfügung.Die Herausgeber*innenProf. Dipl.-Ing. Dr. Wilfried Elmenreich ist Informationstechniker am Institut für Vernetzte und Eingebettete Systeme und hält einen Lehrstuhl für Smart Grids an der Alpen-Adria-Universität Klagenfurt.Mag. Dr. René Reinhold Schallegger arbeitet im Bereich der anglophonen Kulturwissenschaften sowie der Game Studies und ist Assoziierter Professor am Institut für Anglistik und Amerikanistik.Felix Schniz MA ist Universitätsassistent und Doktoratsstudierender am Institut für Anglistik und Amerikanistik der Alpen-Adria-Universität Klagenfurt.Gemeinsam sind sie die Begründer des Masterstudiengangs Game Studies and Engineering an der Alpen-Adria-Universität Klagenfurt.Sonja Gabriel ist Hochschulprofessorin für Medienpädagogik und Mediendidaktik an der KPH Wien/Krems und in der Pädagog*innenbildung tätig. Sie forscht und publiziert im Bereich Digital Game-Based Learning und Wertevermittlung durch digitale Spiele.Mag. Gerhard Pölsterl ist Fachreferent für Medienpädagogik im Bundeskanzleramt Österreich. Im Bereich Gaming ist er für die Bundesstelle für die Positivprädikatisierung von digitalen Spielen (BuPP.at) zuständig.Wolfgang B. Ruge MA ist Lektor an der Universität Wien und Geschäftsführer der Bildungsgrund. Agentur- und Kultur und Medienpädagogik KG.
Saving Bletchley Park: How #socialmedia saved the home of the WWII codebreakers
by Sue Black Stevyn ColganImagine a Britain where the most important sites of historical significance are replaced with housing estates and supermarkets…Imagine a Britain without Bletchley Park, where Alan Turing and a team of code breakers changed the course of World War II and where thousands of women inspired future generations with their work in the fields of computing and technology...Now imagine a group of extraordinary people, who – seventy years after the birth of the modern computer at Bletchley Park – used technology to spark a social media campaign that helped secure its future and transform it into the world-class heritage and education centre it deserves to be.This is a story about saving Bletchley Park.But it is also the story of the hundreds of people who dedicated twenty years of hard work and determination to the campaign that saved it. It is a testament to the remarkable and mysterious work during World War II that made it a place worth saving. It is a book about campaigners, veterans, enthusiasts, computer geeks, technology, Twitter, trees and Stephen Fry stuck in a lift.And finally, it is a story about preserving the past for the generations of tomorrow.
Say No to Social Media: Simple Tips to Help You Stay Positively Connected
by Chloe RamsdenAre you familiar with FOMO? Do you often fall prey to the mindless scroll? Is the pressure of likes, follows and notifications getting you down? Although social media is a big part of modern life, using it can often leave us feeling drained, unfocused and unhappy – but it doesn’t have to be that way! This book has everything you need to put you back in the driving seat. With 100 practical tips, from switching off to curating positive feeds, you’ll find it easy to take the first steps towards a happier online life.
Say What!? Communicate with Tact and Impact: What to say to get results at any point in an audit (Internal Audit and IT Audit)
by Ann M. ButeraThis book addresses the important role of communication within the context of performing an audit, project, or review (i.e., planning, detailed testing, and reporting). Intended for audit, information security, enterprise, and operational risk professionals at all levels, including those just starting out, Say What!? Communicate with Tact and Impact: What to Say to Get Results at Any Point in an Audit contains an array of practical and time-tested approaches that foster efficient and effective communication at any point during an engagement. The practical and memorable techniques are culled from author Ann M. Butera’s CRP experience as a trusted advisor who has taught thousands of professionals how to develop and hone their interpersonal, communication, and empathic skills. Those familiar with the Five Tier Competency ModelTM she developed will recognize these techniques as a deep dive on the competencies comprising Tier 3: Project Management and Tier 5: Managing Constituent Relations. The author discusses the following behaviors in one’s dealings with executives, process owners, control performers, and colleagues: Demonstrating executive presence Becoming the trusted advisor Influencing others Communicating with tact, confidence, and impact Facilitating productive meetings and discussions Overcoming resistance and objections Managing and resolving conflict Knowing when to let a topic go and move on This book is a guide for professionals who want to interact proactively and persuasively with those they work with, audit, or review. It describes techniques that can be used during virtual, in-person, telephone, or video conferences (as opposed to emails, workpapers, and reports). It provides everyone (newer associates in particular) with the interpersonal skills needed to (1) develop and build relationships with their internal constituents and clients, (2) facilitate conversations and discussions before and during meetings, and (3) handle impromptu questions with confidence and executive presence and make positive first impressions. The topics and techniques discussed are accompanied by case studies, examples, and exercises to give the readers the opportunity to develop plans to bridge the gap between theory and practice. The readers can use the book as a reliable resource when subject matter experts or training guides are not readily available.
Say What!? Communicate with Tact and Impact: What to say to get results at any point in an audit (Internal Audit and IT Audit)
by Ann M. ButeraThis book addresses the important role of communication within the context of performing an audit, project, or review (i.e., planning, detailed testing, and reporting). Intended for audit, information security, enterprise, and operational risk professionals at all levels, including those just starting out, Say What!? Communicate with Tact and Impact: What to Say to Get Results at Any Point in an Audit contains an array of practical and time-tested approaches that foster efficient and effective communication at any point during an engagement. The practical and memorable techniques are culled from author Ann M. Butera’s CRP experience as a trusted advisor who has taught thousands of professionals how to develop and hone their interpersonal, communication, and empathic skills. Those familiar with the Five Tier Competency ModelTM she developed will recognize these techniques as a deep dive on the competencies comprising Tier 3: Project Management and Tier 5: Managing Constituent Relations. The author discusses the following behaviors in one’s dealings with executives, process owners, control performers, and colleagues: Demonstrating executive presence Becoming the trusted advisor Influencing others Communicating with tact, confidence, and impact Facilitating productive meetings and discussions Overcoming resistance and objections Managing and resolving conflict Knowing when to let a topic go and move on This book is a guide for professionals who want to interact proactively and persuasively with those they work with, audit, or review. It describes techniques that can be used during virtual, in-person, telephone, or video conferences (as opposed to emails, workpapers, and reports). It provides everyone (newer associates in particular) with the interpersonal skills needed to (1) develop and build relationships with their internal constituents and clients, (2) facilitate conversations and discussions before and during meetings, and (3) handle impromptu questions with confidence and executive presence and make positive first impressions. The topics and techniques discussed are accompanied by case studies, examples, and exercises to give the readers the opportunity to develop plans to bridge the gap between theory and practice. The readers can use the book as a reliable resource when subject matter experts or training guides are not readily available.
SBus: Information, Applications, and Experience
by James D. LyleWorkstation and computer users have an ever increasing need for solutions that offer high performance, low cost, small footprints (space requirements), and ease of use. Also, the availability of a wide range of software and hardware options (from a variety of independent vendors) is important because it simplifies the task of expanding existing applications and stretching into new ones. The SBus has been designed and optimized within this framework, and it represents a next-generation approach to a system's I/O intercon nect needs. This book is a collection of information intended to ease the task of developing and integrating new SBus-based products. The focus is primarily on hardware, due to the author's particular expertise, but firmware and software concepts are also included where appropriate. This book is based on revision B.O of the SBus Specification. This revision has been a driving force in the SBus market longer than any other, and is likely to remain a strong influence for some time to come. As of this writing there is currently an effort (desig nated P1496) within the IEEE to produce a new version of the SBus specification that conforms to that group's policies and requirements. This might result in some changes to the specifica tion, but in most cases these will be minor. Most of the information this book contains will remain timely and applicable. To help ensure this, the author has included key information about pro posed or planned changes.
SC-FDMA for Mobile Communications
by Fathi E. Abd El-Samie Faisal S. Al-kamali Azzam Y. Al-nahari Moawad I. DessoukySC-FDMA for Mobile Communications examines Single-Carrier Frequency Division Multiple Access (SC-FDMA). Explaining this rapidly evolving system for mobile communications, it describes its advantages and limitations and outlines possible solutions for addressing its current limitations.The book explores the emerging trend of cooperative communicatio
Scabby Queen
by Kirstin Innes‘Gripping and moving. A literary triumph’ Nicola Sturgeon ‘A humane and searching story’ Ian Rankin ‘Kirstin Innes is aiming high, writing for readers in the early days of a better nation’ A.L. Kennedy