67
67

Oct 9, 2015
10/15

by
Goldstein, Allen A.

texts

#
eye 67

#
favorite 0

#
comment 0

Title from cover

Topic: COMPUTATIONS.

Title from cover

Topic: COMPUTATIONS.

71
71

Oct 6, 2015
10/15

by
Nelson, Michael L.

texts

#
eye 71

#
favorite 0

#
comment 0

Title from cover

Topic: REAL TIME.,COMPUTATIONS.

Title from cover

Topics: REAL TIME., COMPUTATIONS.

71
71

Oct 8, 2015
10/15

by
Demmel, J. W.;Gragg, William B.

texts

#
eye 71

#
favorite 0

#
comment 0

Title from cover

Topic: EIGENVALUES.,COMPUTATIONS.,MATRICES(MATHEMATICS).

Title from cover

Topics: EIGENVALUES., COMPUTATIONS., MATRICES(MATHEMATICS).

Journal of Research of the National Bureau of Standards

Topics: Chebychev, computations, polynomials, thin film

Journal of Research of the National Institute of Standards and Technology

Topics: spreadsheet computations, computation, Fresnel integrals, series expansions

A common problem organizations face is determining which security updates to perform and patches to apply to minimize the risk of potential vulnerabilities in their infrastructure. Limited budgets and resources constrain organizations to select a set of the most security critical updates that they can afford to perform; thus, it is very important for vulnerability risks to be computed accurately. The accuracy of these risk assessments improves with the scope of data available; the more attacks...

Topics: DTIC Archive, Schear,Nabil A, MASSACHUSETTS INST OF TECH LEXINGTON LEXINGTON United States,...

The project discovers and develops new mathematical foundations for computation on encrypted data, and develops the mathematical underpinnings of fully and somewhat homomorphic encryption, in order to improve the security and efficiency of fully homomorphic encryption schemes.

Topics: DTIC Archive, CALIFORNIA UNIV IRVINE, *CRYPTOGRAPHY, COMPUTATIONS, MATHEMATICS

103
103

Oct 8, 2015
10/15

by
Hirsch, Charles

texts

#
eye 103

#
favorite 0

#
comment 0

The needs for Computational Fluid Dynamics (CFD) in connection with student and faculty activities in the engineering departments at NPS are reviewed. Emphasis is placed on internal, propulsion related flows. Currently available CFD codes are also reviewe

Topic: *FLUID DYNAMICS, *REQUIREMENTS, *COURSES(EDUCATION), COMPUTATIONS, COMPUTERS, COMPUTER PROGRAMS

The Knowledge Discovery Toolbox (KDT) enables domain experts to perform complex analyses of huge datasets on supercomputers using a high-level language without grappling with the difficulties of writing parallel code, calling parallel libraries, or becoming a graph expert. KDT delivers competitive performance from a general-purpose, reusable library for graphs on the order of 10 billion edges and greater. We describe our approach for supporting arbirary vertex and edge attributes, in-place...

Topics: DTIC Archive, CALIFORNIA UNIV SANTA BARBARA, *GRAPHS, COMPUTATIONS, FILTERS

29
29

Oct 28, 2020
10/20

by
Simon Leslie E.

texts

#
eye 29

#
favorite 0

#
comment 0

Source: Digital Library of India Scanning Centre: C-DAC, Noida Source Library: Ratan Tata Library, University Delhi Date Accessioned: 6/19/2015 17:18 The Digital Library of India was a project under the auspices of the Government of India.

Topics: Natural Sciences, Computations, C-DAC, Noida, DLI Top-Up

The needs for Computational Fluid Dynamics (CFD) in connection with student and faculty activities in the engineering departments at NPS are reviewed. Emphasis is placed on internal, propulsion related flows. Currently available CFD codes are also reviewe

Topic: *FLUID DYNAMICS, *REQUIREMENTS, *COURSES(EDUCATION), COMPUTATIONS, COMPUTERS, COMPUTER PROGRAMS

From the bitsavers.org collection, a scanned-in computer-related document. mit :: whirlwind :: DCL-series :: DCL-106 Biweekly Report October 16 1955

Topics: scattering, programs, hydrides, apw, mit, computations, diatomic, calculations, crystal, propagation

From the bitsavers.org collection, a scanned-in computer-related document. mit :: whirlwind :: DCL-series :: DCL-028 Electronic Computers for Business Nov54

Topics: computers, digital, output, input, machines, buffer, coding, vso, business, computations

Statistical Mechanics Algorithms And Computations ( Oxford Master Series In Physics)

Topic: Statistical Mechanics Algorithms And Computations ( Oxford Master Series In Physics)

This report documents the progress of the project over the last four years.

Topics: DTIC Archive, McCormick, Stephen F, COLORADO UNIV AT DENVER, *COMPUTATIONS

Title : Abstracts on the International Conference on Noise in Physical Systems (7th) and the International Conference on 1/f Noise (3rd) Held at Montpellier, France on 17-20 May 1983.

Topics: DTIC Archive, MONTPELLIER-2 UNIV (FRANCE)*, *COMPUTATIONS, *NOISE, SYMPOSIA, FRANCE

In their seminal work, Abadi and Rogaway show that the formal (Dolev-Yao) notion of indistinguishability is sound with respect to the computational model: messages that are indistinguishable in the formal model become indistinguishable messages in the computational model. However, this result leaves two problems unsolved. First, it cannot tolerate key cycles. Second, it makes the too-strong assumption that the underlying cryptography hides all aspects of the plaintext, including its length. In...

Topics: DTIC Archive, PENNSYLVANIA UNIV PHILADELPHIA DEPT OF MATHEMATICS, *CRYPTOGRAPHY, COMPUTATIONS

Statistical Mechanics Algorithms And Computations ( Oxford Master Series In Physics)

Topic: Statistical Mechanics Algorithms And Computations ( Oxford Master Series In Physics)

This article presents one modification of algorithm for generation of n-dimensional rotation matrix M, which rotates given n-dimensional vector X to the direction of given n-dimensional vector Y. Algorithm, named N-dimensional Rotation Matrix Generation Algorithm (NRMG) includes rotations of given vectors X and Y to the direction of coordinate axis x1 using two-dimensional rotations in coordinate planes. Proposed modification decreases the number of needed two-dimensional rotations to 2(Lw-1)...

Topics: Computations on matrices, Mathematics of computing, Mathematical analysis, Numerical analysis

This article presents one modification of algorithm for generation of n-dimensional rotation matrix M, which rotates given n-dimensional vector X to the direction of given n-dimensional vector Y. Algorithm, named N-dimensional Rotation Matrix Generation Algorithm (NRMG) includes rotations of given vectors X and Y to the direction of coordinate axis x1 using two-dimensional rotations in coordinate planes. Proposed modification decreases the number of needed two-dimensional rotations to 2(Lw-1)...

Topics: Computations on matrices, Mathematics of computing, Mathematical analysis, Numerical analysis

This article presents one modification of algorithm for generation of n-dimensional rotation matrix M, which rotates given n-dimensional vector X to the direction of given n-dimensional vector Y. Algorithm, named N-dimensional Rotation Matrix Generation Algorithm (NRMG) includes rotations of given vectors X and Y to the direction of coordinate axis x1 using two-dimensional rotations in coordinate planes. Proposed modification decreases the number of needed two-dimensional rotations to 2(Lw-1)...

Topics: Computations on matrices, Mathematics of computing, Mathematical analysis, Numerical analysis.

The goal of this research was to analyze and improve the learning process for multi-agent systems using evolutionary algorithms (EAs). In particular, we wanted to take advantage of our previous work in developing a set of tools for analyzing the evolvability of genetic operators using Price's equation (Price 1970), a theory borrowed from the population genetics community. All of our previous work with Price's equation (Potter, et.al. 2003; Bassett et.al. 2004) has been done on very traditional...

Topics: DTIC Archive, NAVAL RESEARCH LAB WASHINGTON DC, *COMPUTATIONS, OPERATORS(MATHEMATICS), SELECTION

The research funded by this award introduced a new paradigm in informatics based on a new mathematical analysis of computation. It employed a connection between Geometry, Algebra, and Logic via an interpretation of constructive type theory into homotopy theory, discovered around 2005 by the PI and his students. In addition to its intrinsic mathematic importance, this connection has resulted in a new geometry of computation. Powerful machine implementations of type theory in the form of proof...

Topics: DTIC Archive, CARNEGIE-MELLON UNIV PITTSBURGH PA, *ALGEBRAIC TOPOLOGY, COMPUTATIONS, VERIFICATION

One promising avenue for the invention of new quantum algorithms is to focus on those that mimic physical processes. Our aim in this project is to identify physical quantum processes that can be reformulated to serve as quantum algorithms, with a particular focus on problems that are of intermediate difficulty in classical computation, including graph isomorphism, which is the problem of determining whether two graphs are related by a relabeling of the vertices. These problems are likely to be...

Topics: DTIC Archive, WISCONSIN UNIV MADISON, *ALGORITHMS, *QUANTUM THEORY, COMPUTATIONS, QUANTUM COMPUTING

339
339

Feb 8, 2022
02/22

by
L. A. Lyusternik (Ed.)

texts

#
eye 339

#
favorite 2

#
comment 0

T h e p r e s e n t tables were compiled in the Department for Approximate Computations of the Institute of Exact Mechanics and Computational Methods of the U.S.S.R. Academy of Sciences. The computations were carried out by this department in conjunction with the Computational- Experimental Laboratory of the Institute.

Topics: tables, functions, log x, arctan, computations, computational methods, reference book, soviet

740
740

Mar 2, 2022
03/22

by
V. N. Faddeeva

texts

#
eye 740

#
favorite 7

#
comment 0

COMPUTATIONAL METHODS OF LINEAR ALGEBRA V. N. Faddeeva English-speaking physicists, mathematicians, and engineers will welcome this first English translation of a unique and valuable Russian work. Translated especially for this edition by Curtis D. Benster, it is a basic work in English that presents a systematic exposition of computational methods of linear algebra— the classical ones, as well as those developed quite recently in Russia and elsewhere, by A. N. Krylov, A. M. Danilevsky, D. K....

Topics: linear algebra, matrices, mathematical, Jordan canonical form, proper vectors, calculations,...

Anticipating the computational power advances over the next decade, we have assessed and prioritized the enabling fundamental research tools offering the broadest impact in computational materials engineering, with emphasis on the context of ongoing near- and long-term alloy development efforts for Navy applications. Exploiting practical use cases to motivate tool utility and define required computational efficiency, our goal was an integrated set of flexible, high fidelity validated simulation...

Topics: DTIC Archive, QUESTEK INNOVATIONS LLC EVANSTON IL, *CONSORTIUMS, COMPUTATIONS, ENGINEERING,...

In the past year, there have been 3 major technical accomplishments at Knoxville College. The first is the establishment of a Computational Plasma Physics facility. This facility, utilizing state of the art Sun Microsystems and P.C. equipment is a rarity among HBCU's and was literally put together as the project progressed during this first year. The purpose of this grant was two fold. The purpose was to bring Internet capabilities to the Knoxville College campus for purposes of performing...

Topics: DTIC Archive, Rader,, KNOXVILLE COLL TN, *PLASMAS(PHYSICS), *INTERNET, COMPUTATIONS, PHYSICS...

Electrical breakdown in a composite gas-solid dielectric is described in qualitative terms. Continuum- and particle-based calculations are performed on idealized structures. The analysis and the calculations suggest that dielectric permittivity has an important role at early times in the breakdown events. The continuum calculations show that the space-charge limited current in the solid dielectric has an important role at longer times. At very long times, the Joule heating from the space-charge...

Topics: DTIC Archive, SANDIA NATIONAL LABS ALBUQUERQUE NM, *BREAKDOWN(ELECTRONIC THRESHOLD), COMPUTATIONS,...

When computing their federal taxes, taxpayers either claim a standard deduction or itemize deductions. These deductions are subtracted from adjusted gross income in determining taxable income. Taxpayers in general claim the type of deduction that is larger because that minimizes their taxable income. In recent years, approximately 70 percent of taxpayers have claimed the standard deduction, while the remaining 30 percent have itemized.

Topics: DTIC Archive, GENERAL ACCOUNTING OFFICE WASHINGTON DC, *TAXES, COMPUTATIONS, UNITED STATES...

I propose to consider the feasibility of implementing a quantum lattice-gas dynamics based on quantum computing ideas and to explore the practicality of building a quantum computer, a question first posed by Richard Feynman over a decade ago.

Topics: DTIC Archive, Yepez, Jeffrey, PHILLIPS LAB HANSCOM AFB MA, *COMPUTATIONS, *QUANTUM THEORY, MODELS

This report documents the results of adiabatic internal explosions in systems containing a variety of C-H-N-O fuels in air with the addition of titanium as the active metal. For all of the systems studied, the following were found: adiabatic temperature,

Topic: *EXPLOSIONS, *FUEL AIR EXPLOSIVES, COMPUTATIONS, EXPLOSIVE CHARGES, INTERNAL, TITANIUM, ADIABATIC...

Objections to the practical use of stabilization have centered around problems of scale. Because of potential interferences between actions, global reasoning over the entire system is in general necessary. The complexity of this task increases dramatically as systems grow in size. Alternatives to dealing with this complexity focus on reset and com-position. For reset, the problem is that any fault, no matter how minor, will cause a complete system reset with potentially significant lack of...

Topics: DTIC Archive, Leal,William, Ohio State University Columbus United States, reasoning, stabilization,...

We describe an efficient implementation of an algorithm for computing selected elements of a general sparse symmetric matrix A that can be decomposed as A = LDLT where L is lower triangular and D is diagonal. Our implementation, which is called SelInv, is built on top of an efficient supermodal left-looking LDLT factorization of A. We discuss how computational efficiency can be gained by making use of a relative index array to handle indirect addressing. We report the performance of SelInv on a...

Topics: DTIC Archive, CALIFORNIA UNIV BERKELEY LAWRENCE BERKELEY LAB, *ALGORITHMS, INVERSION, SPARSE...

Reinforcement learning with reward shaping is a well-established but often computationally expensive approach to multiagent problems. Agent partitioning can assist in this computational complexity by treating each partition of agents as an independent problem. We introduce a novel agent partitioning approach called Reward/Utility-Based Impact (RUBI). RUBI finds an effective partitioning of agents while requiring no prior domain knowledge, provides better performance by discovering a non-trivial...

Topics: DTIC Archive, OREGON STATE UNIV CORVALLIS, *MULTIAGENT SYSTEMS, COMPUTATIONS, LEARNING, SCORING,...

73
73

Oct 8, 2015
10/15

by
Reinhardt, R. A.

texts

#
eye 73

#
favorite 0

#
comment 0

This report documents the results of adiabatic internal explosions in systems containing a variety of C-H-N-O fuels in air with the addition of titanium as the active metal. For all of the systems studied, the following were found: adiabatic temperature,

Topic: *EXPLOSIONS, *FUEL AIR EXPLOSIVES, COMPUTATIONS, EXPLOSIVE CHARGES, INTERNAL, TITANIUM, ADIABATIC...

The theory tasks in this proposal were focused on guiding experiments and on developing better theoretical understanding of models and systems relevant for ultracold atom quantum simulation. Furthermore theory provided quantitative calculations to which quantum simulations could be compared to, and studied topics motivated by the program but of more general importance. Those tasks included the investigation of the following: Bosonic Quantum Gases in Optical Lattices; Strongly Interacting...

Topics: DTIC Archive, HARVARD COLL CAMBRIDGE MA, *ATOMS, *GASES, *SIMULATION, COMPUTATIONS, MOLECULES,...

This final report provides the results of the Modeling of Embedded Human Systems (MEHS) project. The goal of the work was a new approach to modeling embedded human systems; that is, systems where components are both human and computational. These systems are unique since the differences in time for a computational controller, as opposed to a human-centric controller, will require special consideration for system-wide feasibility and stability. Our approach focused on several research areas for...

Topics: DTIC Archive, ARIZONA UNIV TUCSON, *EMBEDDING, *HUMANS, BEHAVIOR, COMPUTATIONS, COMPUTER PROGRAMS,...

Topics: DTIC Archive, JOINT PUBLICATIONS RESEARCH SERVICE ARLINGTON VA, *FREQUENCY, *USSR, *COMPUTATIONS,...

Homo sapiens is generally considered to be, above all else, a visually oriented species, with othe other senses viewed more as supporting players than as star performers. This bias in perceived sensory function has bad the historical consequence of casting the auditory modality in to the back seat of both experimental and computational neuroscience for many decades. Or so it would appear. In actuality, auditory neuroscience has typically been at the vanguard of both disciplines for well over a...

Topics: DTIC Archive, Greenberg, Steven, *HEARING, FUNCTIONS, COMPUTATIONS, SENSES(PHYSIOLOGY), AUDITORY...

We argue that a general theory of trust in networks of humans and computers must be build on both a theory of behavioral trust and a theory of computational trust. This argument is motivated by increased participation of people in social networking, crowdsourcing human computation, and socio-economic protocols, e.g., protocols modeled by trust and gift-exchange games, norms-establishing con- tracts, and scams. User participation in these protocols relies primarily on trust, since online...

Topics: DTIC Archive, CARNEGIE-MELLON UNIV PITTSBURGH PA CYLAB, *COMPUTERS, *HUMANS, *NETWORKS, BEHAVIOR,...

The project involved an in-depth examination of strategic directions in computing research through the organization of a conference held at MIT in June 1996 and a report on that conference in Computing Surveys of December 1996 (Volume 28, No. 4 and No. 4es).

Topics: DTIC Archive, Wegner, Peter, BROWN UNIV PROVIDENCE RI, *COMPUTATIONS, *SURVEYS, *RESEARCH...

This report documents the task of migrating MATLAB programs to ZPL so that the computations can run on parallel platforms and achieve significant performance improvements. It entails three tasks: Upgrade ZPL to support sparse representations, provide an interface to a parallel scientific library, and provide a mechanism by which programmers can know when their MATLAB programs have limited parallelism. The project achieved all three goals. The prototype was fully implemented and made available...

Topics: DTIC Archive, Snyder, Lawrence, WASHINGTON UNIV SEATTLE, *COMPUTER PROGRAMMING, *PROGRAMMING...

Adaptive methods of approximation in many settings include numerical methods for PDEs and image processing. They can usually be described by a tree which records the adaptive decisions. This paper is concerned with the fast computation of near optimal trees based on n adaptive decisions. The best tree based on n adaptive decisions could be found by examining all such possibilities. However, this is exponential in n and could be numerically prohibitive. The main result of this paper is to show...

Topics: DTIC Archive, SOUTH CAROLINA UNIV COLUMBIA DEPT OF MATHEMATICS, *APPROXIMATION(MATHEMATICS),...

A new ballistic material model for 0 deg /90 deg cross-plied oriented ultra-high molecular weight (UHMW) polyethylene fiber-based armor-grade composite laminates has been constructed using open-literature data for the fiber and polymeric-matrix material properties and the general experimental/field-test observations regarding the deformation and failure modes in these types of materials. The present model is an extension of our recently developed unit cell-based ballistic material model for the...

Topics: DTIC Archive, CLEMSON UNIV SC, *BALLISTICS, *COMPOSITE MATERIALS, *FIBERS, COMPUTATIONS, LAMINATES,...

There has recently been considerable interest in applying Total Variation regularization with an l1 data fidelity term to the denoising of images subject to salt and pepper noise, but the extension of this formulation to more general problems, such as deconvolution, has received little attention. We consider this problem, comparing the performance of l1- TV deconvolution, computed via our Iteratively Reweighted Norm algorithm, with an alternative variational approach based on Mumford-Shah...

Topics: DTIC Archive, LOS ALAMOS NATIONAL LAB NM, *ALGORITHMS, COMPUTATIONS, FORMULATIONS, IMAGE...

This final tech report describes progress on the development of powerful new models and algorithms for very large scale games and economic problems with rich network structure. The report provides a brief synopsis of the main findings, along with pointers to relevant published papers. This effort developed a general distributed algorithm for efficiently computing approximate Nash equilibrium in large games on networks. The effort also examined the properties and computation of correlated...

Topics: DTIC Archive, Kerns, Michael, PENNSYLVANIA UNIV PHILADELPHIA, *COMMUNICATIONS NETWORKS, *GAME...