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

21st Annual Meeting of the International Symposium on Symbolic Computation, ISSAC 2008

作者： De Loera, Jesús A. Lee, Jon Malkin, Peter N. Margulies, Susan Dept. of Mathematics Univ. of California Davis Davis CA United States Mathematical Programming IBM T.J. Watson Res. Cntr. Yorktown Heights NY United States Dept. of Computer Science Univ. of California Davis Davis CA United States

ISBN: (纸本)9781595939043

Systems of polynomial equations over an algebraically-closed field K can be used to concisely model many combinatorial problems. In this way, a combinatorial problem is feasible (e.g., a graph is 3-colorable, hamiltonian, etc.) if and only if a related system of polynomial equations has a solution over K. In this paper, we investigate an algorithm aimed at proving combinatorial infeasibility based on the observed low degree of Hilbert's Nullstellensatz certificates for polynomial systems arising in combinatorics and on large-scale linear-algebra computations over K. We report on experiments based on the problem of proving the non-3-colorability of graphs. We successfully solved graph problem instances having thousands of nodes and tens of thousands of edges.

关键词： Linear algebra

来源：评论

学校读者我要写书评

暂无评论

Spicules-based competitive neural network

Spicules-based competitive neural network

引用

15th European Symposium on Artificial Neural Networks, ESANN 2007

作者： Gómez-Ruiz, J.A. Muñoz-Perez, J. García-Bernal, M.A. López-Rubio, E. University of Málaga Dept. of Languages and Computer Science Spain

We present a new model of unsupervised competitive neural network, based on spicules. This model is capable of detecting topological information of an input space, determining its orientation and, in most case, its sk... 详细信息

ISBN: (纸本)2930307099

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

Mirages: Behavioral intercession in a mirror-based architecture

Mirages: Behavioral intercession in a mirror-based architect...

引用

2007 ACM SIGPLAN International Conference on Object-Oriented programming, Systems, languages and Applications, OOPSLA - 2007 Dynamic languages Symposium, DLS

作者： Mostinckx, Stijn Van Cutsem, Tom Timbermont, Stijn Tanter, Éric Programming Technology Lab. Vrije Universiteit Brussel Belgium Computer Science Dept. DCC/CWR University of Chile Chile

ISBN: (纸本)9781595938688

Mirror-based systems are object-oriented reflective architectures built around a set of design principles that lead to reflective APIs which foster a high degree of reusability, loose coupling with base-level objects and whose structure and design corresponds to the system being mirrored. However, support for behavioral intercession has been limited in contemporary mirror-based architectures, in spite of its many interesting applications. This is due to the fact that mirror-based architectures only support explicit reflection, while behavioral intercession requires implicit reflection. This work reconciles mirrors with behavioral intercession. We discuss the design of a mirror-based architecture with implicit mirrors that can be absorbed in the interpreter, and mirages, base objects whose semantics are defined by implicit mirrors. We describe and illustrate the integration of this reflective architecture for the distributed object-oriented programming language AmbientTalk. © 2007 ACM.

关键词： Mirrors

来源：评论

学校读者我要写书评

暂无评论

NestStepModelica - Mathematical modeling and bulk-synchronous parallel simulation

NestStepModelica - Mathematical modeling and bulk-synchronou...

引用

8th International Workshop on Applied Parallel Computing, PARA 2006

作者： Kessler, Christoph Fritzson, Peter Eriksson, Mattias PELAB Programming Environments Lab. Dept. of Computer Science Linköping University SE-581 83 Linköping Sweden

ISBN: (纸本)9783540757542

Many parallel computing applications are used for simulation of complex engineering applications and/or for visualization. To handle their complexity, there is a need for raising the level of abstraction in specifying such applications using high level mathematical modeling techniques, such as the Modelica language and technology. However, with the increased complexity of modeled systems, it becomes increasingly important to use today's and tomorrow's parallel hardware efficiently. Automatic parallelization is convenient, but may need to be combined with easy-to-use methods for parallel programming. In this context, we propose to combine the abstraction power of Modelica with support for shared memory bulk-synchronous parallel programming including nested parallelism (NestStepModelica), which is both flexible (can be mapped to many different parallel architectures) and simple (offers a shared address space, structured parallelism, deterministic computation, and is deadlock-free). We describe NestStepModelica and report on first results obtained with a prototype implementation. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Parallel processing systems

来源：评论

学校读者我要写书评

暂无评论

A study of acoustic correlates of speaker age

A study of acoustic correlates of speaker age

引用

Lecture Notes in computer science

作者： Schötz, Susanne Müller, Christian Dept. of Phonetics Centre for Languages and Literature Lund University Sweden International Computer Science Institute Berkeley CA United States

ISBN: (纸本)9783540741213

Speaker age is a speaker characteristic which is always present in speech. Previous studies have found numerous acoustic features which correlate with speaker age. However, few attempts have been made to establish their relative importance. This study automatically extracted 161 acoustic features from six words produced by 527 speakers of both genders, and used normalised means to directly compare the features. Segment duration and sound pressure level (SPL) range were identified as the most important acoustic correlates of speaker age. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Acoustics

来源：评论

学校读者我要写书评

暂无评论

Biochemical mathematical modeling with Modelica and the BioChem library 6

Biochemical mathematical modeling with Modelica and the BioC...

引用

6th International Conference APLIMAT 2007

作者： Fritzson, Peter Ulfhielm, Erik Belic, Ales Fransson, Martin Grèen, Henrik PELAB - Programming Environment Lab. Dept. of Computer and Information Science Linköpings Universitet LinköpingSE-581 83 Sweden Laboratory for Modeling Simulation and Control Faculty of Electrical Engineering University of Ljubljana LjubljanaSI-1000 Slovenia Clinical Pharmacology Dept. of Medicine and Care Linköpings Universitet LinköpingSE-581 85 Sweden

ISBN: (纸本)9788096956265

Considering the large amounts of data that is nowadays produced in the biochemistry (functional genomics) it is difficult to extract the information from the measurements. There is currently also a great interest in the development of novel analytical technologies for rapid screening of disease symptoms in pharmaceutical and clinical applications. Modeling and simulation can provide a useful help in understanding the relations of the measured substances and to minimize the need for measurements. The BioChem library presented here is the first free Modelica library available for mathematical modeling of biochemical processes. Three examples are shown to illustrate the library. First, a simple insulin model is presented. Then a simplified model of cholesterol together with simulations are shown. Next, a simple drug model together with parameter estimation in NONMEN are presented. The BioChem library allows for fast and end-user friendly modeling of biomedical systems. The graphical user interface provides graphics similar to that used in the description of metabolic pathways in biochemistry.

关键词： Cholesterol

来源：评论

学校读者我要写书评

暂无评论

Muskel: A skeleton library supporting skeleton set expandability

引用

Scalable Computing 2007年第4期8卷 325-341页

作者： Aldinucci, Marco Danelutto, Marco Dazzi, Patrizio Dept. Computer Science Univ. of Pisa Italy Programming Model Institute CoreGRID United Kingdom ISTI-CNR Pisa Italy IMT-Institute for Advanced Studies Lucca Italy

programming models based on algorithmic skeletons promise to raise the level of abstraction perceived by programmers when implementing parallel applications, while guaranteeing good performance figures. At the same time, however, they restrict the freedom of programmers to implement arbitrary parallelism exploitation patterns. In fact, efficiency is achieved by restricting the parallelism exploitation patterns provided to the programmer to the useful ones for which efficient implementations, as well as useful and efficient compositions, are known. In this work we introduce muskel, a full Java library targeting workstation clusters, networks and grids and providing the programmers with a skeleton based parallel programming environment. muskel is implemented exploiting (macro) data flow technology, rather than the more usual skeleton technology relying on the use of implementation templates. Using data flow, muskel easily and efficiently implements both classical, predefined skeletons, and user-defined parallelism exploitation patterns. This provides a means to overcome some of the problems that Cole identified in his skeleton "manifesto" as the issues impairing skeleton success in the parallel programming arena. We discuss fully how user-defined skeletons are supported by exploiting a data flow implementation, experimental results and we also discuss extensions supporting the further characterization of skeletons with non-functional properties, such as security, through the use of Aspect Oriented programming and annotations. © 2007 SWPS.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Robust initialization of differential algebraic equations

Robust initialization of differential algebraic equations

引用

1st International Workshop on Equation-Based Object-Oriented languages and Tools, EOOLT 2007 - In Conjunction with the ECOOP 2007 Conference

作者： Bachmann, Bernhard Aronsson, Peter Fritzson, Peter Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany MathCore Engineering AB Teknikringen 1F SE-583 30 Linköping Sweden Department of Computer Science PELAB Programming Environments Lab Linköping University SE-581 83 Linköping Sweden

This paper describes a new solution method applied to the problem initializing DAEs using the Modelica language. Modelica is primarily an object- oriented equ-tion-based modeling language that allows specification of mathematical models of complex natural or man-made systems. Major features of Modelica are the multidomain modeling capability and the reusability of model components corresponding to physical objects, which allow to build and simulate highly complex systems. However, initializing such models has been quite cumbersome, since initial equations have to be pro-vided at the system level, where the user needs to know details on the underlying transformation and index-reduction algorithms, that in general are applied to simulate a Modelica model.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

On-line assessment system for English-Chinese translation

引用

Journal of Shanghai Jiaotong University (science) 2007年第2期12 E卷 180-184页

作者： Tian, Yan Lu, Ru-Zhan Duan, Jian-Yong Dept. of Computer Science and Eng. Shanghai Jiaotong Univ. Shanghai 200030 China School of Foreign Languages Shanghai Jiaotong Univ. Shanghai 200030 China

On-line assessment of English-Chinese translation is a challenging task as it involves natural language processing. YanFa, an on-line assessment system for English-Chinese translation, is a pilot research project into scoring student's translation on-line. Based on the theory of translation equivalence, an algorithm called conceptual similarity matching was developed. YanFa can assess students' translation on-line timely, generate test papers automatically, offer standard versions of translation, and the scores of each sentence to students. The evaluation proves that YanFa is practical compared with the scores given by experts.

关键词： computer aided language translation

来源：评论

学校读者我要写书评

暂无评论

Immediate Mode Scheduling of Independent Jobs in Computational Grids

Immediate Mode Scheduling of Independent Jobs in Computation...

引用

International Conference on Advanced Information Networking and Applications (AINA)

作者： Fatos Xhafa Leonard Barolli Arjan Durresi Polytechnic University of Catalonia Dept. of Languages and Informatics Systems Campus Nord Barcelona Spain EngineeringDept. of Information and Communication Fukuoka Institute of Technology (FIT) Fukuoka Japan Dept. of Computer Science Louisiana State University Baton Rouge LA

With the emerging paradigm of grid computing and the development of grid infrastructures, grid-based applications are becoming a common approach for solving many complex, large-scale problems in science and engineering. In order to benefit from the large computing power of grid systems, efficient allocation of jobs to resources is necessary. In this work, we consider the allocation problem in immediate mode, in which jobs are allocated as soon as they arrive in the system. We implemented several methods and measured four parameters of the system: makespan, flow- time, resource utilization and matching proximity. The immediate methods are especially interesting when good quality allocations are necessary in very short time. The considered methods have been tested using the most difficult benchmark in the literature for the problem. The computational results allowed us to identify which of considered methods perform better for makespan, flowtime, resource utilization and matching proximity. Also, we were able to evaluate the usefulness of such methods if we knew in advance certain grid characteristics such as degree of consistency of computing, heterogeneity of jobs and resources.

关键词： Processor scheduling Grid computing Resource management Distributed computing Large-scale systems Benchmark testing Load management Informatics computer science Application software

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：