Výsledky vyhledávání - Logical Methods in Computer Science Association

Constructing Context-centric Data Objects to Enhance Logical Associations for IoT Entities

Autoři: Xiao, Bin Kanter, Theo Rahmani, Rahim

Zdroj: Procedia Computer Science. 52:1095-1100

Témata: IoT Entity Associations, Service Logics, Ontology, Data Object Construction, Event Net, Computer and Systems Sciences, data- och systemvetenskap

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-120244
https://doi.org/10.1016/j.procs.2015.05.124

Proceedings of the International Association for Development of the Information Society (IADIS) International Conference on Cognition and Exploratory Learning in Digital Age (CELDA) (Madrid, Spain, October 19-21, 2012)

Autoři: International Association for Development of the Information Society (IADIS)

Zdroj: International Association for Development of the Information Society. 2012.

Peer Reviewed: N

Page Count: 308

Descriptors: Academic Achievement, Academic Persistence, Academic Support Services, Access to Computers, Access to Education, Access to Information, Accounting, Acoustics, Administration, Adolescents, Alignment (Education), Appropriate Technology, Art Teachers, Artificial Intelligence, At Risk Students, Attention, Autism, Automation, Barriers, Behavior Change, Biology, Books, Brain, Business Administration Education, Business, Calculus, Career Exploration, Career Readiness, Case Studies, Causal Models, Cerebral Palsy, Change Agents, Classification, Classroom Communication, Classroom Environment, Client Server Architecture, Cognitive Processes, Cognitive Science, Cognitive Structures, Cognitive Style, Collaborative Writing, College Faculty, College Freshmen, College Instruction, College Readiness, College Students, Color, Communication (Thought Transfer), Communication Skills, Communications, Communities of Practice, Community Development, Comparative Analysis, Competition, Computer Assisted Instruction, Computer Assisted Testing, Computer Games, Computer Interfaces, Computer Literacy, Computer Mediated Communication, Computer Networks, Computer Science Education, Computer Science, Computer Security, Computer Simulation, Computer Software, Computers, Concept Mapping, Constructivism (Learning), Content Analysis, Context Effect, Conventional Instruction, Cooperation, Cooperative Learning, Corporate Education, Correlation, Cost Effectiveness, Creativity, Criteria, Critical Thinking, Cues, Curriculum Design, Curriculum, Data Analysis, Data Collection, Data Processing, Data, Database Management Systems, Decision Making, Delivery Systems, Design, Development, Difficulty Level, Disabilities, Discovery Learning, Distance Education, Educational Research, Down Syndrome, Dropouts, Ecology, Editing, Educational Assessment, Educational Attainment, Educational Environment, Educational Finance, Educational Games, Educational Media, Educational Objectives, Educational Practices, Educational Psychology, Educational Quality, Educational Resources, Educational Technology, Electronic Learning, Electronic Publishing, Electronics, Elementary Education, Elementary Secondary Education, Emotional Response, Energy, Engineering, English (Second Language), Entrepreneurship, Environmental Education, Epistemology, Equipment, Evaluation Methods, Evaluative Thinking, Evidence, Exhibits, Expertise, Eye Movements, Faculty Development, Feedback (Response), Foreign Countries, Foreign Policy, Forestry, Formative Evaluation, General Education, Geographic Location, Global Approach, Goal Orientation, Graduate Students, Grammar, Grounded Theory, Group Dynamics, Group Experience, Group Membership, Handheld Devices, Heterogeneous Grouping, High School Students, High Schools, High Stakes Tests, Higher Education, Holistic Approach, Hypermedia, Identification, Imagination, Immigration, Indexing, Indigenous Populations, Influence of Technology, Informal Education, Information Dissemination, Information Literacy, Information Management, Information Retrieval, Information Science, Information Seeking, Information Skills, Information Storage, Information Technology, Inquiry, Instruction, Instructional Design, Instructional Effectiveness, Integrated Learning Systems, Interaction, Interdisciplinary Approach, Internet, Interpersonal Communication, Interpersonal Relationship, Interrater Reliability, Intervention, Introductory Courses, Italian, Item Banks, Kindergarten, Knowledge Level, Laboratories, Laboratory Equipment, Language Role, Learner Engagement, Learning Activities, Learning Experience, Learning Motivation, Learning Processes, Learning Theories, Learning, Lexicography, Lifelong Learning, Likert Scales, Literacy, Logical Thinking, Man Machine Systems, Mathematical Logic, Mathematical Models, Mathematics, Metacognition, Metadata, Middle School Students, Mixed Methods Research, Models, Motivation, Multimedia Materials, Museums, National Programs, Native Speakers, Natural Language Processing, Nonprint Media, Norwegian, Novices, Official Languages, Online Courses, Online Searching, Open Source Technology, Opportunities, Outcomes of Education, Ownership, Pattern Recognition, Peer Evaluation, Peer Relationship, Performance Based Assessment, Personal Autonomy, Personality Traits, Physical Environment, Pilot Projects, Planning, Play, Prediction, Predictor Variables, Preservice Teacher Education, Preservice Teachers, Prior Learning, Privacy, Probability, Problem Based Learning, Problem Solving, Production Techniques, Programming, Public Agencies, Public Policy, Questioning Techniques, Reading Improvement, Reference Materials, Reflection, Relevance (Education), Religious Education, Research Methodology, Role Playing, Scaffolding (Teaching Technique), Schemata (Cognition), Scholarship, School Policy, Science Activities, Science Process Skills, Scientific Methodology, Scores, Search Engines, Second Language Instruction, Second Language Learning, Secondary Education, Secondary School Science, Secondary School Students, Selection, Self Control, Self Evaluation (Individuals), Semantics, Semi Structured Interviews, Semitic Languages, Sharing Behavior, Simulated Environment, Social Behavior, Social Networks, Social Studies, Social Support Groups, Social Systems, Special Needs Students, Stakeholders, Standards, Story Telling, Strategic Planning, Student Attitudes, Student Behavior, Student Centered Curriculum, Student Characteristics, Student Empowerment, Student Evaluation, Student Improvement, Student Motivation, Student Surveys, Students, Study Habits, Summative Evaluation, Summer Schools, Sustainability, Synthesis, Systems Analysis, Taxonomy, Teacher Influence, Teacher Student Relationship, Teaching Methods, Teaching Skills, Teamwork, Technical Education, Technical Occupations, Technological Advancement, Technology Integration, Technology Uses in Education, Telecommunications, Test Reliability, Tests, Textbooks, Theory Practice Relationship, Thinking Skills, Time Management, Time, Tutoring, Tutors, Underachievement, Undergraduate Students, Users (Information), Video Technology, Virtual Classrooms, Visual Aids, Visual Environment, Visual Literacy, Visualization, Vocabulary Development, Water Quality, Web 2.0 Technologies, Web Sites, Weighted Scores, Workshops, World Views, Writing Improvement

Geografický termín: Asia, Australia, Brazil, Connecticut, Denmark, Egypt, Estonia, Florida, Germany, Greece, Hawaii, Ireland, Israel, Italy, Japan, Kazakhstan, Netherlands, Norway, Ohio, Pakistan, Pennsylvania, Philippines, Portugal, Singapore, South Korea, Spain, Spain (Madrid), Turkey, United Kingdom, United Kingdom (England), United States

Micro:Bit Robotics Course: Infusing Logical Reasoning and Problem-Solving Ability in Fifth Grade Students through an Online Group Study System

Autoři: Cheng, Po-Jen Liao, Yuan-Hsun Yu, Pao-Ta

Zdroj: International Review of Research in Open and Distributed Learning. Feb 2021 22(1):21-40.

Peer Reviewed: Y

Page Count: 20

Descriptors: Robotics, Grade 5, Elementary School Students, Teaching Methods, Pretests Posttests, Rural Areas, Thinking Skills, Problem Solving, Gender Differences, Correlation, Logical Thinking, Online Courses, Foreign Countries, Tests, Computer Science Education

Geografický termín: Taiwan

The Importance of Teaching Logic to Computer Scientists and Electrical Engineers

Autoři: Paul Mayer Rich Baraniuk

Zdroj: ACM Transactions on Computing Education. 2025 25(2).

Peer Reviewed: Y

Page Count: 12

Sponsoring Agency: National Science Foundation (NSF)

Descriptors: Teaching Methods, Logical Thinking, Computer Science Education, Engineering Education, Mathematical Logic, Undergraduate Students, Programming, Mathematics, Job Skills, School Holding Power, Minority Group Students, STEM Education

Proceedings of the International Conference on Educational Technologies 2013 (ICEduTech 2013) (Kuala Lumpur, Malaysia, November 29-December 1, 2013)

Autoři: International Association for Development of the Information Society (IADIS) Kommers, Piet Issa, Tomayess a další

Zdroj: International Association for Development of the Information Society. 2013.

Peer Reviewed: N

Page Count: 178

Descriptors: Conference Papers, Educational Technology, Technology Uses in Education, Web Sites, Undergraduate Study, Foreign Countries, Web 2.0 Technologies, Faculty Development, Teacher Competencies, Pedagogical Content Knowledge, Praxis, Low Achievement, Teaching Methods, Mathematics Instruction, Mathematics Achievement, Cooperative Learning, Teamwork, Plagiarism, Computer Software, Models, Strategic Planning, Stakeholders, College Students, Laptop Computers, Usability, Educational Games, Preschool Children, Design, Communities of Practice, Case Studies, Electronic Learning, Second Language Instruction, Chinese, Japanese, Logical Thinking, Student Attitudes, Resource Units, Shared Resources and Services, Females, Single Sex Schools, Skill Development, Technological Literacy, English (Second Language), Online Courses, High School Students, College Preparation, Reflection, Self Evaluation (Individuals), English for Academic Purposes, Information Storage, Integrated Learning Systems, Social Networks, Information Science, Electronic Publishing

Geografický termín: Australia, Malaysia, Singapore, South Africa, Taiwan

SYSTEMS, METHODS, AND COMPUTER READABLE MEDIA FOR VISUALIZATION OF SEMANTIC INFORMATION AND INFERENCE OF TEMPORAL SIGNALS INDICATING SALIENT ASSOCIATIONS BETWEEN LIFE SCIENCE ENTITIES

Proceedings of the International Association for Development of the Information Society (IADIS) International Conference on e-Learning (Prague, Czech Republic, July 23-26, 2013)

Autoři: International Association for Development of the Information Society (IADIS) Nunes, Miguel Baptista McPherson, Maggie

Zdroj: International Association for Development of the Information Society. 2013.

Peer Reviewed: N

Page Count: 520

Descriptors: Conference Papers, Educational Technology, Electronic Learning, Technology Uses in Education, Large Group Instruction, Online Courses, Social Networks, Computer Simulation, Architecture, Museums, Children, Multimedia Instruction, Mathematics Education, Homework, Higher Education, Literature Reviews, Computer Science Education, Action Research, Training, Case Studies, Teacher Education, Teaching Methods, Web Based Instruction, Collaborative Writing, Scientific Literacy, Persuasive Discourse, Computer Mediated Communication, Evaluation Methods, Reading Lists, Achievement, Student Attitudes, Portfolio Assessment, Motivation, Social Media, English (Second Language), Second Language Instruction, High Schools, Distance Education, Leadership, Educational Innovation, Vocational Education, Foreign Countries, Feedback (Response), Workplace Learning, Coaching (Performance), Web Sites, Interaction, Telecommunications, Integrated Learning Systems, Assignments, College Libraries, Library Automation, Bachelors Degrees, Videoconferencing, Learning Activities, Anatomy, Computer Software, Music Education, Foreign Students, Student Adjustment, Literacy Education, Evaluation, Peer Teaching, Teacher Competencies, Principals, Secondary Education, Cooperative Learning, Handheld Devices, Audio Equipment, Models, Experiential Learning, Trust (Psychology), Visual Impairments, Physics, Competence, Blended Learning, Usability, Tests, Mathematics Tests, Public Colleges, Metacognition, Inquiry, Constructivism (Learning), Electronics, Enrollment, Curriculum, Guidelines, Ethics, Comparative Analysis, Alternative Assessment, Concept Mapping, Web 2.0 Technologies, Story Telling, Medical Education, Vocabulary Development, Visual Aids, Attitude Measures, College Students, Information Science, Adolescents, Delinquency, Cognitive Style, Librarians, Attention, Visual Perception, Self Determination

Geografický termín: Australia, Greece, Italy, Mexico, Mongolia, Slovenia, Taiwan

Systems, methods, and computer readable media for visualization of semantic information and inference of temporal signals indicating salient associations between life science entities

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Autoři: Andre Platzer Kristin Yvonne Rozier Matteo Pradella a další

Resource Type: eBook.

Témata: Formal methods (Computer science)--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Languages / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Logical, statistical and computer methods in medicine / edited by Robert Milewski.

Přispěvatelé: Milewski, Robert (informatyka). Uniwersytet (Białystok). Wydawnictwo. Wydawca pbl

Zdroj: Bibliografia po rozdziałach.

Témata: Medycyna -- informatyka, Medycyna -- techniki informatyczne, Statystyka medyczna -- informatyka, Interpretacja danych statystyczna, Informatyka medyczna obliczeniowa, Zastosowania informatyki medycznej

Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:5092111&theme=nukat

The Effects of Cooperative Learning in a Second-Semester University Computer Science Course.

Autoři: Priebe, Roger

Peer Reviewed: N

Page Count: 15

Descriptors: Academic Achievement, Computer Science, Cooperative Learning, Educational Strategies, Higher Education, Teaching Methods, Thinking Skills

Geografický termín: U.S.; Texas

Journal Code: RIEAUG1997

METODY SYMULACJI KOMPUTEROWEJ - PRÓBA KLASYFIKACJI LOGICZNEJ.

Alternate Title: COMPUTER SIMULATION METHODS AN ATTEMPT OF LOGICAL CLASSICIFATION.

Autoři: ŁATUSZYŃSKA, MAŁGORZATA¹ mlat@wneiz.pl

Zdroj: Studia i Materialy Polskiego Stowarzyszenia Zarzadzania Wiedza / Studies & Proceedings Polish Association for Knowledge Management. 2011, Issue 41, p163-176. 14p.

Témata: *COMPUTER simulation, *SIMULATION methods & models, *COMPUTER science, *INFORMATION technology, *INFORMATION science

SYSTEMS, METHODS, AND COMPUTER READABLE MEDIA FOR VISUALIZATION OF SEMANTIC INFORMATION AND INFERENCE OF TEMPORAL SIGNALS INDICATING SALIENT ASSOCIATIONS BETWEEN LIFE SCIENCE ENTITIES

Anomaly Detection and Correction in Dense Functional Data Within Electronic Medical Records.

Autoři: Kuwaye, Daren Cho, Hyunkeun Ryan

Zdroj: Statistics in Medicine; 10/30/2024, Vol. 43 Issue 24, p4768-4777, 10p

Témata: ELECTRONIC health records, FALSE discovery rate, RESEARCH integrity, ANOMALY detection (Computer security), COMPUTER science

Comparison of Required Competences and Task Material in Modeling Education.

Autoři: Soyka, Chantal Ullrich, Meike Striewe, Michael a další

Zdroj: Scientific Papers: Animal Science & Biotechnologies / Lucrari Stiintifice: Zootehnie si Biotehnologii. 2024, Vol. 57 Issue 1, p1-36. 36p.

Témata: Assessment of education, Computer science education, Landscape assessment, Master's degree, Computer simulation, Educational outcomes

Evaluating ChatGPT-4 Vision on Brazil's National Undergraduate Computer Science Exam

Autoři: Nabor C. Mendonça (ORCID 0000-0002-2972-9423)

Zdroj: ACM Transactions on Computing Education. 2024 24(3).

Peer Reviewed: Y

Page Count: 56

Descriptors: Artificial Intelligence, Natural Language Processing, Technology Uses in Education, Foreign Countries, Undergraduate Study, Computer Science Education, National Competency Tests, Visual Aids, Performance, Evaluation Methods, Test Content, Models, Problem Solving, Barriers, Multiple Choice Tests

Geografický termín: Brazil

Logical, statistical and computer methods in medicine / edited by Robert Milewski.

Přispěvatelé: Milewski, Robert (informatyka). Uniwersytet (Białystok). Wydawnictwo. Wydawca pbl

Zdroj: Bibliografia po rozdziałach.

Témata: Medycyna -- informatyka

Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:4881306&theme=nukat

Covering and separation for logical fragments with modular predicates

Autoři: Place, Thomas Ramanathan, Varun Weil, Pascal a další

Přispěvatelé: Place, Thomas Ramanathan, Varun Weil, Pascal a další

Zdroj: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-02133930 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2019

Témata: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1804.08883; hal-02133930; https://hal.archives-ouvertes.fr/hal-02133930; https://hal.archives-ouvertes.fr/hal-02133930/document; https://hal.archives-ouvertes.fr/hal-02133930/file/2019-05.pdf; ARXIV: 1804.08883

Dostupnost: https://hal.archives-ouvertes.fr/hal-02133930
https://hal.archives-ouvertes.fr/hal-02133930/document
https://hal.archives-ouvertes.fr/hal-02133930/file/2019-05.pdf

Systems, methods, and computer readable media for visualization of semantic information and inference of temporal signals indicating salient associations between life science entities

Prolog, a Technological Approach to Teaching: The Case of Mathematics and Problem Solving

Autoři: Laurent Cervoni Julien Brasseur

Zdroj: International Association for Development of the Information Society. 2022 (Sustainability).

Peer Reviewed: Y

Page Count: 4

Descriptors: Teaching Methods, Mathematics Instruction, Problem Solving, Programming Languages, Logical Thinking, Inferences, Computer Science Education