yusuke1997/dblp-id-title huggingface dataset:
Compressing Neural Networks With Inter Prediction and Linear Transformation
Design of Intelligent Reflecting Surface (IRS)-Boosted Ambient Backscatter Systems
Joint Detection and Decoding of Mixed-ADC Large-Scale MIMO Communication Systems With Protograph LDPC Codes
Competitive Partial Computation Offloading for Maximizing Energy Efficiency in Mobile Cloud Computing
Toward Automated Analysis of Electrocardiogram Big Data by Graphics Processing Unit for Mobile Health Application
An Improved Algorithm of Nearness Degree of Incidence Based on Grey Neural Network
PhishOFE: A Novel Machine Learning Framework for Real-Time Phishing URL Detection With Optimized Feature Engineering
Individual Targeting Increases Control Over Inter-Individual Variability in Simulated Transcranial Electric Fields
Towards Understanding Community Interests With Topic Modeling
Multi-Branch Neural Architecture Search for Lightweight Image Super-Resolution
Comparing Kalman Filters and Observers for Power System Dynamic State Estimation With Model Uncertainty and Malicious Cyber Attacks
Advancing Copy-Move Manipulation Detection in Complex Image Scenarios Through Multiscale Detector
Crowd-Sourcing a Way to Sustainable Urban Logistics: What Factors Influence Enterprises' Willingness to Implement Crowd Logistics?
LLM Teacher-Student Framework for Text Classification With No Manually Annotated Data: A Case Study in IPTC News Topic Classification
Partial Discharges in Electrical Machines for the More Electrical Aircraft. Part III: Preventing Partial Discharges
Recurrence-Based Techniques for Data-Driven Fault Diagnosis and Monitoring in Neutral-Point-Clamped Inverters
Merging Super Resolution and Attribute Learning for Low-Resolution Person Attribute Recognition
From Vision to Voice: A Multi-Modal Assistive Framework for the Physically Impaired
A Pre-Emptive Scheduling Mechanism for Service Assurance of Network Slicing in Next Generation Cellular Networks
A Survey of Industrial AIoT: Opportunities, Challenges, and Directions
Empirical Detection Techniques of Insider Threat Incidents
Differential Private POI Queries via Johnson-Lindenstrauss Transform
Evidential Reasoning Approach for Predicting Popularity of Instagram Posts
Robust Widely Linear Beamforming With Multiple Uncertainty Sets
Modeling of HVAC Systems for Fault Diagnosis
Early Detection of Myocardial Infarction in Low-Quality Echocardiography
Schatten Graph Neural Networks
Smoothing Secant Line Slope Using Aggregation Fischer Burmeister Function
Finite-Time Controllability and Set Controllability of Impulsive Probabilistic Boolean Control Networks
Video-Based Abnormal Driving Behavior Detection via Deep Learning Fusions
Enabling Delegation of Control Plane Functionalities for Time Sensitive Networks
Space Target Detection in Complicated Situations for Wide-Field Surveillance
Secure Data Access Control With Ciphertext Update and Computation Outsourcing in Fog Computing for Internet of Things
iProgVR: Design of a Virtual Reality Environment to Improve Introductory Programming Learning
An Adaptive Detail Equalization for Infrared Image Enhancement Based on Multi-Scale Convolution
Polymers Selection for Harsh Environments to Be Processed Using Additive Manufacturing Techniques
A Technical & Economic Evaluation of Inertial Response From Wind Generators and Synchronous Condensers
Deep Learning Anomaly Detection for Cellular IoT With Applications in Smart Logistics
Radio Vortex Communication System Using Partial Angular Aperture Receiving Scheme Under Atmospheric Turbulence
Search Text to Retrieve Graphs: A Scalable RDF Keyword-Based Search System
Image Appeal Revisited: Analysis, New Dataset, and Prediction Models
AI Impermanence: Achilles' Heel for AI Assessment?
Physical Layer Security in Cognitive Millimeter Wave Networks
Secure Collecting, Optimizing, and Deploying of Firewall Rules in Software-Defined Networks
Inhalation Motion Analysis and Visualization of Error Areas Using Two Inertial Measurement Unit Sensors
Modeling Dynamic Adaptive Streaming Over Information-Centric Networking
Improving Suicide Ideation Detection Through Feature Engineering and Machine Learning
An Automatic Self-Tuning Control System Design for an Inverted Pendulum
A Review of the Trends and Challenges in Adopting Natural Language Processing Methods for Education Feedback Analysis
Novel Damage Detection Tool Based on Load Path Analysis Using Ustar (U*)
A Comparative Performance Analysis of Popularity-Based Caching Strategies in Named Data Networking
Size Optimization of Truss Structures Using Improved Grey Wolf Optimizer
Corrections to "A Comprehensive Review of Unimodal and Multimodal Fingerprint Biometric Authentication Systems: Fusion, Attacks, and Template Protection"
Neural-Network Based MPC for Enhanced Lateral Stability in Electric Vehicles
Prediction of Axis Attitude Deviation and Deviation Correction Method Based on Data Driven During Shield Tunneling
An Autonomous Wireless Body Area Network Implementation Towards IoT Connected Healthcare Applications
How Does Music-Message Congruency in Online Video Advertisements Enhance Consumers' Behavior Intentions? A Serial Multiple Mediator Model
Predicting the Classification of Heart Failure Patients Using Optimized Machine Learning Algorithms
A Hybrid Composite Differential Evolution and Multiobjective Particle Swarm Optimization Evolutionary Algorithm and Its Application
Framework, Tools and Good Practices for Cybersecurity Curricula
Performance Analysis of Linear Precoding in Massive MIMO Systems With Finite-Alphabet Inputs
Event Detection and Classification for Long Range Sensing of Elephants Using Seismic Signals
Security Analysis of Energy Internet With Robust Control Approaches and Defense Design
On the Statistical and Temporal Dynamics of Sentiment Analysis
A Secure and Efficient Trust Model for Wireless Sensor IoTs Using Blockchain
Discrete-Time Modeling and Control for LFC Based on Fuzzy Tuned Fractional-Order PD μ Controller in a Sustainable Hybrid Power System
UPL-SLAM: Unconstrained RGB-D SLAM With Accurate Point-Line Features for Visual Perception
A Modified Distance Dynamics Model for Improvement of Community Detection
A Compact 31.47 fJ/Conversion Subthreshold Level Shifter With Wide Conversion Range in 65 nm MTCMOS
Investigation of Electrical Behaviors Observed in Vertical GaN Nanowire Transistors Using Extended Landauer-Büttiker Formula
Trends, Approaches, and Gaps in Scientific Workflow Scheduling: A Systematic Review
Efficiency Optimization Design That Considers Control of Interior Permanent Magnet Synchronous Motors Based on Machine Learning for Automotive Application
Flight Test of L 1 Adaptive Control on 120-kg-Class Electric Vertical Take-Off and Landing Vehicles
DeepTPA-Net: A Deep Triple Attention Network for sEMG-Based Hand Gesture Recognition
A Novel Method of QRS Detection Using Time and Amplitude Thresholds With Statistical False Peak Elimination
Patch-Shuffled Superpixel Synthetic Anomaly Insertion in Autoencoder Foreground Extracted Regions for Improved Visual Anomaly Detection
Electromyography-Based Gesture Recognition With Explainable AI (XAI): Hierarchical Feature Extraction for Enhanced Spatial-Temporal Dynamics
ProLog2vec: Detecting Novices' Difficulty in Programming Using Deep Learning
Measures of Uncertainty for an Incomplete Set-Valued Information System With the Optimal Selection of Subsystems: Gaussian Kernel Method
Cognitive Full-Duplex Decode-and-Forward Relaying Networks With Usable Direct Link and Transmit-Power Constraints
Probability-Based Centralized Device for Spectrum Handoff in Cognitive Radio Networks
Automatic Detection of Hard Exudate in Color Retinal Fundus Image and Diabetic Maculopathy Grading
Survey of RPAS Autonomous Control Systems Using Artificial Intelligence
IEEE Access Special Section Editorial: Big Data Learning and Discovery
CADA: A Flexible and Elastic DDoS Mitigation Architecture
Fault Location of Lightning Strikes Using Residual Analysis Based on an Adaptive Kalman Filter
Cost-Minimizing Online Algorithms for Geo-Distributed Data Analytics
Global and Compact Video Context Embedding for Video Semantic Segmentation
FastMVAE: A Fast Optimization Algorithm for the Multichannel Variational Autoencoder Method
Risk Minimization Against Transmission Failures of Federated Learning in Mobile Edge Networks
An Imaging Algorithm for Multi-Channel SAR Azimuth Missing Data
Solving Large Nonlinear Systems of First-Order Ordinary Differential Equations With Hierarchical Structure Using Multi-GPGPUs and an Adaptive Runge Kutta ODE Solver
Video Deblurring via Temporally and Spatially Variant Recurrent Neural Network
Multi-View Tree Structure Learning for 3D Model Retrieval and Classification in Smart City
Convolutional Neural Network Utilizing Error-Correcting Output Codes Support Vector Machine for Classification of Non-Severe Traumatic Brain Injury From Electroencephalogram Signal
Numerical Study of the Influence of Pressure on the Dynamics and Complex Bifurcation Processes of the Low-Pressure DC Glow Discharge
Parallel Numerical Calculation on GPU for the 3-Dimensional Mathematical Model in the Walking Beam Reheating Furnace
A Variational Bayesian Approach for Channel Estimation in Pilot-Contaminated User-Centric C-RAN System
A Statistical Modeling Framework for DCT Coefficients of Tampered JPEG Images and Forgery Localization
A New Algorithm for Enumerating Bent Functions Based on Truth Tables and Run Length
Tasmanian Devil Optimization: A New Bio-Inspired Optimization Algorithm for Solving Optimization Algorithm
Peer-to-Peer Data Dissemination for Deadline-Sensitive Streaming in VANETs
A User-Friendly Wearable Telerehabilitation System Based on Neuromotor Training for Mild Post-Stroke Patients: The DoMoMEA System
ConvFusion: A Model for Layer Fusion in Convolutional Neural Networks
Active Fault Tolerant Control System Design for Hydraulic Manipulator With Internal Leakage Faults Based on Disturbance Observer and Online Adaptive Identification
Arabic Text Steganography Based on Deep Learning Methods
A Flexible Framework for the Deployment of STEM Real Remote Laboratories in Digital Electronics and Control Systems
Proposed Ranked Strategy for Technical and Economical Enhancement of EVs Charging With High Penetration Level
A Review on Mechanical Proving and Formalization of Mathematical Theorems
Physical Insights Into Cylindrical Illusion Device With Isotropic and Homogeneous Materials
HARU Sleep: A Deep Learning-Based Sleep Scoring System With Wearable Sheet-Type Frontal EEG Sensors
Harnessing Large Language Models for Software Vulnerability Detection: A Comprehensive Benchmarking Study
A Surrogate Based Computationally Efficient Method to Coordinate Damping Controllers for Enhancement of Probabilistic Small-Signal Stability
Time Series Prediction via Similarity Search: Exploring Invariances, Distance Measures and Ensemble Functions
Collaborative Coded Distributed Computing Scheme: A Two-Phase Cooperative Game Approach
Noninvasive Assessment of Arterial Stiffness Using Photoplethysmography: Feature Analysis and Machine Learning-Based Estimation of Carotid-Femoral Pulse Wave Velocity
Sunshine-Based Trajectory Simplification
Policy Reuse for Dialog Management Using Action-Relation Probability
String Comparators for Chinese-Characters-Based Record Linkages
Recognition of Subtle Gestures by 2-Channel sEMG Using Parameter Estimation Classifiers Based on Probability Density
House of Quality-Based Analysis of New Service Development Using Context Free Grammar Evaluation-Enhanced Fuzzy Hybrid Modelling
An Aperture-Coupled-Cross-Resonator FSS Based Spatial Filtering Patch Antenna Array
Securing Electric Vehicle Performance: Machine Learning-Driven Fault Detection and Classification
Vibration Suppression of a Flexible Riser by Boundary Iterative Learning Control
Patch-Based Convolutional Neural Network for Differentiation of Cyst From Solid Renal Mass on Contrast-Enhanced Computed Tomography Images
A Novel Experimental Model and a Drag-Optimal Allocation Method for Variable-Pitch Propellers in Multirotors
HybridMatch: Semi-Supervised Facial Landmark Detection via Hybrid Heatmap Representations
AMS Circuit Design Optimization Technique Based on ANN Regression Model With VAE Structure
Predicting Insomnia Response to Acupuncture With the Development of Innovative Machine Learning
Why Consumers Resist Urban Air Mobility: A Hybrid SEM-fsQCA Approach
System Identification Method Based on a Disturbance Observer Using Symmetric Reference Trajectories in PMLSM-Based Motion Systems
Visualization of Low-Permeability Natural Core Carbon Dioxide Immiscible Flooding Flow Characteristics
Combining Static Analysis With Directed Symbolic Execution for Scalable and Accurate Memory Leak Detection
Risk Assessment in Intelligent Manufacturing Process: A Case Study of an Optical Cable Automatic Arranging Robot
Critical Links Detection in Spatial-Temporal Airway Networks Using Complex Network Theories
A Robust VMD-Based Modified Multivariable Output Error Statespace Method for Detection of Low-Frequency Oscillations From Noisy Signals of WAMS
Frequency Based Transit Assignment Models: Graph Formulation Study
Active Reconfigurable Ultra-Wideband Antenna With Complementary Frequency Notched and Narrowband Response
Bacterial Memetic Algorithm Trained Fuzzy System-Based Model of Single Weld Bead Geometry
A Truthful Auction Mechanism for Mobile Crowd Sensing With Budget Constraint
A Secured Advanced Management Architecture in Peer-to-Peer Energy Trading for Multi-Microgrid in the Stochastic Environment
A Practical Public Key Encryption Scheme Based on Learning Parity With Noise
Revisiting the Feld's Friendship Paradox in Online Social Networks
Effective Lock Detectors Based on Costas Loop Output for SBPSK Mobile Communications
Bio-Inspired Tendon-Driven Finger Design With Isomorphic Ligamentous Joint
Cancer Unveiled: A Deep Dive Into Breast Tumor Detection Using Cutting-Edge Deep Learning Models
Research on Classification and Recognition of Micro Milling Tool Wear Based on Improved DenseNet
Fine-Tuning EEG Channel Utilization for Emotionally Stimulated Biometric Authentication
Collision Imminent Steering at High Speeds on Curved Roads Using One-Level Nonlinear Model Predictive Control
Comparison Study of Iterative Algorithms for Center-of-Sets Type-Reduction of Takagi Sugeno Kang Type General Type-2 Fuzzy Logic Systems
UniTT-Stereo: Unified Training of Transformer for Enhanced Stereo Matching
Performance Evaluation of Data Race Detection Based on Thread Sharing Analysis With Different Granularities: An Empirical Study
Fine-Grained Underwater Visual Object Tracking via Long-Term Template Refinement
An Efficient Android-Based Multimodal Biometric Authentication System With Face and Voice
Tree-Based Real-Time Advertisement Recommendation System in Online Broadcasting
Overhang Saddle Fin Sidewall Structure for Highly Reliable DRAM Operation
Research on Pilot Protection for Tie Line of Renewable Energy Sources
SaaS Providers Expect Revenue-Driven Optimal Reservation Strategies for Heterogeneous IaaS
Practical Data-in-Use Protection Using Binary Decision Diagrams
Optimal Pricing Strategies in Cognitive Radio Networks With Heterogeneous Secondary Users and Retrials
Sub-Nyquist Spectrum Sensing Based on Modulated Wideband Converter in Cognitive Radio Sensor Networks
Lightweight Feedback Convolution Neural Network for Remote Sensing Images Super-Resolution
User Biometric Identification Methodology via EEG-Based Motor Imagery Signals
An Anonymous Authentication With Received Signal Strength Based Pseudonymous Identities Generation for VANETs
Object Detection in Thermal Spectrum for Advanced Driver-Assistance Systems (ADAS)
Detection of Epilepsy Seizures in Neo-Natal EEG Using LSTM Architecture
The Data Divide in Pharma: A Comparative Case Study of Business Analytics Capabilities Impact on Performance
Research on Malicious JavaScript Detection Technology Based on LSTM
Revenue Maximization Through Cell Switching and Spectrum Leasing in 5G HetNets
Estimating Self-Confidence in Video-Based Learning Using Eye-Tracking and Deep Neural Networks
Realization of Deep Tilt Angle, High Aperture Efficiency, and Low Sidelobe Using a Single Metaplate and a Patch Antenna
On the Cybernetics of Crowdsourcing Innovation: A Process Model
Space-Time Domain Analysis for Enhanced LAA Uplink/Wi-Fi Coexistence: Random or Scheduled Access
Signal Preprocessing Technique With Noise-Tolerant for RF-Based UAV Signal Classification
A Mirror Shape Chiral Meta Atom for C-Band Communication
Operating Performance Enhancing Method for Doubly Salient Electromagnetic Machine Under Light Load Condition
A Hybrid P&O-Fuzzy-Based Maximum Power Point Tracking (MPPT) Algorithm for Photovoltaic Systems Under Partial Shading Conditions
Perceptual Feature Integration for Sports Dancing Action Scenery Detection and Optimization
A Versatile Flexible UHF RFID Tag for Glass Bottle Labelling in Self-Service Stores
Cₙ² Modeling for Free-Space Optical Communications: A Review
Research on Thermal Characteristics of Internal Ventilated Paths in Compact Medium High- Voltage Motor Based Fluid Network Decoupling
A Flood-Discharge-Based Spatio-Temporal Diffusion Method for Multi-Target Traffic Hotness Construction From Trajectory Data
A Survey on Integration of Empathy Cues Into Empathetic Text Generation
Effect of Misaligned Relay on Output Power and Efficiency in Wireless Power Transfer
A Package Level Regression Test Selection Approach for Java Software Systems
Fast Two-Cycle Level Set Tracking With Interactive Superpixel Segmentation and Its Application in Image Retrieval
FABS: A Framework for Addressing the Business Process Change Challenges for Smart City Development
Convolutional Neural Network-Based Inter-Turn Fault Diagnosis in LSPMSMs
Integer Code Series Enhanced IT2 Fuzzy Decision Support System With Alpha Cuts for the Innovation Adoption Life Cycle Pattern Recognition of Renewable Energy Alternatives
DISTA-CSNet: Efficient Data Aware Deep Learning Model for CS MRI Recovery
Comment on "RIO: Return Instruction Obfuscation for Bare-Metal IoT Devices"
Ambient Intelligence to Detect Misuse of Electricity Consumption Based on IoT Using Blockchain Technology
2HD: Hybrid Dynamic Utility-Driven Dependency-Aware Task Scheduling in Heterogeneous Datacenters
Decoupling Energy Efficient Approach for Hybrid Precoding-Based mmWave Massive MIMO-NOMA With SWIPT
Deep Learning-Based Detection of Inappropriate Speech Content for Film Censorship
Trajectory Tracking Control of Autonomous Vehicles Combining ACT-R Cognitive Framework and Preview Tracking Theory
House Swallow Optimizer: A New Meta-Heuristic Algorithm and Its Application for DOA Estimation of Broadband Signal in Vector Hydrophone Array
SignQuiz: A Quiz Based Tool for Learning Fingerspelled Signs in Indian Sign Language Using ASLR
Federated Explainable AI-Based Alzheimer's Disease Prediction With Multimodal Data
Advanced Signal Processing Algorithm-Based State Estimation and Denoising of ECG Signals for Biomedical Applications
A Unified Framework for User-Preferred Multi-Level Ranking of Cloud Computing Services Based on Usability and Quality of Service Evaluation
Towards Automatic High-Level Code Deployment on Reconfigurable Platforms: A Survey of High-Level Synthesis Tools and Toolchains
COMIX: Generalized Conflict Management in O-RAN xApps - Architecture, Workflow, and a Power Control Case
Prospecting Information Extraction by Text Mining Based on Convolutional Neural Networks-A Case Study of the Lala Copper Deposit, China
Misper-Bayes: A Bayesian Network Model for Missing Person Investigations
Federated Learning: A Survey on Enabling Technologies, Protocols, and Applications
NeSyVQA: Neurosymbolic Visual Question Answering With Knowledge-Enriched Scene Graphs
An Inchworm and Stick-Slip Dual Mode Piezoelectric Linear Actuator for Cell Injection
Test Scenario Fusion: How to Fuse Scenarios From Accident and Traffic Observation Data
Digital Predistortion for MIMO Transmitters Using Multi-Channel Error Feedback Adaptation
A Dual-Band Antenna With Dual-Circular Polarization for Nanosatellite Payload Application
Budgeted Passive-Aggressive Learning for Online Multiclass Classification
An Elicitation Study on Gesture Preferences and Memorability Toward a Practical Hand-Gesture Vocabulary for Smart Televisions
Performance Analysis of NOMA in 5G Systems With HPA Nonlinearities
IterLUNet: Deep Learning Architecture for Pixel-Wise Crack Detection in Levee Systems
Max-Min Throughput in Hybrid of Wireless Powered NOMA and Backscatter Communications
Data-Reserved Periodic Diffusion LMS With Low Communication Cost Over Networks
Intelligent Control Strategies for Magnetic Levitation System: Leveraging Type-2 Fuzzy CMAC and Elman Neural Networks
Artificial Blur Effect for Optical See-Through Near-Eye Displays
Optimized Squeezing Operation for Phase-Shift Keying Quantum State Discrimination
Solving Time-Varying Complex-Valued Sylvester Equation via Adaptive Coefficient and Non-Convex Projection Zeroing Neural Network
Analysis of the Shuttle-Based Storage and Retrieval System
Holographic Zoom System With Large Focal Depth Based on Adjustable Lens
Distance Estimation Algorithm for Wireless Localization Systems Based on Lyapunov Sensitivity Theory
Dimension Incremental Feature Selection Approach for Vertex Cover of Hypergraph Using Rough Sets
Deep Fully Connected Model for Collective Activity Recognition
Advance Path Loss Model for Distance Estimation Using LoRaWAN Network's Received Signal Strength Indicator (RSSI)
Security and Reliability Performance Analysis for Cloud Radio Access Networks With Channel Estimation Errors
nMorph Framework: An Innovative Approach to Transpiler-Based Multi-Language Software Development
Positive and Negative Behaviors of Oppositional Loyalty in Online Communities
A Dynamic Equivalent Model for DFIG-Based Wind Farms
Fixed-Time Stabilization of Nonlinear System and its Application into General Neural Networks
Sina Weibo Bursty Event Detection Method
Efficient Representation of Time-Varying Faded Colors Using Tetrahedral Color Space
Flit Scheduling for Cut-Through Switching: Towards Near-Zero End-to-End Latency
An Efficient Centroid-Based Routing Protocol for Energy Management in WSN-Assisted IoT
A Double Layer Cross-Slot Aperture-Fed Millimeter-Wave Antenna Array With Wide Axial Ratio Bandwidth
Analog Computing for Nonlinear Shock Tube PDE Models: Test and Measurement of CMOS Chip
Multimodal Emotion Recognition Based on Ensemble Convolutional Neural Network
Synchronization of a Seven-Term Chaotic 4D System Using a Simplified Fixed-Time Adaptive Integral Nonsingular Terminal Sliding Mode Control and Its Circuit Realization
Study of Carbon Brush and Slip-Ring System Abrasion From Electric Contact Friction Under Special Environments
Beyond 0-1: The 1-N Principle and Fast Validation of N-Sorter Sorting Networks
Spatial Power Combining of DSSS Signals From a Sparse Array
Control Simulation of Flapping-Wing Micro Aerial Vehicle Based on Multi-Level Optimization Model Predictive Control
Stochastic Optimization of AISI 52100 Hard Turning With Six Sigma Capability Constraint
A Novel Heat Shrinkable Ultrasonic Transducer for Rotary Ultrasonic Micro-Nano Precision Manufacturing
Constrained Markov Decision Process Modeling for Sequential Optimization of Additive Manufacturing Build Quality
Rental Prediction in Bicycle-Sharing System Using Recurrent Neural Network
RESS-IoT: A Scalable Energy-Efficient MAC Protocol for Direct-to-Satellite IoT
Skeleton-Based Square Grid for Human Action Recognition With 3D Convolutional Neural Network
A Compromise Solution for the Fully Fuzzy Multiobjective Linear Programming Problems
Occlusion Detection of Dense Correspondence Fields Using Motion Statistics and Triangulation
Working Together: A Review on Safe Human-Robot Collaboration in Industrial Environments
Prediction of Anemia from Multi-Data Attribute Co-Existence
A Novel Outlier Detection Model for Vibration Signals Using Transformer Networks
Keeping Host Sanity for Security of the SCADA Systems
Genetic Algorithm-Based Optimal Sizing of Hybrid Battery/Ultracapacitor Energy Storage System for Wave Energy Harvesting Applications
Activity Recognition Method for Home-Based Elderly Care Service Based on Random Forest and Activity Similarity