yusuke1997/dblp-id-title huggingface dataset:
Verified Quadrature in Determining Newton's Constant of Gravitation
Context-aware and Personalization Method based on Ubiquitous Learning Analytics
Research on Heuristic Optimization and Operations in IoT
Proving Properties for Behavioural Specifications with Term Observation
Deep Semi-Supervised Image Classification Algorithms: a Survey
A Polynomial Solution for 3-SAT in the Space of Cellular Automata in the Hyperbolic Plane
Impact of CPU-bound Processes on IP Forwarding of Linux and Windows XP
Analyzing the Multicriteria of the Interaction Design of an Educational Map Application for Digital TV from User Preferences
Information Security Service Culture - Information Security for End-users
Developing on Exact Quality and Classification System for Plant Improvement
Integrating Deduction Techniques in a Software Reuse Application
A Methodology and a Toolkit that Integrate Technological, Organisational, and Human Factors to Design KM within Knowledge-Intensive Networks
The Gray Code
Real-Time Bot Detection from Twitter Using the Twitterbot+ Framework
Digital Libraries as Learning and Teaching Support
Anomaly Detection for Smart Lighting Infrastructure with the Use of Time Series Analysis
ASMs in Service Oriented Architectures
Initializing Matrix Factorization Methods on Implicit Feedback Databases
Decisions: Algebra, Implementation, and First Experiments
Design, Implementation and Evaluation of SPOCs at the Universidad Carlos III de Madrid
Knowledge Processing in Intelligent Systems
Easing the Smart Home: Semi-automatic Adaptation in Perceptive Environments
Development and Evaluation of a Model-Driven System to Support Mobile Learning in Field Trips
The Method of Logistic Optimization in E-commerce
Region-based Discrete Geometry
From Terminology Extraction to Terminology Validation: An Approach Adapted to Log Files
Boosting-based Multi-label Classification
Spiking Neural P Systems with Astrocyte-Like Control
Video Semantic Analysis Framework based on Run-time Production Rules - Towards Cognitive Vision
Queuing Theory-based Latency/Power Tradeoff Models for Replicated Search Engines
Ordered Catenation Closures and Decompositions of Languages Related to a Language of Derick Wood
The Finite, The Unbounded and The Infinite
Execution and Cache Performance of the Scheduled Dataflow Architecture
A Visited Item Frequency Based Recommender System: Experimental Evaluation and Scenario Description
Educational Innovation with Learning Networks: Tools and Developments
Bridging Qualitative and Quantitative Approaches in Evaluating the Educational Effectiveness of a Shared Design Memory
A Method for Proving Theorems in Differebtial Geometry and Mechanics
Applying Reputation Mechanisms in Communities of Practice: A Case Study
A Software Reliability Growth Modeling Framework with Complexity of Path Searching
Diagram Refinements for the Design of Reactive Systems
A Metropolitan Taxi Mobility Model from Real GPS Traces
A Fine-Grained Hardware Security Approach for Runtime Code Integrity in Embedded Systems
Deep Random Forest and AraBert for Hate Speech Detection from Arabic Tweets
Recognition of Real-Time Video Activities Using Stacked Bi-GRU with Fusion-based Deep Architecture
The Trade-Offs of Blending Synchronous and Asynchronous Communication Services to Support Contextual Collaboration
Facilitating Knowledge Exchange and Decision Making within Learning Networks
The Contrapositive of Countable Choice for Inhabited Sets of Naturals
Solving Restricted Preemptive Scheduling on Parallel Machines with SAT and PMS
An Applied Calculus for Spatial Accessibility Reasoning
A New Fair Non-repudiation Protocol for Secure Negotiation and Contract Signing
Laha Distribution: Computer Generation and Applications to Life Time Modelling
Optimum Extendible Prefix Codes
Quantum-Inspired Evolutionary State Assignment for Synchronous Finite State Machines
You Believe You Know What Multimedia Is? And What Internet Will Do For You? Well... Think Again!
ODR, Ontologies, and Web 2.0
Middleware-Oriented Government Interoperability Frameworks: A Comparison
Invariant Patterns in Crystal Lattices: Implications for Protein Folding Algorithms
A Constructive Approach to Language Definition
Creating Adaptive e-Learning Board Games for School Settings Using the ELG Environment
Implementation of an Embedded Hardware Description Language Using Haskell
A Proposal of an Architecture for Educational Environments
Incremental Development of Real-Time Requirements: The Light Control Case Study
A Novel Vertical Fragmentation, Replication and Allocation Model in DDBSs
MECCANO: a Mobile-Enabled Configuration Framework to Coordinate and Augment Networks of Smart Objects
Enhancing Learning Experience of the Disabled: An Accessible Tourism Platform
Web Context Classification Based on Information Quality Factors
The Role of Verification and Validation Techniques within Visual Analytics
Fuzzy Adaptive Data Packets Control Algorithm for IoT System Protection
The Limits of Mathematics
Optimization of Gateway Deployment with Load Balancing and Interference Minimization in Wireless Mesh Networks
Matrix Method to Detect Logic Hazards in Combinational Circuits with EX-OR Gates
Lightweight Adaptive E-Advertising Model
Business Patterns Catalogue and Selection Proposal for the Conceptual Model of a Software Product
Monitoring Temporal Logic Specifications Combined with Time Series Constraints
A Model to Guide the Open Government Data Implementation in Public Agencies
Kan Extensions of Institutions
Building an Educational Platform Using NLP: A Case Study in Teaching Finance
Reconciling Knowledge Management and Workflow Management Systems: The Activity-Based Knowledge Management Approach
Identifying Cleavage Sites of Gelatinases A and B by Integrating Feature Computing Models
Recent Advancements in Big Data Technologies and Applications in Computing, IoT and Computer Engineering Technology
Human and Intellectual Capital Management in the Cloud: Software Vendor Perspective
Agent-oriented Support Environment in Web-based Collaborative Learning
Challenges and Experiences in Designing Interpretable KPI-diagnostics for Cloud Applications
Representing Variable-Length Codes in Fixed-Length T-Depletion Format in Encoders and Decoders
Enclosure Methods for Multivariate Differentiable Functions and Application to Global Optimization
A Generic Architecture for Emotion-based Recommender Systems in Cloud Learning Environments
Visualization of High-dimensional Data via Orthogonal Curves
A Semantic Wiki Framework for Reconciling Conflict Collaborations Based on Selecting Consensus Choice
A methodological framework for the integration of machine learning algorithms into agent-based simulation models
Incompleteness in Linear Time
Automated video game parameter tuning with XVGDL+
Formal Verification of Cloud and Fog Systems: A Review and Research Challenges
A Knowledge Discovery Agent for a Topology Bit-map in Ad Hoc Mobile Networks
Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph
Geometric Retrieval for Grid Points in the RAM Model
Creating Online Graduate Engineering Degrees at the University of New Mexico
On the Linear Number of Matching Substrings
A Comparative Study of Data Mining Methods for Solar Radiation and Temperature Forecasting Models
Randomized Algorithms and Complexity Theory
Investigations on a Pedagogical Calculus of Constructions
Web 2.0 Adoption by Danish Newspapers - Urgent Need for New Business Models?
New Results on NMAC/HMAC when Instantiated with Popular Hash Functions
Highly Nonlinear t-resilient Functions
Primary School Teachers in the Information Society
Supporting the Modeling of Flexible Educational Units PoEML: A Separation of Concerns Approach
Reconfigurable VBSME Architecture Using RBSAD
The Modified Principal Component Analysis Feature Extraction Method for the Task of Diagnosing Chronic Lymphocytic Leukemia Type <tt>B-CLL</tt>
Supporting Structured Teaching Material in the WWW
Knowledge Management and Environmental Informatics
Derick Wood's Publications
Applications and Impact of Hypermedia Systems: An Overview
Numerical Treatment of a Data Completion Problem in Heat Conduction Modelling
On the Semiautomatic Generation of WordNet Type Synsets and Clusters
Individual Knowledge as a Bridge between Human and Customer Capital
Selected Papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages
Revisiting the Visitor: the "Just Do It" Pattern
A Catalog of Aspect Refactorings for Spring/AOP
Toward a Knowledge-based Personalised Recommender System for Mobile App Development
Single-case learning analytics: Feasibility of a human-centered analytics approach to support doctoral education
HME: a Handheld Model Editor for Educational Contexts
Linear Time Simulation of Invertible Non-Deterministic Stack Algorithms
Interpretable Clustering Using Dempster-Shafer Theory
Dropout Prediction and Reduction in Distance Education Courses with the Learning Analytics Multitrail Approach
Reasoning with Intervals on Granules
Stochastic Computing with Spiking Neural P Systems
Semantic Preprocessing of Web Request Streams for Web Usage Mining
A Translation of the Pi-Caculus Into MONSTR
Vascular Pattern Analysis towards Pervasive Palm Vein Authentication
PLAYER - a European Project and a Game to Foster Entrepreneurship Education for Young People
First-Person Locomotion in 3D Virtual Environments: a Usability Analysis
Scheduling Mandatory-Optional Real-Time Tasks in Homogeneous Multi-Core Systems with Energy Constraints Using Bio-Inspired Meta-Heuristics
Watermarking Techniques for Relational Databases: Survey, Classification and Comparison
The Remote Control Approach - An Architecture for Adaptive Scripting across Collaborative Learning Environments
Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi
Semantic Integration of Heterogeneous Data Sources in the MOMIS Data Transformation System
A Team Formation and Project-based Learning Support Service for Social Learning Networks
Searchable Public-Key Encryption with Data Sharing in Dynamic Groups for Mobile Cloud Storage
Hardware Design and Functional Programming: a Perfect Match
Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management
Pedagogical Natural Deduction Systems: the Propositional Case
Low-Footprint NLP for Reducing Teachers' Orchestration Load in Computer-Supported Case-Based Learning Environments
Teaching Hypertext and Hypermedia through the Web
Designing a Human Computation Framework to Enhance Citizen-Government Interaction
Spam Detection Based on Feature Evolution to Deal with Concept Drift
Mobile Learning and Instructional Mobile Applications
Tuning SAT for Formal Verification and Testing
Creation of Information Profiles in Distributed Databasesas a Game Problem
AMCF-CNN: Attention-Guided Multi-Scale Cross Fusion for Reducing False Positives in Lung Nodule Detection
User-Centered Requirement Engineering for Accessible Chats in m-Learning
A Framework for the Conceptualization of Approaches to "Create-by-Reuse" of Learning Design Solutions
Dedicated Hardware for Biological Sequence Comparison
Generating Politician Profiles based on Content Analysis of Social Network Datasets
Surjective Functions on Computably Growing Cantor Sets
A Study of User Model Based Link Annotation in Educational Hypermedia
Is Finite Precision Arithmetic Useful For Physics?
Model-driven Transformation and Validation of Adaptive Educational Hypermedia using CAVIAr
On N-algebraic Parikh slender power series
Process Equivalences as Global Bisimulations
Achieving Adaptive Augmented Reality through Ontological Context-Awareness applied to AAL Scenarios
Situation-Aware Community Computing Model for Developing Dynamic Ubiquitous Computing Systems
DisCo Toolset - The New Generation
The APS Framework For Incremental Learning of Software Agents
Search Algorithms for the Combinatorial Generation of Bordered Box Repetition-Free Words
Cyberattack Response Model for the Nuclear Regulator in Slovenia
Managing Mechanisms for Collaborative New-Product Development in the Ceramic Tile Design Chain
Authorship Studies and the Dark Side of Social Media Analytics
Security-enhanced Search Engine Design in Internet of Things
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices
Medical Diagnosis of Chronic Diseases Based on a Novel Computational Intelligence Algorithm
Treeworld: A Conceptual Model for Large-Scale Hypermedia
Will Internet Ever Be Secure ?
SDLMAS: A Scenario Modeling Framework for Multi-Agent Systems
An Efficient Data Preprocessing Procedure for Support Vector Clustering
Advances in the Development of Highly Interactive Systems
Multimedia Security in Communication (MUSIC)
Authoring & Culture in Online Education
Validity and Reliability of Tablet Supported Education Attitude and Usability Scale
Restaurant Recommendations Based on Multi-Criteria Recommendation Algorithm
Curve Fitting and Interpolation of Biological Data Under Uncertainties
Extractors for the Real World
Numerical Verification Method of Existence of Connecting Orbits for Continuous Dynamical Systems
An Implicit Recursive Language for the Polynomial Time-space Complexity Classes
Optimal Sensor Network Layout Using Multi-Objective Metaheuristics
Facilitating Knowledge Communication through Joint Interactive Visualization
Coupling-based Testing of O-O Programs
An Application of Meta Search Agent System Based on Semantized Tags for Enhanced Web Searching
Generic Temporal and Fuzzy Ontological Framework (GTFOF) for Developing Temporal-Fuzzy Database Model for Managing Patient's Data
A Steady-State Evolutionary Algorithm for Building Collaborative Learning Teams in Educational Environments Considering the Understanding Levels and Interest Levels of the Students
An Experimental System for MQTT/CoAP-based IoT Applications in IPv6 over Bluetooth Low Energy
Visualization of Syntax Trees for Language Processing Courses
Computers and Education: Research and Experiences in eLearning Technology J.UCS Special Issue
A Trusted Computing Identity Collation Protocol to Simplify Deployment of New Disaster Response Devices
Integration of Communities into Process-Oriented Structures
Extracting concepts from triadic contexts using Binary Decision Diagram
Advances and Practical Applications of Deep and Shallow Machine Learning
Schema Mappings and Agents' Actions in P2P Data Integration System
SOM Clustering to Promote Interoperability of Directory Metadata: A Grid-Enabled Genetic Algorithm Approach
A Framework for Semantics of UML Sequence Diagrams in PVS
Shortcut Fusion of Monadic Programs
Supporting Knowledge Creation and Sharing in Communities Based on Mapping Implicit Knowledge
P Systems with Active Membranes and Separation Rules
Specification and Refinement of Access Control
A Note on Variable-Length Codes with Constant Hamming Weights
A Systematic Mapping of Configuration Management Activities in Software Product Line
Microservices Patterns Recommendation based on Information Retrieval
A Simple Model Based on Web Services to Exchange Context Information between Web Browsers and Web Applications
Effectiveness of the Completeness Theorem for an Intermediate Logic
A Neural Abstract Machine
An Alert System for People Monitoring Based on Multi-Agents using Maps
The Role of Knowledge Management Solutions in Enterprise Business Processes
3D Head Pose and Facial Expression Tracking using a Single Camera
Generating an Excerpt of a Service Level Agreement from a Formal Definition of Non-Functional Aspects Using OWL
Some Aspects of the Reliability of Information on the Web
Telecommunication Services and Service Management Challenges
Conceptual Modelling with Specific Focus on Service-Oriented Systems
Optimum Huffman Forests
Website Interactivity and Repeated Exposure, what Influences User Experience?
An Adaptive Genetic Algorithm and Application in a Luggage Design Center
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models
Co-Designing Collaborative Smart Classroom Curriculum for Secondary School Science
Supporting the Development of Accessible Web Applications
A New m-Learning Scenario for a Listening Comprehension Assessment Test in Second Language Acquisition [SLA]
Checking Object System Designs Incrementally
The Dortmund Family of Hypermedia Models - Concepts and their Application
The SEWASIE Network of Mediator Agents for Semantic Search
Effective Learning Content Offering in MOOCs with Virtual Reality - An Exploratory Study on Learner Experience
Fault Tolerance Model for Hadoop Distributed System
Software Adaptation
Crime Scene Representation (2D, 3D, Stereoscopic Projection) and Classification
Enhancing Large Dam Safety Using IoT Technologies: A Case of a Smart Dam
Ontology-Based Skills Management: Goals, Opportunities and Challenges
The Coalgebraic Class Specification Language CCSL
A Novel Real-Time Edge-Cloud Big Data Management and Analytics Framework for Smart Cities
A Hybrid Study for Epileptic Seizure Detection Based on Deep Learning using EEG Data
An Adaptive Metaheuristic for Vehicle Routing Problems with Time Windows and Multiple Service Workers
Automatically Deciding if a Document was Scanned or Photographed
Integrating Social Networks for Context Fusion in Mobile Service Platforms
Identifying Tweets with Personal Medication Intake Mentions using Attentive Character and Localized Context Representations
Towards the Adoption of Blockchain to Trustworthy Interoperability in Industry 4.0 Systems: A Case Study
Label Clustering for a Novel Problem Transformation in Multi-label Classification
Designing, Realizing, Running, and Evaluating Virtual Museum - a Survey on Innovative Concepts and Technologies
Cloud Education Environment
Improving Performance of the Differential Evolution Algorithm Using Cyclic Decloning and Changeable Population Size
CoCharNet: Extracting Social Networks using Character Co-occurrence in Movies
Detecting Epidemic Diseases Using Sentiment Analysis of Arabic Tweets
Towards a Traceable Data Model Accommodating Bounded Uncertainty for DST Based Computation of BRCA1/2 Mutation Probability With Age
On Theoretical Upper Bounds for Routing Estimation
Conflict Avoidance in Additive Order Diagrams
Constructive Aspects of Markov Chains
Determination of Turkish University Students' Attitudes for Mobile Integrated EFL Classrooms in North Cyprus and Scale Development: ELLMTAS
Integrating 3D Objects in Collaborative Non-Linear Storytelling on the Web
Mathematical Models of Endocrine Systems
MPEG and its Relevance for Content-based Multimedia Retrieval
Computing the Solution Operators of Symmetric Hyperbolic Systems of PDE
A Joint Web Resource Recommendation Method based on Category Tree and Associate Graph
Generation of Constants and Synchronization of Finite Automata
A Self-stabilizing Algorithm for Locating the Center of Maximal Outerplanar Graphs
Syntax, Parsing and Production of Natural Language in a Framework of Information Compression by Multiple Alignment, Unification and Search
Crowd Sensing for Urban Security in Smart Cities
Fairness in Healthcare and Beyond-A Survey
Evolving Theories of Conceptual Modelling
Connectivity and Reachability in Signed Networks
A Visual Representation of Online Interaction Patterns
"Bagatelle in C arranged for VDM SoLo"
Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources
Parikh Prime Words and GO-like Territories
Human Tracking based on Multiple View Homography
The Social Media in Academia and EducationResearch R-evolutions and a Paradox: Advanced Next Generation Social Learning Innovation
An Aspect-Oriented Approach for Spatial Concerns in Web Applications
Searching ... in a Web
IQM3: Information Quality Management Maturity Model
Quality Assessment of Photographed 3D Printed Flat Surfaces Using Hough Transform and Histogram Equalization
Program Slicing by Calculation
Autoencoder-Integrated WideResNet with Dynamic Optimization (AIW-DynOpt): A Novel Hybrid Deep Learning Approach for Head and Neck Cancer Gene Expression Analysis
Dynamic Query Optimization under Access Limitations and Dependencies
A Domain Reasoner for Propositional Logic
Bounds on Size of Decision Diagrams
On the Subrecursive Computability of Several Famous Constants
Improving Ontology Matching Using Application Requirements for Segmenting Ontologies
A Study on Context-Relationship with Context-Attributes for a Smart Service Generation in Smart City
Classifying and Tracking Free Riders in Multimedia-Based Systems
Exploiting the Performance-Energy Tradeoffs for Mobile Database Applications
Cooperation Enforcement in a Highly Dynamic Mobile Ad Hoc Network
Effects of Virtual Reality during Exercise in Children
Towards a Practical Solution for Data Grounding in a Semantic Web Services Environment
An Effective Genetic Algorithm for Multi-objective Integrated Process Planning and Scheduling with Various Flexibilities in Process Planning
The Lattice Structure of Pseudo-Wajsberg Algebras
A Provably Efficient Computational Model For Approximate Spatiotemporal Retrieval
Consensus Determining with Dependencies of Attributes with Interval Values
A Dynamically and Partially Reconfigurable Implementation of the IDEA Algorithm Using FPGAs and Handel-C
Improving LO Quality through Instructional Design Based on an Ontological Model and Metadata
Constructive Notions of Maximality for Ideals
On Succinct Representations of Textured Surfaces by Weighted Finite Automata
Web Service Selection based on QoS Knowledge Management
Using a platform based on the Basic profile of ISO/IEC 29110 to reinforce DevOps environments
Going beyond your Personal Learning Network, Using Recommendations and Trust through a Multimedia Question-Answering Service for Decision-support: a Case Study in the Healthcare
OntoFoCE and ObE Forensics. Email-traceability supporting tools for digital forensics
Technological Readiness for Teaching Practices in Immersive Learning Environments Open Sim
Exploratory study of a system to reduce information overload and tunnel vision in homicide investigations
Enhancing the Collective Knowledge for the Engineering of Ontologies in Open and Socially Constructed Learning Spaces
RITA: a useR Interface evaluaTion frAmework
On Reliable Platform Configuration Change Reporting Mechanisms for Trusted Computing Enabled Platforms
Determining Software Investment Lag
Application of Systems Modeling Language (SySML) for Cognitive Work Analysis in Systems Engineering Design Process
MaF: An Ontology Matching Framework
TwiSNER: Semi-supervised Method for Named Entity Recognition from Text Streams on Twitter
Real-time Implementation of a Class of Optimised Multirate Quadrature Mirror Filter Bank Using Genetic Algorithms
On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
A DCM Based Orientation Estimation Algorithm with an Inertial Measurement Unit and a Magnetic Compass
BSO-MV: An Optimized Multiview Clustering Approach for Items Recommendation in Social Networks
Enhancement of Collaborative Learning Activities using Portable Devices in the Classroom
Multilevel Steganography: Improving Hidden Communication in Networks
An Embedded Neural Network Approach for Reinforcing Deep Learning: Advancing Hand Gesture Recognition
Epidemia: Variable Consistency for Transactional Cloud Databases
On Choice Principles and Fan Theorems
Extending SD-Core for Ontology-based Data Integration
Transmission Latency based Network Friendly Tree for Peer-to-Peer Streaming
A Hybrid Approach for Group Profiling in Recommender Systems
Sentiment and Behaviour Annotation in a Corpus of Dialogue Summaries
A Novel Similar Temporal System Call Pattern Mining for Efficient Intrusion Detection
VOC: A Methodology for the Translation Validation of OptimizingCompilers
Cyclic Reference Counting with Permanent Objects
A Pi-calculus Machine
An Ambient Assisted Living Platform Integrating RFID Data-on-Tag Care Annotations and Twitter
Dimensionality Reduction for Hierarchical Multi-Label Classification: A Systematic Mapping Study
Human Issues in Implementing eLearning Technology
SQL/XML Hierarchical Query Performance Analysis in an XML-Enabled Database System
Non-Marker based Mobile Augmented Reality and its Applications using Object Recognition