Russ, Steve
Overview
Works:  20 works in 39 publications in 1 language and 990 library holdings 

Genres:  History Biography Records and correspondence Conference proceedings Criticism, interpretation, etc 
Roles:  Author, Editor 
Classifications:  QA3, 510.92 
Publication Timeline
.
Most widely held works by
Steve Russ
The mathematical works of Bernard Bolzano
by
Bernard Bolzano(
)
11 editions published in 2004 in English and held by 906 WorldCat member libraries worldwide
"Bernard Bolzano (17811848, Prague) was a remarkable thinker and reformer far ahead of his time in many areas, including philosophy, theology, ethics, politics, logic, and mathematics. Aimed at historians and philosophers of both mathematics and logic, and research students in those fields, this volume contains English translations, in most cases for the first time, of many of Bolzano's most significant mathematical writings."BOOK JACKET
11 editions published in 2004 in English and held by 906 WorldCat member libraries worldwide
"Bernard Bolzano (17811848, Prague) was a remarkable thinker and reformer far ahead of his time in many areas, including philosophy, theology, ethics, politics, logic, and mathematics. Aimed at historians and philosophers of both mathematics and logic, and research students in those fields, this volume contains English translations, in most cases for the first time, of many of Bolzano's most significant mathematical writings."BOOK JACKET
From Past to Future: Gramann's Work in Context Gramann Bicentennial Conference, September 2009
by
HansJoachim Petsche(
)
1 edition published in 2011 in English and held by 15 WorldCat member libraries worldwide
1 edition published in 2011 in English and held by 15 WorldCat member libraries worldwide
Hermann Graßmann from past to future : Graßmann's work in context : Graßmann Bicentennial Conference, September 2009
(
Book
)
2 editions published in 2011 in English and held by 14 WorldCat member libraries worldwide
2 editions published in 2011 in English and held by 14 WorldCat member libraries worldwide
The Mathematical Works of Bernard Bolzano
by
Steve Russ(
)
1 edition published in 2004 in English and held by 12 WorldCat member libraries worldwide
Bernard Bolzano (17811848, Prague) was a remarkable thinker and reformer far ahead of his time in many areas, including philosophy, theology, ethics, politics, logic, and mathematics. Aimed at historians and philosophers of both mathematics and logic, and research students in those fields, this volume contains English translations, in most cases for the first time, of many of Bolzano's most significant mathematical writings.  ;Bernard Bolzano (17811848, Prague) was a remarkable thinker and reformer far ahead of his time in many areas, including philosophy, theology, ethics, politics, logic
1 edition published in 2004 in English and held by 12 WorldCat member libraries worldwide
Bernard Bolzano (17811848, Prague) was a remarkable thinker and reformer far ahead of his time in many areas, including philosophy, theology, ethics, politics, logic, and mathematics. Aimed at historians and philosophers of both mathematics and logic, and research students in those fields, this volume contains English translations, in most cases for the first time, of many of Bolzano's most significant mathematical writings.  ;Bernard Bolzano (17811848, Prague) was a remarkable thinker and reformer far ahead of his time in many areas, including philosophy, theology, ethics, politics, logic
Hermann Graßmann  From Past to Future: Graßmann's Work in Context : Graßmann Bicentennial Conference, September 2009
(
)
1 edition published in 2011 in English and held by 7 WorldCat member libraries worldwide
1 edition published in 2011 in English and held by 7 WorldCat member libraries worldwide
The control of air pollution in Montreal
by
Robert Ascah(
Book
)
4 editions published in 1970 in English and held by 5 WorldCat member libraries worldwide
4 editions published in 1970 in English and held by 5 WorldCat member libraries worldwide
The mathematical works of Bernard Bolzano published between 1804 and 1817
by
Steve Russ(
Book
)
3 editions published in 1980 in English and Undetermined and held by 5 WorldCat member libraries worldwide
3 editions published in 1980 in English and Undetermined and held by 5 WorldCat member libraries worldwide
The interpretation of states : a new foundation for computation?
by
Meurig Beynon(
Book
)
2 editions published in 1992 in English and held by 4 WorldCat member libraries worldwide
Abstract: "Computation is a central concept in computer science. The mathematical theory of computation, with its historical origins that predate the computer, has been most influential in the development of programming languages, tools and methodologies. The study of psychological aspects of computation is by comparison a new concern that has developed largely as a post hoc investigation of contemporary methods of programming; it has yet to make a serious impact upon computer science theory. In this paper, we shall argue that concerns about perception and interpretation that are significant in psychology should be a primary source of insight into the new models of computation that will shape future developments in computer programming
2 editions published in 1992 in English and held by 4 WorldCat member libraries worldwide
Abstract: "Computation is a central concept in computer science. The mathematical theory of computation, with its historical origins that predate the computer, has been most influential in the development of programming languages, tools and methodologies. The study of psychological aspects of computation is by comparison a new concern that has developed largely as a post hoc investigation of contemporary methods of programming; it has yet to make a serious impact upon computer science theory. In this paper, we shall argue that concerns about perception and interpretation that are significant in psychology should be a primary source of insight into the new models of computation that will shape future developments in computer programming
From past to future Grassmann's work in context : Grassmann bicentennial conference, September 2009
by
HansJoachim Petsche(
)
1 edition published in 2011 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 2011 in English and held by 3 WorldCat member libraries worldwide
Empirical modelling of requirements
by
Meurig Beynon(
Book
)
1 edition published in 1994 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 1994 in English and held by 3 WorldCat member libraries worldwide
Variables in mathematics and computer science
by
Meurig Beynon(
Book
)
1 edition published in 1989 in English and held by 3 WorldCat member libraries worldwide
Abstract: "There are a wide variety of uses of variables in mathematics which we cope with in practice through various conventions and tacit assumptions. Experience with computers has made us articulate, criticise and develop these assumptions much more carefully. Historically the term 'variable' (or 'variable quantity') was introduced in the context of describing and calculating changing quantities which corresponded to phenomena in the observable world ([e.g.,] the velocity, or fluxion, of a body moving under the inverse square law). The evolution of the concept, and its modern use ([e.g.,] in a first order formal language), has divorced it from these 'roots of reference' and required us to establish the apparatus of interpretation and valuation before being able to deal with change in the 'real world'
1 edition published in 1989 in English and held by 3 WorldCat member libraries worldwide
Abstract: "There are a wide variety of uses of variables in mathematics which we cope with in practice through various conventions and tacit assumptions. Experience with computers has made us articulate, criticise and develop these assumptions much more carefully. Historically the term 'variable' (or 'variable quantity') was introduced in the context of describing and calculating changing quantities which corresponded to phenomena in the observable world ([e.g.,] the velocity, or fluxion, of a body moving under the inverse square law). The evolution of the concept, and its modern use ([e.g.,] in a first order formal language), has divorced it from these 'roots of reference' and required us to establish the apparatus of interpretation and valuation before being able to deal with change in the 'real world'
From Past to Future: Gra qmann's Work in Context Gra qmann Bicentennial Conference, September 2009 00
(
)
1 edition published in 2011 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 2011 in English and held by 2 WorldCat member libraries worldwide
From Past to Future: Gra¿qmann's Work in Context : Gra¿qmann Bicentennial Conference, September 2009 00
(
)
1 edition published in 2011 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 2011 in English and held by 2 WorldCat member libraries worldwide
Worlds before and beyond words
by
Meurig Beynon(
Book
)
3 editions published in 1996 in English and held by 2 WorldCat member libraries worldwide
3 editions published in 1996 in English and held by 2 WorldCat member libraries worldwide
Computing and philosophy : AISB 2011 Symposium
by Symposium on Computing and Philosophy(
Book
)
1 edition published in 2012 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 2012 in English and held by 2 WorldCat member libraries worldwide
Cultivating requirements in a situated requirements engineering process
by
P Sun(
Book
)
1 edition published in 1999 in English and held by 1 WorldCat member library worldwide
1 edition published in 1999 in English and held by 1 WorldCat member library worldwide
An Anonymous Admirer
by
Steve Russ(
)
in Undetermined and held by 1 WorldCat member library worldwide
http://name.umdl.umich.edu/acw8433.209.052
in Undetermined and held by 1 WorldCat member library worldwide
http://name.umdl.umich.edu/acw8433.209.052
Effect of Al Content on Microstructure/Phase Distribution and Strength/Ductility in a PM Gamma Alloy (Preprint)
(
Book
)
1 edition published in 2008 in English and held by 1 WorldCat member library worldwide
The strength and ductility variation of TiAl alloys with variations of microstructure and composition are quite complicated and, possible interactions between these effects exist. For example, Al is known to affect strength and the variation in volume fraction of gamma and alpha2 phases have been credited with the effect. However, the impact of composition versus phase fraction and microconstitutent fraction has not been satisfactorily quantified, especially for multielement compositions. In an effort to understand such effects, four billets of gamma alloy 03K, nominal composition of Ti45.5Al3Nb1Cr0.2W0.2B0.4C0.2Si (at%), were produced from gasatomized powder. The actual Al content varied between 44.8 and 47.4 at%. The forgings were heat treated to develop three microstructural variants: fully lamellar, nearly lamellar and duplex. The microstructure and Rockwell C hardness were analyzed on all samples, and roomtemperature tensile testing was conducted on the fullylamellar materials. The resulting strength and ductility as a function of Al content and microstructure will be discussed
1 edition published in 2008 in English and held by 1 WorldCat member library worldwide
The strength and ductility variation of TiAl alloys with variations of microstructure and composition are quite complicated and, possible interactions between these effects exist. For example, Al is known to affect strength and the variation in volume fraction of gamma and alpha2 phases have been credited with the effect. However, the impact of composition versus phase fraction and microconstitutent fraction has not been satisfactorily quantified, especially for multielement compositions. In an effort to understand such effects, four billets of gamma alloy 03K, nominal composition of Ti45.5Al3Nb1Cr0.2W0.2B0.4C0.2Si (at%), were produced from gasatomized powder. The actual Al content varied between 44.8 and 47.4 at%. The forgings were heat treated to develop three microstructural variants: fully lamellar, nearly lamellar and duplex. The microstructure and Rockwell C hardness were analyzed on all samples, and roomtemperature tensile testing was conducted on the fullylamellar materials. The resulting strength and ductility as a function of Al content and microstructure will be discussed
Hermann Graßmann biography
by
HansJoachim Petsche(
Book
)
1 edition published in 2009 in English and held by 1 WorldCat member library worldwide
Hermann Günther Graßmann was one of the most remarkable personalities in 19thcentury science. A "smalltown genius", he developed a groundbreaking ndimensional algebra of space and contributed to a revolution in the understanding of mathematics. His work fascinated great mathematicians such as W.R. Hamilton, J.W. Gibbs and A.N. Whitehead. This intellectual biography traces Graßmann{u2019}s steps towards scientific brilliance by untangling a complicated web of influences: the force of unsolved problems in mathematics, Friedrich Schleiermacher{u2019}s Dialectic, German Romanticism and life in 19thcentury Prussia. The book also introduces the reader to the details of Graßmann{u2019}s mathematical work without neglecting his achievements in Sanskrit philology and physics. And, for the first time, it makes many original sources accessible to the Englishlanguage reader
1 edition published in 2009 in English and held by 1 WorldCat member library worldwide
Hermann Günther Graßmann was one of the most remarkable personalities in 19thcentury science. A "smalltown genius", he developed a groundbreaking ndimensional algebra of space and contributed to a revolution in the understanding of mathematics. His work fascinated great mathematicians such as W.R. Hamilton, J.W. Gibbs and A.N. Whitehead. This intellectual biography traces Graßmann{u2019}s steps towards scientific brilliance by untangling a complicated web of influences: the force of unsolved problems in mathematics, Friedrich Schleiermacher{u2019}s Dialectic, German Romanticism and life in 19thcentury Prussia. The book also introduces the reader to the details of Graßmann{u2019}s mathematical work without neglecting his achievements in Sanskrit philology and physics. And, for the first time, it makes many original sources accessible to the Englishlanguage reader
Software construction using definitions : an illustrative example
by W. M Beynon(
Book
)
1 edition published in 1989 in English and held by 1 WorldCat member library worldwide
1 edition published in 1989 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Bolzano, Bernard 17811848 Author
 Petsche, HansJoachim Author Editor
 Lewis, Albert C. Editor
 Liesen, Jörg Editor
 Beynon, Meurig Author
 Graßmann, Hermann
 University of Warwick Department of Computer Science
 Ascah, Robert Author
 Société pour vaincre la pollution
 Erden, Yasemin J. Editor
Associated Subjects