Open Access. Powered by Scholars. Published by Universities.®

Science and Technology Studies Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 9 of 9

Full-Text Articles in Science and Technology Studies

The Strong Relevance Logics, Martin W. Bunder Jan 1994

The Strong Relevance Logics, Martin W. Bunder

Faculty of Engineering and Information Sciences - Papers: Part A

The tautology p - q - p is not a theorem of the various relevance logics (see Anderson and Belnap [1]) because q is not considered to be relevant in the derivation of final p. We can take this lack of relevance to mean simply that p-q-p could have been proved without q and its -, i.e., p-p. By the same criterion we could say that in ((p-p) -q) -q p-p is not relevant. In general we will say that any theorem A of an implicational logic is strongly relevant if there is no subpart B ! which can be removed from A ...


Competition For Herbage By Phaulacridium Vittatum (Sjostedt) (Orthoptera:Acrididae) And Sheep During Summer Drought, P Bailey, A B. Frensham, A Hincks, M Newton Jan 1994

Competition For Herbage By Phaulacridium Vittatum (Sjostedt) (Orthoptera:Acrididae) And Sheep During Summer Drought, P Bailey, A B. Frensham, A Hincks, M Newton

Faculty of Engineering and Information Sciences - Papers: Part A

No abstract provided.


Classical Versions Of Bci, Bck And Bciw Logics, Martin W. Bunder, John K. Slaney Jan 1994

Classical Versions Of Bci, Bck And Bciw Logics, Martin W. Bunder, John K. Slaney

Faculty of Engineering and Information Sciences - Papers: Part A

The question is, is there a formula X, independent of B,C,K1, I and W that creates distinct subclassical logics BCIX,BCKX and BCIWX, while BCKWX is the full classical implicational logic TV?


The Interpretation Of Laser Sensing Measurements For Blast Furnace Operations And Control, Peter C. Wall, R J Turner, Mark Hughes, Peter Huk, Ross J. Haywood, M J Mccarthy, Paul Zulli Jan 1994

The Interpretation Of Laser Sensing Measurements For Blast Furnace Operations And Control, Peter C. Wall, R J Turner, Mark Hughes, Peter Huk, Ross J. Haywood, M J Mccarthy, Paul Zulli

Faculty of Engineering and Information Sciences - Papers: Part A

Several laser-based sensors for use on blast furnaces have been developed and implemented, including a raceway sensor, burden level sensor (single point) and burden surface profiler. These sensors are based on the time-of-flight technique and give high levels of accuracy in all applications. The data obtained from the sensors during normal furnace operations are examined in light of the process models utilised by operators and for the interpretation of pulverised coal injection performance. Raceway sensory data obtained during a furnace blow-in are also discussed.


Low Temperature Synthesis Of Al-Aln Composites From A Nanostructure Made By Controlled Magneto-Ball Milling Of Al In Ammonia, Andrzej Calka, J I. Nikolov, G H. J Wantenaar Jan 1994

Low Temperature Synthesis Of Al-Aln Composites From A Nanostructure Made By Controlled Magneto-Ball Milling Of Al In Ammonia, Andrzej Calka, J I. Nikolov, G H. J Wantenaar

Faculty of Engineering and Information Sciences - Papers: Part A

The formation of an AlN compound in ball milled Al powder in ammonia was studied. In this work a magneto‐ball milling device with controlled ball movement was used. The end milling product was an Al based nanostructure. This product can be transformed into an AlN‐Al nanocomposite upon heating below the melting point of Al. It was found that the level of unreacted Al is dependent on milling time. The maximum amount of AlN was 88.28 wt %. The structure of as‐milled and annealed samples was investigated using x‐ray diffractometry and transmission electron microscopy. Differential thermal analysis ...


New Solutions For The Propagation Of Long Water Waves Over Variable Depth, Yinglong Zhang, Song-Ping Zhu Jan 1994

New Solutions For The Propagation Of Long Water Waves Over Variable Depth, Yinglong Zhang, Song-Ping Zhu

Faculty of Engineering and Information Sciences - Papers: Part A

Based on the linearized long-wave equation, two new analytical solutions are obtained respectively for the propagation of long surface gravity waves around a conical island and over a paraboloidal shoal. Having been intensively studied during the last two decades, these two problems have practical significance and are physically revealing for wave propagation over variable water depth. The newly derived analytical solutions are compared with several previously obtained numerical solutions and the accuracy of those numerical solutions is discussed. The analytical method has the potential to be used to find solutions for wave propagation over more natural bottom topographies.


Crossed Products By Semigroups Of Endomorphisms And The Toeplitz Algebras Of Ordered Groups, Sriwulan Adji, Marcelo Laca, May Nilsen, Iain Raeburn Jan 1994

Crossed Products By Semigroups Of Endomorphisms And The Toeplitz Algebras Of Ordered Groups, Sriwulan Adji, Marcelo Laca, May Nilsen, Iain Raeburn

Faculty of Engineering and Information Sciences - Papers: Part A

No abstract provided.


A Three-Dimensional Numerical Model Of The Response Of The Australian North West Shelf To Tropical Cyclones, Song-Ping Zhu, Jorg Imberger Jan 1994

A Three-Dimensional Numerical Model Of The Response Of The Australian North West Shelf To Tropical Cyclones, Song-Ping Zhu, Jorg Imberger

Faculty of Engineering and Information Sciences - Papers: Part A

A three-dimensional barotropic and baroclinic model is developed to simulate currents and temperature changes induced by tropical cyclones traversing the continental shelf and slope region of the Australian North West Shelf. The model is based on a layered, explicit, finite difference formulation using the nonlinear primitive equations with an embedded entrainment scheme; a mixed-surface-layer interface is defined, which is allowed to shift from one interface to another, depending on the strength of a storm. The model has been tested by simulating the currents and temperature changes induced by tropical cyclones Orson and Ian. The modelled currents and temperatures agreed well ...


Occurrence Of Shiga-Like Toxin-Producing Escherichia Coli In Retail Fresh Seafood, Beef, Lamb, Pork, And Poultry From Grocery Stores In Seattle, Washington, Mansour Samadpour, Jerry Ongerth, J. Liston, Nhiem Tran, Dong Nguyen, Thomas S. Whittam, Richard Wilson, Phillip I. Tarr Jan 1994

Occurrence Of Shiga-Like Toxin-Producing Escherichia Coli In Retail Fresh Seafood, Beef, Lamb, Pork, And Poultry From Grocery Stores In Seattle, Washington, Mansour Samadpour, Jerry Ongerth, J. Liston, Nhiem Tran, Dong Nguyen, Thomas S. Whittam, Richard Wilson, Phillip I. Tarr

Faculty of Engineering and Information Sciences - Papers: Part A

Fresh meat, poultry, and seafood purchased from Seattle area grocery stores were investigated for the presence of Shiga-like toxin-producing Escherichia coli by using DNA probes for Shiga-like toxin (SLT) genes I and II. Of the 294 food samples tested, 17% had colonies with sequence homology to SLT I and/or SLT II genes.