Search
Now showing items 1-10 of 1198
Investigation of infrared absorption spectra of copper phosphate glasses containing some rare earth oxides
(1990)
The spectra of copper-lutetium-phosphate and copper-erbium-phosphate glasses have been studied within the spectral range 4000 to 400 cm- by Fourier transform infrared spectroscopy. Incorporation of a small amount of lutetium ...
Supporting increment and decrement operations in balancing networks
(1999)
Counting networks are a class of distributed data structures that support highly concurrent implementations of shared Fetch&Increment counters. Applications of these counters include shared pools and stacks, load balancing, ...
Infrared spectroscopic study of vacuum evaporated amorphous thin films of MoO3-SiO
(1990)
A series of amorphous MoO3-SiO thin films of varying compositions were investigated by infrared spectroscopy. In some cases, a shift in band frequency was observed. Some new peaks appeared when SiO was mixed in MoO3. These ...
Temperature programmed reduction of silica supported nickel catalysts
(1993)
Nickel oxide promoted catalysts are prepared by simple precipitation, precipitation from homogeneous solution and impregnation methods and their reduction behavior is monitored with temperature programmed reduction (TPR) ...
Polymers and oligomers with transverse aromatic groups and tightly controlled chain conformations
(1998)
Anionic ring-opening polymerisation of spiro[cyclopropane-1,9′-fluorene] with fluorenyl anion as initiator yields polymers 1 with chains which are essentially all-anti and have transversely-oriented fluorenyl groups, as ...
Efficiency of semisynchronous versus asynchronous networks
(1994)
The s-session problem is studied in asynchronous and semisynchronous networks. Processes are located at the nodes of an undirected graph G and communicate by sending messages along links that correspond to the edges of G. ...
Implementing interaction nets in MONSTR
(Association for Computing Machinery, 1997)
Two superficially similar graph rewriting formalisms, Interaction Nets and MONSTR, are studied. Interaction Nets come from multiplicative Linear Logic and feature undirected graph edges, while MONSTR arose from the desire ...
Ene Reaction of Arylallyl Alkenes with C60. A Mechanistic Approach
(1999)
(Matrix Presented) The ene reaction of arylallyl alkenes with C60 occurs either by a concerted mechanism or by the reversible formation of a charged or a dipolar intermediate, followed by the C-H(D) breakage in a rate-limiting ...
Term graph rewriting as a specification and implementation framework for concurrent object-oriented programming languages
(IEEE, 1995)
The usefulness of the generalized computational model of Term Graph Rewriting Systems (TGRS) for designing and implementing concurrent object-oriented languages, and also for specifying and reasoning about the interaction ...
Linear behaviour of term graph rewriting programs
(ACM, 1995)
The generalized term graph rewriting computational model is exploited to implement concurrent languages based on Girard's Linear Logic (LL). In particular a fragment of LL is identified which is able to serve as a `process ...