yusuke1997/dblp-id-title huggingface dataset:
Research on the cultivation of new engineering talents based on educational big data
Evidential Self-Supervised Graph Representation Learning via Prototype-based Consistency
Privacy-preserving Decentralized Federated Deep Learning
Research on impact evaluation of ISO standards on China's GB based on C4.5 model
Research and application of grade prediction model based on decision tree algorithm
Context-aware recommendations via a tree-based ensemble framework
Approximate Automatic Verification and Formal Language Processing
Temporal models for personalized grade prediction in massive open online courses
Adversarial attack against scene recognition system for unmanned vehicles
Ship Detection in Large-scale SAR Images Based on Dense Spatial Attention and Multi-level Feature Fusion
Cochleagram-based identification of electronic disguised voice with pitch scaling in the noisy environment
A Framework for Industrial Identifier Addressing
Rosetta: Enabling Robust TLS Encrypted Traffic Classification in Diverse Network Environments with TCP-Aware Traffic Augmentation
Enabling Adaptive Task Dispatching for Real-time Video Analytics in Uncertain Edge Environments
Design of paper CPU project to improve student understanding of CPU working principle
Iterative first-order reverse image filtering
P 3 S 2 : practical secure protocol for speech data publishing
Video steganography algorithm based on the relative relationship between DWT coefficients
Integration of LLMs and the Physical World: Research and Application
Few-Shot Intent Detection with Label-Enhanced Hierarchical Feature Learning and Graph Neural Networks
VRPSOFC: a framework for focused crawler using mutation improving particle swarm optimization algorithm
AI can help to create a humane society: cognition amplifiers and guardian angels
OceanNet: a low-cost large-scale maritime communication architecture based on D2D communication technology
Temporal Optimization for Face Swapping Video based on Consistency Inheritance
Scoring framework of soccer matches using possession trajectory data
Transport complexity of data dissemination in large-scale online social networks
A New Visualization Framework for Multimodal Programming Attention in Debugging Test
Attribute-based Proxy Re-encryption with Direct Revocation Mechanism for Data Sharing in Clouds
Problem-driven teaching activities for the capstone project course of data science
IterClean: An Iterative Data Cleaning Framework with Large Language Models
Critical Structure-aware Graph Neural Networks
Make Each Iteration Count
MP-BADNet: A Backdoor-Attack Detection and Identification Protocol among Multi-Participants in Private Deep Neural Networks
Scalable Multi-view Spectral Clustering Based on Spectral Perturbation Theory
Trusted-DNN: A TrustZone-based Adaptive Isolation Strategy for Deep Neural Networks
Computation offloading for mobile edge computing with accuracy guarantee
APter: Privacy Enhancement in Deep Learning Services following Principle of Least Privilege
A MOOC Courses Recommendation System Based on Learning Behaviours
An Edge Server Placement Algorithm based on Genetic Algorithm
Web Security Education in A Multidisciplinary Learning Context
Deep reinforcement learning-driven intelligent panoramic video bitrate adaptation
S 3 : low cost real-time spectrum sensing using SDR
An energy-efficient resource allocation strategy for vehicular networks
Anonymous cross-domain authentication scheme for medical PKI system
Delay-sensitive Trajectory Designing for UAV-enabled Data Collection in Internet of Things
mmEcho: A mmWave-based Acoustic Eavesdropping Method
Application of robot test system training platform in mobile robot course
MoEnlight: Energy-efficient and self-adaptive Low-light Video Stream Enhancement on Mobile Devices
WiTransfer: A Cross-scene Transfer Activity Recognition System Using WiFi
Seeing eye drone: a deep learning, vision-based UAV for assisting the visually impaired with mobility
Multimodality white matter tract segmentation using CNN
WiPi: an extendable edge platform for building time-critical cyber-physical-human systems
An efficient distributed storage strategy for blockchain
Urban crowd flow forecasting based on cellular network
A Temporal Knowledge Graph Modeling Method Based on Temporal-RDF for Entity Alignment
A Case for Stateless Mobile Core Functions in Space
A new stealth address scheme for blockchain
Developing (Almost) Free Distributed System Labs Using Container-based Technique
RDMA-enabled Distributed Persistent Memory System
Few-shot domain adaptation for semantic segmentation
Privacy-preserving collaborative machine learning on genomic data using TensorFlow
Lossless Database Watermarking Based on Order-preserving Encryption
Recognition Of Learners' Personality Traits For Software Engineering Education
Revolutionizing Wireless Connectivity with Cross-band Metasurfaces
A unified framework for constrained linearization of 2D/3D sensor networks with arbitrary shapes
Information Exchange in Public-Culture Service Domain Bason on CIEM
Progressive deep feature learning for manga character recognition via unlabeled training data
Detecting review spammer groups in dynamic review networks
Generating Watermarked Speech Adversarial Examples
An Imperceptible and Owner-unique Watermarking Method for Graph Neural Networks
3D Convolutional Network based micro-gesture recognition
Online behavior analysis-based blended learning model
Context-aware Location Search on Maps
Energy audition based cyber-physical attack detection system in IoT
Air quality forcasting based on gated recurrent long short-term memory model
VRGym: a virtual testbed for physical and interactive AI
When mobile crowd sensing meets smart agriculture: poster
Pricing Adjustment System for Spatial-Temporal Load of Charging Station
Fed-AttGRU Privacy-preserving Federated Interest Recommendation
Precise stipend of undergraduates based on multi-view and classification ensemble
An improved dv-hop localization algorithm based on centroid multilateration
Geometry-adaptive Meta-learning in Riemannian Manifolds
Deep super-resolution based hashing for image retrieval
Central-Eye: Gaze Tracking Research on Visual Rendering Method in Industrial Virtual Reality Scene
SeeIME: a Chinese mobile IME for Chinese learners based on hybrid Pinyin code
Multi-language Reverse Dictionary Model Based on Improved mBERT
Online Federated Learning for Air-Ground Edge Intelligence
Online Collaborative Task Offloading and Resource Allocation for MEC System
Fully private auctions for the highest bid
Tiresias: Optimizing NUMA Performance with CXL Memory and Locality-Aware Process Scheduling
Spatial Graph Convolutional and Temporal Involution Network for Skeleton-based Action Recognition
PWGAN: wasserstein GANs with perceptual loss for mode collapse
Experience Sharing: Research-Oriented Computing Education in Peking University
RF-Track: Real-Time Tracking of RFID Tags with Stationary Antennas
A survey on traffic-behavioral profiling of network end-target
Quantum secure direct communication based on orbital angular momentum
Chinese perspectives on IT education
NLDesign: A UI Design Tool for Natural Language Interfaces
Network embedding with class discriminability
Confidential Federated Learning for Heterogeneous Platforms against Client-Side Privacy Leakages
Using Pupil Light Reflex for Fast Biometric Authentication
Preliminary exploration of a competency model for open-source processor chip design talent
Research on outlier detection of data based on machine learning
Machine learning: trends, perspectives and challenges
The Study Based On The Deep Learning For Indian Ocean Dipole (IOD) Index Predication
Application of Kinect-based Multimedia Interactive Imaging in Small Theater
The construction of movie marketing index based on factor analysis
Identifying facts for chatbot's question answering via sequence labelling using recurrent neural networks
Channel estimation optimization algorithm based on OFDM system
High efficiency wifi fingerprint localization based on distance costraints
Source smartphone identification for digital zoomed images
Poster: Gaze Tracking on Any Surface with Your Phone
Utilizing knowledge graph and student testing behavior data for personalized exercise recommendation
A PBIL for delay constrained virtual network function placement with load balancing
Cooperative communication based connectivity recovery for UAV networks
Chameleon: towards adaptive honeypot for internet of things
Adaptive Multi-stage Multi-strategy Word Representation Learning in HowNet
Truth discovery on multi-dimensional properties of data sources
Insightful Simplicity: Dissimilarity in Time Series Anomaly Detection
Reliable and Secure Data Sharing in Decentralized Mobile Crowd Systems
Traffic Hijacking in Wi-Fi Networks via ICMP Redirects
BlockAgents: Towards Byzantine-Robust LLM-Based Multi-Agent Coordination via Blockchain
KT-XL: A Knowledge Tracing Model for Predicting Learning Performance Based on Transformer-XL
Data-driven Contribution-based Disciplinary Assessment System
Course Design and Tool Development for Functional Programming Integrating with Program Verification: from the Perspective of the Interactive Theorem Prover
Improving Knowledge Tracing via Considering Conceptual Structure and Individual Differences
Augmenting Distributed AI Training with Loss-tolerant Transmission
Tracking the Leaker: An Encodable Watermarking Method for Dataset Intellectual Property Protection
Why and How to Teach Machine Learning in High School -A Practice in Bejing National Day School in China
Research on Adaptive Target Tracking Method Based on Millimeter Wave Radar
Pyramidal region context module for semantic segmentation
Mining top-k distinguishing periodic patterns in temporal databases
An improved TextRank keywords extraction algorithm
Muti-behavior features based knowledge tracking using decision tree improved DKVMN
Open-world Domain Adaptation and Generalization
Cow face detection and recognition based on automatic feature extraction algorithm
Application of particle filter to concrete freeze-thaw prognosis
End-to-end deep learning based trading platform and its evaluation
Research on application recognition technology based on user's touch screen behavior
Boosting computer-assisted telecommunication engineering education in internet thinking
Privacy Preserving on Updated Parameters in Federated Learning
Three attacks of certificateless aggregate signature scheme
Fixed Cameras Assisted UAVs Monitoring: Enhancing Monitoring Efficiency and Safety
Efficient distance-generalized (α, β)-core decomposition on bipartite graphs
Multiple color medical images zero-watermark scheme based on quaternion generalized Fourier descriptor and QR code
Desirable properties of an IOT ecosystem
Domain adaptation for retinal vessel segmentation using asymmetrical maximum classifier discrepancy
UniSec: a unified security framework with SmartNIC acceleration in public cloud
Parallel programming course development based on parallel computational thinking
How to Sell Crowdsensed Data to Share-Averse Data Consumers: A Reinforcement Learning Approach
Double Auction Mechanism Design in Federated Learning
Study On Long Term Sea Surface Temperature (SST) Prediction Based On Temporal Convolutional Network (TCN) Method
Policy multi-region integration for video description
NFaaS: Network Function as a Service Framework in Programmable Networks
The improved protocol based on the Bennett 92 protocol
Access Structure Selection for Knowledge Graphs Based on Machine Learning
Revisiting the Storage Stack Design on Fast Storage and Network Hardware
Exploiting a Benign Loudspeaker as Magnetic Backdoor for Practical Injection Attacks
Improving Multi-set Query Processing Via a Learned Oracle
Chinese NER Using ALBERT and Multi-word Information
Model Fusion of LightGBM and SAKT for Knowledge Tracking
Online Judge for FPGA-based Lab Projects in Computer Organization Course
Abnormal traffic detection of IoT terminals based on Bloom filter
Towards Robust Multi-user 3D Posture Tracking Through mmWave Signals
A quantum handshake method based on quantum dialogue and wireless network
Blockchain-based microgrid distributed power transaction model
GeoImageCut: A Toolkit for Image Cut from Geoscience Literature
A quantitative revision method to improve usability of self-and peer assessment in MOOCs
Experience reports for teaching operating systems towards increasing-sized classes
Information Security Risk Analysis of Intelligent Terminals in Electricity Information Collection System
Automatic Tracking System of LEO Satellite Based on SGP4
Design and practice of arduino experiments for "E&I" oriented education
DenseNet-based RFID Grouping Protocols
Non-commutative Logic for Hand-Written Character Modeling
Linear Logic and Real Closed Fields: a Way to Handle Situations Dynamically
Structured Formal Development with Quotient Types in Isabelle/HOL
LaTEX: A Linear Algebra Textbook System
Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra
PATCH Graphs: An Efficient Data Structure for Completion of Finitely Presented Groups
Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings
Towards an Automated Geometer
On Formal Specification of Maple Programs
A Direct Propagation Method in Singly Connected Causal Belief Networks with Conditional Distributions for all Causes
George Boole, a Forerunner of Symbolic Computation
sTeXIIS: An Integrated Development Environment for sTeX Collections
Qualitative Modeling of Physical Systems in AI Research
Abstraction Within Partial Deduction for Linear Logic
A New Translation from Deduction into Integer Programming
Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer
Calculi for Qualitative Spatial Reasoning
MaxTract: Converting PDF to $\mbox\LaTeX$ , MathML and Text
A Proof Strategy Based on a Dual Representation
Unified Domains and Abstract Computational Structures
Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset
Into the Infinite - Theory Exploration for Coinduction
Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic
A New Approach on Solving 3-Satisfiability
I -Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness
Notations Around the World: Census and Exploitation
Automatic Determination of Geometric Loci. 3D-Extension of Simson-Steiner Theorem
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms
FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets
Real Parametrization of Algebraic Curves
Heuristic Search Strategies for Cylindrical Algebraic Decomposion
A System for Axiomatic Programming
The Meaning of Infinity in Calculus and Computer Algebra Systems
Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar
A Rule-Based Expert System for Vaginal Cytology Diagnosis
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases
Interactive Mathematical Documents
Theories = Signatures + Propositions Used as Types
A Practical Algorithm for Geometric Theorem Proving
Learning Qualitative Physics Reasoning from Regime Analysis
Proofs, Proofs, Proofs, and Proofs
Automating Signature Evolution in Logical Theories
An OpenMath Content Dictionary for Tensor Concepts
Locally Effective Objects and Artificial Intelligence
Notations for Living Mathematical Documents
Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description)
Adapting Mathematical Domain Reasoners
On the Construction of Transformation Steps in the Category of Multiagent Systems
Towards a Hybrid Symbolic/Numeric Computational Approach in Controller Design
Isabelle/jEdit - A Prover IDE within the PIDE Framework
Extending Finite Model Searching with Congruence Closure Computation
Semantic Alliance: A Framework for Semantic Allies
Using Hajós' Construction to Generate Hard Graph 3-Colorability Instances
Indefinite Integration as a Testbed for Developments in Multi-agent Systems
Smart Matching
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
How Symbolic Computation Can Benefit Computer-Aided Geometric Design
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
Instantiation of Existentially Quantified Variables in Inductive Specification Proofs
Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees
Non-clausal Reasoning with Propositional Definite Theories
Composite Distributive Lattices as Annotation Domains for Mediators
Planning a Proof of the Intermediate Value Theorem
Additional Comments on Conjectures, Hypotheses, and Consequences in Orthocomplemented Lattices
From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals
Formalizing Frankl's Conjecture: FC-Families
Programming by Demonstration: A Machine Learning Approach to Support Skill Acquisiton for Robots
Search Techniques for Rational Polynomial Orders
A Cooperative Approach to Query Processing: Integrating Historical, Structural, and Behavioral Knowledge Sources
Decomposition of Some Jacobian Varieties of Dimension 3
Abstraction-Driven Verification of Array Programs
How to Correctly Prune Tropical Trees
Four Approaches to Automated Reasoning with Differential Algebraic Structures
CDCL-Based Abstract State Transition System for Coherent Logic
Two Revision Methods Based on Constraints: Application to a Flooding Problem
Focus Windows: A New Technique for Proof Presentation
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems
On the Topological Structure of Configuration Spaces
Implicitization of Rational Curves
A Symbolic Approach to Interval Constraint Problems
Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar
Symbolic Computation Software Composability
Deduction versus Computation: The Case of Induction
Proof, Message and Certificate
An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus
On Building a Knowledge Base for Stability Theory
Polymorphic Call-by-Value Calculus Based on Classical Proofs
Integrating Symbolic Mathematical Computation and Artificial Intelligence, Second International Conference, AISMC-2, Cambridge, UK, August 3-5, 1994, Selected Papers
Reasoning about the Elementary Functions of Complex Analysis
A Full System of Invariants for Third-Order Linear Partial Differential Operators
Compromised Updates in Labelled Databases
The Unification Problem for One Relation Thue Systems
AISC Meets Natural Typography
Discovering Geometry Theorems in Regular Polygons
Automatic Deduction in an AI Geometry Book
Gentzen-style Characterizations of Negation as Failure
DynGenPar - A Dynamic Generalized Parser for Common Mathematical Language
Automatic Generation of Epsilon-Delta Proofs of Continuity
On the Mixed Cayley-Sylvester Resultant Matrix
Verified Computer Algebra in Acl2. Gröbner Bases Computation
A Decision Procedure for Equality Logic with Uninterpreted Functions
Representing and Reasoning with Context
Automated Reasoning in the Age of the Internet
Proving and Constraint Solving in Computational Origami
Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings
Constraints for Continuous Reachability in the Verification of Hybrid Systems
Unit Knowledge Management
The Formulator MathML Editor Project: User-Friendly Authoring of Content Markup Documents
Mechanized Mathematics
Combining Theorem Proving and Symbolic Mathematical Computing
Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings
Reasoning About Time
SoleX: A Domain-Independent Scheme for Constraint Solver Extension
A Mathematical Type for Physical Variables
An Inductive Inference System and Its Rationality
Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings
Kantian Philosophy of Mathematics and Young Robots
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization
Operator Calculus Approach to Solving Analytic Systems
Some Notes upon "When Does <T> Equal Sat(T)?"
Quantifier Elimination for Quartics
Models for Logics and Conditional Constraints in Automated Proofs of Termination
Labeled @-Calculus: Formalism for Time-Concerned Human Factors
Knowledge Discovery Objects and Queries in Distributed Knowledge Systems
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements
High-Level Theories
CDR: A Rewriting Based Tool to Design FPLA Circuits
Using Representation Theorems for Proving Polynomials Non-negative
Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers
A Symbolic Computation-Based Expert System for Alzheimer's Disease Diagnosis
Combining Systems for Mathematical Creativity (Invited Talk)
A Simple GUI for Developing Applications That Use Mathematical Software Systems
Specification and Integration of Theorem Provers and Computer Algebra Systems
Subsymbolic Processing using Adaptive Algorithms
A Desk-Top Sequent Calculus Machine
Algorithmic Aspects of Theory Blending
Logic-Free Reasoning in Isabelle/Isar
Artificial Intelligence and Symbolic Mathematical Computation, International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992, Proceedings
Abramowitz and Stegun - A Resource for Mathematical Document Analysis
Towards the Formal Specification and Verification of Maple Programs
Proof Search in Minimal Logic
Expression Inference - Genetic Symbolic Classification Integrated with Non-linear Coefficient Optimisation
Knowledge-Based Information Processing in Manufacturing Cells - The Present and the Future
Towards an Implementation of a Computer Algebra System in a Functional Language
Employing Theory Formation to Guide Proof Planning
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic
Point-and-Write - Documenting Formal Mathematics by Reference
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
The Monoids of Order Eight and Nine
Enhanced Theorem Reuse by Partial Theory Inclusions
Computing in Coq with Infinite Algebraic Data Structures
Hierarchical Representations with Signatures for Large Expression Management
Finite Model Search for Equational Theories (FMSET)
Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL
A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence
Applying Link Grammar Formalism in the Development of English-Indonesian Machine Translation System
An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem
Negotiation Algorithms for Multi-agent Interactions
Completion and Invariant Theory in Symbolic Computation and Artificial Intelligence
Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
Tentative Experiments with Ellipsis in Mizar
Propagation of Mathematical Constraints in Subdefinite Models
Cost-Effective Integration of MKM Semantic Services into Editing Environments
Backward Reasoning in Systems with Cut
From a Computer Algebra Library to a System with an Equational Prover
Analytica - An Experiment in Combining Theorem Proving and Symbolic Computation
Strategies for Solving SAT in Grids by Randomized Search
A Genetic-Based Approach for Satisfiability Problems
Automating Side Conditions in Formalized Partial Functions
A Formal Quantifier Elimination for Algebraically Closed Fields
Against Rigor
On the Combination of Congruence Closure and Completion
Theory Presentation Combinators
A Full First-Order Constraint Solver for Decomposable Theories