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

21th International Florida Artificial Intelligence Research Society Conference, FLAIRS-21

作者： Georgatos, Konstantinos Department of Mathematics and Computer Science John Jay College of Criminal Justice CUNY 445 West 59th Street New York NY 10019 United States PhD Program in Computer Science Graduate Center CUNY 365 Fifth Avenue New York NY 10016 United States

ISBN: (纸本)9781577353652

The purpose of this paper is to introduce a form of update based on the minimization of the geodesic distance on a graph. We provide a characterization of this class using set-theoretic operators and show that such operators bijectively correspond to geodesic metrics. As distance is generated by distinguishability, our framework is appropriate in contexts where distance is generated by threshold, and therefore, when measurement is erroneous. Copyright © 2008, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Geodesy

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

An information theoretic framework for eukaryotic gradient sensing 06

An information theoretic framework for eukaryotic gradient s...

引用

Proceedings of the 20th International Conference on Neural Information Processing Systems

作者： Joseph M. Kimmel Richard M. Salter Peter J. Thomas Computer Science Program Oberlin College Oberlin Ohio and Computational Neuroscience Graduate Program The University of Chicago Computer Science Program Oberlin College Oberlin Ohio and Oberlin Center for Computation and Modeling Departments of Mathematics Biology and Cognitive Science Case Western Reserve University Cleveland Ohio and Oberlin College Research Associate

关键词：

来源：评论

学校读者我要写书评

暂无评论

On epistemic logic with justification

On epistemic logic with justification

引用

Tenth Conference on the Theoretical Aspects of Rationality and Knowledge, TARK 2005

作者： Artemov, Sergei Nogina, Elena Graduate Center CUNY Ph.D. Program in Computer Science 365 Fifth Avenue New York NY 10016 United States BMCC CUNY Department of Mathematics 199 Chambers Street New York NY 10007 United States

ISBN: (纸本)9810534124

The true belief components of Plato's tripartite definition of knowledge as justified true belief are represented in formal epistemology by modal logic and its possible worlds semantics. At the same time, the justification component of Plato's definition did not have a formal representation. This paper introduces the notion of justification into formal epistemology. Epistemic logic with justification, along with the usual knowledge operator F (F is known), contains assertions t:F (t is a justification for F). We suggest an epistemic semantics which augments Kripke models with a natural Fitting-style treatment of justification assertions t:F. Completeness and some new specific properties of basic systems of epistemic logic with justification are established.

关键词： Knowledge acquisition

来源：评论

学校读者我要写书评

暂无评论

CUMBIA: an agent framework to detect opportunities for collaboration

CUMBIA: an agent framework to detect opportunities for colla...

引用

International Conference on computer Supported Cooperative Work in Design

作者： M. Moreno A. Vivacqua J. de Souza Computer Science Program Graduate School of Engineering COPPE Rio de Janeiro Brazil DCC/IM-Institute of Mathematics Federal University of Rio de Janeiro Rio de Janeiro Brazil

With the increase in adoption of remote work groups and teams working in non-collocated environments, several opportunities for interaction have been lost. Contact with colleagues and discovery of opportunities, previously easy due to physical proximity, is made harder with distance. In this paper, we describe an agent-based framework to assist users in finding opportunities for interaction that may have been overlooked.

关键词： Collaboration Collaborative work computer science mathematics Team working IP networks computer networks Teleconferencing Subcontracting Scheduling

来源：评论

学校读者我要写书评

暂无评论

Cooperation for creativity in design

Cooperation for creativity in design

引用

8th International Conference on computer Supported Cooperative Work in Design

作者： Vivacqua, A de Souza, J Computer Science Program Graduate School Engineering Federal University of Rio de Janeiro Rio de Janeiro Brazil DCC Institute of Mathematics Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)0780379411

Creativity has become an important asset in today's fast changing environment. It is especially important in design, which demands innovative solutions for every project. We believe that creativity can and should be encouraged in work groups. In this paper, we propose a framework for supporting creativity in problem solving. Through the use of problem, domain and user models and information retrieval and agent technology, we hope to support creative cooperative work.

关键词： computer aided design

来源：评论

学校读者我要写书评

暂无评论

Cooperation for Creativity in Design

Cooperation for Creativity in Design

引用

The 8th International Conference on computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

作者： Adriana Vivacqua Jano de Souza COPPE-Graduate School of Engineering Computer Science Program COPPE-Graduate School of Engineering Computer Science Program DCC/IM-Institute of Mathematics UFRJ-F

Creativity has become an important asset in today'sfast changing environment. It is especially important indesign, which demands innovative solutions for *** believe that creativity can and should beencouraged in work groups. In this paper, we proposea framework for supporting creativity in problemsolving. Through the use of problem, domain and usermodels and information retrieval and agent technology,we hope to support creative cooperative work.

关键词： Collaborative work computer science mathematics Problem-solving Information retrieval Knowledge management Environmental economics Organizing Product design Writing

来源：评论

学校读者我要写书评

暂无评论

Improving project design through process awareness agents

Improving project design through process awareness agents

引用

CSCWD 2004 - 8th International Conference on computer Supported Cooperative Work in Design - Proceedings

作者： Vivacqua, Adriana Pinho, Daniel De Souza, Jano Medeiros, Sérgio Computer Science Program Graduate School of Engineering Federal University of Rio de Janeiro Rio de Janeiro RJ Brazil DCC/IM Institute of Mathematics Federal University of Rio de Janeiro Rio de Janeiro RJ Brazil DEL/POLI Department of Electronics Federal University of Rio de Janeiro Rio de Janeiro RJ Brazil

ISBN: (纸本)0780379411

In this paper, we start from a case study of an architecture company and move on to a framework of agents to identify and inform conceptual design. The processes and problems exhibited by the company involved are quite common and can be found in other similar companies. Our intent is to instrument the current process using agent technology, in an effort to improve global awareness during the conceptual design phase, allowing the designers to design so as to facilitate later steps and optimize the process as a whole. © 2003 IEEE.

关键词： Systems analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：