yusuke1997/dblp-id-title huggingface dataset:
Two-factor authentication by combining PIN and biometrics Touch Dynamics
The Multi-product Newsvendor Problem: Review and Extensions
Using mobile phone data to explore spatial-temporal evolution of home-based daily mobility patterns in Shanghai
Learning to rank domain experts in microblogging by combining text and non-text features
Heuristics-Based Process Mining on Extracted Philippine Public Procurement Event Logs
Can social contagion spread without key players?
DCCN-Informer: An Attention-Based Long Time Series Prediction Method for Power Load
DASCDC: Dual Attention-based Sparse Common Deep Clustering Method
Revisit hemline index theory: Forecasting daily trading of short skirts by stock market in China
An Efficient Location Privacy Preserving Model based on Geohash
End-to-end Speech Recognition Method Based on Conformer
Trends and behavior of developers in open collaborative software projects
Contextualised Cyber Security Awareness Approach for Online Romance Fraud
Interpolative self-training approach for sentiment analysis
Prediction of social mood on Chinese societal risk perception
Detecting Relational States in Online Social Networks
Towards simplified insurance application via sparse questionnaire optimization
A Comparative Analysis of the Characteristics of International Entrepreneurship in Emerging Economies
WiFi Fingerprint Based, Indoor, Location-Driven Activities of Daily Living Recognition
Digital Wellbeing: Designers' Perspectives on Where the Responsibility Lies
Research on Automatic Semantic Complement of Chinese Elliptical " (de)" Structure
2017 International Conference on Behavioral, Economic, Socio-cultural Computing, BESC 2017, Krakow, Poland, October 16-18, 2017
Based on the Internet Plus the Safety of Agricultural Products Traceability Research
Collective Intelligence Coordination and Cooperation in Teamed Part-Time and Full-Time Postgraduates
Sentiment analysis based on transfer learning for Chinese ancient literature
Overlapping community detection via self-constrained symmetric non-negative matrix factorization
Discrimination of China's stock price manipulation based on primary component analysis
Rule Reduction for Belief Rule Base Based on Redundancy
Facilitating the Explanation Consistency of Computational Models for Subjective Well-Being
Causalities among momentum, transparency and media in China
Prediction of social risk perception on petition in China
Depression and Anxiety Prediction Using Deep Language Models and Transfer Learning
Research on equity-based crowdfunding based on corporate finance theory
ITIL Processes to Control Operational Risk in Cloud Architecture Infrastructure for Banking and Financial Services Industry
From model building to analytics solution in hours the enterprise platform for analytics teams
Track-to-Track Association Algorithm with Spatio-Temporal Features
Social Intelligent Computing: The Web Evolution and the Crowdsourcing Impact
Combining heterogeneous features for time series prediction
Modeling Sequential Representation with Interaction Dynamics for Social Prediction
Semi-Supervised Soft K-Means Clustering of Life Insurance Questionnaire Responses
Exclusion Vis: A Visual Interactive System for Exclusion Analysis in Life Insurance Using Machine Learning Techniques
Exploring Conversational Agents as an Effective Tool for Measuring Cognitive Biases in Decision-Making
Collaborator Recommendation Based on Dynamic Attribute Network Representation Learning
Towards the detection of cyberbullying based on social network mining techniques
A Socio-Ecological Antecedents Analysis of Collective Action in Contemporary China: A Four-Factor Predictive Model
Agent-based simulation of road traffic using market approach
Economic policy uncertainty and duration of export
Parallelizing label propagation for overlapping community detection
Word Sense Guessing: A Knowledge Graph based Approach
Fairness-Aware Mutual Information for Multimodal Recommendation
Eliciting Requirements for a Student-focussed Capture The Flag
Sparse Multi-Graph Ranking towards Social Image Retrieval †
An Empirical Study of the Effects of Social Related Stress on User's Unfollow Intentions of Social Network Service
Exploring Traditional Chinese Medicine in Treating Gouty Arthritis: A Study of Drug Combination Patterns
Prompt Tuning Empowering Downstream Tasks in Multimodal Federated Learning
Simulation analysis of immunization policy diffusion in social network with ABM approach
Ship Collision Avoidance Using Constrained Deep Reinforcement Learning
Does the impression of the manufacturer brand color increase repurchase intention?
A Survey on Detection of cybersecurity threats on Twitter using deep learning
Adaptive Multi-Threshold Energy-Aware Virtual Machine Consolidation in Cloud Data Center
Research on the Operation Mode of the Electric Power Retail Market Based on the Electronic Mall Mode
Supply uncertainty in commodity contracting: An agent-based model
Cognitive systems in human resources
Your Identity is Yours: Take Back Control of Your Identity Using GDPR Compatible Self-Sovereign Identity
Determinants of Continuance Intention to Use Mutual Fund Investment Apps: The Changing of User Behavior During the Pandemic Crisis
2015 International Conference on Behavioral, Economic and Socio-cultural Computing, BESC 2015, Nanjing, China, October 30 - December 1, 2015
Five Psycholinguistic Characteristics for Better Interaction with Users
Local Outlier Detection Based on K-distance Variation to Enhancing Imaging-aided Diagnosis
Polyp Segmentation Achieved Through Multi-Scale Feature Fusion Based on Attention Mechanism
Procrastination on Social Networks: Types and Triggers
Detecting and Inoculating against PTSD in Online Forums and Platforms
The Dynamic Factors of Guangdong's Economic Growth from the Perspective of Supply-side Reform
Using GWAPs for Verifying PoS Tagging of Spoken Dialectal Spanish
Twitter Analysis for Depression on Social Networks based on Sentiment and Stress
Improved mine microseismic event recognition method combining neural network and transfer learning
Regulations on the new medians - Regulatory regime construction and demanded reforms
Discover social relations and activities from ancient Chinese history book Zuo Zhuan
Maximum likelihood estimation based DINA model and Q-matrix learning
Differential Item Functioning Analysis for Repeated Measures Design Social Survey Data: A Method for Detecting Social Demands Difference in Big-Data Era
Cross-Language Multimodal Detection: A Novel Model for Identifying Duplicate Publications in Scientific Papers
Behaviors of Online Learners: A Case Study
Cultural Tightness Speeds up the Effects of Anti-epidemic Policies on Controlling COVID-19 Prevalence
Transfer Learning from Vision Transformer to Parkinson's Disease Offline Handwriting Detection
Cascading Hypergraph Convolution Networks for Multi-Behavior Sequential Recommendation
Intentions Matter: The Role of Purpose in Excessive Social Media Usage and Smartphone Addiction
Automated techniques for brain tumor segmentation and detection: A review study
Exploring the Use of a Network Model in Drug Prescription Support for Dental Clinics
Research on Social Network Inference Method Based on ConNIe Algorithm
Sentiment, Count and Cases: Analysis of Twitter discussions during COVID-19 Pandemic
Sentiment classification of short text using sentimental context
An analysis of new visitors' website behaviour before & after TV advertising
Leveraging adaptive peeking window to improve self-exciting point process model for popularity prediction
Finding associations-between-groups in multimode networks
Text Mining from Party Manifestos to Support the Design of Online Voting Advice Applications
RAG for Question-Answering for Vocal Training Based on Domain Knowledge Base
Parameter Tuning Method for Multi-agent Simulation using Reinforcement Learning
A Study on Adopting Smart Payment System
Optimizing the Taxonomy and Hierarchy of a Chinese Lexical Database - Cilin
Decoupling Teaching Ability in Meta Knowledge Distillation
Perception of Knowledge Network in Translation Education: A Case Study in an Intelligent Online Translation Learning System
Mining Heterogeneous Information Graph for Health Status Classification
The Effect of Urbanization Quality on Resident Consumption in China
Predictive Model of Cultural Product Search Interest Based on Collective Memory Hawkes Process
Emotional Disorders: "If you pinch him, he will squeak". A new perspective on how machines can pass the Turing Test
Digital Watermarking via Inverse Gradient Attention
Who would prefer to mention you on the urban microblog mention network?: Evidence from Sina microblog data across 94 cities in China
Modeling of political web pages spreading in WeChat networks
Observation of tolerance in dynamic social networks using mobile phone data
An efficient and privacy-preserving ranked fuzzy keywords search over encrypted cloud data
A contrast of the degree of activity among the three major powers, USA, China, and Russia: Insights from media reports
The Diffusion Mechanism of Internet Rumors in the Context of Major International Sports Events: The 2022 Beijing Winter Olympics as an Example
Uncovering Determinants of Discontinuous Intention of Attention to Mobile LINE-P Messages
Balanced Graph Partitioning: Optimizing graph cut based on Label Swapping
Popularity prediction in microblog based on LR-DT
Personality Traits and Coping Strategies of eSports Players
The post-privacy doctrine and the asymmetric symbiosis of firms, consumers and the state
A Combined Sentiment Analysis of Twitter for Identifying Users with Depression
An Efficient Anomaly Detection Model of Power Consumption Behavior for Industrial Customers
Network control and usage-based charging: is charging for volume adequate?
A computational economy for dynamic load balancing and data replication
Price dynamics of vertically differentiated information markets
A simulation study of competitive Internet pricing: AOL flat rates versus GSW usage prices
Driving resource management with application-level quality of service specifications
How can routers help Internet economics?
Experiments in designing computational economies for mobile users
Foresight-based pricing algorithms in an economy of software agents
Efficient mechanisms for the supply of services in multi-agent environments
Market based bandwidth allocation policies for QoS control in broadband networks
Surfing as a real option
Adaptive agents in a persistent shout double auction
Quality of service provision in noncooperative networks: heterogenous preferences, multi-dimensional QoS vectors, and burstiness
Proceedings of the First International Conference on Information and Computation Economies, ICE 1998, Charleston, South Carolina, USA, October 25-28, 1998
Dynamic behavior of differential pricing and quality of service options for the Internet
MarketNet: market-based protection of information systems
Market-driven service allocation in a QoS-capable environment
A cost-benefit framework for online management of a metacomputing system
Connection establishment protocol based on mutual selection by users and network providers
The POPCORN market - an online market for computational resources
A market-based architecture for management of geographically dispersed, replicated Web servers
Factoring n and the Number of Points of Kummer Hypersurfaces mod n
Algebraic Equipage for Learning with Errors in Cyclic Division Algebras
The Cube Attack on Courtois Toy Cipher
On the Possibility of Transformation of Multidimensional ECDLP into 1-Dimensional ECDLP
Number-Theoretic Methods in Cryptology - 4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected Papers
Explicit Formula for Gram-Schmidt Vectors in LLL with Deep Insertions and Its Applications
Short Solutions to Nonlinear Systems of Equations
A Novel RSA-Like Cryptosystem Based on a Generalization of the Rédei Rational Functions
Generation and Implementation of Cryptographically Strong Elliptic Curves
Compartment-Based and Hierarchical Threshold Delegated Verifiable Accountable Subgroup Multi-signatures
Computational Differential Privacy from Lattice-Based Cryptography
Detection of Primes in the Set of Residues of Divisors of a Given Number
Explicit Bound for the Prime Ideal Theorem in Residue Classes
Constructing Families of Pairing-Friendly Elliptic Curves with Small ρ-Value and Rational Solutions of Some Systems of Polynomial Equations
On the Cross-Combined Measure of Families of Binary Lattices and Sequences
Multi-secret Sharing Scheme for Level-Ordered Access Structures
The Measures of Pseudorandomness and the NIST Tests
A Crossbred Algorithm for Solving Boolean Polynomial Systems
The Case of Small Prime Numbers Versus the Okamoto-Uchiyama Cryptosystem
Near Butson-Hadamard Matrices and Nonlinear Boolean Functions
From Worst to Average Case to Incremental Search Bounds of the Strong Lucas Test
Elliptic-Curve Factoring, Witnesses and Oracles
Number-Theoretic Methods in Cryptology - First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers
Towards Message Recovery in NTRU Encryption with Auxiliary Data
On Chains of Pairing-Friendly Elliptic Curves
Faster Algorithms for Isogeny Computations over Extensions of Finite Fields
Commutativity, Associativity, and Public Key Cryptography
On the Efficient Representation of Isogenies - A Survey for NuTMiC 2024
A New Public Key Cryptosystem Based on the Cubic Pell Curve
ASSL - Autonomic System Specification Language
On the Run-time Verification of Autonomy Software
Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification
Virtualization the Enabler for the Autonomic Business Grid
Multi-agent Self-Organising Service Composition - Demonstrating the Restrictions of Centralised Approach
Software Engineering Sub-Ontology for Specific Software Development
Applying the Test Template Framework to Aerospace Software
A Realistic Model of Real-Time Systems for Efficient Scheduling
Design for Verification with Dynamic Assertions
Diagnosing architectural degeneration
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems
Bridging the Gap between Systems Design
Software Dynamics: A New Measure of Performance for Real-Time Software
Composition and Customization of Web Services Using Wrappers: A Formal Approach Based on CSP
Predicting Risk as a Function of Risk Factors
Complexity Reduction in Developing Autonomic Systems with ASSL
Towards Open-World Software: Issue and Challenges
29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 3 & 8 April 2005, Greenbelt, Maryland, USA, Tutorial Notes
Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics
Abstracting Pointers for a Verifying Compiler
Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques
A Distributed Whiteboard Infrastructure for Information Fusion Simulations
User-centric Services and Service Composition, a Survey
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets
Towards Software Quality Economics for Defect-Detection Techniques
Second-Order Semantic Web
SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID Properties
Unified Software Method: An Engineering Approach to Software Engineering
An ASSL Approach to Handling Uncertainty in Self-adaptive Systems
InSeRt An Intent-Based Service Request API for Service Exposure in Next Generation Networks
Decision Support for Using Software Inspections
Towards Specification and Refinement of Contracts with Environment Changes
A Patterns Based Reverse Engineering Approach for Java Source Code
An Operational Semantics of an Event-Driven System-Level Simulator
A Software Architecture for an Engineering Collaborative Problem Solving Environment
Information Fusion from Databases, Sensors and Simulations: A Collaborative Research Program
Instrumentation of Intermediate Code for Runtime Verification
Automated Safety Critical Care Software Development for Distributed Control Systems: A COTS Approach
Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects
Viewpoint-Based Risk Assessment and Prioritization
Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language
Tailorable Architecture Methods
Categorizing and Assembling Web Services in a Composition Framework
Assessing IV&V Benefits Using Simulation
A Stress-Point Resolution System Based on Module Signatures
A Comparative Study of Monitoring Tools for Pattern-Centric Behavior
Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing
Understanding Open Source Software through Software Archaeology: The Case of Nethack
JaBUTiService: A Web Service for Structural Testing of Java Programs
An Operational Approach to BPEL-like Programming
Requirements Capture for Cougaar Model-Driven Architecture System
An Approach to Requirement Analysis for Periodic Control Systems
Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development
On the Relation between External Software Quality and Static Code Analysis
Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine
Model-Based Software Testing via Incremental Treatment Learning
Bayesian Networks applied to Software IV&V
Sensitivity of Software Usage to Changes in the Operational Profile
Using Business Processes in System Requirements Definition
A Comparative Analysis of Software Reliability Growth Models using Defects Data of Closed and Open Source Software
Modeling and Analysis of Space Based Transceivers
Implementing Software Effort Estimation in a Medium-sized Company
Addressing Software Security and Mitigations in the Life Cycle
A Timed CSP Model for the Time-Triggered Language Giotto
Indicators of Structural Stability of Object-Oriented Designs: A Case Study
The Role of Empirical Study in Software Engineering
Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability
Towards a Framework for Weapon Control Systems
Availability Assessment of Embedded Systems with Security Vulnerabilities
Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns
Supporting Software Release Planning Decisions for Evolving Systems
Modeling and Verifying Web Services Choreography Using Process Algebra
What Have We Not Learned about Teaching Programming?
An Inconsistency Free Formalization of B/S Architecture
Architecture On Demand for Any Domain Using Stable Software Patterns
Aspect-Oriented Requirements Modeling
Self-Definition for Software Development
Modelling and Analysing Fault Propagation in Safety-Related Systems
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source
An Eclipse Plug-in for the Java PathFinder Runtime Verification System
A Qualitative Evaluation of a Software Development and Re-Engineering Project
A Quasi-experiment for Effort and Defect Estimation Using Least Square Linear Regression and Function Points
TBP: Code-Oriented Component Behavior Specification
Service Engineering: Linking Business and IT
Case Studies for Software Engineers
Design Tool Assessment for Safety-Critical Software Development
Planning as Model Checking Tasks
Goal-Driven Software Development
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
A Generative Style-driven Framework for Software Architecture Design
Automotive System Development Using Reference Architectures
Model-Driven Development of Secure Service Applications
The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology Infusion
A Layered Java Application Framework for Supplying Mathematical Computing Power to the Distributed Environment
RGML: A Markup Language for Characterizing Requirements Generation Processes
A Proposal for Defining a Set of Basic Items for Project-Specific Traceability Methodologies
An Empirical Study on the Relationship between Defective Requirements and Test Failures
Software Project Management Tools: Making a Practical Decision Using AHP
Improving the Precision of Fowler's Definitions of Bad Smells
Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming
Is My Software "Good Enough" to Release? - A Probabilistic Assessment
An Empirical Study of License Violations in Open Source Projects
Database Mediation Using Multi-agent Systems
A Knowledge Representation and Data Provenance Model to Self-Tuning Database Systems
SPDW: A Software Development Process Performance Data Warehousing Environment
Integrating Probability with Time and Shared-Variable Concurrency
A Software Safety Risk Taxonomy for Use in Retrospective Safety Cases
A Risk Assessment Model of Embedded Software Systems
Analyzing Measurements of the R Statistical Open Source Software
Software Maintenance through Supervisory Control
Analyzing and Systematizing Current Traceability Schemas
Using Modeling and Simulation to Define Information Requirements for Incident Response for Chemical Facilities
34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011
29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA
A Reference Net Based Formalization of Concurrent Cognitive Decision Making
Establishing a Generic and Multidimensional Measurement Repository in CMMI context
Incremental Development of Multi-agent Systems in Object-Z
CEFAM: Comprehensive Evaluation Framework for Agile Methodologies
Software Verification and Validation within the (Rational) Unified Process
Generating MC/DC Adequate Test Sequences Through Model Checking
Language for Use Case Specification
System Availability Analysis Considering Hardware/Software Failure Severities
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
Formal Approaches to Intelligent Swarms
31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA
Formal Z Specifications of Several Flat Role-Based Access Control Models
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams
AgentCross: A Platform for the Development of Crosscutting Concerns in Multi-agent Systems
Software Development for Real-Time Safety-Critical Applications
An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol Development
Maintaining Verification Test Consistency Between Executable Specifications and Embedded Software in a Virtual System Integration Laboratory Environment
An Objectives-Driven Process for Selecting Methods to Support Requirements Engineering Activities
Offline Validation of Firewalls
Energy Efficiency with Runtime Models for Energy-aware Embedded Systems
A Study Case about a Software Project Management Success Metrics
Adopting a Software Component Model in Real-Time Systems Development
Cross-Platform Development: Software that Lasts
An Evaluation of Service Integration Approaches of Business Process Management Systems
A Formal Model for the Building of State Machines: A Lightweight Approach
Using Structural Testing to Identify Unintended Join Points Selected by Pointcuts in Aspect-Oriented Programs
Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective
Variability Analysis: From Requirements Engineering Towards Interaction Design
First Steps in the Verified Software Grand Challenge
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems
Simplified Validation of Emergent Systems through Automata Learning-Based Testing
28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2 December 2003, Greenbelt, Maryland, USA, Tutorial Notes
ADLARS: An Architecture Description Language for Software Product Lines
On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate
33rd Annual IEEE Software Engineering Workshop, SEW 2009, Skövde, Sweden, 13-14 October, 2009
A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing