Results 91 to 100 of about 1,001,118 (309)
Temperature sensitivity of soil carbon decomposition [PDF]
The world's soils contain three times as much carbon as the atmosphere. Thus, any changes in this carbon pool may affect atmospheric CO₂ levels with implications for climate change.
Erhagen, Björn
core +1 more source
Suppose the vertices of the \(k\)-regular connected graph \(G_ n\) can be partitioned into two sets \(X\) and \(Y\) such that all vertex-degrees in the subgraphs induced by \(X\) and \(Y\) are at least \(\lceil k/2 \rceil\) and \(\lfloor k/2 \rfloor\), respectively.
openaire +2 more sources
Near‐surface deuterium enrichment profiles for different microstructural types of TiAl after exposure at 700 °C in a heavy water‐containing environment. The deuterium levels are significantly higher than expected from natural occurrence, indicating that the heavy water dissociated during the exposure treatment and entered the specimens.
Jonathan D. H. Paul +5 more
wiley +1 more source
The authors define a subset \(S\) of a topological space \(X\) to be an \(\alpha^*\)-set if \(\text{int} S\) is regular open. A \(C\)-set is the intersection of an open set and an \(\alpha^*\)-set. A function between two spaces is called \(C\)-continuous if the inverse image of each open set is a \(C\)-set.
Hatır, E., Noiri, T., Yüksel, S.
openaire +2 more sources
Despite benefits to storage stability and handleability of aluminum scrap, octadecyl phosphonic acid (ODPA) SAMs reduce the tensile strength of wires produced using friction‐induced recycling. Etching and methyl diphosphonic acid (MDPA) coatings, however, have little effect.
Timothy D. Goller +3 more
wiley +1 more source
Decomposition tool for Event-B
Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the respective tool support in the Rodin platform. Besides alleviating the complexity for
Silva, Renato +3 more
core
Shared Event Composition/Decomposition in Event-B
The construction of specifications is often a combination of smaller sub-components. Composition and decomposition are techniques that support reuse and allow us to formally combine sub-components through refinement steps while reusing their properties ...
Silva, Renato, Butler, Michael
core +1 more source
A high interstital austenitic steel is additively manufactured and postdensified by HIP to eliminate gas porosity. Thereby, the loss of N and Mn in Ar HIP atmosphere is investigated. Further, HIP using N2 atmosphere is investigated which led to excessive nitride formation.
F. Großwendt +4 more
wiley +1 more source
Structural decomposition analysis and index number theory: an empirical application of the Montgomery decomposition. [PDF]
In recent years a large number of empirical articles on structural decomposition analysis, which aims at disentangling an aggregate change into its factors, has been published in Economic Systems Research.
Boer, P.M.C. de
core
Decomposition Tool for Event-B
Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the respective tool support in the Rodin platform. Besides alleviating the complexity for
Silva, Renato +3 more
core +1 more source

