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

International Workshop on Principles of Software Evolution

作者： T. Mens M. Wermelinger S. Ducasse S. Demeyer R. Hirschfeld M. Jazayeri Service de Génie Logiciel Université de Mons-Hainaut Belgium Computing Department Open University UK Université de Savoie France Lab on REngineering University of Antwerp Belgium Future Networking Laboratory DoCoMo Conimunications Laboratories Europe GmbH Germany Faculty of Informatics University of Lugano Switzerland

Today's information technology society increasingly relies on software at all levels. Nevertheless, software quality generally continues to fall short of expectations, and software systems continue to suffer from symptoms of aging as they are adapted to changing requirements and environments. The only way to overcome or avoid the negative effects of software aging is by placing change and evolution in the center of the software development process. In this article we describe what we believe to be some of the most important research challenges in software evolution. The goal of this document is to provide novel research directions in the software evolution domain.

关键词： Collaborative software Software tools Software systems Aging Programming Software quality Information technology Computer industry Business Conferences

来源：评论

学校读者我要写书评

暂无评论

One and two polarizations, membrane creation and objects complexity in P systems

One and two polarizations, membrane creation and objects com...

引用

International Symposium on Symbolic and Numeric Algorithms for Scientific computing (SYNASC)

作者： A. Alhazov R. Freund A. Riscos-Nunez Research Group on Mathematical Linguistics Rovira i Virgili University Tarragona Spain Institute of Mathematics and Computer Science Academy of Sciences of Moldova Moldova Faculty of Informatics University of Technology Vienna Vienna Austria Research Group on Natural Computing Department of Computer Science and Artificial Intelligence University of Sevilla Seville Spain

We improve, by using register machines, some existing universality results for specific models of P systems. P systems with membrane creation are known to generate all recursively enumerable sets of vectors of non-negative integers, even when no region (except the environment) contains more than one object of the same kind. We here show that they generate all recursively enumerable languages, and two membrane labels are sufficient (the same result holds for accepting all recursively enumerable vectors of non-negative integers). Moreover, at most two objects are present inside the system at any time in the generative case. Then we prove that 10 + m symbols are enough to generate any recursively enumerable language over m symbols. P systems with active membranes without polarizations are known to generate all recursively enumerable sets of vectors of non-negative integers. We show that they generate all recursively enumerable languages; four starting membranes with three labels or seven starting membranes with two labels are sufficient. P systems with active membranes and two polarizations are known to generate/accept all recursively enumerable sets of vectors of non-negative integers, only using rules of rewriting and sending objects out. We show that accepting can be done by deterministic systems. Finally, remarks and open questions are presented.

关键词： Polarization Biomembranes Computer science Mathematics informatics Artificial intelligence Registers Bibliographies Scientific computing

来源：评论

学校读者我要写书评

暂无评论

Telemedicine with digital video transport system in Asia -Pacific area

Telemedicine with digital video transport system in Asia -Pa...

引用

19th International Conference on Advanced Information Networking and Applications, AINA 2005

作者： Nakashima, Naoki Okamura, Koji Hahm, Joon-Soo Kim, Young-Woo Mizushima, Hiroshi Tatsumi, Haruyuki Moon, Byung-In Han, Ho-Seong Park, Yong-Jin Lee, Jae-Hwa Youm, Sung-Kwan Kang, Chul-Hee Shimizu, Shuji Department of Medical Informatics Kyushu University Faculty of Medicine Fukuoka Japan Computing and Communications Center Kyushu University Fukuoka Japan Department of Medicine Hanyang University Medical College Seoul Korea Republic of Research Institute and Hospital National Cancer Center Goyang Gyeonggi Korea Republic of Research Institute National Cancer Center Tokyo Japan Signal Transduction and Medicine Sapporo Medical University Graduate School of Medicine Sapporo Japan Department of Surgery Breast Center Ewha WomansMokdong Hospital Seoul Korea Republic of Department of Surgery Seoul National University Bundang Hospital Seoul Korea Republic of Division of Electrical and Computer Engineering Hanyang University Seoul Korea Republic of Korea Advanced Research Network Seoul Korea Republic of School of Electrical Engineering Korea University Seoul Korea Republic of Department of Endoscopic Diagnostics and Therapeutics Kyushu University Faculty of Medicine Fukuoku Japan

ISBN: (纸本)0769522491

We have established a medical network in Asia-Pacific area with high-quality moving image on a super broad-banded internet line since February 2003. Broadcasting real-time surgery and teleconference with medical-quality videos with Digital Video Transport System (DVTS) were so useful to learn surgical techniques and other medical procedures beyond borders. We have conducted 20 events in categories of teleconference (8 times), live transmission of medical procedure (6 times), and remote attendance to scientific medical meetings (6 times) until September 2004. We had teleconferences among 3 countries in APAN-Hawaii in January 2004 (Japan, Korea and USA), and in APAN-Cairns in July 2004 (Japan, Korea and Australia). There have been no serious transmission/ ethical problems sofar. With these experiences and current achievements, we hope to extend this advanced network system to whole Asia-Pacific countries to share medical skills and knowledge. © 2005 IEEE.

关键词： Telemedicine

来源：评论

学校读者我要写书评

暂无评论

An Exponential Matrix Product Based Representation for Generalized Hypergeometric Functions of TypepFp

引用

Applied Numerical Analysis & Computational Mathematics 2005年第1期2卷

作者： N. A. Baykara İrem Yaman Metin Demiralp Mathematics Department Faculty of Sciences and Letters Marmara University Göztepe 34722 İstanbul Turkey Group for Science and Methods of Computing Computational Science and Engineering Program Informatics Institute İstanbul Technical University Maslak 34469 İstanbul Turkey Phone: +90 212 285 70 77 Fax: +90 212 285 70 73 Phone: +90 212 285 70 82 Fax: +90 212 285 70 73

In this work, a new representation is developed for generalized hypergeometric functions of type p F p . To this end a first order vector differential equation is constructed in a way such that the derivative of the unknown vector has unit matrix coefficient. The solution vector differential equation is rewritten in the form of a series expansion. An infinite process of factor extractions and annihilations is employed to construct finally a vector differential equation that can be easily solved. Truncation of this scheme can be used to get approximations to hypergeometric functions of type p F p . A simple, yet meaningful, implementation seems to give quite promising results. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

关键词： Exponential matrix factorization generalized hypergemetric function

来源：评论

学校读者我要写书评

暂无评论

Research and training environment for digital design and test

Research and training environment for digital design and tes...

引用

34th Annual Frontiers in Education: Expanding Educational Opportunities Through Partnerships and Distance Learning - Conference Proceedings, FIE

作者： Ubar, Raimund Wuttke, Heinz-Dietrich Tallinn University of Technology Computing Engineering Department Raja 15 12618 Tallinn Estonia Ilmenau Technical University Faculty of Informatics and Automation post box 10 0565 D-98684 Ilmenau

An environment directed to e-learning is presented for teaching test generation and fault diagnosis in digital circuits. The environment consists of a set of Java applets for learning basics of test preliminary and of a set of low-cost tools for research oriented training in more advanced topics of test. The tools support university courses on digital electronics, computer hardware, testing and design for testability. They help to learn by hands-on exercises how to generate tests, how to build self-testing systems, how to analyze the quality of tests or testing hardware and how to localize faults in hardware. The tasks chosen for hands-on training represent simultaneously real research problems, which allow to foster in students critical thinking, problem solving skills and creativity. © 2004 IEEE.

关键词： Engineering education

来源：评论

学校读者我要写书评

暂无评论

Appointments for 2005-2006 term

引用

IEEE Transactions on Very Large Scale Integration (VLSI) Systems 2005年第7期13卷 773-782页

作者： Ranganathan, Nagarajan Agrawal, Vishwani D. Chakradhar, Srimat T. Chakrabarty, Krishnendu Courtois, Bernard DeMara, Ronald Hu, Xiaobo Sharon Ismail, Yehea I. Jha, Niraj K. John, Lizy Kurian Ker, Ming-Dou Koren, Israel Liu, Bin-Da Marculescu, Diana Marculescu, Radu Narayanan, Vijaykrishnan Nassif, Sani R. Nowick, Steven M. Sapatnekar, Sachin S. Sherlekar, Sunil Sylvester, Dennis Vemuri, Ranga Pham, Michael Department of Computer Science and Engineering University of South Florida Tampa FL 33620 United States Department of Computer Science and Engineering Nanomaterials and Nanomanufacturing Research Center University of South Florida Tampa United States IEEE United States Systems United States Department of Electrical and Computer Engineering Rutgers University New Brunswick NJ United States IETE India ACM NEC Laboratories America Inc. Princeton NJ United States Duke University Durham NC United States ACM SIGDA Sigma Xi United States Laboratory of Techniques of Informatics and Microelectronics for Computer Architectecture ASME IMAPS IEEE Computer Society University of Central Florida Orlando United States Computer Engineering Program SEECS Department of Computer Science and Engineering University of Notre Dame Notre Dame IN United States Northwestern University Evanston IL United States Department of Electrical Engineering Princeton University Princeton NJ United States Association for Computing Machinery Austin United States UT Austin Engineering Foundation United States Department of Electronics Engineering National Chiao-Tung University Taiwan Department of Electrical and Computer Engineering University of Massachusetts Amherst United States Department of Electrical Engineering Department of Electrical and Computer Engineering Carnegie Mellon University Pittsburgh PA United States Electrical and Computer Engineering Faculty Carnegie Mellon University Pittsburgh PA United States Computer Science and Engineering Department Pennsylvania State University University Park United States IBM Austin Research Laboratory Austin TX United States Columbia University New York NY United States Department of Electrical and Computer Engineering University of Minnesota Minneapolis United States Tata Consultancy Services Centre of Excellence for Embedded Systems India Department of Electrical Engineering IIT Bombay India Department of Electrical Engineering Uni

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

The Healthgrid White Paper 3

The Healthgrid White Paper

引用

3rd Annual Conference of the Healthgrid Association, Healthgrid 2005

作者： Breton, Vincent Dean, Kevin Solomonides, Tony Aloisio, Giovanni Benkner, Siegfried Bilofsky, Howard Blanquer, Ignacio Brady, Michael Cannataro, Mario Chouvarda, Ioanna Claerhout, Brecht De Moor, Georges De Neve, Wilfried De Wagter, Carlos Fiore, Sandro Hassan, Kinda Heeren, Germaine Hernández, Vicente Herveg, Jean A.M. Hofmann, Martin Jones, Chris Koutkias, Vassilios Lloyd, Sharon Lonsdale, Guy Alonso, Victoria L. Maglaveras, Nicos Maigne, Lydia Malousi, Andigoni Martín-Sánchez, Fernando McClatchey, Richard Medico, Enzo Miguet, Serge Mirto, Maria Montagnat, Johan Nørager1, Sofie Nozaki, Kazunori Oliveira, Ilídio Castro Pennec, Xavier Poullet, Yves Merino, Juan Pedro Sánchez Strizh, Irina G. Taillet, Michel Tristram, Clive Tverdokhlebov, Nikolay Veltri, Pierangelo Ziegler, René CNRS-IN2P3 LPC Campus des Cézeaux AubiereCedex63177 France Internet Business Solutions Group Cisco Systems 9 New Square Bedfont Lakes Middlesex FelthamTW14 8HA United Kingdom University of the West of England Bristol CEMS Coldharbour Lane BristolBS6 6TH United Kingdom Center for Advanced Computational Technologies ISUFI Dept. of Innovation Engineering University of Lecce Via per Monteroni Lecce73100 Italy Institute of Scientific Computing University of Vienna Nordbergstrasse 15 ViennaA-1090 Austria University of Pennsylvania School of Engineering and Applied Science Computer and Information Science Center for Bioinformatics 1416 Blockley Hall 423 Guardian Drive PhiladelphiaPA19104-6021 United States Universidad Politecnica de Valencia Camino de Vera/n Valencia46022 Spain FRS FREng Dept. of Engineering Science Oxford University Parks Road OxfordOX1 3PJ United Kingdom Magna Graecia University of Catanzaro School of Bioinformatics and Biomedical Engineering Campus di Germaneto Viale Europa Germaneto Catanzaro88100 Italy Aristotle University The Medical School Lab of Medical Informatics Box 323 Thessaloniki54124 Greece Custodix NV Verlorenbroodstraat 120 Bus 14 MerelbekeB-9820 Belgium Research in Advanced Medical Informatics and Telematics UZ Gent 5K3 De Pintelaan 185 GentB9000 Belgium Department of Radiotherapy Ghent University Hospital Building P7 De Pintelaan 185 GentB-9000 Belgium Laboratoire LIRIS Université Lumière Lyon 2 Campus Porte des Alpes 5 avenue Pierre Mendès France Bron69676 France av. E.Mounierlaan 83 Brussels1200 Belgium Faculté de Droit de Namur - FUNDP Centre de Recherches Informatiques & Droit 5 rempart de la Vierge Namur5000 Belgium Schloss Birlinghoven Sankt Augustin53754 Germany CERN Geneva 231211 Switzerland Oxford University Computing Laboratory Wolfson Building OxfordOX1 3QD United Kingdom C&C Research Laboratories NEC Europe Ltd. Rathausallee 10 Sankt AugustinD-53757 Germany Medic

ISBN: (纸本)158603510X

Over the last four years, a community of researchers working on Grid and High Performance computing technologies started discussing the barriers and opportunities that grid technologies must face and exploit for the development of health-related applications. This interest lead to the first Healthgrid conference, held in Lyon, France, on January 16th–17th, 2003, with the focus of creating increased awareness about the possibilities and advantages linked to the deployment of grid technologies in health, ultimately targeting the creation of a European/international grid infrastructure for health. The topics of this conference converged with the position of the eHealth division of the European Commission, whose mandate from the Lisbon Meeting was "To develop an intelligent environment that enables ubiquitous management of citizens’ health status, and to assist health professionals in coping with some major challenges, risk management and the integration into clinical practice of advances in health knowledge." In this context "Health" involves not only clinical procedures but covers the whole range of information from molecular level (genetic and proteomic information) over cells and tissues, to the individual and finally the population level (social healthcare). Grid technology offers the opportunity to create a common working backbone for all different members of this large "health family" and will hopefully lead to an increased awareness and interoperability among disciplines. The first HealthGrid conference led to the creation of the Healthgrid association, a non-profit research association legally incorporated in France but formed from the broad community of European researchers and institutions sharing expertise in health grids. After the second Healthgrid conference, held in Clermont-Ferrand on January 29th–30th, 2004, the need for a "white paper" on the current status and prospective of health grids was raised. Over fifty experts from different areas of grid tec

关键词： Health risks

来源：评论

学校读者我要写书评

暂无评论

Supporting and Assessing First Year Programming: The Use of WebCT

引用

Innovation in Teaching and Learning in Information and Computer Sciences 2004年第1期3卷

作者： Sayers H.M. Nicell M.A. Hagan S.J. School of Computing and Intelligent Systems Faculty of Informatics University of Ulster hm.sayers@ulster.ac.ukma.nicell@ulster.ac.uksj.hagan@ulster.ac.uk

Java is used to teach introductory programming to a large cohort enrolled on a variety of degree programmes presented on the University of Ulster’s Magee Campus. There are two introductory programming modules taught in the first year through the traditional medium of lectures underpinned by tutorials and practical laboratory classes. Typically the class is composed of students ranging widely in ability, age, experience and motivation. Historically, students seemed to have great difficulty in achieving a reasonable standard within the twelve-week semester and each year their performance in programming presented a significant hurdle to their academic progression. In an effort to provide opportunities for guided self study and individual progress monitoring, an integrated suite of on-line resources was developed within a WebCT environment. This arrangement provided for stepped tutorials which mapped onto the lecture materials, informal (non-assessed) progress tests and formal (assessed) class tests. Upon completion, the assessed tests returned the score attained along with model solutions for those questions scored as incorrect, and the non-assessed tests returned an immediate response of correct or incorrect along with appropriate feedback. This paper presents the resources provided within the WebCT environment along with a study of students’ experiences. The use of WebCT for coursework assessment was used in conjunction with the more traditional methods of laboratory tests and written tests ( a 50-50 split). Further, a comparison of both coursework and examination results with those of a previous cohort of first year students who did not have access to the WebCT resources and who were assessed solely using traditional methods is presented. This comparison indicates that academic concerns that the adoption of on-line multiple-choice assessment would have a deleterious impact on performance within the more traditional time-limited, end-of-semester written examination w

关键词：

来源：评论

学校读者我要写书评

暂无评论

Concept decomposition by fuzzy k-means algorithm

Concept decomposition by fuzzy k-means algorithm

引用

IEEE/WIC International Conference on Web Intelligence, WI 2003

作者： Dobsa, J. Basic, B.J. University of Zagreb Faculty of Organization and Informatics Pavlinska 2 Varazdin42000 Croatia University of Zagreb Faculty of Electrical Engineering and Computing Unska 3 Zagreb10000 Croatia

ISBN: (纸本)0769519326

The method of latent semantic indexing (LSI) is an information retrieval technique using a low-rank singular value decomposition (SVD) of the term-document matrix. Although the LSI method has empirical success, it suffers from the lack of interpretation for the low-rank approximation and, consequently, the lack of controls for accomplishing specific tasks in information retrieval. A method introduced by Dhillon and Modha is an improvement in that direction. It uses centroids of clusters or so called concept decomposition for lowering the rank of the term-document matrix. We focus on improvements of that method using fuzzy k-means algorithm. Also, we compare the precision of information retrieval for the two above methods. © 2003 IEEE.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Autonomic computing - a means of achieving dependability?

Autonomic Computing - a means of achieving dependability?

引用

International Conference and Workshop on Engineering of Computer-Based Systems

作者： R. Sterritt D. Bustard School of Computing and Information Engineering Faculty of Informatics University of Ulster UK

Autonomic computing is emerging as a significant new approach to the design of computing systems. Its goal is the development of systems that are self-configuring, self-healing, self-protecting and self-optimizing. Dependability is a long-standing desirable property of all computer-based systems. The purpose of the paper is to consider how autonomic computing can provide a framework for dependability.

关键词： Systems engineering and theory Computer errors Fault tolerant systems Fault tolerance Communities Software systems Testing Mathematics Design engineering informatics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：