yusuke1997/dblp-id-title huggingface dataset:
Proposal pyramid networks for fast face detection
Some more properties of lists and fuzzy lists
Fine-grained entity typing based on hyperbolic representation and label-context interaction
Social choice considerations in cloud-assisted WBAN architecture for post-disaster healthcare: Data aggregation and channelization
B-LNN: Inference-time linear model for secure neural network inference
High-dimensional feature selection based on aggregation search algorithm
SolGuard: Preventing external call issues in smart contract-based multi-agent robotic systems
Improved recurrent generative adversarial networks with regularization techniques and a controllable framework
Non-parameter clustering algorithm based on chain propagation and natural neighbor
Information-intensive design solution evaluator combined with multiple design and preference information in product design
An improved differential evolution by hybridizing with estimation-of-distribution algorithm
Symbolic aggregate approximation based data fusion model for dangerous driving behavior detection
A note on time-bounded bottom-up pyramid cellular acceptors
Rules in Incomplete Information Systems
Rough set theory applied to finite dimensional vector spaces
Observer-based event-triggered non-PDC control for networked T-S fuzzy systems under actuator failures and aperiodic DoS attacks
Summarized bit batch-based triangle listing in massive graphs
A GNN-based fraud detector with dual resistance to graph disassortativity and imbalance
A Skill Refinement Learning Model for Prioritized Rule-Based Expert Systems
Efficient algorithms for mining frequent high utility sequences with constraints
Theory and applications of granular labelled partitions in multi-scale decision tables
A Framework for efficient IC/VLSI CAD databases
Higher order belief divergence with its application in pattern classification
Escrow-free attribute based signature with constant-size for the internet of things
Performance evaluation of dominance-based and indicator-based multiobjective approaches for phylogenetic inference
Local sparse discriminative feature selection
Assessing the influence of import-coupling on OCL expression maintainability: A cognitive theory-based perspective
Hardware for multiconnected networks: the design flow
Convergence analysis for sigma-pi-sigma neural network based on some relaxed conditions
A survey on soft subspace clustering
Special issue: New trends in ambient intelligence and bio-inspired systems
Mining incomplete data using global and saturated probabilistic approximations based on characteristic sets and maximal consistent blocks
Some conditional vertex connectivities of complete-transposition graphs
Fuzzy linguistic approach to quality assessment model for electricity network infrastructure
Parametrically perturbed logistic map - a new approach based on the least significant bits in the state variable's representation
Specification and discovery of web patterns: a graph grammar approach
HP2: Hybrid and precision-guided filter pruning for CNN compression
Liveness enforcement for production systems modeled by time Petri nets
Existence and uniqueness of non-periodic solutions to boundary value problems for discrete fractional difference equations with uncertainty
A probabilistic ranking framework for web-based relational data imputation
Computerized facial diagnosis using both color and texture features
Finding potential lenders in P2P lending: A Hybrid Random Walk Approach
Ensemble of niching algorithms
Some algebraic properties and a distance measure for interval-valued fuzzy numbers
Bimigrativity of binary aggregation functions
A social learning particle swarm optimization algorithm for scalable optimization
Abductive formalism for two-dimensional object recognition
An unsupervised segmentation method based on dynamic threshold neural P systems for color images
A fuzzy reasoning and fuzzy-analytical hierarchy process based approach to the process of railway risk information: A railway risk management system
High-level Petri-net model for a resource-sharing problem
Group decision making with double hierarchy hesitant fuzzy linguistic preference relations: Consistency based measures, index and repairing algorithms and decision model
Discovering missing me edges across social networks
A dynamic three-way conflict analysis model with adaptive thresholds
Special issue on Recent Advances in Fuzzy Deep Learning for Uncertain Medicine Data
Geometry of a Three-Camera Head-Mounted System
Ordering-based pruning for improving the performance of ensembles of classifiers in the framework of imbalanced datasets
On designing of an adaptive event-triggered communication scheme for nonlinear networked interconnected control systems
The minimization of axiom sets characterizing generalized approximation operators
A novel multi-label feature selection method with association rules and rough set
Deep joint adversarial learning for anomaly detection on attribute networks
Optimal subset-difference broadcast encryption with free riders
On the thickness of graphs of given degree
Temporal similarity metrics for latent network reconstruction: The role of time-lag decay
Heterogeneous information fusion: Combination of multiple supervised and unsupervised classification methods based on belief functions
An efficient transmission algorithm for power grid data suitable for autonomous multi-robot systems
Identifying influential nodes on directed networks
An adaptive algorithm for dealing with data stream evolution and singularity
Adaptive fuzzy asymptotical tracking control of nonlinear systems with unmodeled dynamics and quantized actuator
Mobile agent evolution computing
Emphasis on the flipping variable: Towards effective local search for hard random satisfiability
Reduction of fuzzy automata by means of fuzzy quasi-orders
An interpretable Neural Fuzzy Hammerstein-Wiener network for stock price prediction
Coreference detection in an XML schema
Optimal receiver design for convolutional codes and channels with memory via control theoretical concepts
A method for improving the multiplicative inconsistency based on indeterminacy of an intuitionistic fuzzy preference relation
Reinforcement learning based-adaptive tracking control for a class of semi-markov non-Lipschitz uncertain system with unmatched disturbances
Lipschitzian De Morgan triplets of fuzzy connectives
Generalized multiview regression for feature extraction
Towards a scalability approach for risk mitigation in electrical systems
Pattern mining and process modelling of collaborative interaction data in an online multi-tabletop learning environment
Development of the ontology using a problem-driven approach: in the context of traditional Chinese medicine diagnosis
Optimal resource usage in a multiclass customer-based cloud centers
Hybrid methodologies for summarisation of Kannada language text documents
Textual prediction of attitudes towards mental health
Intelligent typo correction for text mining through machine learning
A new constraint-based spatial clustering algorithm based on spatial adjacent relation for GML data
Using cognitive radio to deliver green communications: a reinforcement learning approach
Evaluating performance with implementation of virtualised data in the cloud using metaheuristic approach
Applying process mining to minimise order waiting time of FitBox
Product life cycle knowledge management using embedded Infotronics: methodology, tools and case studies
SME managers' financial literacy on firm practices in Tanzania
Bug prediction using entropy-based measures
A conceptual graph approach to semantic similarity computation method for e-service discovery
Knowledge engineering within the application-independent architecture SEASALT
Adaptive building of hybrid learning model for detecting and adapting concept drifting data streams
Sequential Pattern Mining (SPM) for user-inputted data sets: an empirical framework using bitwise operations
A sustainable reverse supply chain network design considering inventory-location-routing problem and cross-docking scheduling under uncertainty
Mining association rules with rare and frequent items
An analysis of the 2016 US presidential election using Chanakya - a knowledge discovery platform for text mining
A guided oversampling technique to improve the prediction of software fault-proneness for imbalanced data
Knowledge modelling in context for intelligent car driving self-training system to improve careful, conscientious and contextualised drive
An experimental approach of applying boruta and elastic net for variable selection in classifying breast cancer datasets
An intelligent system for sentence retrieval and novelty mining
Performance evaluation of bandwidth for virtual machine migration in cloud computing
Machine learning: the new 'big thing' for competitive advantage
Improving the quality of rule-based applications using the declarative verification approach
IoT-based traffic management tool with Hadoop-based management scheme for efficient traffic management
Sentiment analysis of book reviews using CNN with n-grams method
Applying decision trees on road traffic accident data for predicting the survival chance of patients
Ontology-based context dependent document clustering method
Insurance customer segmentation using clustering approach
Fuzzy logic-based single document summarisation with improved sentence scoring technique
User-driven generation of semantic web content in Enterprise 2.0: a case study
A multimodal content-based approach for web pages analysis
Improving e-health governance through syndromic surveillance systems and data mining in KSA
On the influence of training data quality on text document classification using machine learning methods
Data mining misnomer nomenclature: myth or myopic based on its evolutional and trend analysis
Clustering analysis on the design of complex DNA nanostructures using DNA hybridisation, swarm intelligence and genetic algorithm
Selection of optimal hot extrusion processing parameters for AA6061 using fuzzy AHP and TOPSIS
UTARM: an efficient algorithm for mining of utility-oriented temporal association rules
Detecting crime patterns from Swahili newspapers using text mining
Development of a tribological failure knowledge model
A two-class constructive neural network algorithm for continuous domains: the OffTiling algorithm
Multi channel selection using distributed mutual exclusion and multi-criteria decision in cognitive radio networks
Detailed comparative analysis of diabetes mellitus prediction using machine learning models
IQRAM: a high dimensional data clustering technique
Intelligent decision support system of swine flu prediction using novel case classification algorithm
Performance improvement options of scientific applications on XeonPhi KNL architectures
Event classification in foreign language aviation reports
An incremental approach for solution of text clustering problem
SharY: a dynamic ridesharing and carpooling solution using advanced optimised algorithm
Application of automated system for university course timetable scheduling: an Algerian case study
Method to integrate speaker identification, speech recognition, and information retrieval algorithms for speaker-based information retrieval
Improving understandability of semantic search explanations
An investigation of antecedents and consequences of consumers' attitude towards product movie series on social media: case of Ostar Story
Tree-augmented naïve Bayes-based model for intrusion detection system
Ontology agent for ensuring semantic interoperability among agents and semantic web
Building an annotated corpus for the Albanian language using bilingual projections and regular expressions
Study on the electric vehicle sales forecast with TEI@I methodology
Mining spatiotemporal association rules from spatiotemporal databases between two different fixed dates
Study of temporal data mining technique on Dhaka Stock Exchange
Fingerprint classification and building a gender prediction model using random forest algorithm
An efficient algorithm for mining closed frequent intervals
Performance of the three-layered knowledgebase and its representation models: an empirical evaluation
A data masking utility to secure sensitive production data in non-production environment
An experimental design for optimising the degree of shared leadership in senior engineering design teams
Using a cosine-type measure to derive strong association mining rules
Correlation-based concept-oriented bisecting k-means clustering and topic detection for scientific literature and news tracks
HL7 v3 message extraction using Semantic Web techniques
Mining query-logs towards learning useful kick-off ontologies: an incentive to semantic web content creation
Query translation between sources in peer-to-peer database sharing systems
A data mining approach to predicting the inventory day of used cars
Industrial sand mining on the Tiko estuary of Cameroon and its impacts on riparian community
Framework for mining regular patterns in dynamic networks
Rare association rule mining: a systematic review
Feedback in social semantic applications
Gender classification based on similarity features through SURF and SVM
Application and comparison of neural network, C5.0, and classification and regression trees algorithms in the credit risk evaluation problem (case study: a standard German credit dataset)
A scattered data approximation tool to map single-walled carbon nanotube dispersion to the processing parameters in polymer nanocomposites
Semantic need: an approach for guiding users contributing metadata to the Semantic Web
Partition-based sorted pre-fix tree construction using global list to mine maximal patterns with incremental and interactive mining
An associative rule-based classifier for Arabic medical text
Adaptive density-peaks clustering for gait analysis
An evaluation dataset for depression detection in Arabic social media
Amazigh biographical information extraction
Clustering news articles using efficient similarity measure and N-grams
Designing sales budget forecasting and revision system by using optimisation methods
Fuzzy logic image processing
Heuristic-based hybrid privacy-preserving data stream mining approach using SD-perturbation and multi-iterative k-anonymisation
Combining decision trees classifiers: a case study of automatic sleep stage scoring
A learning algorithm for feature weighting in case-based reasoning
Fuzzy logic-based framework for measuring strength of sentiments in web data
Game-theoretic privacy preserving constructions for rational and malicious secret sharing models for collaborative frequent itemset mining
Knowledge discovery in time series data with contextual event identification
Patterns: a simple but expressive data modelling formalism
Local rotation-based ensemble
Data generalisation with k-means for scalable data mining
Context-based co-reference resolution for text document using graph model (cont-graph)
Apache Spark and cluster analysis for expert finding
CSSF-trie structure to mine constraint sequential patterns from progressive database
Modelling and exploiting the temporal information associated with complex 'narrative' documents
Knowledge management-enablers and barriers: a questionnaire-based study
A negative category based approach for Wikipedia document classification
A novel practical algorithm for strong and weak synonyms extraction with simple equality operation of web operational machine translation systems results
Motivation mechanisms for participation in human-driven semantic content creation
Image optimisation using dynamic load balancing
Event detection using trigger chain
Algerian Arabizi rumour detection based on morphosyntactic analysis
The impacts of knowledge management on organisational entrepreneurship with the moderating role of social capital in the Melli Bank (Mashhad branches)
The discovery of normality of body weight using principal component analysis: a comparative study on machine learning techniques using different data pre-processing methods
Extracting a knowledge from source code comprehesion using data mining methods
A novel channel state prediction technique for overlay cognitive radio-based emergency sensor networks
Dry fingerprint image enhancement using fuzzy morphology
A stabilising optimal k -out-of- ℓ resources allocation algorithm
New rules-based algorithm to improve Arabic stemming accuracy
Real-world credit scoring: a comparative study of statistical and artificial intelligent methods
Supplier selection on agrifood supply chain: a Delphi-AHP-TOPSIS methodology
Application of fuzzy clustering for text data dimensionality reduction
Clustering and association rule mining-based traffic analysis and prediction of Dhaka
Automatic verification of database-centric systems
SIGLOG Monthly 236: April 2023
Complexity column
Automata column
A survival guide to presburger arithmetic
Brasilia Spring on Automated Reasoning
SIGLOG monthly 205
The 2021 experience of logic in computer science
Security and Privacy Column
Algebraic proof complexity: progress, frontiers and challenges
Distributed Strategies - Past and Future
The First 10 Volumes of SIGLOG News: a retrospective
Symbolically analyzing security protocols using tamarin
Using multi-agent systems to go beyond temporal patterns verification
Semantics column
Security & privacy column
SIGLOG Monthly 186
Unmanned aircraft systems in the national airspace system: a formal methods perspective
Complexity Column
The Hilbert method for transducer equivalence
Nominal techniques
Automata theory and higher-order model-checking
Synthesis of equilibria in infinite-duration games on graphs
Verification Column
Ehrenfeucht, Vaught, and the decidability of the weak monadic theory of successor
Helmut Veith memorial workshop 2019 report
McNaughton's theorem
The complexity of reachability in vector addition systems
SIGLOG Monthly 257: January 2025
From verification to synthesis under cost-utility constraints
Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019)
Variants of Courcelle's Theorem for complexity classes inside P
Report on MFPS XXXIII and CALCO 2017
Report on the POPL mentoring workshop (PLMW 2016)
2022 Alonzo Church Award Announcement
Systems biology
A Beginner's Tutorial on Strategy Complexity in Stochastic Games: Can the King Cautiously Eliminate Robin Hood?
SIGLOG Monthly 239: July 2023
SIGLOG monthly 189
SIGLOG Monthly 251: July 2024
Online worldwide seminar on logic and semantics https: //www.cs.bham.ac.uk/~vicaryjo/owls
Some ways of thinking algorithmically about impossibility
First-order logic and aperiodic languages: a revisionist history
SIGLOG monthly 191
Automata and minimization
DisCoTec 2019: the 14th international federated conference on distributed computing techniques
Verification column
SIGLOG monthly 194
Report on PPDP/LOPSTR 2021
Spotlight on Marta Kwiatkowska
On linear recurrence sequences and loop termination
Algorithmic analysis of termination and counter complexity in vector addition systems with states: a survey of recent results
DisCoTec 2016 conference report
Semantics Column
Report on women in logic 2020 & 2021
A Brief Survey on the Categorical Semantics for Geometry of Interaction In Memory of Phil Scott
Report on WiL 2024
An invitation to the promise constraint satisfaction problem
Report on the 36th International Conference on Concurrency Theory (CONCUR 2025)
Stochastic process algebras and their markovian semantics
Verification under causally consistent shared memory
The ABCs of petri net reachability relaxations
Concurrent separation logic
A survey on guarded negation
A survey of constructive presheaf models of univalence
Report on POPL 2017
Constraint satisfaction problems: complexity and algorithms
When a Little Nondeterminism Goes a Long Way: An Introduction to History-Determinism
Quantitative Information Flow Techniques for Studying Optimality in Differential Privacy
2017 Kleene award
Programming language techniques for differential privacy
SIGLOG Monthly 266
Undecidability results for probabilistic automata
Algorithmic logic-based verification
Automata-Based Quantitative Reasoning
SIGLOG monthly 201
In memory of Oded Maler: automatic reachability analysis of hybrid-state automata
SIGLOG monthly 227
SIGLOG monthly 218
The Joint EasyCrypt-F*-CryptoVerif School 2014
Two-variable logics with counting and semantic constraints
Probabilistic bisimulation
CIVL solutions to verifythis 2016 challenges
An invitation to game semantics
A Logic for P: Are we Nearly There Yet?
Concrete domains in logics: a survey
SIGLOG monthly 215
The Quest towards Optimal Approximability of CSPs
SIGLOG monthly 206
Transducers, logic and algebra for functions of finite words
Stone duality for languages and complexity
Report on ICTAC 2015: 12th international colloquium on theoretical aspects of computing
Report on Logic in Computer Science (LICS'23)
Formal verification of e-voting: solutions and challenges
SIGLOG monthly 199
SIGLOG Monthly 233: January 2023
Logics and Algorithms for Hyperproperties
Discotec 2018 conference report
Deontic reasoning: from ancient texts to artificial intelligence. : workshop report
Dynamic complexity: recent updates
Report on Probability in Computer Science (PICS) 2024
POPSTAR: so near and yet so far
Report on FSTTCS 2024
SIGLOG Monthly 260: April 2025
SIGLOG Monthly 242
2016 POPL impressions
Catuscia Palamidessi: a journey from logic and concurrency to security and privacy
SIGLOG monthly 198
Automata Column
How treewidth helps in verification
SIGLOG monthly 200
Location privacy via geo-indistinguishability
SIGLOG Monthly 254: October 2024
CADE and FSCD: A Successful Joint Venture in 2023
SIGLOG monthly 207
Report on LiCS 2024
FoSSaCS 2024: Report of the Program Chairs
SIGLOG monthly 184
Reachability in timed automata
The 2020 Alonzo Church award for outstanding contributions to logic and computation: call for nominations
SIGLOG monthly 221
Report on the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025)
SIGLOG Monthly 248
Strings at MOSCA
An improved homomorphism preservation theorem from lower bounds in circuit complexity
A short introduction to the coalgebraic method
Siglog monthly 196
Constraint satisfaction problem and universal algebra
Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction
Complete and Efficient Higher-Order Reasoning via Lambda-Superposition
Report on CWI lectures in honor of Adriaan van Wijngaarden
The nature and power of fixed-point logic with counting
SIGLOG Monthly 230
Substructural logics: semantics, proof theory, and applications. report on the second SYSMICS workshop
CFL/Dyck Reachability: An Algorithmic Perspective
Probabilistic bisimilarity distances
Recent Advances in Algorithmic Problems for Semigroups
SIGLOG Monthly 245: January 2024
Register complexity and determinisation of max-plus automata
What is decidable under the TSO memory model?
Theory in practice for system design and verification
The tale of the quantifier alternation hierarchy of first-order logic over words
SIGLOG monthly 203
Model checking randomized distributed algorithms
Satisfiability of Xpath on data trees
Siglog monthly 204
Constant delay enumeration for conjunctive queries: a tutorial
SIGLOG monthly 224
Homotopy type theory: unified foundations of mathematics and computation
Security by compilation: an automated approach to comprehensive side-channel resistance
SIGLOG monthly 202
The Squirrel Prover and its Logic
Provenance analysis for FOL model checking
On the interplay between proof complexity and SAT solving
2017 LICS test-of-time award
The Weisfeiler-Leman algorithm: an exploration of its power
Type systems for information flow control: the question of granularity
Resource semantics: logic as a modelling technology
Report on coalgebraic methods in computer science 2022
Report on LiCS 2016
SIGLOG monthly 212
10th International Web Rule Symposium (RuleML 2016) report
The 2021 Alonzo Church award for outstanding contributions to logic and computation: call for nominations
The 2017 Alonzo Church award
Federated logic conference (FLoC) at Oxford
Women in Logic 2018 workshop report
An Invitation to Game Comonads
SIGLOG monthly 209
The Cyber Insurance Market in Israel