yusuke1997/dblp-id-title huggingface dataset:
Power Division in Multi-Receiver Wireless Power Transfer Systems
Controlling Robot Gripper Force By Transferring Human Forearm Stiffness Using Force Myography
Autoscaling of cores in multicore processors using power and thermal workload signatures
Enhancing static noise margin while reducing power consumption
Spin transfer torque driven coupled oscillators for self-oscillating RF mixers
Performance study of the SURE trimmed denoising method for one dimensional signals
Energy Efficient and High-Performance Synaptic Operating Point Evaluation for SNN Applications
A high resolution transimpedance amplifier for use in a 10-bit 200 MS/s current mode SAR ADC
SoC-FPGA implementation of the sparse fast fourier transform algorithm
Gate-variants of Gated Recurrent Unit (GRU) neural networks
Modeling of Bias-Dependent Single Event Transients for Circuit Sensitivity Calculation
Remote field device fingerprinting using device-specific modbus information
High voltage measurements using slab coupled optical sensors (SCOS)
SPAD Based CMOS Monolithic PPG Sensor
A fast, low complexity image fusion algorithm based on multiscale transforms
Simulation and experimental studies of electrical characteristics of nano metal-semiconductor interfaces
μLeech: A side-channel evaluation platform for IoT
Magnetic Particle Imaging Super Resolution Using Transfer Learning with Sparse Transforms
Look-Up tables with multiple inputs for secured-by-design FPGAs
A 1.65 to 2.5 GHz Wide-band RF Energy Harvester
Reduction in the area of a high voltage multiplexer
An on-chip security guard based on zero-power authentication for implantable medical devices
All-Pass Time Delay Circuit Magnitude Response optimization Using Fractional-Order Capacitor
Reliability Assessment of Tiny Machine Learning Algorithms in the Presence of Control Flow Errors
Frequency and amplitude estimation of noncircular sinusoid using complex adaptive notch filters
55th IEEE International Midwest Symposium on Circuits and Systems, MWSCAS 2012, Boise, ID, USA, August 5-8, 2012
A voltage-scalable zero-delay-overhead scheme for standby power reduction in dynamic register files
Accuracy and speed limitations in DACs across CMOS process technologies
An ultra low voltage ultra low power CMOS UWB LNA using forward body biasing
A 12.5 Gb/s 1.38 mW Inverter-Based Optical Receiver in 28 nm CMOS
A single-ended chopper-stabilized ISFET amplifier for continuous pH measurement applications
Variable Order Adaptation of LMS Lattice Predictors Using Forward Residual Errors
An 8b 5-GS/s CMOS SAR ADC with speed optimized SAR logic
Reverse Electrowetting-on-Dielectric (REWOD) Energy Harvesting Circuit Advancement for Improved Power Conversion Efficiency
Underwater channel estimation and multiple object tracking using embedded computing
Sizing analog integrated circuits by combining gm/ID technique and evolutionary algorithms
A PVT-compensated capacitive sensor with sub-1fF sensitivity
A low-noise, low-power signal conditioning circuit with narrow bandwidth
A high-level synthesis and verification tool for application specific k th Root Processing Engine
Analysis of Charge Reuse in Switched-Capacitor Power-Converter Drivers
Split-transistor compensation: Application to a low-dropout voltage regulator (LDO)
Comparative performance evaluation and assessment of organic light emitting diodes and light emitting diodes
Design and Implementation of an Ultrasonic Link for Concurrent Telemetry of Multiple Data Streams to Implantable Biomedical Microsystems
Study of secure boot with a FPGA-based IoT device
A wireless image acquisition system for artificial knee implant surgeries
Design of 0.45V, 1.3mW ultra high gain CMOS LNA using gm-boosting and forward body biasing technique
A Direct Current-to-digital converter (DCDC) for Advanced Current Measurement in System-on-Chip (SOC) Designs
Design of Microscale Piezoelectric Energy Harvesting System
A Carbon Nanotube Inkjet-Printed Hybrid Circuit for Non-Conventional Computing
A Compact, Highly Scalable, Low-Power, and Multi-Channel Charge Digitizer for Beam Profile Monitoring
Memristor-Based AES Key Generation for Low Power IoT Hardware Security Modules
An automated embedded computer vision system for object measurement
Low dropout (LDO) voltage regulator design using split-length compensation
Evaluation and Optimization of The Bit Rate Distance Relationships in IR-UWBoF Systems
Antenna Design for Magnetic Energy Transmission to Low Frequency RFID Tags in Small Aquaculture Tanks
Highly linear bridge-based ISFET pH sensor readout circuit
A Review of Enabling Technologies for Magnetic Particle Imaging
Dynamics of ML Approaching Randomized Decoders on Graphs with Cycles
Modeling and design of a 0.8-30 GHz tunable inductor-less divide-by-2 frequency divider with digital frequency calibration
Bio-impedance analysis for high-speed and wide-band application by using pulse stimulation
A 99.6 % Duty Cycle High-Resolution DPWM Using Reconfiguring Decoder
Invited paper: Resource sharing in feed forward neural networks for energy efficiency
Scalable High-Accuracy Ranging and Wireless Frequency Synchronization for Open-Loop Distributed Phased Arrays
A 13.8mW ANN-Based Seizure Prediction Accelerator
Optimization of Machine Learning Guided Optical Proximity Correction
Design considerations for a multi-integrator architecture for random demodulation compressive sensing
Optoelectronic multiplexing of microwave sub-carriers for high-speed wireless transmissions
Edge Map Extraction of an Image Based on the Gradient of its Binary Versions
A power reduction technique for wideband common gate low noise amplifers
Dual-frequency admittance property of two sections transmission-line and application
Process variation verification of low-power secure CSSAL AES S-box circuit
Teager energy operated perceptual wavelet packet transform coefficients for arithmetic task classification from EEG signals
Concise thermal to electrical parameters extraction of thermoelectric generator for spice modeling
FPGA-Based Real-Time Embedded Vision System for Autonomous Mobile Robots
Design of filters with variable transmission zeros for highly accurate instantaneous frequency estimation
A 700mV low power pipeline ADC using a novel common mode feedback circuit and offset cancellation technique
Tunable kΩ to GΩ pseudo-resistor with bootstrapping technique
Area/Power-Efficient True-Single-Phase-Clock D-Flipflops with Improved Metastability
7-mm low-latency inter-chiplet serial link with silicon interposer
A Test Comparison of Full/Half Duplex and Sequential RFID Systems for Communication with Magnetic Carbon Steel Pipes
IC chip design and synthesis for color matrixing and convolution
Invited: IoB: The Vision of the Internet of Bodies
2-Dimensional FIR Digital Filter Design using Teaching-Learning-Based Optimization
Initial optimization of graphene coated fabrics for ECG sensors
Enhanced event-driven modeling of a CP-PLL with nonlinearities and nonidealities
Efficient algorithm and hardware implementation of 3N for arithmetic and for Radix-8 encodings
Design of 2-D digital filters with almost quadrantal symmetric magnitude response without 1-D separable denominator factor constraint
Local Queueing-Based Data-Driven Task Scheduling for Multicore Systems
Flexible EEG Headband with Artifact Reduction and Continuous Electrode Skin Impedance Monitoring for Neurological Disorders
Comparison of 130 nm technology 6T and 8T SRAM cell designs for Near-Threshold operation
Homeostatic Plasticity in a Leaky Integrate and Fire Neuron Using Tunable Leak
An Energy Harvesting Solution for IoT Sensors
Trade-Offs Between Data and Power Transfer in Near-Field Inductive Links
GPU base calling for DNA strand sequencing
A Dynamic System Approach to Spiking Memristor Network Investigation
Design and Implementation of a Direct Access File System (DAFS) Kernel Server for FreeBSD
Running "fsck" in the Background
build.sh: Cross-building NetBSD
Problems Updating FreeBSD's Card System from ISA to PCI
A Digital Preservation Network Appliance Based on OpenBSD
Sushi: An Extensible Human Interface for NetBSD
Building a High-performance Computing Cluster Using FreeBSD
The WHBA Project: Experiences "deeply embedding" NetBSD
A FreeBSD-Based Low-Cost Broadband VPN Router for a Telemedicine Application
Keynote: Computing Fallacies (or, What Is the World Coming To?)
Rethinking /dev and Devices in the UNIX Kernel
GBDE-GEOM Based Disk Encryption
An Automated Binary Security Update System for FreeBSD
SystemStarter and the Mac OS X Startup Process
Proceedings of BSDCon 2002, San Francisco, California, USA, February 11-14, 2002
Log Monitors in BSD UNIX
Using FreeBSD to Render Realtime Localized Audio and Video
Locking in the Multithreaded FreeBSD Kernel
Cryptographic Device Support for FreeBSD (Awarded Best Paper!)
Flexible Packet Filtering: Providing a Rich Toolbox
Long Range 802.11 WANs
Social and Technical Implications of Nonproprietary Software
Invited Talk: Post-Digital Possibilities
Reasoning about SMP in FreeBSD
Resisting SYN Flood DoS Attacks with a SYN Cache
Experiences on an Open Source Translation Effort in Japan
Fast IPSec: A High-Performance IPsec Implementation
Advanced Synchronization in Mac OS X: Extending UNIX to SMP and Real-Time
Tagging Data in the Network Stack: mbuf_tags
ULE: A Modern Scheduler for FreeBSD
Porting NetBSD to the AMD x86-64: A Case Study in OS Portability
Enhancements to the Fast Filesystem to Support Multi-Terabyte Storage Systems
Proceedings of BSDCon 2003, San Mateo, California, USA, September 8-12, 2003
Running BSD Kernels as User Processes by Partial Emulation and Rewriting of Machine Instructions
An Implementation of the Yarrow PRNG for FreeBSD
devd - A Device Configuration Daemon
Causality Prediction with Neural-Symbolic Systems: A Case Study in Smart Grids
Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge
Challenge Problems in Developing a Neuro-Symbolic OODA Loop
Self-Organized Inductive Reasoning with NeMuS
Extracting Propositional Rules from Feedforward Neural Networks by Means of Binary Decision Diagrams
Learning Sequential Control in a Neural Blackboard Architecture for In Situ Concept Reasoning
Neural Class Expression Synthesis
Towards Learning Abductive Reasoning Using VSA Distributed Representations
Neural Sub-Symbolic Reasoning
Inducing Symbolic Rules from Entity Embeddings using Auto-encoders
Towards Explainable Neural-Symbolic Visual Reasoning
Commonsense Ontology Micropatterns
Neuro-Symbolic Reasoning Shortcuts: Mitigation Strategies and their Limitations
Logic Explained Networks
Enhancing Geometric Ontology Embeddings for E ℒ ++ with Negative Sampling and Deductive Closure Filtering
Confidence Values and Compact Rule Extraction From Probabilistic Neural Networks
Towards Grounding Conceptual Spaces in Neural Representations
Compact Crossbar Variable Binding for Neuro-Symbolic Computation
Unsurpervised Learning in Hybrid Cognitive Architectures
TIC: Translate-Infer-Compile for Accurate "Text to Plan" Using LLMs and Logical Representations
Proceedings of the 16th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 2nd International Joint Conference on Learning & Reasoning (IJCLR 2022), Cumberland Lodge, Windsor Great Park, UK, September 28-30, 2022
Proceedings of the 15th International Workshop on Neural-Symbolic Learning and Reasoning as part of the 1st International Joint Conference on Learning & Reasoning (IJCLR 2021), Virtual conference, October 25-27, 2021
Combining Fast and Slow Thinking for Human-like and Efficient Decisions in Constrained Environments
Combining Machine Learning and Semantic Web: A Systematic Mapping Study
Semantic Probabilistic Layers for Neuro-Symbolic Learning
The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning
Scalable Inverse Reinforcement Learning via Instructed Feature Construction
Using neural models to perform inference
Neuro-Symbolic = Neural + Logical + Probabilistic
Elite BackProp: Training Sparse Interpretable Neurons
Propositional Rule Extraction from Neural Networks under Background Knowledge
Enhancing Neuro-Symbolic Integration with Focal Loss: A Study on Logic Tensor Networks
Extending Real Logic with Aggregate Functions
Closing the Neural-Symbolic Cycle: Knowledge Extraction, User Intervention and Distillation from Convolutional Neural Networks
Coherent and Consistent Relational Transfer Learning with Auto-encoders
Neural-Symbolic Learning and Reasoning - 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part II
Semantic Interpretability of Convolutional Neural Networks by Taxonomy Extraction
Reasoning in Transformers - Mitigating Spurious Correlations and Reasoning Shortcuts
Efficiently Merging Symbolic Rules into Integrated Rules
Classical Planning in Deep Latent Space: From Unlabeled Images to PDDL (and back)
Towards Bridging the Gap Between Pattern Recognition and Symbolic Representation Within Neural Networks
Can Large Language Models Put 2 and 2 Together? Probing for Entailed Arithmetical Relationships
SHERLOCK - An Interface for Neuro-Symbolic Networks
A Neural-Symbolic System for Automated Assessment in Training Simulators
Towards Educating Artificial Neural Systems
Using Attentive Focus to Discover Action Ontologies from Perception
ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series
One-shot Information Extraction from Document Images using Neuro-Deductive Program Synthesis
Symbolic Computing with Incremental Mind-maps to Manage and Mine Data Streams - Some Applications
A Modular Neurosymbolic Approach for Visual Graph Question Answering
Solving Raven's Progressive Matrices via a Neuro-vector-symbolic Architecture
A Fuzzy Loss for Ontology Classification
Propositional Reasoning via Neural Transformer Language Models
Unification by Error-Correction
Is the Proof Length a Good Indicator of Hardness for Reason-able Embeddings?
Implementing Trustworthy AI in Real-world Medical Imaging using the SimpleMind Software Environment
Inductive Learning in Shared Neural Multi-Spaces
Simple and Effective Transfer Learning for Neuro-Symbolic Integration
Embed2Rule Scalable Neuro-Symbolic Learning via Latent Space Weak-Labelling
Neural-Symbolic Rule-Based Monitoring
Ethical Reward Machine
A Roadmap for Neuro-argumentative Learning
Visual Intelligence using Neural-Symbolic Learning and Reasoning
Neural-Symbolic Learning: How to Play Soccer
Backpropagating through Markov Logic Networks
Learning with Knowledge Graphs
Neural-Symbolic Learning and Reasoning - 18th International Conference, NeSy 2024, Barcelona, Spain, September 9-12, 2024, Proceedings, Part I
Scaling up relational templated neural models
Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, July 3-5, 2023
FB15k-CVT: A Challenging Dataset for Knowledge Graph Embedding Models
IID Relaxation by Logical Expressivity: A Research Agenda for Fitting Logics to Neurosymbolic Requirements
Explainable Classification of Internet Memes
From Subsymbolic to Symbolic: A Blueprint for Investigation
Concept Induction Using LLMs: A User Experiment for Assessment
Efficient Predicate Invention using Shared NeMuS
The Roles of Symbols in Neural-based AI: They are Not What You Think!
PhysWM: Physical World Models for Robot Learning
Category-based Inductive Learning in Shared NeMuS
Continual Reasoning: Non-monotonic Reasoning in Neurosymbolic AI using Continual Learning
Assessing LLMs Suitability for Knowledge Graph Completion
Hybrid Classification and Symbolic-Like Manipulation Using Self-Regulatory Feedback Networks
Visual Sudoku Puzzle Classification: A Suite of Collective Neuro-Symbolic Tasks
A Comparison between Deep Q-Networks and Deep Symbolic Reinforcement Learning
The Reusable Symbol Problem
Towards Developmental AI: The paradox of Ravenous Intelligent Agents
From Axioms over Graphs to Vectors, and Back Again: Evaluating the Properties of Graph-based Ontology Embeddings
Lattice-Preserving ALC Ontology Embeddings
Neural Analogical Reasoning
Towards Explainable Decision Making with Neural Program Synthesis and Library Learning
Towards Understanding the Impact of Graph Structure on Knowledge Graph Embeddings
Modeling Reasoning Mechanisms by Neural-Symbolic Learning
Assessing Logical Reasoning Capabilities of Encoder-Only Transformer Models
Local ABox Consistency Prediction with Transparent TBoxes Using Gated Graph Neural Networks
T-PRISM: A tensorized logic programming language for data modelling
CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical Reasoning
VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
Proceedings of the 11th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'16) co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016), New York City, NY, USA, July 16-17, 2016
Leveraging Neurosymbolic AI for Slice Discovery
Verifying Strategic Abilities of Neural-Symbolic Multi-agent Systems
High-Power Logical Representation via Rulelog, for Neural-Symbolic
Probing LLMs for Logical Reasoning
Heterotic Continuous Time Real-valued/Boolean-valued Networks
LENs for Analyzing the Quality of Life of People with Intellectual Disability
Experiments with LLMs for Converting Language to Logic
ESC-Rules: Explainable, Semantically Constrained Rule Sets
On the Benefits of OWL-based Knowledge Graphs for Neural-Symbolic Systems
Knowledge-based Analogical Reasoning in Neuro-symbolic Latent Spaces
A Hybrid System for Systematic Generalization in Simple Arithmetic Problems
Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, Barcelona, Spain, July 17, 2011
What's Wrong with Gradient-based Complex Query Answering?
Extracting Both MofN Rules and if-then Rules from the Training Neural Networks
An Insect-Inspired Randomly, Weighted Neural Network with Random Fourier Features For Neuro-Symbolic Relational Learning
The Challenge of Learning Symbolic Representations
Towards Understanding Graph Neural Networks: Functional-Semantic Activation Mapping
WineGraph: A Graph Representation for Food-Wine Pairing
Variable Assignment Invariant Neural Networks for Learning Logic Programs
Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), Annual workshop of the Neural-Symbolic Learning and Reasoning Association, Macao, China, August 12, 2019
Modular Design Patterns for Neural-symbolic Integration: Refinement and Combination
On the Use of Neurosymbolic AI for Defending Against Cyber Attacks
Grounding LTLf Specifications in Images
Symbol Emergence in Design
The Connection Graph Proof Procedure as a Logical-Connectionist Model of the Mind
ULLER: A Unified Language for Learning and Reasoning
Revisiting Neural-Symbolic Learning Cycle
Metacognitive AI: Framework and the Case for a Neurosymbolic Approach
Learning Proof Path Selection Policies in Neural Theorem Proving
Large-Scale Knowledge Integration for Enhanced Molecular Property Prediction
Differentiable Rule Induction with Learned Relational Features
Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation
Neural Semirings
VSA-based Positional Encoding Can Replace Recurrent Networks in Emergent Symbol Binding
A Proposal for Common Dataset in Neural-Symbolic Reasoning Studies
Learning Arithmetic from Handwritten Images with the Aid of Symbols
Tensor Product Representations of Subregular Formal Languages
Deep Semantics for Explainable Visuospatial Intelligence: Perspectives on Integrating Commonsense Spatial Abstractions and Low-Level Neural Features
RL-Net: Interpretable Rule Learning with Neural Networks
Injecting Prior Knowledge for Transfer Learning into Reinforcement Learning Algorithms using Logic Tensor Networks
Enhancing Machine Learning Predictions Through Knowledge Graph Embeddings
Text-based Reasoning with Symbolic Memory Model
Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
Shared Multi-Space Representation for Neural-Symbolic Reasoning
Cognitive Synergy: A Principle to Guide the Tight Integration of Heterogeneous Components in Integrative AI Systems
ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models
Guiding Backprop by Inserting Rules
Proceedings of the Fifth International Workshop on Neural-Symbolic Learning and Reasoning, NeSy 2009, Pasadena, CA, USA, July 11, 2009
Valid Text-to-SQL Generation with Unification-Based DeepStochLog
ViPro: Enabling and Controlling Video Prediction for Complex Dynamical Scenarios Using Procedural Knowledge
A Neural-Symbolic Cognitive Agent with a Mind's Eye
Neural Variational Inference For Estimating Knowledge Graph Embedding Uncertainty
Bayesian Inverse Graphics for Few-Shot Concept Learning
Parameter Learning Using Approximate Model Counting
Embedding Normative Reasoning into Neural Symbolic Systems
Zero-shot Multi-Domain Dialog State Tracking Using Prescriptive Rules
Terminating Differentiable Tree Experts
Bringing Back Semantics to Knowledge Graph Embeddings: An Interpretability Approach
A New Concept for Explaining Graph Neural Networks
Explainable Diabetic Retinopathy Classification Based on Neural-Symbolic Learning
Effective Integration of Symbolic and Connectionist Approaches through a Hybrid Representation
Exploiting T-norms for Deep Learning in Autonomous Driving
Proceedings of the Fourth International Workshop on Neural-Symbolic Learning and Reasoning, NeSy 2008, Patras, Greece, July 21, 2008
Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, NeSy 2017, London, UK, July 17-18, 2017
pix2rule: End-to-end Neuro-symbolic Rule Learning
Twenty-Five Years of Combining Symbolic and Numeric Learning
Extracting Argumentative Dialogues from the Neural Network that Computes the Dungean Argumentation Semantics
Decoding Superpositions of Bound Symbols Represented by Distributed Representations
Visual Reward Machines
Towards Invertible Semantic-Preserving Embeddings of Logical Formulae
RecT: A Recursive Transformer Architecture for Generalizable Mathematical Reasoning
Enhancing GPT-Based Planning Policies by Model-Based Plan Validation
Disentangling Visual Priors: Unsupervised Learning of Scene Interpretations with Compositional Autoencoder
How to Think About Benchmarking Neurosymbolic AI?
Exploring Mathematical Conjecturing with Large Language Models
Inductive Future Time Prediction on Temporal Knowledge Graphs with Interval Time
Neuro-Symbolic Constraint Programming for Structured Prediction
Vowel Recognition in Simulated Neurons
Using Neural Networks to Control Glut in the Active Logic Machine
Neural-Symbolic Predicate Invention: Learning Relational Concepts from Visual Scenes
Q-SATyrus: Mapping Neuro-symbolic Reasoning into an Adiabatic Quantum Computer
Designing Logic Tensor Networks for Visual Sudoku Puzzle Classification
GlanceNets: Interpretable, Leak-proof Concept-based Models
On the Value of Labeled Data and Symbolic Methods for Hidden Neuron Activation Analysis
Preliminary Results on a State-Driven Method for Rule Construction in Neural-Symbolic Reinforcement Learning
CABot3: A Simulated Neural Games Agent
Large Language Models Need Symbolic AI
Learning Logic Constraints From Demonstration
Enhancing Logical Tensor Networks: Integrating Uninorm-Based Fuzzy Operators for Complex Reasoning
ProSLM: A Prolog Synergized Language Model for explainable Domain Specific Knowledge Based Question Answering
Context Helps: Integrating Context Information with Videos in a Graph-Based HAR Framework
Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language
Logic Supervised Learning for Time Series - Continual Learning for Appliance Detection
Explaining Trained Neural Networks with Semantic Web Technologies: First Steps
Learning Where and When to Reason in Neuro-Symbolic Inference
Knowledge-Guided Colorization: Overview, Prospects and Challenges
Neural-Symbolic Learning and Reasoning (NeSy 2012), Papers from the 2012 AAAI Workshop, Toronto, ON, Canada, July 23, 2012
Error-Margin Analysis for Hidden Neuron Activation Labels
Learning about Actions and Events in Shared NeMuS
A Neural Network Approach for First-Order Abductive Inference