Narrow your search
Listing 1 - 10 of 31 << page
of 4
>>
Sort by
The particle century
Author:
ISBN: 0750305436 0585330344 Year: 1998 Publisher: Bristol Institute of Physics Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

In a series of essays by scientists who have been closely involved in this exciting research, The Particle Century describes the unprecedented advances in our understanding of the universe. The book covers major historical developments as well as current advances, including early accelerator physics, the rise of the Standard Model, new comprehension of the big bang theory, and the cutting edge of today's investigations. These essays add novel insight into the continuing efforts to unravel the deepest secrets of nature.

Antimatter : the ultimate mirror
Author:
ISBN: 0521652529 Year: 2000 Publisher: Cambridge ; New York : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The new physics for the twenty-first century
Author:
ISBN: 0521816009 0521140021 1107144787 1139855026 1139855395 1139855301 1139814044 1139855212 113964422X 1139855115 1299405770 9780521816007 9781139644228 9780521140027 Year: 2006 Publisher: Cambridge: Cambridge university press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Underpinning all the other branches of science, physics affects the way we live our lives, and ultimately how life itself functions. Recent scientific advances have led to dramatic reassessment of our understanding of the world around us, and made a significant impact on our lifestyle. In this book, leading international experts, including Nobel prize winners, explore the frontiers of modern physics, from the particles inside an atom to the stars that make up a galaxy, from nano-engineering and brain research to high-speed data networks. Revealing how physics plays a vital role in what we see around us, this book will fascinate scientists of all disciplines, and anyone wanting to know more about the world of physics today.


Book
The quantum exodus
Author:
ISBN: 1280594330 9786613624161 0191627518 0191626961 9780191626968 9781280594335 9780199592159 0199592152 Year: 2012 Publisher: Oxford Oxford University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

When the Nazis came to power in 1933, they immediately expelled Jewish academics, unwittingly changing the power balance of world science. When war came, these scientific refugees raced to engineer the atomic bomb, to prevent Nazi Germany getting there first.


Book
Star Territory
Author:
ISBN: 9780812297904 Year: 2021 Publisher: Philadelphia

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Multi
Star Territory : Printing the Universe in Nineteenth-Century America
Author:
ISBN: 9780812297904 Year: 2021 Publisher: Philadelphia, Pa University of Pennsylvania Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

History


Book
Clastic depositional sequences: processes of evolution and principles of interpretation
Author:
ISBN: 0138517673 Year: 1989 Publisher: Englewood Cliffs (N.J.) Prentice-Hall

Loading...
Export citation

Choose an application

Bookmark

Abstract


Digital
Testing: Academic and Industrial Conference - Practice and Research Techniques : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings
Authors: ---
ISBN: 9783642155857 9783642155840 9783642155864 Year: 2010 Publisher: Berlin, Heidelberg Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its purpose is to bring together industrialists and academics in an environment that promotes fundamental collaborationon pr- lems in software testing. Among the wide range of topics in computer science andsoftwareengineering,softwaretesting is anidealcandidatefor academicand industrialcollaborationbecauseadvancesinresearchcanhavesuchwide-ranging and far-reaching implications for industry. Conversely, the advances in comp- ing and communications technology and the growth of the associated software engineering activity are producing new researchchallengesat an increasing rate. The problems that arise in software testing are related to the problems that ariseinmanyotherareasofcomputing.Assuch,testingresearchcombinesawide range of elements encompassing the theoretical work of program analysis and formal methods and the associated representations such as ?nite-state machines and dependence graphs. The inherent complexity of software testing has led to the involvement of heuristic methods. Software testing is also a human activity and has thus seen the involvement of psychology,sociologyand even philosophy. This astonishing breadth and depth have made the problems of software testing appealing to academics for several decades.


Digital
Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings
Authors: ---
ISBN: 9783642139772 9783642139765 9783642139789 Year: 2010 Publisher: Berlin, Heidelberg Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 1–2 in M ́ alaga, Spain as part of TOOLS Federated Conferences. TAP 2010wasthe fourth event of an ongoingseriesof conferencesdevoted to the convergence of proofs and tests. In the past, proving and testing were seen as very di?erent and even competing techniques. Proving people would say: If correctness is proved, what do we need tests for? Testers, on the other hand, would claim that proving is too limited in applicability and testing is the only truepathtocorrectness. Ofcourse,bothhaveapoint,buttoquoteEdBrinksma from his 2009 keynote at the Dutch Testing Day and Testcom/FATES: “Who would want to ?y in an airplane with software proved correct, but not tested?” Indeed, the true power lies in the combination of both approaches. Today, m- ern test systems rely on techniques deeply rooted in formal proof techniques, and testing techniques make it possible to apply proof techniques where there was no possibility previously. At a time when even mainstream software engineering conferences start f- turing papers with both “testing” and “proving”in their titles, we are clearly on the verge of a new age where testing and proving are not competing but ?nally accepted as complementary techniques. Albeit, we are not quite there yet, and so the TAP conferences aim to provide a forum for researchers working on the converging topics and to raise general awareness of this convergence.

Listing 1 - 10 of 31 << page
of 4
>>
Sort by