- Table View
- List View
Design, User Experience, and Usability. Application Domains: 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III (Lecture Notes in Computer Science #11585)
by Aaron Marcus Wentao WangThe four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions.DUXU 2019 includes a total of 167 regular papers, organized in the following topical sections: design philosophy; design theories, methods, and tools; user requirements, preferences emotions and personality; visual DUXU; DUXU for novel interaction techniques and devices; DUXU and robots; DUXU for AI and AI for DUXU; dialogue, narrative, storytelling; DUXU for automated driving, transport, sustainability and smart cities; DUXU for cultural heritage; DUXU for well-being; DUXU for learning; user experience evaluation methods and tools; DUXU practice; DUXU case studies.
Design, User Experience, and Usability. Design Philosophy and Theory: 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I (Lecture Notes in Computer Science #11583)
by Aaron Marcus Wentao WangThe four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions.DUXU 2019 includes a total of 167 regular papers, organized in the following topical sections: design philosophy; design theories, methods, and tools; user requirements, preferences emotions and personality; visual DUXU; DUXU for novel interaction techniques and devices; DUXU and robots; DUXU for AI and AI for DUXU; dialogue, narrative, storytelling; DUXU for automated driving, transport, sustainability and smart cities; DUXU for cultural heritage; DUXU for well-being; DUXU for learning; user experience evaluation methods and tools; DUXU practice; DUXU case studies.
Design, User Experience, and Usability. Practice and Case Studies: 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV (Lecture Notes in Computer Science #11586)
by Aaron Marcus Wentao WangThe four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions.DUXU 2019 includes a total of 167 regular papers, organized in the following topical sections: design philosophy; design theories, methods, and tools; user requirements, preferences emotions and personality; visual DUXU; DUXU for novel interaction techniques and devices; DUXU and robots; DUXU for AI and AI for DUXU; dialogue, narrative, storytelling; DUXU for automated driving, transport, sustainability and smart cities; DUXU for cultural heritage; DUXU for well-being; DUXU for learning; user experience evaluation methods and tools; DUXU practice; DUXU case studies.
Design, User Experience, and Usability. User Experience in Advanced Technological Environments: 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11584)
by Aaron Marcus Wentao WangThe four-volume set LNCS 11583, 11584, 11585, and 11586 constitutes the proceedings of the 8th International Conference on Design, User Experience, and Usability, DUXU 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions.DUXU 2019 includes a total of 167 regular papers, organized in the following topical sections: design philosophy; design theories, methods, and tools; user requirements, preferences emotions and personality; visual DUXU; DUXU for novel interaction techniques and devices; DUXU and robots; DUXU for AI and AI for DUXU; dialogue, narrative, storytelling; DUXU for automated driving, transport, sustainability and smart cities; DUXU for cultural heritage; DUXU for well-being; DUXU for learning; user experience evaluation methods and tools; DUXU practice; DUXU case studies.
Attention Hijacked: Using Mindfulness to Reclaim Your Brain from Tech
by Erica B. MarcusTechnology surrounds us every day: a phone alarm wakes us up, an electronic calendar tracks assignment deadlines, GPS directs us to the new dentist’s office, social media keeps us connected to friends and family, and streaming platforms make sure we’re never without something new to binge-watch. Our devices and apps can make life much more convenient and entertaining. But for years, scientists have warned that too much screen time may have negative effects on our health. With portable devices and remote learning, it is even more difficult to put down electronics. Being intentional about how and when to unplug can help teens and young adults to protect their physical and mental wellbeing in a world where screens and technology are increasingly becoming necessities rather than just conveniences. Attention Hijacked offers a roadmap for those deciding how they want to deal with technology, exploring the ways technology affects the individual, dispelling common misinformation, and using this knowledge to make personalized decisions. Page Plus links in the book lead to mindfulness and meditation audio clips. Using mindfulness techniques, this book gives readers the power to take charge of their technology use.
Cancer Systems Biology, Bioinformatics and Medicine: Research and Clinical Applications
by Frederick Marcus Alfredo CesarioThis teaching monograph on systems approaches to cancer research and clinical applications provides a unique synthesis, by world-class scientists and doctors, of laboratory, computational, and clinical methods, thereby establishing the foundations for major advances not possible with current methods. Specifically, the book: 1) Sets the stage by describing the basis of systems biology and bioinformatics approaches, and the clinical background of cancer in a systems context; 2) Summarizes the laboratory, clinical, data systems analysis and bioinformatics tools, along with infrastructure and resources required; 3) Demonstrates the application of these tools to cancer research; 4) Extends these tools and methods to clinical diagnosis, drug development and treatment applications; and 5) Finishes by exploring longer term perspectives and providing conclusions. This book reviews the state-of-the-art, and goes beyond into new applications. It is written and highly referenced as a textbook and practical guide aimed at students, academics, doctors, clinicians, industrialists and managers in cancer research and therapeutic applications. Ideally, it will set the stage for integration of available knowledge to optimize communication between basic and clinical researchers involved in the ultimate fight against cancer, whatever the field of specific interest, whatever the area of activity within translational research.
Rebooting AI: Building Artificial Intelligence We Can Trust
by Gary Marcus Ernest DavisTwo leaders in the field offer a compelling analysis of the current state of the art and reveal the steps we must take to achieve a truly robust artificial intelligence.Despite the hype surrounding AI, creating an intelligence that rivals or exceeds human levels is far more complicated than we have been led to believe. Professors Gary Marcus and Ernest Davis have spent their careers at the forefront of AI research and have witnessed some of the greatest milestones in the field, but they argue that a computer beating a human in Jeopardy! does not signal that we are on the doorstep of fully autonomous cars or superintelligent machines. The achievements in the field thus far have occurred in closed systems with fixed sets of rules, and these approaches are too narrow to achieve genuine intelligence. The real world, in contrast, is wildly complex and open-ended. How can we bridge this gap? What will the consequences be when we do? Taking inspiration from the human mind, Marcus and Davis explain what we need to advance AI to the next level, and suggest that if we are wise along the way, we won't need to worry about a future of machine overlords. If we focus on endowing machines with common sense and deep understanding, rather than simply focusing on statistical analysis and gatherine ever larger collections of data, we will be able to create an AI we can trust—in our homes, our cars, and our doctors' offices. Rebooting AI provides a lucid, clear-eyed assessment of the current science and offers an inspiring vision of how a new generation of AI can make our lives better.
Amazonia: Five Years at the Epicenter of the Dot.Com Juggernaut
by James MarcusFive years at the epicenter of the dot.com juggernaut
Y a mí, ¿quién me asiste?: Manual de supervivencia para la oficina
by Lilit Marcus¿Qué tiene que hacer un humilde currito para no morir en el intento? Descúbrelo en este manual definitivo para sobrevivir en el trabajo. En tu primer día de trabajo aprendes cómo contestar al teléfono y encender el ordenador. Pero los años pasados en la universidad no te forman para la preparación del café, las puñaladas traperas y los «esto-tendría-que-estar-hecho-para-ayer» del día a día en cualquier oficina. Este manual está aquí para ayudarte, no solo a sobrevivir a tu trabajo, sino para, a la larga, ayudarte a conseguir el trabajo que deseas. ¿Qué pasa cuando un horario de 9 a 17 se convierte en uno de 9 a 23? ¿Cuál es la estrategia para neutralizar al tipo que no para de criticar tu trabajo? ¿Cómo tienes que reaccionar si tu jefe te tira una grapadora a la cabeza? ¿Y si te tira los tejos? Abre este libro, la guía más adictiva y práctica para conservar tu salud mental en tu lugar de trabajo, y ve a por todas. «Esta ex-asistente siente tu dolor.»Marie Claire «Empatía y consejos de supervivencia para los veinteañeros.»The New York Observer
Handbook for Online Learning Contexts: Policy and Practice
by Ann Marcus-Quinn Tríona HouriganThis book addresses the gap in the literature concerned with global case studies of successful Digital, Mobile and Open Education. The book shares experiences from international teaching and learning projects at all levels of Education, and provides advice for future policy and investment in digital teaching and learning and Open Education projects. It also provides an expectation on the future capacity and sustainability of Open Education.
Full Stack JavaScript
by Azat MardanThis is a hands-on book which introduces you to agile JavaScript web and mobile software development using the latest cutting-edge front-end and back-end technologies including: Node. js, MongoDB, Backbone. js, Parse. com, Heroku, and Windows Azure. Practical examples include building multiple versions of the Chat app: jQuery + Parse. com JS REST API Backbone and Parse. com JS SDK Backbone and Node. js Backbone and Node. js + MongoDB The Chat application has all the foundation of a typical web/mobile application: fetching data, displaying it, submitting new data. Other examples in the book are as follows: jQuery + Twitter RESP API "Tweet Analyzer" Parse. com "Save John" MongoDB "Print Collections" Backbone. js "Apple Database" Monk + Express. js "REST API Server" This book will save you many hours by providing a hand-picked and tested collection of quick start guides. RPJS has practical examples that allow to spend less time learning and more time building your own applications. Prototype fast and ship code that matters! What you''ll learn You should expect a basic understanding from a collection of quick start guides, tutorials and suggestions for the devel0pment apps discussed in this book. In addition to coding examples, the book covers virtually all setup and deployment step-by-step. You''ll learn from the examples of Chat web/mobile applications starting with front-end components and by the end we''ll put front-end and back-end together and deploy to the production environment. Who this book is for The typical programmer who wants to learn more about effective JavaScript coding. Table of Contents I Quick Start 1 Basics 2 Setup II Front-End Prototyping 3 jQuery and Parse. com 4 Intro to Backbone. js 5 Backbone. js and Parse. com III Back-End Prototyping 6 Node. js and MongoDB 7 Putting It All Together 8 Advanced Node. js Topics 9 Conclusion and Further Reading
Practical Node.js
by Azat MardanPractical Node. js is your step-by-step guide to learning how to build a wide range of scalable real-world web applications using a professional development toolkit. Node. js is an innovative and highly efficient platform for creating web services. But Node. js doesn't live in a vacuum! In a modern web development, many different components need to be put together -- routing, database driver, ORM, session management, OAuth, HTML template engine, CSS compiler and many more. If you already know the basics of Node. js, now is the time to discover how to bring it to production level by leveraging its vast ecosystem of packages. As a web developer, you'll work with a varied collection of standards and frameworks - Practical Node. js shows you how all those pieces fit together. Practical Node. js takes you from installing all the necessary modules to writing full-stack web applications by harnessing the power of the Express. js and Hapi frameworks, the MongoDB database with Mongoskin and Mongoose, Jade and Handlebars template engines, Stylus and LESS CSS languages, OAuth and Everyauth libraries, and the Socket. IO and Derby libraries, and everything in between. The book also covers how to deploy to Heroku and AWS, daemonize apps, and write REST APIs. You'll build full-stack real-world Node. js apps from scratch, and also discover how to write your own Node. js modules and publish them on NPM. You already know what Node. js is; now learn what you can do with it and how far you can take it! What you'll learn Manipulate data from the mongo console Use the Mongoskin and Mongoose MongoDB libraries Build REST API servers with Express and Hapi Deploy apps to Heroku and AWS Test services with Mocha, Expect and TravisCI Utilize sessions for authentication Implement a third-party OAuth strategy with Everyauth Apply Redis, domains, WebSockets, and clusters Write your own Node. js module, and publish it on NPM Who this book is for Practical Node. js is for web developers who have some familiarity with the basics of Node. js and want to learn how to use it to build apps in a professional environment. Table of Contents Setting Up Node. js and Other Essentials Using Express. js to Create Rapid Node. js Web Apps TDD and BDD for Node. js with Mocha Template Engines: Jade and Handlebars Persistence with MongoDB and Mongoskin Using Sessions and OAuth to Authorize and Authenticate Users in Node. js Apps Boosting Your Node. js Data with the Mongoose ORM Library Building a Node. js REST API Server App Realtime Apps with WebSockets, Socket. IO, and Derby JS Getting Node. js Apps Production Ready Deploying Node. js Apps Publishing a Node. js Module and Contributing Back to the Project
React Quickly: Painless web apps with React, JSX, Redux, and GraphQL
by Azat MardanSummaryReact Quickly is for anyone who wants to learn React.js fast. This hands-on book teaches you the concepts you need with lots of examples, tutorials, and a large main project that gets built throughout the book. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.About the TechnologySuccessful user interfaces need to be visually interesting, fast, and flowing. The React.js JavaScript library supercharges view-heavy web applications by improving data flow between UI components. React sites update visual elements efficiently and smoothly, minimizing page reloads. React is developer friendly, with a strong ecosystem to support the dev process along the full application stack. And because it's all JavaScript, React is instantly familiar. About the BookReact Quickly is the tutorial for web developers who want to get started fast with React.js. Following carefully chosen and clearly explained examples, you'll learn React development using your existing JavaScript and web dev skills. You'll explore a host of different projects as you learn about web components, forms, and data. What's InsideMaster React fundamentalsBuild full web apps with data and routingTest componentsOptimize React appsAbout the Reader This book is for developers comfortable building web applications with JavaScript. About the AuthorAzat Mardan is a Tech Fellow at Capital One with extensive experience using and teaching JavaScript and Node, and author of several books on JavaScript, Node, React, and Express.Table of ContensPART 1 - REACT FOUNDATIONMeeting ReactBaby steps with ReactIntroduction to JSXMaking React interactive with statesReact component lifecycle eventsHandling events in ReactWorking with forms in ReactScaling React componentsProject: Menu componentProject: Tooltip componentProject: Timer componentPART 2 - REACT ARCHITECTURE The Webpack build toolReact routingWorking with data using ReduxWorking with data using GraphQLUnit testing React with JestReact on Node and Universal JavaScriptProject: Building a bookstore with React RouterProject: Checking passwords with JestProject: Implementing autocomplete with Jest, Express, and MongoDBAPPENDIXESAppendix A - Installing applications used in this bookAppendix B - React cheatsheetAppendix C - Express.js cheatsheetAppendix D - MongoDB and Mongoose cheatsheetAppendix E - ES6 for success
Using Your Web Skills To Make Money: Secrets Of A Successful Online Course Creator And Other Income Strategies That Really Work
by Azat MardanDiscover what you need to learn to thrive and master online course creation and other income generating strategies that really work. This short book is the story of what worked and what didn’t for author Azat Mardan, giving you the best tools and inspiration to achieve your monetary, career, creative, or contributorship goals.Are you happy with your current level of passive income? Do your products or businesses make you money while you're asleep? When it comes to money and passive income, the only person you can rely on is yourself. Using Your Web Skills To Make Money will navigate you past any obstacles you may face in generating multiple income streams... especially if you're doing it for the first time. What You'll LearnCreate online courses in your spare timeReview apprenticeshipsMaster one-on-one coachingUnderstand the value of membership communitiesWho This Book Is For
Write Your Way To Success: Lessons Learned On My Path From Ordinary Developer To Writer Of Multiple Programming Books That Sell
by Azat MardanLearn how to make an impact in the web world. This short book shows you that the best way to become an expert and a thought leader is to thoroughly research a topic and then publish a book on it. The great thing about writing a book is that you don’t have to risk anything - all you need is a few hours of writing per week and in no time you can have your own book that you can sell, give away at conferences, and prominently feature on your resume. Since author Azat Mardan published his first book, several high profile tech companies have tried to recruit him and his experience is not an exception! Write Your Way To Success covers everything that he has learned through publishing – see how you can do the same!What You'll LearnCreate passive incomeReview the process of a ProgWriterExamine practical tips about publishing and marketingWho This Book Is ForAny experts (or wannabe experts) in technical topics, tools, frameworks for web development, applied computer science, dev ops and QA.
Teaching and Learning with Digital Technologies in Higher Education Institutions in Africa: Case Studies from a Pandemic Context (Perspectives on Education in Africa)
by Admire Mare Erisher Woyo Elina M. AmadhilaThis book critically examines how the COVID-19 pandemic has stimulated digital innovation within higher education using case studies from Africa. Imagining a future for post-pandemic higher education, it analyses the challenges and opportunities of remote teaching and learning. The book explores the structural barriers around access to higher education and how these were reconfigured and amplified by technology-dependent teaching and learning. Case studies from countries across Africa provide unique insights into the challenges experienced by Higher Education Institutions (HEIs) during the COVID-19 pandemic, examining examples of emergent pedagogies such as online, mobile and social media-enhanced teaching, and blended learning. The chapters consider online assessment and teacher professional development, critically examining some of the benefits and structural challenges of digital technology integration in the context of pre-existing education disparities (such as students and teachers living in poverty-stricken and highly unequal societies). Offering invaluable insights into higher education in Africa, the book will be essential reading for researchers, scholars, and students in the fields of higher education study, digital education and educational technology, and African and comparative education. It will also be of interest to higher education managers and policymakers.
Algorithms for Sensor Systems: 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected Papers (Lecture Notes in Computer Science #10050)
by Marek Chrobak, Antonio Fernández Anta, Leszek Gąsieniec and Ralf KlasingThis book constitutes revised selected papers from the 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, held in Aarhus, Denmark, in August 2016. The 9 full papers presented in this volume were carefully reviewed and selected from 19 submissions. This year papers were solicited into three tracks: Distributed and Mobile, Experiments and Applications, and Wireless and Geometry.
Microsoft® Windows® Group Policy Guide
by Darren Mar-Elia Derek Melber William StanekStreamline network management and improve IT services with in-depth technical guidance and tools direct from industry experts and the Microsoft Group Policy team.
Inside Solid State Drives (SSDs)
by Alessia Marelli Kam Eshghi Rino MicheloniSolid State Drives (SSDs) are gaining momentum in enterprise and client applications, replacing Hard Disk Drives (HDDs) by offering higher performance and lower power. In the enterprise, developers of data center server and storage systems have seen CPU performance growing exponentially for the past two decades, while HDD performance has improved linearly for the same period. Additionally, multi-core CPU designs and virtualization have increased randomness of storage I/Os. These trends have shifted performance bottlenecks to enterprise storage systems. Business critical applications such as online transaction processing, financial data processing and database mining are increasingly limited by storage performance. In client applications, small mobile platforms are leaving little room for batteries while demanding long life out of them. Therefore, reducing both idle and active power consumption has become critical. Additionally, client storage systems are in need of significant performance improvement as well as supporting small robust form factors. Ultimately, client systems are optimizing for best performance/power ratio as well as performance/cost ratio. SSDs promise to address both enterprise and client storage requirements by drastically improving performance while at the same time reducing power. Inside Solid State Drives walks the reader through all the main topics related to SSDs: from NAND Flash to memory controller (hardware and software), from I/O interfaces (PCIe/SAS/SATA) to reliability, from error correction codes (BCH and LDPC) to encryption, from Flash signal processing to hybrid storage. We hope you enjoy this tour inside Solid State Drives.
Paraconsistency: Logic and Applications
by Edwin Mares Francesco Berto Francesco Paoli Koji TanakaA logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more "big picture" ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics.
Essential Effects: Water, Fire, Wind, and More
by Mauro MaressaAnimate the world around you! Follow along with veteran Disney effects artist Mauro Maressa as he teaches you how to create and animate natural phenomena like water, fire, smoke, lightning, lava, mud, and wind. Essential Effects will help you plan, draw, design, and animate traditional 2D effects, taking your ideas all the way from rough sketch to finished product. Using a series of full-color visual breakdowns and diagrams, this book gives you a clear, concise understanding of what it takes to create credible, compelling effects in your own projects. Key Features Build a strong foundation of observation and drawing skills that you can rely on for the rest of your career Tips and tricks for applying classic effects principles to computer-animated and CG projects Over 400 full-color images and diagrams for clear step-by-step learning
Computational Topology in Image Context: 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings (Lecture Notes in Computer Science #11382)
by Rebeca Marfil Mariletty Calderón Fernando Díaz del Río Pedro Real Antonio BanderaThis book constitutes the proceedings of the 7th International Workshop on Computational Topology in Image Context, CTIC 2019, held in Málaga, Spain, in January 2019. The 14 papers presented in this volume were carefully reviewed and selected from 21 submissions. Papers deal with theoretical issues but most of them put the attention on the applicability of concepts and algorithms. These were designed to deal with objects and images, but also with the speech signal. The final application must be for instance in the medical domain or in the robotics one.
Games and Learning Alliance: 9th International Conference, GALA 2020, Laval, France, December 9–10, 2020, Proceedings (Lecture Notes in Computer Science #12517)
by Iza Marfisi-Schottman Francesco Bellotti Ludovic Hamon Roland KlemkeThis book constitutes the refereed proceedings of the 9th International Conference on Games and Learning Alliance, GALA 2020, held in Laval, France, in December 2020. The 35 full papers and 10 short papers were carefully reviewed and selected from 77 submissions. The papers cover a broad spectrum of topics: Serious Game Design; Serious Game Analytics; Virtual and Mixed Reality Applications; Gamification Theory; Gamification Applications; Serious Games for Instruction; and Serious Game Applications and Studies.
Intercultural Communication, Identity, and Social Movements in the Digital Age (Routledge Research in Communication Studies)
by Margaret U. D’Silva; Ahmet AtayThis book examines the complex and multidimensional relationship between culture and social media, and its specific impact on issues of identity and social movements, in a globalized world. Contemporary cyber culture involves communication among people who are culturally, nationally, and linguistically similar or radically different. Social media becomes a space for mediated cultural information transfer which can either facilitate a vibrant public sphere or create cultural and social cleavages. Contributors of the book come from diverse cultural backgrounds to provide a comprehensive analysis of how these social media exchanges allow members of traditionally oppressed groups find their voices, cultivate communities, and construct their cultural identities in multiple ways.This book will be of great relevance to scholars and students working in the field of media and new media studies, intercultural communication, especially critical intercultural communication, and academics studying social identity and social movements.
Models, Mindsets, Meta: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #11200)
by Tiziana Margaria Susanne Graf Kim G. LarsenThis Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the establishment of cross-community relationships with the effect to obtain simpler, yet more powerful solutions. He initiated many new lines of research through seminal papers that pioneered various fields, starting with the Concurrency Workbench, a model checking toolbox that significantly influenced the research and development of mode based high assurance systems worldwide. The contributions in this volume reflect the breadth and impact of his work. The introductory paper by the volume editors, the 23 full papers and two personal statements relate to Bernhard’s research and life. This volume, the talks and the entire B-Day at ISoLA 2018 are a tribute to the first 30 years of Bernhard’s passion, impact and vision for many facets of computer science in general and for formal methods in particular. Impact and vision include the many roles that formal methods-supported software development should play in education, in industry and in society.