yusuke1997/dblp-id-title huggingface dataset:
The Aspects, the Origin, and the Merit of Aware Computing
Application of Bat Algorithm for Transport Network Design Problem
Forecasting Electricity Power Generation of Pawan Danavi Wind Farm, Sri Lanka, Using Gene Expression Programming
Generative Power and Closure Properties of Watson-Crick Grammars
Acoustic Model with Multiple Lexicon Types for Indonesian Speech Recognition
Identification of a Typical CSTR Using Optimal Focused Time Lagged Recurrent Neural Network Model with Gamma Memory Filter
A Distributed Bio-Inspired Method for Multisite Grid Mapping
Corrigendum to "Increment of Academic Performance Prediction of At-Risk Student by Dealing With Data Imbalance Problem"
Constrained Fuzzy Predictive Control Using Particle Swarm Optimization
Learning Based Genetic Algorithm for Task Graph Scheduling
Analysis and Implementation of Optimization Techniques for Facial Recognition
Solving Higher-Order Fractional Differential Equations by the Fuzzy Generalized Conformable Derivatives
Dividing Genetic Computation Method for Robust Receding Horizon Control Design
Computational Intelligence Approach for Estimating Superconducting Transition Temperature of Disordered MgB 2 Superconductors Using Room Temperature Resistivity
Data-Driven Machine-Learning Model in District Heating System for Heat Load Prediction: A Comparison Study
Development of Smart Plate Number Recognition System for Fast Cars with Web Application
Addressing Label Noise in Colorectal Cancer Classification Using Cross-Entropy Loss and pLOF Methods With Stacking-Ensemble Technique
Predicting Nanobinder-Improved Unsaturated Soil Consistency Limits Using Genetic Programming and Artificial Neural Networks
Determination of Damage in Reinforced Concrete Frames with Shear Walls Using Self-Organizing Feature Map
Concise and Accessible Representations for Multidimensional Datasets: Introducing a Framework Based on the nD-EVM and Kohonen Networks
Binary Classification of Meningioma Grades Using CNN and VGG16 + XGBoost Deep Learning Models
Some Criteria of the Knowledge Representation Method for an Intelligent Problem Solver in STEM Education
Smartphone Homecare Monitoring of Hearts
Optimizing an Object Detection Algorithm for Detecting Oil Palm Fruit Bunches and Their Ripeness
Knowledge-Grounded Attention-Based Neural Machine Translation Model
Using Genetic Algorithms for Navigation Planning in Dynamic Environments
Performance Augmentation of Base Classifiers Using Adaptive Boosting Framework for Medical Datasets
Parallel Evolutionary Peer-to-Peer Networking in Realistic Environments
Ensemble Classifiers for Arabic Sentiment Analysis of Social Network (Twitter Data) towards COVID-19-Related Conspiracy Theories
A Fuzzy Logic Controller to Increase Fault Ride-Through Capability of Variable Speed Wind Turbines
Optimizing Constrained Engineering Optimization Problems Using Improved Mountain Gazelle Optimizer
A Review of Constraint-Handling Techniques for Evolution Strategies
A Nanotechnology Enhancement to Moore's Law
Predicting Student Academic Performance at Higher Education Using Data Mining: A Systematic Review
An Improved EDAS Method Based on Bipolar Neutrosophic Set and Its Application in Group Decision-Making
Cognitive Wireless Networks Based Spectrum Sensing Strategies: A Comparative Analysis
Security and Privacy Preservation in Smart Cities During Security Surveillance: A Mapping Study
Environmental Sound Recognition Using Time-Frequency Intersection Patterns
Reidentification of Persons Using Clothing Features in Real-Life Video
An Effective Hybrid Algorithm Based on Particle Swarm Optimization with Migration Method for Solving the Multiskill Resource-Constrained Project Scheduling Problem
A Decomposition Model for HPLC-DAD Data Set and Its Solution by Particle Swarm Optimization
Aware Computing in Spatial Language Understanding Guided by Cognitively Inspired Knowledge Representation
Software Defect Prediction through Neural Network and Feature Selections
A Hybrid Expert System for Estimation of the Manufacturability of a Notional Design
Increment of Academic Performance Prediction of At-Risk Student by Dealing With Data Imbalance Problem
Book Recommendation Using Collaborative Filtering Algorithm
Color Image Denoising Based on Guided Filter and Adaptive Wavelet Threshold
A Deep Learning Framework for Enhancing Recommender Systems With Dual-Feedback Integration
pSum-SaDE: A Modified p -Median Problem and Self-Adaptive Differential Evolution Algorithm for Text Summarization
Innovative Deep Learning Architecture for the Classification of Lung and Colon Cancer From Histopathology Images
Student Performance Prediction Using Machine Learning Algorithms
A Low Computational Cost Method for Mobile Malware Detection Using Transfer Learning and Familial Classification Using Topic Modelling
On the Horizontal Deviation of a Spinning Projectile Penetrating into Granular Systems
Sliding Window Based Machine Learning System for the Left Ventricle Localization in MR Cardiac Images
Agricultural Model for Allocation of Crops Using Pollination Intelligence Method
A Comparative Study of EAG and PBIL on Large-Scale Global Optimization Problems
Imaging, Vision, and Pattern Recognition
An Energy Efficient, Robust, Sustainable, and Low Computational Cost Method for Mobile Malware Detection
Flexible-Segmentation-Jumping Strategy to Reduce User-Perceived Latency for Video on Demand
Recognition of Augmented Frontal Face Images Using FFT-PCA/SVD Algorithm
Explicit Content Detection System: An Approach towards a Safe and Ethical Environment
Qualitative Functional Decomposition Analysis of Evolved Neuromorphic Flight Controllers
Intelligent Noise Removal from EMG Signal Using Focused Time-Lagged Recurrent Neural Network
Angle Modulated Artificial Bee Colony Algorithms for Feature Selection
Variance Entropy: A Method for Characterizing Perceptual Awareness of Visual Stimulus
Predicting Residential Energy Consumption in South Africa Using Ensemble Models
Wireless Sensor Network Coverage Optimization: Comparison of Local Search-Based Heuristics
Failure Effects Evaluation for ATC Automation System
Machine Learning-Based Approach for Early Screening of Autism Spectrum Disorders
Solving "Antenna Array Thinning Problem" Using Genetic Algorithm
Online Incremental Learning for High Bandwidth Network Traffic Classification
Emotion Modeling in Speech Signals: Discrete Wavelet Transform and Machine Learning Tools for Emotion Recognition System
Cross-Layer Greedy-Based Routing in VANETs: Virtual Multibackbones Approach
Three-Axes Mems Calibration Using Kalman Filter and Delaunay Triangulation Algorithm
Advanced Breast Cancer Diagnostics With PolyBreastVit: A Combined PolyNet and Vision Transformer Approach
Lion Algorithm-Optimized Long Short-Term Memory Network for Groundwater Level Forecasting in Udupi District, India
Synthesis of Thinned Planar Antenna Array Using Multiobjective Normal Mutated Binary Cat Swarm Optimization
Ensemble Transformer-Based Detection of Fake and AI-Generated News
An Efficient Two-Objective Hybrid Local Search Algorithm for Solving the Fuel Consumption Vehicle Routing Problem
Effectiveness of Context-Aware Character Input Method for Mobile Phone Based on Artificial Neural Network
Four Machine Learning Algorithms for Biometrics Fusion: A Comparative Study
Impact of Climate Change on Groundwater Level Changes: An Evaluation Based on Deep Neural Networks
Modelling Customs Revenue in Ghana Using Novel Time Series Methods
Research on Simulink/Fluent Collaborative Simulation Zooming of Marine Gas Turbine
Theory and Applications of Evolutionary Computation
ECG Paper Digitization and R Peaks Detection Using FFT
Development of Product Data Model for Maintenance in Concrete Highway Bridges
Enhanced Image Processing and Fuzzy Logic Approach for Optimizing Driver Drowsiness Detection
Asymmetrical Gating with Application on Maneuvering Target Tracking
Parallel Swarms Oriented Particle Swarm Optimization
A New Self-Assessment "TQM Hybrid MCDM Fuzzy Model" For Enhancing the KPIs in Mega Universities
Frequent Pattern Mining of Eye-Tracking Records Partitioned into Cognitive Chunks
A Review of Evolutionary Trends in Cloud Computing and Applications to the Healthcare Ecosystem
Nonnegative Matrix Factorizations Performing Object Detection and Localization
Genetical Swarm Optimization of Multihop Routes in Wireless Sensor Networks
AI-Driven Adaptive Federated Learning With Privacy Preservation and Imbalance Adjustment for Financial Credit Card Fraud Detection
GTN-GCN: Real-Time Traffic Forecasting Using Graph Convolutional Network and Transformer
A Multiattention ResUNet and Modified U-Net Architecture for Liver Tumor Segmentation
Rule-Based Classification Based on Ant Colony Optimization: A Comprehensive Review
Optimising Content Recommendations in Context-Aware Mobile Learning Platform Through Machine Learning
Financial Fraud Detection Approach Based on Firefly Optimization Algorithm and Support Vector Machine
Beyond the Scoreboard: A Machine Learning Investigation of Online Games' Influence on Jordanian University Students' Grades
Rapid Detection of Hybrid Maize Parental Lines Using Stacking Ensemble Machine Learning
An Efficient Blind Image Deblurring Using a Smoothing Function
A Probability Collectives Approach with a Feasibility-Based Rule for Constrained Optimization
Cat Swarm Optimization Based Functional Link Artificial Neural Network Filter for Gaussian Noise Removal from Computed Tomography Images
Coordinate Control for an SMIB Power System with an SVC
Emotion-Aware Assistive System for Humanistic Care Based on the Orange Computing Concept
A Sentence-Level Encoder-Decoder Architecture for Designing an Administrative Roman Urdu Chatbot
An Improved Hashing Approach for Biological Sequence to Solve Exact Pattern Matching Problems
Multilevel Cognitive Machine-Learning-Based Concept for Artificial Awareness: Application to Humanoid Robot Awareness Using Visual Saliency
A Two-Phase Pattern Generation and Production Planning Procedure for the Stochastic Skiving Process
Proximity-Constrained Counterfactuals for Explainable Diabetes Risk Assessment
Image-Based Breast Cancer Histopathology Classification and Diagnosis Using Deep Learning Approaches
Controller Parameter Optimization for Nonlinear Systems Using Enhanced Bacteria Foraging Algorithm
Deep Learning in Visual Computing and Signal Processing
Modeling Chaotic Behavior of Chittagong Stock Indices
Amharic Language Image Captions Generation Using Hybridized Attention-Based Deep Neural Networks
Application of Optimized Convolution Neural Network Model in Mural Segmentation
Machine Learning Classification Techniques for Detecting the Impact of Human Resources Outcomes on Commercial Banks Performance
Deep Learning for Plastic Waste Classification System
Dynamic Fuzzy Logic-Ant Colony System-Based Route Selection System
Computational Model of Recommender System Intervention
Artificial Intelligence Approaches for SOH Estimation in Lithium-Ion Batteries: A Comprehensive Review of Progress, Critical Evaluations, Challenges, and Toward Future Outlooks
An Efficient Chaotic Map-Based Authentication Scheme with Mutual Anonymity
I-PD Controller Tuning for Unstable System Using Bacterial Foraging Algorithm: A Study Based on Various Error Criterion
AI-Enabled Ant-Routing Protocol to Secure Communication in Flying Networks
Toward Enhancing the Energy Efficiency and Minimizing the SLA Violations in Cloud Data Centers
A Semisupervised Cascade Classification Algorithm
Precision Healthcare for UTIs: Leveraging Machine Learning to Reduce Readmissions
Rainfall Prediction in South Africa Using Time-Series Analysis
Research on E-Commerce Platform-Based Personalized Recommendation Algorithm
Low-Rank Kernel-Based Semisupervised Discriminant Analysis
AutoGluon, SHAP, and GUI: A Groundbreaking Framework for Concrete Mechanical Strength Modeling, Explainability, and Accessibility
An Accurate and Fast Method for Improving ADC Nonlinearity
Bacteria Foraging Algorithm in Antenna Design
Prediction of Surface Roughness in End Milling Process Using Intelligent Systems: A Comparative Study
Inflow Forecast of Iranamadu Reservoir, Sri Lanka, under Projected Climate Scenarios Using Artificial Neural Networks
An Intelligent Framework Based on Deep Learning for Online Quran Learning during Pandemic
The Use of Artificial-Intelligence-Based Ensembles for Intrusion Detection: A Review
A Client-Server and Web-Based Graphical User Interface Design for the Mathematical Model of Cardiovascular-Respiratory System
Modeling Punching Shear Capacity of Fiber-Reinforced Polymer Concrete Slabs: A Comparative Study of Instance-Based and Neural Network Learning
Lexicon-Based Sentiment Analysis of Teachers' Evaluation
Optimizing Artificial Neural Network Learning Using Improved Reinforcement Learning in Artificial Bee Colony Algorithm
Image Retrieval Using Low Level and Local Features Contents: A Comprehensive Review
A Novel Homogenous Hybridization Scheme for Performance Improvement of Support Vector Machines Regression in Reservoir Characterization
An Overview of Deep Learning Applications in Groundwater Level Modeling: Bridging the Gap between Academic Research and Industry Applications
Ocular Disease Detection Using Fundus Images: A Hybrid Approach of Grad-CAM and Multiscale Retinex Preprocessing With VGG16 Deep Features and Fine KNN Classification
An Entropy-Based Multiobjective Evolutionary Algorithm with an Enhanced Elite Mechanism
Effective Techniques for Handling Missing Values in Thyroid Disease Diagnosis: A Comparative Analysis
Ear Biometrics Using Deep Learning: A Survey
A Novel Feature Extraction Method for Nonintrusive Appliance Load Monitoring
Machine Learning Techniques to Uncover Sociodemographic Risk Factors of Autism Spectrum Disorder (ASD) Among Children and Adolescents in Bangladesh
The Café Wall Illusion: Local and Global Perception from Multiple Scales to Multiscale
TOPSIS Method Based on Entropy Measure for Solving Multiple-Attribute Group Decision-Making Problems with Spherical Fuzzy Soft Information
Towards Utilization of Neurofuzzy Systems for Taxonomic Identification Using Psittacines as a Case Study
Leveraging Large Language Model on Spam Email Detection and Classification
Boosting Software Fault Prediction: Addressing Class Imbalance With Enhanced Ensemble Learning
A Diagnostic Model of Breast Cancer Based on Digital Mammogram Images Using Machine Learning Techniques
The determination of all Sheffer functions in 3-valued logic, using a logical computer
Embedding Brouwer Algebras in the Medvedev Lattice
Many-sorted elementary equivalence
Solovay's Relative Consistency Proof for FIM and BI
On n-equivalence of binary trees
Church's thesis and cognitive science
On new theorems for elementary number theory
On the Degree Structure of Equivalence Relations Under Computable Reducibility
Cantor-Bendixson spectra of ω-stable theories
An arithmetical reconstruction of the liar's antinomy using addition and multiplication
Decision procedure for a class of (L ω 1 ω ) t -types of T 3 spaces
Logical and historical remarks on Saccheri's geometry
The principles of the theory of the unification of sciences
Concerted Instant-Interval Temporal Semantics I: Temporal Ontologies
Forbidden subgraphs in terms of forbidden quantifiers
PFA and Ideals on ω 2 Whose Associated Forcings Are Proper
Admissible Rules and the Leibniz Hierarchy
The number of moduli in n-ary relations
Reflections on an extensionality theorem
Semi-Contraction: Axioms and Construction
A pragmatic theory of locally standard grammar
Effective density types
Realizing Levels of the Hyperarithmetic Hierarchy as Degree Spectra of Relations on Computable Structures
First-degree entailments and information
On some modal logics related to the Ł-modal system
The name solid as primitive in projective geometry
Avoiding Omnidoxasticity in Logics of Belief: A Reply to MacPherson
On the necessity of S4
A tableau proof method admitting the empty domain
On Fleissner's diamond
A simplification of the logic of conditionals
Combining Temporal Logic Systems
On the extension of S4 with CLMpMLp
A Bounded Jump for the Bounded Turing Degrees
Minimally incomplete sets of Łukasiewiczian truth functions
Boolean Algebras, Tarski Invariants, and Index Sets
Bounds on the Strength of Ordinal Definable Determinacy in Small Admissible Sets
Completeness of the generalized propositional calculus
Program Size Complexity for Possibly Infinite Computations
A note on the generalized continuum hypothesis. III
Primitive Recursion and the Chain Antichain Principle
Skolem Redux
The World, the Facts, and Primary Logic
The Expressive Unary Truth Functions of n -valued Logic
A note on Prior's systems in "The theory of deduction"
Invariance and Definability, with and without Equality
Matrix Representation of Husserl's Part-Whole-Foundation Theory
Book Review: Michael Resnik. Mathematics as a Science of Patterns
Filters on Computable Posets
Book Review: Colin McLarty. Elementary Categories, Elementary Toposes.
On a Quasi-Set Theory
Affine geometry having a solid as primitive
Über eine Erweiterung der algebraischen Operationen
The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 1
On some substitution instances of R1 and L1
Some remarks on (weakly) weak modal logics
Erratum for "Conditionals and Conditional Probabilities without Triviality"
Free logic and the concept of existence
Maximal full matrices
Proofs of the normalization and Church-Rosser theorems for the typed λ-calculus
There are denumerably many ternary intuitionistic Sheffer functions
An additional remark on self-conjugate functions of Boolean algebras
On creative definitions in first order functional calculi
Independence of the axioms and rules of inference of one system of the extended propositional calculus
Logics for knowledge, possibility, and existence
On Some Mistaken Beliefs About Core Logic and Some Mistaken Core Beliefs About Logic
Several possible systems of deontic weak and strong norms
Generalizations of the distributive and associative laws
On uncountable Boolean algebras with no uncountable pairwise comparable or incomparable sets of elements
A first-order logic of knowledge and belief with identity. I
Minimal Temporal Epistemic Logic
A note on R-Mingle and Sobociński's three-valued logic
An independence result concerning infinite products of alephs
Modal system S3 and the proper axioms of S4.02 and S4.04
The extended calculus of indications interpreted as a three-valued logic
Identity logics
Alternative forms of propositional calculus for a given deduction theorem
A Note on Weakly Dedekind Finite Sets
Calculemus
Topological duality for diagonalizable algebras
Corrigendum to C. A. Meredith's and my paper: "Equational logic"
Infinitary propositional intuitionistic logic
Impossible Worlds: A Modest Approach
Über Kongruenzen höherer Operationen
Quick completeness proofs for some logics of conditionals
Iterated images on manifolds
Reductio-ad-absurdum: a family feud between Copi and Scherer
The Lascar Group and the Strong Types of Hyperimaginaries
Uncompactness of Stit Logics Containing Generalized Refref Conditionals
The numerical epsilon
Unlikely Intersections in Poincaré Biextensions over Elliptic Schemes
Paraconsistency and the ℂ-Systems of da Costa
From Closure Games to Strong Kleene Truth
Some thomistic reflections on the foundations of formal logic
On self-sustenance in systems of epistemic logic
When is a fallacy valid? Reflections on backward reasoning
Recursive linear orderings and hyperarithmetical functions
An infixed, punctuation-free notation
Modular Ax-Lindemann-Weierstrass with Derivatives
Homogeneous Boolean algebras with very nonsymmetric subalgebras
Effective Domination and the Bounded Jump
Coalgebra and Abstraction
Common sense and "relevance"
Semantics without Reference
Putting K in its place
Adding a Nonreflecting Weakly Compact Set
Editorial Notice
A remark concerning the third theorem about the existence of successors of cardinals
The historical development of group theoretical ideas in connection with Euclid's axiom of congruence
The Structure of Pleasant Ideals
A note on defining the Rudin-Keisler ordering of ultrafilters
Propositional Proof Systems and Fast Consistency Provers
The minimal modal logic: a cautionary tale about primitives and definitions
Bounds in Weak Truth-Table Reducibility
Hintikka's free logic is not free
On propositional, truth and Boolean functions
Generalized reals
Morley Rank in Homogeneous Models
Neat Embeddings, Omitting Types, and Interpolation: An Overview
A modal natural deduction system for S4
Equational characterization of Nelson algebra
Significance logics
A Note on the Axioms for Zilber's Pseudo-Exponential Fields
ℵ 0 -categoricity over a predicate
Equivalences between Pure Type Systems and Systems of Illative Combinatory Logic
Repairing proofs of Arrow's general impossibility theorem and enlarging the scope of the theorem
Infinite series of T-regressive isols
Post's Functional Completeness Theorem
A note on π 1 1 ordinals
Independence of Faris-rejection-axioms
Defining general structures
Non-definability of certain semantic properties of programs
Some notes on: "A deduction theorem for restricted generality"
Linear Logic Displayed
Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing I Δ 0s + exp
A note about connection of the first-order functional calculus with many-valued propositional calculi
The n-adic first-order undefinability of the Geach formula
Proposition and Tense
Some methods of formal proofs. III
Gentzen-like systems for partial propositional calculi. II
Indexings of sets
Descending Chains and the Contextualist Approach to Semantic Paradoxes
On explanation of number progression
The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic
A realist semantics for Cocchiarella's T *
Extending Intuitionistic Linear Logic with Knotted Structural Rules
Modalities in Vector Logic
Modal Logics That Need Very Large Frames
Algebraic Methods and Bounded Formulas
Maximal Subsets of Infinite Symmetric Groups
Singular Propositions and Singular Thoughts
Ockham on self-reference
Ontologically Minimal Logical Semantics
Facts and the choice of logical foundations
A logic for unknown outcomes
Erratum: "Logical and historical remarks on Saccheri's geometry"
Inconsistency without Contradiction
Classification theory over a predicate. I
Generalized restricted generality
Implication and presupposition
Natural deduction rules for S1 0-S4 0
Cardinality, Counting, and Equinumerosity
A further examination of Saccheri's use of the "consequentia mirabilis"
Ages of Expansions of ω-Categorical Structures
The Cognitive Ontogenesis of Predicate Logic
Some theorems on the structure of mutant sets and their applications to group and ring theories
Incommensurables and Incomparables: On the Conceptual Status and the Philosophical Use of Hyperreal Numbers
A note concerning a sole sufficient operator
On provable recursive functions
A system of predicate logic with transatomic units
Remarks on Strong Nonstructure Theorems
Logical determinism
Factorization of the Shoenfield-like Bounded Functional Interpretation
Unneeded surgery on Aristotle's Prior analytics
Constructively nonpartial recursive functions
Conditionals and Conditional Probabilities without Triviality
Individuals and points
On measures and distinguishability
Decidability of Fluted Logic with Identity
Intuitionistic Logic according to Dijkstra's Calculus of Equational Deduction
An Alternative Rule of disjunction in modal logic
In memoriam A. N. Prior (1914-1969)
An Algebraic Approach to the Disjunction Property of Substructural Logics
Necessity and ticket entailment
On Existence in Set Theory
Metacompleteness
Generalizing König's infinity lemma
A note on Halldén-incompleteness
Certain counterexamples to the construction of combinatorial designs on infinite sets
A new representation of S5
Errata: "On the single axioms of protothetic. I."
Programming the functions of formal logic. II. Multi-valued logics
Definability in self-referential systems
Church's thesis and the ideal of informal rigour
A Note on Generic Projective Planes
Extensions of the ℵ 0 -Valued Lukasiewicz Propositional Logic
Solution to a completeness problem of Lemmon and Scott