yusuke1997/dblp-id-title huggingface dataset:
Sense of Empowerment Among School ICT Coordinators: Personal, Subject-Area and Leadership Empowerment
The Discrepancy Between Teachers' Perceptions and Students' Experience Regarding the Teachers' Watchfulness in Technology-Enriched Classrooms
Software criticism
Thinking Like a Tree (and Other Forms of Ecological Thinking)
Predicting Academic Success in Large Online Courses at a Mega ODL University
Supporting Student Engagement Through the Gamification of Learning Activities: A Design-Based Research Approach
Secondary School Teachers' Experiences with Generative AI in Maltese Language Teaching
Learning Electricity with NIELS: Thinking with Electrons and Thinking in Levels
Thoughts on Reading Artigue's "Learning Mathematics in a CAS Environment"
Turning music theory on its ear Do we hear what we see; Do we see what we say?
Literature Review on the Factors Affecting Primary Teachers' Use of Digital Technology
Toward a Definition of Learning Experience Design
Effectiveness of VR Head Mounted Displays in Professional Training: A Systematic Review
Assembling iPads and Mobility in Two Classroom Settings
The Impact of an Online Collaborative Program on Intrinsic Motivation, Satisfaction and Attitudes Towards Technology
Debugging an Artifact, Instrumenting a Bug: Dialectics of Instrumentation and Design in Technology-Rich Learning Environments
Can ChatGPT Pass a Physics Test?
Designing a Virtual Learning Environment System for Teaching Twenty-First Century Skills to Higher Education Students in ASEAN
Teaching Academic Staff to Implement Interactive Graphics for Their Courses
A critique of the selection of "Mathematical objects" as a central metaphor for advanced mathematical thinking
Managing the Complexity of Human/Machine Interactions in Computerized Learning Environments: Guiding Students' Command Process through Instrumental Orchestrations
Icmi awards the 2005 felix klein and hans freudenthal medals
Introducing Computational Thinking to Young Learners: Practicing Computational Perspectives Through Embodiment in Mathematics Education
The Emergence of Mathematical Collaboration in an Interactive Computer Environment
A Mathematics Teacher's Practice in a Technological Environment: A Case Study Analysis Using Two Complementary Theories
Understanding Qualitative Calculus: A Structural Synthesis of Learning Research
Data Monsters: Development of Game for Learning to Data Science
Instructional Support for Visual Displays: An Updated Literature Review
Exploring the Territory Before Proof: Student's Generalizations in a Computer Microworld for Transformation Geometry
Designing Spreadsheet-Based Tasks for Purposeful Algebra
Isolating the Effect of Gamification - Design and Analysis of a Learning Engagement App Tailored to Course Content
The Discovery of Interactive Spaces: Learning by Design in High School Music Technology Classes
Computer Mediated Learning: An Example of an Approach
Revealing the Faces of Abstraction
Comparability of Conflict Opportunities in Human-to-Human and Human-to-Agent Online Collaborative Problem Solving
Introduction to the Special Issue: Misalignment, Misinterpretation, and Misappropriation of Literacy Research to Practice and Policy
An Analysis of Comprehension Strategies and Visuals Within Grade 6-8 Science Textbooks in the United States
Computational Diversions: Slamming Door Comedy
A Program to Interpolate (And Extrapolate) Between Turtle Programs
Theorem Justification and Acquisition in Dynamic Geometry: A Case of Proof by Contradiction
Teacher Learning with and About Digital Mathematical Task Design
The Complex Process of Converting Tools into Mathematical Instruments: The Case of Calculators
Correction: The Role of Support Units in Digital Transformation: How Institutional Entrepreneurs Build Capacity for Online Learning in Higher Education
University Virtual Learning in Covid Times
nStudy: A System for Researching Information Problem Solving
Opening up the gamification black box: effects of students' personality traits and perception of game elements on their engaged behaviors in a gamified course
Designing About Data: Youth and Teacher Design Priorities for a Curricular Unit About Online Data Collection and Use
The Effect of Game-Based Learning on Student Achievement: A Meta-Analysis Study
To Click, or Not to Click? Perfectionism and the Association of Gender and Competitiveness on Game-Point Monitoring
Template-Based Generator for Single-Choice Questions
Exploring Secondary Master STEM Teachers' Tensions with Transitioning to Emergency Remote Teaching
Using Online Critical Reflection to Enhance Students' Confidence, Motivation, and Engagement in Higher Education
Assessing Psychometric Properties of the Sentiments, Attitudes and Concerns about Inclusive Education Scale in a Greek-Speaking Sample of In-service Teachers
Mixing Microworld and Cas Features in Building Computer Systems that Help Students Learn Algebra
Programming in Polygon R&D: Explorations with a Spatial Language II
Everyone Matters: A Multimodal Learning Analysis Framework Based on Individual Time Series
Erratum to: Review of: Hodgson et al. (2014) The Design, Experience and Practice of Networked Learning
Evaluation of a Mobile Web Application for Assessment Feedback
The State of Computational Thinking in Libraries
Improving the Learning of Mechanics Through Augmented Reality
Exploring the Potential of ChatGPT as an Educational Technology: An Emerging Technology Report
Exploring Factors that Influence Collaborative Problem Solving Awareness in Science Education
A Meta-analysis Evaluating the Effectiveness of Instructional Video Technologies
A Semantic Web-Based Recommendation Framework of Educational Resources in E-Learning
The Power of a Human Bridge: Motivating Older Adults to Long-Term Engagement with Touchscreen Devices in a SDT-Based Learning Session
Potential Barriers to the Implementation of Digital Game-Based Learning in the Classroom: Pre-service Teachers' Views
Use of Predictive Analytics within Learning Analytics Dashboards: A Review of Case Studies
A Reaction to "a Ctitique of the Selection of 'Mathermatical Objects' as Central Metalhor for Advanced Mathematical Thinking" by Confrey and Costa
MOOCs in STEM Education: Teacher Preparation and Views
The Experimental Mathematician: the Pleasure of Discovery and the Role of Proof
Promoting Learners' Voice Productions Using Chatbots as a Tool for Improving the Learning Process in a MOOC
Lived Experience of Faculty Members of Ethics in Virtual Education
Interactive video: A bridge between motion and math
Digital Agency: Empowering Equity in and through Education
Unpacking the Inherent Design Principles of Mobile Microlearning
Bead Games, or, Getting Started in Computational Thinking Without a Computer
How to Determine the Maximum Circle That Can Be Enclosed in a Convex Quadrilateral
Preparing Pre-Service Teachers for Computational Thinking Skills and its Teaching: A Convergent Mixed-Method Study
Characterizing Interaction with Visual Mathematical Representations
The Kissing Triangles: The Aesthetics of Mathematical Discovery
Digital Competence of Higher Education Students as a Predictor of Academic Success
Cognitive Demand of Model Tracing Tutor Tasks: Conceptualizing and Predicting How Deeply Students Engage
Intelligent Tutoring and the Development of Argumentative Competence
Learning with Data: Visualization to Support Teaching, Learning, and Assessment
Mathematics with Component-Oriented Exploratory Software
A Systematic Literature Review on Personalised Learning in the Higher Education Context
Best Practices for Conducting Systematic Reviews: Perspectives of Experienced Systematic Review Researchers in Educational Sciences
Digital Competences of Pre-service Teachers in Italy and Poland
Modelling the Effect of TPACK and Computational Thinking on Classroom Management in Technology Enriched Courses
Abstraction Through Game Play
What Elements in the Web Page will Influence the Course Participation? Empirical Evidence from China
Counter-Mapping the Neighborhood on Bicycles: Mobilizing Youth to Reimagine the City
Computer Programming Effects in Elementary: Perceptions and Career Aspirations in STEM
Improving US Elementary School Reading Comprehension through Knowledge Acquisition and Transformation
Predicting High School Teacher Use of Technology: Pedagogical Beliefs, Technological Beliefs and Attitudes, and Teacher Training
Fairness of Academic Performance Prediction for the Distribution of Support Measures for Students: Differences in Perceived Fairness of Distributive Justice Norms
Visualizing Revision: Leveraging Student-Generated Between-Draft Diagramming Data in Support of Academic Writing Development
The Learning Design of MOOC Discussion Forums: An Analysis of Forum Instructions and Their Role in Supporting the Social Construction of Knowledge
Redefining, Reconfiguring, and Extending the UTAUT-2: A Case Study in the Context of the Use of ICT by Kindergarten Teachers
Online Teacher Professional Development: A Research Synthesis on Effectiveness and Evaluation
Using a Flipped Classroom Approach to Support Problem-Based Learning
Teachers' Activities in Technology-Based Mathematics Lessons
The Effect of Using Student Response System on Achievement and Achievement Emotions in An English Course
Scaffolding Computational Thinking Through Block Coding: A Learner Experience Design Study
Video-Based Virtual Reality Technology for Autistic Users: An Emerging Technology Report
Dynamic Software, Task Solving With or Without Guidelines, and Learning Outcomes
Are We on Our Way to Becoming a " Helicopter University "? Academics' Views on Learning Analytics
Cabri-géomètre: Does Dynamic Geometry Software (DGS) Change Geometry and its Teaching and Learning?
Is Reading Comprehension Taken for Granted? An Analysis of Austrian Textbooks in Fourth and Sixth Grade
The Effect of Gamification on Home Economics Students' Motivation and Engagement in Drawing Activities
Designing Robots for Special Needs Education
How Does Digital Competence Training Affect Teachers' Professional Development and Activities?
Pre-service Teachers' Reflections on Attitudes Towards Teaching and Learning Mathematics with Online Platforms at School: A Case Study in the Context of a University Online Training
Making Sense by Building Sense: Kindergarten Children's Construction and Understanding of Adaptive Robot Behaviors
A Wide View on Gamification
Comparing the Effects of Traditional Teaching and Flipped Classroom Methods on Midwifery Students' Practical Learning: The Embedded Mixed Method
Adaptation to a Curriculum Delivered via iPad: The Challenge of Being Early Adopters
Computational Thinking Assessment - Towards More Vivid Interpretations
Cyberloafing in Higher Education: Reasons and Suggestions from Students' Perspectives
Aligning Digital Educational Policies with the New Realities of Schooling
Applying Learning Analytics to Investigate Timed Release in Online Learning
Orihedra: Mathematical sculptures in paper
Snapshot: Talking Statistics/Talking Ourselves: Some Constructionist Lessons from the Work of the Psychologist George Kelly - James Clayson
Creating Future Ready Information Technology Policy for National Education Systems
Video-Based Learning (VBL) - Past, Present and Future: an Overview of the Research Published from 2008 to 2019
Co-Creation of Learning Technologies in School-University-Industry Partnerships: An Activity System Perspective
Using a Recommendation System to Support Problem Solving and Case-Based Reasoning Retrieval
Challenging Students to View the Concept of Area in Triangles in a Broad Context: Exploiting the Features of Cabri-II
Computational Diversions: WordWiring, a Network-Themed Party Game
Teacher Presence in a Different Light: Authority Shift in Multi-user Virtual Environments
Computing with Classical Real Numbers
Mathematical Text Processing in EA-style: a Sequent Aspect
LF+ in Coq for "fast and loose" reasoning
Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers
Matita Tutorial
Initial Semantics for higher-order typed syntax in Coq
Formalization of the Integral Calculus in the PVS Theorem Prover
Programming type-safe transformations using higher-order abstract syntax
Formalizing Restriction Categories
A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration
Proof Auditing Formalised Mathematics
Formalizing Scientifically Applicable Mathematics in a Definitional Framework
Commutativity Theorems in Groups with Power-like Maps
Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure
Mizar in a Nutshell
Mixing Computations and Proofs
An introduction to small scale reflection in Coq
Formal Proof of Banach-Tarski Paradox
Formalizing a Proof that e is Transcendental
Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions
Corrigendum: C floating-point proofs layered with VST and Flocq
Theorema 2.0: Computer-Assisted Natural-Style Mathematics
Hammering towards QED
Innocuous Double Rounding of Basic Arithmetic Operations
Now f is continuous (exercise!)
Preface: Twenty Years of the QED Manifesto
A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision
Abella: A System for Reasoning about Relational Specifications
Dependent Types for Extensive Games
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
A Library for Algorithmic Game Theory in Ssreflect/Coq
An Intrinsic Encoding of a Subset of C and its Application to TLS Network Packet Processing
Sets in Coq, Coq in Sets
A formal verification of the theory of parity complexes
Implementation of Bourbaki's Elements of Mathematics in Coq: Part One, Theory of Sets
Standardization and Confluence in Pure Lambda-Calculus Formalized for the Matita Theorem Prover
Basic first-order model theory in Mizar
QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge
Formalization in PVS of Balancing Properties Necessary for Proving Security of the Dolev-Yao Cascade Protocol Model
Formal Verification of Language-Based Concurrent Noninterference
A Page in Number Theory
A Formalization of Newman's and Yokouchi's Lemmas in a Higher-Order Language
A Formal Proof Of The Riesz Representation Theorem
A constructive and formal proof of Lebesgue's Dominated Convergence Theorem in the interactive theorem prover Matita
A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links
Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator
A proof of Bertrand's postulate
Formalization Techniques for Asymptotic Reasoning in Classical Analysis
C floating-point proofs layered with VST and Flocq
Lawvere-Tierney sheafification in Homotopy Type Theory
Formalization of the pumping lemma for context-free languages
A formal proof of Sasaki-Murao algorithm
A Why3 proof of GMP algorithms
Views of PI: Definition and computation
An Introduction to Programming and Proving with Dependent Types in Coq
A formalized proof of Dirichlet's theorem on primes in arithmetic progression
Relative Monads Formalised
Formal Proofs for Nonlinear Optimization
Conversion of HOL Light proofs into Metamath
A New Look at Generalized Rewriting in Type Theory
Towards the Development of a Cloud Computing Intrusion Detection Framework Using an Ensemble Hybrid Feature Selection Approach
SDN-Enabled Communication Network Framework for Energy Internet
Early Window Tailoring: A New Approach to Increase the Number of TCP Connections Served
Enhanced Accuracy and Real-Time Monitoring: A Hybrid Communication Architecture for Fertility Monitoring
Optimized Quality of Service for Real-Time Wireless Sensor Networks Using a Partitioning Multipath Routing Approach
Block Least Mean Squares Algorithm over Distributed Wireless Sensor Network
A Use of Fuzzy TOPSIS to Improve the Network Selection in Wireless Multiaccess Environments
Device Characteristics and Capabilities Discovery for Multimedia Content
Analytical Computation of Information Rate for MIMO Channels
Advanced Support Vector Machine- (ASVM-) Based Detection for Distributed Denial of Service (DDoS) Attack on Software Defined Networking (SDN)
Reference Point Group Mobility and Random Waypoint Models in Performance Evaluation of MANET Routing Protocols
Synthesized Cluster Head Selection and Routing for Two Tier Wireless Sensor Network
Proof of Concept of an IoT-Based Public Vehicle Tracking System, Using LoRa (Long Range) and Intelligent Transportation System (ITS) Services
Power-Aware Routing and Network Design with Bundled Links: Solutions and Analysis
Bounds on Worst-Case Deadline Failure Probabilities in Controller Area Networks
Hybrid Botnet Detection Based on Host and Network Analysis
Graphene-Based Full-Duplex Antenna for Future Generation Communication in THz Frequency Range
Miniaturized CPW-Fed Triband Antenna with Asymmetric Ring for WLAN/WiMAX Applications
Crafting a Real-Time Information Aggregator for Mobile Messaging
Embedded Parallelism Enabling Ultralow-Power Zigbee Voice Communications
An Approach for Network Outage Detection from Drive-Testing Databases
IDHOCNET: A Novel ID Centric Architecture for Ad Hoc Networks
Utilizing Connection Usage Characteristics for Faster Web Data Transport
Efficient Prediction of Network Traffic for Real-Time Applications
Call Admission Scheme for Multidimensional Traffic Assuming Finite Handoff User
Joint Channel Assignment and Routing in Multiradio Multichannel Wireless Mesh Networks: Design Considerations and Approaches
A Survey on Multipacket Reception for Wireless Random Access Networks
Dealing with Energy-QoE Trade-Offs in Mobile Video
Operating Protocol and Networking Issues of a Telemedicine Platform Integrating from Wireless Home Sensors to the Hospital Information System
Survey of Green Radio Communications Networks: Techniques and Recent Advances
Delay-Tolerant, Low-Power Protocols for Large Security-Critical Wireless Sensor Networks
Enabling Semantic Technology Empowered Smart Spaces
Pairing-Free Certificateless Signature with Security Proof
Analysis of 5G Smart Communication Base Station Doppler-Smoothed Pseudorange Single-Point Geodesic Positioning Accuracy
Secure Telemedicine: Biometrics for Remote and Continuous Patient Verification
Characteristics of Video Traffic from Videoconference Applications: From H.261 to H.264
Service-Aware Retransmission Control in Cellular Networks
Ensuring Security and Privacy in VANET: A Comprehensive Survey of Authentication Approaches
Reducing the Amount of Data for Creating Routes in a Dynamic DTN via Wi-Fi on the Basis of Static Data
An Experimental Study of Sub-1 GHz Frequency-Hopping-Based 6LoWPAN Mesh Networking for Smart-Grid Applications
Packet Payload Monitoring for Internet Worm Content Detection Using Deterministic Finite Automaton with Delayed Dictionary Compression
Integrating Usage Control with SIP-Based Communications
A New Method of Image Steganography Using 7th Bit of a Pixel as Indicator by Introducing the Successive Temporary Pixel in the Gray Scale Image
Benefits of Self-Organizing Networks (SON) for Mobile Operators
A New Wireless VoIP Signaling Device Supporting SIP and H.323 Protocols
Safety Message Verification Using History-Based Relative-Time Zone Priority Scheme
Cooperative and Adaptive Network Coding for Gradient Based Routing in Wireless Sensor Networks with Multiple Sinks
A Novel Technique for Transmission of M-Ary Signal through Wireless Fading Channel Using Wavelet Denoising
The Concept of the Remote Devices Content Management
Efficient Priority Access to the Shared Commercial Radio with Offloading for Public Safety in LTE Heterogeneous Networks
The Improved Overhearing Backup AODV Protocol in MANET
Metric-Based Cooperative Routing in Multihop Ad Hoc Networks
An Efficient Algorithm to Find Broadcast Schedule in Ad Hoc TDMA Networks
Cooperative Game-Based Resource Allocation Scheme for Heterogeneous Networks with eICIC Technology
New Courteous Algorithm for Uplink Scheduling in LTE-Advanced and 5G Networks
Usage of Modified Holt-Winters Method in the Anomaly Detection of Network Traffic: Case Studies
AMCCR: Adaptive Multi-QoS Cross-Layer Cooperative Routing in Ad Hoc Networks
Calibration and Evaluation of Fixed and Mobile Relay-Based System Level Simulator
Comparative Performance Evaluation of TCP Variants in WiMAX (and WLANs) Network Configurations
ZigBee's Received Signal Strength and Latency Evaluation under Varying Environments
Bandwidth Allocation of Cognitive Relay Networks with Energy Harvesting for Smart Grid
Internal Clock Drift Estimation in Computer Clusters
A Persistent Structured Hierarchical Overlay Network to Counter Intentional Churn Attack
Efficient Cluster Head Selection Algorithm for MANET
Zigbee Wireless Sensor Networks: Performance Study in an Apartment-Based Indoor Environment
Improving the Privacy of IoT with Decentralised Identifiers (DIDs)
Pro NDN : MCDM-Based Interest Forwarding and Cooperative Data Caching for Named Data Networking
Implementation of Special Function Unit for Vertex Shader Processor Using Hybrid Number System
Peer-to-Peer Multicasting Inspired by Huffman Coding
A Novel SLM Scheme for PAPR Reduction in OFDM Systems
Real-Time Communications in Autonomic Networks: System Implementation and Performance Evaluation
Selective Route Based on SNR with Cross-Layer Scheme in Wireless Ad Hoc Network
Design of Energy-Efficient Protocol Stack for Nanocommunication Using Greedy Algorithms
A DiffServ Architecture for QoS-Aware Routing for Delay-Sensitive and Best-Effort Services in IEEE 802.16 Mesh Networks
A Comparative Study of Relaying Schemes with Decode and Forward over Nakagami-m Fading Channels
Discrete Cosine Transform Matrix Based SLM Algorithm for OFDM with Diminished PAPR for M-PSK over Different Subcarriers
Energy Detector-Based Spectrum Sensing in Cognitive Radios Over α-κ-F Fading Channel
Energy Efficient Clustering Protocol to Enhance Performance of Heterogeneous Wireless Sensor Network: EECPEP-HWSN
Enabling LTE and WiFi Coexisting in 5 GHz for Efficient Spectrum Utilization
Developing an On-Demand Cloud-Based Sensing-as-a-Service System for Internet of Things
Survey of QoS Routing Protocols in Wireless Multimedia Sensor Networks
Route Anomaly Detection Using a Linear Route Representation
SMAC-Based WSN Protocol-Current State of the Art, Challenges, and Future Directions
Dynamic Retransmission Limit Scheme in MAC Layer for Routing in Multihop Ad hoc Networks
Recovery of Lost Target Using Target Tracking in Event Driven Clustered Wireless Sensor Network
Energy-Efficient Coalition Games with Incentives in Machine-to-Machine Communications
Replica Node Detection Using Enhanced Single Hop Detection with Clonal Selection Algorithm in Mobile Wireless Sensor Networks
A Jointly Optimized Variable M -QAM and Power Allocation Scheme for Image Transmission
Optimal Pricing of Spectrum Resources in Wireless Opportunistic Access
Performance Testing of Twisted Pair Cables
Software-Defined Networks for Optical Networks Using Flexible Orchestration: Advances, Challenges, and Opportunities
Frequency Diverse Array Antennas: From Their Origin to Their Application in Wireless Communication Systems
A Systematic Review of Blockchain Technology Assisted with Artificial Intelligence Technology for Networks and Communication Systems
Exploiting Location and Contextual Information to Develop a Comprehensive Framework for Proactive Handover in Heterogeneous Environments
Managing Hierarchically Structured DTN-Like Networks
A Novel Prioritization Scheme to Improve QoS in IEEE 802.11e Networks
Performance of OFDM: FSO Communication System with Hybrid Channel Codes during Weak Turbulence
New Network Selection Algorithm Based on Cosine Similarity Distance and PSO in Heterogeneous Wireless Networks
A Fusion Approach of RSSI and LQI for Indoor Localization System Using Adaptive Smoothers
An Efficient Framework for Security of Internet-of-Things Devices against Malicious Software Updates
Multimode Flex-Interleaver Core for Baseband Processor Platform
Power-Management Techniques for Wireless Sensor Networks and Similar Low-Power Communication Devices Based on Nonrechargeable Batteries
Using Burstiness for Network Applications Classification