Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Journals

Insights on Formal Methods of Cybersecurity

Author(s)
Jeffrey M. Voas, Kim B. Schaffer
We asked 7 experts 1 simple question to find out what has occurred recently in terms of applying formal methods (FM) to security-centric, cyber problems: Please...

Quadrupole Order in the Frustrated Pyrochlore Tb2+xTi2-xO7+y

Author(s)
H. Takatsu, S. Onoda, S. Kittaka, A. Kasahara, Y. Kono, T. Sakakibara, Y. Kato, B. Fak, J. Ollivier, Jeffrey W. Lynn, T. Taniguchi, H. Kadowaki
A hidden order that emerges in the frustrated pyrochlore Tb 2+xTi 2-xO 7+y with X = 0.005 > x c is studied from specific heat and magnetization experiments on a...

Oscillator metrology with software defined radio

Author(s)
Jeffrey A. Sherman, Robert Jordens
Analog electrical elements such as mixers, filters, transfer oscillators, isolating buffers, dividers, and even transmission lines contribute technical noise...

Physical Properties of the Ce2MAl7Ge4 Heavy-Fermion Compounds (M = C0, Ir,Ni,Pd)

Author(s)
N. J. Ghimire, S. K. Cary, S. Eley, N. A. Wakeham, P. F. S. Rosa, T. Albrecht-Schmitt, Y. Lee, M. Janoschek, Craig Brown, L. Civale, J. D. Thompson, F. Ronning, E. D. Bauer
The synthesis, crystal structure and physical properties by means of single crystal x-ray diffraction, neutron powder diffraction, magnetic, thermal and...

Large-scale Time-lapse Microscopy of Oct4 Expression in Human Embryonic Stem Cell Colonies

Author(s)
Kiran Bhadriraju, Michael Halter, Julien M. Amelot, Peter Bajcsy, Joe Chalfoun, Antoine Vandecreme, Barbara Mallon, Kye-yoon Park, John T. Elliott, Subhash Sista, Anne L. Plant
Identification of critical characteristics of therapeutically active cells, and quantification of those characteristics, are essential for assuring consistency...

Geometrical pumping with a Bose-Einstein condensate

Author(s)
Lauren M. Aycock, Dina Genkina, Seiji Sugawa, Max Schemmer, Hsin I Lu, Ian Spielman
We realized a quantum "charge" pump for a Bose-Einstein condensate (BEC) in a novel bipartite magnetic lattice, whose bands are characterized by non-trivial...
Was this page helpful?