yusuke1997/dblp-id-title huggingface dataset:
An Autonomy-Oriented Computing Mechanism for Modeling the Formation of Energy Distribution Networks: Crude Oil Distribution in U.S. and Canada
Spatial-temporal Variation of Chlorophyll-a Concentration in the Bohai Sea
Life System Modeling and Intelligent Computing, International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part I
Modeling and Simulation of Intelligent Substation Network Under Intrusion Attack
Iterative Learning Identification with Bias Compensation for Stochastic Linear Time-Varying Systems
Moving Target Detection and Labeling in Video Sequence Based on Spatial-Temporal Information Fusion
A Novel Approach to System Stabilization over Constrained Channels
Research on Intelligent Early-Warning System of Main Pipeline in Nuclear Power Plants Based on Hierarchical and Multidimensional Fault Identification Method
Modelling and Control Design for Membrane Potential Conduction Along Nerve Fibre Using B-spline Neural Network
A Study on the Sense of Gain of Employment Groups in Gig Economy in Beijing
The Impact of Social Media Sentiment on Stock Market Based on User Classification
Structural Characteristics and Influencing Factors of the Environmental Related Global Rare Earth Trade Network
Can Algorithm Management Improve Platform Commitment Effectively?-Job Remaking in the Gig Economy
Studies on the Practical Limits and Development in Construction of Local Digital Government
Research on the Education System of International Digital Talents Based on Grounded Theory
Establishment of Comprehensive Evaluation Indicators in Globalized National Image Using Quantile-Type Statistical Methods
Digital Talent Education Models of "1+X" Certification System Based on National Educational Credit Bank
A Study on the Online VS Traditional Classroom Teaching Styles in Sino-Foreign Cooperative Institutions at Times of COVID 19
The Impact of China's Central Bank Digital Currency on Domestic Commercial Banks
Common Institutional Ownership and Corporate Green Innovation: Supervision or Collusion?-Evidence from Chinese Listed Companies
The Double-Edged Sword Influence of Algorithm Management on Platform Commitment
The Theoretical Basis and Landing Strategy of the Metaverse Business Model
Analysis of the Contemporary Connotation of Internet Enterprise Interconnection
Research on the Establishment of the Mutual Trust Mechanism of the International Trade Alliances for Commodities Based on the Blockchain Technology-A Case Study of Iron Ore
Research on Business Model Design and Innovation from the View of Meta-Universe
Digitalization and Management Innovation - Proceedings of DMI 2022, Beijing, China, November 26, 2022
How to Motivate Investors' Intention to Invest in Green Investments: An Extension of the Theory of Planned Behavior, the Moderate Effect of Religious Commitment
Artificial Intelligence Application in Agile Transport Project Management
Determination of Starting Pressure Gradient of Oil and Water in Low-Permeability Reservoirs Using Genetic Algorithm
The Impact of Social Networks on Young People's Job Search Performance
A Study on Governance Mechanism for Food Safety Risk Behavior of Food Enterprises in Beijing Based on the HFACS Model
Impact of Digital Transformation on Financial Performance of Pharmaceutical Enterprises: A Case Study of Harbin Pharmaceutical Group
Pull-Extrinsic and Push-Intrinsic Motivations Effect on Destination Image Formation: The Moderate Effect of Tourists' Experiences
Research on the Impact of Green Supply Chain Features on Enterprise Supply Chain Financing Performance
Enterprise Digital Transformation Mechanism from the Perspective of Resource Arrangement
Research on Business Model Innovation of Chenzhou Intangible Cultural Heritage Industry from the Perspective of Internet Plus
Cultural Heritage Management: Innovative Design of Caisson Honeysuckle Pattern in the Middle Sui Dynasty in Mogao Grottoes
Application of Edge Computing in Smart Water
A Study of the Impact of Metaverse Marketing Characteristics on Consumers' Purchase Intention
Digitalization in Rural Revitalization: A Qualitative Investigation of Challenges
Research on the Development of High-Quality Employment of Students Under the Background of Digitalization of Economy
Providing a Desired Compression Ratio for Better Portable Graphics Encoder of Color Images: Design and Analysis
Research on Digital Innovation of Community Group-Buying Supply Chain in Post-Epidemic Era
Error Analysis on the Thermal Emissive Band Calibration for the MERSI
An Instantaneous Memory Simulation Model Based on Information Fusion
Design and Exploration of Online and Offline Hybrid Teaching Systems Based on CiteSpace's Visual Knowledge Graph Combined with MOOCs - A Case Study of Surgical Nursing
How Electronic CNY Can Leverage the Development of Small and Micro Enterprises in China
Digitalization and Management Innovation II - Proceedings of DMI 2023, August 1-4, 2023, Seoul, South Korea
Application and Effect Analysis of PEIL-TBL Teaching Model Based on Rain Classroom in Pharmaceutical Service Practical Training
A Review of Research on Enterprise Digital Capability Assessment
The Influence of Digital Transformation of Manufacturing Industry on Human Capital
Analysis of Corporate Credit Assessment Based on KMV-CART Decision Tree Approach
Investigation of the Mental Health Status and Related Factors of Impoverished College Students in the New Era
Issues of Artificial Intelligence Application in Digital Marketing
Application Process Design of Digital Quality Monitoring and Traceability System for Fresh Agricultural Products
Perceived Overqualification and Organizational Citizenship Behavior: The Mediating Role of Job Involvement
Status Quo and Influencing Factors of Freshmen's Professional Commitment: Local Universities
Research on the Distribution and Trend Analysis of Digital Transformation of Chinese Enterprises Based on CiteSpace
Research on Surface Debris Flow Sensitivity Evaluation Based on RS and GIS
Research on the Integrated Construction Path of Credit Risk Prevention and Control of the National "Xinyi Loan" Platform
The Mediating Role of Open Innovation in the Relationship Between Organizational Justice and Organizational Pride in Egypt's Healthcare Sector
A Review of Research on the Impact of Digitalization on Agricultural Supply Chain Security
Density Topology Optimization Method Based on Neural Network
A Study of Workers' Perception of Unemployment Risk Under Employment Priority Strategy: Based on 427 Questionnaires in Beijing
Research on Reconstruction of Enterprise News Publicity Digital System Based on Collaboration
Concept Combination and Inter-Transformation of Semiotics and Semantic Learning in Design
Virtualized Resources Scheduling in Multi-Tenant and Multi-Data Centers Based on Artificial Intelligence Algorithm: A Review
Research on Middle-Section Employee Turnover Tendency and Headhunting Matching Mechanism
Research on the Application of Cloud Computing Technology in the Urban-Rural Integration Information Transmission of the Rural Revitalization Strategy in Laibin City
Digital Transformation of Teacher Studio: Connotation Logic, Real Challenges, and Breakthrough Paths
Influencing Factors of Executive Tenure Based on Cox Proportional Risk Regression Model
Research on Numerical Simulation of Seepage Flow in Reservoir Dam Based on Finite Element Method
Research on the Relationship Between High-Quality Dividend Distribution and Investment Efficiency
Big Data Tools, Deep Learning & 3D Objects in the Metaverse
Employment and Entrepreneurship of Retired Servicemen Under the New Situation
Research and Discussion on Management of Hydrologic Survey Driven by New Generation Information Technology
Conceptualization of Natural Language-Based Product Configurators for New Product Development in Apparel
On the Development of Production Scheduling Application for Micro and Small Medium Enterprises in Apparel Industry
Investigation and Research on Public Cognition and Attitude Towards "Metaverse" in Digital Age
Digital Transformation, Dynamic Capabilities and Enterprise Innovation Performance Based on Dynamic Capability Theory and Upper Echelon Theory
A Study on the Innovation Path of Human Resource Management in the Context of Digitalization
Research on the Innovative Development Countermeasures of Higher Continuing Education Under the Background of "Double First-Class" Construction
Seismic Risk Assessment of Cable-Stayed Bridge Portfolios Using Fragility Estimation
E-Commerce-Enabled Agricultural Wholesale Markets and Merchant Behaviour Evolutionary Studies
Research on Measurement and Evaluation of High-Quality Entrepreneurship: A Review and Synthesis Prospectus
Research on Discipline Construction from the Perspective of Big Data Management
Digital Control Tower Empowers Supply Chain Resilience Improvement from a Dynamic Capability Perspective
COVID-19 Fear-Uncertainty Effect on Entrepreneurship Finance and Environmental Performance: The Moderate Effect of BDA
Analysis of the Application Effect of Career Planning Management-A Case of the Tax Consulting Industry
Exploration of Digital Reform of Programming Courses Under the Background of New Engineering -Taking C Language Programming as an Example
Fan Shu: Building Digital Content Business Ecology
The Impact of Empowering Leadership Behavior on Employee Innovation Behavior-Mediating Role of Perceived Organizational Support
The Influence of ChatGPT on the Professional Development of Elementary Education Teachers and Its Countermeasures
The Motivations Behind Luxury Consumption: Application of Grounded Theory Approach
The Configuration Effect of Antecedents of Business Model Innovation: A Fuzzy-Set QCA Approach
Research on the Evaluation Mechanism of Platform Companies to Complementors in Building New E-Supply Chains
Research on the Construction of Community Education and Learning Community in the Era of Big Data
Risk Assessment of Supply Chain Network Through Subset Simulation-Based Reliability Analysis
Quaternion Modeling of a Delta Planar Robot and Training of an Enhanced Multilayer Neural Network to Solve the Inverse Kinematic Problem
Small- and Medium-Sized Enterprises Strategizing Digital Transformation: Backend & Frontend Integration for Horizontal Value Creation
Research on Omni-Channel Transformation of Retail Enterprises Under Digital Background
The Impact of Digital Investment on Corporate ESG Performance - The Regulatory Effect Based on the Market Environment
Service Innovation: Visual Analysis of Literature Based on CNKI and Citespace
Challenges and Strategies for Organizations and Talent in Digital Transformation
Research on the Innovative Application of Cross-Border E-Commerce Platform Based on Suning Blockchain
Optimization Strategies of Virtual Presence on Fashion User Behavior in Live Streaming E-Commerce
Enterprises Build Sustainable Innovation Loop: Take ByteDance Launching Lark as an Example
Policy Regulation of Artificial Intelligence: A Review of the Literature
Research on the Supervision Path of Financial Institutions Accessing Central Bank Credit System from the Perspective of Data Governance
Current Situation and Improvement Path of Digital Literacy of College Teachers Under the Background of Educational Digitization
Design and Test of Flexible Drill Pipe for Sidetracking Horizontal Well in Digital Oilfield
The Impact of Artificial Intelligence Development on the Logistics Industry Talent Demand and Countermeasures
The Impact of Immersive Live Broadcasting on the Impulse Purchase Intention of "Gen Z" People
A Fast Detection Method of Pseudo-Range Jump
Utilization of Transformer-Based Language Models in Understanding Citizens' Interests, Sentiments and Emotions Towards Public Services Digitalization
Challenges of Metaverse in Education Digitalization
A Study of the Impact of the Internal Pay Gap of Executives on the Financialization of Firms
Research Status and Development of Food Safety Based on Social Network
The Impact of the Volume-Based Procurement Policy on Organizational Innovation Investment: Evidence from Chinese A-share Pharmaceutical Firms
The Effect Evaluation of General Education of University A Based on Digitalization and Innovation
Research on the Catch-up Path of China's Satellite Navigation and Location Services Industry from the Perspective of the Window of Opportunity
The Practice of Ideological and Political Exploration of the Course "College Computer Foundation" in the Digital Age
Research on the Generation Path of the Entrepreneurial Ability of Chinese Retired Athletes: Based on Six Cases
AIXI, FEP-AI, and Integrated World Models: Towards a Unified Understanding of Intelligence and Consciousness
Capsule Networks as Generative Models
Selection of Exploratory or Goal-Directed Behavior by a Physical Robot Implementing Deep Active Inference
Visual Search as Active Inference
Designing Explainable Artificial Intelligence with Active Inference: A Framework for Transparent Introspection and Decision-Making
Active Inference Successor Representations
Knitting a Markov Blanket is Hard When You are Out-of-Equilibrium: Two Examples in Canonical Nonequilibrium Models
Active Inference - 5th International Workshop, IWAI 2024, Oxford, UK, September 9-11, 2024, Revised Selected Papers
Active Inference - Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers
A Novel Model for Novelty: Modeling the Emergence of Innovation from Cumulative Culture
Learning Where to Park
Exploring and Learning Structure: Active Inference Approach in Navigational Agents
Active Blockference: cadCAD with Active Inference for Cognitive Systems Modeling
A Worked Example of the Bayesian Mechanics of Classical Objects
Home Run: Finding Your Way Home by Imagining Trajectories
End-Effect Exploration Drive for Effective Motor Learning
Efficient Search of Active Inference Policy Spaces Using k-Means
Online Structure Learning with Dirichlet Processes Through Message Passing
Interpreting Systems as Solving POMDPs: A Step Towards a Formal Understanding of Agency
Hierarchical Gaussian Filtering of Sufficient Statistic Time Series for Active Inference
Efficient Motor Learning Through Action-Perception Cycles in Deep Kinematic Inference
An Analytical Model of Active Inference in the Iterated Prisoner's Dilemma
Coupled Autoregressive Active Inference Agents for Control of Multi-joint Dynamical Systems
Deriving Time-Averaged Active Inference from Control Principles
The Role of Valence and Meta-awareness in Mirror Self-recognition Using Hierarchical Active Inference
Reducing Intuitive-Physics Prediction Error Through Playing
Integrated World Modeling Theory (IWMT) Implemented: Towards Reverse Engineering Consciousness with the Free Energy Principle and Active Inference
A Deep Active Inference Model of the Rubber-Hand Illusion
Confirmatory Evidence that Healthy Individuals Can Adaptively Adjust Prior Expectations and Interoceptive Precision Estimates
Active Inference - 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13-15, 2023, Revised Selected Papers
Active Inference or Control as Inference? A Unifying View
Learning One Abstract Bit at a Time Through Self-invented Experiments Encoded as Neural Networks
Sophisticated Affective Inference: Simulating Anticipatory Affective Dynamics of Imagining Future Events
Intention Modulation for Multi-step Tasks in Continuous Time Active Inference
Reactive Environments for Active Inference Agents with RxEnvironments.jl
A Model of Agential Learning Using Active Inference
Integrating Cognitive Map Learning and Active Inference for Planning in Ambiguous Environments
Relative Representations for Cognitive Graphs
You Only Look as Much as You Have To - Using the Free Energy Principle for Active Vision
Understanding Tool Discovery and Tool Innovation Using Active Inference
Active Inference - First International Workshop, IWAI 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14, 2020, Proceedings
Belief Sharing: A Blessing or a Curse
Online System Identification in a Duffing Oscillator by Free Energy Minimisation
On the Relationship Between Active Inference and Control as Inference
Active Inference for Fault Tolerant Control of Robot Manipulators with Sensory Faults
Towards Interaction Design with Active Inference: A Case Study on Noisy Ordinal Selection
Mapping Husserlian Phenomenology onto Active Inference
Deep Active Inference for Partially Observable MDPs
Contextuality, Cognitive Engagement, and Active Inference
Modulation of Viability Signals for Self-regulatory Control
Sleep: Model Reduction in Deep Active Inference
Message Passing-Based Bayesian Control of a Cart-Pole System
On Embedded Normativity an Active Inference Account of Agency Beyond Flesh
Dynamics of a Bayesian Hyperparameter in a Markov Chain
Value Cores for Inner and Outer Alignment: Simulating Personality Formation via Iterated Policy Selection and Preference Learning with Self-World Modeling Active Inference Agents
Learning and Embodied Decisions in Active Inference
Object-Based Active Inference
Spin Glass Systems as Collective Active Inference
Preventing Deterioration of Classification Accuracy in Predictive Coding Networks
Modelling Agency Perception in a Multi-agent Context in Depression Using Active Inference
Attachment Theory in an Active Inference Framework: How Does Our Inner Model Take Shape?
Toward Design of Synthetic Active Inference Agents by Mere Mortals
Epistemic Value Anticipation into the Deep Active Inference Model
Learning in Hybrid Active Inference Models
Active Inference in Hebbian Learning Networks
Dynamical Perception-Action Loop Formation with Developmental Embodiment for Hierarchical Active Inference
Towards Understanding Persons and Their Personalities with Cybernetic Big 5 Theory and the Free Energy Principle and Active Inference (FEP-AI) Framework
Learning Generative Models for Active Inference Using Tensor Networks
Causal Blankets: Theory and Algorithmic Framework
Exploring Action-Centric Representations Through the Lens of Rate-Distortion Theory
Probabilistic Majorization of Partially Observable Markov Decision Processes
Active Inference and Psychology of Expectations: A Study of Formalizing ViolEx
Planning to Avoid Ambiguous States Through Gaussian Approximations to Non-linear Sensors in Active Inference Agents
Free Energy in a Circumplex Model of Emotion
Modeling Sustainable Resource Management Using Active Inference
World Model Learning from Demonstrations with Active Inference: Application to Driving Behavior
Learning Policies for Continuous Control via Transition Models
A Worked Example of Fokker-Planck-Based Active Inference
Disentangling Shape and Pose for Object-Centric Deep Active Inference Models
A Message Passing Perspective on Planning Under Active Inference
Towards Metacognitive Robot Decision Making for Tool Selection
Contextual Qualitative Deterministic Models for Self-learning Embodied Agents
Minimal Counterexample Generation for SPIN
A Hypergraph-Based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
Parameterized Model Checking of Fine Grained Concurrency
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str)
Partial-Order Reduction for General State Exploring Algorithms
Model Checking: Cleared for Take Off
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
SMTInterpol: An Interpolating SMT Solver
Efficient Implementation of LIMDDs for Quantum Circuit Simulation
Resilience Through Automated Adaptive Configuration for Distribution and Replication
String Abstractions for String Verification
Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications
Symbolic Analysis via Semantic Reinterpretation
Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Parallel Model Checking Using Abstraction
Tackling Large Verification Problems with the Swarm Tool
On the Virtue of Patience: Minimizing Büchi Automata
Using Runtime Analysis to Guide Model Checking of Java Programs
Runtime Efficient State Compaction in SPIN
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
Model Checking Dynamic States in GROOVE
Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking
MoXI: An Intermediate Language for Symbolic Model Checking
Swarm Model Checking on the GPU
State Caching Reconsidered
Generic and efficient attacker models in SPIN
LeeTL: LTL with quantifications over model objects
Using SPIN for Feature Interaction Analysis - A Case Study
Automatically Validating Temporal Safety Properties of Interfaces
Exploiting synchronization in the analysis of shared-memory asynchronous programs
The Marriage Between Safety and Cybersecurity: Still Practicing
Combining SPIN with ns-2 for Protocol Optimization
Addressing challenges in obtaining high coverage when model checking Android applications
Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input
Towards Model Checking Spatial Properties with SPIN
IC-Cut: A Compositional Search Strategy for Dynamic Test Generation
A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness
Two Decades of Industrializing Formal Verification: The Reactis Story
Joint Forces for Memory Safety Checking
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation
Polynomial Time Image Computation with Interval-Definable Counters Systems
Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions
Context-Enhanced Directed Model Checking
ESBMC QtOM : A Bounded Model Checking Tool to Verify Qt Applications
Model Checking DSL-Generated C Source Code
An Extension of TRIANGLE Testbed with Model-Based Testing
StackSnuffer: Curing Orion's Unsoundness
EpiSpin: An Eclipse Plug-In for Promela/Spin Using Spoofax
Explicit State Model Checking with Hopper
Divide, Abstract, and Model-Check
An ordered approach to solving parity games in quasi polynomial time and quasi linear space
Using Dynamic Symbolic Execution to Improve Deductive Verification
Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Verification Technology Transfer
Model Checking Machine Code with the GNU Debugger
Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
Specification and Validation of Link Reversal Routing via Graph Transformations
Towards a Compositional SPIN
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models
Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking
Local Data Race Freedom with Non-multi-copy Atomicity
Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic
On Quantitative Software Verification
Verification and Optimization of a PLC Control Schedule
Statistical Model Checking of Complex Robotic Systems
Pushdown Model Checking for Security
Memory Efficient State Space Storage in Explicit Software Model Checking
Analysing Mu-Calculus Properties of Pushdown Systems
Improving Generalization in Software IC3
Abstraction of Communication Channels in Promela: A Case Study
Star-Topology Decoupling in SPIN
String Analysis for Vulnerability Detection and Repair
On the Merits of Temporal Testers
Satisfiability modulo abstraction for separation logic with linked lists
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems
Guard-Based Partial-Order Reduction
Coarse-Granular Model Checking in Practice
Verifying a Quantitative Relaxation of Linearizability via Refinement
One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling
Communication Topology Analysis for Concurrent Programs
The RERS 2017 challenge and workshop (invited paper)