Now showing items 1330-1349 of 3669

    • Formative Evaluation: Ensuring Usability in User Interfaces 

      Hix, Deborah; Hartson, H. Rex (Department of Computer Science, Virginia Polytechnic Institute & State University, 1992), TR-92-60
      Ensuring usability has become a key goal of interactive system development, as developers have begun to realize that it matters little how effectively an interactive system can compute, if human users cannot communicate ...
    • Formulated Problem Verification As an Explicit Requirement of Model Credibility 

      Balci, Osman; Nance, Richard E. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1983), CS83021-R
      This paper deals with the formulation and formulation verification of a class of problems to which "modeling solutions" are applied. Two main objectives are to develop a procedure for problem formulation and to propose ...
    • A Fortran 90 Genetic Algorithm Module for Composite Laminate Structure Design 

      McMahon, Mathew T.; Watson, Layne T.; Soremekun, G.A.; Gürdal, Zafer; Haftka, Raphael T. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1998-08-01), TR-98-17
      The design of the stacking sequence for a composite laminate involves a set of discrete variables (ply material and ply orientation), and is thus well-suited to genetic algorithms for design optimization. Such algorithms ...
    • Forward, Tangent Linear, and Adjoint Runge Kutta Methods in KPP–2.2 for Efficient Chemical Kinetic Simulations 

      Sandu, Adrian; Miehe, Philipp (Department of Computer Science, Virginia Polytechnic Institute & State University, 2006-07-01), TR-06-17
      The Kinetic PreProcessor (KPP) is a widely used software environment which generates Fortran90, Fortran77, Matlab, or C code for the simulation of chemical kinetic systems. High computational efficiency is attained by ...
    • FPGA Dynamic Power Minimization through Placement and Routing Constraints 

      Wang, Li; French, Matthew; Davoodi, Azadeh; Agarwal, Deepak (2006-08-29)
      Field-programmable gate arrays (FPGAs) are pervasive in embedded systems requiring low-power utilization. A novel power optimization methodology for reducing the dynamic power consumed by the routing of FPGA circuits by ...
    • Fractal Analysis on Asphalt Mixture Using a Two-Dimensional Imaging Technique 

      Hou, Yue; Huang, Yucheng; Sun, Fengyan; Guo, Meng (Hindawi, 2016-11-15)
      Fractal is a mathematical set that has a fractal dimension which usually exceeds its topological dimension and may be nonintegral. Since the asphalt pavement texture has limitations of randomness and self-similarity, fractal ...
    • Fractal cluster modeling of the fatigue behavior of lead zirconate titanate 

      Priya, Shashank; Kim, Hyeoung Woo; Ryu, Jungho; Uchino, Kenji; Viehland, Dwight D. (AIP Publishing, 2002-03-01)
      The fatigue behavior of lead zirconate titanate ceramics (PZT) has been studied under electrical and mechanical drives. Piezoelectric fatigue was studied using a mechanical method. Under ac mechanical drive, hard and soft ...
    • Fragile phase stability in (1-x)Pb(Mg1/3Nb2/3O3)-xPbTiO(3) crystals: A comparison of 001 and 110 field-cooled phase diagrams 

      Cao, Hu; Li, Jiefang; Viehland, Dwight D.; Xu, Guangyong (American Physical Society, 2006-05-09)
      Phase diagrams of [001] and [110] field-cooled (FC) (1-x)Pb(Mg1/3Nb2/3O3)-xPbTiO(3) or PMN-xPT (0.15 <= x <= 0.38) crystals have been constructed, based on high-resolution x-ray diffraction data. Comparisons reveal several ...
    • A Frame-Based Language in Information Retrieval 

      Weaver, Marybeth T.; France, Robert K.; Chen, Qi-Fan; Fox, Edward A. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1988), TR-88-25
      With the advent of the information society, many researchers are turning to artificial intelligence techniques to provide effective retrieval over large bodies of textual information. Yet any AI system requires a formalism ...
    • Frame-Based Stereotactic Biopsy of Canine Brain Masses: Technique and Clinical Results in 26 Cases 

      Rossmeisl, JH; Andriani, RT; Cecere, Thomas E.; Lahmers, K; LeRoith, T; Zimmerman, KL; Gibo, D; Debinski, W (2015)
      This report describes the methodology, diagnostic yield, and adverse events (AE) associated with frame-based stereotactic brain biopsies (FBSB) obtained from 26 dogs with solitary forebrain lesions. Medical records were ...
    • A Framework for Assessing the Adequacy and Effectiveness of software development methodologies 

      Arthur, James D.; Nance, Richard E. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1991), TR-91-28
      A framework for evaluating software development methodologies is described. Beginning with the issue of what constitutes a methodology, an evaluation procedure is presented that exploits defined linkages among objectives, ...
    • A Framework for Building Open Digital Libraries 

      Suleman, Hussein; Fox, Edward A. (Corporation for National Research Initiatives, 2001-12-01)
      Digital libraries (DLs) have traditionally been positioned at the intersection of library science, computer science, and networked information systems. The different underlying philosophies of these three fields has had ...
    • A framework for evaluating epidemic forecasts 

      Tabataba, Farzaneh Sadat; Chakraborty, Prithwish; Ramakrishnan, Naren; Venkatramanan, Srinivasan; Chen, Jiangzhuo; Lewis, Bryan; Marathe, Madhav (2017-05-15)
      Abstract Background Over the past few decades, numerous forecasting methods have been proposed in the field of epidemic forecasting. Such methods can be classified into different ...
    • A Framework for Precise, Reusable Task Abstractions 

      Hartson, H. Rex; Mayo, Kevin A. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1994-03-01), TR-94-11
      This paper is about modeling human-computer interaction for better understanding of interaction, leading to better designs and design representations. We argue for a structured approach to task abstractions that includes ...
    • A Framework for the Expansion of Spatial Features Based on Semantic Footprints 

      Dos Santos Jr, Raimundo F.; Boedihardjo, Arnold P.; Lu, Chang-Tien (Department of Computer Science, Virginia Polytechnic Institute & State University, 2011), TR-11-07
      Geographic feature expansion is a common task in Geographic Information Systems (GIS). Identifying and integrating geographic features is a challenging task since many of their spatial and non-spatial properties are described ...
    • A Framework for the Study of Query Decomposition for Heterogeneous Distributed Database Management Systems 

      Triantis, Konstantinos; Egyhazy, Csaba J. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1987), TR-87-31
      This paper presents a framework for the study of the query decomposition translation for heterogeneous record -oriented database management systems. This framework is based on the applied database logic representation of ...
    • A Framework to Analyze the Performance of Load Balancing Schemes for Ensembles of Stochastic Simulations 

      Ahn, Tae-Hyuk; Sandu, Adrian; Watson, Layne T.; Shaffer, Clifford A.; Cao, Yang; Baumann, William T. (Department of Computer Science, Virginia Polytechnic Institute & State University, 2012), TR-12-06
      Ensembles of simulations are employed to estimate the statistics of possible future states of a system, and are widely used in important applications such as climate change and biological modeling. Ensembles of runs can ...
    • Free Rotation of a Circular Ring with an Unbalanced Mass 

      Watson, Layne T.; Wang, Chang Y. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1988-05-01), TR-88-01
      Large space structures are much more flexible than their terrestrial counterparts. Rotation of large space structures may be desirable for stability, thermal or artificial gravity reasons. Previous literature includes the ...
    • Frequency-Estimation-Based Signal-Processing Algorithm For White-Light Optical Fiber Fabry-Perot Interferometers 

      Shen, F. B.; Wang, Anbo (Optical Society of America, 2005)
      A novel signal-processing algorithm based on frequency estimation of the spectrogram of single-mode optical fiber Fabry-Perot interferometric sensors under white-light illumination is described. The frequency-estimation ...
    • Friction of Extensible Strips: an Extended Shear Lag Model with Experimental Evaluation 

      Mojdehi, AR; Holmes, DP; Williams, CB; Long, TE; Dillard, DA (2016-02-22)