Results 31 to 40 of about 282,171 (310)
Integrating Automated and Interactive Protocol Verification [PDF]
, 2010 A number of current automated protocol verification tools are based on abstract interpretation techniques and other over-approximations of the set of reachable states or traces. The protocol models that these tools employ are shaped by the needs of automated verification and require subtle assumptions.
Achim D. Brucker, Sebastian Mödersheim
openaire +1 more source
Powerful Interactions for Integration
, 2022 AbstractCommunication is central to the process of sensemaking. In this chapter, we explore the interactional level of sensemaking. We argue that ongoing communications with local agents can significantly influence QIs’ decisions and actions as they navigate a new country and professional environment.
Luciara Nardon, Amrita Hari
openaire +1 more source
Integrable Models of Interacting Quantum Spins with Competing Interactions [PDF]
Europhysics Letters (EPL), 1994 We present a class of exactly solvable quantum spin models which consist of two Heisenberg-subsystems coupled via a long-range Lieb-Mattis interaction. The total system is exactly solvable whenever the individual subsystems are solvable and allows to study the effects of frustration.
Richter, Johannes +3 more
openaire +2 more sources
Energy- and temperature-dependent transport of integral proteins to the inner nuclear membrane via the nuclear pore [PDF]
, 2004 Resident integral proteins of the inner nuclear membrane (INM) are synthesized as membrane-integrated proteins on the peripheral endoplasmic reticulum (ER) and are transported to the INM throughout interphase using an unknown trafficking mechanism.
Gerace, Larry +7 more
core +1 more source
Integrative computational modeling of protein interactions [PDF]
The FEBS Journal, 2014 Protein interactions define the homeostatic state of the cell. Our ability to understand these interactions and their role in both health and disease is tied to our knowledge of the 3D atomic structure of the interacting partners and their complexes.
João P. G. L. M. Rodrigues +1 more
openaire +5 more sources
Mitonuclear Interactions in the Maintenance of Mitochondrial Integrity [PDF]
Life, 2020 In eukaryotic cells, mitochondria originated in an α-proteobacterial endosymbiont. Although these organelles harbor their own genome, the large majority of genes, originally encoded in the endosymbiont, were either lost or transferred to the nucleus.
Panagiotis Karakaidos, Theodoros Rampias
openaire +3 more sources
CONCEPTUAL BASIS FOR INTEGRAL MANAGEMENT IN THE SYSTEM OF MANAGEMENT PROFESSIONALIZATION
Ринкова економіка: сучасна теорія і практика управління, 2018 Conceptual basis for integral management formation at the context of the development process of managerial activity is viewed in the paper. Assumptions and risks of these processes’ development in Ukraine are researched.
Е. А. Кузнєцов
doaj +1 more source
A NEW MULTI-CRITERIA EVALUATION MODEL BASED ON THE COMBINATION OF NON-ADDITIVE FUZZY AHP, CHOQUET INTEGRAL AND SUGENO λ-MEASURE [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2017 This paper proposes a new model for multi-criteria evaluation under uncertain condition. In this model we consider the interaction between criteria as one of the most challenging issues especially in the presence of uncertainty.
S. Nadi +3 more
doaj +1 more source
Cyclic soil-structure interaction of integral railway bridges
Frontiers in Built EnvironmentIntegral bridges with larger spans experience increased cyclic interaction with their backfill, particularly due to seasonal temperature changes. This can result in a continuous increase of earth pressure (during the summer positions) as well as an ...
Alexander Stastny +4 more
doaj +1 more source
NDC1 : a crucial membrane-integral nucleoporin of metazoan nuclear pore complexes [PDF]
, 2006 POM121 and gp210 were, until this point, the only known membrane-integral nucleoporins (Nups) of vertebrates and, thus, the only candidate anchors for nuclear pore complexes (NPCs) within the nuclear membrane. In an accompanying study (Stavru et al.), we
Gorlich, D. +20 more
core +1 more source