Open Access. Powered by Scholars. Published by Universities.®
Science and Technology Studies Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
-
- Logics (2)
- Acrididae (1)
- Al (1)
- Algebras (1)
- Aln (1)
-
- Ammonia (1)
- Analogous Execution and Serialization Orders (1)
- Australian (1)
- Ball (1)
- Bci (1)
- Bciw (1)
- Bck (1)
- Beef (1)
- Blast (1)
- Classical (1)
- Coli (1)
- Competition (1)
- Composites (1)
- Control (1)
- Controlled (1)
- Crossed (1)
- Cyclones (1)
- Depth (1)
- Dimensional (1)
- Drought (1)
- During (1)
- Endomorphisms (1)
- Escherichia (1)
- Fresh (1)
- Furnace (1)
Articles 1 - 11 of 11
Full-Text Articles in Science and Technology Studies
The "Infoharness" Information Integration Platform, Leon Shklar, Satish Thatte, Howard Marcus, Amit P. Sheth
The "Infoharness" Information Integration Platform, Leon Shklar, Satish Thatte, Howard Marcus, Amit P. Sheth
Kno.e.sis Publications
The "InfoHarness" information integration platform, tools, and services being developed at Bellcore are aimed at providing integrated and rapid access to huge amounts of heterogeneous information independent of the type, representation, and location of information. InfoHarness provides advanced search and browsing capabilities without imposing the burden of restructuring, reformatting or relocating information on information suppliers or creators. This is achieved through object-oriented encapsulation of information and the associated meta-information (e.g., type, location, access rights, owner, creation date, etc.). The meta-information extraction methods ensure rapid and largely automatic creation of information repositories. A gateway that supports access to InfoHarness repositories from …
Using Tickets To Enforce The Serializability Of Multidatabase Transactions, Dimitrios Georgakopoulos, Marek Rusinkiewicz, Amit P. Sheth
Using Tickets To Enforce The Serializability Of Multidatabase Transactions, Dimitrios Georgakopoulos, Marek Rusinkiewicz, Amit P. Sheth
Kno.e.sis Publications
To enforce global serializability in a multidatabase environment the multidatabase transaction manager must take into account the indirect (transitive) conflicts between multidatabase transactions caused by local transactions. Such conflicts are difficult to resolve because the behavior or even the existence of local transactions is not known to the multidatabase system. To overcome these difficulties, we propose to incorporate additional data manipulation operations in the subtransactions of each multidatabase transaction. We show that if these operations create direct conflicts between subtransactions at each participating local database system, indirect conflicts can be resolved even if the multidatabase system is not aware of …
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
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
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 was performed on as‐milled …
New Solutions For The Propagation Of Long Water Waves Over Variable Depth, Yinglong Zhang, Song-Ping Zhu
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
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
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 …
Classical Versions Of Bci, Bck And Bciw Logics, Martin W. Bunder, John K. Slaney
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 Strong Relevance Logics, Martin W. Bunder
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 …
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
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.
Competition For Herbage By Phaulacridium Vittatum (Sjostedt) (Orthoptera:Acrididae) And Sheep During Summer Drought, P Bailey, A B. Frensham, A Hincks, M Newton
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.