Results 241 to 250 of about 11,231,749 (288)
Some of the next articles are maybe not open access.
Critical Properties of Aluminum
Journal of the American Chemical Society, 2006Gibbs ensemble Monte Carlo calculations are performed using a validated embedded-atom potential to obtain the vapor-liquid coexistence curve for elemental aluminum in good agreement with available experimental data up to the boiling point. These calculations are then extended to make a reliable prediction of the critical temperature, pressure, and ...
Divesh, Bhatt +4 more
openaire +2 more sources
Physics and Chemistry of Liquids, 1968
Abstract Measurements of P-V-T properties of argon in the critical region are reported. Isothermal compressibilities have been calculated from the data for liquid and vapor along the coexistence curve and for the gas above the critical temperature at the critical density.
Anthony F. Grigor, William A. Steele
openaire +1 more source
Abstract Measurements of P-V-T properties of argon in the critical region are reported. Isothermal compressibilities have been calculated from the data for liquid and vapor along the coexistence curve and for the gas above the critical temperature at the critical density.
Anthony F. Grigor, William A. Steele
openaire +1 more source
Critical Flow Properties of Steam
SPE Latin America Petroleum Engineering Conference, 1990ABSTRACT Understanding the thermodynamic properties of steam at critical flow conditions is important to the design, operation and management of steam distribution network and hence the cost of production in steam-enhanced recovery projects.
openaire +1 more source
The critical complexity of graph properties
Information Processing Letters, 1984The critical complexity of a Boolean function \(f(x_ 1,...,x_ n)\) is \(c(f):=\max \{| \{i:\quad f(x)\neq f(x^ i)\}|:\quad x\in \{0,1\}^ n\},\) where \(x^ i\) is obtained by changing the i-th component of x. \textit{S. Cook} and \textit{C. Dwork} [Bounds on the time for parallel RAMs to compute simple functions, Proc.
openaire +2 more sources
Critical Properties of a Quantum Hierarchical Model
Letters in Mathematical Physics, 1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Albeverio, S. +2 more
openaire +3 more sources
Hamiltonian properties of domination‐critical graphs
Journal of Graph Theory, 1990AbstractIn this paper we show that every connected, 3‐γ‐critical graph on more than 6 vertices has a Hamiltonian path.
openaire +2 more sources
Properties of Critical Infrastructures
2011Physical-engineered critical infrastructures (CIs) are characterized as large scale, spatially distributed, complex networks—either open or closed. According to Duenas-Osorio and Vemuru (2009), these systems are made of “a large number of interacting components (real or virtual), show emergent properties difficult to anticipate from the knowledge of ...
Wolfgang Kröger, Enrico Zio
openaire +1 more source
Proving Critical Properties of Simulink Models
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), 2016Modern cyber-physical systems place ever-increasing reliance on high-assurance software. Recent high-profile safety and security incidents directly attributable to software point to a failure to develop sufficient assurance of software correctness through verification and validation.
Ashlie B. Hocking +3 more
openaire +1 more source
Proving properties of a safety-critical system
Software Engineering Journal, 1991The paper describes the FOREST approach to formal requirements specification and particularly the role of an automated theorem prover in validating specifications written in MAL, the FOREST logic. The MAL prover uses a tableau method for constructing its proofs, with rules to handle the action modalities and quantification of MAL.
Will Atkinson, Jim Cunningham
openaire +1 more source
Critical Properties of Helimagnets
Europhysics Letters (EPL), 1988We show for the first time by extensive Monte Carlo simulations the nature of the phase transition in body-centred tetragonal helimagnets with both XY and Heisenberg spins. In the XY case, evidence of a first-order transition associated with the loss of helical ordering is found in addition to a second-order transition due to the breaking of basal ...
openaire +1 more source