yusuke1997/dblp-id-title huggingface dataset:
Information Outage Probability and Constrained Capacity of Moderate-Length Codes over AWGN Channels
The study of the control law for carriage positioning of rodless pneumatic actuator with fuzzy regulator
Retina-based quality assessment of tile-coded 360-degree videos
Predicting the Severity of COVID-19 Pneumonia from Chest X-Ray Images: A Convolutional Neural Network Approach
AgFAB - A Farmer-centered Agricultural Bower
Big Data and Knowledge Graph Based Fault Diagnosis for Electric Power Systems
Information theory based performance analysis and enhancement of Safety applications and cluster design in VANET
Eigenvalue-based Detection Techniques Using Finite Dimensional Complex Random Matrix Theory: A Review
Information seeking behaviour and purchasing decision: case study in digital cameras
Outage Performance of a Two-branch Cooperative Energy-constrained Relaying Network with Selection Combining at Destination
Security-Reliability Analysis of Multi-hop LEACH Protocol with Fountain Codes and Cooperative Jamming
Enhancing AI-Inspired Analog Circuit Design: Optimizing Component Sizes with the Firefly Algorithm and Binary Firefly Algorithm
Innovative Application of 5G and Blockchain Technology in Industry 4.0
Tele-Monitoring the Battery of an Electric Vehicle
A Novel Intrusion Detection Mechanism for SCADA systems which Automatically Adapts to Network Topology Changes
All-Digital Background Calibration Technique for Offset, Gain and Timing Mismatches in Time-Interleaved ADCs
Linking Data According to Their Degree of Representativeness (DoR)
Data network related to an object manufacturing inside of exerted Intelligent System
Controlling Sensitivity of Gaussian Bayes Predictions based on Eigenvalue Thresholding
A Review of Research on Acoustic Detection of Heat Exchanger Tube
Welcome message from the Editors
Cloud Based Mobile Network Sharing: A New Model
GA-based Energy Aware Path Planning Framework for Aerial Network Assistance
GRAPP&S, a Peer-to-Peer Middleware for Interlinking and Sharing Educational Resources
Reconstructing B-patch surface from triangular mesh
DTWN: Q-learning-based Transmit Power Control for Digital Twin WiFi Networks
Design of public safety network and emergency alarm for smart trade centre
A Trusted Mobile Payment Scheme Based on Body Area Networks
Security Issues in ProtoGENI
Fundamental Approach for Analysis of Dynamic Characteristics of Fixtures
A Deep Neural Network-Based Approach for Extracting Textual Images from Deteriorate Images
ViMedNER: A Medical Named Entity Recognition Dataset for Vietnamese
Multi-objective optimization model for sustainable production planning in textile MSMEs
Availability of Free-Space Laser Communication Link with the Presence of Clouds in Tropical Regions
Quality of Service Provisioning for D2D Users in Heterogeneous Networks
Bandit Learning with Concurrent Transmissions for Energy-Efficient Flooding in Sensor Networks
SAM Centrality: a Hop-Based Centrality Measure for Ranking Users in Social Network
Efficient LDPC Code Design based on Genetic Algorithm for IoT Applications
Design of Group Precoding for MU-MIMO Systems with Exponential Spatial Correlation Channel
An Efficient Traffic-aware Caching Mechanism For Information-centric Wireless Sensor Networks
Fine-Grained Access Control for Smart Healthcare Systems in the Internet of Things
LSB Data Hiding in Digital Media: A Survey
Surfing the Internet-of-Things: Lightweight Access and Control ofWireless Sensor Networks Using Industrial Low Power Protocols
A Secure Authentication Scheme based on Brownian Motion in hierarchy Wireless Sensor Networks
Optimisation of Server Selection for Maximising Utility in Erlang-Loss Systems
Node Credit Based Efficient Flooding (NCBEF) Method for Mobile Ad-hoc Networks
The impact of user mobility into non-orthogonal multiple access (NOMA) transmission systems
On the Performance of the Relay Selection in Multi-hop Cluster-based Wireless Networks with Multiple Eavesdroppers Under Equally Correlated Rayleigh Fading
Improving Customer Behaviour Prediction with the Item2Item model in Recommender Systems
Security and Privacy in Online Social Networks: A Survey
Comparative Study on Power Gating Techniques for Lower Power Delay Product, Smaller Power Loss, Faster Wakeup Time
FedNDA: Enhancing Federated Learning with Noisy Client Detection and Robust Aggregation
A Comprehensive Survey of Link Prediction Techniques for Social Network
Cooperative Spectrum-Sharing with Two-Way AF Relaying in the Presence of Direct Communications
Map Matching Algorithm: Trajectory and Sequential Map Analysis on Road Network
Vehicle Type Classification with Small Dataset and Transfer Learning Techniques
Formation Control Algorithms for Multiple-UAVs: A Comprehensive Survey
Joint Clustering and Routing Optimisation for Low-power Wireless Sensor Networks
Outage Probability Analysis for UAV-Aided Mobile Edge Computing Networks
Context-Aware Device Classification and Clustering for Smarter and Secure Connectivity in Internet of Things
A Critical Review of the Routing Protocols in Opportunistic Networks
Integrated Cloud-Twin Synchronization for Supply Chain 5.0
Intelligent Bi-directional Relaying Communication for Edge Intelligence based Industrial IoT Networks
An Introduction of Real-time Embedded Optimisation Programming for UAV Systems under Disaster Communication
Cyberbullying Text Identification based on Deep Learning and Transformer-based Language Models
Automated evaluation of Tuberculosis using Deep Neural Networks
Natural Disaster and Environmental Monitoring System for Smart Cities: Design and Installation Insights
An energy-efficient framework for multimedia data routing in Internet of Things (IoTs)
Modelling of stress field during Submerged Arc Weld surfacing taking into account heat of the weld and phase transformation effect
Enhancing Physical Layer Security for Cooperative Non-Orthogonal Multiple Access Networks with Artificial Noise
On the Consistency of 360 Video Quality Assessment in Repeated Subjective Tests: A Pilot Study
Coupling of the synchronization stations of an Extended Kanban system
An Efficient Pest Classification In Smart Agriculture Using Transfer Learning
Flexible HTTP-based Video Adaptive Streaming for good QoE during sudden bandwidth drops
Application of Computer Vision in T-Shirt Dimensions Measurement
Student's Perception towards Mobile learning using Interned Enabled Mobile devices during COVID-19
Enhancing Single-Image Super-Resolution using Patch-Mosaic Data Augmentation on Lightweight Bimodal Network
Performance Evaluation of MAC Layer Protocol over Wireless Body Area Sensor Networks
Distributed Spatially Non-Stationary Channel Estimation for Extremely-Large Antenna Systems
Application of Artificial Intelligence for the Optimization of Hydropower Energy Generation
Facial mask-wearing prediction and adaptive gender classification using convolutional neural networks
Deep Reinforcement Learning Approaches Against Jammers with Unequal Sweeping Probability Attacks
Light-weight Key Management Scheme for Active RFID Applications
Centrality-Based Paper Citation Recommender System
SMC-I with Approach Angle Method for Slip Suppression of Electric Vehicles
Correlation Analysis of Vital Signs to Monitor Disease Risks in Ubiquitous Healthcare System
Drug classification system based on drug composition and usage instructions
Secure UAV-assisted Mobile Edge Computing for IoT with Backscatter Communication in the Presence of a Moving Eavesdropper
Control Algorithms for UAVs: A Comprehensive Survey
Functional Security and Trust in Ultra-Connected 6G Ecosystem
Cooperative Non-Orthogonal Multiple Access for Future Wireless Communications
Machine Learning in Cybersecurity: Advanced Detection and Classification Techniques for Network Traffic Environments
Performance analysis of Cognitive Vehicular Networks under Unreliable Backhaul
Review of Optimization in Improving Extreme Learning Machine
Securing Smart Grid In-Network Aggregation through False Data Detection
D2D Multi-hop Multi-path Communications in B5G Networks: A Survey on Models, Techniques, and Applications
A Survey of System Level Power Management Schemes in the Dark-Silicon Era for Many-Core Architectures
Structural Importance-based Link Prediction Techniques in Social Network
A networkless data exchange and control mechanism for virtual testbed devices
Human Activity Recognition System For Moderate Performance Microcontroller Using Accelerometer Data And Random Forest Algorithm
On the Capacity-Achieving Scheme and Capacity of 1-Bit ADC Gaussian-Mixture Channels
Constructing a Knowledge Base for Entertainment by Interlinking Multiple Data Sources
Energy Harvesting Aware Clustering and Opportunistic Transmission with Fuzzy Petri Net Reasoning
Virtual Table-Simulator for Monitoring Distributed Objects
Synapse. A Neutron Spectrum Unfolding Code Based on Generalized Regression Artificial Neural Networks
Toward Understanding the Interplay between Public and Private Healthcare Providers and Patients: An Agent-based Simulation Approach
Spatiotemporal Variability of Air Quality Time Series for developing countries: Case of Ho Chi Minh city, Vietnam
Optimizing the Modified Lam Annealing Schedule
On the Experimental Evaluation of Vehicular Networks: Issues, Requirements and Methodology Applied to a Real Use Case
Performance Analysis for Reconfigurable Intelligent Surface-aided Communication Systems with Energy Harvesting under Imperfect Nakagami-m Channel Information
Comparison of Different Neural Network Training Algorithms with Application to Face Recognition
How to Make Business Processes "Socialize"?
Few-Shot Classification Of Brain Cancer Images Using Meta-Learning Algorithms
A Fully Convolutional Network with Waterfall Atrous Spatial Pooling and Localized Active Contour Loss for Fish Segmentation
A2Ba: Adaptive Background Modelling for Visual Aerial Surveillance Conditions
Performance Analysis of NOMA Over n-m Fading Channels with imperfect SIC
Resource-Efficient Deep Learning: Fast Hand Gestures on Microcontrollers
Implementing Energy Saving Techniques for Sensor Nodes in IoT Applications
Real-time Single-Channel EOG removal based on Empirical Mode Decomposition
Bi-objective model for community detection in weighted complex networks: Non overlap multiobjective k_core community detection
Kendall tau sequence distance: Extending Kendall tau from ranks to sequences
On the Security and Reliability Trade-off of the Satellite Terrestrial Networks with Fountain Codes and Friendly Jamming
An Efficient Method for BLE Indoor Localization Using Signal Fingerprint
An Accurate Viewport Estimation Method for 360 Video Streaming using Deep Learning
Knowledge Extraction Framework for Building a Largescale Knowledge Base
A Performance Perspective on Choosing between Single Aggregate and Multiple Aggregates for GENI Experime nts
Design of Cloud-Connected IoT System for Smart Buildings on Energy Management (Invited paper)
A Framework of Deploying Blockchain in Wireless Sensor Networks
Uplink Performance of Cell-Free Massive MIMO with Access Point Selections
Using Deep Neural Networks to Classify Symbolic Road Markings for Autonomous Vehicles
Towards Data-Driven On-Demand Transport
Distributed Optimization Framework for Industry 4.0 Automated Warehouses
Deep Reinforcement Learning for Intelligent Reflecting Surface-assisted D2D Communications
Single-level Discrete Two Dimensional Wavelet Transform Based Multiscale Deep Learning Framework for Two-Wheeler Helmet Detection
Intelligent Raspberry-Pi-Based Parking Slot Identification System
Stochastic-Based Power Consumption Analysis for Data Transmission in Wireless Sensor Networks
Performance evaluation of composite Web services
Return Loss Optimization in Rectangular Microstrip Patch Antennas Using Response Surface Methodology (RSM) for 5G Applications
Internet Traffic Prediction Using Recurrent Neural Networks
Outage Performance of Cooperative Cognitive Radio Networks under Joint Constraints of Co-Channel Interference, Intercept Probability and Hardware Imperfection
On the optimal user grouping in NOMA system technology
Early State Prediction Model for Offshore Jacket Platform Structural Using EfficientNet-B0 Neural Network
Attention ConvMixer Model and Application for Fish Species Classification
SHELF: Combination of Shape Fitting and Heatmap Regression for Landmark Detection in Human Face
An Intelligent Fashion Object Classification Using CNN
Flexible Fixtures for CNC Machining Centers in Multiproduct Manufacturing
Energy Efficient Dual Issue Embedded Processor
Design of A Chaos-based Digital Radio over Fiber Transmission Link using ASK Modulation for Wireless Communication Systems
Resource Allocation for Energy Efficiency in 5G Wireless Networks
Phase and Time Synchronization for 5G C-RAN: Requirements, Design Challenges and Recent Advances in Standardization
Outage Probability of Vehicular Networks under Unreliable Backhaul
Attribution of Cyber Attacks on Industrial Control Systems
Intelligent Reflecting Surface assisted RF Energy Harvesting Mobile Edge Computing NOMA Networks: Performance Analysis and Optimization
Classification of UNSW-NB15 dataset using Exploratory Data Analysis using Ensemble Learning
Smart Grid Attacks and Countermeasures
A note on Brouwer's weak continuity principle and the transfer principle in nonstandard analysis
A logical analysis of the generalized Banach contractions principle
A decomposition of Brouwer's fan theorem
Gordon's Conjecture 3: Fourier transforms in the hyperfinite setting
Relative set theory: Internal view
Models of true arithmetic are integer parts of models of real exponentation
PFA and complemented subspaces of ℓ ∞ /c 0
Locally compact Stone duality
Covering entropy for types in tracial W * -algebras
Signed-bit representations of real numbers
Algebraic properties of external numbers
Representation of integers: a nonclassical point of view
Addendum and Erratum to "Geometric spaces with no points"
Uniform liftings of continuous mappings
Effective genericity and differentiability
A density version of a theorem of Banach
Differentiating convex functions constructively
On finite index subfactors of super McDuff II_1 factors
A constructive version of the extremum value theorem for spaces of vector-valued functions
Sketches for arithmetic universes
Harmonic measure and subanalytically tame measures
Discretisations of higher order and the theorems of Faà di Bruno and DeMoivre-Laplace
More reverse mathematics of the Heine-Borel Theorem
Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014)
Axiomatics for the external numbers of nonstandard analysis
Some semilattices of definable sets in continuous logic
Nonstandard hulls of locally exponential Lie algebras
Absoluteness of the Riemann integral
Description of locally finite families from a nonstandard point of view
Relative computability and uniform continuity of relations
Constructive reverse investigations into differential equations
On uniform canonical bases in L p lattices and other metric structures
On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem
Ultrafilters maximal for finite embeddability
Locating subsets of B(H) relative to seminorms inducing the strong-operator topology
Solovay reducibility and continuity
Noetherian varieties in definably complete structures
Interpreter for topologists
Inverse problem for cuts
On zeros of Martin-Löf random Brownian motion
Dynamic Newton-Puiseux theorem
A point-free characterisation of Bishop locally compact metric spaces
Convergence results for function spaces over o-minimal structures
Embedding an analytic equivalence relation in the transitive closure of a Borel relation
Compactness of ω λ for λ singular
Kuratowski's problem in constructive Topology
Peter A. Loeb (3 July 1937 - 20 November 2024)
A transfer principle for second-order arithmetic, and applications
Cell decomposition for semiaffine structures on p-adic fields
Representation of unlimited integers as the product of integers with some constraints
A topological set theory implied by ZF and GPK + ∞
On preparation theorems for R an, exp -definable functions
Effectivizing Lusin's Theorem
Computing the exponent of a Lebesgue space
A correspondence principle for the Gowers norms
Peano and Osgood theorems via effective infinitesimals
A degree structure on representations of irrational numbers
Modular functionals and perturbations of Nakano spaces
Geometric spaces with no points
The Vitali covering theorem in constructive mathematics
Differential geometry via infinitesimal displacements
Hyperreal differentiation with an idempotent ultrafilter
How constructive is constructing measures?
Point-free characterisation of Bishop compact metric spaces
Value groups and residue fields of models of real exponentiation
Factorisation of germ-like series
A constructive examination of rectifiability
A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces
Quantifier elimination in the theory of L p (L q ) Banach lattices
Generalized effective completeness for continuous logic
The probability distribution as a computational resource for randomness testing
Frames and topological algebras for a double-power monad
Diffusion processes via parabolic equations: an infinitesimal approach to Lindeberg's limit theorem
Decomposition of terms in Lucas sequences
Constructive theory of Banach algebras
Cardinal invariants of strongly porous sets
Reducibility, a constructive dual of spatiality
On uniform spaces with invariant nonstandard hulls
Preface to the special issue for the 75th birthday of Dieter Spreen
A metastable dominated convergence theorem
A non-standard approach to a constrained forced oscillator
Stability of group homomorphisms in the compact-open topology
Time complexity of the analyst's traveling salesman algorithm
Errata: a density version of a theorem of Banach
Limit laws and automorphism groups of random nonrigid structures
Banach spaces from barriers in high dimensional Ellentuck spaces
Model theory of R-trees
Errata: multi-level nonstandard analysis and the axiom of choice
Functions of limited accumulation
Full algebra of generalized functions and non-standard asymptotic analysis
On perturbations of Hilbert spaces and probability algebras with a generic automorphism
Introducing Logic and Analysis
Regions in the nonstandard plane that contain no standard points
Projective sets, intuitionistically
A computational study of a class of recursive inequalities
Integrals and valuations
A computational aspect of the Lebesgue differentiation theorem
Genericity and UD-random reals
Enlargements of schemes
Almost disjoint families and ultrapowers
Corrigendum: covering entropy for types in tracial W * -algebras
On ordered groups of regular growth rates
Reverse mathematics, trichotomy, and dichotomy
Elementary numerosity and measures
A constructive proof of Simpson's Rule
Generating the Pfaffian closure with total Pfaffian functions
Unique paths as formal points
Splitting in solvable groups of finite Morley rank
Gordon's conjectures 1 and 2: Pontryagin-van Kampen duality in the hyperfinite setting
Axiom of Choice in nonstandard set theory
Localic completion of generalized metric spaces II: Powerlocales
Complex spaces and nonstandard schemes
A uniform stability principle for dual lattices
Measure, category and projective wellorders
Near equivalence on metric spaces and a nonstandard central limit theorem
Nonlinear stochastic integrals for hyperfinite Lévy processes
Infinite-dimensional linear algebra and solvability of partial differential equations
K-theory of co-existentially closed continua
Clarke's generalized gradient and Edalat's L-derivative
Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem
Radically elementary analysis of an interacting particle system at an unstable equilibrium
Constructive uniformities of pseudometrics and Bishop topologies
The interplay of classes of algorithmically random objects
End compactifications and general compactifications
Long reals
An algebraic weak factorisation system on 01-substitution sets: a constructive proof
Fractals and the monadic second order theory of one successor
Sheaf representations and locality of Riesz spaces with order unit
On the relation of three theorems of functional analysis to the axiom of choice
Projective maximal families of orthogonal measures with large continuum
On Multilinear Inequalities of Holder-Brascamp-Lieb Type for Torsion-Free Discrete Abelian Groups
Topometric spaces and perturbations of metric structures
Simulation of Turing machines with analytic discrete ODEs: Polynomial-time and space over the reals characterised with discrete ordinary differential equations
Computability of convergence rates in the ergodic theorem for Martin-Löf random points
Multi-level Nonstandard Analysis and the Axiom of Choice
On the constructive Dedekind reals
Surreal analysis: an analogue of real analysis for surreal numbers
First order irrationality criteria for series
Topometric Characterization of Type Spaces in Continuous Logic
Minima and best approximations in constructive analysis
Convergence in formal topology: a unifying notion
Subspace structure of some operator and Banach spaces
On factoring of unlimited integers
A coinductive approach to computing with compact sets
Asymptotics of families of solutions of nonlinear difference equations
Conway names, the simplicity hierarchy and the surreal number tree
Open sublocales of localic completions
Relative set theory: Strong stability
Lipschitz functions on topometric spaces
Solving the Dirichlet problem constructively
Limiting probability measures
Randomness and Solovay degrees
On the complexity of spectra of bounded analytic functions
Degrees of and lowness for isometric isomorphism
Preface to the special issue for The Fifth Workshop on Formal Topology
Relative set theory: Some external issues
Integration with filters
A point-free look at Ostrowski's theorem and absolute values
Fixed point theorems in constructive mathematics
Principles of bar induction and continuity on Baire space
Abraham Robinson (6 October 1918 - 11 April 1974)
Ends of groups: a nonstandard perspective
Polish topologies on groups of non-singular transformations
New effective bounds for the approximate common fixed points and asymptotic regularity of nonexpansive semigroups
An efficient blind signature scheme based on the elliptic curve discrete logarithm problem
Toward an energy efficient PKC-based key management system for wireless sensor networks
Forensic-Enabled Security as a Service (FESaaS) - A Readiness Framework for Cloud Forensics
Hierarchical Deterministic Wallets for Secure Steganography in Blockchain
Quantum Multiple Access Wiretap Channel: On the One-Shot Achievable Secrecy Rate Regions
Boomerang Attacks on Reduced-Round Midori64
Provably secure and efficient identity-based key agreement protocol for independent PKGs using ECC
Slowloris Attack Detection Using Adaptive Timeout-Based Approach
Optimizing image steganography by combining the GA and ICA
Moving dispersion method for statistical anomaly detection in intrusion detection systems
Separating indexes from data: a distributed scheme for secure database outsourcing
Identification of Fake News Using Emotional Profiling as an Approach to Text Analysis
Persian Abstract
Analyzing new features of infected web content in detection of malicious web pages
4n × 4n Diffusion Layers Based on Multiple 4 × 4 MDS Matrices
ProAPT: Projection of APTs with Deep Reinforcement Learning
Quantitative evaluation of software security: an approach based on UML/SecAM and evidence theory
A centralized privacy-preserving framework for online social networks
Computer security in the future
Knowledge Discovery in Cloud-Computing Environment and the Challenges
A model for specification, composition and verification of access control policies and its application to web services
Cipher text only attack on speech time scrambling systems using correction of audio spectrogram
A Hybrid Encryption Algorithm for Mitigating the Effects of Attacks in Ad Hoc Networks
A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving