Result 141 to 153 of 153 total
Dependent types with explicit substitutions: A meta-theoretical development. (English)
Giménez, Eduardo (ed.) et al., Types for proofs and programs. International workshop TYPES ’96, Aussois, France, December 15‒19, 1996. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1512, 294-316 (1998).
141
Variational acceleration for subspace iteration method. Application to nuclear power reactors. (English)
Int. J. Numer. Methods Eng. 41, No.3, 391-407 (1998).
142
Neural modeling of torsional potential hypersurfaces in non-rigid molecules (English)
Computers & Chemistry 22, No. 5, 355-361 (1998).
143
The accurate computation of partition functions in non-rigid molecules. (English)
Comput. Chem. 21, No. 3, 143-151 (1997).
144
The accurate computation of partition functions in non-rigid molecules (English)
Computers & Chemistry 21, No. 3, 143-151 (1997).
145
Dependent types with explicit substitutiuons: A meta-theoretical development (English)
TYPES, 294-316 (1996).
146
Confluence and preservation of strong normalisation in an explicit substitutions calculus (English)
LICS, 440-447 (1996).
147
SBC-RX: knowledge based system for raiodiagnosis and training of radiologists. The teaching file tool. A new feature (English)
CALISCE, 472-475 (1996).
148
Recursive computation of Hamiltonian matrix elements using harmonic oscillator eigenfunctions: application to the inversion of ammonia and to the methyl torsion + aldehydic hydrogen wagging of acetaldehyde (English)
Computers & Chemistry 19, No. 4, 371-378 (1995).
149
Vibrational energy levels and vibronic structure of electronic spectra in molecules with large amplitude motions (English)
Computers & Chemistry 18, No. 4, 413-417 (1994).
150
Computation of kinetic constants for large range internal motions in molecules (English)
Computers & Chemistry 18, No. 1, 27-32 (1994).
151
An Approach to Software Product Testing. (English)
IEEE Transactions on Software Engineering 14, No.11, 1589-1596 (1988).
152
An approach to software product testing (English)
IEEE Trans. Software Eng. 14, No. 11, 1589-1596 (1988).
153
Result 141 to 153 of 153 total
Start
Contact
Print
General Help
