yusuke1997/dblp-id-title huggingface dataset:
The Nikodym property and filters on ømega
Creature forcing and large continuum: the joy of halving
Generic compactness reformulated
Measurability in modules
The large cardinals between supercompact and almost-huge
Tameness in generalized metric structures
Sets of points of symmetric continuity
Fuzzy power structures
Applications of the topological representation of the pcf-structure
The continuum as a formal space
Connected components of graphs and reverse mathematics
Various forms of infinity for finitely supported structures
Big Ramsey degrees in universal inverse limit structures
Shelah's work on non-semi-proper iterations, I
Compact and ϖ-compact formulas in 51-151-151-1
Degree spectra of real closed fields
A note on uniform density in weak arithmetical theories
On the non-existence of κ-mad families
Representability and compactness for pseudopowers
Mengentheoretische Modelle des λK -Kalküls
A classification of the one-argument primitive recursive functions
Fragments of IOpen
Topological complexity of locally finite omega -languages
Model theory of the regularity and reflection schemes
Post's problem for supertasks has both positive and negative solutions
Ab initio generic structures which are superstable but not ω-stable
Rings of algebraic numbers in infinite extensions of \mathbb Q {\mathbb {Q}} and elliptic curves retaining their rank
A Characterization of the free n -generated MV-algebra
Zur Begründung der Zweiwertigen Aussagenlogik
Simple types in discretely ordered structures
On a question of Silver about gap-two cardinal transfer principles
ZF + DC + AX4
A characterization of R -maximal sets
On Ramsey choice and partial choice for infinite families of n-element sets
A short proof of Glivenko theorems for intermediate predicate logics
Complexity of Σ 0 n -classifications for definable subsets
Reverse mathematics and rank functions for directed graphs
On the fine structure of the polygroup blow-up
Δ 2 0 -Mengen
Harrington's conservation theorem redone
Scattered and hereditarily irresolvable spaces in modal logic
Computable scott sentences for quasi-Hopfian finitely presented structures
Hereditarily effective typestreams
The spectrum of partitions of a Boolean algebra
Fields with a dense-codense linearly independent multiplicative subgroup
The elementary diagram of a trivial, weakly minimal structure is near model complete
Infinite decreasing chains in the Mitchell order
Characterizing the elementary recursive functions by a fragment of Gödel's T
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness
On a question of Pereira
Bounding cappable degrees
PAC learning, VC dimension, and the arithmetic hierarchy
The theory of [( Z )\vec] C (2) 2 {\vec Z}C(2)^2-lattices is decidable
Max and min limiters
A guided tour of minimal indices and shortest descriptions
On a problem of Ishmukhametov
On the indestructibility aspects of identity crisis
On the existence of large subsets of [lambda]kappa which contain no unbounded non-stationary subsets
Coding in the existential theory of concatenation
Some new upper bounds in consistency strength for certain choiceless large cardinal patterns
Making all cardinals almost Ramsey
Deep sequent systems for modal logic
Iterated relative recursive enumerability
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
Katětov order between Hindman, Ramsey and summable ideals
ϱ -inaccessible ordinals, collapsing functions and a recursive notation system
Real closures of models of weak arithmetic
On the structure of paradoxes
Exact equiconsistency results for Δ 3 1 -sets of reals
A strong partition cardinal above Θ
Relations between the I-ultrafilters
A note on forking and normalization
Sufficient triangular norms in many-valued logics with standard negation
Model completeness of generic graphs in rational cases
Set-theoretic blockchains
Glivenko sequent classes in the light of structural proof theory
Complex analysis in subsystems of second order arithmetic
Matrix iterations and Cichon's diagram
The logic of II 1 -conservativity continued
A Diller-Nahm-style functional interpretation of KP w\hbox{\sf KP} \omega
Setting-up early computer programs: D. H. Lehmer's ENIAC computation
Notes on subtlety and ineffability in P kappa lambda
Hardness assumptions in the foundations of theoretical computer science
A continuity principle equivalent to the monotone Π 1 0 fan theorem
Dependent choice as a termination principle
Homogeneity of infinite permutation groups
Type space functors and interpretations in positive logic
Closure properties of parametric subcompleteness
All finitely axiomatizable subframe logics containing the provability logic CSM 0 _{0} are decidable
Conjugacy for homogeneous ordered graphs
Pavelka-style completeness in expansions of Lukasiewicz logic
Counting proofs in propositional logic
Independent families and some notions of finiteness
Basic Propositional Calculus II. Interpolation
Second order arithmetic as the model companion of set theory
The equivalence of theories that characterize ALogTime
Gap structure after forcing with a coherent Souslin tree
Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität
Well quasi orders in a categorical setting
Index sets and Scott sentences
On the complexity of arithmetical interpretations of modal formulae
The provably total functions of basic arithmetic and its extensions
Forcings with the countable chain condition and the covering number of the Marczewski ideal
A normalizing system of natural deduction for intuitionistic linear logic
NIP henselian valued fields
On a variant of Rado's selection lemma and its equivalence with the Boolean prime ideal theorem
A parallel game semantics for Linear Logic
Pseudo equality algebras
Postscript to "built-up systems of fundamental sequences and hierarchies of number-theoretic functions"
Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent p > 2
The algebraic structure of the isomorphic types of tally, polynomial time computable sets
Property ( h ) and cellularity of complete Boolean algebras
Diamond, scales and GCH down to $$\aleph _{\omega ^2}$$ ℵ ω 2
A note on proofs of falsehood
The FOR ALL THERE EXISTS-theory of the effectively closed Medvedev degrees is decidable
C(n)-cardinals
More Jonsson Algebras
Learning theory in the arithmetic hierarchy II
A new type assignment for λ-terms
The length of some diagonalization games
A characterization of strongly computable finite factorization domains
Pcf without choice Sh835
Allgemeine Theorie der Voraussagen
Completeness theorem for propositional probabilistic models whose measures have only finite ranges
Transfer principles in nonstandard intuitionistic arithmetic
Relative exchangeability with equivalence relations
On the definability of verbal subgroups
Inhomogene Operationen Reeller Ordinalzahlen
Groupwise density and related cardinals
Homogeneous iteration and measure one covering relative to HOD
On ultrafilter extensions of first-order models and ultrafilter interpretations
A covering lemma for K (\mathbb R )
The monadic theory of ( ω 2 , <) may be complicated
Strong downward Löwenheim-Skolem theorems for stationary logics, II: reflection down to the continuum
A logic for arguing about probabilities in measure teams
On uniformly continuous functions between pseudometric spaces and the Axiom of Countable Choice
The distribution of the generic recursively enumerable degrees
Patching ideal families on ℘ k λ
Epsilon substitution method for elementary analysis
Proof-theoretic analysis of KPM
An introduction to fusion of strongly minimal sets: The geometry of fusions
Elementary equivalence of some rings of definable functions
Free subsets in internally approachable models
Subdirectly irreducible state-morphism BL-algebras
Functoroids and ptykoids
The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two
An inner model theoretic proof of Becker's theorem
R-analytic functions
On dividing chains in simple theories
Optimal bounds for ordinal comparison maps
Definability and automorphisms in abstract logics
On unfoldable cardinals, omega-closed cardinals, and the beginning of the inner model hierarchy
A logic of graded attributes
Natural deduction with general elimination rules
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus
Uniform Lyndon interpolation property in propositional modal logics
Degrees of logics with Henkin quantifiers in poor vocabularies
A Two Tiers Data Aggregation Scheme for Periodic Sensor Networks
A Fuzzy Trust Evaluation of Cloud Collaboration Outlier Detection in Wireless Sensor Networks
A Survey of Sensor Network Applications and Architectural Components
A Novel Technique for Performing Tiger Census in a Forest Using Wireless Multimedia Sensor Networks
Transitive Location Verification Algorithm in Location-Based Routing for Wireless Sensor Networks
Robust Routing Under Shadow-Fading in Mobile Ad-Hoc Networks
3DWireless Network Localization from Inconsistent Distance Observations
ES-AOMDV: A novel Energy Efficient Routing Protocol for WSN
Adaptive Service Discovery on Service-Oriented and Spontaneous Sensor Systems
Distributed Compressed Sensing in Vehicular Ad-hoc Network
A Deterministic Sensor Placement Scheme for Full Coverage and Connectivity without Boundary Effect inWireless Sensor Networks
Maximum Network Throughput Based on Distributed Algorithm for Rechargeable Wireless Sensor Networks
Routing and Spectrum Allocation for Multi-Layer Satellite Ad Hoc Networks
Key Predistribution Using Transversal Design on a Grid of Wireless Sensor Network
Efficient Tracking of Multiple Objects in Wireless Multimedia Sensor Networks
Link Repair for Actual Environment-Oriented in Underwater Wireless Optical Communication Sensor Networks
A Cluster Head Selection Framework in Wireless Sensor Networks Considering Trust and Residual Energy
Self-stabilizing Algorithm for Generic Aggregated Weighted Connected Dominating Set
Efficient Localization Algorithm for Wireless Sensor Networks Using Levenberg-Marquardt Refinement
Event-oriented Data Aggregation in Wireless Sensor Networks
Ontology Based Road Traffic Management in Emergency Situations
Cheating Detection for Payment Based Incentives with Application to Network Coding
A Light-Weight and Scalable Solution for Secure Routing in DSR MANET for Black Hole Attack
HAR: A Hotspots-based Adaptive Routing in Delay Tolerant Mobile Sensor Networks
An Efficient Clustered M-path Sinkhole Attack Detection (MSAD) Algorithm for Wireless Sensor Networks
PKSM: Pre-key Distribution and Sink Mobility in Commutative Cipher Based En-route Filtering to Extend the Network Lifetime in WSNs
Efficient Construction of Detector Set for Query Loss Recovery in Sensor-IoT Networks
An Evidence Theory based Approach in Detecting Malicious Controller in the Multi-Controller Software-defined Internet of Things Network
The Diffusion Clustering Scheme and Hybrid Energy Balanced Routing Protocol (DCRP) in Multi-hop Wireless Sensor Networks
LPOCS: A Novel Linear Programming Optimization Coverage Scheme in Wireless Sensor Networks
An Adaptive Vehicle Detection Algorithm Based on Magnetic Sensors in Intelligent Transportation Systems
EASS: Encryption and Authentication Based Security Scheme to Prevent Power Exhausting Attacks in Wireless Sensor Networks
A Novel Recursive Algorithm to Calculate the Parameters of Markov Model for IEEE 802.15.4 in Sensor Applications
AERAA-DAR: Algorithm for Energy-Resourceful Attribute-aware Data Aggregation and Routing In Wireless Sensor Networks
Investigation of Delay Tolerant Network Routing Protocols with Energy Consumption Analysis
Activated Swarm Fault Tolerance in Wireless Sensor Networks Under Massive Correlated Failure
End-To-End Delay Modeling for Mobile Ad Hoc Networks: A Quasi-Birth-and-Death Approach
Collecting Vehicle Trajectory Through Message Dissemination
Agile Sensor Network Systems
Multi-sink Relocation with Constrained Movement in Wireless Sensor Networks
Game theoretic Multi-Objective Routing Scheme for Wireless Sensor Networks
Game Based Certificate Revocation Algorithm for Internet of Things Security Problems
Artificial Neural Network Based Detection of Energy Exhaustion Attacks in Wireless Sensor Networks Capable of Energy Harvesting
A Class-Based EDF Scheduling for Bluetooth Piconet
ACOS: An Area-based Collaborative Sleeping Protocol for Wireless Sensor Networks
HHMO: A Hot-page Based Hybrid-copy Migration Optimization Method
Routing Protocols for Underwater Wireless Sensor Network Based on Location: A Survey
A Multi-Authority Key-Policy ABE Scheme from Lattices in Mobile Ad Hoc Networks
Efficient Wireless Sensor Network Based Monitoring System
Integrating Beetle Swarm Optimization in Cross Layer Design Routing Protocol to Improve Quality of Service in Clustered WSN
Proportionally Fair Rate Allocation in Regular Wireless Sensor Networks
Security Enhancements Based on Optimal Lightweight Blockchain Model for Data Sharing in Wireless IoT Networks
Social Group Search Optimizer Algorithm for Ad Hoc Network
User Authentication with Anonymity for Roaming Service with Smart Cards in Global Mobility Networks
Dynamic Spectrum Management with Movement Prediction in Vehicular Ad Hoc Networks
A Fault-tolerant Filter for Robust GNSS Positioning Using a GM-Estimation Approach
Comparison of the Lower Bound for the Capacity of the Wireless Ad Hoc Networks with Cooperating Nodes to the Upper Bound of Conventional Peer-to-Peer Wireless Networks with Hop-by-Hop Routing
BlockChain Based Security Enhancement in MANET with the Improvisation of QoS Elicited from Network Integrity and Reliance Management
Efficient Access Control forWireless Sensor Data
LP-WAN Performance Analysis by Semi-Linguistic Summaries
Truthful Multi-Unit Multi-Broker Auction Mechanism with Approximate Social-Welfare in Ad Hoc Cognitive Radio Networks
Investigating Data Similarity and Estimation Through Spatio-Temporal Correlation to Enhance Energy Efficiency in WSNs
Robust Biometric-Based User Authentication Scheme for Wireless Sensor Networks
Distributed Topology Control for Efficient OSPF Routing in Multi-hop Wireless Networks
SimX: An Integrated Sensor Network Simulation and Evaluation Environment
Nonuniform Deployment Prolongs Lifetime of Wireless Sensor Networks
Forest Fire Modeling and Early Detection using Wireless Sensor Networks
A Stochastic Model with an Adaptive Proportional Controller for the Evolution of User-Router Bandwidth Demand for Quality of Service (QoS) Aspects
Non-intrusive Traffic Data Collection with Wireless Sensor Networks for Intelligent Transportation Systems
Bottleneck Recognition by Virtual Temperature Field in Wireless Sensor Networks
Ranking-based Feature Selection for Anomaly Detection in Sensor Networks
Throughput Optimization in Wireless Mesh Networks Using Zero-Sum Game
A Novel Greedy Optimization Localization Algorithm for Wireless Sensor Networks in a Concave Area
Prediction-based Schemes for Coexistence in Personal Wireless Networks
Wban-Assisted Navigation for Firefighters in Indoor Environments
Distributed Least Squares Estimation Algorithms Design for Sensor Networks
A Detailed Survey on Swarm Intelligence Algorithms for Efficient Optimal Path Selection in WSN for Effective Online Business Platform
Layered Energy Balanced Unequal Clustering and Routing (LEBUCR) Protocol for Wireless Sensor Networks
Multitarget Resolution and Performance for Radar Sensor Network (RSN)
Merging of P2P Overlays Over Mobile Ad Hoc Network: Evaluation of Three Approaches
PAS: Prediction-based Adaptive Sleeping for Diffusion Stimulus Monitoring Sensor Networks
ID-Based Authenticated Group Key Agreement Protocol from Bilinear Pairings for Wireless Mobile Devices
An Energy Efficient Strategy for Single Mobile Sink in Event-driven Sensor Networks
An Effective Intrusion Detection Model for Dynamic Topological Channel Behavior Using Dense Node Behavior
Long-term Audio Observation by Wireless Sensor Networks with Filtering Strategies
Eavesdropper-Tolerance Capability in Two-Hop Wireless Networks via Cooperative Jamming
Searchable Encryption for Integrating Cloud and Sensor Networks with Secure Updates
IC-CRP: An Interference-Constrained Routing Protocol for Multi-Hop Cognitive Radio Ad Hoc Networks
Unsupervised Diagnosis in Large Scale Complex Networks
Joint Optimization Algorithm of Cooperative Sensing and Transmission Scheme in Cognitive Radio
Path-wise Cascading Probabilistic Description for Information Diffusion in Networks
Dynamic Point Coverage Problem in Wireless Sensor Networks: A Cellular Learning Automata Approach
TCP-PLDR: A Novel Packet Loss Detection and Response Mechanism for TCP in Mobile Ad Hoc Networks
Design of Encryption Algorithm for Communication Network Information Transmission Based on Fuzzy Control Algorithm
Deep Learning Enabled Privacy Preserving Techniques for Intrusion Detection Systems in the Industrial Internet of Things
Energy-Efficient Design Techniques for Large-scale, Two-tiered Sensor Networks
Maximizing the Lifetime of a Wireless Sensor Network with Fixed Targets
A Multi-Hop Multicasting Routing Protocol for Cognitive Radio Networks
Review of Methods to Predict Connectivity of IoT Wireless Devices
Opportunistic Sensing and Collaboration for Level Set Estimation?
ARPC: Anchor-based Routing Protocol for Mobile Ad Hoc NetworksWith Cell ID Management System
Optimal 3-D Placement of an Aerial Base Station in a Heterogeneous Wireless IoT with Nakagami-m Fading Channels
Handling the Evil Ring Attack on Localization and Routing in Wireless Sensor Networks
Innovation Diffusion in Networks Through Asynchronous Bootstrap Percolation Process with Changeable Attitudes
On Minimizing Interference-Free Broadcast Latency in Duty-Cycled Wireless Sensor Networks
Analysis of Smart Sensors Nodes for Decision Making and Classification in Irrigation System
A 3-D Imaging Method Based on Radar Sensor Network Distributed Along Circular Geometry
Heterogeneous Coverage Analysis for Collaborative Classification in Multimedia Sensor Networks
Practical Implementation and Analytical Evaluation of Ad-hoc Networking Projects to Build a MANET based Collaborative System
Adaptive Topology Control with Link Quality Prediction for Underwater Sensor Networks
Analysis and Evaluation of a Raptor-Based Content Delivery Protocol and its High-Performance Extensions
An Energy-Efficient Data Delivery Scheme Exploiting Network Coding and Maximum Node-Disjoint Paths in Wireless Sensor Networks
Blockchain-based Authentication and Proof-of-Reputation Mechanism for Trust Data Sharing in Internet of Vehicles
Reliable Hybrid Multicast Routing in Mobile Ad Hoc Networks: Reinforcement Learning-based Approach
Tribute to Ivan Stojmenovic
Energy-Efficient Distributed Multi-Sensor Scheduling Based on Energy Balance in Wireless Sensor Networks
Professor Ivan Stojmenovic: 1957-2014
A Non-Preemptive Priority Scheduling Algorithm for Improving Priority Data Transmission Delay in Wireless Body Area Networks
TORA: A Truthful Online Reverse Auction Scheme for Access Permission Transaction in Macro-Femtocell Networks
Preamble-base315d MAC Protocols in Wireless Sensor Networks: a Survey
A Framework for the Capacity Evaluation of Multihop Wireless Networks?
An Optimal Buffer Management Strategy for Video Transmission in Opportunistic Networks
Target Monitoring in Wireless Sensor Networks: A Localized Approach
Control Frame Shaping in Power Controlled and Directional MAC Protocols?
Mobility management for IPv6-based MANETs
Power Control and Anti-collision Mechanism for RFID Systems
Convergecast Tree Construction in Wireless Sensor Networks
Enhancing QoS in Privacy Based Vehicular Communication
A Novel Approach to Data Mining in Wireless Sensor Networks
Operational Range Assignment in Sensor and Actor Networks
Privacy and Anonymity in VANETs: A Contemporary Study
A Comparative Study on Frameworks, MAC Layer Protocols and Open Research Issues in Internet of Things
TLBO Based Node Localization Using Varying Anchor Range in Wireless Sensor Networks
Practical Single Sign-on Mechanism for Distributed Computer Networks
Ana4: a 2.5 Framework for Deploying Real Multi-hop Ad hoc and Mesh Networks
A Novel Data Gathering Framework for Resource-constrained nderwater Sensor Networks
Tree-based Threshold-sensitive Energy-efficient Routing Approach using Moth Flame Optimization For Wireless Sensor Networks
The Chaotic Video Surveillance in Mobile Camera Sensor Networks: Improving the Efficiency and Security
Improving Localization Accuracy of RSS-Based Lateration Methods in Indoor Environments
Artificial Noise Aided Polar Code with Optimal Jamming Position for Physical Layer Security in Mondrian Loss Integrated Rayleigh Wireless Relay Channel
Incremental Construction of k-Dominating Sets in Wireless Sensor Networks
A Small World Phenomenon Based Greedy Network Model for Robust IoT Network
A Path Density Protocol for MANETs
A Two-stage Clustering Sleep Scheduling Algorithm with Particle Swarm Optimization in Wireless Sensor Networks
Performance Analysis of Arbitrary Multihop Ad Hoc Wireless Networks Under Saturation Condition
Hybrid Transmission and Energy Optimization Mechanism for Wireless Sensor Networks
ALMR: Alternate Link Based Multipath Reactive Routing Protocol for Vehicular Ad Hoc Networks (VANETs)
Market-Based Sensor Relocation by Robot Team in Wireless Sensor Networks
A Novel Mobile Data Collection Algorithm for Wireless Sensor Networks
Low-Interference Topology Control for Wireless Ad Hoc Networks
Coverage Problem of Sensor Networks
Mobile Wireless Sensor Networks: Modeling and Analysis of Three-Dimensional Scenarios and Neighbor Discovery in Mobile Data Collection
Performance Analysis of Ranging with IEEE 802.15.4 Compliant WSN Devices
An Advanced Maximum Utility Spectrum Allocation Algorithm Based on Graph Coloring Theory
True Coalition Formation of Bio-inspired Mobile Sensors or Robots on Intrusion Detection - Part 1: Theoretical Modeling
A Grid-based QoS-aware Routing Protocol for Wireless Sensor Networks
Adapting the Duty Cycle to Traffic Load in a Preamble Sampling MAC for WSNs: Formal Specification and Performance Evaluation
Securing Cognitive Radio Vehicular Ad Hoc Networks with Fog Computing
Performance Evaluation of Dissemination Schemes for Coded Packets in Heterogeneous Sparse Ad Hoc Networks
Efficient Mesh Router Placement and Interface Configuration in Wireless Mesh Networks
3D Local Algorithm for Dominating Sets of Unit Disk Graphs
Hop-Degree Model for Fair Resource Allocation in Wireless Backbone Multi-Hop Mesh Networks
HEMS: a Hurricane Evacuation Management System
Sensor Networks for Cyber Physical Systems
An Efficient Framework and Networking Protocol for Linear Wireless Sensor Networks
Blind Speed Alleviation Using a Radar Sensor Network (RSN)
Adaptive Cross-Layer Optimization Using Mimo Fuzzy Control System in Ad-hoc Networks
SEP-CS: Effective Routing Protocol for Heterogeneous Wireless Sensor Networks
Zone-Based Intrusion Detection for Mobile Ad Hoc Networks
New Approach to Continuous k-Nearest Neighbor Monitoring in a Directed Road Network
Multi-objective Resource Allocation Algorithm for Wireless Sensor Network Based on Improved Simulated Annealing
Service-Oriented Synergy Mechanism Among Multi-Devices in Ubiquitous Network
High Throughput Low Coupling Multipath Routing for Wireless Multimedia Sensor Networks
Lessons from an Ad hoc Network Test-Bed: Middleware and Routing Issues
Non-Cooperative Game Design for Distributed Control System with Long Delays
Maximizing Network Lifetime for Connected and Non-overlapped Target Coverage in Wireless Sensor Networks
A Distributed Image Compression Algorithm for Wireless Multimedia Sensor Networks
Understanding Radio Irregularities in MultihopWireless Networks with Log-normal Shadowing
AS2-MAC: An Energy-efficient MAC Protocol for Wireless Sensor Networks
Approximation Algorithms for Maximum Weight Independent Set of Links Under the SINR Model
Energy-Efficient Scheduling for Distributed Estimation in Wireless Sensor and Actuator Networks with Kriging
Toward an Extreme Low-power, Edge-based LoRa Node for Monitoring/Anomaly Detection
A Key Predistribution Scheme Based on Mixed-level Orthogonal Arrays