03884nam 22007695 450 99646540940331620200701115728.03-319-68270-910.1007/978-3-319-68270-9(CKB)4100000000881946(DE-He213)978-3-319-68270-9(MiAaPQ)EBC6302809(MiAaPQ)EBC5591390(Au-PeEL)EBL5591390(OCoLC)1066194012(PPN)220121230(EXLCZ)99410000000088194620170927d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierModelEd, TestEd, TrustEd[electronic resource] Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /edited by Joost-Pieter Katoen, Rom Langerak, Arend Rensink1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XII, 391 p. 115 illus.) Programming and Software Engineering ;105003-319-68269-5 Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications.This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.Programming and Software Engineering ;10500Computer logicSoftware engineeringProgramming languages (Electronic computers)Computer simulationMathematical logicAlgorithmsLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Computer logic.Software engineering.Programming languages (Electronic computers).Computer simulation.Mathematical logic.Algorithms.Logics and Meanings of Programs.Software Engineering.Programming Languages, Compilers, Interpreters.Simulation and Modeling.Mathematical Logic and Formal Languages.Algorithm Analysis and Problem Complexity.621.395Katoen Joost-Pieteredthttp://id.loc.gov/vocabulary/relators/edtLangerak Romedthttp://id.loc.gov/vocabulary/relators/edtRensink Arendedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465409403316ModelEd, TestEd, TrustEd2830100UNISA02677nam 2200529 450 991027092720332120200520144314.01-119-46712-81-119-46714-41-119-46724-1(CKB)4100000000981029(Safari)9781786300942(OCoLC)1031705732(WaSeSS)IndRDA00115491(Au-PeEL)EBL5122088(CaPaEBR)ebr11463977(OCoLC)1008962948(CaSebORM)9781786300942(MiAaPQ)EBC5122088(EXLCZ)99410000000098102920171202h20172017 uy 0engurunu||||||||txtrdacontentcrdamediacrrdacarrierArchitecture-aware optimization strategies in real-time image processing /Li Chao, Balla-Arabe Souleymane, Yang-Song Fan1st editionLondon, [England] ;Hoboken, New Jersey :ISTE :Wiley,2017.©20171 online resource (1 volume) illustrationsDigital signal and image processing series1-78630-094-X Includes bibliographical references and index.In the field of image processing, many applications require real-time execution, particularly those in the domains of medicine, robotics and transmission, to name but a few. Recent technological developments have allowed for the integration of more complex algorithms with large data volume into embedded systems, in turn producing a series of new sophisticated electronic architectures at affordable prices.  This book performs an in-depth survey on this topic. It is primarily written for those who are familiar with the basics of image processing and want to implement the target processing design using different electronic platforms for computing acceleration.  The authors present techniques and approaches, step by step, through illustrative examples. This book is also suitable for electronics/embedded systems engineers who want to consider image processing applications as sufficient imaging algorithm details are given to facilitate their understanding.Digital signal and image processing series.Image processingDigital techniquesImage processingDigital techniques.621.367Zhao Li646376MiAaPQMiAaPQMiAaPQBOOK9910270927203321Architecture-aware optimization strategies in real-time image processing2032163UNINA05635nam 22007214a 450 991078342070332120230617003929.066105048731-280-50487-097866105048791-4294-0201-61-60750-120-1600-00-0350-11-60129-101-9(CKB)1000000000243897(EBL)265940(OCoLC)191037889(SSID)ssj0000106125(PQKBManifestationID)11128032(PQKBTitleCode)TC0000106125(PQKBWorkID)10106072(PQKB)10802557(MiAaPQ)EBC265940(Au-PeEL)EBL265940(CaPaEBR)ebr10130674(CaONFJC)MIL50487(OCoLC)80247811(EXLCZ)99100000000024389720050602d2005 uy 0engurcn|||||||||txtccrArtificial intelligence in education[electronic resource] supporting learning through intelligent and socially informed technology /edited by Chee-Kit Looi ...[et al.]Washington, DC IOS Pressc20051 online resource (1040 p.)Frontiers in artificial intelligence and applications ;v. 125Papers presented at the 12th International Conference on Artificial Intelligence in Education, held in Amsterdam, July 18-22, 2005.1-58603-530-4 Includes bibliographical references and index.Title page; Preface; International AIED Society Management Board; Executive Committee Members; Conference Organization; Sponsors; Contents; Invited Talks; Learning with Virtual Peers; Scaffolding Inquiry Learning: How Much Intelligence is Needed and by Whom?; Constraint-Based Tutors: A Success Story; Interactivity and Learning; Full Papers; Evaluating a Mixed-Initiative Authoring Environment: Is REDEEM for Real?; An Architecture to Combine Meta-Cognitive and Cognitive Tutoring: Pilot Testing the Help Tutor; ""A la"" in Education: Keywords Linking Method for Selecting Web ResourcesInferring Learning and Attitudes from a Bayesian Network of Log File Data Why Is Externally-Regulated Learning More Effective Than Self-Regulated Learning with Hypermedia?; Motivating Appropriate Challenges in a Reciprocal Tutoring System; Do Performance Goals Lead Students to Game the System?; Pedagogical Agents as Social Models for Engineering: The Influence of Agent Appearance on Female Choice; The Impact of Frustration-Mitigating Messages Delivered by an Interface Agent; Computational Methods for Evaluating Student and Group Learning Histories in Intelligent Tutoring SystemsEngagement Tracing: Using Response Times to Model Student Disengagement Interactive Authoring Support for Adaptive Educational Systems; Some Unusual Open Learner Models; Advanced Capabilities for Evaluating Student Writing: Detecting Off-Topic Essays Without Topic-Specific Training; Thread-Based Analysis of Patterns of Collaborative Interaction in Chat; Conceptual Conflict by Design: Dealing with Students' Learning Impasses in Multi-User Multi-Agent Virtual Worlds; Motivating Learners by Nurturing Animal Companions: My-Pet and Our-PetArithmetic Desk: Computer Embedded Manipulatives for Learning Arithmetic Adaptive Reward Mechanism for Sustainable Online Learning Community; What Is The Student Referring To? Mapping Properties and Concepts in Students' Systems of Physics Equations; The Effects of a Pedagogical Agent in an Open Learning Environment; Using Discussion Prompts to Scaffold Parent-Child Collaboration Around a Computer-Based Activity; Self-Regulation of Learning with Multiple Representations in Hypermedia; An ITS for Medical Classification Problem-Solving: Effects of Tutoring and RepresentationsMining Data and Modelling Social Capital in Virtual Learning Communities Tradeoff Analysis Between Knowledge Assessment Approaches; Natural Language Generation for Intelligent Tutoring Systems: A Case Study; Dialogue-Learning Correlations in Spoken Dialogue Tutoring; Adolescents' Use of SRL Behaviors and Their Relation to Qualitative Mental Model Shifts While Using Hypermedia; Teaching about Dynamic Processes A Teachable Agents Approach; Exam Question Recommender System; DIANE, a Diagnosis System for Arithmetical Problem SolvingCollaboration and Cognitive Tutoring: Integration, Empirical Results, and Future DirectionsThe field of Artificial Intelligence in Education includes research and researchers from many areas of technology and social science. This study aims to open opportunities for the cross-fertilization of information and ideas from researchers in the many fields that make up this interdisciplinary research area.Frontiers in artificial intelligence and applications ;v. 125.Artificial intelligenceEducational applicationsCongressesIntelligent tutoring systemsCongressesArtificial intelligenceEducational applicationsIntelligent tutoring systems371.33463Looi Chee-Kit1538322International Conference on Artificial Intelligence in Education(12th :2005 :Amsterdam, Netherlands)MiAaPQMiAaPQMiAaPQBOOK9910783420703321Artificial intelligence in education3788310UNINA