yusuke1997/dblp-id-title huggingface dataset:
A note on Visions of Henkin
Moore-paradoxical belief, conscious belief and the epistemic Ramsey test
Beyond categorical definitions of life: a data-driven approach to assessing lifeness
Why warrant transmits across epistemological disjunctivist Moorean-style arguments
Should I believe all the truths?
Does Optimization Imply Rationality?
Understanding realism
Internalist and externalist aspects of justification in scientific inquiry
Grounding and the indispensability argument
Husserl on completeness, definitely
Being in the Right Place at the Right Time
Epistemic constraints on practical normativity
Confirmation and the ordinal equivalence thesis
Toward a phenomenological epistemology of mathematical logic
Possibilities regained: neo-Lewisian contextualism and ordinary life
Austrian economics without extreme apriorism: construing the fundamental axiom of praxeology as analytic
Epistemic dependence and cognitive ability
On propositions and fineness of grain (again!)
Newton versus Leibniz: intransparency versus inconsistency
Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation
Rational cooperation
Fast and frugal heuristics: rationality and the limits of naturalism
Randomness and the Justification of Induction
Knowledge-how and the problems of masking and finkishness
Intentionality and partial belief
Asymmetry as a challenge to counterfactual accounts of non-causal explanation
Doing without representing?
Integrating psychology and neuroscience: functional analyses as mechanism sketches
The case for mind perception
Why implicit attitudes are (probably) not beliefs
Hearsay viewed through the lens of trust, reputation and coherence
Erratum to: Philosophy of and as interdisciplinarity
Transparent quantification into hyperintensional objectual attitudes
Introduction, SI of Synthese "The collective dimension of science"
Complementary Explanations
Grounding and auto-abstraction
Reclaiming Quine's epistemology
Representations gone mental
Sleeping beauty should be imprecise
Disagreement, peerhood, and three paradoxes of Conciliationism
Diachronic Dutch Books and Sleeping Beauty
An incremental approach to causal inference in the behavioral sciences
The RT formula and its discontents: spacetime and entanglement
Connecting Dempster-Shafer Belief Functions with Likelihood-based Inference
Perception naturalised: relocation and the sensible qualities
How experimental algorithmics can benefit from Mayo's extensions to Neyman-Pearson theory of testing
What Is A Newtonian System? The Failure Of Energy Conservation And Determinism In Supertasks
Epistemically flawless false beliefs
Predication and sortal concepts
Computational explanation in neuroscience
What is Ontological Synthesis? - A Reply to Simon Saunders
Models, postulates, and generalized nomic truth approximation
Tarskian consequence relations bilaterally: some familiar notions
Fundamental physical ontologies and the constraint of empirical coherence: a defense of wave function realism
Appendix: Ontological Relativity and Fundamentality - Is QFT the Fundamental Theory?
Does information inform confirmation?
Doing what one meant to do
Epistemic means and ends: a reply to Hofmann
Inconsistency and scientific realism
Deontological decision theory and lesser-evil options
Reliability conducive measures of coherence
Epidemiology is ecosystem science
Mathematical determinacy and the transferability of aboutness
Coherence as an ideal of rationality
The spontaneousness of skill and the impulsivity of habit
Automatically minded
Challenging Lewis's challenge to the best system account of lawhood
Pain eliminativism: scientific and traditional
Presentism, eternalism, and phenomenal change
What does robustness teach us in climate science: a re-appraisal
What is wrong with an atomistic account of mental representation?
Easy Ontology, quantification, and realism
Speech acts in mathematics
Warrant and action
Embodied savoir-faire: knowledge-how requires motor representations
Gricean Rational Reconstructions And The Semantics/Pragmatics Distinction
Reflective equilibrium and understanding
Driftability
Gödel, Carnap and the Fregean Heritage
"Plausible insofar as it is intelligible": Quine on underdetermination
Abduction versus conceiving in modal epistemology
Obligations under causal constraints
Dispensability in the Indispensability Argument
Technology and the possibility of global environmental science
The frame problem, the relevance problem, and a package solution to both
Freedom and (theoretical) reason
Appropriateness measures: an uncertainty model for vague concepts
Explanation is a Genus: An Essay on the Varieties of Scientific Explanation
Carnap's early metatheory: scope and limits
Behaviorism and mentalism: Is there a third alternative?
Model structure adequacy analysis: selecting models on the basis of their ability to answer scientific questions
Presentism, eternalism and where things are located
Is composition identity?
The practical rationality of trust
The philosophical novelty of computer simulation methods
Theory structuralism in a rigid framework
Indexicals, context-sensitivity and the failure of implication
A convention or (tacit) agreement betwixt us: on reliance and its normative consequences
A consciousness-based quantum objective collapse model
Lucky understanding without knowledge
Trust and the value of overconfidence: a Bayesian perspective on social network communication
The Spatiality of the Mental and the Mind-Body Problem
Diagrams as sketches
Elementary classical mechanics and the principle of the Composition of Causes
Category-theoretic structure and radical ontic structural realism
The puzzle of the hats
The mind without, the world within
Basic self-knowledge and transparency
Transformative Decision Rules, Permutability, and Non-Sequential Framing of Decision Problems
Criteria for indefeasible knowledge: John Mcdowell and 'epistemological disjunctivism'
Believing Conjunctions
The locality and globality of instrumental rationality: the normative significance of preference reversals
Fair infinite lotteries
Conveying Information
Mechanistic and topological explanations in medicine: the case of medical genetics and network medicine
Mechanisms revisited
Different senses of finitude: An inquiry into Hilbert's finitism
Do Mathematical Constructions Escape Logic?
A future for the thin red line
How to stay safe while extending the mind
Use of a Rasch model to predict response times to utilitarian moral dilemmas
Bundling Hume with Kripkenstein
Perspectives on de se immunity
An indeterminate universe of sets
Conjunctions, Disjunctions and Lewisian Semantics for Counterfactuals
The Rational Analysis Of Mind And Behavior
The allure of connectionism reexamined
Prioritised ceteris paribus logic for counterfactual reasoning
New theory about old evidence - A framework for open-minded Bayesianism
Actions and outcomes: two aspects of agency
Harmonising natural deduction
Hume's Principle and Axiom V Reconsidered: Critical Reflections on Frege and His Interpreters
Are causal facts really explanatorily emergent? Ladyman and Ross on higher-level causal facts and renormalization group explanation
Williamson's Woes
A problem for information theoretic semantics
Interpreting enthymematic arguments using belief revision
The Newtonian Limit of Relativity Theory and the Rationality of Theory Change
Volunteer Computing Simulation using Repast and Mason
A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems
Study of OpenCL processing models for FPGA device
Scaling Evolutionary Programming with the Use of Apache Spark
The Methodology for Detecting and Managing the Abuse of IT Systems
Forecasting currency exchange rate time series with fireworks-algorithm-based higher order neural network with special attention to training data enrichment
A Novel Approach to Automated Behavioral Diagram Assessment using Label Similarity and Subgraph Edit Distance
H-Relation Personalized Communication Strategy
SARED: A Self-Adaptive Active Queue Management Scheme for Improving Quality of Service in Network Systems
Linear computational cost implicit solver for parabolic problems
Distributed Web Service Repository
Enriching WSN Environment with Context Information
Competition-based rating system for medical websites credibility
A Proposal of Digital Contents Copyright Protection by using Blockmarking Technique
Pre-trained Deep Neural Network using Sparse Autoencoders and Scattering Wavelet Transform for Musical Genre Recognition
Identifying Limits of Scalability in Distributed, Heterogeneous, Layer Based Monitoring Concepts like Slate
Resource Storage Management Model for Ensuring Quality of Service in the Cloud Archive Systems
Flow caching effectiveness in packet forwarding applications
Interactive Cloud Data Farming Environment for Military Mission Planning Support
Generalizing Clustering Inferences with ML Augmentation of Ordinal Survey Data
Using Redis supported by NVRAM in HPC applications
Certificateless Digital Signature Technology for e-Governance Solutions
Using Tags in an AIML-Based Chatterbot to Improve its Knowledge
Quantum mechanical calculations of elastic Properties of doped tetragonal yttria-stabilized zirconium dioxide
Distributed Web-Scale Infrastructure for Crawling, Indexing and Search with Semantic Support
Noisy-parallel and comparable corpora filtering methodology for the extraction of bi-lingual equivalent data at sentence level
Parallelized Algorithms for Finding Similar Images and Object Recognition
Computational Approach to Understanding autism Spectrum disorders
A Blackboard System for Generating Poetry
Plant Disease Detection using Ensembled CNN Framework
Practical Experiences with torque Meta-Scheduling in the Czech National Grid
A Novel Anchor Selection Scheme for Distributed Mobility Management
Hybrid End-to-End Approach Integrating Online Learning with Face-identification System
Network management services based on the OpenFlow environment
An improved context-aware Sentiment Analysis of student comments on Social Networks based on ChatGPT
Mesh Compression Algorithm for Geometrical Coordinates in Computational Meshes
Adapting Text Categorization for Manifest based Android Malware Detection
The Power of Intelligence Emerging from Swarms
Computation Acceleration on SGI RASC: FPGA Based Reconfigurable Computing Hardware
Stacked Denoising Autoencoder Based Parkinson's Disease Classification using Improved Pigeon-Inspired Optimization Algorithm
Towards a Distributed Solution to the Multi-Robot Task Allocation Problem with Energetic and Spatiotemporal Constraints
Improvements to Glowworm Swarm Optimization Algorithm
Rt-UML in Modeling of Multimedia Applications
Towards a new Approach for Arabic root extraction: Exploit relations between the word letters and their placement in the word for Arabic root extraction
Sla-Oriented Semi-Automatic Management of Data Storage and Applications in Distributed Environments
complexFuzzy: A novel clustering method for selecting training instances of cross-project defect prediction
Automatic Contextual Text Correction using the Linguistic habits Graph Lhg
Urbancontext: a Management Model for Pervasive Environments in User-Oriented Urban Computing
Modular FEM framework "ModFem" for generic scientific parallel simulations
Design and Implementation of the Mobile Grid Resource Management System
Towards a Grid Infrastructure for hydro-Meteorological Research
Towards Implementing Virtual Data Infrastructures - a Case Study with iRODS
Network Resilience Analysis: Review of Concepts and a Country-Level. Case Study
The Use of Standards in Helio
Forward and Backward Static Analysis for Critical numerical accuracy in Floating Point Programs
Automatic Proxy Generation and Load-Balancing-Based Dynamic Choice of Services
A Survey on Syntactic Pattern Recognition Methods in Bioinformatics
An Evolution Process for Service-Oriented Systems
The MCB code for numerical modeling of Fourth Generation nuclear reactors
Analysis of Distributed Systems Dynamics with Erlang Performance Lab
Using BOINC Desktop Grid to Solve Large Scale SAT Problems
Computer Aided Distributed Post-Stroke Rehabilitation Environment
A New Genetic Algorithm based on Dissimilarities and Similarities
Optimal selection of numerical models for flood embankment pore pressure and temperature data
Statistical models to accelerate software development by means of iterative compilation
Metadata-driven Data Migration from Object-relational Database to NoSQL Document-oriented Database
Explainable Spark-based PSO Clustering for Intrusion Detection
Installation and testing the LOFAR software on ACC Cyfronet cluster Prometheus
ComcuteJS: A Web Browser Based Platform for Large-scale Computations
Weballted: Interdisciplinary Modeling in Grid and Cloud
Track Finding with Deep Neural Networks
Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation
Dataspace Support Platform for e-Science
Memoization method for storing of minimum-weight triangulation of a convex polygon
The Influence of Listener Personality on Music Choices
Exploring the Impact of Requirements Engineering on Other IT Project Areas - A Case Study
Evolutionary Multi-Agent System with Crowding Factor and Mass Center mechanisms for Multiobjective Optimisation
Information Extraction from Chemical patents
Elongation cutoff Technique: Parallel Performance
From Linear Classifier to Convolutional Neural Network for Hand Pose Recognition
Misfit landforms imposed by ill-conditioned inverse parametric problems
Data Censoring with Set-Membership Affine Projection Algorithm
Optimized jk-nearest neighbor based online signature verification and evaluation of the main parameters
A novel approach for big data classification based on hybrid parallel dimensionality reduction using spark cluster
An approach to classification of data with highly localized unmarked features using neural networks
Distance-Based Integration of ERP Correlation Analysis
Semantic Text Indexing
Dynamic Tile Free Scheduling for Code with Acyclic Inter-Tile Dependence Graphs
Adaptation of Domain-Specific Transformer Models with Text Oversampling for Sentiment Analysis of Social Media Posts on CoViD-19 vaccine
Agent-based Data Integration Framework
Sentiment-aware Enhancements of PageRank-based Citation Metric, Impact Factor, and H-index for Ranking the Authors of Scholarly Articles
Multi-frontal Solver for Simulations of Linear Elasticity coupled with Acoustics
Consensus as a Tool Supporting Customer Behaviour Prediction in Social CRM Systems
Application of Waterloo Maple 9.5 and Wolfram Mathematica 5.1 Software for analytic Solving of certain nonlinear Partial differential equations of Physics
Melanoma Skin Cancer and Nevus Mole Classification using Intensity Value Estimation with Convolutional Neural Network
Extraction of Scores and Average From Algerian High-School Degree Transcripts
Hybrid-Parallel formulation of Fundamental Quantum-Chemical Algorithms
A Physical Model of Quantum Bit Behavior Based on a Programmable FPGA Integrated Circuit
Preparation of Control Space for Remeshing of Polygonal Surfaces
Hybrid Neuro-fuzzy Classifier Based on NEFCLASS Model
Application of Multi-criteria Analysis based on the Individual Psychological Profile for Recommender Systems
Public cloud computing for Software as a Service platforms
Agent-Based Monitoring Using Fuzzy Logic and Rules
Using Deep Neural Networks to Improve the Precision of Fast-Sampled Particle Timing Detectors
Application of linguistic cues in the analysis of language of hate groups
Analysis of Series of Measurements from Job-Centric Monitoring by Statistical Functions
Efficient Implementation of Branch-and-Bound Method on Desktop Grids
Document controversy classification based on the Wikipedia category structure
Privacy Preservation for Transaction initiators: Stronger Key Image Ring Signature and Smart Contract-based Framework
Comparison of incomplete data handling techniques for neuro-fuzzy system
Tree-based Control Space Structures for Discrete Metric Sources in 3D Meshing
Tree Structures for Adaptive Control Space in 3D Meshing
Energy redistribution in autonomous hybridization of agent-based computing
On a workflow model based on generalized communicating P systems
Efficient Approach for View Selection for Data Warehouse using Tree Mining and Evolutionary Computation
Implementing graph representation model for parallel and distributed systems using Erlang
Looking for big money in the grey zone. Simulation of High Yield Investment Programs strategies
The Numerical Approaches to Heat Transfer Problem in Modern Electronic Structures
Data Storage Management using AI Methods
Biometrics-Based Generation of Diffie-Hellman Key Exchange Parameters
An Analysis of Methods for Sharing an Electronic Platform of Public Administration Services using Cloud Computing and Service Oriented Architecture
Lifelogging system based on Averaged Hidden Markov Models: dangerous activities recognition for caregivers support
A Workflow-Oriented Approach to Propagation Models in Heliophysics
Overview of Adaptive and Low-Rank Approximation Algorithms for Modeling of The Influence of Electromagnetic Waves Generated by The Cell Phone Antenna on The Human Head
A Novel Hybrid Deep Learning Approach for 3D Object Detection and tracking in Autonomous driving
On the Computational Cost and Complexity of Stochastic Inverse Solvers
Fpga-Based Multi-Core Processor
The Cryptanalysis of the Enigma Cipher. The Plugboard and the Cryptologic Bomb
Using shared memory as a cache in high performance cellular automata water flow simulations
A Density-Based Method for the Identification of Non-Disjoint Clusters With Arbitrary and Non-Spherical Shapes
Classification of traffic over collaborative IoT and Cloud platforms using deep learning recurrent LSTM
Quality of Experience in the context of mobile applications
An efficient implementation of the Chinese Remainder Theorem in minimally redundant Residue Number System
Object Pose Estimation in Monocular Image Using Modified FDCM
A Routing Algorithm and a Router Architecture for 3D NoC
Automated Credibility Assessment on Twitter
Policy-based SLA storage management model for distributed data storage services
Falcon Optimization Algorithm for Bayesian Networks Structure Learning
Extracting class diagram from hidden dependencies in data set
Hybrid computer system for the identification of metallic material models on the basis of laboratory experiments
Accelerating Select where and Select Join Queries on a GPU
The Impact of n-stage Latent Dirichlet Allocation on Analysis of Headline Classification
Causal Reversibility in Individual Token Interpretation of Petri Nets
Gramian Angular Field Transformation-Based Intrusion Detection
An Octopus-Inspired Intrusion Deterrence Model in Distributed Computing System
Verification mechanism for lightweight componenent-based environment based on IoC container
Enhanced Bonobo Optimizer for Optimizing Dynamic Photovoltaic Models
Benchmarking High Performance Architectures with Natural Language Processing Algorithms
COMPACT: Biometric Dataset of Face Images Acquired in Uncontrolled Indoor Environment
Enhancing Regular Expressions for Polish Text Processing
Abstraction Layer for Development and Deployment of Cloud Services
Survey of Scientific Document Summarization Techniques
Decision Support System For Search & Rescue Operations
A case study of project management in district court
Two-dimensional HP-adaptive Algorithm for Continuous Approximations of Material Data Using Space Projection
HiPHET: A Hybrid Approach to Translate Code Mixed Language (Hinglish) to Pure Languages (Hindi and English)
An algorithm of semi-Delaunay triangulation of points cloud scattered on surface
Management Methods in SLA-Aware Distributed Storage Systems
Securing Centralized SDN control with Distributed Blockchain Technology
Emergence of Population Structure in~Socio-cognitively Inspired Ant~Colony Optimization
Tunnel Parsing with counted repetitions
High Energy Physics Experiments in Grid Computing Networks
Energy Efficient and QoS Aware Trustworthy Routing Protocol for Manet Using Hybrid Optimization Algorithms
Comparison and Adaptation of Automatic Evaluation Metrics for Quality Assessment of Re-Speaking
Measurement of the heavy-ion Collision Event Characteristics with the Atlas Experiment at the LHC
Reasoning Algorithm for a Creative Decision Support System Integrating Inference and Machine Learning
Monte Carlo Simulations for the Cherenkov Telescope Array Observatory using PL-Grid E-Infrastructure
Learning-Free Deep Features for Multispectral Palm-Print Classification
FPGA based secure and noiseless image transmission using LEA and optimized bilateral filter
hp-HGS strategy for inverse AC/DC resistivity logging measurement simulations
Challenges and Opportunities for the Future of iCampuses
Sign Detection and Signed Integer Comparison for the 3-Moduli Set {2^n±1, 2^(n+k)}
Semantic-enabled Hybrid Genetic Disease Diagnostics in Next-Generation Sequenced Data
A Novel adaptive Checkpointing method based on Information obtained from Workflow Structure
Decision Support System of discount Pricing Analysis using the method of Elimination et choix Traduisant la Realité (ELECTRE)
Optimization of frequency Filtering in Random Access JPEG Library
Adaptive SOA Stack-based Business Process Monitoring Platform
Automated Code Generation for Safety-Related Applications: a Case Study
Tuning of agent-based computing
Compression of image sequences in interactive medical teleconsultations
A Compile-Time Deadlock Detection Pattern
Enabling Generic Distributed Computing Infrastructure Compatibility for Workflow Management Systems
Effects of Sparse Initialization in Deep Belief Networks
Environment Emulation for WSN Testbed
Parallel Patterns for Agent-based Evolutionary Computing
Human Gesture Recognition using Hidden Markov Models and Sensor Fusion
The Ant Colony Optimization Algorithm Applied in Transport Logistics
Assessment of Risks introduced to Safety Critical Software by Agile Practices - a Software Engineer's Perspective
Generation of Cryptographic Keys with Algorithm of Polygon Triangulation and Catalan numbers
A Crisis Management Approach to Mission Survivability in Computational Multi-Agent Systems
Ensemble Machine Learning Methods to Predict the Balancing of Ayurvedic Constituents in the Human Body Ensemble Machine Learning Methods to Predict
Application of the Complex Event Processing system for anomaly detection and network monitoring
A Toolkit for Storage QoS Provisioning for Data-Intensive Applications
Integration of Data from Heterogeneous Sources using ETL Technology
Using Advanced Data Mining and Integration in Environmental Prediction Scenarios
Automatic indexation of Cultural Heritage 3D object
Hypergrammar Based Parallel Multi-frontal Solver for Grids with Point singularities
Grammar Based Multi-frontal Solver for Isogeometric Analysis in 1D
Simple Cyclic movements as a distinct autism Feature - Computational Approach
Using Erlang in Research and Education in a Technical University
Examples of Multiple criteria Ranking in the Design of Cellular Networks of Mobile Telecommunication
Circle formation by asynchronous opaque robots on infinite grid
Retrieval and interpretation of textual geolocalized information based on semantic geolocalized relations
Microservices, a Definition Analyzed by ßMACH
On Evolution of Migrating Population with Two Competing Species
Process of Fingerprint Authentication using Cancelable Biohashed Template
A new approach to storing dynamic data in relational databases using JSON
A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems
Study of the Temporal-Statistics-Based Reputation Models for Q&A Systems
A hybrid CNN-LiGRU acoustic modeling using raw waveform sincnet for Hindi ASR
Recovery and Migration of Application Logic from Legacy Systems
Exploring convolutional auto-encoders for representation learning on networks
Solution of Linear and Nonlinear Diffusion Problems via Stochastic Differential Equations
Formal verification of the extension of iStar to support Big data projects
Real-Time Implementation of Moving Object Detection in Video Surveillance Systems using FPGA