- Table View
- List View
Myocardial Pathology Segmentation Combining Multi-Sequence Cardiac Magnetic Resonance Images: First Challenge, MyoPS 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings (Lecture Notes in Computer Science #12554)
by Xiahai Zhuang Lei LiThis book constitutes the First Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge, MyoPS 2020, which was held in conjunction with the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, in Lima, Peru, in October 2020. The challenge took place virtually due to the COVID-19 crisis.The 12 full and 4 short papers presented in this volume were carefully reviewed and selected form numerous submissions. This challenge aims not only to benchmark various myocardial pathology segmentation algorithms, but also to cover the topic of general cardiac image segmentation, registration and modeling, and raise discussions for further technical development and clinical deployment.
Myopic Maculopathy Analysis: MICCAI Challenge MMAC 2023, Held in Conjunction with MICCAI 2023, Virtual Event, October 8–12, 2023, Proceedings (Lecture Notes in Computer Science #14563)
by Bin Sheng Tien Yin Wong Hao ChenThis book constitutes the MICCAI Challenge, MMAC 2023, that held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, which took place in October 2023. The 11 long papers included in this volume presents a wide range of state-of-the-art deep learning methods developed for the various tasks presented in the challenge.
Myst and Riven: The World of the D'ni
by Mark J. P. Wolf"Myst and Riven is well-written, interesting, on-topic, insightful, and a real pleasure to read. " -Edward Castronova, Indiana University. Video games have become a major cultural force, and within their history, Myst and its sequel Riven stand out as influential examples. Myst and Riven:The World of the D'ni is a close analysis of two of the most popular and significant video games in the history of the genre, investigating in detail their design, their functionality, and the gameplay experience they provide players. While scholarly close analysis has been applied to films for some time now, it has only rarely been applied at this level to video games. Mark J. P. Wolf uses elements such as graphics and sound, the games' mood and atmosphere and how they are generated, the geography and design of the digital worlds, and the narrative structures of the games to examine their appeal to both critical and general audiences, their legacy, and what made them great. Myst and Riven is the first book in the Landmark Video Games series, edited by Bernard Perron and Mark J. P. Wolf, which is the first series to examine individual video games of historical significance.
Mysteries of the Overworld: An Unofficial Overworld Heroes Adventure, Book Two (Unofficial Overworld Heroes Adventure #2)
by Danica DavidsonStevie and Alex are still looking for answers about the mysterious Ender crystal Stevie discovered, and the sinister voice that seems to emanate from it. Their search leads them to a strange book filled with writing in a strange language, and pictures that seem to show two adventurers trapping the evil Ender Dragon in the End.As the writing in the book slowly reveals itself, the friends realize that the Overworld is in danger! The Ender crystal Stevie stumbled upon in the Overworld is one piece of an enchanted crystal that, if fully assembled, could either destroy the dragon—or set it free to destroy the world!Now Stevie and his friends must race to find the pieces of the broken Ender crystal. Can they find them all before the Ender Dragon discovers a way to stop them?Fans of Minecraft will be at the edge of their seats all the way through this second book in the Unofficial Overworld Heroes Adventure series by Danica Davidson!
Mystery on Mushroom Island (Unofficial Minecraft Mysteries #6)
by Winter MorganEdison and Billy finally have a chance for a vacation, joining Amira to celebrate her birthday on peaceful Mushroom Island. But before celebrations can get underway, Mushroom Island is rocked by a mysterious explosion. As they investigate the fire, they discover rumors that the island, itself, is cursed. Of course, Edison and Billy don’t believe in curses. There must be a logical explanation behind the explosion, and they just have to find it. So not only do they have solve the mystery of the fire, but they have to prove to theirs friend and the residents of Mushroom Island that there is no such thing as a curse.Join Edison and Billy their explosive final adventure in the final installment of the Unofficial Minecraft Mystery series!
Myten om internet
by Robert Levine Pelle Snickars Mariam Kirollos Paul Frigyes Lisa Ehlin Anders R. Olsson Helienne Lindvall Per Strömbäck Anders RydellVilken funktion hade egentligen sociala medier under den arabiska våren? Vilka är den digiala underklassen? Och hur har en handfull teknikföretag i Silicon Valley lyckats sprida ryktet om sig själva som det fria ordet och kunskapens främsta förespråkare När internet ska diskuteras används ofta begrepp som frihet, demokrati och delaktighet. Att internet har haft en otrolig betydelse tvivlar ingen på, men samtidigt finns en mängd löst grundade föreställningar att internet kommer infria alla förhoppningar, en sorts tekno-utopi. Internet är på ett plan öppet och fritt, men lika mycket är det skapat av offentliga regleringar, teknik och affärsintressen. 85 procent av de så kallade stadsnäten ägs av kommunala bolag. Den grundläggande infrastrukturen för nätet i Sverige är alltså i allmän ägo, tvärtemot den gängse bilden att internet drivs av marknadskrafterna. I Myten om internet har såväl svenska som internationella namn samlats för att nyansera bilden av internet, och inte minst blottlägga vilka som har gynnats av de rådande föreställningarna. Bland skribenterna märks egyptiska Mariam Kirollos, aktivist och doktorand, som starkt ifrågasätter hyllningarna av sociala mediers roll i den arabiska våren, och Robert Levine, amerikansk författare och journalist, som utkom med den mycket uppmärksammade boken Free Ride 2011.
Mythopoeic Narrative in The Legend of Zelda (Routledge Interdisciplinary Perspectives on Literature)
by Anthony G. Cirilla Vincent E. RoneThe Legend of Zelda series is one of the most popular and recognizable examples in videogames of what Tolkien referred to as mythopoeia, or myth-making. In his essay On Fairy Stories and a short poem entitled Mythopoeia, Tolkien makes the case that the fairy tale aesthetic is simply a more intimate version of the same principle underlying the great myths: the human desire to make meaning out of the world. By using mythopoeia as a touchstone concept, the essays in this volume explore how The Legend of Zelda series turns the avatar, through which the player interacts with the in-game world, into a player-character symbiote wherein the individual both enacts and observes the process of integrating worldbuilding with storytelling. Twelve essays explore Zelda’s mythmaking from the standpoints of literary criticism, videogame theory, musicology, ecocriticism, pedagogy, and more.
Myths of Branding: A Brand is Just a Logo, and Other Popular Misconceptions (Business Myths)
by Simon Bailey Andy MilliganA brand is just a logo - everyone knows that, don't they? After all, it's not as though a good brand can save a bad business, and besides, the digital revolution is making branding irrelevant...Myths of Branding, written by renowned branding experts Andy Milligan and Simon Bailey, explores the huge number of misguided, mistaken and blatantly false myths that abound in the branding arena. From the belief that developing brands is nothing more than fiddling with logos, to the perception that it's a 'soft' area of marketing that doesn't go beyond visual identity - these myths are all surprisingly entrenched, yet could not be further from the truth. Myths of Branding takes the most up-to-date research and evidence to debunk these popular misconceptions, and replaces them with the reality of what it's really like to work in the world of branding. Jam-packed with entertaining anecdotes and useful information that practitioners' can learn from, it guarantees a deeper, sharper understanding of the realities of branding and brand management.
Myths of Branding: Dispel the Misconceptions and Become a Brand Expert (Business Myths)
by Simon Bailey Andy MilliganA brand is just a logo - everyone knows that, don't they? After all, it's not as though a good brand can save a bad business, and besides, the digital revolution is making branding irrelevant...Myths of Branding, written by renowned branding experts Andy Milligan and Simon Bailey, explores the huge number of misguided, mistaken and blatantly false myths that abound in the branding arena. From the belief that developing brands is nothing more than fiddling with logos, to the perception that it's a 'soft' area of marketing that doesn't go beyond visual identity and that the customer is always right - these myths are all surprisingly entrenched, yet could not be further from the truth.Myths of Branding uses up-to-date case studies and witty examples to debunk these popular misconceptions, and replaces them with the reality of what it's really like to work in the world of branding. Jam-packed with entertaining anecdotes and useful information that practitioners can learn from, it guarantees a deeper, sharper understanding of the realities of branding and brand management.About the Business Myths series... The Business Myths series tackles the falsehoods that pervade the business world. From leadership and management to social media, strategy and the workplace, these accessible books overturn out-of-date assumptions, skewer stereotypes and put oft-repeated slogans to the test. Entertaining and rigorously researched, these books will equip you with the insight and no-nonsense wisdom you need to succeed.
Myths of Social Media: Dismiss the Misconceptions, Side-step the Slip-ups and Use Social Media Effectively in Business (Business Myths)
by Michelle Carvill Ian MacRaeEveryone knows that social media is free, millennials are all adept social media experts, that businesses always have to be available 24/7 and ultimately none of it really matters, as the digital space is full of fake news and online messaging is seen as inauthentic. Don't they?The use of social media as a business tool is dominated by falsehoods, fictions and fabrications. In Myths of Social Media, digital consultant Michelle Carvill and workplace psychologist Ian MacRae dismiss many of the most keenly-held misconceptions and instead, present the reality of social media best practice. Using helpful and instructive, sometimes entertaining and occasionally eye-watering examples of what you should and should not do, Myths of Social Media debunks the most commonly held myths and shows you how to use social media effectively for work and at work.
Myths of Social Media: Dispel the Misconceptions and Master Social Media (Business Myths)
by Michelle Carvill Ian MacRaeEveryone knows that social media is free, millennials are all adept social media experts, that businesses always have to be available 24/7 and ultimately none of it really matters, as the digital space is full of fake news and online messaging is seen as inauthentic. Don't they?The use of social media as a business tool is dominated by falsehoods, fictions and fabrications. In Myths of Social Media, digital consultant Michelle Carvill and workplace psychologist Ian MacRae dismiss many of the most keenly-held misconceptions and instead, present the reality of social media best practice. Using helpful and instructive, sometimes entertaining and occasionally eye-watering examples of what you should and should not do, Myths of Social Media debunks the most commonly held myths and shows you how to use social media effectively for work and at work.About the Business Myths series... The Business Myths series tackles the falsehoods that pervade the business world. From leadership and management to social media, strategy and the workplace, these accessible books overturn out-of-date assumptions, skewer stereotypes and put oft-repeated slogans to the test. Entertaining and rigorously researched, these books will equip you with the insight and no-nonsense wisdom you need to succeed.
N 2 Deep (TodaysGirls.com #7)
by Terry Brown Laurie KnowltonAmber needs help from God when she is talked into trying out for the soccer team while being swamped with demands for the Web site she is developing for her school.
NASA Formal Methods
by Sanjai Rayadurgam Oksana TkachukThis book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification.
NASA Formal Methods: 10th International Symposium, Nfm 2018, Newport News, Va, Usa, April 17-19, 2018, Proceedings (Lecture Notes in Computer Science #10811)
by Aaron Dutle César Muñoz Anthony NarkawiczThis book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings (Lecture Notes in Computer Science #11460)
by Julia M. Badger Kristin Yvonne RozierThis book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings (Lecture Notes in Computer Science #12229)
by Ritchie Lee Susmit Jha Anastasia MavridouThis book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems. *The conference was held virtually due to the COVID-19 pandemic.
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings (Lecture Notes in Computer Science #12673)
by César A. Muñoz Aaron Dutle Mariano M. Moscato Laura Titolo Ivan PerezThis book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings (Lecture Notes in Computer Science #13260)
by Klaus Havelund Ivan Perez Jyotirmoy V. DeshmukhThis book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (Lecture Notes in Computer Science #13903)
by Swarat Chaudhuri Kristin Yvonne RozierThis book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings (Lecture Notes in Computer Science #14627)
by Nathaniel Benz Divya Gopinath Nija ShiThis LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions. The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.
NB-IoT Use Cases and Devices: Design Guide
by Kersten HeinsThis book presents the cellular wireless network standard NB-IoT (Narrow Band-Internet of Things), which addresses many key requirements of the IoT. NB-IoT is a topic that is inspiring the industry to create new business cases and associated products. The author first introduces the technology and typical IoT use cases. He then explains NB-IoT extended network coverage and outstanding power saving features which are enabling the design of IoT devices (e.g. sensors) to work everywhere and for more than 10 years, in a maintenance-free way. The book explains to industrial users how to utilize NB-IoT features for their own IoT projects. Other system ingredients (e.g. IoT cloud services) and embedded security aspects are covered as well. The author takes an in-depth look at NB-IoT from an application engineering point of view, focusing on IoT device design. The target audience is technical-minded IoT project owners and system design engineers who are planning to develop an IoT application.
NEW PERSPECTIVES Microsoft Windows 10
by Dan Oja Patrick Carey Lisa Ruffolo June Parsons Joan CareyDiscover a unique, critical-thinking approach to mastering MS Windows 10 concepts and skills with NEW PERSPECTIVES MICROSOFT WINDOWS 10: COMPREHENSIVE. In addition to in-depth coverage of essential topics, this book highlights some of the best new features in the Windows 10 Operating System, including Cortana, the new Edge browser, and new search functions. As part of the acclaimed New Perspectives Series, this book offers proven learning features to help you absorb key information, no matter what your learning style. A dynamic Visual Overview at the beginning of each module gives you a graphic preview of content and serves as a study guide for later use. ProSkills Boxes provide information about professional skills that relate to the module’s content. Troubleshoot Exercises let you apply your skills in a critical-thinking setting. Readers can trust NEW PERSPECTIVES MICROSOFT WINDOWS 10: COMPREHENSIVE for all of the MS Windows skills needed.
NFT Arte y Coleccionables: La Guía Imprescindible para Comprender Los Tokens No Fungibles (NFT)
by Chris Collins¿Está buscando aprender cómo sacar provecho de la revolución NFT? ¿Acaba de enterarse de las NFT? ¿Quieres unirte a la locura como artista, jugador o músico? ¿Le resulta difícil encontrar toda la información en el mismo lugar o simplemente es completamente confuso? Si esto te suena, ¡sigue leyendo! NFT Arte y Coleccionables para Principiantes ofrece, información completa sobre esta reciente tendencia rentable. Esta guía habla sobre qué son las NFT y también proporciona una breve historia de su aparición. Después de conocer las NFT, también encontrará información sobre los tokens Ethereum. Estos son los estándares que unen el sistema de coleccionables digitales. El funcionamiento interno de las NFT, junto con su importancia y valor, también se tratan en esta guía detallada. Las áreas de aplicación y usos le brindarán el conocimiento de áreas en las que puede ingresar en esta tendencia digital. Además, la información de este libro también enumera los principales mercados y el proceso de creación de NFT. En este libro también se desmienten varios mitos de las NFT. El arte y los juegos son las áreas más importantes que están surgiendo dentro de la moda de NFT. Esto es particularmente cierto para la industria del juego, ya que permite a personas de todas las edades aprender esta tecnología de una manera nueva y divertida.
NFTs Are a Scam / NFTs Are the Future: The Early Years: 2020-2023
by Bobby HundredsThe nationally bestselling author and streetwear entrepreneur Bobby Hundreds’s manifesto about NFTs, the future of creativity, and bringing his brand and community into the modern digital space.Bobby Hundreds has spent twenty years building his streetwear company, The Hundreds, to be as much a community as a brand. So when Bobby discovered NFTs in 2020, he knew that the technology had the makings of a revolution. Now fans could not only directly support artists and creators but also have a genuine stake in the success of the work. Here, Bobby saw a way for the Hundreds community to participate in the brand as never before. But was this a good idea? Are NFTs truly the future of creativity? Or just a fad? Are they a scam? Maybe they are all those things. In NFTs Are a Scam / NFTs Are the Future, Bobby digs deep into these questions and more: Are NFTs fashion? A cult? Already over? Just beginning? None of the answers are simple, and Bobby works through each with the thoughtfulness and hard-earned insight that have made him a fervently sought-after voice in conversations about creativity, commerce, and community in the digital age. Over the course of just a few years, NFTs have been celebrated and derided; fortunes have been made and lost, empires built and toppled, and Bobby has been, and remains, in the thick of it. For the reader sitting on a collection of NFTs, this is an obvious must-read. For those wondering what’s been going on—and why it’s worth paying attention to—it is the perfect primer.
NFTs For Dummies
by Tiana Laurence Seoyoung KimGet a grip on NFTs and learn how to get in the game It’s not often that a brand-new investment comes along that revolutionizes how we buy and sell digital assets. But that’s what non-fungible tokens (NFTs) did. Built on blockchain tech, NFTs are shaking up the world of digital commodity investing. And you can get your slice of the pie before everyone jumps into the arena. In NFTs For Dummies, you’ll find straightforward answers to critical aspects of the NFT phenomenon. You’ll learn exactly what non-fungible tokens really are, how you can find them, and even how to create your own valuable NFTs. You’ll also discover: How to find reliable and safe NFT marketplaces where you can be sure you’re dealing with reputable buyers and sellers A peek behind the NFT curtain to see how NFTs work and what, exactly, you own when you buy or make an NFT Discussions of the kinds of digital properties that can be converted into an NFT Perfect for anyone who wants to learn about the market for buying, selling, and creating crypto collectibles, NFTs For Dummies is the only resource you’ll need to get a handle on this cutting-edge tech and start making it work for you.