- Table View
- List View
Interactive Theorem Proving
by Christian Urban Xingyuan ZhangThis book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
Interactive Theorem Proving
by Mauricio Ayala-Rincón César A. MuñozThis book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings (Lecture Notes in Computer Science #10895)
by Jeremy Avigad Assia MahboubiThis book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions. The papers feature research in the area of logical frameworks and interactive proof assistants. The topics include theoretical foundations and implementation aspects of the technology, as well as applications to verifying hardware and software systems to ensure their safety and security, and applications to the formal verication of mathematical results.Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Interactive Visual Data Analysis (AK Peters Visualization Series)
by Christian Tominski Heidrun SchumannIn the age of big data, being able to make sense of data is an important key to success. Interactive Visual Data Analysis advocates the synthesis of visualization, interaction, and automatic computation to facilitate insight generation and knowledge crystallization from large and complex data. The book provides a systematic and comprehensive overview of visual, interactive, and analytical methods. It introduces criteria for designing interactive visual data analysis solutions, discusses factors influencing the design, and examines the involved processes. The reader is made familiar with the basics of visual encoding and gets to know numerous visualization techniques for multivariate data, temporal data, geo-spatial data, and graph data. A dedicated chapter introduces general concepts for interacting with visualizations and illustrates how modern interaction technology can facilitate the visual data analysis in many ways. Addressing today’s large and complex data, the book covers relevant automatic analytical computations to support the visual data analysis. The book also sheds light on advanced concepts for visualization in multi-display environments, user guidance during the data analysis, and progressive visual data analysis. The authors present a top-down perspective on interactive visual data analysis with a focus on concise and clean terminology. Many real-world examples and rich illustrations make the book accessible to a broad interdisciplinary audience from students, to experts in the field, to practitioners in data-intensive application domains. Features: Dedicated to the synthesis of visual, interactive, and analysis methods Systematic top-down view on visualization, interaction, and automatic analysis Broad coverage of fundamental and advanced visualization techniques Comprehensive chapter on interacting with visual representations Extensive integration of automatic computational methods Accessible portrayal of cutting-edge visual analytics technology Foreword by Jack van Wijk For more information, you can also visit the author website, where the book's figures are made available under the CC BY Open Access license.
Interactive Visualization and Plotting with Julia: Create impressive data visualizations through Julia packages such as Plots, Makie, Gadfly, and more
by Diego Javier ZeaRepresent and analyze data using Plots to find actionable insights using Julia programmingKey FeaturesLearn to use static and interactive plots to explore data with JuliaBecome well versed with the various plotting attributes needed to customize your plotsCreate insightful and appealing plots using data interactions, animations, layouts, and themesBook DescriptionThe Julia programming language offers a fresh perspective into the data visualization field.Interactive Visualization and Plotting with Julia begins by introducing the Julia language and the Plots package. The book then gives a quick overview of the Julia plotting ecosystem to help you choose the best library for your task. In particular, you will discover the many ways to create interactive visualizations with its packages. You'll also leverage Pluto notebooks to gain interactivity and use them intensively through this book. You'll find out how to create animations, a handy skill for communication and teaching. Then, the book shows how to solve data analysis problems using DataFrames and various plotting packages based on the grammar of graphics. Furthermore, you'll discover how to create the most common statistical plots for data exploration. Also, you'll learn to visualize geographically distributed data, graphs and networks, and biological data. Lastly, this book will go deeper into plot customizations with Plots, Makie, and Gadfly—focusing on the former—teaching you to create plot themes, arrange multiple plots into a single figure, and build new plot types.By the end of this Julia book, you'll be able to create interactive and publication-quality static plots for data analysis and exploration tasks using Julia.What you will learnCreate interactive plots with Makie, Plots, Jupyter, and PlutoCreate standard statistical plots and visualize clustering resultsPlot geographically distributed and biological dataVisualize graphs and networks using GraphRecipes and GraphPlotsFind out how to draw and animate objects with Javis, Plots, and MakieDefine plot themes to reuse plot visual aspect customizationsArrange plots using Plots, Makie, and Gadfly layout systemsDefine new plot types and determine how Plots and Makie show objectsWho this book is forData analysts looking to explore Julia's data visualization capabilities will find this book helpful, along with scientists and academics who want to generate and communicate knowledge and improve their teaching material. This data visualization book will also interest Julia programmers willing to delve into the language plotting ecosystem and improve their visualization skills. Basic programming knowledge is assumed — but the book will introduce you to Julia's important features. Familiarity with mathematical and statistical concepts will help you make the most of some of the chapters.
Interactive Web-Based Data Visualization with R, plotly, and shiny (Chapman & Hall/CRC The R Series)
by Carson SievertThe richly illustrated Interactive Web-Based Data Visualization with R, plotly, and shiny focuses on the process of programming interactive web graphics for multidimensional data analysis. It is written for the data analyst who wants to leverage the capabilities of interactive web graphics without having to learn web programming. Through many R code examples, you will learn how to tap the extensive functionality of these tools to enhance the presentation and exploration of data. By mastering these concepts and tools, you will impress your colleagues with your ability to quickly generate more informative, engaging, and reproducible interactive graphics using free and open source software that you can share over email, export to pdf, and more. Key Features: Convert static ggplot2 graphics to an interactive web-based form Link, animate, and arrange multiple plots in standalone HTML from R Embed, modify, and respond to plotly graphics in a shiny app Learn best practices for visualizing continuous, discrete, and multivariate data Learn numerous ways to visualize geo-spatial data This book makes heavy use of plotly for graphical rendering, but you will also learn about other R packages that support different phases of a data science workflow, such as tidyr, dplyr, and tidyverse. Along the way, you will gain insight into best practices for visualization of high-dimensional data, statistical graphics, and graphical perception. The printed book is complemented by an interactive website where readers can view movies demonstrating the examples and interact with graphics.
Interactive and Dynamic Dashboard: Design Principles (Future Generation Information Systems)
by Henry Selvaraj A. Vadivel K. Meena P. Sumathy P. Shanmugavadivu Shaila S. G.The text comprehensively discusses the representation of visual data and design principles of interactive and dynamic dashboards. It further covers the theoretical concept of inference and machine learning algorithms for making the concepts clear to the reader. The book illustrates important topics such as data testing a parametric hypothesis, data testing a non-parametric hypothesis, exploratory data analysis, outlier detection and interpretation.This book: Covers various data analysis tools such as KNIME, RapidMiner, Rstudio, Grafana, and Redash Discusses the theoretical concept of inference and machine learning algorithms for designing dynamic dashboards Presents statistical modelling techniques with an emphasis on pattern mining, and pattern relationships Explains the problem of efficient retrieval of similar time series in large databases to enrich the knowledge of the readers to effectively handle various real-time datasets Illustrates dimensionality reduction techniques such as principal component analysis, linear discriminant analysis, singular value decomposition, and piecewise vector quantized approximation It is primarily written for senior undergraduates, graduate students, and academic researchers in the fields of electrical engineering, electronics and communications engineering, computer science and engineering, and information technology.
Interactivity and Game Creation: 9th EAI International Conference, ArtsIT 2020, Aalborg, Denmark, December 10–11, 2020, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #367)
by Anthony Brooks Eva Irene Brooks Duckworth JonathanThis book constitutes the refereed post-conference proceedings of the 9th International Conference on Interactivity and Game Creation, ArtsIT 2020, held in Aalborg, Denmark, in December 2020. Due to COVID-19 pandemic the conference was held virtually. The 28 revised full papers presented were carefully selected from 60 submissions. The papers represent a forum for the dissemination of cutting-edge research results in the area of arts, design and technology, including open related topics like interactivity and game creation. They are grouped in terms of content on art, installation and performance; games; design; intelligence and creativity in healthcare; wellbeing and aging.
Interactivity, Collaboration, and Authoring in Social Media
by Krystina MadejThis book includes a short history of interactive narrative and an account of a small group collaboratively authored social media narrative: Romeo and Juliet on Facebook: After Love Comes Destruction. At the forefront of narrative innovation are social media channels - speculative spaces for creating and experiencing stories that are interactive and collaborative. Media, however, is only the access point to the expressiveness of narrative content. Wikis, messaging, mash-ups, and social media (Facebook, Twitter, YouTube and others) are on a trajectory of participatory story creation that goes back many centuries. These forms offer authors ways to create narrative meaning that reflects our current media culture, as the harlequinade reflected the culture of the 18th century, and as the volvelle reflected that of the 13th century. Interactivity, Collaboration, and Authoring in Social Media first prospects the last millennium for antecedents of today's authoring practices. It does so with a view to considering how today's digital manifestations are a continuation, perhaps a reiteration, perhaps a novel pioneering, of humans' abiding interest in interactive narrative. The book then takes the reader inside the process of creating a collaborative, interactive narrative in today's social media through an authoring experience undertaken by a group of graduate students. The engaging mix of blogs, emails, personal diaries , and fabricated documents used to create the narrative demonstrates that a social media environment can facilitate a meaningful and productive collaborative authorial experience and result in an abundance of networked, personally expressive, and visually and textually referential content. The resulting narrative, After Love Comes Destruction, based in Shakespeare's Romeo and Juliet, shows how a generative narrative space evolved around the students' use of social media in ways they had not previously considered both for authoring and for delivery of their final narrative artifact.
Interactivity, Game Creation, Design, Learning, and Innovation: 5th International Conference, Artsit 2016, And First International Conference, Dli 2016, Esbjerg, Denmark, May 2-3, 2016. Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #196)
by Anthony L. Brooks Eva Brooks Nikolas VidakisThis book constitutes the proceedings of two conferences: The 6th International Conference on ArtsIT, Interactivity and Game Creation (ArtsIT 2017) and the Second International Conference on Design, Learning and Innovation (DLI 2017). The event was hosted in Heraklion, Crete, Greece, in October 2017 and attracted 65 submissions from which 50 full papers were selected for publication in this book. The papers represent a forum for the dissemination of cutting-edge research results in the area of arts, design and technology, including open related topics like interactivity and game creation.
Interactivity, Game Creation, Design, Learning, and Innovation: 7th EAI International Conference, ArtsIT 2018, and 3rd EAI International Conference, DLI 2018, ICTCC 2018, Braga, Portugal, October 24–26, 2018, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #265)
by Anthony L. Brooks Eva Brooks Cristina SyllaThis book constitutes the refereed post-conference proceedings of two conferences: The 7th EAI International Conference on ArtsIT, Interactivity and Game Creation (ArtsIT 2018), and the 3rd EAI International Conference on Design, Learning, and Innovation (DLI 2018). Both conferences were hosed in Braga, Portugal, and took place October 24-26, 2018. The 51 revised full papers presented were carefully selected from 106 submissions. ArtsIT , Interactivity and Game Creation is meant to be a place where people in arts, with a keen interest in modern IT technologies, meet with people in IT, having strong ties to art in their works. The event also reflects the advances seen in the open related topics Interactivity (Interaction Design, Virtual Reality, Augmented Reality, Robotics) and Game Creation (Gamification, Leisure Gaming, GamePlay). ArtsIT has been successfully co-located with DLI as the design, learning and innovation frame the world of IT, opening doors into an increasingly playful worlds. So the DLI conference is driven by the belief that tools, techniques and environments can spark and nature a passion for learning, transformation domains such as education, rehabilitation/therapy, work places and cultural institutions.
Interactivity, Game Creation, Design, Learning, and Innovation: 8th EAI International Conference, ArtsIT 2019, and 4th EAI International Conference, DLI 2019, Aalborg, Denmark, November 6–8, 2019, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #328)
by Anthony Brooks Eva Irene BrooksThis book constitutes the refereed post-conference proceedings of two conferences: The 8th EAI International Conference on ArtsIT, Interactivity and Game Creation (ArtsIT 2019), and the 4th EAI International Conference on Design, Learning, and Innovation (DLI 2019). Both conferences were hosed in Aalborg, Denmark, and took place November 6-8, 2019. The 61 revised full papers presented were carefully selected from 98 submissions. The papers represent a forum for the dissemination of cutting-edge research results in the area of arts, design and technology, including open related topics like interactivity and game creation.
Interaktive Datenvisualisierung in Wissenschaft und Unternehmenspraxis
by Timo Kahl Frank ZimmerInteraktive Visualisierungen gewinnen in Wissenschaft und Unternehmenspraxis zunehmend an Bedeutung. Neben der Analyse und Darstellung von Unternehmensdaten z.B. mit Hilfe moderner Data Science Methoden werden auch Visualisierungen und Animationen mit Hilfe von 3D und Virtual Reality/Augmented Reality Technologien immer wichtiger, etwa bei der Planung von Industrieanlagen, in der Architektur oder bei der Darstellung naturwissenschaftlicher Prozesse.Das vorliegende praxisorientierte Herausgeberwerk basiert auf Ergebnissen, die im Kontext der Tagung VISUALIZE an der Hochschule Rhein-Waal vorgestellt wurden und umfasst Beiträge unterschiedlicher Visualisierungsdomänen, darunter auch Business Intelligence Lösungen mit Qlik Sense, R, Shiny und Python. Die Visualisierungstechniken und konkreten Methoden aus begleitenden Workshops werden zu anwendungsnahen Handlungsempfehlungen und Best Practices für eigene Visualisierungsvorhaben zusammengefasst.Ein Buch für alle, die auf der Suche nach konkreten Handlungsempfehlungen und Praxisbeispielen zur interaktiven Datenvisualisierung sind.
Interaktive Infografiken
by Michael Burmester Ralph Tille Wibke WeberIn einer Welt der Multimedialität gewinnt ein Visualisierungstyp zunehmend an Bedeutung: die interaktive Infografik. Sie wird im Journalismus ebenso eingesetzt wie in der Unternehmenskommunikation. Dieses Buch führt auf Grundlage aktueller Forschungserkenntnisse in Theorie, Design und Rezeption von interaktiven Infografiken ein: Wie werden sie wahrgenommen? Welche Vorteile bieten sie für das Verstehen und Behalten von Inhalten? Gibt es Gestaltungs- und Erzählmuster? Welche Methoden wenden Infografiker an? Mit Beispielen und Tipps von Experten.
Interaktywna wizualizacja danych
by Scott MurrayUatrakcyjnij swoj? WWW!Skoro mawia si?, ?e obraz jest wart wi?cej ni? tysi?c s?ów, mo?na te? powiedzie?, ?e jeden wykres jest wart wi?cej ni? tysi?c tabel z danymi. Dlatego w?a?nie u?ytkownicy uwielbiaj? wykresy! Ju? jeden rzut oka pozwala wyrobi? sobie zdanie na temat ka?dego problemu. Je?eli do tego doda? interaktywne rozwi?zania, efekt mo?e by? tylko jeden — zachwyt Twoich klientów! Biblioteka D3 pozwala na budowanie interaktywnych wykresów, które pozwol? Ci na efektown? prezentacj? posiadanych informacji.W trakcie lektury tej ksi??ki przekonasz si?, jak szybko mo?na przygotowa? atrakcyjny wykres, prezentuj?cy nawet najbardziej skomplikowane dane. Najpierw gruntownie poznasz podstawy HTML-a, JavaScriptu oraz formatu SVG. Po tym wst?pie b?dziesz gotowy, by rozpocz?? przygod? z bibliotek? D3! Okre?lanie osi, skalowanie, efekty specjalne to tylko niektóre z poruszanych tematów. Gdy ju? opanujesz tworzenie wykresów, pora przej?? do kolejnego rozdzia?u. Dowiesz si? z niego, jak na posiadany wykres nanie?? interaktywne dodatki. Na sam koniec zobaczysz, jak nak?ada? dane na mapy geograficzne oraz eksportowa? stworzone wykresy. Ksi??k? t? doceni ka?dy programista, który kiedykolwiek stan?? przed problemem wizualizacji danych. Przekonaj si?, jak ?atwo mo?na: tworzy? wykresy korzysta? z danych w formacie CSV skalowa? wykresy dodawa? do wykresów interaktywne informacje Zachwy? u?ytkowników przydatnymi wykresami!
Interconnect Reliability in Advanced Memory Device Packaging (Springer Series in Reliability Engineering)
by Chong Leong, Gan Chen-Yu, HuangThis book explains mechanical and thermal reliability for modern memory packaging, considering materials, processes, and manufacturing.In the past 40 years, memory packaging processes have evolved enormously. This book discusses the reliability and technical challenges of first-level interconnect materials, packaging processes, advanced specialty reliability testing, and characterization of interconnects. It also examines the reliability of wire bonding, lead-free solder joints such as reliability testing and data analyses, design for reliability in hybrid packaging and HBM packaging, and failure analyses. The specialty of this book is that the materials covered are not only for second-level interconnects, but also for packaging assembly on first-level interconnects and for the semiconductor back-end on 2.5D and 3D memory interconnects. This book can be used as a text for college and graduate students who have the potential to become our future leaders, scientists, and engineers in the electronics and semiconductor industry.
Interconnected Realities: How the Metaverse Will Transform Our Relationship to Technology Forever
by Leslie ShannonExplore how the metaverse is changing our livesIn Interconnected Realities, Leslie Shannon, Head of Trend and Innovation Scouting at Nokia, delivers an energizing and optimistic new take on the Metaverse. Starting with metaverse realms already in existence today, the book explores the purpose that each independent platform serves, as well as how all these disparate realms will ultimately be stitched together to permanently transform our personal and business lives. A singularly insightful and informed exploration of a fascinating subject at the intersection of technology, business, and society, Interconnected Realities is an essential resource for executives, managers, board members, and other business leaders at companies in a wide range of industries, as well as tech enthusiasts, futurists, and anyone with an interest in the future of social interaction, business, or technology.
Interconnecting the Network of Networks
by Eli M. NoamThis book describes the transformation of telecommunications from national network monopolies to a new system, the network of networks, and the glue that holds it together, interconnection.
Interconnection Network Reliability Evaluation: Multistage Layouts (Performability Engineering Series)
by Neeraj Kumar Goyal S. RajkumarKeeping in view the growth of the technological frontiers, there is always a need for the development of reliable, fault tolerant and cost- effective interconnection networks (INs) which are the critical metrics to achieve the goal of parallelism. The main objective of this book is to design new fault tolerant interconnection network layouts capable of path redundancy among dynamic failures. New INs designs are proposed and their observed results are found promising when compared with some of the earlier networks. The book also covers the reliability evaluation of various industrial network topologies considering multiple reliability performance parameters (2-TR, broadcast and ATR). Finally, the book also focuses on reliability evaluation and comparison of various topologies considering connectivity among multiple sources and multiple destinations (MSMT) nodes.
Interconnections for Computer Communications and Packet Networks
by Roberto Rojas-CessaThis book introduces different interconnection networks applied to different systems. Interconnection networks are used to communicate processing units in a multi-processor system, routers in communication networks, and servers in data centers. Queuing techniques are applied to interconnection networks to support a higher utilization of resources. There are different queuing strategies, and these determine not only the performance of the interconnection network, but also the set of requirements to make them work effectively and their cost. Routing algorithms are used to find routes to destinations and directions in what information travels. Additional properties, such as avoiding deadlocks and congestion, are sought. Effective routing algorithms need to be paired up with these networks. The book will introduce the most relevant interconnection networks, queuing strategies, and routing algorithm. It discusses their properties and how these leverage the performance of the whole interconnection system. In addition, the book covers additional topics for memory management and congestion avoidance, used to extract higher performance from the interconnection network.
Intercultural Communication, Identity, and Social Movements in the Digital Age (Routledge Research in Communication Studies)
by Ahmet Atay Margaret U. D’SilvaThis 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.
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.
Intercultural User Interface Design (Human–Computer Interaction Series)
by Rüdiger HeimgärtnerThe path for developing an internationally usable product with a human-machine interface is described in this textbook, from theory to conception and from design to practical implementation. The most important concepts in the fields of philosophy, communication, culture and Ethnocomputing as the basis of intercultural user interface design are explained. The book presents directly usable and implementable knowledge that is relevant for the processes of internationalization and localization of software. Aspects of software ergonomics, software engineering and human-centered design are presented in an intercultural context; general and concrete recommendations and checklists for immediate use in product design are also provided. Each chapter includes the target message, its motivation and theoretical justification as well as the practical methods to achieve the intended benefit from the respective topic. The book opens with an introduction illuminating the background necessary for taking culture into account in Human Computer Interaction (HCI) design. Definitions of concepts are followed by a historical overview of the importance of taking culture into account in HCI design. Subsequently, the structures, processes, methods, models, and approaches concerning the relationship between culture and HCI design are illustrated to cover the most important questions in practice.
Interculturality Online: Ideological Constructions and Considerations for Higher Education (New Perspectives on Teaching Interculturality)
by Fred Dervin Jun Peng Virginie TrémionThe contested and polysemic concept of ideology has been used only marginally in research on intercultural communication education. This edited volume focuses on the ideological dimensions of online interculturality in higher education, encompassing areas such as telecollaboration, virtual classrooms and online teacher professional development.The chapter authors explore the intercultural engagements, perceptions and experiences of students, teachers and researchers in different parts of the world, including Australia, China, Finland, France, Germany, Indonesia, Japan, Mexico, New Zealand, Spain and the USA. In doing so, they aim to contribute to the current critical and reflexive turn in research and teaching that is examining global socio-economic, political and linguistic inequalities and imbalances of power. Using concrete examples from their own practices, the chapter authors critically and reflexively problematise 'doing' interculturality in higher education by identifying, engaging with, reflecting on and revising ideologies of online interculturality. By intersecting interculturality, technology and ideology, this book also makes a critical contribution to the literature on the internationalisation of higher education and its digitalisation.Written in a globally friendly and engaging style, the book will appeal to academics and students of intercultural communication education in online environments.
Interdisciplinary Approaches to Distance Teaching: Connecting Classrooms in Theory and Practice (Routledge Research in Education)
by Nathan Straight Alan BlackstockSynchronous technologies, particularly interactive video conferencing (IVC), are becoming common modes of teaching and delivering college courses. The increasing popularity of IVC in the U.S. and abroad calls for more pedagogically effective practices for instructors using this technology. This volume focuses on innovative and proven approaches to IVC teaching in a variety of disciplines: English, history, biology, chemistry, geology, engineering, social work, and elementary and special education. Contributors hail from a pioneering university at the forefront of distance education and understand the practice and potential of IVC teaching at the highest levels. Chapters outline the challenges and benefits of IVC teaching from pedagogical, technical, and administrative perspectives.