Información del autor
Autor Groza, Adrian |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda6th International Conference, MIKE 2018, Cluj-Napoca, Romania, December 20–22, 2018, Proceedings / Groza, Adrian ; Prasath, Rajendra
TÃtulo : 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, December 20–22, 2018, Proceedings Tipo de documento: documento electrónico Autores: Groza, Adrian, ; Prasath, Rajendra, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 386 p. 182 ilustraciones, 98 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-05918-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Inteligencia artificial Clasificación: 006.3 Resumen: Este libro constituye las actas arbitradas de la 6.ª Conferencia Internacional sobre Inteligencia Minera y Exploración del Conocimiento, MIKE 2018, celebrada en Cluj-Napoca, Rumania, en diciembre de 2018. Los 33 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 93 presentaciones. Los artÃculos se agruparon en varios subtemas que incluyen computación evolutiva, exploración de conocimiento en IoT, inteligencia artificial, aprendizaje automático, procesamiento de imágenes, reconocimiento de patrones, procesamiento del habla, recuperación de información, procesamiento del lenguaje natural, análisis de redes sociales, seguridad y conjuntos aproximados difusos. Nota de contenido: Evolutionary computation -- Knowledge exploration in IoT -- Artificial intelligence -- Machine learning -- Image processing -- Pattern recognition -- Speech processing -- Information retrieval -- Natural language processing -- Social network analysis -- Security -- Fuzzy rough sets. Tipo de medio : Computadora Summary : This book constitutes the refereed conference proceedings of the 6th International Conference on Mining Intelligence and Knowledge Exploration, MIKE 2018, held in Cluj-Napoca, Romania, in December 2018. The 33 full papers presented were carefully reviewed and selected from 93 submissions. The papers were grouped into various subtopics including evolutionary computation, knowledge exploration in IoT, artificial intelligence, machine learning, image processing, pattern recognition, speech processing, information retrieval, natural language processing, social network analysis, security, and fuzzy rough sets. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, December 20–22, 2018, Proceedings [documento electrónico] / Groza, Adrian, ; Prasath, Rajendra, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIII, 386 p. 182 ilustraciones, 98 ilustraciones en color.
ISBN : 978-3-030-05918-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Inteligencia artificial Clasificación: 006.3 Resumen: Este libro constituye las actas arbitradas de la 6.ª Conferencia Internacional sobre Inteligencia Minera y Exploración del Conocimiento, MIKE 2018, celebrada en Cluj-Napoca, Rumania, en diciembre de 2018. Los 33 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 93 presentaciones. Los artÃculos se agruparon en varios subtemas que incluyen computación evolutiva, exploración de conocimiento en IoT, inteligencia artificial, aprendizaje automático, procesamiento de imágenes, reconocimiento de patrones, procesamiento del habla, recuperación de información, procesamiento del lenguaje natural, análisis de redes sociales, seguridad y conjuntos aproximados difusos. Nota de contenido: Evolutionary computation -- Knowledge exploration in IoT -- Artificial intelligence -- Machine learning -- Image processing -- Pattern recognition -- Speech processing -- Information retrieval -- Natural language processing -- Social network analysis -- Security -- Fuzzy rough sets. Tipo de medio : Computadora Summary : This book constitutes the refereed conference proceedings of the 6th International Conference on Mining Intelligence and Knowledge Exploration, MIKE 2018, held in Cluj-Napoca, Romania, in December 2018. The 33 full papers presented were carefully reviewed and selected from 93 submissions. The papers were grouped into various subtopics including evolutionary computation, knowledge exploration in IoT, artificial intelligence, machine learning, image processing, pattern recognition, speech processing, information retrieval, natural language processing, social network analysis, security, and fuzzy rough sets. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Modelling Puzzles in First Order Logic Tipo de documento: documento electrónico Autores: Groza, Adrian, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XV, 338 p. 208 ilustraciones, 93 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-62547-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: TeorÃa de las máquinas Programación lógica Lógica matemática Lenguajes formales y teorÃa de los autómatas Lógica en IA Lógica Matemática y Fundamentos Computadoras y Educación Clasificación: 5.131 Resumen: Mantener a los estudiantes involucrados y aprendiendo activamente es un desafÃo. Los instructores de informática son conscientes del valor cognitivo de los rompecabezas de modelado y, a menudo, utilizan los rompecabezas lógicos como un instrumento pedagógico eficiente para involucrar a los estudiantes y desarrollar habilidades de resolución de problemas. Este libro único es un recurso integral que ofrece a los maestros y estudiantes actividades divertidas para enseñar y aprender lógica. Proporciona una formalización nueva, completa y funcional en lógica proposicional y de primer orden para más de 130 rompecabezas lógicos, incluidos rompecabezas tipo sudoku, rompecabezas tipo cebra, la isla de la verdad, la dama y los tigres, rompecabezas de cuadrÃcula, números extraños o rompecabezas de autorreferencia. Resolver rompecabezas con demostradores de teoremas puede ser un incentivo cognitivo eficaz para motivar a los estudiantes a aprender lógica. Encontrarán un formato listo para usar que ilustra cómo modelar cada rompecabezas, proporciona implementaciones funcionales y explica cada solución. Este libro de texto conciso y fácil de seguir es una herramienta de apoyo muy necesaria para los estudiantes que desean explorar más allá del nivel introductorio de aprendizaje de la lógica y para los profesores que buscan ejemplos para aumentar la participación de los estudiantes en sus cursos de informática. Nota de contenido: Preface -- Getting Started with Prover9 and Mace4 -- Micro Arithmetic Puzzles -- Strange Numbers -- Practical Puzzles -- Lady and Tigers -- Einstein Puzzles -- Island of Truth -- Love and Marriage -- Grid Puzzles -- Japanese Puzzles -- Russian Puzzles -- Polyomino Puzzles -- Self-reference and Other Puzzles -- Epigraph in Natural Language. Tipo de medio : Computadora Summary : Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills. This unique book is a comprehensive resource that offers teachers and students fun activities to teach and learn logic. It provides new, complete, and running formalisation in Propositional and First Order Logic for over 130 logical puzzles, including Sudoku-like puzzles, zebra-like puzzles, island of truth, lady and tigers, grid puzzles, strange numbers, or self-reference puzzles. Solving puzzles with theorem provers can be an effective cognitive incentive to motivate students to learn logic. They will find a ready-to-use format which illustrates how to model each puzzle, provides running implementations, and explains each solution. This concise and easy-to-follow textbook is a much-neededsupport tool for students willing to explore beyond the introductory level of learning logic and lecturers looking for examples to heighten student engagement in their computer science courses. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Modelling Puzzles in First Order Logic [documento electrónico] / Groza, Adrian, . - 1 ed. . - [s.l.] : Springer, 2021 . - XV, 338 p. 208 ilustraciones, 93 ilustraciones en color.
ISBN : 978-3-030-62547-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: TeorÃa de las máquinas Programación lógica Lógica matemática Lenguajes formales y teorÃa de los autómatas Lógica en IA Lógica Matemática y Fundamentos Computadoras y Educación Clasificación: 5.131 Resumen: Mantener a los estudiantes involucrados y aprendiendo activamente es un desafÃo. Los instructores de informática son conscientes del valor cognitivo de los rompecabezas de modelado y, a menudo, utilizan los rompecabezas lógicos como un instrumento pedagógico eficiente para involucrar a los estudiantes y desarrollar habilidades de resolución de problemas. Este libro único es un recurso integral que ofrece a los maestros y estudiantes actividades divertidas para enseñar y aprender lógica. Proporciona una formalización nueva, completa y funcional en lógica proposicional y de primer orden para más de 130 rompecabezas lógicos, incluidos rompecabezas tipo sudoku, rompecabezas tipo cebra, la isla de la verdad, la dama y los tigres, rompecabezas de cuadrÃcula, números extraños o rompecabezas de autorreferencia. Resolver rompecabezas con demostradores de teoremas puede ser un incentivo cognitivo eficaz para motivar a los estudiantes a aprender lógica. Encontrarán un formato listo para usar que ilustra cómo modelar cada rompecabezas, proporciona implementaciones funcionales y explica cada solución. Este libro de texto conciso y fácil de seguir es una herramienta de apoyo muy necesaria para los estudiantes que desean explorar más allá del nivel introductorio de aprendizaje de la lógica y para los profesores que buscan ejemplos para aumentar la participación de los estudiantes en sus cursos de informática. Nota de contenido: Preface -- Getting Started with Prover9 and Mace4 -- Micro Arithmetic Puzzles -- Strange Numbers -- Practical Puzzles -- Lady and Tigers -- Einstein Puzzles -- Island of Truth -- Love and Marriage -- Grid Puzzles -- Japanese Puzzles -- Russian Puzzles -- Polyomino Puzzles -- Self-reference and Other Puzzles -- Epigraph in Natural Language. Tipo de medio : Computadora Summary : Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the cognitive value of modelling puzzles and often use logical puzzles as an efficient pedagogical instrument to engage students and develop problem-solving skills. This unique book is a comprehensive resource that offers teachers and students fun activities to teach and learn logic. It provides new, complete, and running formalisation in Propositional and First Order Logic for over 130 logical puzzles, including Sudoku-like puzzles, zebra-like puzzles, island of truth, lady and tigers, grid puzzles, strange numbers, or self-reference puzzles. Solving puzzles with theorem provers can be an effective cognitive incentive to motivate students to learn logic. They will find a ready-to-use format which illustrates how to model each puzzle, provides running implementations, and explains each solution. This concise and easy-to-follow textbook is a much-neededsupport tool for students willing to explore beyond the introductory level of learning logic and lecturers looking for examples to heighten student engagement in their computer science courses. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
