Listing 1 - 10 of 31 | << page >> |
Sort by
|
Choose an application
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.
History of physics --- Elementary particles --- Nuclear physics --- Particles (Nuclear physics) --- Physique nucléaire --- Particules (Physique nucléaire) --- History. --- Histoire --- 539.12 --- -Particles (Nuclear physics) --- -Elementary particles (Physics) --- High energy physics --- Nuclear particles --- Nucleons --- Atomic nuclei --- Atoms, Nuclei of --- Nucleus of the atom --- Physics --- Elementary and simple particles (charge less than 3 including alpha-rays, beta-rays, gamma-rays as individual particles or as radiation) --- History --- -Elementary and simple particles (charge less than 3 including alpha-rays, beta-rays, gamma-rays as individual particles or as radiation) --- 539.12 Elementary and simple particles (charge less than 3 including alpha-rays, beta-rays, gamma-rays as individual particles or as radiation) --- -539.12 Elementary and simple particles (charge less than 3 including alpha-rays, beta-rays, gamma-rays as individual particles or as radiation) --- Elementary particles (Physics) --- Physique nucléaire --- Particules (Physique nucléaire)
Choose an application
History of physics --- Elementary particles --- anno 1900-1999 --- Particles (Nuclear physics) --- Particules (Physique nucléaire) --- Research. --- Recherche --- 539.12 --- Elementary and simple particles (charge less than 3 including alpha-rays, beta-rays, gamma-rays as individual particles or as radiation) --- 539.12 Elementary and simple particles (charge less than 3 including alpha-rays, beta-rays, gamma-rays as individual particles or as radiation) --- Particules (Physique nucléaire) --- Elementary particles (Physics) --- High energy physics --- Nuclear particles --- Nucleons --- Nuclear physics --- Research
Choose an application
Antimatter --- Antimatière --- antimaterie --- deeltjesfysica --- 524.88 --- Special hypotheses. Black holes. Antimatter --- 524.88 Special hypotheses. Black holes. Antimatter --- Antimatière --- Matter --- Properties
Choose an application
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.
Physics --- Quantum theory --- History --- 53 --- Quantum theory. --- 53 Physics --- Quantum dynamics --- Quantum mechanics --- Quantum physics --- Mechanics --- Thermodynamics --- Natural philosophy --- Philosophy, Natural --- Physical sciences --- Dynamics --- Physics - History - 20th century --- Physics - History - 21st century --- Acqui 2006
Choose an application
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.
Atomic bomb --- Holocaust, Jewish (1939-1945) --- Jewish scientists --- World War, 1939-1945 --- European War, 1939-1945 --- Second World War, 1939-1945 --- World War 2, 1939-1945 --- World War II, 1939-1945 --- World War Two, 1939-1945 --- WW II (World War, 1939-1945) --- WWII (World War, 1939-1945) --- History, Modern --- Jews as scientists --- Scientists, Jewish --- Scientists --- A-bomb --- Atom bomb --- Bombs --- Nuclear weapons --- Design and construction --- History. --- Influence. --- Deportations from Germany --- Political aspects.
Choose an application
Choose an application
Choose an application
Choose an application
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.
Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- computers --- computerbesturingssystemen --- programmeren (informatica) --- programmeertalen --- software engineering --- computernetwerken
Choose an application
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.
Mathematical logic --- Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- computers --- computerbesturingssystemen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- logica
Listing 1 - 10 of 31 | << page >> |
Sort by
|