检索结果-内蒙古大学图书馆

SNC'07 - 2007 International Workshop on Symbolic-Numeric Computation

作者： Pan, Victor Y. Murphy, Brian Rosholt, Rhys Eric Qian, Guoliang Tang, Yuqing Department of Mathematics and Computer Science Lehman College City University of New York Bronx NY 10468 United States Ph.D. Program in Computer Science City University of New York New York NY 10036 United States

ISBN: (纸本)1595937447

In this paper we seek all real roots of a polynomial with real coefficients and real and nonreal roots. Somewhat paradoxically, one of the most effective solutions is by approximating these real roots semi-numerically together with all nonreal roots. Alternative methods are symbolic, based on Descartes' rule of signs (which can be combined with the continued fraction approximation algorithm) or the Sturm (or Sturm-Habicht) sequences. We combine various old and new techniques to devise semi-numerical algorithms that are effective where the real roots do not lie near the nonreal ones. Copyright 2007 ACM.

关键词： Polynomials

来源：评论

学校读者我要写书评

暂无评论

Rich learning experiences for minority undergraduate students through inquiry-based project activities in the field and laboratory settings

Rich learning experiences for minority undergraduate student...

引用

114th Annual ASEE Conference and Exposition, 2007

作者： Nagchaudhuri, Abhijit Mitra, Madhumi Stoakley, Rose Turner, Tiara Cherinet, Suraf Ladd, Gabriel Chalyam, Harsha Hartman, Christopher Burrows-Mcelwain, James B. University of Maryland-Eastern Shore United States Department of Engineering and Aviation Sciences University of Maryland Eastern Shore United States ASME SME ASEE Department of Biology and Environmental Science University of Maryland Eastern Shore United States Biology Education Program UMES France Mathematics Program University of Maryland Eastern Shore Department of Mathemtics and Computer Sciences United States Aviation Science Program University of Maryland Eastern Shore United States Graduate Program UMES United States Department of Mathematics and Computer Science University of Maryland Eastern Shore United States Aviation Science Program Department of Engineering and Aviation Science University of Maryland Eastern Shore United States Aviation Program Department of Engineering and Aviation Sciences Aviation Program

With support from HBCU-UP (Historically Black College and University Undergraduate program) at National science Foundation (NSF), the ACTION (Advanced Curriculum and Technology-Based Instructional Opportunities Network) program at University of Maryland Eastern Shore (UMES) is promoting inquiry based active learning and research projects among undergraduate STEM (science, Technology, Engineering and mathematics) majors. Field based experiential learning efforts titled (i) AIRSPACES: Aerial Imaging and Remote Sensing for Precision Agriculture and Environmental Stewardship and (ii) ECPA: Environmentally Conscious Precision Agriculture, provided a perfect setting for STEM undergraduates to interact with UMES farm personnel, graduate students, NASA and USDA researchers collaborating with the faculty members in the project. In the summer of 2006 ACTION program supported three undergraduate students to work with the principal author to work on a chosen aspect of the ongoing effort. For this ACTION project students decided to focus on aspects of yield monitoring and remote sensing for the precision agriculture project at UMES. This paper will highlight the student efforts related to the ACTION project for 2006 summer and discuss how the out of classroom, field, and laboratory based activities enhanced learning. © American Society for Engineering Education, 2007.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

A scholarship recruitment and selection strategy that successfully attracts diverse and academically talented freshmen

A scholarship recruitment and selection strategy that succes...

引用

114th Annual ASEE Conference and Exposition, 2007

作者： Papadopoulos, Chris Brucks, Karen Key, Eric Munson, Ethan Vairavan, K. University of Wisconsin Milwaukee United States Department of Civil Engineering and Mechanics University of Wisconsin Milwaukee United States UWM Computer Science Engineering and Mathematics Scholarship Program Brazil Department of Mathematical Sciences University of Wisconsin Milwaukee United States Mathematical Science Department UWM's Actuarial Science Program Department of Electrical Engineering and Computer Science University of Wisconsin-Milwaukee United States ACM SIGWEB Group on Hypertext Hypermedia and the Web Department of Electrical Engineering and Computer Science Department of Medical Informatics

We describe recruitment and selection procedures of the computer science, Engineering, and mathematics Scholarship (CSEMS) program at the University of Wisconsin-Milwaukee that are designed to attract students who are academically talented, financially needy, and diverse. In particular, we address the possible exclusion of underrepresented minority students that could result if standardized test scores are used indiscriminately as metrics of student performance in both recruitment and selection procedures. We describe a "conditional award" process that enables students whose calculus placement is moderately below calculus to competitively apply for and receive scholarships;awards to such students are activated on the condition that they attempt to attain calculus placement prior to matriculation. We present data that demonstrate moderate effectiveness of these methods in fostering diversity among our scholars and reasonably encouraging retention and estimated graduation rates. We discuss areas of improvement for future program years, such as forging new partnerships with local Project Lead The Way high schools to recruit higher numbers of females and minorities, and developing new mentoring opportunities to reduce attrition, especially among underrepresented minority students. © American Society for Engineering Education, 2007.

关键词： Social aspects

来源：评论

学校读者我要写书评

暂无评论

An information theoretic framework for eukaryotic gradient sensing 19

引用

20th Annual Conference on Neural Information Processing Systems, NIPS 2006

作者： Kimmel, Joseph M. Salter, Richard M. Thomas, Peter J. Computer Science Program Oberlin College Oberlin OH 44074 United States Department of Mathematics Biology and Cognitive Science Case Western Reserve University Cleveland OH 44106 United States Computational Neuroscience Graduate Program University of Chicago United States Center for Computation and Modeling United States

ISBN: (纸本)9780262195683

Chemical reaction networks by which individual cells gather and process information about their chemical environments have been dubbed "signal transduction" networks. Despite this suggestive terminology, there have been few attempts to analyze chemical signaling systems with the quantitative tools of information theory. Gradient sensing in the social amoeba Dictyostelium discoideum is a well characterized signal transduction system in which a cell estimates the direction of a source of diffusing chemoattractant molecules based on the spatiotemporal sequence of ligand-receptor binding events at the cell membrane. Using Monte Carlo techniques (MCell) we construct a simulation in which a collection of individual ligand particles undergoing Brownian diffusion in a three-dimensional volume interact with receptors on the surface of a static amoeboid cell. Adapting a method for estimation of spike train entropies described by Victor (originally due to Kozachenko and Leonenko), we estimate lower bounds on the mutual information between the transmitted signal (direction of ligand source) and the received signal (spatiotemporal pattern of receptor binding/unbinding events). Hence we provide a quantitative framework for addressing the question: how much could the cell know, and when could it know it? We show that the time course of the mutual information between the cell's surface receptors and the (unknown) gradient direction is consistent with experimentally measured cellular response times. We find that the acquisition of directional information depends strongly on the time constant at which the intracellular response is filtered.

关键词： Ligands

来源：评论

学校读者我要写书评

暂无评论

Checking properties of adaptive workflow nets

Checking properties of adaptive workflow nets

引用

作者： Van Hee, Kees Oanea, Olivia Serebrenik, Alexander Sidorova, Natalia Voorhoeve, Marc Lomazova, Irina A. Department of Mathematics and Computer Science Eindhoven University of Technology P.O. Box 513 5600 MB Eindhoven Netherlands Program Systems Institute Russian Academy of Science Pereslavl-Zalessky 152020 Russia

In this paper we consider adaptive workflow nets, a class of nested nets that allows more comfort and expressive power for modeling adaptability and exception handling in workflow nets. We define two important behavioural properties of adaptive workflow nets: soundness and circumspectness. Soundness means that a proper final marking (state) can be reached from any marking which is reachable from the initial marking, and no garbage will be left. Circumspectness means that the upper layer is always ready to handle any exception that can happen in a lower layer. We define a finite state abstraction for adaptive workflow nets and show that soundness and circumspectness can be verified on this abstraction.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Implementing and Improving a method for non-invasive elicitation of probabilities for bayesian networks 07

Implementing and Improving a method for non-invasive elicita...

引用

International Conference on computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech '07

作者： De Jongh, Martinus Druzdzel, Marek Rothkrantz, Leon Faculty of Electrical Engineering Mathematics and Computer Science Man-Machine Interaction Group Delft University of Technology Delft Netherlands Decision Systems Laboratory School of Information Sciences and Intelligent Systems Program University of Pittsburgh Pittsburgh PA United States

ISBN: (纸本)9789549641509

Knowledge elicitation is difficult for expert systems that are based on probability theory. The elicitation of probabilities for a probabilistic model requires a lot of time and interaction between the knowledge engineer and the expert. Druzdzel and van der Gaag [5] have proposed a theoretical framework that would allow the use of multiple types of probabilistic information for elicitation of Bayesian networks. This framework has been used as a starting point for the implementation of a non-invasive elication method. © 2007 ACM.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Order-computable sets

引用

Notre Dame Journal of Formal Logic 2007年第3期48卷 317-347页

作者： Hirschfeldt, Denis Miller, Russell Podzorov, Sergei Department of Mathematics University of Chicago Chicago IL 60637 5734 S University Ave United States Department of Mathematics Queens College-CUNY Flushing NY 11367 65-30 Kissena Blvd United States Ph.D. Program in Computer Science Graduate Center of CUNY New York NY 10016 365 Fifth Avenue United States Department of Mechanics and Mathematics Novosibirsk State University Novosibirsk 630090 Pirogova St 2 Russian Federation

We give a straightforward computable-model-theoretic definition of a property of Δ02 sets called order-computability. We then prove various results about these sets which suggest that, simple though the definition is... 详细信息

We give a straightforward computable-model-theoretic definition of a property of Δ⁰2 sets called order-computability. We then prove various results about these sets which suggest that, simple though the definition is, the property defies any easy characterization in pure computability theory. The most striking example is the construction of two computably isomorphic ce. sets, one of which is order-computable and the other not. © 2007 University of Notre Dame.

关键词： Computable model theory Limitwise-monotonic functions Order-computability

来源：评论

学校读者我要写书评

暂无评论

Promoting holistic problem-solving in mechanics pedagogy

Promoting holistic problem-solving in mechanics pedagogy

引用

114th Annual ASEE Conference and Exposition, 2007

作者： Papadopoulos, Chris Bostwick, Josh Dressel, Andrew University of Wisconsin Milwaukee United States Cornell University United States Department of Civil Engineering and Mechanics University of Wisconsin Milwaukee United States UWM Computer Science Engineering and Mathematics Scholarship Program Brazil Department of Theoretical and Applied Mechanics Cornell University United States

The authors propose three strategies that are designed to enhance students' understanding and problem-solving ability in introductory mechanics courses: (1) employing multiple-method problem-solving, in which students solve a given problem using more than one method;(2) organizing systems of linear equations into a standard "tabular" format which resembles matrix format;and (3) emphasizing the discussion and use of assumptions in problem-solving activities. The authors give a rationale for each strategy, present a review of several mechanics textbooks to determine the prevalence of these strategies, and provide local student performance data that, while as yet inconclusive, suggests a possible method for assessment of the strategies' efficacy. © American Society for Engineering Education, 2007.

关键词： Mechanics

来源：评论

学校读者我要写书评

暂无评论

Convergence properties of preconditioned hermitian and skew-hermitian splitting methods for non-hermitian positive semidefinite matrices

引用

mathematics of Computation 2007年第257期76卷 287-298页

作者： Bai, Zhong-Zhi Golub, Gene H. Li, Chi-Kwong Department of Mathematics Fudan University Shanghai 200433 China State Key Laboratory of Scientific Acad. of Math. and Syst. Sci. Chinese Acad. of Sci. Beijing 100080 P.O. BOX 2719 China Scientific Computing and Computational Mathematics Program Department of Computer Science Stanford University Stanford CA 94305-9025 United States Department of Mathematics College of William and Mary Williamsburg VA 23187-8795 P.O. Box 8795 United States

For the non-Hermitian and positive semidefinite systems of linear equations, we derive necessary and sufficient conditiorrs for guaranteeing the unconditional convergence of the preconditioned Hermitian and skew-Hermitian splitting iteration methods. We then apply these results to block tridiagonal linear systems in order to obtain convergence conditions for the corresponding block variants of the preconditioned Hermitian and skew-Hermitian splitting iteration methods. © 2006 American Mathematical Society.

关键词： Convergence Hermitian and skew-Hermitian splitting Non-Hermitian matrix Positive semidefinite matrix Splitting iteration method

来源：评论

学校读者我要写书评

暂无评论

Lattice Boltzmann algorithms for fluid turbulence

Lattice Boltzmann algorithms for fluid turbulence

引用

Department of Defense - HPCMP Users Group Conference 2007;High Performance Computing Modernization program: A Bridge to Future Defense, DoD HPCMP UGC

作者： Vahala, George Yepez, Jeffrey Soe, Min Vahala, Linda Ziegeler, Sean Department of Physics College of William and Mary Williamsburg VA United States Hanscom Field MA United States Department of Mathematics and Science Rogers State University Claremore OK United States Department of Electrical and Computer Engineering Old Dominion University Norfolk VA United States High Performance Computing Modernization Program Mississippi State University MS United States

ISBN: (纸本)0769530885

Lattice Boltzmann algorihms are a mesoscopic representation of nonlinear continuum physics (like Navier-Stokes, magnetohydrodynamics (MHD), Gross-Pitaevskii equations) which are ideal for parallel supercomputers because they transform the difficult nonlinear convective macroscopic derivatives into purely local moments of distribution functions. The macroscopic nonlinearities are recovered by relaxation distribution functions in the collision operator whose dependence on the macroscopic velocity is algebraically nonlinear and thus purely local. Unlike standard computational fluid dynamics codes, there is no loss in parallelization in handling arbitrary geometric boundaries, e.g., using bounce-back rules from kinetic theory. By encoding detailed balance into the collision operator through the introduction of discrete H-function, the lattice Boltzmann algorithm can be made unconditionally stable for arbitrary high Reynolds numbers. It is shown that this approach is a special case of a quantum lattice Boltzmann algorithm that entangles local qubits through unitary collision operators and which is ideally parallelized on quantum computer architectures. Here we consider turbulence simulations using 2,048 PEs on a 1,6003-spatial grid. A connection is found between the rate of change of enstrophy and the onset of laminar-to-turbulent flows. © 2007 IEEE.

关键词： Magnetohydrodynamics

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：