Results 161 to 170 of about 250,783 (371)

Some Axioms for Mathematics [PDF]

, 2021
Lisa Allali, Olivier Hermant
openalex   +1 more source

The History and Ideas of George Herbert Mead's Pragmatism and Its Relevance for Operational Research and Systems Thinkers

Systems Research and Behavioral Science, EarlyView.
ABSTRACT George Herbert Mead is an oft forgotten or ignored American philosopher who was one of the originators of pragmatism. Today, he is recognised as a creative thinker who has teased out knotty problems that others in the field had not realised were problems. Understanding Mead's analysis has been made difficult because he died prematurely without
Richard Ormerod
wiley   +1 more source

Compactness and axioms of countability in soft hyperspaces

AIMS Mathematics
In this paper, we studied the compactness relationships, the local compactness relationships, the separability, and the axiom of countability relationships in a soft topological space and its soft hyperspaces. In particular, the compactness relationships,
G. Şenel, J. I. Baek, S. H. Han, M. Cheong, K. Hur   +4 more
doaj   +1 more source

The clashing of in situ and pre‐cast technologies—Western trends and local traditions in concrete engineering shaping shell construction in 20th‐century Hungary

Structural Concrete, EarlyView.
Abstract After a blossoming pre‐World War II (WWII) period, the concrete construction industry in then‐socialist Hungary existed in a relative isolation from the Western World during the mid‐20th century. In this paper, we focus on the body of work of one of the then newly established state‐owned design offices, IPARTERV, to show how the isolation ...
Orsolya Gáspár, Péter Haba
wiley   +1 more source

On the equivalence of systems of rules and systems of axioms in illative combinatory logic. [PDF]

, 1979
M. W. Bunder
openalex   +1 more source

Identification of Missing Knowledge in MBSE System Models Using Graph‐Based Machine Learning

Systems Engineering, EarlyView.
ABSTRACT The design and development of complex aerospace systems pose significant challenges due to their growing complexity. Iterative design processes, guided by formal specifications, strive to refine initially vague characteristics through multiple stages.
Esma Karagoz, Olivia J. Pinon Fischer, Dimitri Mavris   +2 more
wiley   +1 more source

An axiom system for metasymplectic spaces

, 1982
ArjehM. Cohen
openalex   +2 more sources

Axioms for Constant Function Market Makers [PDF]

, 2022
Jan Christoph Schlegel, Akaki Mamageishvili   +1 more
openalex   +1 more source

Toward Explainable Engineering Decisions: Pursuing a Descriptive Decision Theory at the Intersection of Analysis, Judgment, and Conviction

Systems Engineering, EarlyView.
ABSTRACT Engineers design the technical systems that define and sustain our society. The decision‐making scenarios they face require both quantitative analyses and the consideration of qualitative factors, which are shaped by deeply held beliefs, values, and societal contexts. However, existing engineering decision‐making models, primarily derived from
Scott Ferguson, Kenneth “Mark” Bryden   +1 more
wiley   +1 more source

Axioms for Definability and Full Completeness [PDF]

, 2000
Samson Abramsky
openalex   +1 more source