yusuke1997/dblp-id-title huggingface dataset:
Synthetic Driving Conditions Data Generation Using Federated Generative Adversarial Networks
Interoperability between OPC UA and oneM2M
A robustness testing approach for SOAP Web services
Provision of adaptive guard band in elastic optical networks
ATHENA-FL: Avoiding Statistical Heterogeneity with One-versus-All in Federated Learning
Applying p-cycle protection for a reliable IPTV service in IP-over-DWDM networks
DOD-ETL: distributed on-demand ETL for near real-time business intelligence
Spreading Factor Allocation in LoRaWAN for Reliability and Delay-Constrained Smart Metering Applications
A new approach to deploy a self-adaptive distributed firewall
A data infrastructure reference model with applications: towards realization of a ScienceTube vision with a data replication service
From RockYou to RockYou2024: Analyzing Password Patterns Across Generations, Their Use in Industrial Systems and Vulnerability to Password Guessing Attacks
Predictive Fraud Detection: An Intelligent Method for Internet of Smart Grid Things Systems
Lessons learned from applying social network analysis on an industrial Free/Libre/Open Source Software ecosystem
A survey on predicting the popularity of web content
Access control as a service for the Cloud
Social debt in software engineering: insights from industry
Vehicular communications: emergency video streams and network coding
Smartphone-based outlier detection: a complex event processing approach for driving behavior detection
Evaluation of Trajectory and Destination Prediction Models: A Systematic Classification and Analysis of Methodologies and Recent Results
Ordered asymptotic classes of finite structures
Uncountable homogeneous structures
Non-well-founded trees in categories
Structural properties of Q-degrees of n-c. e. sets
The Primal Framework II: Smoothness
Constructive equivalence relations on computable probability measures
Tableaux for constructive concurrent dynamic logic
Long games and σ -projective sets
Probability propagation rules for Aristotelian syllogisms
Computational complexity of quantifier-free negationless theory of field of rational numbers
Herbrand's theorem as higher order recursion
The ⁎-variation of the Banach-Mazur game and forcing axioms
Van Douwen's diagram for dense sets of rationals
On the number of strongly aleph ε -saturated models of power λ
Dependence relations in computably rigid computable vector spaces
Strong Splitting in Stable Homogeneous Models
A Categorical Approach to the Theory of Computation
Farewell and welcome
Selective covering properties of product spaces
Scott rank of Polish metric spaces
Interpolating d-r.e. and REA Degrees between r.e. Degrees
The metamathematics of random graphs
First order tameness of measures
Isomorphism Property in Nonstandard Extensions of the ZFC Universe
Induction-recursion and initial algebras
A Boolean Model of Ultrafilters
Morasses, diamond, and forcing
Deciding the E + - class by an a posteriori, liftable order
Analytic Ideals and Their Applications
Rudimentary and arithmetical constructive set theory
Dividing and forking in random hypergraphs
Formal Zariski topology: Positivity and points
The theory of modules of separably closed fields 2
On Pi-Conversion in the lambda-Cube and the Combination with Abbreviations
Typability and Type Checking in System F are Equivalent and Undecidable
The category dichotomy for ideals
The strength of infinitary Ramseyan principles can be accessed by their densities
Frege systems for extensible modal logics
A model of Cummings and Foreman revisited
Some model-theoretic correspondences between dimension groups and AF algebras
Universal proof theory: Semi-analytic rules and Craig interpolation
Independence of Boolean algebras and forcing
On properties of theories which preclude the existence of universal models
Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
Superstable Quasi-Varieties
Measures and forking
A microscopic approach to Souslin-tree construction, Part II
An intensional fixed point theory over first order arithmetic
There is no recursive link between the k-size of a model and its cardinality
A Bounded Arithmetic AID for Frege Systems
Club isomorphisms on higher Aronszajn trees
On Variants of o-Minimality
The unfolding of non-finitist arithmetic
Intersections of algebraically closed fields
Corrigendum and addendum to: " L -algebras and three main non-classical logics" [Ann. Pure Appl. Log. 173 (7) (2022) 103121]
Unidimensional Modules: Uniqueness of Maximal Non-Modular Submodels
Decidability and definability with circumscription
Peano arithmetic, games and descent recursion
Imaginaries in pairs of algebraically closed fields
Logical omniscience as infeasibility
Computational complexity for bounded distributive lattices with negation
Algebraic proof theory for substructural logics: Cut-elimination and completions
Implication and analysis in classical frege structures
Gödel algebras free over finite distributive lattices
First-order model theory of free projective planes
Interpolation theorems for intuitionistic predicate logic
Edge distribution and density in the characteristic sequence
Dual realizability in symmetric logic
Kolmogorov-Loveland randomness and stochasticity
The singleton degrees of the Σ20 sets are not dense
Linear Logic as a Logic of Computations
The Indestructability of the Order of the Indescribable Cardinals
On existential definitions of c.e. subsets of rings of functions of characteristic 0
What is relevance logic?
A Sharpened Version of McAloon's Theorem on Initial Segments of Models of I Delta 0
Products of sequential CLP-compact spaces are CLP-compact
Towards the Computational Complexity of PR omega -Terms
Generic Copies of Countable Structures
Erratum to: "Scott rank of Polish metric spaces" [Ann. Pure Appl. Logic 165 (12) (2014) 1919-1929]
The Logic of Arithmetical Hierarchy
Sound, totally sound, and unsound recursive equivalence types
Simplicity and uncountable categoricity in excellent classes
Jumping with Random Reals
Realisability for infinitary intuitionistic set theory
Algebraically closed MV-algebras and their sheaf representation
A Uniform Method for Proving Lower Bounds on the Computational Complexity of Logical Theories
Order algebraizable logics
Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation
Sometimes Slow Growing is Fast Growing
On Speedable and Levelable Vector Spaces
The structure of the s-degrees contained within a single e-degree
The variable hierarchy for the games µ-calculus
Quantifier Elimination for Modules with Scalar Variables
Ramsey type properties of ideals
Definable MAD families and forcing axioms
Large sets in intuitionistic set theory
RRC-Fields with Small Absolute Galois Groups
Epimorphism surjectivity in varieties of Heyting algebras
Weakly o-minimal nonvaluational structures
Computability in Europe 2011
Primitive iteration and unary functions
Computable de Finetti measures
Model-theoretic aspects of Sigma-cotorsion modules
A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface
Inductive Rings and Fields
Real Numbers, Continued Fractions and Complexity Classes
Cantor theorem and friends, in logical form
Succinct definitions in the first order theory of graphs
Erratum to "Zero-one laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157-193]
Aletheia in Greek thought until Aristotle
Finite, integral, and finite-dimensional relation algebras: a brief history
Classifiable theories without finitary invariants
Admissible rules for six intuitionistic modal logics
Applications of pcf for mild large cardinals to elementary embeddings
An Extension of Borel Determinacy
Pi 1 2 Wadge Degrees
Dynamic Linear Time Temporal Logic
The incompleteness theorems after 70 years
Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
Distal and non-distal NIP theories
Alternating minima and maxima, Nash equilibria and Bounded Arithmetic
Carlson-Simpson's lemma and applications in reverse mathematics
On the lambda Y calculus
Fluctuations, effective learnability and metastability in analysis
A Simple Type Theory with Partial Functions and Subtypes
Honest elementary degrees and degrees of relative provability without the cupping property
A first order logic for specification of timed algorithms: basic properties and a decidable class
Circuit lower bounds in bounded arithmetics
Regular opens in constructive topology and a representation theorem for overlap algebras
Boundedness Theorems for Dilators and Ptykes
Essential and density topologies of continuous domains
Evidence and plausibility in neighborhood structures
Loeb Extensions and Ultrapowers of Measures on Fragments
Counterexamples to a Conjecture on Relative Categoricity
Club stationary reflection and other combinatorial principles at ℵ+2
A model-theoretic characterization of the weak pigeonhold principle
Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles
Almost free groups and Ehrenfeucht-Fraïssé games for successors of singular cardinals
Ordinal arithmetic based on Skolem hulling
Cartesian closed Dialectica categories
Inquisitive logic as an epistemic logic of knowing how
Forcing closed unbounded subsets of Omega 2
The intrinsic topology of Martin-Löf universes
Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II
Is There a Set of Reals Not in K(R)?
Quadratic forms in models of IΔ 0 +Ω 1 , Part II: Local equivalence
Logic Colloquium '95, Haifa, Israel, 9-17 August 1995 - Preface
Computably enumerable sets below random sets
Ramsey Ultrafilters and the Reaping Number - Con(r<u)
The structure of random automorphisms of the random graph
Ranks and pregeometries in finite diagrams
Joint AILA-KGS Model Theory Meeting, Florence, Italy, 21-24 August 1995 - Preface
Preserving and constructing multiple gaps
On Distinguishing Quotients of Symmetric Groups
On ω-categorical, generically stable groups and rings
Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation
Decidability without mathematics
Maximal theories
Decidability questions for a ring of Laurent polynomials
Model Theory of Modules Over a Serial Ring
Lattices of Modal Logics and Their Groups of Automorphisms
On the existence and disjunction properties in structural set theory
End Extensions of Models of Linearly Bounded Arithmetic
Proof mining in L 1 -approximation
Notions of symmetry n set theory with classes
Abstract elementary classes stable in ℵ 0
Dynamic Notions of Genericity and Array Noncomputability
Indiscernible Sequences for Extenders, and the Singular Cardinal Hypothesis
Asymptotic probabilities of extension properties and random l-colourable structures
Generically computable linear orderings
Faith & falsity
Erratum to "Elimination of unbounded quantifiers for some poly-regular groups of infinite rank" [Ann. Pure Appl. Logic 149 (1-3) (2007) 40-80]
A forcing axiom for a non-special Aronszajn tree
Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
Tarski, truth and natural languages
Logics of intuitionistic Kripke-Platek set theory
More on lower bounds for partitioning alpha-large sets
Bounded functional interpretation
Groups of Dimension Two and Three Over o-Minimal Structures
Contraction-Elimination for Implicational Logics
Probing the quantitative-qualitative divide in probabilistic reasoning
Turing Degrees of Certain Isomorphic Images of Computable Relations
Choice Principles in Hyperuniverses
On countably perfectly meager and countably perfectly null sets
The Primal Framework I
Squares and covering matrices
Trivial pursuit: Remarks on the main gap
A Sheaf-Theoretic Foundation for Nonstandard Analysis
Mathias-Prikry and Laver-Prikry type forcing
A Finite Lattice without Critical Triple that cannot be Embedded into the Enumerable Turing Degrees
Some remarks on the Open Coloring Axiom
The notion of independence in categories of algebraic structures, part II: S-minimal extensions
On Sigma 1 and Pi 1 Sentences and Degrees of Interpretability
Ax-Schanuel and strong minimality for the j -function
Intuitionistic axiomatizations for bounded extension Kripke models
Zero, successor and equality in BDDs
Some remarks on weak one-basedness
Tautologies and Positive Solvability of Linear Homogeneous Systems
Description of structures computable in polynomial time
Epsilon substitution method for ID 1 (Pi 1 0 or Sigma 1 0 )
Priestley-type dualities for partially ordered structures
On some definable sets over fields with analytic structure
Another Stable Group
A General Model Completeness Result for Expansions of the Real Ordered Field
Toward Classifying Unstable Theories
Asymmetric regular types
Decidable Boolean Algebras of Low Level
Ordinals and Ordinal Functions Representable in the Simply Typed lambda Calculus
Complexity of Resolution Proofs and Function Introduction
The strength of sharply bounded induction requires MSP
An o-minimal structure without mild parameterization
A sequent calculus for limit computable mathematics
On the limit existence principles in elementary arithmetic and Sigma n 0 -consequences of theories
Factorization of polynomials and Σ 1 0 induction
Exponentiation and Second-Order Bounded Arithmetic
G-dinaturality
Locally o-minimal structures and structures with locally o-minimal open core
Intuitionistic fixed point logic
Addendum to "countable algebra and set existence axioms"
Uniform Heyting arithmetic
Periodic Points and Subsystems of Second-Order Arithmetic
Independence results around constructive ZF
Toward Categoricity for Classes with no Maximal Models
An Intuitionistic Theory of Types with Assumptions of High-Arity Variables
Summable gaps
Completely Mitotic r.e. Degrees
The Structure of the Honest Polynomial m-Degrees
Characterising nested database dependencies by fragments of propositional logic
Cut-elimination for ω 1
Generalizations of Enumeration Reducibility Using Recursive Infinitary Propositional Sentences
Logic for update products and steps into the past
Local collection and end-extensions of models of compositional truth
Unstable independence from the categorical point of view
Categoricity of Theories in L k omega , with k a Compact Ordinal
Open core and small groups in dense pairs of topological structures
On second-order generalized quantifiers and finite structures
Shelah's eventual categoricity conjecture in universal classes: Part I
Classifying different criteria for learning algebraic structures
Large Cardinals and Definable Counterexamples to the Continuum Hypothesis
Number of strongly aleph ɛ -saturated models - an addition
Strong coding
Provability algebras and proof-theoretic ordinals, I
Connected components of definable groups, and o-minimality II
Homogeneous finite rings in characteristic 2 n
Preface - Invited papers presented at the 1992 IEEE Symposium on Logic in Computer Science
Unification, finite duality and projectivity in varieties of Heyting algebras
Finite computable dimension and degrees of categoricity
Power function on stationary classes
Borel Equivalence Relations Induced by Actions of the Symmetric Group
A cubical model of homotopy type theory
A complete invariant system for noetherian BL-algebras and more general L-algebras
On definable filters in computably enumerable degrees
Forcing □ ω1 with finite conditions
Delta 1 -Definability
Local induction and provably total computable functions
Quantum set theory: Transfer Principle and De Morgan's Laws
Free Boolean algebras and nowhere dense ultrafilters
Foundations for the formalization of metamathematics and axiomatizations of consequence theories
Topological Reasoning and the Logic of Knowledge
Craig interpolation for networks of sentences
Categorical linearly ordered structures
Partial automorphism semigroups
Algebraically complete semirings and Greibach normal form
Automorphisms of Recursively Saturated Models of Arithmetic
Projective Forcing
Inhabitation of polymorphic and existential types
Virtual large cardinals
Inaccessibility in Constructive Set Theory and Type Theory
Corson reflections
Large cardinals and gap-1 morasses
Cofinal types of ultrafilters
Well-Ordering, Proofs for Martin-Löf Type Theory
Regressive Partition Relations, n-Subtle Cardinals, and Borel Diagonalization
On the Semantics of the Universal Quantifier
Dp-finite fields I(B): Positive characteristic
A Course on Bimodal Provability Logic
The tree property below ℵ ω⋅2
A Note on Full Intuitionistic Linear Logic
Free p-algebras revisited: An algebraic investigation of implication-free intuitionism
Super/rosy L k Lk-theories and classes of finite structures
Some properties of κ-complete ideals defined in terms of infinite games
Parametrized Ramsey theory of infinite block sequences of vectors
Sharp Vaught's conjecture for some classes of partial orders
SOP1, SOP2, and antichain tree property
On the parallel between the suplattice and preframe approaches to locale theory
Reducing belief simpliciter to degrees of belief
Propositional Consistency Proofs
Uncountable Degree Spectra
Profiniteness, monadicity and universal models in modal logic
Model completion of Lie differential fields
A modal logic framework for reasoning about comparative distances and topology
Some properties of precompletely and positively numbered sets
The non-constructive mu operator, fixed point theories with ordinals, and the bar rule
The Real Core Model and It Scales
The Hart-Shelah example, in stronger logics
Applications of Cohomology to Set Theory I: Hausdorff Gaps
More about the cofinality and the covering of the ideal of strong measure zero sets
Lattice-ordered reduced special groups
Representation theory of MV-algebras
Completions, comonoids, and topological spaces
Generalizing proofs in monadic languages
Stable Theories, Pseudoplanes and the Number of Countable Models
Models with second order properties IV. A general method and eliminating diamonds
A Note on Applicability of the Incompleteness Theorem to Human Mind
Applying generic coding with help to uniformizations
Realizability and recursive set theory
Chang's Model and Covering Properties
Homology groups of types in stable theories and the Hurewicz correspondence
The ghosts of forgotten things: A study on size after forgetting
Logic for abstract hoop twist-structures
Semiconic idempotent logic II: Beth definability and deductive interpolation
The degrees of bi-hyperhyperimmune sets
Effective categoricity of Abelian p-groups
Induction and Skolemization in saturation theorem proving
A partially non-proper ordinal beyond L(V λ+1 )
The Bounded Injury Priority Method and the Learnability of Unions of Rectangles
Adjointness in recursion
Definably topological dynamics of p -adic algebraic groups
Interaction graphs: Multiplicatives
On Measurable Cardinals Violating the Continuum Hypothesis
Structures interpretable in models of bounded arithmetic
Direct twisted Galois stratification
Global square and mutual stationarity at the aleph n
Pure Σ 2 -elementarity beyond the core
Iterated team semantics for a hierarchy of informational types
Realizing an AD + model as a derived model of a premouse
The Monadic Second-Order Logic of Graphs IV: Definability Properties of Equational Graphs
Vector spaces with a dense-codense generic submodule
Structural and universal completeness in algebra and logic
The Lascar groups and the first homology groups in model theory
An analysis of the logic of Riesz spaces with strong unit
Proof-Theoretic Analysis of Termination Proofs
Classical proof forestry
The complexity of recursive constraint satisfaction problems
Pell Equations and Exponentiation in Fragments of Arithmetic
Thick sets and the Central Set Theorem
Synthetic domain theory and models of linear Abadi & Plotkin logic
Erratum to "Ordinal notations and well-orderings in bounded arithmetic" [Annals of Pure and Applied Logic 120 (2003) 197-223]
1-Generic degrees and minimal degrees in higher recursion theory, II
Constructibility real degrees in the side-by-side Sacks model
When is scalar multiplication decidable?
Exponentiations over the universal enveloping algebra of sl 2 (C)
First order S4 and its measure-theoretic semantics
Combinatorial problems on trees: Partitions, δ-systems and large free subtrees
Tracking chains of Σ 2 -elementarity
On Feferman's operational set theory OST
Abstract elementary classes and infinitary logics
Classical and effective descriptive complexities of omega-powers
Big Ramsey degrees in ultraproducts of finite structures
Delimited control operators prove Double-negation Shift
A standard model of Peano arithmetic with no conservative elementary extension
The Complexity of Horn Fragments of Linear Logic
Decidability bounds for Presburger arithmetic extended by sine
Nonstandard second-order arithmetic and Riemann's mapping theorem
Forcing with Filters and Complete Combinatorics
Fixed Point Theory in Weak Second-Order Arithmetic
Proof theory for theories of ordinals II: Pi 3 -reflection
How Complicated is the Set of Stable Models of a Recursive Logic Program?
Pathologies in satisfaction classes
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of Σ11 collection
Cohen preservation and independence
Binary simple homogeneous structures
An Infinitary Ramsey Property
The nonstandard quantum plane
Consistent amalgamation for þ-forking
Eight Problems about Nerode Semirings (Recursive Ultrapowers)
Passive induction and a solution to a Paris-Wilkie open question
Separation logic and logics with team semantics
The minimal e-degree problem in fragments of Peano arithmetic
A game semantics for disjunctive logic programming
A generalization of the Łoś-Tarski preservation theorem
Mathias like criterion for the extender based Prikry forcing
Borel structurability on the 2-shift of a countable group
Computational complexity of the semantics of some natural language constructions
The d.r.e. Degrees are Not Dense
Pretopologies and a uniform presentation of sup-lattices, quantales and frames
Countable ordered groups and Weihrauch reducibility
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems
Some orbits for E
Generic torsion-free groups and Rubin actions
Cohesive sets and rainbows
The model-theoretic structure of abelian group rings
Observations about Scott and Karp Trees
Classification of ℵ0-categorical C-minimal pure C-sets
From Discrete to Continuous Time
Modeling linear logic with implicit functions
Dominoes and the Complexity of Subclasses of Logical Theories
Fixed-Parameter Tractability and Completeness IV: On Completeness for W[P] and PSPACE Analogues
The bounded proof property via step algebras and step frames
Weak Comparability of Well Orderings and Reverse Mathematics
Decidable properties for monadic abstract state machines
Cut elimination for a simple formulation of epsilon calculus
Vaught's conjecture for weakly o-minimal theories of convexity rank 1
Tukey order, calibres and the rationals
On Fraïssé's conjecture for linear orders of finite Hausdorff rank
Martin's Maximum and the P max axiom(*)
On the Complexity of Finding the Chromatic Number of a Recursive Graph I: The Bounded Case
Sigma 5 -Completeness of Index Sets Arising from the Lattice of Recursively Enumerable Sets
A theorem and some consistency results in partition calculus
Automorphisms of P(ω)/fin and large continuum
Continuous L-domains in logical form
Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]
Negation and partial axiomatizations of dependence and independence logic revisited
Generalized amalgamation and n-simplicity
Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators
On the Lattices of NP-Subspaces of a Polynomial Time Vector Space over a Finite Field
Generic Automorphisms of Fields
A completeness result for the simply typed lambdaµ-calculus
Canonical structure in the universe of set theory: part two
On elementary logics for quantitative dependencies
A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface Δn-11 well-orderings
On universal graphs without instances of CH
D-completions and the d-topology
Intuitionistic nonstandard bounded modified realisability and functional interpretation