yusuke1997/dblp-id-title huggingface dataset:
Synchronization and syntonization of wireless sensor networks
A Digital Beamforming Approach for Indoor Passive Sensing
A time to digital converter for use in ultra wide band Radar sensor nodes
Phase Modulation Based TX Channel Calibration for MIMO Radar Systems
State-Recovery Protocol for URLLC Applications in 5G Systems
RSSI-based localization with minimal infrastructure using multivariate statistic techniques
Low-Cost Six-Port for High-Volume Frequency Measurement Systems in the 2.4 GHz ISM-Band
Resonate-and-Fire Spiking Neurons for Hand Gesture Label Refinement
An Approach to Over-the-air Synchronization of Commercial Chirp-Sequence Automotive Radar Sensors
Fast RF-Synthesizer based on Direct Digital Synthesis for an Instantaneous Frequency Measurement System
Characterization of RSS variability for biobot localization using 802.15.4 Radios
Evaluation of Embedded Algorithms for a Six-Port-Based Frequency Measurement System
ZeroScatter: Zero-Added-Component Backscatter Communication Using Existing Digital I/O Pins
IEEE Topical Conference on Wireless Sensors and Sensor Networks, WiSNet 2017, Phoenix, AZ, USA, January 15-18, 2017
Ultra-low-power ring oscillator based true random number generator for passive UHF RFID tags
A frequency-multiplexed Doppler-plus-FMCW hybrid radar architecture: Theory and simulations
Classification of Epoxy Wedges in Glass-Fiber Reinforced Plastics Using a Millimeter-Wave Imaging System in W-Band
Low-power frequency synthesizer for multi-tone six-port radar
Wideband Five-Port Reflectometer
ADC depending limitations for Six-Port based distance measurement systems
Wireless sensors for intelligent ball screws monitoring
Millimeter-wave radar distance measurements in micro machining
A UWB transmit-only based scheme for multi-tag support in a millimeter accuracy localization system
Micrometer-Scale Displacement Measurement Method Using 80GHz CMOS MMW Radar
Maximum Likelihood decoding for non-synchronized UHF RFID tags
Instantaneous heartbeat detection using a cross-correlation based template matching for continuous wave radar systems
Design of stable wireless sensor network for slope monitoring
Evaluation for wireless sensor networks with LT codes considering probabilities of transmission failure
A GPS Disciplined RFDAC Based C-Band Radar
Robust localization of passive UHF RFID tag arrays based on phase-difference-of-arrival evaluation
A Novel Radar Imaging Method Based on Random Illuminations Using FMCW Radar
Reconfigurable L & S band thin film miniature band-pass filter
MURS Band for LPWAN Applications
Maximum likelihood position estimation of passive UHF RFID tags based on evaluation of backscattered transponder signals
Analysis of phase sampling noise of switched injection-locked oscillators
Improved calibration procedure for six-port based precise displacement measurements
2D high resolution of stepped-FM radar based on MUSIC scheme
2-Way Localization of RFID Tags
A low-cost, dual-band RF loop antenna and energy harvester
Enhancing Multi-Subject Vital Sign Estimation by Utilizing the Generalized Sidelobe Canceller
Deep Learning-based Person Detection on a Moving Robot
Secure Occupancy Sensing with Passive Radar for Spectrally Congested Spaces
A Study on Co-Existance of Stepped FM UWB Sensor with Narrowband Wireless System
RF Energy Harvesting from GFSK-Modulated BLE Signals
Solar and RF Energy Harvesting Design Model for Sustainable Wireless Sensor Tags
Six-port technology for millimeter-wave radar and imaging applications
Performance of quadrature phase shift frequency selective receiver in presence of blockers
Compact, mobile, low power UWB system for through-wall imaging
Device-free human activity microwave detection
IEEE Topical Conference on Wireless Sensors and Sensor Networks, WiSNet 2015, San Diego, CA, USA, January 25-28, 2015
Performance evaluation of Hybrid Spread Spectrum based Advanced smart Metering Infrastructure network with Multi-User Detection techniques in jamming channel
A novel method for determining the degree of hydrogen loading of LOHC using cavity based permittivity measurements
A 927 MHz solar powered active antenna oscillator beacon signal generator
Highly accurate radio environment mapping method based on transmitter localization and spatial interpolation in urban LoS/NLoS scenario
Broadcast of things - A thought experiment
Real-time data collection in a spatially extended TDMA-based wireless sensor network
A Light Weight 3x3 Switched Polarity URA Antenna and Receive System for Direction Finding
Passive Broadband Harmonic Sensor-Tag using Circular Disk Dipole Antenna
Uncertainty Analysis of Deep Neural Network for Classification of Vulnerable Road Users using micro-Doppler
Coherence multiplexed passive wireless SAW RFID tag system
Dynamic wireless sensor networks for real time safeguard of workers exposed to physical agents in constructions sites
Integrated planar 122 GHz FMCW radar with frequency scanning antenna
Radar measurements with micrometer accuracy and nanometer stability using an ultra-wideband 80 GHz radar system
Quality of service based radar resource management for synchronisation problems
Wireless sensors for stratified soil microwave scanning applied to precision quality agriculture
Efficient coupling for non-galvanic HF RFID cards
Influence of Self-Interference in a Radar System for a Correlation Based True-Speed-Over-Ground Estimation Approach
Low-Cost Direction-of-Arrival Measurements using Multiplexed Antenna Switching
The investigation of millimetre wave optical harmonic transponders and radar for monitoring small insects
A Simple Low Jitter Wireless Triggering and Unidirectional Communication System
IEEE Topical Conference on Wireless Sensors and Sensor Networks, WiSNet 2012, Santa Clara, CA, USA, January 15-18, 2012
Wireless integrated sensor nodes for indoor monitoring and localization
Indoor Wireless Localization of Uncooperative Sources Using a Ray Tracing Model
Hand Gesture Recognition Using FMCW Radar in Multi-Person Scenario
Greedy algorithms for on-line set-covering and related problems
Approximate Clustering of Fingerprint Vectors with Missing Values
Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010
Advances on the List Stubborn Problem
On the Non-existence of Even Degree Graphs with Diameter 2 and Defect 2
Mechanically Verifying Correctness of CPS Compilation
On Directional vs. Undirectional Randomized Decision Tree Complexity for Read-Once Formulas
Proceedings of Computing: The Australasian Theory Symposium, CATS 2004, Dunedin, New Zealand, January 19-20, 2004
Graph Orientation Algorithms to Minimize the Maximum Outdegree
On the Approximability of Maximum and Minimum Edge Clique Partition Problems
Computational Complementarity and Sofic Shifts
Probe Distance-Hereditary Graphs
Rotated Library Sort
Decomposing a Multigraph into Split Components
Computational Complexity of String Puzzles
Control Complexity in Fallback Voting
The Relative Completeness of a Version of CTL*
The Next-to-Shortest Path in Undirected Graphs with Nonnegative Weights
Geometric spanners with few edges and degree five
Weak Parametric Failure Equivalences and Their Congruence Formats
Sharing Information in All Pairs Shortest Path Algorithms
Filters for Graph Matching
Stenning's Protocol Implemented in UDP and Verified in Isabelle
On the Power of Structural Violations in Priority Queues
Probabilistic Logic under Uncertainty
Towards Methods for Discovering Universal Turing Machines (or How Universal Unicorns can be Discovered, not Created)
A Polynomial Algorithm for Codes Based on Directed Graphs
The Parameterized Complexity of Regular Subgraph Problems and Generalizations
Default-Sensitive PreProcessings for Finding Maxima
On the Efficiency of Pollard's Rho Method for Discrete Logarithms
Faster Approximation Algorithms for Scheduling with Fixed Jobs
A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming
A Process-Algebraic Semantics for Generalised Nonblocking
A New Measure of Disorder in Sorting - Entropy
On Quadratic Polynomials for the Number Field Sieve
Wormhole Routing on the Star Graph Interconnection Network
Average-Case Analysis Using Kolgomorov Complexity (Abstract)
An ILP for the metro-line crossing problem
Quickest Path Queries on Transportation Network
Cliques in Odd-Minor-Free Graphs
Inferring Ordered Trees from Local Constraints
Chipping Away at P vs NP: How Far Are We from Proving Circuit Size Lower Bounds?
The Busy Beaver, the Placid Platypus and other Crazy Creatures
Learnability of Term Rewrite Systems from Positive Examples
A Fixed-Parameter Algorithm for String-to-String Correction
Structural Properties of Random Graph Models
Hardness of Approximation and Integer Programming Frameworks for Searching for Caterpillar Trees
On Packing Squares with Resource Augmentation: Maximizing the Profit
Longest Paths in Planar DAGs in Unambiguous Logspace
On-demand Bounded Broadcast Scheduling with Tight Deadlines
On Process Complexity
Nineteenth Computing: The Australasian Theory Symposium, CATS 2013, Adelaide, Australia, February 2013
Approximation Algorithms for Min-Max Capacitated Path Covers
Augmenting Edge-Connectivity between Vertex Subsets
The Ultimate Heapsort
The Inhabitation Problem for Intersection Types
Upper and Lower Degree Bounded Graph Orientation with Minimum Penalty
New Area-Time Lower Bounds for the Multidimensional DFT
Independent Spanning Trees with Small Depths in Iterated Line Digraphs
Computing: the Australasian Theory Symposium, CATS 2002, Melbourne, Australia
Graph Classes and the Complexity of the Graph Orientation Minimizing the Maximum Weighted Outdegree
Range-Aggregate Queries for Geometric Extent Problems
Faster Algorithms for Finding Missing Patterns
Transformation Rules for Z
Well-covered Graphs and Greedoids
Approximation Algorithms for Data Association Problem Arising from Multitarget Tracking
On The Complexity of Manipulating Elections
An Average Case Analysis of the Branching Algorithm for Solving k -Satisfiability Problems
Towards More Efficient Infection and Fire Fighting
Combinatorial Generation by Fusing Loopless Algorithms
Parameterized Complexity of the Clique Partition Problem
Computing: the Australasian Theory Symposium, CATS 2000, Canberra, Australia, January 1-2, 2000
Competitive Online Algorithms for Multiple-Machine Power Management and Weighted Flow Time
Analysis of Busy Beaver Machines via Induction Proofs
Termination of Abstract Reduction Systems
Tight Analysis of Shortest Path Convergecast in Wireless Sensor Networks
An Optimal Broadcasting Protocol for Mobile Video-on-Demand
Kruskalian Graphs
Plug-in Proof Support for Formal Development Environments
Black-and-White Threshold Graphs
Constructing Optimal Highways
Modelling for Lazy Clause Generation
Some Structural and Geometric Properties of Two-Connected Steiner Networks
Distributing Frequency-Dependent Data Stream Computations
On empty pentagons and hexagons in planar point sets
Computing a Minimum-Dilation Spanning Tree is NP-hard
Efficient Algorithms for Solving Shortest Paths on Nearly Acyclic Directed Graphs
Boolean equation solving as graph traversal
Computing Nash Equilibria Gets Harder: New Results Show Hardness Even for Parameterized Complexity
Alignment of Low Information Sequences
Finding the k Most Vital Edges with Respect to Minimum Spanning Trees for k=2 and 3
Generating Balanced Parentheses and Binary Trees by Prefix Shifts
On the Linear Independence of the Bivariate Discrete Convolution Blending Functions
On the complexity of the DNA Simplified Partial Digest Problem
A Multidimensional Bisection Method for Unconstrained Minimization Problem
Minimum Cost Source Location Problem with Local 3-Vertex-Connectivity Requirements
Linear Uniform Receptiveness in a Pi-Calculus with Location Failures
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction
Sparsest Cut on Quotients of the Hypercube
Concurrent Program Design in the Extended Theory of Owicki and Gries
A Relational Model of Incomplete Data without NULLs
Solving infinite games on trees with back-edges
Fast Exponential-Time Algorithms for the Forest Counting in Graph Classes
How to guard a graph against tree movements
Notes on Large Angle Crossing Graphs
Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011
Theory of Computing 2005, Eleventh CATS 2005, Computing: The Australasian Theory Symposium, Newcastle, NSW, Australia, January/February 2005
Approximating the Reliable Resource Allocation Problem Using Inverse Dual Fitting
On the Logical Implication of Multivalued Dependencies with Null Values
Testing Embeddability Between Metric Spaces
The Weak-Heap Family of Priority Queues in Theory and Praxis
Planning with Time Limits in BDI Agent Programming Languages
Constructing Strictly Positive Families
Busy Beaver Machines and the Observant Otter Heuristic
Lower Bounds on Quantum Query Complexity for Read-Once Decision Trees with Parity Nodes
An efficient solution method for relaxed variants of the nesting problem
Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30 - Febuary 2, 2007, Ballarat, Victoria, Australia, Proceedings
Optimal Joint Vendor-Buyer Inventory Strategy for Deteriorating Items with Salvage Value
Reasoning about a Distributed Probabilistic System
Computing: The Australasian Theory Symposium, CATS 2001, Gold Coast, Australia, January 29-30, 2001
A Novel Data Structure for Biconnectivity, Triconnectivity, and k-Tree Augmentation
Quantum List Decoding from Quantumly Corrupted Codewords for Classical Block Codes of Polynomially Small Rate
A Linear Time Algorithm for Pricing European Sequential Barrier Options
Spreading of Messages in Random Graphs
Delayed Correction - Binary Search with Errors Made Very Simple but Efficient
Multilayer Grid Embeddings of Iterated Line Digraphs
Application of Algorithm Theory to Data Mining
Energy-Efficient Threshold Circuits Computing Mod Functions
The Core Concept for 0/1 Integer Programming
Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), Perth, WA, Australia, February 2-3, 1998
Bounded Persistence Pathwidth
Edge-Selection Heuristics for Computing Tutte Polynomials
Compositional Type Systems for Stack-Based Low-Level Languages
Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009
Register Allocation via Coloring of Chordal Graphs
On the Succinctness of RoCTL*
Minimum Cost Homomorphism to Oriented Cycles with Some Loops
Testing Square-Freeness of Strings Compressed by Balanced Straight Line Program
Optimisation Nets
Non-clairvoyant Scheduling for Weighted Flow Time and Energy on Speed Bounded Processors
Complexity of Counting Output Patterns of Logic Circuits
Theory of Computing 2006, Proceedings of the Twelfth Computing: The Australasian Theory Symposium (CATS2006). Hobart, Tasmania, Australia, 16-19 January 2006, Proceedings
Calculating the Meeting Point of Scattered Robots on Weighted Terrain Surfaces
A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability
Boolean Affine Approximation with Binary Decision Diagrams
On the Curve Complexity of Upward Planar Drawings
Sequential Optimization of Binary Search Trees for Multiple Cost Functions
Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings
Simpler Backward Simulation Proofs
Counting paths in planar width 2 branching programs
Effective Prediction and its Computational Complexity
Tree Models and Probabilistic Polynomial Time Computations
Maximum Domination Problem
The Method of Extremal Structure on the k-Maximum Cut Problem
On Defining and Computing Communities
How Slow, or Fast, Are Standard Random Walks? - Analyses of Hitting and Cover Times on Tree
Formal Model of a Protocol Converter
Oblivious k-shot Broadcasting in Ad Hoc Radio Networks
Tractable Cases of the Extended Global Cardinality Constraint
Augmenting Outerplanar Graphs to Meet Diameter Requirements
An open problem: (4; g)-cages with odd g /gt;= 5 are tightly connected
Computing: the Australasian Theory Symposiumm, CATS 2003, Adelaide, SA, Australia, February 4-7, 2003
Separating Weakening and Contraction in a Linear Lambda Calculus
Circuit Principles and Weak Pigeonhole Variants
Matching Problems with Delta-Matroid Constraints
Factorising Temporal Specifications
Automatic Generation of Verifiable Cache Coherence Simulation Models from High-Level Specifications
Efficient Algorithms for the All Pairs Shortest Path Problem with Limited Edge Costs
Type Checking and Inference for Polymorphic and Existential Types
Minimum Mosaic Inference of a Set of Recombinants
Logic Programming: From Underspecification to Undefinedness
Descriptional Complexity of Determinization and Complementation for Finite Automata
Linear Axis for Planar Straight Line Graphs
Formalising the L4 microkernel API
The Symmetry Ratio of a Network
When are two Workflows the Same?
Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012
Computational Geometric and Combinatorial Approaches to Digital Halftoning
Minimum Augmentation of Edge-Connectivity with Monotone Requirements in Undirected Graphs
Improved Inapproximability Results for the Shortest Superstring and Related Problems
Transparency - Activity Theory-Guided Support for Information Work
An Eclipse-Based Authoring Tool For Developing Model-Based Adaptive Service Frond-Ends
Preserving Designer Input on Concrete User Interfaces Using Constraints While Maintaining Adaptive Behavior
Proceedings of the Workshop on Context-Aware Adaptation of Service Front-Ends, London, UK, June 24, 2013
Current Practices on Model-based Context-aware Adaptation
Machine Learning in the Support of Context-Aware Adaptation
MMW-4S: a model-based approach for generating context-aware user interfaces for the mobile Web
Collaborative Working Solutions based on Web Technologies powered by the Webinos platform
Opinion Mining Tools for the Analysis and Adaptation of Corporate SFEs
A Set of Languages for Context-Aware Adaptation
Multidimensional Context-Aware Adaptation of Service Front-Ends
Enhancing Collaborative Sketching with Adaptation Guidelines
A Manifest for Application Generators: Helping Developers with the Serenoa Framework
T-OMT: A Novel Opinion Mining Tool for Improving Global Customer Relationship Management
User-Centered Evaluation of an Adaptive User Interface in the Context of Warehouse Picking
Towards an Architecture Supporting Social, Adaptive and Persuasive Services for Active Elderly
CreativeNotes: A Collaborative Tool for SMEs running under the WEBINOS Project Platform
Proceedings of the Workshop on Context-Aware Adaptation of Service Front-Ends, Pisa, Italy, November 13, 2012
How to Exploit Abstract User Interfaces in MARIA
A Theoretical Framework for Specifying and Analyzing Context-Aware Adaptation
A Comparative Study of Different Encodings on the Multi-Objective Pathfinding Problem
Total optimization of a smart community by multi-population differential evolutionary particle swarm optimization
Towards Understanding the Effects of Evolving the MCTS UCT Selection Policy
A Comparative Study of Pretrained Deep Neural Networks for Classifying Alzheimer's and Parkinson's Disease
Forecasting time series from clustering by a memetic differential fuzzy approach: An application to crime prediction
Cataract Detection and Grading with Retinal Images Using SOM-RBF Neural Network
Finite-time Combinational Inner and Outer Synchronization of Multi-networks Based on Sliding Mode Control
Subclass Marginal Fisher Analysis
An improved epsilon constraint handling method embedded in MOEA/D for constrained multi-objective optimization problems
Compositional Linear Regression on Interval-valued Data
Comparison of Learning Cellular Computational Networks with EKF and CPSO for Multi-Location Wind Speed Prediction
Optimizing resource management during business process execution: A case study
An Optimized Training Dynamic for Data Streams
GLocal: A Hybrid Approach to the Multi-Agent Mission Re-Planning Problem
Variable density based clustering
Fast optimization of large antenna arrays on dielectric layers using surrogate Macro-Basis-Function representations
The effect of the number of ants parameter in the ACOR algorithm: A run-time profiling study
Edge-Rotated Cone Orders in Multi-objective Evolutionary Algorithms for Improved Convergence and Preference Articulation
A Deep Learning Approach for Load Demand Forecasting of Power Systems
Many-to-Many Path Planning for Emergency Material Transportation in Dynamic Environment
An ensemble of multi-objective optimized fuzzy regression models for short-term electric load forecasting
Voice Dialog System for Simulated Patient Robot and Detection of Interviewer Nodding
Enhancing Environmental Surveillance Against Organised Crime with Radial Basis Neural Networks
A Cooperative Algorithm for Energy-efficient Scheduling of Distributed No-wait Flowshop
An Automated Fact Checking System Using Deep Learning Through Word Embedding
Proposal of l-diversity algorithm considering distance between sensitive attribute values
Methods Matter: A Trading Agent with No Intelligence Routinely Outperforms AI-Based Traders
Information sharing in multi-agent search and task allocation problems
Online selection of surrogate models for constrained black-box optimization
Quantifying Temporal Entropy in Neuromorphic Memory Forgetting: Exploring Advanced Forgetting Models for Robust Long-Term Information Storage
An intelligent framework for emotion aware e-healthcare support systems
Design of IGBT Parameter Automatic Test System Based on LabVIEW
Weight Binary Fish School Search Algorithm for Feature Selection
PHIs (Protected Health Information) identification from free text clinical records based on machine learning
Exploring Dimensionality Reduction Techniques for Efficient Surrogate-Assisted optimization
Towards a better assessment of event logs quality
Image approach to voice recognition
Comparative Study of Crossovers for Decision Space Diversity of Non-Dominated Solutions
HIDMS-PSO: A New Heterogeneous Improved Dynamic Multi-Swarm PSO Algorithm
A multi-swarm approach to multiobjective synthesis of linear antenna array design
Morwilog: an ACO-based system for outlining multi-step attacks
Prediction of Flight Arrival Delay Time Using U.S. Bureau of Transportation Statistics
Causal Analysis of On-line Math Tutoring Impact on Low-income High School Students Using Bayesian Logistic and Beta Regressions
Deep Learning with XGBoost for Real Estate Appraisal
Switching Deep Reinforcement Learning based Intelligent Online Decision Making for Autonomous Systems under Uncertain Environment
Regression genetic programming for estimating trend end in foreign exchange market
Chatbot for Peer Support Realization based on Mutual Care
Bigram constrained Linear Chain Conditional Random Fields
Learning deep models of optimization landscapes
Physiological data analysis for an emotional provoking exergame
Discovering Communities with SGNS Modelling-based Network connections and Text communications Clustering
A Survey on Ethical Principles of AI and Implementations
Forgotten effects and heavy moving averages in exchange rate forecasting
Path Planning for Shepherding a Swarm in a Cluttered Environment using Differential Evolution
Combining Deep Reinforcement Learning with Search Heuristics for Solving Multi-Agent Path Finding in Segment-based Layouts
PBILApplied to Optimal Directional Overcurrent Relay Coordination: Effect of Learning Rate
Natural Evolution Strategy for Unconstrained and Implicitly Constrained Problems with Ridge Structure
Big Data Analytics of Financial Strategies
User-aided footprint extraction for appliance modelling in Non-Intrusive Load Monitoring
Classification of Seeds using Domain Randomization on Self-Supervised Learning Frameworks
A Practical Model for Educators to Predict Student Performance in K-12 Education using Machine Learning
Quantum Based Neural Network Classifier and Its Application for Firewall to Detect Malicious Web Request
A New Random Forest Method for Longitudinal Data Classification Using a Lexicographic Bi-Objective Approach