Results 51 to 60 of about 5,727 (300)
An equational axiomatization of systolic systems
Theoretical Computer Science, 1987 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Early evolution of the gular musculature and its innervation in ray‐finned fishes
The Anatomical Record, EarlyView.Abstract Gular muscles are an important but often overlooked component of cranial anatomy in bony fishes. They are located on the ventral surface of the head and are derived from the mandibular and hyoid arches. We present a comprehensive review of the gular musculature and its innervation across early diverging actinopterygian lineages. By integrating
Aléssio Datovo +4 more
wiley +1 more source
The Machine-Checked Complete Formalization of Landau’s Foundations of Analysis in Rocq
MathematicsFormal verification has achieved remarkable outcomes in both theory advancement and engineering practice, with the formalization of mathematical theories serving as its foundational cornerstone—making this process particularly critical.
Yue Guan, Yaoshun Fu, Xiangtao Meng
doaj +1 more source
Applying Axiomatic Design and Conceptual Independence in the Domain of IT Systems
MATEC Web of Conferences, 2017 In this paper we explain why Axiomatic design has not been applied in large system of systems information technology architectures in health care organizations in the Netherlands.
Tarenskeen Debbie, Bakker René
doaj +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT As the circular economy transition gains traction in the healthcare sector, extending the lifespan of complex medical devices has become a key priority, given their high cost and the challenges associated with their technological sophistication.
Tetiana Shevchenko +7 more
wiley +1 more source
The Faucet Reloaded: Improving Axiomatic Design by Example
MATEC Web of Conferences, 2017 Axiomatic Design Theory and Complexity Theory have made large impacts in the research of design methodologies, but a major obstacle to widespread use is the challenge of teaching it.
Foley Joseph T. +2 more
doaj +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT Despite growing attention to the circular bioeconomy (CBE), the steel industry currently lacks a standardised, sectoral measurement framework to facilitate a low‐carbon transition. In this study, a decision‐support framework for evaluating CBE performance in the steel industry is proposed.
Ali Zamani Babgohari +2 more
wiley +1 more source
Wide Gaps and Kleinberg’s Clustering Axioms for k–Means
International Journal of Applied Mathematics and Computer ScienceThe widely applied k-means algorithm produces clusterings that violate our expectations with respect to high/low similarity/density within/between clusters and is in conflict with Kleinberg’s axiomatic system for distance based clustering algorithms that
Kłopotek Mieczysław A.
doaj +1 more source
Non‐negative Gaussian estimation of variance components in random effects models
Canadian Journal of Statistics, EarlyView.Abstract When used to estimate variance components (VCs), confidence intervals (CIs) can be truncated at zero, have a point estimate not in the quoted CI, be empty with positive probability, or be all‐inclusive. This is because they have conflicting dual roles, since they are considered to cover the parameter with a specified probability while also ...
André Plante, Michael Plante
wiley +1 more source
Nonlinear permuted Granger causality
Canadian Journal of Statistics, EarlyView.Abstract Granger causality is an established, contentious method that seeks causal temporal connections via association and precedence. While not true causal inference, it assists in mapping networks of information flow that may warrant further study.
Noah D. Gade, Jordan Rodu
wiley +1 more source