yusuke1997/dblp-id-title huggingface dataset:
Definability in the recursively enumerable degrees
A Reconstruction of steel's Multiverse Project
Ordered Groups, Computability and Cantor-Bendixson Rank
Algebraic and Model Theoretic Properties of O-minimal Exponential Fields
Degrees of Randomized Computability
2024 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Iowa State University Ames, IA, USA May 14-17, 2024
Closing the Circle: An Analysis of Emil Post's Early Work
The Structure of d.r.e. Degrees
Indirect Proof and Inversions of Syllogisms
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2020) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Deerfield Beach, Florida, USA January 4-7, 2020
O-minimal de Rham Cohomology
Katie Steele and H. Orri Stefánsson. Beyond Uncertainty: Reasoning with Unknown Possibilities. Elements in Decision Theory and Philosophy. Cambridge University Press, Cambridge, UK, 2021, 110 pp
2025 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC New Mexico State University Las Cruces, NM, USA May 13-16, 2025
Sam Roberts. Pluralities as Nothing Over and Above. Journal of Philosophy, vol. CXIX (2022), no. 8, pp. 405-424
BSL volume 31 issue 1 Cover and Front matter
John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp
Gentzen's Proof of Normalization for Natural Deduction
Second-Order Modal Logic
Proper forcing, cardinal arithmetic, and uncountable linear orders
Some Definable Galois Theory and Examples
AUSTRALASIAN LOGIC COLLOQUIUM CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia 6-8 November 2023
2022 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Cornell University Ithaca, NY, USA April 7-10, 2022
Computability and the Connes Embedding Problem
Independence in Model Theory and Team Semantics
Towards Finding a Lattice that Characterizes the > ω 2 -Fickle Recursively Enumerable Turing Degrees
Internal Consistency and the Inner Model Hypothesis
Finite variable logics in descriptive complexity theory
2022 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2022 Reykjavík University Reykjavík, Iceland June 27 - July 1, 2022
Model Theory and Machine Learning
K. Tent and M. Ziegler. A Course in Model Theory. Lecture Notes in Logic, vol. 40. Cambridge University Press, United Kingdom, 2012, x + 248 pp
In Memoriam: Barry Cooper 1943-2015
Linear Time in Hypersequent Framework
Sense and Reference from a Constructivist Standpoint
S. Barry Cooper and Andrew Hodges (editors), The Once and Future Turing: Computing the World. Cambridge University Press, 2016. xviii + 379 pp. - therein: - Martin Davis. Algorithms, Equations, and Logic. pp. 4-19. - J.M.E. Hyland. The Forgotten Turing. pp. 20-33. - Andrew R. Booker. Turing and the Primes. pp. 34-52. - Ueli Maurer. Cryptography and Computation after Turing. pp. 53-77. - Kanti V. Mardia and S. Barry Cooper. Alan Turing and Enigmatic Statistics. pp. 78-89. - Stephen Wolfram. What Alan Turing Might Have Discovered. pp. 92-105. - Christof Teuscher. Designed versus Intrinsic Computation. pp. 106-116. - Solomon Feferman. Turing's 'Oracle': From Absolute to Relative Computability and Back. pp. 300-334. - P.D. Welch. Turing Transcendent: Beyond the Event Horizon. pp. 335-360. - Roger Penrose. On Attempting to Model the Mathematical Mind. pp. 361-378
Only two letters: The correspondence between Herbrand and Gödel
Some Progress on the Unique Ergodicity Problem
THE SECOND INTERNATIONAL CONFERENCE ON HOMOTOPY TYPE THEORY (HoTT 2023) SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Pittsburgh, USA May 22-25, 2023
2021 North American Annual Meeting of the Association for Symbolic Logic
THE FOURTEENTH PHD'S-IN-LOGIC INTERNATIONAL CONFERENCE (PHD'S IN LOGIC 2023) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Granada, Spain October 4-6, 2023
The hyperuniverse program
Uniform Properties of Ideals in Rings of Restricted Power Series
New methods in forcing iteration and applications
Interpretability in Robinson's Q
Logic, Arithmetic, and Definitions
HOD L(R) is a core model below \Theta
Proper forcing and remarkable cardinals
Polymorphism and the obstinate Circularity of second order Logic: a Victims' Tale
Almost disjoint families and diagonalizations of length continuum
A general notion of realizability
Measurable combinatorics and orbit equivalence relations
Groups and algebras of nary relations
The Gödel editorial project: A synopsis
Generality and existence: Quantificational Logic in Historical Perspective
Invariant Types in Model Theory
WORKSHOP: FINITE MODEL THEORY AND MANY-VALUED LOGIC: CHALLENGES AND INTERACTIONS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia (online) November 10-12, 2022
The Ramified analytical Hierarchy using Extended Logics
Gödel and Set Theory
AN EXPOSITION OF THE COMPACTNESS OF $L({Q^{\mathrm{cf}}})$
Strong colorings over Partitions
Symmetry and interactivity in programming
A Constructive Examination of a Russell-Style Ramified Type Theory
New Directions in Duality Theory for Modal Logic
Automating the Repair of Faulty Logical Theories
Barwise: infinitary logic and admissible sets
Algorithmic Properties of Rogers Semilattices
On Double-Membership Graphs of Models of Anti-Foundation
Interstructure Lattices and Types of Peano Arithmetic, The Graduate Center, City University of New York, USA, 2017. Supervised by Roman Kossak
Metric Geometry in a Tame Setting
THREE PAPERS ON RECENT WORK ON META-VALIDITY - David Ripley, One step is enough . Journal of Philosophical Logic, vol. 51 (2022), pp. 1233-1259. - Isabella McAllister, Classical logic is not uniquely characterizable . Journal of Philosophical Logic, vol. 51 (2022), pp. 1345-1365. - Rea Golan, There is no tenable notion of global metainferential validity . Analysis, vol. 81 (2021), no. 3, pp. 411-420
On the Strength of PFA(ℵ2) in Conjunction with a Precipitous Ideal on ɷ1 and Namba-Like Forcings on Successors of Regular Cardinals
The mathematical development of set theory from Cantor to Cohen
Diophantine geometry from model theory
Univocity of intuitionistic and Classical Connectives
Randomness and Computability: Open Questions
Level Theory, Part 2: Axiomatizing the Bare Idea of a potential Hierarchy
IN MEMORIAM: MICHAEL MORLEY, 1930-2020
Square in core models
Scott S. Cramer, Inverse limit reflection and the structure of L(V λ+1). Journal of Mathematical Logic, vol. 15 (2015), no. 1, p. 1550001 (38 pp.)
Mathematical existence
Invariance criteria as Meta-Constraints
THE 19TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XIX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Universidad de Costa Rica San José, Costa Rica July 26-31, 2022
G.O. Jones and A.J. Wilkie, editors, O-Minimality and Diophantine Geometry. London Mathematical Society Lecture Note Series, vol. 421, Cambridge University Press, 2015. xii + 221 pp
An interpolation theorem
Finding the Limit of Incompleteness I
A Graph-Theoretic Analysis of the Semantic Paradoxes
The Universal Theory of the Hyperfinite II $_1$ factor is not Computable
Quillen Model Categories-Based Notions of Locality of Logics over Finite Structures
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis
Relations between some cardinals in the absence of the Axiom of Choice
Provability with finitely many variables
G\"odel's path from the incompleteness theorems (1931) to phenomenology (1961)
2019 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC City University of New York Graduate Center New York, New York, USA May 20-23, 2019
On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set
Creatures and Cardinals
SIXTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nazarbayev University Nur-Sultan, Kazakhstan June 17-21, 2019
Contributions to the Theory of Large Cardinals through the Method of Forcing
Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory
Lattice-Ordered Abelian Groups and Perfect MV-Algebras: a Topos-Theoretic Perspective
Construction of truth predicates: approximation versus revision
Isomorphism invariance and Overgeneration
On the Axiomatisability of the Dual of Compact Ordered Spaces
In Memoriam: Grigori E. Mints 1939-2014
Optimal proofs of determinacy
Expansions and Neostability in Model Theory
Descriptive Set Theory of Families of Small Sets
Sven Schlotter and Kai F. Wehmeier. Gingerbread nuts and pebbles: Frege and the Neo-Kantians: Two recently discovered documents. British Journal for the History of Philosophy, vol. 21 (2013), no. 3, pp. 591-609
Self-embeddings of Models of Peano Arithmetic
Inner Models and Ultrafilters in L(R)
Asymptotic cones and ultrapowers of Lie groups
Obituary: Jaakko Hintikka 1929-2015
Erdös graphs resolve Fine's canonicity problem
In praise of replacement
Kurt Gödel (1906-1978)
THE 27TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (C$\forall \mathrm {D} \exists $-27) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Natal, Brazil August 23-30, 2019
Omer Ben-Neria, The structure of the Mitchell order-I. Israel Journal of Mathematics vol. 214 (2016), no. 2, pp. 945-982. - Omer Ben-Neria, The structure of the Mitchell order-II. Annals of Pure and Applied Logic, vol. 166 (2015), no. 12, pp. 1407-1432. - Sy-David Friedman and Menachem Magidor, The number of normal measures. Journal of Symbolic Logic, vol. 74 (2009), no. 3, pp. 1069-1080
New Directions for Neo-logicism
Games for Functions: Baire Classes, Weihrauch Degrees, Transfinite Computations, and Ranks
Gabriel Uzquiano. Impredicativity and paradox . Thought, vol. 8 (2019), no. 3, pp. 209-221
From foundations to ludics
In Memoriam: Vladimir Voevodsky 1966-2017
Completeness of Finite-Rank Differential Varieties
Recent developments in model theory, Notre Dame Journal of Formal Logic, vol.54, nos.3-4, 2013
Recommender - Potentials and Limitations for Self-Study in Higher Education from an Educational Science Perspective
Establishing a Sustainable Process to Measure Learner Performance
Fearing the Robot Apocalypse: Correlates of AI Anxiety
Gamification and Student Engagement with a Curriculum-based Measurement System
Bachelor Thesis Analytics: Using Machine Learning to Predict Dropout and Identify Performance Factors
Information Extraction from Binary Skill Assessment Data with Machine Learning
Potentials of Chatbots for Spell Check among Youngsters
Online Learning Communities in the COVID-19 Pandemic: Social Learning Network Analysis of Twitter During the Shutdown
A Capability Model for Learning Analytics Adoption: Identifying Organizational Capabilities from Literature on Learning Analytics, Big Data Analytics, and Business Analytics
Data Driven Education in Personal Learning Environments - What About Learning beyond the Institution?
Efforts in Europe for Data-Driven Improvement of Education - A Review of Learning Analytics Research in Seven Countries
Editorial of the First Issue of the International Journal of Learning Analytics and Artificial Intelligence for Education
Demystification of Artificial Intelligence in Education - How much AI is really in the Educational Technology?
Higher Education Stakeholders' Views on Learning Analytics Policy Recommendations for Supporting Study Success
The Ecology of Analytics in Education: Stakeholder Interests in Data-Rich Educational Systems
Mobile Learning Applications for Android und iOS for German Language Acquisition based on Learning Analytics Measurements
Improving Students Performance in Small-Scale Online Courses - A Machine Learning-Based Intervention
Redesigning a First Year Physiology Course using Learning Analytics to Improve Student Performance
A Bibliometric Analysis of the Papers Published in the Journal of Artificial Intelligence in Education from 2015-2019
Scheduling Interactions in Learning Videos: A State Machine Based Algorithm
Learning Analytics for Blended Learning: A Systematic Review of Theory, Methodology, and Ethical Considerations
Reflections on Different Learning Analytics Indicators for Supporting Study Success
FPGA-based bio-cybernetic automation system for lab-on-a-chip zebrafish embryo arrays
Region-based perceptual grouping for road extraction from high-resolution images
A biologically inspired intelligent environment architecture for mobile robot navigation
A Tutor Agent for supporting distributed knowledge modelling in interactive product design
A new hybrid machine design for a 6 DOF industrial robot arm
An efficient algorithm for mining sequential generator pattern using prefix trees and hash tables
Local directional gradients extension for recognising face and facial expressions
Automatic detection classification and area calculation of brain tumour in MRI using wavelet transform and SVM classifier
Detection and recognition of vehicle licence plates using deep learning in challenging conditions: a systematic review
An object-based classification approach for surface water detection
Deep learning model for plant-leaf disease detection in precision agriculture
An improved trust model in agent-mediated e-commerce
A new method for the optical flow estimation and segmentation of moving objects 'NMES'
A proof-of-the-concept study on GuideTorch, an assistive device for the visually impaired
Force-based weld quality monitoring algorithm
Direction and control adjustment for smooth motion of wheeled mobile robots
A feature-level attention-based deep neural network model for sentence embedding
A swarm-intelligence based algorithm for face tracking
Edge extraction method for multi-frame 2D animated images based on spatiotemporal filtering
Innovative and affordable wearable solution for suppression of hand tremors
Altering the Information System for a plywood supply chain in order to tame the Bullwhip effect
Data flow tracking-based block chain modelling
Wave-based slewing and vibration control of a flexible arm
A bistatic simulation approach for a high-resolution 3D PMD (Photonic Mixer Device)-camera
Conceptual search of songs using domain ontology and semantic links
On-line security monitoring and analysis using Levenberg-Marquardt algorithm-based Neural Network
A review of the state-of-the-art of 'smart' systems in surgery
The design of a tendon-sheath-driven robot
Hybrid decision support system using PLSR-fuzzy model for GSM-based site-specific irrigation notification and control in precision agriculture
A cost effective high-speed auto-coded embedded model predictive controller
Deep learning approach for classifying ischemic stroke using DWI sequences of brain MRIs
Robust feature selection algorithm based on transductive SVM wrapper and genetic algorithm: application on computer-aided glaucoma classification
A construction method by divided double array structures
Autonomous farming: modelling and control of agricultural machinery in a unified framework
Applications of SV-GMR sensor for detecting micro non-magnetic and ferromagnetic material
Adaptive neuro-fuzzy system as a novel approach for predicting post-dialysis urea rebound
Area efficient SDR receiver without and with dynamic partial reconfiguration
Improvement of power quality in microgrids using predictive controller
Fault detection in sensors by using multiresolution signal decomposition
Optimal layout and work allocation in batch assembly under learning effect
Indirect sliding mode neural-network control for holonomic constrained robot manipulators
Design factors determining the cooperative manipulators of heterogeneous form using walking wheelchair
A facial feature tracker for human-computer interaction based on 3D Time-Of-Flight cameras
Robust adaptive tracking controller design for non-affine non-linear systems with state time-varying delay and unknown dead-zone
Soft neural network-based block chain risk estimation
Collaborative lane changing method for multiple autonomous vehicles in the internet of vehicles environment
A variable neighbourhood search structure based-genetic algorithm for combinatorial optimisation problems
Design of an agent-based system for improving supply chain strategy
Statistical assessment of nonlinear manifold detection-based software defect prediction techniques
On fusion of range and intensity information using Graph-Cut for planar patch segmentation
Stability analysis and simulation of a two DOF robotic system based on linear control system
Jitter as a quantitative indicator of dysphonia in Parkinson's disease
Extraction of mid-level semantics from gesture videos using a Bayesian network
Particle swarm optimisation with differential mutation
Real-time distributed vision-based network system for logistics applications
A novel method for selecting initial centroids in K-means clustering algorithm
Cost models - pillars for efficient cloud computing: position paper
Application of Neural Network approach for Proton Exchange Membrane fuel cell systems
Modelling and simulation of cancelling orders behaviour by driver and passenger on the ride-hailing platform
Combining RSS-SVM with genetic algorithm for Arabic opinions analysis
An improved Henry gas solubility optimisation-based feature selection approach for histological image taxonomy
Design of BTI sensor-based improved SRAM for mobile computing applications
Hybrid contextual cloud in ubiquitous platforms comprising of smartphones
Time-Of-Flight distance sensor with enhanced dynamic range
Design of generalised predictive controller for dynamic positioning system of surface ships
Techno-economic analysis of hybrid layered manufacturing
Smart dust sensor network with piezoelectric energy harvesting
A novel Arabic font recognition system based on texture feature and dynamic training
Autonomous obstacle crossing control of wall climbing robot based on fuzzy iterative Q-learning
An efficient data hiding technique in image using binary Hamming code along with particle swarm optimisation
Locating facial landmarks by support vector machine-based active shape model
Ordered weighted averaging operator used to enhance the accuracy of fuzzy predictor based on genetic algorithm
Cost efficiency of each factor in local e-governments
A proposed FPGA architecture for mean shift based object tracking with bandwidth constrained sensors
Imputation of missing sensor data values using in-exact replicas
Application and comparison of intelligent optimisation techniques for SSSC-based controller design
Palm vein recognition system based on multi-block statistical features encoding by phase response information of nonsubsampled contourlet transform
Survey of road anomalies detection methods
Personalised distributed information retrieval-based agents
The structures of EI algebras generated by information attributes
Hydrogen gas sensor based upon perylene-imide derivatives
A simplified Empirical Bayesian method to safety evaluation of traffic calming treatment for urban road systems
On-the-fly scene acquisition with a handy multi-sensor system
An integrated tool planning and production planning problem for flexible manufacturing systems using genetic algorithm
Supply chain strategy for high technology-content product and its consequences to technology transfer mechanism
Dealing with feature uncertainty in facial expression recognition
2DPCA-based techniques in DCT domain for face recognition
Calibration of focal length and 3D pose based on the reflectance and depth image of a planar object
Face recognition using threshold string representation matching under unconstrained conditions
A unified approach for design of indirect adaptive output-feedback fuzzy controller
A novel framework for labelling duplicate and non-duplicate bugs
Context aware reliable sensor selection in IoT
Design and control of a parallel robot for ankle rehabilitation
Segmentation and classification of cervix lesions by pattern and texture analysis
Gaussian noise reduction in greyscale images
Intelligent speed controller for a Switched Reluctance Motor drive using FPGA
Similar video detection using multiple direct-mapped cache
Production and distribution scheduling of Supply Chain structure using intelligent Particle Swarm Optimisation algorithm
Iterative parameter estimation and model prediction of a rotary unmanned aerial vehicle
An ECC-based authentication protocol for fog-IoT enabled smart home environment
Study on effective user registration procedure in business to business using web analytics
Spectral descriptors for the assessment of vocal fold nodules and feature optimisation using MRMR algorithm
A robotic human masticatory system: kinematics simulations
Prediction of oil production based on SVM optimised multi-objective particle swarm optimisation
A novel framework of video condensation and video retrieval process using hybrid meta-heuristic development with YOLO-based anomaly detection
Social-awareness in opportunistic networking
A new solution of solidification problems in continuous casting based on meshless method
A study on power balance control strategies of mining variable speed magnetic coupling based on fuzzy self-adaptive PID
Local search-based recommender system for computing the similarity matrix
Supporting adaptive learning in hypertext environments: a high level timed Petri net-based approach
Wind energy potential estimation with prediction of wind speed distribution
Gesture-based mouse control system based on MPU6050 and Kalman filter technique
A novel optimised GWOAN algorithm for scheduling task and power consumption in MEC network
Mining manufacturing data using genetic algorithm-based feature set decomposition
A multi-objective GA method for generating Pareto solutions for coordinated design of PSS and TCSC
Analysing the influence of dispersion of fundamentalists' valuations on the effectiveness of passive investment strategy under financial constraints
A hybrid approach to improve the quality of software fault prediction using Naïve Bayes and k-NN classification algorithm with ensemble method
Automatic classification of tags in public opinion texts directed to companies in a Brazilian complaints web page
An integrated investment decision-support framework analysing and synthesising multidimensional market dynamics
Wall-following control of an infrared sensors guided wheeled mobile robot
Real estate valuation with artificial intelligence approaches
Facial beauty analysis by age and gender
A novel rough set attribute reduction based on ant colony optimisation
Optimal mobile sensor motion planning under non-holonomic constraints for parameter estimation of distributed systems
An accurate model of a highly ordered 81/19 Permalloy AMR Wheatstone bridge sensor against a 48 pole pair ring-magnet
Computational intelligence for advanced manufacturing system management: a review
Recognition of benzene structure from handwritten chemical expression with radial basis function neural network and rule-based approach
Making machine learning useable
Video stream safety helmet recognition method based on improved faster R-CNN
Refurbishing ANN with the aid of adaptive crow search optimisation for effectively diagnosing railway wheel condition
A system for licence plate recognition using a hierarchically combined classifier
Self-tuning fuzzy logic PID controller, applications in nuclear power plants
A simple modelling of complex environments for mobile robots
A QoS-aware virtual resource pricing service based on game theory in federated clouds
Multi-SOMs for classification
Cellular neural network trainer and template optimisation for advanced robot locomotion based on genetic algorithm
Automatic Arabic text summarisation system (AATSS) based on morphological analysis
A novel edge detection filter based on fractional order Legendre-Laguerre functions
Extended causal map for reasoning explanation in multi-agent systems
Hybrid adaptive neural control for flexible manipulators
An improved adaptation algorithm for signer-independent sign language recognition
Automatic identification of rhetorical relations among intra-sentence discourse segments in Arabic
Speaking with spatial relations
Identification of crack location and intensity in a cracked beam by fuzzy reasoning
Time-jerk synthetic optimal trajectory planning of robot based on fuzzy genetic algorithm
Development of an Information Exchange Model for supporting logistics operations