نتایج جستجو برای: تحلیل soar

تعداد نتایج: 237976  

2002
Dan Zhu Michael J. Prietula

In this talk we present a model of knowledge assessment based on architecture-specific metrics and present a method of knowledge sharing called Direct Knowledge eXchange (DKX). Although embryonic from a knowledge management perspective, the notion of DKX between homogeneous knowledge engines and knowledge metric assessment represents a small step to examining how distribution of knowledge can l...

Journal: :SIAM J. Matrix Analysis Applications 2016
Ding Lu Yangfeng Su Zhaojun Bai

The second-order Arnoldi (SOAR) procedure is an algorithm for computing an orthonormal basis of the second-order Krylov subspace. It has found applications in solving quadratic eigenvalue problems and model order reduction of second-order dynamical systems among others. Unfortunately, the SOAR procedure can be numerically unstable. The two-level orthogonal Arnoldi (TOAR) procedure has been prop...

2006
A Closer Look

This issue of A Closer Look...may seem like somewhat of a departure for our office. Traditionally, we use the publication to spotlight progams or services that are immediately identifiable as student affairs-related activities. At first glance, academic advising just doesn’t seem to fit the mold. However, the Division of Student Affairs is closely involved with academic advising at UNCG. The Sp...

2006
Christopher W. Lehman Mary Jane Willshire

Industry standard circuit simulators use mathematical techniques that do not always guarantee a successful simulation outcome, resulting in a significant loss of productivity as the circuit designer attempts to diagnose the source of the failure. This paper addresses the problem of improving the diagnosis of circuit simulation non-convergence through computer automation of the diagnostic proces...

2006
Wissam Kazan Xin Chen Jie Zheng Zheng Fu Peng Nan Yang Zhong Stefano Lonardi Tao Jiang

The paper discusses a new algorithm to assign orthologous genes between a pair of genomes using both sequence similarity and evolutionary events. Many ortholog assignment algorithms have already been developed, but most of them are based on DNA/protein sequence similarity or use a homology search algorithm. The paper divides the problem in two phases: the signed reversal distance with duplicate...

1987
David M. Steier

This paper describes a partial reimplementation of Doug Smith's CYPRESS algorithm design system within the Soar problem-solving architecture. The system, CYPRESS-SOAR, reproduces most of CYPRESS' behavior in the synthesis of three divide-and-conquer sorting algorithms from formal specifications. CYPRESS-Soar is based on heuristic search of problem spaces, and uses search to compensate for missi...

Journal: :The Astronomical Journal 2016

Journal: :Proceedings of the Wisconsin Space Conference 2012

Journal: :Canadian Medical Association Journal 2007

Journal: :The Astronomical Journal 2021

The results of speckle interferometric observations at the 4.1 m Southern Astrophysical Research Telescope in 2020, as well earlier unpublished data, are given, totaling 1735 measurements 1288 resolved pairs and nonresolutions 1177 targets. We for first time 59 new or subsystems known binaries, mostly among nearby dwarf stars. This work continues our long-term program. Its main goal is to monit...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید