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

15th Symposium on Mathematical Foundations of computer science, MFCS 1990

作者： Hansen, Michael R. Chao-Chen, Zhou Department of Computer Science Technical University of Denmark LyngbyDK-2800 Denmark Programming Research Group Oxford University United Kingdom

ISBN: (纸本)9783540529538

A system is a collection of processes connected by channels over which they communicate. We consider systems where processes can be communicated. We propose an extension to propositional temporal logic as specification language and an extension to CSP as programming notation for such higher order systems, and we give a sound compositional proof system for verifying that a process satisfies a specification. © Springer-Verlag Berlin Heidelberg 1990.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Development the Numerical Method to Solve the Inverse Initial Value Problem for the Thermal Conductivity Equation of Composite Materials

Development the Numerical Method to Solve the Inverse Initia...

引用

2020 Ibn Al-Haitham International Conference for Pure and Applied sciences, IHICPS 2020

作者： Al-Mahdawi, H.K. Department of System Programming School of Electronic Engineering and Computer Science South Ural State University Lenina 76 Chelyabinsk454080 Russia

In this paper, the heat conduction equation for composite materials posed and solved. This problem is known as an inverse initial value problem for the heat conduction equation. In order to solve and formulate this inverse problem, the function spaces must be defined and represented. By studying and solving the direct problem for the heat equation in composite materials, it is possible to determine the function spaces and solve the inverse initial value problem. Scientific methods used: the separation of variables method used to solve the direct problem for the heat equation. It found that method separation of variables does not completely lead to the solution of the inverse initial value problem, since this method leads to a divergent series of solutions and rather massive errors. The heat conduction problem can be formulated as Fredholm integral first kind equations. The discretization algorithm applied to reformulated the problem as linear operator problem as matrix and vectors form. Then, Tikhonov's regularization inversion method has been used to find an approximation solution. Finally, as shown in the numerical example the regularized approximate solutions obtained. © Published under licence by IOP Publishing Ltd.

关键词： Initial value problems

来源：评论

学校读者我要写书评

暂无评论

Construction and optimization of a parallel engine for answer set programming

引用

3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001

作者： Pontelli, Enrico El-Khatib, Omar Laboratory for Logic DBs and Advanced Programming Department of Computer Science New Mexico State University United States

ISBN: (纸本)9783540417682

In this paper we study the use of parallelism to speed up execution of Answer Set Programs (ASP). ASP is an emerging programming paradigm which combines features from constraint programming, logic programming, and non-monotonic reasoning, and has found relevant applications in areas such as planning and intelligent agents. We propose different methodologies to parallelize execution of ASP programs, and we describe a prototype which exploits one form of parallelism. © Springer-Verlag Berlin Heidelberg 2001

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

Colouring of COVID-19 Affected Region Based on Fuzzy Directed Graphs

引用

computers, Materials & Continua 2021年第7期68卷 1219-1233页

作者： Rupkumar Mahapatra Sovan Samanta Madhumangal Pal Jeong-Gon Lee Shah Khalid Khan Usman Naseem Robin Singh Bhadoria Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar UniversityMidnapore721102India Department of Mathematics Tamralipta MahavidyalayaTamluk721636India Division of Applied Mathematics Wonkwang UniversityIksan-SiJeonbuk54538Korea School of Engineering RMIT UniversityMelbourne3001Australia School of Computer Science University of Sydney Sydney2006Australia Department of Computer Science&Engineering Birla Institute of Applied Sciences(BIAS)BhimtalUttarakhand263136India

Graph colouring is the system of assigning a colour to each vertex of a *** is done in such a way that adjacent vertices do not have equal *** is fundamental in graph *** is often used to solve real-world problems like traffic light signalling,map colouring,scheduling,***,social networks are prevalent systems in our ***,the users are considered as vertices,and their connections/interactions are taken as *** users follow other popular users’profiles in these networks,and some don’t,but those non-followers are connected directly to the popular *** means,along with traditional relationship(information flowing),there is another relation among *** depends on the domination of the relationship between the *** type of situation can be modelled as a directed fuzzy *** the colouring of fuzzy graph theory,edge membership plays a vital *** membership is a representation of flowing information between end nodes of the *** from the communication relationship,there may be some other factors like domination in *** influence of power is captured *** this article,the colouring of directed fuzzy graphs is defined based on the influence of *** with this,the chromatic number and strong chromatic number are provided,and related properties are *** application regarding COVID-19 infection is presented using the colouring of directed fuzzy graphs.

关键词： Graph colouring chromatic index directed fuzzy graphs

来源：评论

学校读者我要写书评

暂无评论

Adaptive web-based systems: From framework to implementation 10

Adaptive web-based systems: From framework to implementation

引用

11th International Conference on computer Systems and Technologies, CompSysTech'10

作者： Raufi, Bujar Georgieva, Juliana Faculty of Contemporary Sciences and Technologies Department of Computer Science South East European University Denmark Faculty of Computers and Control Systems Department of Programming and Computer Technologies Technical University of Sofia Bulgaria

ISBN: (纸本)9781450302432

The paper gives an insight of the work done so far in modelling and implementation of user adapted software systems or adaptive web sites. We introduce a five layer framework which gives to our adaptive web based system flexibility, expressiveness, modularity and interoperability. The work so far has been concentrated in the first four layers of the framework concerning data representation, representation of knowledge as well as development of adaptation algorithm for such systems. Initial experimental results on adaptation show good performance of the algorithm for both per-user based adaptation and adaptation for groups of users. The findings also indicate that the approach is suitable for generic adaptive web-based systems. Copyright. © 2010 ACM.

关键词： Websites

来源：评论

学校读者我要写书评

暂无评论

Evaluating Keyphrase Extraction Methods for Clustering Influenza-Related Scientific Papers 8

Evaluating Keyphrase Extraction Methods for Clustering Influ...

引用

8th International Iranian Conference on Signal Processing and Intelligent Systems, ICSPIS 2022

作者： Forghani, Majid Firstkov, Artyom Alyannezhadi, Mohammad. M. Forghani, Kazem Krasovskii Institute of Mathematics & Mechanics Mathematical Programming Lab. Yekaterinburg Russia University of Science and Technology of Mazandaran Department of Science Behshahr Iran Iran University of Science and Technology Computer Science Department Tehran Iran

ISBN: (纸本)9781665476232

The number of annual scientific publications is growing year by year, which has led to the accumulation and formation of large databases. This increases the complexity of the search for relevant articles. Modern search engines leverage keyphrases to improve the performance of search results. Keyphrases (or keywords) are a set of single or multi-word expressions which provide a very compact summary of contents and describe the overall topic of a document. Implementation of keyphrase extraction can be varied for specific-domain databases. This motivated us to evaluate these methods on a database of influenza scientific literature. In this work, we considered 9 well known methods for extracting keyphrases. Our preliminary results show txhat graph-based methods which employ topics outperform others using our database. We also determined that influenza-related papers can be grouped into three general topics: public health & medical care;molecular biology & immunology;and phylogenetic & epidemiological studies. © 2022 IEEE.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

GIDTS - A Graphical programming Environment for Prolog

GIDTS - A Graphical Programming Environment for Prolog

引用

1999 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 1999

作者： Kókai, Gabriella Nilson, Jörg Niss, Christian Department of Computer Science Programming Languages Friedrich-Alexander-University of Erlangen-Nürnberg Martensstr. 3 ErlangenD-91058 Germany

ISBN: (纸本)9781581131376

This paper puts forward the Graphical Interactive Diagnosing, Testing and Slicing System (GIDTS) which is a graphical programming environment for PROLOG programs. The IDTS part of the system integrates Shapiro's Interactive Diagnosis Algorithm with the Category Partition Testing Method (CPM) and a slicing technique performing the algorithmic debugging and functional testing of PROLOG programs. The integration of IDTS with a graphical user interface (GUI) supports the whole functionality of IDTS and provides a user-friendly environment giving the user more information on the state of the debugging process. GIDTS extends IDTS to a complete programming environment. It allows one to handle the debugging of complex programs using the extended syntax and semantics of PROLOG in a very flexible way. A static code diagnosis has also been implemented. In addition GIDTS supports debugging-directed editing of the source program, and a quick source code navigation via any of the tools (for example: the debugger, the static call graph and the information retriever). All these features are supported by the graphical user interface. © 1999 ACM

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

A compositional approach to time analysis of first order lazy functional programs 4

A compositional approach to time analysis of first order laz...

引用

4th International Conference on Functional programming Languages and computer Architecture, FPCA 1989

作者： Bjerner, Bror Holmström, Sören Programming Methodology Group Department of Computer Science Chalmers University of Technology and University of Göteborg GöteborgS-412 96 Sweden

ISBN: (纸本)0897913280

We present a method for computing the number of steps needed to compute a lazy first order functional program e (to an approximation of its value). The method itself is described as a lazy functional program. Moreover, it is compositional, because it is denned by recursion on the structure of e. In other words, the number of steps needed to compute e is described in terms of the number of steps the parts of e need. (This is in contrast with the obvious operational method to define an interpreter and count the number of steps that it needs.) The equations that define the analysing program can also be used when reasoning about time complexity of lazy functional programs. Two simple examples are given at the end of the paper.

关键词： Program interpreters

来源：评论

学校读者我要写书评

暂无评论

Optimistic Versioning for Conflict-tolerant Collaborative Blended Modeling 10

Optimistic Versioning for Conflict-tolerant Collaborative Bl...

引用

STAF 2022 Workshop: 10th International Workshop on Bidirectional Transformations, BX 2022, 2nd International Workshop on Foundations and Practice of Visual Modeling, FPVM 2022 and 2nd International Workshop on MDE for Smart IoT Systems, MeSS 2022

作者： Exelmans, Joeri Pietron, Jakob Raschke, Alexander Vangheluwe, Hans Tichy, Matthias Department of Computer Science University of Antwerp - Flanders Make Antwerp Belgium Institute of Software Engineering and Programming Languages Ulm University Ulm Germany

Optimistic versioning is a key component in supporting collaborative workflows. Text-based versioning has been widely adopted for versioning code, but in model-driven engineering, dealing with visual concrete syntaxes, new methods are required. In the case of blended modeling, a mixture of both textual and visual syntaxes, concurrently editable and synchronizable, introduces additional challenges. We propose a type of operation-based versioning to record not only user edits, but also bi-directional change propagations between concrete and abstract syntax. This way we can support blended modeling with layout continuity, and flexible handling of missing information (e. g., layout information) when rendering changes from abstract to concrete syntax. In addition, the proposed versioning approach enables collaborative conflict resolution by allowing partial conflict resolution, thus deferring a final resolution. © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

Attracting and retaining women in computer science and engineering: Evaluating the results

Attracting and retaining women in computer science and engin...

引用

114th Annual ASEE Conference and Exposition, 2007

作者： Keathly, David Akl, Robert Garlick, Ryan University of North Texas United States IEEE Computer Society ACM and the UNT Programming Teams IEEE University of North Texas Department of Computer Science and Engineering United States

computer science and engineering communities have been exploring a variety of activities and techniques to attract and retain more students, especially women and minorities, to computer science and computer engineering degree programs1. This paper briefly describes the efforts and results of a plan for actively recruiting young women into undergraduate computer engineering and computer science programs hosted by the University of North Texas (UNT). It also describes a series of activities aimed at improving the retention rate of students already in our programs, particularly during the freshman year. Such recruitment and retention efforts are critical to the country's efforts to increase the number of engineering professionals, and are a priority for the computer science and Engineering (CSE) department at UNT. We initially designed a three-part plan to achieve our recruitment and retention goals: Sponsorship of portable and mobile summer computer engineering robotics camps for middle and high-school women students, coordinating with the regional Girl Scouts councils and other organizations to help with the recruitment;Creation of an Ambassador program using young women currently enrolled in the upper division of current computer science and computer engineering programs as a form of outreach to area high schools and junior colleges;and Expansion of our successful undergraduate mentoring program by using the Ambassador cohort mentioned above as mentors for incoming freshman and first-year transfer women entering our programs. This paper will focus primarily on the summer camp program and present an analysis of the results we have seen to date after 2 years of camp activities. Results from student surveys and parent surveys will be presented. The paper concludes with recommended changes and improvements in the program, as well as a discussion of adaptations that would create programs suitable for implementation at other institutions as well as programs aimed at a dif

关键词： computer science

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：