الصفحة 10
الصفحة 10
Model Checking Software ; 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
Model checking and artificial intelligence ; 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, MoChArt IV, held in Riva Del Garda, Italy in August 2006, as a satellite event of ECAI0 2006, the 17th biannual European conference on Artificial Intelligence.
Mobile Wireless Middleware, Operating Systems and Applications ; 9th EAI International Conference, MOBILWARE 2020, Hohhot, China, July 11, 2020, Proceedings
This book constitutes the refereed conference proceedings of the 9th International Conference on Mobile Wireless Middleware, Operating Systems and Applications, MOBILWARE 2020, held in Hohhot, China, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 21 revised full papers were reviewed and selected from 69 submissions and are organized in tracks on MobilWare; Big data, data mining and artificial intelligence workshop; Blockchain and internet of things workshop.
Mobile response ; 1st International Workshop on mobile information technology, for emergency response, mobile response 2007, Sankt Augustin, Germany, February 22-23, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Mobile Information Technology for Emergency Response, MobileResponse 2007 held in Sankt Augustin, Germany in February 2007.
Mobile Phone Programming and its Application to Wireless Networking
This book provides a solid overview of mobile phone programming targeting both academia and industry. Mobile Phone Programming covers all commercial realizations of Symbian, Windows Mobile and Linux platforms. Each programming language (JAVA, Python, C/C++) and a set of development environments are introduced “step by step” making developers familiar with current limitations, pitfalls, and challenges. Each chapter contains examples and source code to rapidly make developers familiar with the most important concepts. Examples cover peer to peer networks, cooperative networking, cross layer protocol design, key challenges such as power consumption, and sensor networks for which a full hardware and software implementation is provided. Whether you are an experienced developer or an advanced student Mobile Phone Programming will be your key reference for successfully entering the world of software development for mobile devices.
Mobile computing, applications, and services ; 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Mobile Computing, Applications, and Services, MobiCASE 2020, held in Shanghai, China, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 15 full papers were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on mobile application and framework; mobile application with data analysis; and AI application.
Mobile and Wireless Communication Networks; IFIP 19th World Computer Congress, TC-6, 8th IFIP/IEEE Conference on Mobile and Wireless Communications Networks, August 20-25, 2006, Santiago, Chile
International Federation for Information Processing 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 referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Mobile Ad-hoc and Sensor Networks ; Vol. 4325 ; 2nd International Conference, MSN 2006, Hong Kong, China, December 13-15, 2006, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2006, held in Hong Kong, China in December 2006. The 73 revised full papers address all current issues in mobile ad hoc and sensor networks and are organized in topical sections on routing, network protocols, security, energy efficiency, data processing, and deployment.
Mobile Ad-hoc and Sensor Networks ; Vol. 3794 : 1st International Conference, MSN 2005, Wuhan, China, December 13-15, 2005, Proceedings
Constitutes the refereed proceedings of the First International Conference on Mobile Ad-hoc and Sensor Networks held in 2005. The papers address topical areas in mobile ad hoc and sensor networks, such as network architecture and protocols, software platforms and development tools, self-organization and synchronization, and more
Mobile Ad-Hoc and sensor networks ; 3rd International Conference, MSN 2007 Beijing, China, December 12-14, 2007 Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2007, held in Beijing, China, in December 2007.
Mobile 3D Graphics
Historically, not enough was understood about how to deliver a high quality playing experience on handheld, small screen, small memory devices, plus there has been considerable confusion about the hardware’s abilities and restrictions. By addressing these issues this book provides: • A comprehensive explanation of 3D mobile graphics programming • Includes an extensive range of code samples in both C and Java • Combines 3D and 2D mobile graphics methods • Covers recent advances in mobile computer graphics techniques and applications. The book teaches fundamental 3D mobile graphics programming with standard APIs, and covers the basic and advanced application programme interfaces behind the major wireless and mobile devices supporting 3D graphics applications. Advanced undergraduates and postgraduates, as well as mobile application and games developers, will find this an excellent reference source.
MKTG13 : Principles of marketing
Learn Marketing YOUR Way with MKTG and MindTap! MKTG s easy-reference, paperback textbook presents course content through visually engaging chapters. Read or listen to your textbook, complete assignments, and study, all in one place. Track your scores and stay motivated toward your goals. Whether you have more work to do or are ahead of the curve, you ll know where you need to focus your efforts.
Mitochondria and the Heart
The function of the heart is highly dependent on oxidative energy that is generated in mitochondria. Defects in mitochondrial structure and function can be found in association with cardiovascular diseases. Mitochondria and the Heart discusses the role that mitochondria plays in cardiovascular disease, including biogenesis and function of cardiac mitochondria during normal growth, development and aging. In addition, nonbioenergetic, biogenesis and degradation pathways are explored. Understanding these pathways and the effects that mitochondrial defects have in cardiac pathology is extremely important in establishing the diagnosis and treatment of mitochondrial-based cardiac diseases.
Missing Data and Small-Area Estimation : Modern Analytical Equipment for the Survey Statistician
The general tone of the book is not "from theory to practice," but "from current practice to better practice." The third part of the book, a single chapter, presents a method for efficient estimation under model uncertainty. It is inspired by the solution for small-area estimation and is an example of "from good practice to better theory." A strength of the presentation is chapters of case studies, one for each problem. Whenever possible, turning to examples and illustrations is preferred to the theoretical argument.
Mining Complex Data ; ECML/PKDD 2007 Third International Workshop, MCD 2007, Warsaw, Poland, September 17-21, 2007, Revised Selected Papers
This book constitutes the refereed proceedings of the Third International Workshop on Mining Complex Data, MCD 2007, held in Warsaw, Poland, in September 2007, co-located with ECML and PKDD 2007.The 20 revised full papers presented were carefully reviewed and selected; they present original results on knowledge discovery from complex data. In contrast to the typical tabular data, complex data can consist of heterogenous data types, can come from different sources, or live in high dimensional spaces. All these specificities call for new data mining strategies.
Migration and Pandemics : Spaces of Solidarity and Spaces of Exception
This book discusses the socio-political context of the COVID-19 crisis and questions the management of the pandemic emergency with special reference to how this affected the governance of migration and asylum. The book offers critical insights on the impact of the pandemic on migrant workers in different world regions including North America, Europe and Asia.
Mies van der Rohe = The Krefeld Villas
The architect proffered his only known assessment of the villas in a public dialogue at the Architectural Association in 1959. With thirty years of hindsight, Mies made his fateful condemnation: “I wanted to make this house [Haus Lange] much more in glass, but the client did not like that. I had great 1 trouble. ” This single remark—often published in tandem with an early pastel sketch of Haus Esters depicting a generously glazed garden facade or a photograph of the architect at work on the same—has been repeatedly cited to explain away these “compromised” works as the result of dif?cult clients.
Middleware 2008 ; ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference 2008, held in Leuven, Belgium, in December 2008.The 21 revised full papers presented were carefully reviewed and selected from 117 submissions for inclusion in the book. The papers are organized in topical sections on platforms extended to new capabilities, advanced software engineering focusing on specific system properties, system management techniques, as well as components and system algorithms and properties.
Middleware 2007 ; ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 8th International Middleware Conference 2007, held in Newport Beach, CA, USA, in November 2007.
Middleware 2006 ; ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27 - December 1, 2006, Proceedings
This book constitutes the refereed proceedings of the ACM/IFIP/USENIX 7th International Middleware Conference 2006, held in Melbourne, Australia, in November/December 2006. The 21 revised full papers presented were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on performance, composition, management, publish/subscribe technology, databases, mobile and ubiquitous computing, security, and data mining techniques.
