yusuke1997/dblp-id-title huggingface dataset:
Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972
The "most recent" error: Its causes and correction
Recursive definitions of partial functions and their computations
A boundary between decidability and undecidability for parallel program schemata (Extended Abstract)
The definition and validation of the radix sorting technique
Calculating properties of programs by valuations on specific models
Program correctness methods and language definition
Inductive methods for proving properties of programs
The equivalence of models of tasking
Correctness of a compiler for a Lisp subset
Analyzing Student Code Trajectories in an Introductory Programming MOOC
The 5 th Wave and i-Sustainability Plus Theories as Solutions for SocioEdu Consequences of Covid-19
Using Tough Love to Promote Active Learning
Enhancing Educators' Social Presence in MOOCs: Design of Daily Video Blog
Flexible, Self-Directed and Bottom-Up: Are Employees Overtaking Their Human Resource Departments with MOOCs?
Are the Performance Prediction Models in MOOC General: Perspective from Big Data
Learning Analytics and MOOLs: there is much more than equipment usage logs
Incorporating Learner Perspectives into Course Design
The Need for E-Learning Standards for Online Laboratory Management Systems
IEEE Learning with MOOCS, LWMOOCS 2022, Antigua Guatemala, Guatemala, September 29-30, 2022
Annotation-free Automatic Examination Essay Feedback Generation
Assessing Cheating in MOOCs
Open Scale Courses: Exploring Access and Opportunity for Less-Educated Learners
Experimenting with Virtual Labs to Support a MOOC on Digital Electronics
Design of MOOC on Research in Technical Education
Understanding Open Pedagogy for Designing a Constructivist Learning in Indian MOOCs
Team-Based Assignments in MOOCs - User Feedback
MOOC and professional skills development: Enhancing public speaking competence with international teams through Google Classroom
Students' Satisfaction of a Design Thinking MOOC with Personalized Learning Objectives
Students as Open Educational Resources Co-Creators in the TalkTech Project
MOOC courses on the Polish NAVOICA Educational Platform and their characteristics
Flipped MOOCs as a Pathway towards Education 4.0
Experience of Offering MOOC on Research in Technical Education for Teachers and Lessons Learnt
Strategies for Designing Cognitively Demanding Assessments Within Math and Physics MOOCs
The Social Dimension of Participation and Completion in MOOCs
Visualising Learning Pathways in MOOCs
Researchers' Perception of MOOCs: An Indian Case Study
Categorizing Resources and Learners for a Finer-Grained Analysis of MOOC Viewing & Doing
The Search for the MOOC Credit Hour
Portable Blended MOOC Laboratory
A comparative analysis of Udemy's catalog, pricing strategy, and offerings across providers
Impact of Course Delivery Mode on Learner Engagement in MOOCs
F-Lingo: Integrating lexical feature identification into MOOC platforms for learning professional and academic English
Analyzing Behavioral Patterns in an Introductory Programming MOOC at University Level
Brain-Computer Interface Approach for improving the Pedagogical Practices for Virtual Learning: A Conceptual Framework
Leveraging MOOCs in a hybrid learning bootcamp model for training technicians and engineers in STEM manufacturing
Algorithms for the Development of Deep Learning Models for Classification and Prediction of Behaviour in MOOCS
Post-pandemic use of edX MOOCs by the Universitat Politécnica de Valéncia Community
Educational Yin&Yang: Towards a Framework for the Instructional Design of MOOCs
Evaluating the impact of transparency on peer review quality in MOOCs
The MOOC BA, a New Frontier for Internationalization
Electronic, Optical, and Magnetic Properties of Materials: A Comic-Based MOOC
Mapping Microcredentials Across MOOC Platforms
Concept Assessment System Integrated with a Knowledge Map Using Deep Learning
Federal Funding Opportunity Announcements as a Catalyst of Students' Projects in MOOC Environments
The Influence of Immediate Homework Feedback on Student Performance and Satisfaction in an Engineering MOOC
Understanding MOOC Learners from Different Levels of Study: An Investigation of Hospitality and Tourism
Leveraging Multilingual Learning Communities in a Global Environment
Micro-lessons as a Response to Emergency Remote Teaching
Participation of the Arab World in MOOCs
Using MOOCs in LMS for Mastery-Oriented Approach
21st Century Syllabus: Aggregating Electronic Resources for Innovation-Based Learning
Key Aspects for the Implementation of Virtual Mobility
IEEE Learning with MOOCS, LWMOOCS 2023, Cambridge, MA, USA, October 11-13, 2023
Improving learner experience and participation in MOOCs: A design thinking approach
Undergraduate perceptions of remote teaching in Computer-Aided Design courses
Addressing Societal Issues Through MOOCs in Southeast Asia
Taxonomy of MOOC-Based Hybrid Educational Models in Higher Education
Improving the Scalability of MOOC Platforms with Automated, Dialogue-based Systems
Motivation: Personalization of contents to reduce dropout rates
Experience in the incorporation of MOOCs in undergraduate courses in Engineering and Science
Teachers Training Micro-Learning Innovative Model: Opportunities and Challenges
A SPOC Implementation Review of a Web Programming Subject
Reacting to COVID-19 campus imminent closure: Enabling remote networking laboratories via MOOCs
Course Quality Assessment in Post-pandemic Higher Education
Student Readiness for Online Learning in Relation to Gender and Stream of Study
Digital Transformation in Academic Society and Innovative Ecosystems in the World beyond Covid19-Pandemic with Using 7PS Model for IoT
Research Using the MOOC Replication Framework and E-TRIALS
Taking Stock of MOOCs and Credit Substitutability
Application and Evaluation of a Revision Framework to the Formative Assessments in a MOOC
Early childhood online education in the COVID-19 context. Behavioral Patterns for User Interface Design
Teachers' skills required to design and deliver MOOCs in Engineering Education
The Essence of Time: Taking a Look at Learning Sessions in MOOCs
MOOC Videos in Project MANEUVER
Online Classroom Enagement Observation using Deep Learning
Intention-Behavior Dynamics in MOOC Learning; What Happens to Good Intentions Along the Way?
Student Engagement in Optional Self-Assessment in a Blended Introductory Physics Course
Design of a Conversational Agent as an Educational Tool
Towards a Better Understanding of Mobile Learning in MOOCs
Designing a unique revision loop updating courses simultaneously on different MOOC platforms
MOOC Assessment: a comparison between online assessment and face to face practical assessment
A Study of MOOCs Project (MODE IT), Techniques, and Know How-Do How Best Practices and Lessons from the Pandemic through the Tomorrow Age Theory
IEEE Learning With MOOCS, LWMOOCS 2020, Antigua Guatemala, Guatemala, September 29 - October 2, 2020
Solving Diversity Issues in University Staff Training with UNIPS Pedagogical Online Courses
MOOCs in the infosphere
YourMOOC4all: A MOOCs Inclusive Design and Useful Feedback Research Project
Adaptive structure of a SPOC to train teachers in active methodologies: Cooperative Learning Case
Learning by Creating a MOOC
Local MOOC Solution for Thight Budgets or Limited Internet Access
Learning With MOOCS, LWMOOCS 2018, Madrid, Spain, September 26-28, 2018
On the Potential of Automated Downloads for MOOC Content on Mobile Devices
Doost Sme Ranking Model (DSRM) for the Edu. SMEs Development, based on Guter Mittelstand, MOOCs & Related Projects as German Best Practice Towards: Future Edu Readiness to Achieve SME 5.0
The Impact of Incorporating Hands-on Raspberry Pi Projects with Undergraduate Education in Boosting Students' Interest in Scientific/Engineering Majors and Encouraging Women and Minorities to Advance their Integration in Practical Fields
Online courses: a building kit. A path to online education
Scaling Open Educational Resources for Student Veterans and the Challenges of Assessing Their Impact
On the Impact of Programming Exercise Descriptions
Online Mathematics Education Outreach: Designing for Global, Open Access
Exploring Completion in MOOCs for Providing Teacher CPD: Does Grit Matter?
Hybrid Flexible Learning with MOOCs: A Proposal to Reconceptualize the COVID19 Emergency Beyond the Crisis
Profiles and Motivations of Participants in Greek MOOC for Python Programming
Designing a University SimMOOC for Security, Resilience and Sustainability in Europe: the EUSecure Project
A Framework for Revision of MOOC Formative Assessments
2019 IEEE Learning With MOOCS, LWMOOCS 2019, Milwaukee, WI, USA, October 23-25, 2019
Meta-LAD: Developing a Learning Analytics Dashboard with a Theoretically Grounded and Context-Specific Approach
Increasing the Reusability of MOOCs via Competence-Oriented Development
Blending MOOCs into Higher Education Courses-A Case Study
The Experience of Designing and Developing an edX's MicroMasters Program to Develop or Reinforce the Digital Competence on Teachers
Exploring Digital Cultural Heritage beyond MOOCs: Design, Use, and Efficiency of Generous Interfaces
The importance of formative assessment and the different role of evaluation in MOOCS
Analysis of Repeat Learners in Computer Science MOOCs
Development of a Laboratory Workshop for Open Online Courses Based on 3D Computer Graphics and Multimedia
The impact of online proctoring on students' perception and level of satisfaction in a MOOC
Content analysis in the training of engineers for the design of MOOCs
Scalable Team-Based Software Engineering Education via Automated Systems
Learning Alone yet Together: An Exploratory Study of the Interaction through Online Danmaku Videos
Using a MOOC in natural and social sciences as a mean to prepare pre-college students
Massive Open Online Courses Role in Promoting United Nations Sustainable Development Goals
Real Experiments in a MOOC Through Remote Lab VISIR: Challenges, Successes and Limits
Evaluating Students' Aprehension About Remote Learning During the COVID-19 Pandemic: a Brazilian Sample
Introducing knowledge based augmented reality environment in engineering learning - a comparative study
Conversational Agents as Group-Teacher Interaction Mediators in MOOCs
The Effect of Course Content Position on Student Attempts of Practice Problems in Introductory Biology
Traditional Vs Non-Traditional Assessment Activities as Learning Indicators of Student Learning: Teachers' Perceptions
Open-source dubbing system with synthetic voice for MOOCs
A Comprehensive MOOC Creation Approach
Applying a Digital Learning Ecosystem to Increase the Effectiveness of a Massive Open Online Course
Modularizing MOOCs for Professional Learning: Prospects and Challenges for Instructional Design
Educational Robotics for All: Gender, Diversity, and Inclusion in STEAM
Designing a MOOC to prepare faculty members to teach on virtual learning environments in the time of COVID-19
What is a Successful MOOC? Lessons from Global Learner Narratives
Exploring SWAYAM: How India is Making MOOCs an Integral Part of its Education System
Transforming Education in the 21st Century: The Role of PROF-XXI Project in Developing Teaching Competencies
Assessment of a group of 3 NOOCs on Nuclear Safety Culture
A MOOC for crossing boundaries in hospital classrooms through ICT
Analyzing Social Networks and Learning Content on a Discussion Forum of an Introductory Programming MOOC in Higher Education
Towards identifying emotional human behavior in online classes: first steps : Human emotional behavior in a virtual class
The Clustering Analysis System Based on Students' Motivation and Learning Behavior
"It Looks Like this Course is Turning Toward a Degree": Rethinking Professional Education with a Blended MicroMasters Program
Challenges for Novice MOOC Designers
Discovering Interaction Patterns on the Use of OERs in Open Online Courses Through the Application of Association Rules
Eight years of MOOCs for physicians across Latin America
The Influence of Grades on Learning Behavior in MOOCs: Certification vs, Continued Participation
CrowdLearn: Open Sourcing Learner Feedback to Enable Open-Ended Assessments in MOOCs
The rise of webinars: thousands of learners looking for professional development. A practical case study
How Virtual Reality (VR) Impacts Learner Engagement in Online Courses: Initial Findings
Driving Change Using MOOCS in a Blended and Online Learning Environment
Designing Hybrid Learning Programs in Higher Education by Applying Education 4.0: The Innovation Challenge Bootcamp as Case Study
Performance of Men and Women in Graded Team Assignments in MOOCs
Participation of Latin America in MOOCs: Exploring Trends Across Providers
The Influence of Teacher Interactions on Sentiment Development in MOOC Discussion Forums
How Student Background and Topic Impact the Doer Effect in Computational Thinking MOOCs
Bridging Socioeconomic Gaps with MOOCs: A Case of a Free Digital Preparation Course for the Psychometric Test in Israel
Framework for the Development of Virtual Labs for Industrial Internet of Things and Hyperconnected Systems
The MOOC Offer in Open Education: A Revision of the First IEEE Education Society' MOOC
When Do Learners Rewatch Videos in MOOCs?
Innovation Based Learning on a Massive Scale
OXALIC: an Open edX Advanced Learning Analytics Tool
A Redesigned Educational System for the COVID-19 Pandemic and Post Pandemic era
MOOCs policies on national and international level regarding best practices in German educational SMEs through the 5 th wave theory and 9PSG model
Unbundling Higher Education with Internationalization. Experiences from Two Hybrid Postgraduate Degrees Using MOOCs
Investigating the feasibility of using Video Lecture Capturing as a teaching and learning tool: A case of a rural university in the Eastern Cape, South Africa
Supporting Group Formation in Ongoing MOOCs Using Actionable Predictive Models
Using MOOCs to Supplement Reading Courses: An Instructor's View
Surveying the MOOC Data Set Universe
MOOC, OER for digital citizenship and inclusion
Analyzing Learner Trends in a Series of Online Courses
Experiences With the Integration of MOOCs Into Online Courses Through E-tivity
Teaching Online in 2020: Experiments, Empathy, Discovery
Design and Development of a Machine Learning Tool for an Innovation-Based Learning MOOC
Evolution, Education and Massive Open Online Courses: A Multiverse Proposal
Cultivating professional technical skills and understanding through hands-on online learning experiences
Stay at Home and Learn: Did the COVID-19 Pandemic Influence Mobile Learning in MOOCs?
Professional On-Line Courses Inside the ECoVEM Project Following Tasks Oriented MOOCs Alike Methodology
Exploring the Effectiveness of Web-Based Programming Environments for MOOCs: A Comparative Study of CodeOcean and OpenJupyter
Making a Creative Commons MOOC: Challenges and Opportunities
Improving MOOC quality using learning analytics and tools
Integrating the evaluation of out of the platform autoevaluated programming exercises with personalized answer in Open edX
Innovative Social Approach in the Nuclear Sector: A MOOC on Nuclear Safety Culture Within H2020 ANNETTE Project
Driving Retention in Online Degrees
Laboratories for a Massive Open Online Course in Electrical Microgrids using Machine Learning Techniques
Scalable. Ad Hoc, Low Cost, Mobile, Online Laboratories
Using MOOCs for Developing Skills of Engineers
A New Approach in Blended Teaching Combining LMS, MOOCs, and Piazza for University Courses
Expanding Learning Analytics in MOOCs to Track Learners' Engagement with Interactive Content
Towards Inclusive Education: A Review of and Guide to Accessible Features in Chatbots for MOOCs
Combining Human Creativity and AI-Based Tools in the Instructional Design of MOOCs: Benefits and Limitations
The application of ranking task in mechanical engineering drawing teaching strategy
Making the Grade: Assessments at Scale in a Large Online Graduate Program
Scaleable Shadow Stack for a Configurable DSP Concept
Automated Fixing of Complex/Process Critical DRC Violations in Place and Route Systems Using Calibre in the Synopsys/Milkyway Environment
Transformations of Signed-Binary Number Representations for Efficient VLSI Arithmetic
FPGA Implementation of Digital Controller for DC-DC Buck Converter
The Glue in a Confident SoC Flow
Design Strategies for ESD Protection in SOC
Proceedings of the 4th IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'04), 19-21 July 2004, Banff, Alberta, Canada
A Software/Hardware Platform for Rapid Prototyping of Video and Multimedia Designs
Bidirectional Current-Mode Capacitor Multiplier in DC-DC Converter Compensation
A Hardware-Accelerated Framework with IP-Blocks for Application in MPEG-4
A High Efficiency 3GHz 24-dBm CMOS Linear Power Amplifier for RF Application
A Stochastic Power-Supply Noise Reduction Technique Using Max-Flow Algorithm and Decoupling Capacitance
MP SoCs Including Optical Interconnect. Technological Progresses and Challenges for CAD Tools Design
System-on-Chip Design beyond 50 GHz, invited
Real-time Audio/Video Decoders for Digital Multimedia Broadcasting
Evolution of Bootstrap Techniques in Low-Voltage CMOS Digital VLSI Circuits for SoC Applications, invited
Interface-based Design of Systems-on-Chip using UML-RT
Design of 12-bit 100-MHz Current-Steering DAC for SoC Applications
Programmable Low Dropout Voltage Regulator
Hardware Partitioning Software for Dynamically Reconfigurable SoC Design
Simulation-in-the-Loop Analog Circuit Sizing Method using Adaptive Model-based Simulated Annealing
10 GBPS over Copper Lines - State of the Art in VLSI, invited
A Field-Programmable Analog Array Using Translinear Elements
Power Saving of a Dynamic Width Controller for a Monolithic Current-Mode CMOS DC-DC Converter
Interfacing in Microprocessor-based Systems with an Advanced Physical Addressing
An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking
Feasibility of Fixed-Point Transversal Adaptive Filters in FPGA Devices with Embedded DSP Blocks
Integrating a Single Physical Verification Tool for Systems-on-Chip Designs
A 20 Gbps Scalable Load-Balanced TDM Switch with CODEC for High Speed Networking Applications
Three Dimensional System on Chip Technology, invited
Low-Power Programmable Signal Processing, invited
A Digital CMOS Imager with Pixel Level Analog-to-digital Converter and Reconfigurable SRAM/Counter
Accurate On-Chip Variation Modeling to Achieve Design for Manufacturability
120nm CMOS Operational Amplifier with Pseudo-Cascodes and Positive Feedback
FPGA Implementation of Fast Radix 4 Division Algorithm
The Application of 2D Algebraic Integer Encoding to a DCT IP Core
An Efficient Mechanism for Debugging RTL Description
System on Chip: Challenges and Design for Manufacturing, invited
HW/SW Co-Design for SoC on Mobile Platforms, invited
A Fully Automated Approach for Analog Circuit Reuse
Additional Knowledge of Bus Invert Coding Schemes
A Sigma-Delta Modulator for Digital Hearing Instruments Using 0.18µm CMOS Technology
An Enhanced Tree-Structured Scan Chain for Pseudo-Exhaustive Testing of VLSI Circuits
An Optimal ILP Model for Delay Time to Minimize Peak Power and Area
Multi-Models Adaptive Controller for Multivariable Systems
Interfacing in Microprocessor-based Systems with a Fast Physical Addressing
ECOMIPS: An Economic MIPS CPU Design on FPGA
A Robust Handshake for Asynchronous System
A Customizable Embedded SoC Platform Architecture
Open HW, Open Design SW, and the VC Ecosystem Dilemma
An Efficient VLSI Implementation of MC Interpolation for MPEG-4
Modular Architecture for System-on-Chip Design of Scalable MEMS Optical Switch Actuator Controller
A CMOS inverter TIA modeling with VHDL-AMS
Novel Design Methodology for Short-Channel MOSFET Analog Circuits
Dynamic Hardware-Software Partitioning on Reconfigurable System-on-Chip
The Efficient Bus Arbitration Scheme in SoC Environment
An Automatic Layout Generator for I/O Cells
A Novel Clock Recovery Scheme with Improved Jitter Tolerance for PAM4 Signaling
Conversion Time Analysis of Time Domain Digital Pixel Sensor in Uniform and Non-Uniform Quantizers, invited
Design Space Exploration Methodology for High-Performance System-on-a-Chip Hardware Cores
Analysis of Coupling Noise in Dynamic Circuit
Ultra Low Noise Signed Digit Arithmetic using Cellular Neural Networks
Enhancing Performance and Saving Energy in CMOS DCVSL Gates by Using a New Transistor Sizing Algorithm
A Methodology for Hw/Sw Specification and Simulation at Multiple Levels of Abstraction
Practical Techniques for Performance Estimation of Processors
Introducing an FPGA based - genetic algorithms in the applications of blind signals separation
A New Class of Computational RAM Architectures for Real-Time MPEG-4 Applications
A SoC Bio-analysis Platform for Real-time Biological Cell Analysis-on-a-Chip
Logic Circuit Design Based on MOS-NDR Devices and Circuits Fabricated by CMOS Process
Strained Si and the Future Direction of CMOS, invited
System-Level Analog Simulation of a Mixed-Signal Continuous-Time Field Programmable Analog Array
Synchronous Pipelined Relay Stations with Back-Pressure Tolerance
Automating Functional Coverage Analysis Based on an Executable Specification
Application Specific Coarse-Grained FPGA for Processing Element in Real-Time Parallel Particle Filters
Area Efficient Implementation of Noise Generation System
MPEG-4 FGS Encoder Design for an Interactive Content-aware MPEG-4 Video Streaming SOC
A Review of Common Receive-End Adaptive Equalization Schemes and Algorithms for a High-Speed Serial Backplane
DfM for SoC, invited
A 0.65V, 1.9mW CMOS Low-Noise Amplifier at 5GHz
Design and Implementation of a Surface Electromycogram System for Sport Field Application
SERDES Technology for Gigabit I/O Communications in Storage Area Networking
An Efficient Equalizer Architecture Using Tap Allocation Memory for HDTV Channel
SoC Integration Challenges
A 2.3GHz CMOS Transimpedance Preamplifier for Optical Communication
A Speech Speed Control Using Fourier Composite Approach
Observability-Based RTL Simulation using JAVA
Decision Feedback Equalization with Quarter-Rate Clock Timing for High-Speed Backplane Data Communications
SoC Features for a Multi-Processor WCDMA Base-station Modem
Sigma-Delta Noise Shaping for Digital-to-Frequency and Digital-to-RF-Amplitude Conversion
A Generic Method for Embedded Measurement and Compensation of Process and Temperature Variations in SoCs
A Step towards Intelligent Translation from High-Level Design to RTL
Using Design Patterns for Type Unification and Introspection in SystemC
Instruction Based Testbench Architecture, invited
A Parameterized Cell-Based Design Approach for Digital-to-Analog Converters
Digital Realization of Analogue Computing Elements Using Bit Streams
Telemetry Based System for Measurement and Monitoring of Biomedical Signals
A High Speed Multi -Input Comparator with Clocking-Charge Based for Low-Power Systems
Efficient Pattern-Based Emulation for IEEE 802.11a Baseband
Life-Inspired Systems: Assuring Quality in the Era of Complexity, invited
ESD-Induced Internal Core Device Failure: New Failure Modes in System-on-Chip (SoC) Designs, invited
A Comprehensive Model for On-Chip Spiral Inductors
A High-Performance Error Concealment Processor for Video Decoder
Global Lower Bounds for the VLSI Macrocell Floorplanning Problem Using Semidefinite Optimization
Recent Advances and Future Trends in Low Power Wireless Systems for Medical Applications
VLSI Implementation of Very Low-Power Motion Estimator for Scaleable Coding Systems
Accelerating Functional Simulation for Processor Based Designs, invited
Leakage Current Variability in Nanometer Technologies, invited
Improved Wideband Low Distortion Cascaded Delta-Sigma Modulator
A Review of Current Standards Activities for High Speed Physical Layers, invited
PLL-Based Fractional-N Frequency Synthesizers
Flash Memories for SoC: An Overview on System Constraints and Technology Issues, invited
Low Latency and Power Efficient VD Using Register Exchanged State-Mapping Algorithm
Generic Modeling of Non-planar Dielectrics for 2 1/2D Parasitic Extraction
A Power-Efficient, Low-Complexity, Memoryless Coding Scheme for Buses with Dominating Inter-Wire Capacitances