yusuke1997/dblp-id-title huggingface dataset:
A new localization and Accuracy Analyzer for Wireless Sensor Networks using defective observations
Cubature-based Kalman filters for positioning
Current investigations at the ETH Zurich in optical indoor positioning
Passive infrared localization with a Probability Hypothesis Density filter
Automatic anchor calibration in IEEE 802.15.4a networks
Design space exploration and hardware aspects of local positioning systems
Performance comparison of UWB impulse-based multiple access schemes in indoor multipath channels
Accuracy Assessment of RTK GNSS based Positioning Systems for Automated Driving
Location Privacy Preservation and Location-based Service Quality Tradeoff Framework Based on Differential Privacy
Hybrid GPS and GSM localization - energy-efficient detection of spatial triggers
Tracking multiple dynamic targets in LoS-NLoS condition with multidimensional scaling
5G Positioning - A Machine Learning Approach
Drift-free dynamic height sensor using MEMS IMU aided by MEMS pressure sensor
A Particle Filtering Algorithm for Audiovisual Speaker Localisation
New communications service for aiding deep indoor localization
PNaFF: A modular software platform for testing hybrid position estimation algorithms
Multi-hop synchronization and timeslot distribution method for IEEE 802.15.4 based positioning networks
A tag complexity reduction approach for code-based cooperative ranging systems
Impact of mobility on the performance of dynamic cooperative communications in SC-FDMA systems
Self-contained indoor pedestrian navigation by means of human motion analysis and magnetic field mapping
First results from supporting long coherent CDMA correlations by a MEMS INS and a Pedestrian Navigation System for HS-GNSS applications
External visual positioning system for enclosed carparks
A geolocation method using ToA and FoA measurements
A semidefinite programming approach to hybrid localization using RSSI and TOA
Cooperative Positioning with MagicMap
TDoA subsample delay estimator with multiple access interference mitigation and carrier frequency offset compensation for OFDM based systems
Collaborative navigation field trials with different sensor platforms
Evaluation of time-based ranging methods: Does the choice matter?
An Ultra-Wideband Positioning Demonstrator Using Audio Signals
Collaborative localization enhancement to the Global Positioning System
Positioning techniques and telematic applications in the 2.4 GHz-band - Indoor and outdoor analysis results based on a commercial wide band location system
Multipath assisted positioning in vehicular applications
A GPS positioning approach exploiting GSM velocity estimates
Improving source localization in NLOS conditions via ranging contraction
A precise proximity-weight formulation for map matching algorithms
Communication and TOA Estimation with Differential Impulse Radio UWB systems
A Flexible Distributed Maximum Log-Likelihood Scheme for UWB Indoor Positioning
Robust Elliptic Localization Using Worst-Case Formulation and Convex Approximation
Time of Arrival Prediction for WLAN Systems Using Prony Algorithm
Precise Probabilistic Grid Positioning based on GNSS Pseudoranges and Digital Elevation Models
Characterizing and improving the collaborative position location problem
Empirical localisation method for wireless sensor nodes in confined industrial processes
MAC Performances for Localization and Tracking in Wireless Sensor Networks
Access point significance measures in WLAN-based location
Real-time cycle-slip detection and determination for multiple frequency GNSS
Comparison of message passing algorithms for cooperative localization under NLOS conditions
WLAN indoor positioning based on TOA with two reference points
Calibration of magnetic field sensors with two mass-market GNSS receivers
TOA/AOA/AOD-based 3-D mobile terminal tracking in NLOS multipath environments
3D Performance Analysis of a UWB Positioning System in a Dynamic Robotic Scenario
On the sensitivity of RSS based localization using the log-normal model: An empirical study
Self-organized hybrid channel access method for an interleaved RTD-based swarm navigation system
A 2-dimensional filter for UWB-localization in NLoS scenarios using BeamLoc
Can GPS be used for Location Based Services at Schiphol Airport, the Netherlands?
Practical indoor tracking using Wireless Sensor Networks
Influence of Predicted and Measured Fingerprint on the Accuracy of RSSI-based Indoor Location Systems
Cooperative Localization in VANETs: An Experimental Proof-of-Concept Combining GPS, IR-UWB Ranging and V2V Communications
Aggregate-Compression-Aided Subcarrier IQ Index Modulation
Synthetic aperture radar algorithm for a global amplitude map
Introducing a novel marker-based geometry model in monocular vision
A 400 Msps SDR platform for prototyping accurate wideband ranging techniques
WLAN-Based Pedestrian Tracking Using Particle Filters and Low-Cost MEMS Sensors
RSSI-based indoor tracking using the extended Kalman filter and circularly polarized antennas
Adaptive selection of Anchors in the Extended Kalman Filter tracking algorithm
Dynamic searching particle filtering scheme for indoor localization in wireless sensor network
9th Workshop on Positioning, Navigation and Communication, WPNC 2012, Dresden, Germany, March 15-16, 2012
Non-line of Sight Error Mitigation in Bayesian Differential Localization Systems
Evaluation of architectures and strategies for tracking mobile devices in UWB networks
Localization based on fusion of RFID and stereo image data
Setting up an Ultra-Wideband positioning system using off-the-shelf components
NavApp: An indoor navigation application: A smartphone application for libraries
Semi-autonomous indoor positioning using MEMS-based inertial measurement units and building information
Optimal Settings of Cryptocurrency Trading Pairs
Strengthening Smart Contracts to Handle Unexpected Situations
Analyzing Geospatial Distribution in Blockchains
A First Look into DeFi Oracles
TontineCoin: Murder-Based Proof-of-Stake
SmartDHX: Diffie-Hellman Key Exchange with Smart Contracts
Privacy-preserving Blockchain-based Systems for Car Sharing Leveraging Zero-Knowledge Protocols
Characterizing Polkadot's Transactions Ecosystem: methodology, tools, and insights
Towards Cross-Blockchain Smart Contracts
A Middleware Architecture for Self-Sovereign Identity Authentication and Authorization
IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2024, Shanghai, China, July 15-18, 2024
Lock and Load: A Model for Free Blockchain Transactions through Token Locking
IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2021, Online Event, August 23-26, 2021
Proof-of-Contribution-Based Design for Collaborative Machine Learning on Blockchain
How to disclose selective Information from permissioned DLT-based Traceability Systems?
LBRY: A Blockchain-Based Decentralized Digital Content Marketplace
A tool for implementing privacy in Nano
Blockchain: A Novel Approach for the Consensus Algorithm Using Condorcet Voting Procedure
Automating Bulk Commodity Trading Using Smart Contracts
An Alternative Paradigm for Developing and Pricing Storage on Smart Contract Platforms
TeSC: TLS/SSL-Certificate Endorsed Smart Contracts
Using Django Framework and DLT for Drug Supply Chain Management
Hyperledger Fabric: Evaluating Endorsement Policy Strategies in Supply Chains
UBIC-A Blockchain-Less Cryptocurrency
A Usage-Based Mechanism for Securing Systems Via Blockchains
Performance Evaluation of Self-Sovereign Identity Use Cases
Efficient Credential Revocation Using Cryptographic Accumulators
Alt-PoW: An Alternative Proof-of-Work Mechanism
In-Browser Cryptomining for Good: An Untold Story
Towards An Analysis of Network Partitioning Prevention for Distributed Ledgers and Blockchains
IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2023, Athens, Greece, July 17-20, 2023
A Study on ÐApps Characteristics
The Merchant: Avoiding Payment Channel Depletion through Incentives
A Secure Permissioned Blockchain Based System for Trademarks
A Survey of Tools for Analyzing Ethereum Smart Contracts
Blockchain-Based Platform for Crowdsourcing Machine Learning Models Design and Training, while Incentivizing Continuous Improvement
Process Mining for Decentralized Applications
Modularizing Cross-Cutting Concerns with Aspect-Oriented Extensions for Solidity
SDT: Towards a Blockchain-Based Secure Data Trading Application
Development of a Token Design Framework
Comparative Analysis of Lightning's Routing Clients
2nd IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2020, Oxford, UK, August 3-6, 2020
An Improved Non-Interactive Zero-Knowledge Range Proof for Decentralized Applications
Identification and Analysis of Self-Sovereign Identity User Interface and User Experience Design Patterns
DevID: Blockchain-Based Portfolios for Software Developers
Building a Cross-Chain Identity: A Self-Sovereign Identity-Based Framework
A Taxonomy of Decentralized Identifier Methods for Practitioners
Funding Large Projects with a Blockchain Based Automated Fractional Reserve Currency
Static Capability-Based Security for Smart Contracts
Fair and private Bitcoin rewards: Incentivizing participation in Crowd-sensing applications
Reducing Automotive Counterfeiting Using Blockchain: Benefits and Challenges
Splitting and Aggregating Signatures in Cryptocurrency Protocols
Efficient Cross-Blockchain Token Transfers with Rollback Support
A Data-Driven Analysis of Blockchain Systems' Public Online Communications on GDPR
IEEE International Conference on Decentralized Applications and Infrastructures, DAPPCON 2019, Newark, CA, USA, April 4-9, 2019
Rebalancing Threshold Strategy with Trend Following Against Impermanent Loss
Integration of Blockchain and Internet of Things in a Car Supply Chain
COST: A Consensus-based Oracle Protocol for the Secure Trade of Digital Goods
Performance Modeling and Analysis of the Bitcoin Inventory Protocol
Ditto: Towards Decentralised Similarity Search for Web3 Services
A Differentially Private Blockchain-Based Approach for Vertical Federated Learning
Take Back your Friends with DCS: A Decentralized Connectivity Service for private social communication apps
BlockAM: An Adaptive Middleware for Intelligent Data Storage Selection for Internet of Things
Blockchain is Watching You: Profiling and Deanonymizing Ethereum Users
A Comparative Analysis of Blockchain Redaction Techniques
ProfitMax: Optimizing Blockchain Mining for Energy Efficiency and Profitability
A Risk Redistribution Standard for Practical Cryptocurrency Payment
Entity Detection in EVM-based Blockchain Networks Using Machine Learning
Operating ZKPs on Blockchain: A Performance Analysis Based on Hyperledger Fabric
Supporting Reuse of Smart Contracts through Service Orientation and Assisted Development
Practical Exchange for Unique Digital Goods
CommonsHood: a Blockchain-based Wallet App for Local Communities
Leveraging Standards Based Ontological Concepts in Distributed Ledgers: A Healthcare Smart Contract Example
A Framework for Assessing and Selecting Blockchains at Runtime
Blockchain Service Operations - A Structured Approach to Operate a Blockchain Solution
Tawki: Towards Self-Sovereign Social Communication
Automatic Detection of API Access Control Vulnerabilities in Decentralized Web3 Applications
The Waku Network as Infrastructure for dApps
Message from the General Chairs: IEEE CISOSE 2023
PartChain: A Decentralized Traceability Application for Multi-Tier Supply Chain Networks in the Automotive Industry
A framework for creating deployable smart contracts for non-fungible tokens on the Ethereum blockchain
Proof-of-Learning: A Blockchain Consensus Mechanism Based on Machine Learning Competitions
Tokens, Types, and Standards: Identification and Utilization in Ethereum
Support and Scandals in GameFi dApps: A Network Analysis of The Sandbox Transactions
Contract networking for crowdsourced connectivity
RiderS: Towards a Privacy-Aware Decentralized Self-Driving Ride-sharing Ecosystem
Blockly2Hooks: Smart Contracts for Everyone with the XRP Ledger and Google Blockly
On the Practicality of a Smart Contract PKI
Tracking Decisions about Granting Access to Health Data: Application Analysis and Requirements
Irregular-Program-Based Hash Algorithms
B-ROSCA: A Smart Contract-Based Selection of ROSCA Communities Using Collateral
DIDAPPER: A Practical and Auditable On-Chain Identity Service for Decentralized Applications
VCTP: A Verifiable Credential-Based Trust Propagation Protocol for Personal Issuers in Self-Sovereign Identity Platforms
Temporarily Restricting Solidity Smart Contract Interactions
Understanding and Detecting Majority Attacks
Incentives Against Power Grabs or How to Engineer the Revolution in a Pooled Proof of Stake System
A Tree-based Construction for Verifiable Diplomas with Issuer Transparency
A Robust Front-Running Methodology for Malicious Flash- Loan DeFi Attacks
Automating Intellectual Property License Agreements with DLT
Aspect-Oriented Programming of Sparse Matrix Code
Language Interoperability for High-Performance Parallel Scientific Components
Object-Oriented Design for Sparse Direct Solvers
Automatic Binding of Native Scientific Libraries to Java
Towards a Parallel C++ Programming Language Based on Commodity Object-Oriented Technologies
SharedOnRead Optimization in Parallel Object-Oriented Programming
The Design and Evolution of the MPI-2 C++ Interface
Exploiting Parallelism in Real-Time Music and Audio Applications
A FIFO Queue Class Library as a State Variable of Time Warp Logical Processes
The Mobile Object Layer: A Run-Time Substrate for Mobile Adaptive Computations
MC++and a Transport Physics Framework
Using Object-Oriented Techniques for Realizing Parallel Architectural Skeletons
An Object-Oriented Time Warp Simulation Kernel
A General Resource Reservation Framework for Scientific Computing
Parallel Object Oriented Monte Carlo Simulations
Object-Oriented Run-Time Support for Data-Parallel Applications
Run-Time Support for Multi-tier Programming of Block-Structured Applications on SMP Clusters
The OptSolve++ Software Components for Nonlinear Optimization and Root-Finding
Experiences with an Object-Oriented Parallel Language: The CORRELATE Project
Parallel Array Class Implementation Using C++ STL Adaptors
µ Profiler: Profiling User-Level Threads in a Shared-Memory Programming Environment
Optimization of Data-Parallel Field Expressions in the POOMA Framework
Client/Server Architecture in the ADAMS Parallel Object-Oriented Database System
SIFFEA: Scalable Integrated Framework for Finite Element Analysis
Tiger: Toward Object-Oriented Distributed and Parallel Programming in Global Environment
JAPE: The Java Parallel Environment
Overture: An Object-Oriented Framework for Solving Partial Differential Equations
ARAMIS: A Remote Access Medical Imaging System
The Role of Abstraction in High-Performance Computing
A Runtime Monitoring Framework for the TAU Profiling System
Arrays in Blitz++
Generic Programming for Parallel Mesh Problems
The Extensible Java Preprocessor Kit and a Tiny Data-Parallel Java
Complex Numbers for Java
Computing in Object-Oriented Parallel Environments, Third International Symposium, ISCOPE 99, San Francisco, California, USA, December 8-10, 1999, Proceedings
An Evaluation of Java for Numerical Computing
Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages
Automatic Run-Time Code Generation in C++
A Comparison of Performance-Enhancing Strategies for Parallel Numerical Object-Oriented Frameworks
Describing Objects in Parallel ECEM Image Reconstruction
Branch and Bound Based Load Balancing for Parallel Applications
Object-Oriented Approach for an Iterative Calculation Method and Its Parallelization with Domain Decomposition Method
Evaluation High Level Parallel Programming Support for Irregular Applications in ICC++
The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra
Particle Beam Dynamics Simulations Using the POOMA Framework
An Object-Oriented Framework for Parallel Simulation of Ultra-large Communication Networks
Optimizing Transformations of Stencil Operations for Parallel Object-Oriented Scientific Frameworks on Cache-Based Architectures
Computing in Object-Oriented Parallel Environments, Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8-11, 1998, Proceedings
The TRIO-Unitaire Project: A Parallel CFD 3-Dimensional Code
Numerical Solution of PDEs on Parallel Computers Utilizing Sequential Simulators
Loci: A Deductive Framework for Graph-Based Algorithms
Design of a Data Class for Parallel Scientific Computing
A Framework for Parallel Adaptive Finite Element Methods and Its Template Based Implementation in CC++
Design and Performance Improvement of a Real-World, Object-Oriented C++ Solver with STL
Software Tools for Partitioning Block-Structured Applications
An Object-Oriented Collection of Minimum Degree Algorithms
Flow in Porous Media Using NAO Finite Difference Classes
A Portable, Object-Based Parallel Library and Layered Framework for Real-Time Radar Signal Processing
Scientific Computing in Object-Oriented Parallel Environments, ISCOPE 97, Marina del Rey, CA, USA, December 8-11, 1997, Proceedings
Generic Graph Algorithms for Sparse Matrix Ordering
A Parallel, Object-Oriented Implementation of the Dynamic Recursion Method
Efficient Extensible Synchronization in Sather
A Framework for Object-Oriented Metacomputing
Static Networks: A Powerful and Elegant Exteansion to Concurrent Object-Oriented Languages
Array Design and Expression Evaluation in POOMA II
Overture : Object-Oriented Tools for Applications with Complex Geometry
High-Level Parallel Programming of an Adaptive Mesh Application Using the Illinois Concert System
Will C++ Be Faster than Fortran?
Janus: A C++ Template Library for Parallel Dynamic Mesh Applications
A Multithreaded Java Framework for Solving Linear Elliptic Partial Differential Equations in 3D
Processing Sparse Vectors During Compile Time in C++
Component Architecture of the Tecolote Framework
Improving Cache Utilization of Linear Relaxation Methods: Theory and Practice
Are Generic Parallel Algorithms Feasible for Quantum Lattice Models?
Dynamic Reconfiguration and Virtual Machine Management in the Harness Metacomputing System
The IceT Environment for Parallel and Distributed Computing
Pattern-Based Object-Oriented Parallel Programming
Automatic Generation of Executable Data Structures
Merging Web-Based with Cluster-Based Computing
JEM-DOOS : The Java/RMI Based Distributed Objects Operating System of the JEM Project
An Object-Oriented Approach to the Implementation of a High-Level Data Parallel Language
An Architecture in Java for Mobile Computation
An Object-Oriented Programming Suite for Electrostatic Effects in Biological Molecules
A Compile-Time Meta-Level Architecture Supporting Class Specific Optimization
Almost structural completeness; an algebraic approach
Jankov Formula and Ternary Deductive Term
Projectivity and unification in the varieties of locally finite monadic MV-algebras
A general framework for geometric dualities for varieties of algebras
MV-Algebraic Moebius Transform on the Vietoris Space
An elementary proof of the completeness of the Lukasiewicz axioms
Open projections do not form a right residuated lattice
Walker's Cancellation Theorem
Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 2
Scheme representation for first-order logic
On fuzzification of topological categories
TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28 - August 1, 2013
Boolean like algebras
Residuated Lattices, Regular Languages, and Burnside Problem
On modal components of the S4-logics
Extensions of ordering sets of states from effect algebras onto their MacNeille completions
Four-valued modal logic: Kripke semantics and duality
Basic Logic, SMT solvers and finitely generated varieties of GBL-algebras
Relevant logic and relation algebras
On the constant domains principle and its weakened versions in the Kripke sheaf semantics
Strong 0-dimensionality in Pointfree Topology
Dcpo models of T 1 spaces
An analogue of Bull's theorem for Hybrid Logic
Chang-Mundici construction of an enveloping unital lattice-group of a BL-algebra
A Syntactic Characterization of the Gabbay-de Jongh Logics
Spectra of finitely presented lattice-ordered Abelian groups and MV-algebras, part 1
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 1
Truncated Vector Lattices
Generalizing the concept of quantum triads
Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge
Canonical formulas via locally finite reducts and generalized dualities
The finite embeddability property for some noncommutative knotted extensions of FL
Reducts and Modal Operators on Residuated Lattices
Conditional Independence in Categories
Proof theory for lattice-ordered groups
Variants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions
A new Glivenko Theorem
Two-layer modal logics: from fuzzy logics to a general framework
On the modal logic of the iterated Cantor derivative and finitary operations on topological spaces
Representation of the Medial-Like Algebras
Idempotent generated algebras and Boolean powers of commutative rings
A Complete Calculus of Monotone and Antitone Higher-Order Functions
Coproducts of Distributive Lattice based Algebras
General Topos Semantics for Higher-Order Modal Logic
Laterally complete and projective hulls of semilinear residuated lattices
Relational groupoids and residuated lattices
Entropic Hopf algebras
Funayama's theorem revisited
On (finite) distributive lattices with antitone involutions
Effect algebras with state operator
Spectral-like duality for Distributive Hilbert Algebras with Infimum
Derivational modal logic of real line with difference modality
Topological completeness of extensions of S4
Effect algebras, witness pairs and observables
Tensor products of modal logics
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2
Cayley and Holland Theorems for Residuated Lattices
Cuts for circular proofs
From free algebras to proof bounds
Priestley duality for (modal) N4-lattices
Securing Data at Rest
Proceedings of the 2nd Australian Information Security Management Conference, Securing the Future, Perth, Western Australia, November 26th, 2004
Risk Management in CRM Security Management
Approaches to IT Security in Small and Medium Enterprises
Physician secure thyself
Non-Repudiation in Pure Mobile Ad Hoc Network
Need to Know: Security or Liability?
Developing a framework for understanding Security Governance
Enforcement of a P3P Privacy Policy
Recommendations for wireless network security policy: an analysis and classification of current and emerging threats and solutions for different organisations
Identity Synthesis: Creating An Identity From Scratch
A Formal Model for the Relationship between Culture and Trust within is Security Management
PKI - Advantages and Obstacles
Understanding Transition towards Information Security Culture Change
Risk Homeostasis as a Factor of Information Security
An Examination of the Security of Routing Protocol Updates
Organisational Information Security: A Viable System Perspective
Potential Bluetooth Vulnerabilities in Smartphones
Smart Card Authentication for Mobile Devices
The underestimation of threats to patient data in clinical practice
Security Governance: Its Impact on Security Culture
Health Information Security Evaluation: Continued Development of an Object-Oriented Method
New Form of Identity (ID) Theft Crime: Acquiring Personal Information from Your Online Newsletter Providers
My Problem or Our Problem? - Exploring the use of information sharing as a component of a holistic approach to e-security in response to the growth of 'Malicious Targeted Attacks'
Proceedings of the 3rd Australian Information Security Management Conference, Perth, Western Australia, 30th September 2005
Graphical Authentication: Justifications and Objectives
Understanding Challenges of Information Security Culture: A Methodological Issue
Securing PDAs in the Healthcare Environment