نتایج جستجو برای: simultaneous

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

2004

Increasingly school counselors are being called upon to demonstrate that they contribute to students’ academic achievement. No Child Left Behind (NCLB) has led to an intense focus on the use of standardized test scores in measuring academic achievement and on educator accountability for producing measurable achievement gains. NCLB also calls for all educators to use interventions that have been...

2001
John R. Spletzer Aveek K. Das Rafael Fierro Camillo J. Taylor Vijay Kumar James P. Ostrowski

We describe a framework for coordinating multiple robots in cooperative manipulation tasks in which vision is used for establishing relative position and orientation and maintaining formation. The two key contributions are a cooperative scheme for localizing the robots based on visual imagery that is more robust than decentralized localization, and a set of control algorithms that allow the rob...

Journal: :iranian journal of fuzzy systems 2010
mozafar goudarzi s. mansour vaezpour

the main purpose of this paper is to consider the t-best simultaneousapproximation in fuzzy normed spaces. we develop the theory of t-bestsimultaneous approximation in quotient spaces. then, we discuss the relationshipin t-proximinality and t-chebyshevity of a given space and its quotientspace.

Journal: :iranian journal of science and technology (sciences) 2013
e. allahbakhshi

in this paper, genetic algorithms (gas) are employed to control simultaneous linear systems in both state and output feedback. first, the similarity transformation is applied to obtain parameterized controllers. this requires solution of a system of equations and also some non-linear inequalities. gas are used to solve these equations and inequalities. therefore, the paper presents an analytica...

Journal: :bulletin of the iranian mathematical society 2015
l. livshits

the main result of this article is that for collections of entry-wise non-negative matrices the property of possessing a standard triangularization is stable under approximation. the methodology introduced to prove this result allows us to offer quick proofs of the corresponding results of [b. r. yahaghi, near triangularizability implies triangularizability, canad. math. bull. 47, (2004), no. 2...

Journal: :international journal of nonlinear analysis and applications 2014
t. nikazad m. abbasi

in this paper we introduce a sequential block iterative method and its simultaneous version with op-timal combination of weights (instead of convex combination) for solving convex feasibility problems.when the intersection of the given family of convex sets is nonempty, it is shown that any sequencegenerated by the given algorithms converges to a feasible point. additionally for linear feasibil...

1997
B. Hari Krishna R. Govindarajan

In this paper we classify simultaneous multithreaded architectures based on how they select instructions issued in a single cycle. This classiication allows us to study the present trend of technology as well as to explore the new avenues for improvements in simultaneous multithreaded architectures. Based on our classi-cation, we study the impact of various parameters of simultaneous multithrea...

2010
Roland Siegwart Christoph Huerzeler Michael Muehlebach Marcel Tresanchez Janosch Nikolic

v Symbols vii

1996
G. Galiano M. A. Peletier

We use a local energy method to study the spatial localization of the supports of the solutions of a reaction{ diiusion system with nonlinear diiusion and a general reaction term. We establish nite speed of propagation and the existence of waiting times under a set of weak assumptions on the structural form of the system. These assumptions allow for additive and multiplicative reaction terms an...

2012
Francesco Alberti Roberto Bruttomesso Silvio Ghilardi Silvio Ranise Natasha Sharygina

Reachability analysis of infinite-state systems plays a central role in many verification tasks. In the last decade, SMT-Solvers have been exploited within many verification tools to discharge proof obligations arising from reachability analysis. Despite this, as of today there is no standard language to deal with transition systems specified in the SMT-LIB format. This paper is a first proposa...

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

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