MARC details
| 000 -CABECERA |
| campo de control de longitud fija |
03977nam a2200421 i 4500 |
| 001 - NÚMERO DE CONTROL |
| campo de control |
386995 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
| campo de control |
ES-MaUEC |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
| campo de control |
20230206105102.0 |
| 006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA--CARACTERÍSTICAS DEL MATERIAL ADICIONAL |
| campo de control de longitud fija |
a||||fo|||| 00| 0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
| campo de control de longitud fija |
cr nn 008mamaa |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
| campo de control de longitud fija |
220601s2016 sz | o |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
| Número Internacional Estándar del Libro |
9783031025877 |
| 024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES |
| Número estándar o código |
10.1007/978-3-031-02587-7 |
| Fuente del número o código |
doi |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
| Centro catalogador/agencia de origen |
ES-MaUEC |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
ES-MaUEC |
| Centro/agencia modificador |
ES-MaUEC |
| 050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
| Número de clasificación |
QA76.9.I52 |
| Número de documento/Ítem |
2016 EB |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
| Nombre de persona |
Etiene, Tiago |
| Término indicativo de función/relación |
autor |
| Código de función/relación |
aut |
| -- |
http://id.loc.gov/vocabulary/relators/aut |
| 9 (RLIN) |
686607 |
| 245 13 - MENCIÓN DE TÍTULO |
| Título |
An Introduction to Verification of Visualization Techniques |
| Mención de responsabilidad, etc. |
by Tiago Etiene, Robert M. Kirby, Cláudio T. Silva |
| 250 ## - MENCIÓN DE EDICIÓN |
| Mención de edición |
1st edition 2016 |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
| Producción, publicación, distribución, fabricación y copyright |
Cham |
| Nombre del de productor, editor, distribuidor, fabricante |
Springer International Publishing |
| Fecha de producción, publicación, distribución, fabricación o copyright |
2016 |
| 300 ## - DESCRIPCIÓN FÍSICA |
| Extensión |
1 recurso en línea (XII, 80 páginas) |
| 336 ## - TIPO DE CONTENIDO |
| Término de tipo de contenido |
texto |
| Código de tipo de contenido |
txt |
| Fuente |
rdacontent |
| 337 ## - TIPO DE MEDIO |
| Nombre/término del tipo de medio |
electrónico |
| Código del tipo de medio |
c |
| Fuente |
rdamedia |
| 338 ## - TIPO DE SOPORTE |
| Nombre/término del tipo de soporte |
recurso electrónico |
| Código del tipo de soporte |
cr |
| Fuente |
rdacarrier |
| 347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL |
| Tipo de archivo |
archivo de texto |
| Formato de codificación |
PDF |
| 490 0# - MENCIÓN DE SERIE |
| Mención de serie |
Synthesis Lectures on Visual Computing: Computer Graphics Animation Computational Photography and Imaging |
| Número Internacional Normalizado para Publicaciones Seriadas |
2469-4223 |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
| Nota de contenido con formato |
Preface -- Introduction -- Visualization in the Real World -- Validation and Verification in Simulation Science -- Isosurface Verification -- Volume Rendering Verification -- Conclusion -- Bibliography -- Authors' Biographies. |
| 520 ## - SUMARIO, ETC. |
| Sumario, etc. |
As we increase our reliance on computer-generated information, often using it as part of our decision-making process, we must devise tools to assess the correctness of that information. Consider, for example, software embedded on vehicles, used for simulating aircraft performance, or used in medical imaging. In those cases, software correctness is of paramount importance as there's little room for error. Software verification is one of the tools available to attain such goals. Verification is a well known and widely studied subfield of computer science and computational science and the goal is to help us increase confidence in the software implementation by verifying that the software does what it is supposed to do. The goal of this book is to introduce the reader to software verification in the context of visualization. In the same way we became more dependent on commercial software, we have also increased our reliance on visualization software. The reason is simple: visualization is the lens through which users can understand complex data, and as such it must be verified. The explosion in our ability to amass data requires tools not only to store and analyze data, but also to visualize it. This book is comprised of six chapters. After an introduction to the goals of the book, we present a brief description of both worlds of visualization (Chapter 2) and verification (Chapter 3). We then proceed to illustrate the main steps of the verification pipeline for visualization algorithms. We focus on two classic volume visualization techniques, namely, Isosurface Extraction (Chapter 4) and Direct Volume Rendering (Chapter 5). We explain how to verify implementations of those techniques and report the latest results in the field of verification of visualization techniques. The last chapter concludes the book and highlights new research topics for the future. |
| 988 ## - NOTA LOCAL 598 |
| Nota local 598 (boletines) |
Synthesis Collection of Technology_2016 |
| 650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
| Fuente del encabezamiento o término |
embne |
| 9 (RLIN) |
145622 |
| Término de materia o nombre geográfico como elemento de entrada |
Sistemas de visualización de información |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
| Nombre de persona |
Kirby, Robert M. |
| Término indicativo de función/relación |
autor |
| Código de función/relación |
aut |
| -- |
http://id.loc.gov/vocabulary/relators/aut |
| 9 (RLIN) |
686412 |
| Fechas asociadas al nombre |
1975- |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
| Nombre de persona |
Silva, Cláudio T. |
| Término indicativo de función/relación |
autor |
| Código de función/relación |
aut |
| -- |
http://id.loc.gov/vocabulary/relators/aut |
| 9 (RLIN) |
686608 |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL |
| Información de relación/Frase instructiva de referencia |
Printed edition: |
| Número Internacional Estándar del Libro |
9783031014598 |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL |
| Información de relación/Frase instructiva de referencia |
Printed edition: |
| Número Internacional Estándar del Libro |
9783031037153 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
| Identificador Uniforme del Recurso |
https://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-031-02587-7 |
| Nota pública |
Acceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
| Fuente del sistema de clasificación o colocación |
Library of Congress Classification |
| Tipo de ítem Koha |
LIBRO-E NO PRÉSTAMO |
| 998 ## - DATOS ESTADÍSTICOS |
| Fecha de catalogación |
02/2023 |
| Tipo de materia |
E-book |
| Catalogador |
Isabel Alonso |
| Catalogado |
Sí |