Results 51 to 60 of about 249,549 (273)

Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions

IPSJ Digital Courier, 2005
Inductive inference gives us a theoretical model of concept learning from examples. In this paper, we study refutably and reliably inductive inference of recursive real-valued functions. First we introduce the new criteria RealRefEx for refutable inference and RealRelEx for reliable inference.
Eiju Hirowatari, Kouichi Hirata, Tetsuhiro Miyahara, Setsuo Arikawa   +3 more
openaire   +2 more sources

On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines [PDF]

Bulletin of the American Mathematical Society, 1989
A model for computation over the reals \({\mathbb{R}}\) (or an arbitrary ordered ring \({\mathcal R})\) is presented. A machine over \({\mathcal R}\) is a digraph with two kinds of nodes: computation (fan-out 1) nodes labelled by polynomial maps \({\mathfrak g}: {\mathcal R}^ n\to {\mathcal R}^ n\), and branching (fan-out 2) nodes labelled by tests ``\(
Blum, Lenore, Shub, Mike, Smale, Steve
openaire   +3 more sources

Vestibular Patient Journey: Insights From Vestibular Disorders Association (VeDA) Registry

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Vestibular symptoms impose a high burden of disability. Understanding real‐world diagnostic and treatment pathways can identify care gaps and guide interventions. We aimed to characterize symptom profiles, diagnostic trends, provider involvement, and treatment patterns in vestibular disorders.
Ali Rafati, Sami I. Nassar, Shaun A. Nguyen, Patricia L. Gerend, Michael C. Schubert, Michael T. Teixido, Frederick A. Godley, Joel A. Goebel, Cynthia A. Ryan, Habib G. Rizk, Amir Kheradmand   +10 more
wiley   +1 more source

Mutually Coupled Transmission Line Parameter Estimation and Voltage Profile Calculation Using One Terminal Data Sampling and Virtual Black-Box

IEEE Access, 2019
In this paper, an accurate parameter identification algorithm is proposed for transient voltage profile calculation of the unknown transmission lines.
Seyyed Mohammad Sadegh Ghiasi, Mehrdad Abedi, Seyed Hossein Hosseinian   +2 more
doaj   +1 more source

A Sparse Learning Machine for Real-Time SOC Estimation of Li-ion Batteries

IEEE Access, 2020
The state of charge (SOC) estimation of Li-ion batteries has attracted substantial interests in recent years. Kalman Filter has been widely used in real-time battery SOC estimation, however, to build a suitable dynamic battery state-space model is a key ...
Li Zhang, Kang Li, Dajun Du, Yuanjun Guo, Minrui Fei, Zhile Yang   +5 more
doaj   +1 more source

Predicting Atomic Charges in MOFs by Topological Charge Equilibration

Advanced Functional Materials, EarlyView.
An atomic charge prediction method is presented that is able to accurately reproduce ab‐initio‐derived reference charges for a large number of metal–organic frameworks. Based on a topological charge equilibration scheme, static charges that fulfill overall neutrality are quickly generated.
Babak Farhadi Jahromi, Sumukh Shankar Sharadaprasad, Rochus Schmid   +2 more
wiley   +1 more source

‘Pulsing’ cities and ‘swarming’ metropolises: A simplified, entropy-based approach to long-term urban development

Ecological Indicators, 2022
Relocating activities along the fringe, re-designing economic functions, and re-modelling settlement structures across larger regions and broader spatial scales, reflect the inherent shift toward complex metropolitan systems.
Samaneh Sadat Nickayin, Leonardo Bianchini, Gianluca Egidi, Sirio Cividino, Kostas Rontos, Luca Salvati   +5 more
doaj   +1 more source

The history of the concept of function and some educational implications [PDF]

, 1992
Several fields of mathematics deal directly or indirectly with functions: mathematical analysis considers functions of one, two, or n variables, studying their properties as well as those of their derivatives; the theories of differential and integral ...
Ponte, João Pedro da
core  

Laguerre functions on symmetric cones and recursion relations in the real case

Journal of Computational and Applied Mathematics, 2007
In this article we derive differential recursion relations for the Laguerre functions on the cone C of positive definite real matrices. The highest weight representations of the group Sp(n,R) play a fundamental role. Each such representation acts on a Hilbert space of holomorphic functions on the tube domain C+ i Sym(n,R).
Aristidou, Michael, Davidson, Mark, Ólafsson, Gestur   +2 more
openaire   +2 more sources

Data‐Driven Bulldozer Blade Control for Autonomous Terrain Leveling

Advanced Robotics Research, EarlyView.
A simulation‐driven framework for autonomous bulldozer leveling is presented, combining high‐fidelity terramechanics simulation with a neural‐network‐based reduced‐order model. Gradient‐based optimization enables efficient, low‐level blade control that balances leveling quality and operation time.
Harry Zhang, Ganesh Arivoli, Huzaifa Unjhawala, Luning Bakke, Radu Serban, Dan Negrut   +5 more
wiley   +1 more source