yusuke1997/dblp-id-title huggingface dataset:
Singularity for the one-dimensional rotating Euler equations of Chaplygin gases
Smoothness and Liouville type theorem for a system with cubic nonlinearities from biaxial nematic liquid crystals in two dimensions
Multiple solutions for Schrödinger-Kirchhoff equations with indefinite potential
Existence results for a fourth-order ordinary differential equation with a four-point boundary condition
[3, 3] Padé approximation method for solving space fractional Fokker-Planck equations
A PDAE formulation of parabolic problems with dynamic boundary conditions
New oscillation criterion for delay differential equations with non-monotone arguments
Resolution of finite fuzzy relation equations based on strong pseudo-t-norms
Recurrence in 2D inviscid channel flow
On k-tuple domination of random graphs
Retraction to "Asymptotic behavior of the Navier-Stokes flow in a general 2D domain" [Appl. Math. Lett 18 (2005) 1170-1176]
N-dimensional Auto-Bäcklund transformation and exact solutions to n-dimensional Burgers system
An oscillation criterion for forced half-linear differential equations with mixed nonlinearities
On the generalized eigenvalue problem of Rossby waves vertical velocity under the condition of zonal mean flow and topography
A sequential multilinear Nyström algorithm for streaming low-rank approximation of tensors in Tucker format
A stochastic predator-prey eco-epidemiological model with hunting cooperation
Efficient low-rank quaternion matrix completion under the learnable transforms for color image recovery
Piecewise reproducing kernel method for singularly perturbed delay initial value problems
Lyapunov type functions for classes of autonomous parabolic feedback control problems and applications
Oscillation and other properties of linear impulsive and nonimpulsive delay equations
Multi-innovation stochastic gradient algorithms for dual-rate sampled systems with preload nonlinearity
Necessary and sufficient conditions for moment stability of positive Markov jump linear systems
A complete classification of initial energy in a p(x)-Laplace pseudo-parabolic equation
Regularity criterion for the wave map in a bounded domain
A criterion for the exponential stability of linear difference equations
The first eigenvalue of polyharmonic operators and its applications
On sharp bounds of the zero-order Randic index of certain unicyclic graphs
Modeling the role of the cell cycle in regulating Proteus mirabilis swarm-colony development
Global classical solutions of a nonlinear consumption system with singular density-suppressed motility
A sufficient and necessary condition for the existence of positive solutions for a prey-predator system with Ivlev-type functional response
The composite wave in the Riemann solutions for macroscopic production model
Temporal decay estimate of solutions to 3D generalized magnetohydrodynamic system
Endpoints of set-valued asymptotic contractions in metric spaces
Existence and concentrate behavior of ground state solutions for critical Choquard equations
A well-balanced scheme able to cope with hydrodynamic limits for linear kinetic models
Relaxed unification--Proposal
Multiple soliton solutions for the new (2+1)-dimensional Korteweg-de Vries equation by multiple exp-function method
New stability criterion for time-delay systems via an augmented Lyapunov-Krasovskii functional
Necessary condition in a Brezis-Oswald-type problem for mixed local and nonlocal operators
An explicit criterion for finite-time stability of linear nonautonomous systems with delays
A least squares identification algorithm for a state space model with multi-state delays
A result on a non-autonomous Kirchhoff type equation involving critical term
A decoupled finite element method for the triharmonic equation
On the stability of reaction-diffusion models with nonlocal delay effect and nonlinear boundary condition
Nonexistence and existence of positive solutions for the Kirchhoff type equation
Bäcklund transformation, residual symmetry and exact interaction solutions of an extended (2+1)-dimensional Korteweg-de Vries equation
Regularity of the steering control for systems with persistent memory
On the unconditional long-time L2 stability of the SAV-BDF2 time-stepping schemes for the forced Navier-Stokes equations with nonsmooth initial data
Conditions for convergence and subsequential convergence
Positive solutions for a class of singular fractional differential equation with infinite-point boundary value conditions
Fekete-Szegö problem for starlike and convex functions of complex order
The extension of Rippa's algorithm beyond LOOCV
A priori estimates for the general dynamic Euler-Bernoulli beam equation: Supported and cantilever beams
Analysis of a Stokes interface problem in multi-subdomains
On lacunary statistically convergent double sequences of fuzzy numbers
A unified view of ostensibly disparate isoperimetric variational problems
Coexistence in a two species chemostat model with Markov switchings
Permanence and global attractivity of an impulsive delay Logistic model
Shooting Type Laplace-Adomian Decomposition Algorithm for nonlinear differential equations with boundary conditions at infinity
Weak-strong uniqueness for the generalized Navier-Stokes equations
Distance distribution of nodes in star graphs
The semi-classical limit of Davey-Stewartson hierarchy
Leray-Lions type p(x)-biharmonic equations involving Hardy potentials
Fast numerical study on spatial nonuniform grids for two-dimensional fractional coupled equations with fractional Neumann boundary conditions
Analysis of nontrivial radial solutions for singular superlinear k-Hessian equations
Kneser solutions of fourth-order trinomial delay differential equations
An efficient monotone projected Barzilai-Borwein method for nonnegative matrix factorization
Well-posedness for some damped elastic systems in Banach spaces
Semistandard tableaux associated with generalized labellings of posets
General lump-type solutions of the (3+1)-dimensional Jimbo-Miwa equation
On a modified pseudopotential lattice Boltzmann model for multicomponent flows
On some integrals of Glauert's type
Direct and inverse dynamic problems for a system of equations of homogeneous elastic-porous media
Solving fourth order differential equations using particular solutions of Helmholtz-type equations
How do dispersal rates affect the transition from periodic to irregular spatio-temporal oscillations in invasive predator-prey systems?
On one method for establishing a basis from double systems of exponentials
Melnikov analysis in a cubic system with a multiple line of critical points
The isochronous centers for Kukles homogeneous system of degree nine
An improved oscillation result for advanced differential equations
Existence of ground state solutions for quasilinear Schrödinger equations with super-quadratic condition
Representation of solutions of discrete linear delay systems with non permutable matrices
A note on the equivalence of some metric and cone metric fixed point results
The mass-transfer vector problem
Two theorems on multilevel programming problems with dominated objective functions
A novel kernel functions algorithm for solving impulsive boundary value problems
Basins of attraction of equilibrium points of second order difference equations
DC3 and Li-Yorke chaos
All primitive strongly regular graphs except four are hyperenergetic
Geodesics of the Structural Similarity index
Finite time stability of fractional delay differential equations
Dark soliton solutions for a coupled nonlinear Schrödinger system
A minimization theorem for a set-valued mapping
Notes on heavy cycles in weighted digraphs
Unique inversion of orders and potential for multi-term time fractional wave equations
On noise modeling in a nerve fibre
Buoyancy and drag in Rayleigh-Taylor and Richtmyer-Meshkov linear, nonlinear and mixing dynamics
Topological chaos: When topology meets medicine
The rainbow number of matchings in regular bipartite graphs
A new numerical method for variable order fractional functional differential equations
Threshold behavior in a stochastic SVIR model with general incidence rates
Global regularity of n dimensional generalized MHD equations without magnetic diffusion
The vortical deviation on a stream surface
Stability of stationary solutions for inflow problem on the thermally radiative magnetohydrodynamics
A note on oscillation of second-order delay differential equations
Pitfalls in public key cryptosystems based on free partially commutative monoids and groups
On the metric dimension of circulant graphs
A new algorithm for a class of linear nonlocal boundary value problems based on the reproducing kernel method
Stationary distribution and extinction of a stochastic HIV/AIDS model with screened disease carriers, standard incidence rate and Ornstein-Uhlenbeck process
Global existence and blow-up for a nonlinear porous medium equation
Traveling wave fronts of a diffusive Nicholson's Blowflies equation with two delays
Ultimate boundedness of impulsive fractional differential equations
A sparse rank-1 approximation algorithm for high-order tensors
A cell-centered finite volume scheme for the diffusive-viscous wave equation on general polygonal meshes
Translations of quasimonotone maps and monotonicity
New criterion for finite-time stability of fractional delay systems
The zero-crossing phase-lock loop: results from discrete dynamical theory
Limiting behavior of a global attractor for lattice nonclassical parabolic equations
Multiple soliton solutions for some (3+1 )-dimensional nonlinear models generated by the Jaulent-Miodek hierarchy
Geometric mean Newton's method for simple and multiple roots
Torsional creep problems involving Grushin-type operators
Artificial boundary conditions for nonlinear time fractional Burgers' equation on unbounded domains
Global existence for the stochastic rotation-two-component Camassa-Holm system with nonlinear noise
Concentration inequality of maximum likelihood estimator
Asymptotic analysis of time-fractional quantum diffusion
About stabilization by Poisson's jumps for stochastic differential equations
Discrete soliton solutions for a generalized discrete nonlinear Schrödinger equation with variable coefficients via discrete N -fold Darboux transformation
A quorum queueing system with an unreliable server
Global well-posedness for the 3-D generalized MHD equations
Discrete rogue waves and blow-up from solitons of a nonisospectral semi-discrete nonlinear Schrödinger equation
Infinitely many periodic solutions of ordinary differential equations
Accelerating Recommendation Systems With In-Memory Embedding Operations
Optimizing Foundation Model Inference on a Many-Tiny-Core Open-Source RISC-V Platform
Learning Interpretable Differentiable Logic Networks
TFSRAM: A 249.8TOPS/W Timing-to-First-Spike Compute-in-Memory Neuromorphic Processing Engine With Twin-Column SRAM Synapses
Design and Application of Programmable Analog Computing Circuit for Kalman Filter Algorithm Based on Memristive Array
SearchQ: Search-Based Fine-Grained Quantization for Data-Free Model Compression
VersaSens: An Extendable Multimodal Platform for Next-Generation Edge-AI Wearables
Efficient Orchestrated AI Workflows Execution on Scale-Out Spatial Architecture
Private and Efficient Learning With Hyperdimensional Computing
LoopTree: Exploring the Fused-Layer Dataflow Accelerator Design Space
A 22 nm 10.03-237.99 TOPS/W Time-Digital-Hybrid SRAM Compute-in-Memory AI Accelerator for GNN Edge Device Applications
Energy-Aware Integrated Neural Architecture Search and Partitioning for Distributed Internet of Things (IoT)
Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture
Inaugural Issue of the IEEE Transactions on Circuits and Systems for Artificial Intelligence
Inaugural Issue (Part II) of the IEEE Transactions on Circuits and Systems for Artificial Intelligence
An Artificial-Intelligence-Based SLAM Processor With Scene-Adaptive Sampling and Hybrid NeRF Model Training Acceleration
SpikePipe: Accelerated Training of Spiking Neural Networks via Inter-Layer Pipelining and Multiprocessor Scheduling
Machine-Learning-Based Side-Channel Attack Detection for FPGA SoCs
A Faithful and Compact Diffusive Memristor Model
EncodingNet: A Novel Encoding-Based MAC Design for Efficient Neural Network Acceleration
EON-1: A Brain-Inspired Processor for Near-Sensor Extreme Edge Online Feature Extraction
Harnessing GNNs for Robust Representation Learning in High-Level Synthesis
Algorithm Hardware Co-Design for ADC-Less Compute In-Memory Accelerator
Accelerating progress in Artificial General Intelligence: Choosing a benchmark for natural world interaction
Testing for Equivalence: A Methodology for Computational Cognitive Modelling
What's Next if Reward is Enough? Insights for AGI from Animal Reinforcement Learning
Will We Hit a Wall? Forecasting Bottlenecks to Whole Brain Emulation Development
Formalization of Evidence: A Comparative Study
Choosing the Right Path: Image Schema Theory as a Foundation for Concept Invention
Editorial: Computational Creativity, Concept Invention, and General Intelligence
A New Approach to Creation of an Artificial Intellect and Method of its Implementation
Exploration for Understanding in Cognitive Modeling
On Defining Artificial Intelligence
Cognitive Architectures and Autonomy: A Comparative Review
The Outline of Personhood Law Regarding Artificial Intelligences and Emulated Human Entities
Validating Computational Cognitive Process Models across Multiple Timescales
Special Issue "On Defining Artificial Intelligence" - Commentaries and Author's Response
The Action Execution Process Implemented in Different Cognitive Architectures: A Review
The Archimedean trap: Why traditional reinforcement learning will probably not yield AGI
On Mathematical Proving
Learning and Reasoning in Unknown Domains
Metacognition and Multiple Strategies in a Cognitive Model of Online Control
In Search of Insight: My Life as an Architectural Explorer
Feature Reinforcement Learning: Part II. Structured MDPs
The Prospects of Whole Brain Emulation within the next Half- Century
The AGINAO Self-Programming Engine
Artificial Motivation for Cognitive Software Agents
Black-box Brain Experiments, Causal Mathematical Logic, and the Thermodynamics of Intelligence
Learning and decision-making in artificial animals
Causal Mathematical Logic as a guiding framework for the prediction of "Intelligence Signals" in brain simulations
Extending Environments to Measure Self-reflection in Reinforcement Learning
Is Brain Emulation Dangerous?
Declarative Consciousness for Reconstruction
Unnatural Selection: Seeing Human Intelligence in Artificial Creations
Intelligence via ultrafilters: structural properties of some intelligence comparators of deterministic Legg-Hutter agents
Model-based Utility Functions
Feature Reinforcement Learning: Part I. Unstructured MDPs
A Measure of Real-Time Intelligence
Solving a Problem With or Without a Program
Evolving Non-Dominated Parameter Sets for Computational Models from Multiple Experiments
Towards a constructivist methodology: learning constructions by integrating in situ representations and productivity
Special Issue on the Exploration of Cognitive Architectures Editorial
Editorial: Approaches and Assumptions of Self-Programming in Achieving Artificial General Intelligence
Editorial: Cognitive Architectures, Model Comparison and AGI
Fuzzy Networks for Modeling Shared Semantic Knowledge
Homeostatic Agent for General Environment
Conceptual Commitments of the LIDA Model of Cognition
Editorial: What Makes JAGI Special
The Sigma Cognitive Architecture and System: Towards Functionally Elegant Grand Unification
Keep it simple - A case study of model development in the context of the Dynamic Stocks and Flows (DSF) task
Modelling Dynamic Decision Making with the ACT-R Cognitive Architecture
Towards General Evaluation of Intelligent Systems: Lessons Learned from Reproducing AIQ Test Results
From Distributional Semantics to Conceptual Spaces: A Novel Computational Method for Concept Creation
Bias and No Free Lunch in Formal Measures of Intelligence
Artificial General Intelligence: Concept, State of the Art, and Future Prospects
Measuring Intelligence and Growth Rate: Variations on Hibbard's Intelligence Measure
The Synthesis and Decoding of Meaning
Combining Evolution and Learning in Computational Ecosystems
Tra-la-Lyrics 2.0: Automatic Generation of Song Lyrics on a Semantic Domain
Is Logic in the Mind or in the World? Why a Philosophical Question can Affect the Understanding of Intelligence
Reasoning with Computer Code: a new Mathematical Logic
A Play on Words: Using Cognitive Computing as a Basis for AI Solvers in Word Puzzles
Editorial: Whole Brain Emulation seeks to Implement a Mind and its General Intelligence through System Identification
Computable Variants of AIXI which are More Powerful than AIXItl
Enabling Text-To-Speech Functionality for Websites and Applications Using a Content-Derived Model
Lorentzian Norm based Super-resolution Reconstruction of Brain MRI Image
Mapping urban accessibility: gamifying the citizens' experience
A Lightweight Routing Protocol for aWireless Video Surveillance Platform: Implementation, Experiments and Perspectives
Using the Internet of Things to Support Emotional Health
A Projector-Camera System for Ironing Support with Wrinkle Enhancement
IoT and Connected Insurance Reshaping The Health Insurance Industry. A Customer-centric "From Cure To Care" Approach
Wildfire safety with wireless sensor networks
Sustainable Commuting @Work
Connecting: the Semantic HCI Textbook and Cross-Institutional Learning Analytics
Food Consumption Tracker with Health Advises by Food Photos and Labels
Measuring dynamic process of working memory training with functional brain networks
Designing Intuitive Web Solutions for Monitoring Patients' Rehabilitation at Home
An Integrated Haptic System combining VR, a Markerless Motion Capture System & Tactile Actuators
Routing Optimization of Small Satellite Networks based on Multi-commodity Flow
Towards an Intelligent Monitoring System for Patients with Obstrusive Sleep Apnea
Exploration of the optimal skin-camera distance for facial photoplethysmographic imaging measurement using cameras of different types
Low-cost Gaze and Pulse Analysis using RealSense
Computerized experience-sampling approach for realtime assessment of stress
A Method to Assign Spread Codes Based on Passive RFID Communication for Energy Harvesting Wireless Sensors Using Spread Spectrum Transmission
Outlining a Serious Moral Games in Bioethics
Denial of Service Attacks Prevention using Traffic Pattern Recognition over Software-Defined Network
Playful Mobility Choices: Motivating informed mobility decision making by applying game mechanics
Interference Neutralization vs Clean Relaying in Cognitive Radio Networks with Secrecy
Termite: Emulation Testbed for Encounter Networks
iFlit: an ambient display to induce cognitive dissonance and behaviour change
Designing Meaningful Game Experiences for Rehabilitation and Sustainable Mobility Settings
Towards an Applied Gamification Model for Tracking, Managing, & Encouraging Sustainable Travel Behaviours
A telemedicine support for improving medical emergency management
Flipping HCI
A search engine dedicated to the environment around the Congo basin area: Model and Architecture
Activity recognition evaluation via machine learning
Empowering HCI Students to Better Manage their Learning Process through a Flipped Classroom Experience
Group-Based Museum Audio Dramas forWell-Being
Learner Analytics; The Need for User-Centred Design in Learning Analytics
Medication Adherence using Non-intrusive Wearable Sensors
Position Based Visual Servoing control of a Wheelchair Mounter Robotic Arm using Parallel Tracking and Mapping of task objects
ICT Based Diabetes Management System with Comprehensive Mobile Application: Clinical Usefulness Evaluation
A novel Self-Similar Traffic Prediction Method Based onWavelet Transform for Satellite Internet
Review of Transportation Mode Detection techniques
Design and deployment of a new wireless sensor node platform for building environmental monitoring and control
Increasing engagement with computerised cognitive behavioural therapies
Hypoglycemic Detection by Human Breath: A Mobile Health App that Alerts Diabetics of Low Blood Glucose
WPA Totem: Sharing temporaryWi-Fi Configuration Tokens using NFC
On Movement of Emergency Services amidst Urban Traffic
Cognitive assessment of executive functions using brain computer interface and eye-tracking
Harmony: A Hand Wash Monitoring and Reminder System using Smart Watches
Ubiquitous games and gamification for well-being
Robust Face Recognition using Voting by Bit-plane Images based on Sparse Representation
A Projector-Camera System for Augmented Card Playing and a Case Study with the Pelmanism Game
Feasibility Study of Smartphone-Based Tear Volume Measurement System
Welcome message for the Special Issue "USCIAMO: Urban Sustainable, CollaboratIve, and Adaptive MObility"
A Decision Support System for Preventing Falls in Elderly People
Managing Data in Help4Mood
Towards using Segmentation-based Techniques to Personalize Mobility Behavior Interventions
Heart Disease Diagnosis Based on Deep Radial Basis Function Kernel Machine
Evaluation of design parameters for a reflection based long-term pulse oximetry sensor
Recurring contact opportunities within groups of devices
Clothing Style Recognition using Fashion Attribute Detection
Living without a safety net in an Intelligent Environment
TADL-V2: An Improved Trust-Aware Dynamic Location-based Adaptation Protocol For Discovering Multiple Paths in MANETs
Android-Stego: A Novel Service Provider Imperceptible MMS Steganography Technique Robust to Message Loss
ESMAC: A Web-Based Configurator for Context-Aware Experience Sampling Apps in Ambulatory Assessment
HCI challenges in Dance Education
Sensor Modalities and Fusion for Robust Indoor Localisation
Classroom Habit(us) and Physical Co-presence in a Blended Learning Environment
RF-Care: Device-Free Posture Recognition for Elderly People Using A Passive RFID Tag Array
Vision-based Event Detection of the Sit-to-Stand Transition
A simple network agreement-based approach for combining evidences in a heterogeneous sensor network
Secure Mobile Automation of Ecological Momentary Assessments (EMA) For Structured Querying
FM-CW radar sensors for vital signs and motor activity monitoring
ViaggiaTrento: an application for collaborative sustainable mobility
Welcome message from the Editors-in-Chief
RoutineSense: A Mobile Sensing Framework for the Reconstruction of User Routines
Going Multi-viral: Synthedemic Modelling of Internet-based Spreading Phenomena
Access Control in Smart Homes by Android-Based Liveness Detection
Accessible and UsableWebsites and Mobile Applications for People with Autism Spectrum Disorders: a Comparative Study
The homes of tomorrow: service composition and advanced user interfaces
A System with a Choice of Highest-Bidder-First and FIFO Services
Creating Educational Technology Curricula for Advanced Studies in Learning Technology
Let Me Relax: Toward Automated Sedentary State Recognition and Ubiquitous Mental Wellness Solutions
Special Issue "Technology for Mental Health"
A Virtual Environment based Serious Game to Support Health Education
A Human-Centred Tangible approach to learning Computational Thinking
A Modified Shape Model Incorporating Continuous Accumulated Growing Degree Days for Phenology Detection of Early Rice
MCMS-STM: An Extension of Support Tensor Machine for Multiclass Multiscale Object Recognition in Remote Sensing Images
Feed-Forward Neural Network Denoising Applied to Goldstone Solar System Radar Images
Detecting Spatial Communities in Vehicle Movements by Combining Multi-Level Merging and Consensus Clustering
Spatiotemporal Patterns and Driving Factors of Ecological Vulnerability on the Qinghai-Tibet Plateau Based on the Google Earth Engine
Woody Aboveground Biomass Mapping of the Brazilian Savanna with a Multi-Sensor and Machine Learning Approach
Efficient Occluded Road Extraction from High-Resolution Remote Sensing Imagery
From Illegal Waste Dumps to Beneficial Resources Using Drone Technology and Advanced Data Analysis Tools: A Feasibility Study