yusuke1997/dblp-id-title huggingface dataset:
Experimental Evaluation of Three-Step Cell Search Method in W-CDMA Mobile Communications
Reliable Decentralized Supervisory Control of Discrete Event Systems with Single-Level Inference
Vehicle Detection Based on an Imporved Faster R-CNN Method
Outsider-Anonymous Broadcast Encryption with Keyword Search: Generic Construction, CCA Security, and with Sublinear Ciphertexts
PoS Blockchain-Based Forward-Secure Public Key Encryption with Immutable Keys and Post-Compromise Security Guarantees
Low-Light Image Enhancement Method Using a Modified Gamma Transform and Gamma Filtering-Based Histogram Specification for Convex Combination Coefficients
Modified Kernel RLS-SVM Based Multiuser Detection over Multipath Channels
Quantum Collision Resistance of Double-Block-Length Hashing
On CCZ-Equivalence between a Family of Brivariate APN Polynomials and Power Functions
Sketch Face Recognition via Cascaded Transformation Generation Network
Unified Likelihood Ratio Estimation for High- to Zero-Frequency N -Grams
Complexity Reduction of the Gazelle and Snyders Decoding Algorithm for Maximum Likelihood Decoding
High-Density Knapsack Cryptosystem Using Shifted-Odd and Super-Increasing Sequence
A Feasible Scheme for the Backward Transmission in the Three-User X Channel with Reciprocal Propagation Delay
A Boltzmann Machine with Non-rejective Move
SAT-Based Analysis of Related-Key Impossible Distinguishers on Piccolo and (Tweakable) TWINE
More Efficient Two-Round Multi-Signature Scheme with Provably Secure Parameters for Standardized Elliptic Curves
Clock Drift Compensation for Master-Slave Clock Synchronization in EtherCAT Networks
A CMOS Reaction-Diffusion Circuit Based on Cellular-Automaton Processing Emulating the Belousov-Zhabotinsky Reaction
Joint BCH and XOR Decoding for Solid State Drives
Optimal Diagnosable Systems on Cayley Graphs
Experimental Study of Fault Injection Attack on Image Sensor Interface for Triggering Backdoored DNN Models
Gain-Scheduled Control for an Active Suspension System with an Asymmetric Hydraulic Actuator
On the Signal-to-Noise Ratio for Boolean Functions
A New Modulation Technique Based on Pulse Position Modulation and Code Shift Keying
A Framework for Modeling Airspace Traffic Flow without Using Any Specific Waypoints
Accurate BER Approximation for SIM with BPSK and Multiple Transmit Apertures over Strong Atmospheric Turbulence
BayesianPUFNet: Training Sample Efficient Modeling Attack for Physically Unclonable Functions
GNN-Opt: Enhancing Automated Circuit Design Optimization with Graph Neural Networks
Counting Convex and Non-Convex 4-Holes in a Point Set
Fast On-Chip Inductance Extraction of VLSI Including Angled Interconnects
Time-Optimal Self-Stabilizing Leader Election on Rings in Population Protocols
Improving Practical UC-Secure Commitments based on the DDH Assumption
Impulse-Noise-Tolerant Data-Selective LMS Algorithm
Listing All Connected Plane Triangulations
Asymptotically Optimal Codebooks in Regard to the Welch Bound with Characters
Mean Squared Error Analysis of Noisy Average Consensus
Efficient Diagnosis Algorithms on Butterfly Networks under the Comparison Approach
Packer Identification Method for Multi-Layer Executables Using Entropy Analysis with k -Nearest Neighbor Algorithm
Internal-State Reconstruction of a Stream Cipher RC4
Face Hallucination via Multi-Scale Structure Prior Learning
Constrained Location Algorithm Using TDOA Measurements
An Efficient ARQ Scheme under IEEE 802.11ac Error Channel
Deep Learning-Inspired Automatic Minutiae Extraction from Semi-Automated Annotations
IETQ : An Incrementally Extensible Twisted Cube
FL-GAN: Feature Learning Generative Adversarial Network for High-Quality Face Sketch Synthesis
CA-SCA: Non-Profiled Deep Learning-Based Side-Channel Attacks by Using Cluster Analysis
Faster Key Generation of Supersingular Isogeny Diffie-Hellman
A New Construction of Three-Phase Z-Complementary Triads Based on Extended Boolean Functions
Speech Emotion Detection Using Fusion on Multi-Source Low-Level Information Based Recurrent Branches
A Dynamical N-Queen Problem Solver Using Hysteresis Neural Networks
Design of Delta-Sigma Modulators for Closed Loop Systems with Quantization and Saturation
Far-End Crosstalk Voltage for a CMOS-IC Inverter Load
A New Factoring Method of Integers N = p r ✕ q for Large r
On the Crossing Number of a Torus Network
A New Traitor Tracing
A New Technique of Reduction of MEI Coefficient Computation Time for Scattering Problems
A Self-Learning Analog Neural Processor
Siamese Attention-Based LSTM for Speech Emotion Recognition
Further Results on Passification of Non-square Linear Systems Using an Input-Dimensional Compensator
Signature Codes to Remove Interference Light in Synchronous Optical Code-Division Multiple Access Systems
Zero-Order-Hold Triggered Prescribed-Time Control of a Chain of Integrators
Weak Coupling Causes Non-monotonic Changes and Bifurcations in the Interspike Intervals in the BVP Model with High-Frequency Input and Noise
New Distinguishing Attacks on Round-Reduced Sparkle384 and Sparkle512 Permutations
Virtualizing DVFS for Energy Minimization of Embedded Dual-OS Platform
A 16/32Gbps Dual-Mode SerDes Transmitter with Linearity Enhanced SST Driver
Code Orthogonalizing Filter Based Adaptive Array Antenna Using Common Correlation Matrix of Time Domain Signals for Multicarrier DS/CDMA Systems
A Study of a Stable Driving Circuit for Arbitrary-Shaped Electroluminescent Elements
Convolutional Neural Networks Based Dictionary Pair Learning for Visual Tracking
Scaling Algorithms for M-Convex Function Minimization
Digital Watermarking Method to Embed Index Data into JPEG Images
A Retargetable Simulator Generator for DSP Processor Cores with Packed SIMD-type Instructions
Non-Closure Properties of Multi-Inkdot Nondeterministic Turing Machines with Sublogarithmic Space
Semantically Secure McEliece Public-Key Cryptosystem
Datapath-Layout-Driven Design for Low-Power Standard-Cell LSI Implementation
A Novel Fixed-Point Conversion Methodology For Digital Signal Processing Systems
A New Approach to Fuzzy Modeling Using an Extended Kernel Method
Anticontrol of Chaos for Continuous-Time Systems
Continuous-Time Modeling of a Hysteretic DC-DC Converter Using an Amplifier Model in Place of the Hysteretic Comparator
Mixture Density Models Based on Mel-Cepstral Representation of Gaussian Process
Formal Verification of Challenge Flow in EMV 3-D Secure and Its Improvement
Angle Adjustment for Sampling Frequency Offset Estimation of OFDM-Based WLANs
Brightness Preserving Generalized Histogram Equalization with High Contrast Enhancement Ability
Performance Evaluation of Lossless/Lossy Wavelets for Image Compression under Lossless/Lossy Coding Criterion
Three-Stage Padding Configuration for Sparse Arrays with Larger Continuous Virtual Aperture and Increased Degrees of Freedom
Spectral Reflectance Reconstruction Based on BP Neural Network and the Improved Sparrow Search Algorithm
Instruction Prefetch for Improving GPGPU Performance
Use of Chaotic Switching in Electronic Ballasts
Effects of Initial Configuration on Attentive Tracking of Moving Objects Whose Depth in 3D Changes
Compositional Service-Based Construction of Multi-Party Time-Sharing-Based Protocols
A Stopping Criterion for Symbol Flipping Decoding of Non-Binary LDPC Codes
An Efficient Requantization for Transcoding of MPEG Video
A New Pairing-Based Two-Round Tightly-Secure Multi-Signature Scheme with Key Aggregation
Data-Aided SMI Algorithm Using Common Correlation Matrix for Adaptive Array Interference Suppression
Active Vibration Control of Nonlinear 2DOF Mechanical Systems via IDA-PBC
A Source Model with Probability Distribution over Word Set and Recurrence Time Theorem
Distributed Array Unscented Information Filter for Moving Target DOA Tracking
Non Line-of-Sight Microwave Propagation Characterization for Personal Communications with High-Tier Base Station Antenna
A New Construction of ( m + k , m )-Functions with Low Differential Uniformity
On Traffic Flow Evaluation for a Multimodal Transport Society
A CFAR Detection Algorithm Based on Clutter Knowledge for Cognitive Radar
A 26-GHz-Band High Back-Off Efficiency Stacked-FET Power Amplifier IC with Adaptively Controlled Bias and Load Circuits in 45-nm CMOS SOI
Software Obfuscation on a Theoretical Basis and Its Implementation
Making General Dilution Graphs Robust to Unbalanced-Split Errors on Digital Microfluidic Biochips
A New 10-Variable Cubic Bent Function Outside the Completed Maiorana-McFarland Class
Varying Appearance Speed Problem in System Modeling and a Solution via Rate Independent Memory
Realistic Delay Calculation Based on Measured Intra-Chip and Inter-Chip Variabilities with the Size Dependence
A Minimal Modeling of Neuronal Burst-Firing Based on Bifurcation Analysis
Construction of Cyclic Codes Suitable for Iterative Decoding via Generating Idempotents
An Adaptively Biased OFDM Based on Hartley Transform for Visible Light Communication Systems
An Optimal Power Allocation Scheme for Device-to-Device Communications in a Cellular OFDM System
Triangle Projection Algorithm in ADMM-LP Decoding of LDPC Codes
On-Line Edge-Coloring Algorithms for Degree-Bounded Bipartite Graphs
An Enhanced HDPC-EVA Decoder Based on ADMM
The Modified CP-AFC with Multi-Stage Tracking Mode for WCDMA Reverse Link Receiver
Approximability of the Minimum Maximal Matching Problem in Planar Graphs
On the Problem of Generating Mutually Independent Random Sequences
Evaluation of Temporal Characteristics of Olfactory Displays with Different Structures
Standard Cell Structure and Diffusion Reordering for Block Area Reduction in Double Diffusion Break FinFET Process
Occurrence Prediction of Dislocation Regions in Photoluminescence Image of Multicrystalline Silicon Wafers Using Transfer Learning of Convolutional Neural Network
EDC-UNet: A Pulmonary Nodule Segmentation Method Based on Edge Detail Enhancement
Number of Failed Components in Consecutive- k -out-of- n : G Systems and Their Applications in Optimization Problems
APVAS: Reducing the Memory Requirement of AS_PATH Validation by Introducing Aggregate Signatures into BGPsec
Boolean Functions with Two Distinct Nega-Hadamard Coefficients
Noise Removal from Highly Corrupted Color Images with Adaptive Neighborhoods
User's Activities when Using Mobility as a Service - Results of the Smart Mobility Challenge Project 2020 and 2021 -
Edge Device Verification Techniques for Updated Object Detection AI via Target Object Existence
Analysis of Switched Dynamical Systems in Perspective of Bifurcation and Multiobjective Optimization
Analysis of Superstable Phenomena Generated by Piecewise-Constant Chaotic Spiking Oscillator with State-Dependent Switching
Nonlinear System Control Using Compensatory Neuro-Fuzzy Networks
Orthogonal Chaotic Binary Sequences Based on Tent Map and Walsh Functions
A System Architecture for Mobility as a Service in Autonomous Transportation Systems
Sea Clutter Image Segmentation Method of High Frequency Surface Wave Radar Based on the Improved Deeplab Network
Study of Safe Elliptic Curve Cryptography over Gaussian Integer
Nonnegative Matrix Factorization with Minimum Correlation and Volume Constrains
A Simple Power Attack on a Randomized Addition-Subtraction Chains Method for Elliptic Curve Cryptosystems
Experimental Evaluations on Learning-Based Inter-Radar Wideband Interference Mitigation Method
A Fundamental Theory for Operation of Network Systems Extraordinarily Complicated and Diversified on Large-Scales
New Infinite Classes of 0-APN Power Functions over 𝔽 2 n
An Equivalent MOSFET Cell Using Adaptively Biased Source-Coupled Pair
Multi-Cycle Path Detection for Sequential Circuits and Its Application to Real Designs
Scheduling Trees onto Hypercubes and Grids
m -to-1 Mappings over Finite Fields 𝔽 q
Thermal Noise Analysis of Ring Amplifier in Cyclic Analog-to-Digital Converter
A Composition Theorem via f -Divergence Differential Privacy
Minimization of Energy Consumption in TDMA-Based Wireless-Powered Multi-Access Edge Computing Networks
Progressive Multi-Scale Learning for Remote Sensing Image Super-Resolution with Residual Prior
Independent Component Analysis (ICA) and Method of Estimating Functions
Upper Bounds and Constructions of Locating Arrays
An Analysis of Local BTI Variation with Ring-Oscillator in Advanced Processes and Its Impact on Logic Circuit and SRAM
Design of Full State Observer Based on Data-Driven Dual System Representation
An Ultra-Broad-Band Bridge-Type MMIC Switch Operating up to Millimeter-Wave Bands
Learning-Based WiFi Traffic Load Estimation in NR-U Systems
Approximation-Based System Implementation for Real-Time Minimum Energy Point Tracking over a Wide Operating Performance Region
Hybrid Iterative Annealing Method Using a Quantum Annealer and a Classical Computer and Its Evaluation
CAA-Net: End-to-End Two-Branch Feature Attention Network for Single Image Dehazing
Polynomial Representation of a Visual Secret Sharing Scheme and Its Application
Efficient Wafer-Level Spatial Variation Modeling for Multi-Site RF IC Testing
U-Net Architecture for Ancient Handwritten Chinese Character Detection in Han Dynasty Wooden Slips
Parallel Evolutionary Design of Constant-Coefficient Multipliers
Systematic Offset Voltage Reduction Methods Using Half-Circuit of Input Stage in the Two-Stage CMOS Operational Amplifiers and Comparators
Target Tracking for Maneuvering Targets Using Multiple Model Filter
International Competition on Graph Counting Algorithms 2023
A Zero-Voltage-Switching Quasi-Resonant Flyback and Forward Composite DC-DC Converter
Convex Grid Drawings of Plane Graphs with Pentagonal Contours on O ( n 2 ) Grids
Occlusion Avoidance Behavior During Gazing at a Rim Drawn by Blue-Yellow Opposite Colors
Quality-Driven Design for Video Applications
Hardware Trojan Detection Method Based on Enhanced Local Outlier Factor
A Congestion Control Algorithm Suitable for Multimedia IP Communications over Mobile Networks
Practical Integral Distinguishers on SNOW 3G and KCipher-2
WiFi Fingerprint Based Indoor Positioning Systems Using Estimated Reference Locations
Rank Metric Codes and Their Galois Duality
Stability Analysis and Control of Decision-Making of Miners in Blockchain
Analysis of Border-Collision Bifurcations in a Flow Model of a Switching System
Improving the Recognition Accuracy of a Sound Communication System Designed with a Neural Network
Activation-Aware Slack Assignment Based Mode-Wise Voltage Scaling for Energy Minimization
Semantic Guided Infrared and Visible Image Fusion
Robust Blind Watermarking Algorithm Based on Contourlet Transform with Singular Value Decomposition
The Chromatic Number and the Chromatic Index of de Bruijn and Kautz Digraphs
Monaural Speech Enhancement with Attention Augmented Dual-Path CRN and Short Time Discrete Cosine Transform
On Irreducibility of the Stream Version of Asymmetric Binary Systems
Dual-Path Convolutional Neural Network Based on Band Interaction Block for Acoustic Scene Classification
Concatenated LDPC/Trellis Codes: Surpassing the Symmetric Information Rate of Channels with Synchronization Errors
Polarity Classification of Social Media Feeds Using Incremental Learning - A Deep Learning Approach
Nonseparable 2D Lossless Transforms Based on Multiplier-Free Lossless WHT
Achieving Ultra-Low Latency for Network Coding-Aware Multicast Fronthaul Transmission in Cache-Enabled C-RANs
Enabling a MAC Protocol with Self-Localization Function to Solve Hidden and Exposed Terminal Problems in Wireless Ad Hoc Networks
Analysis of Sampling Aperture Impact on Nyquist Folding Receiver Output
Adaptive Beamforming Switch in Realistic Massive MIMO System with Prototype
Influence of Chip Frequency on Characterizing Radio Channels for Rake Receiver Fingers for CDMA Systems in Microcellular Environment
A Truncated Polynomial Interpolation and Its Application to Polynomially WLS Design of IIR Filters
Sequence-Based Schemes for Broadcast and Unicast under Frequency Division Duplex
An Untraceable Blind Signature Scheme
A Dual-Branch Algorithm for Semantic-Focused Face Super-Resolution Reconstruction
On the Number of Affine Equivalence Classes of Vectorial Boolean Functions and q -Ary Functions
Faithfully Truncated Adder-Based Area-Power Efficient FIR Design with Predefined Output Accuracy
A Simple Upper Bound on the Channel Capacity of Coherent FSO System for Binary Inputs over Atmospheric Turbulence Channels
Algebraic Hopfield Network
Efficient Spectral Analysis of TDX-Families PCM Signal Acquisition System with the QFT
Constructions of Binary Sequence Pairs of Length 5 q with Optimal Three-Level Correlation
Leakage Power Reduction for Battery-Operated Portable Systems
Scalable Parasitic Components Model of CMOS for RF Circuit Design
Distortion Analysis of RF Power Amplifier Using Probability Density of Input Signal and AM-AM Characteristics
Convergence Acceleration via Chebyshev Step: Plausible Interpretation of Deep-Unfolded Gradient Descent
Subband Adaptive Array for Multirate Multicode DS-CDMA Systems
UEO Channel Routing Algorithm to Alleviate Local Congestion for Generalized Channels
A Multi-Channel Biomedical Sensor System with System-Level Chopping and Stochastic A/D Conversion
Efficient Relative Time-Stamping Scheme Based on the Ternary Link
A New Provably Secure Signature Scheme
Noise Estimation Using High Frequency Regions for Spectral Subtraction
Spectrum Sensing with Selection Diversity Combining in Cognitive Radio
A Study on the Effect of Turbo Codes in Cyclostationary Gaussian Noise Processes
Structural Analysis of Nonbinary Cyclic and Quasi-Cyclic LDPC Codes with α-Multiplied Parity-Check Matrices
Diversity Reception and Interference Cancellation for Receivers Using Antenna with Periodically Variable Antenna Pattern
A Low-Complexity QR Decomposition with Novel Modified RVD for MIMO Systems
Shield-Based Safe Control with Compensation of Computation Delays of Nonlinear Discrete-Time Systems
Analysis of Decoding Error Probability of Spatially "Mt. Fuji" Coupled LDPC Codes in Waterfall Region of the BEC
Sampling Set Selection for Bandlimited Signals over Perturbed Graph
Time-Series Prediction Based on Double Pyramid Bidirectional Feature Fusion Mechanism
Performance Evaluation of Concurrent System Using Formal Model: Simulation Speedup
Post-Quantum Anonymous One-Sided Authenticated Key Exchange without Random Oracles
Efficient Construction of Encoding Polynomials in a Distributed Coded Computing Scheme
Shape-Aware Convolution with Convolutional Kernel Attention for RGB-D Image Semantic Segmentation
Four Classes of Bivariate Permutation Polynomials over Finite Fields of Even Characteristic
Concatenated Permutation Codes under Chebyshev Distance
Implementing Optical Analog Computing and Electrooptic Hopfield Network by Silicon Photonic Circuits
Construction of Two Kinds of Optimal Wide-Gap Frequency-Hopping Sequence Sets
Slot Assignment Method for CDMA/NC-PRMA Systems in Multi-Cell Environments
New Binary Sequences with Low Odd Correlation via Interleaving Technique
A Multi-Agent Based Manufacturing Resource Planning and Task Allocation System
Locally Repairable Codes from Cyclic Codes and Generalized Quadrangles
On the Feasibility of Identity-Based Encryption with Equality Test against Insider Attacks from Weaker Assumptions
Current Differencing Buffered Amplifiers Based Single Resistance Controlled Quadrature Oscillator Employing Grounded Capacitors
VLSI Architecture and Implementation for Speech Recognizer Based on Discriminative Bayesian Neural Network
Information-Theoretic Perspectives for Simulation-Based Security in Multi-Party Computation
( M +1)st-Price Auction Protocol
New Security Index for Digital Fingerprinting and Its Bounds
Tight Upper Bound on the Bit Error Rate of Convolutional Codes over Correlated Nakagami- m Fading Channels
Parameter Estimation and Image Restoration Using the Families of Projection Filters and Parametric Projection Filters
Application of Adversarial Training in the Detection of Calcification Regions from Dental Panoramic Radiographs
An Iterative Decoding Algorithm for Channels with Additive Linear Dynamical Noise
A Reconfigurable 74-140Mbps LDPC Decoding System for CCSDS Standard
Extracting Temporal Firing Patterns of Neurons from Noisy Data
Two Types of Polyphase Sequence Sets for Approximately Synchronized CDMA Systems
RAMST-CNN: A Residual and Multiscale Spatio-Temporal Convolution Neural Network for Personal Identification with EEG
A Method for Improving Fast Correlation Attack Using Parity Check Equations Modifications
Elevation Filter Design for Short-Range Clutter Suppression on Airborne Radar in MIMO System
Joint DOA and DOD Estimation Using KR-MUSIC for Overloaded Target in Bistatic MIMO Radars
Pixel Variation Characteristics of a Global Shutter THz Imager and its Calibration Technique
Direction-of-Arrival Estimation Based on Time-Modulated Coprime Arrays
A Retransmission Scheme in IEEE 802.11be Synchronized Multi-Link WLANs
Towards Finding Better Differentials on Multiple-Branch-Based Structures with the SAT Method
A New Cryptanalysis Against UOV-Based Variants MAYO, QR-UOV and VOX
Optical CDMA Scheme Using Generalized Modified Prime Sequence Codes and Extended Bi-Orthogonal Codes
Temporal Ensemble SSDLite: Exploiting Temporal Correlation in Video for Accurate Object Detection
Improvement of Final Exponentiation for Pairings on BLS Curves with Embedding Degree 15
A New Approach for Efficient Computation of Joint Reliability Importance
On Construction of Uniform Color Spaces
Two New Families of Asymptotically Optimal Codebooks from Characters of Cyclic Groups
Output Tracking Control Using Adaptive Backstepping/High Order Sliding Modes
Fingerprint Restoration Using Digital Reaction-Diffusion System and Its Evaluation
New Constructions of Optimal Symmetrical Z-Complementary Code Sets
Privacy Preserving Function Evaluation Using Lookup Tables with Word-Wise FHE
Robust Adaptive Beamforming Based on the Effective Steering Vector Estimation and Covariance Matrix Reconstruction against Sensor Gain-Phase Errors
A Consideration on Very Low Phase Noise Oscillator Circuit
A Cyclic Window Algorithm for Elliptic Curves over OEF
A User Allocation Method for DASH Multi-Servers Considering Coalition Structure Generation in Cooperative Game
Thermal-Comfort Aware Online Co-Scheduling Framework for HVAC, Battery Systems, and Appliances in Smart Buildings
A Time-Varying Subband Transform with Projection-Based Reconstruction
Search for 9-Variable Boolean Functions with the Optimal Algebraic Immunity-Resiliency Trade-Off and High Nonlinearity
HERBRAND's Fundamental Theorem in the Eyes of JEAN VAN HEIJENOORT
A Proof-Theoretic Semantics for Exclusion
A Bunch of Diagrammatic Methods for Syllogistic
Three-Dimensional Affine Spatial Logics
Correction to: Sequent Systems for Negative Modalities
Admissibility in Positive Logics
The Scope of Gödel's First Incompleteness Theorem
On the Historical Transformations of the Square of Opposition as Semiotic Object
Axiomatising the Prior Future in Predicate Logic
The Concept of Relevance and the Logic Diagram Tradition
A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos
Eigenlogic in the Spirit of George Boole
Special Issue on Multimodal Logics: A Preface
Internal Diagrams and Archetypal Reasoning in Category Theory
Maximum Segments as Natural Deduction Images of Some Cuts
Characteristic Formulas of Partial Heyting Algebras
The Classical Constraint on Relevance
Introducing H , an Institution-Based Formal Specification and Verification Language
Relative Contradictoriness
Structures of Opposition and Comparisons: Boolean and Gradual Cases
Implicational Tonoid Logics: Algebraic and Relational Semantics
Proofs and Countermodels in Non-Classical Logics
Preface: Medieval Logic
Pavel Florensky's Theory of Religious Antinomies
Theory of Completeness for Logical Spaces
Two Semantical Approaches to Paraconsistent Modalities
A Cube of Opposition for Predicate Logic
Truth, Preservation of Truth and Semantic Paradoxes
Knowability and Other Onto-theological Paradoxes
The 'Only Possible Argument' of Kant: A Critical Reconstruction
Locally Tabular \(\ne \) Locally Finite
Craig Interpolation in the Presence of Unreliable Connectives
Nominalism and Semantics in Abelard and Ockham
Fraïssé's Construction from a Topos-Theoretic Perspective