• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 734
  • 350
  • 73
  • 73
  • 73
  • 73
  • 73
  • 72
  • 48
  • 31
  • 9
  • 5
  • 5
  • 4
  • 3
  • Tagged with
  • 1681
  • 1681
  • 269
  • 246
  • 234
  • 207
  • 185
  • 184
  • 172
  • 164
  • 145
  • 137
  • 136
  • 125
  • 124
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

A graphical presentation of activation and shielding calculations

Craig, Thomas W. January 1965 (has links)
Thesis (M.S.)--University of Michigan, 1965.
2

Implementing the cross ambiguity function and generating geometry-specific signals

Johnson, Joe J. 09 1900 (has links)
The first purpose of this thesis is to implement an efficient Cross Ambiguity Function (CAF) algorithm to compute the Time Difference of Arrival (TDOA) and Frequency Difference of Arrival (FDOA) between two sampled signals. Two CAF-related MATLAB functions were written and analyzed. One implements a βcoarseγ mode and a βfineγ mode to accurately compute the TDOA and FDOA. The second plots different views of the resulting three-dimensional CAF surface. The second purpose is to develop a program to generate geometry-specific signals. Some software packages can artificially embed constant TDOAs and FDOAs between two signals. In real-world emitter-collector geometries (one emitter and two separate collectors), however, movement of the emitter and/or collectors causes time-varying TDOAs and FDOAs. A MATLAB function was written to generate pairs of Binary-Phase-Shift-Keying signals according to user-defined signal parameters and Cartesian geometries. The resulting signal pairs have realistic TDOAs and FDOAs that vary with time according to geometry and relative motion. Several signal pairs with different geometries are generated and input into the CAF functions, and the results are compared with theoretical TDOA and FDOA calculations. Finally, signals with low signal-to-noise ratios are generated to evaluate the CAFαs ability to find Low Probability of Detection signals. / US Navy (USN) author
3

Abstraction-based deductive-algorithmic verification of reactive systems

Uribe Restrepo, Tomás E. January 1900 (has links)
Thesis (Ph.D)--Stanford University, 1998. / Title from pdf t.p. (viewed April 3, 2002). "December 1998." "Adminitrivia V1/Prg/19990326"--Metadata.
4

Prototyping : a better way to develop software

Turner, Gary Stephen 05 1900 (has links)
No description available.
5

A flexible framework for automatic program understanding

Wrobel, Stefen January 1986 (has links)
No description available.
6

Structured software usability evaluation an experiment in evaluation design /

Faulkner, Laura Lynn, January 1900 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2006. / Vita. Includes bibliographical references.
7

Type-correct changes : a safe approach to version control implementation /

Dagit, Jason. January 1900 (has links)
Thesis (M.S.)--Oregon State University, 2009. / Printout. Includes bibliographical references (leaves 77-82). Also available on the World Wide Web.
8

The development of a CHAID-based model for CHITRA93 /

Cadiz, Horacio T. January 1994 (has links)
Report (M.C.S.)--Virginia Polytechnic Institute and State University, 1994. / Vita. Abstract. Includes bibliographical references (leaves 102-103). Also available via the Internet.
9

Functionality minimization analysis of Asterisk for future use in secure environments

Wiley, Jeffrey A. January 2009 (has links) (PDF)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, September 2009. / Thesis Advisor(s): Irvine, Cynthia E. "September 2009." Description based on title screen as viewed on November 5, 2009. Author(s) subject terms: Asterisk, MYSEA, Open-source PBX, VoIP, Voice over Internet Protocol, Voice mail. Includes bibliographical references (p. 84-87). Also available in print.
10

Model checking beyond the finite /

Kahlon, Vineet. Emerson, E. Allen, January 2004 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2004. / Supervisor: Ernest A. Emerson, II. Vita. Includes bibliographical references. Also available from UMI.

Page generated in 0.0885 seconds