Results 51 to 60 of about 32,246 (268)

Model Checking of Recursive Probabilistic Systems [PDF]

ACM Transactions on Computational Logic, 2012
Recursive Markov Chains (RMCs) are a natural abstract model of procedural probabilistic programs and related systems involving recursion and probability. They succinctly define a class of denumerable Markov chains that generalize several other stochastic models, and they are equivalent in a precise sense to probabilistic Pushdown Systems ...
Kousha Etessami, Mihalis Yannakakis
openaire   +1 more source

Topology‐Enriched Toughness Enhancement in Quasi‐Periodic Metastructures Featuring Tailorable Strong‐Weak Network

Advanced Science, EarlyView.
A quasi‐periodic Dart‐Kite (QDK) metastructure with a golden‐ratio‐constrained strong–weak bond network simultaneously enhances strength, toughness, and damage tolerance. Its distributed topology enables predictable, tailorable crack paths for precise fracture control and stable mechanics, demonstrating a high‐performance, controllable architecture ...
Tianyu Gao, Genda Wang, Jiabao Bai, Kai Liu   +3 more
wiley   +1 more source

Nonsmooth Recursive Identification of Sandwich Systems with Backlash-Like Hysteresis

Journal of Applied Mathematics, 2012
A recursive gradient identification algorithm based on the bundle method for sandwich systems with backlash-like hysteresis is presented in this paper.
Ruili Dong, Yonghong Tan, Hui Chen, Yangqiu Xie   +3 more
doaj   +1 more source

High Fracture Toughness of 1D Copper‐Based MOP Electrode Enables Fast‐Charging Lithium‐Ion Batteries

Advanced Science, EarlyView.
Traditional electrode materials suffer from particle cracking and rapid capacity fade during fast charging, largely originating from their low fracture toughness. This work introduces a one‐dimensional Cu‐based metal–organic polymer, in which strong π‐d conjugation and π–π stacking endow the framework with high fracture toughness, simultaneously ...
Mingli Li, Zhenzhen Wu, Pan Yang, Di Zhao, Mengyang Dong, Muhammad Tayyab Ahsan, Lei Zhang, Shanqing Zhang, Yun Wang   +8 more
wiley   +1 more source

Rhythmic Recursion? Human Sensitivity to a Lindenmayer Grammar with Self-similar Structure in a Musical Task

Music & Science, 2020
Processing of recursion has been proposed as the foundation of human linguistic ability. Yet this ability may be shared with other domains, such as the musical or rhythmic domain. Lindenmayer grammars (L-systems) have been proposed as a recursive grammar
Andreea Geambaşu, Laura Toron, Andrea Ravignani, Clara C. Levelt   +3 more
doaj   +1 more source

Interpretable Machine Learning Framework for Nb─Si Based Alloy Design with Enhanced Fracture Toughness

Advanced Science, EarlyView.
An interpretable machine learning framework integrating SHAP and PDP analysis identifies critical design descriptors from 139 physicochemical features for Nb─Si alloys. The framework achieves <7% prediction error and guides the discovery of Nb38.5Ti38.5Si3Zr18V2 alloy with 22.791 MPa·m1/2 fracture toughness, breaking the 20 MPa·m1/2 barrier.
Dezhi Chen, Chao Xu, Jingyue Yu, Qi Wang, Hongze Fang, Shuo Yin, Turab Lookman, Ruirun Chen   +7 more
wiley   +1 more source

Hierarchical Recursive Organization and the Free Energy Principle: From Biological Self-Organization to the Psychoanalytic Mind

Frontiers in Psychology, 2017
The present paper argues that a systems theory epistemology (and particularly the notion of hierarchical recursive organization) provides the critical theoretical context within which the significance of Friston's (2010a) Free Energy Principle (FEP) for ...
Patrick Connolly, Vasi van Deventer
doaj   +1 more source

Causal‐Guided Ultra‐Long‐Term Time Series Forecasting Via Anticipated Covariates

Advanced Science, EarlyView.
Often treated as unknown, information from the future remains underutilized.We demonstrate that in a coupled dynamical system, providing the future state of the effect enables accurate forecasting of the cause for a long timesteps. A time series forecasting paradigm that introduces anticipated covariates to represent such known future states is ...
Jintong Zhao, Yufei Liu, Ruixi Huang, Zhongxue Gan, Siyang Leng   +4 more
wiley   +1 more source

Prosodic similarities among Romance languages

Revista de Filología Románica, 2016
The Autosegmental-Metric theory, the dominant one in the past decades, defines the prosodic structure of a statement as a non-recursive hierarchical organization (or partly recursive).
Philippe Martin
doaj   +1 more source

Updatable Closed‐Form Evaluation of Arbitrarily Complex Multiport Network Connections

Advanced Electronic Materials, EarlyView.
The inverse design of electrically large wave devices often uses reduced‐order multiport models with discrete optimization, requiring many evaluations of complex interconnections between subsystems that differ only in a few blocks. This paper introduces a closed‐form framework enabling efficient Woodbury low‐rank updates of related, previous ...
Hugo Prod'homme, Philipp del Hougne
wiley   +1 more source