Results 11 to 20 of about 1,529,851 (267)
Научный вестник МГТУ ГА, 2021 During the long-term aircraft operation, corrosion damage occurs on the aircraft structure. This leads to reducing of construction strength, rigidity and durability.
D. P. Saidzhanov, V. V. Efimov
doaj +1 more source
A simple model construction for the Calculus of Constructions [PDF]
, 1996 We present a model construction for the Calculus of Constructions (CC) where all dependencies are carried out in a set-theoretical setting. The Soundness Theorem is proved and as a consequence of it Strong Normalization for CC is obtained. Some other applications of our model constructions are: showing that CC + Classical logic is consistent (by ...
Stefanova, M., Geuvers, H.
openaire +3 more sources
Geonics (geomimetics) and search for optimal solutions in building materials science
Вестник СибАДИ, 2021 Introduction. Methodological approaches and validation of the emergence of a new transdisciplinary area -geonics, which is considered as the art of applying knowledge of the inorganic world, are presented.Materials and methods. The concept of technogenic
V. S. Lesovik +3 more
doaj +1 more source
Sunan Kudus Construction as Religious Icon for the People of Kudus Regency [PDF]
E3S Web of Conferences, 2022 Kudus Regency is an interesting area to see its dynamics. Kudus Regency is known as the largest clove cigarette producing city in Central Java and is also known as the city of santri.
Waluyo Sukarjo +2 more
doaj +1 more source
Production, 2005 Este trabalho apresenta diretrizes para a integração de requisitos de segurança no trabalho à etapa de desenvolvimento de produto (DP) na construção civil.
Tarcisio Abreu Saurin
doaj +1 more source
Accumulation of irreversible deformation of soils as a result of repeated loading
Вестник Дагестанского государственного технического университета: Технические науки, 2022 Objective. The purpose of the study is to establish the patterns of accumulation of irreversible soil deformations from repeated loading.Method. When loading soils, the balance between external and internal forces is established gradually over a more or ...
K. G. Kondrashin +2 more
doaj +1 more source
Известия высших учебных заведений и энергетических объединенний СНГ: Энергетика, 2023 The paper discusses the circumstances and technical solutions that contribute to the integration of electrical and thermal networks of urban neighborhoods within the framework of a surplus of electricity generating capacities arising from the imbalance ...
A. V. Sednin, M. I. Pozdnyakova
doaj +1 more source
The Duality of Construction [PDF]
, 2014 We explore the duality of construction and deconstruction in the presence of different evaluation strategies. We characterize an evaluation strategy by the notion of substitutability, given by defining what is a value and a co-value, and we present an equational theory that takes the strategy as a parameter.
Paul Downen, Zena M. Ariola
openaire +2 more sources
The Construction of Meaning [PDF]
Topics in Cognitive Science, 2010 AbstractWe argue that word meanings are not stored in a mental lexicon but are generated in the context of working memory from long‐term memory traces that record our experience with words. Current statistical models of semantics, such as latent semantic analysis and the Topic model, describe what is stored in long‐term memory. The CI‐2 model describes
Walter Kintsch, Praful Mangalath
openaire +2 more sources
The Arabic Word between phonology and Morphology [PDF]
دراسات في اللغة العربيّة وآدابها, 2023 The Arabic language tried to make harmony between the sounds making the word, which reflects easy pronunciation and apply less physical effort, and reaching a great way of clarity.
Raed Mohammad Mansoor
doaj +1 more source