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

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

来源：评论

学校读者我要写书评

暂无评论

Dynamics of cholera outbreak with bacteriophage and periodic rate of contact

引用

International Journal of Dynamics and Control 2016年第3期4卷 284-292页

作者： Panja, Prabir Mondal, Shyamal Kumar Chattopadhyay, Joydev Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University MidnaporeW.B.721 102 India Agricultural and Ecological Research Unit ISI 203 B.T.Road Kolkata India

In this paper, a cholera epidemic model with periodic transmission rate has been considered and discussed. It is shown that the disease free equilibrium point is globally asymptotically stable and also seen that the cholera disease is disappeared if the basic reproduction number is less than one. When the basic reproduction number is grater than one, then the endemic equilibrium is globally asymptotically stable. Finally, numerical simulations have been given for the existence of the analytical results. © 2015, Springer-Verlag Berlin Heidelberg.

关键词： Bacteriophages

来源：评论

学校读者我要写书评

暂无评论

Strict bidirectional type checking

Strict bidirectional type checking

引用

TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation

作者： Chlipala, Adam Petersen, Leaf Harper, Robert Computer Science Division University of California Berkeley United States Programming Systems Laboratory Intel Corporation United States Computer Science Department Carnegie Mellon University United States

ISBN: (纸本)1581139993

Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, the completely annotated forms are almost never used in practice, since partially annotated forms can be defined which still allow syntax directed type checking. An additional optimization that is used in some proof and type systems is to take advantage of the context of occurrence of terms to further elide type information using bidirectional type checking rules. While this technique is generally effective, we show that there exist bidirectional terms which exhibit asymptotic increases in the size of their type decorations when sequentialized into a named-form calculus (a common first step in compilation). In this paper, we introduce a refinement of the bidirectional type system based on strict logic which allows additional type decorations to be eliminated, and show that it is well-behaved under sequentialization. Copyright 2005 ACM.

关键词： Information theory

来源：评论

学校读者我要写书评

暂无评论

XML to DRF scientific data transformation

XML to DRF scientific data transformation

引用

作者： Gancheva, Veska Department of Programming and Computer Technologies Technical University of Sofia 8 Kliment Ohridski Boul. 1756 Sofia Bulgaria

ISBN: (纸本)9789604742974

Data obtained from the scientific experiments are heterogeneous and distributed. They are stored in different file formats so it is difficult to be integrated, analyzed, and processed. The aim of this paper is to propose an ontology dependent approach to transform XML based scientific data description into RDF instances in order to using them as a complete resource on the Semantic Web. The transforming process includes: establishing an ontology describing the data semantic and links between the elements of the output RDF file;establishing a mapping document defining the relationship between the input XML Schema file and the OWL ontology. The proposed approach has been verified successfully as web service implementation utilizing specific scientific experimental data.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Sheffer stroke operation on L-algebras via an algorithmic approach

引用

Soft Computing 2024年第19期28卷 10801-10813页

作者： Gürsoy, Necla Kırcalı Öner, Tahsin Gürsoy, Arif Ülker, Alper Department of Computer Programming Ege Vocational School Ege University İzmir Bornova35100 Turkey Department of Mathematics Ege University İzmir Bornova35100 Turkey Department of Mathematics and Computer Science İstanbul Kültür University Bakırköy Istanbul34156 Turkey Izmir Biomedicine and Genome Center İzmir Balçova35340 Turkey

In this study, we introduce the Sheffer stroke L-algebra and prove some fundamental theorems, propositions and lemmas of Sheffer Stroke L-algebras. The notions of filter and ultrafilter for Sheffer stroke L-algebra are studied. We give subalgebra and normal subset definitions of a Sheffer stroke L-algebras. Moreover, a homomorphism between Sheffer stroke L-algebras is introduced and isomorphism theorems are presented. Finally, we give three new algorithms for Sheffer stroke L-algebras. Thus, it is contributed to researchers on different application areas by presenting an algorithmic approach on this subject, for the first time in the literature. © The Author(s) 2024.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Al-Biruni Earth Radius Optimization for COVID-19 Forecasting

引用

computer Systems Science & Engineering 2023年第7期46卷 883-896页

作者： El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Abdelhameed Ibrahim Mostafa Abotaleb Tatiana Makarovskikh Amal H.Alharbi Doaa Sami Khafaga Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams University11566CairoEgypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura University35516MansouraEgypt Department of System Programming South Ural State University454080ChelyabinskRussia Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia

Several instances of pneumonia with no clear etiology were recorded in Wuhan,China,on December 31,*** world health organization(WHO)called it COVID-19 that stands for“Coronavirus Disease 2019,”which is the second version of the previously known severe acute respiratory syndrome(SARS)Coronavirus and identified in short as(SARSCoV-2).There have been regular restrictions to avoid the infection spread in all countries,including Saudi *** prediction of new cases of infections is crucial for authorities to get ready for early handling of the virus ***:Analysis and forecasting of epidemic patterns in new SARSCoV-2 positive patients are presented in this research using metaheuristic optimization and long short-term memory(LSTM).The optimization method employed for optimizing the parameters of LSTM is Al-Biruni Earth Radius(BER)***:To evaluate the effectiveness of the proposed methodology,a dataset is collected based on the recorded cases in Saudi Arabia between March 7^(th),2020 and July 13^(th),*** addition,six regression models were included in the conducted experiments to show the effectiveness and superiority of the proposed *** achieved results show that the proposed approach could reduce the mean square error(MSE),mean absolute error(MAE),and R^(2)by 5.92%,3.66%,and 39.44%,respectively,when compared with the six base *** the other hand,a statistical analysis is performed to measure the significance of the proposed ***:The achieved results confirm the effectiveness,superiority,and significance of the proposed approach in predicting the infection cases of COVID-19.

关键词： COVID-19 prediction meta-heuristic optimization LSTM Al-Biruni earth radius algorithm

来源：评论

学校读者我要写书评

暂无评论

Hybrid Grey Wolf and Dipper Throated Optimization in Network Intrusion Detection Systems

引用

computers, Materials & Continua 2023年第2期74卷 2695-2709页

作者： Reem Alkanhel Doaa Sami Khafaga El-Sayed M.El-kenawy Abdelaziz A.Abdelhamid Abdelhameed Ibrahim Rashid Amin Mostafa Abotaleb B.M.El-den Department of Information Technology College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Communications and Electronics Delta Higher Institute of Engineering and TechnologyMansoura35111Egypt Department of Computer Science Faculty of Computer and Information SciencesAin Shams UniversityCairo11566Egypt Department of Computer Science College of Computing and Information TechnologyShaqra University11961Saudi Arabia Computer Engineering and Control Systems Department Faculty of EngineeringMansoura UniversityMansoura35516Egypt Department of Computer Science University of Engineering and TechnologyTaxilaPakistan Department of System Programming South Ural State UniversityChelyabinsk454080Russia

The Internet of Things(IoT)is a modern approach that enables connection with a wide variety of devices *** to the resource constraints and open nature of IoT nodes,the routing protocol for low power and lossy(RPL)networks may be vulnerable to several routing ***’s why a network intrusion detection system(NIDS)is needed to guard against routing assaults on RPL-based IoT *** imbalance between the false and valid attacks in the training set degrades the performance of machine learning employed to detect network ***,we propose in this paper a novel approach to balance the dataset classes based on metaheuristic optimization applied to locality-sensitive hashing and synthetic minority oversampling technique(LSH-SMOTE).The proposed optimization approach is based on a new hybrid between the grey wolf and dipper throated optimization *** prove the effectiveness of the proposed approach,a set of experiments were conducted to evaluate the performance of NIDS for three cases,namely,detection without dataset balancing,detection with SMOTE balancing,and detection with the proposed optimized LSHSOMTE *** results showed that the proposed approach outperforms the other approaches and could boost the detection *** addition,a statistical analysis is performed to study the significance and stability of the proposed *** conducted experiments include seven different types of attack cases in the RPL-NIDS17 *** on the 2696 CMC,2023,vol.74,no.2 proposed approach,the achieved accuracy is(98.1%),sensitivity is(97.8%),and specificity is(98.8%).

关键词： Metaheuristics grey wolf optimization dipper throated optimization dataset balancing locality sensitive hashing SMOTE

来源：评论

学校读者我要写书评

暂无评论

Staff planning and scheduling in accordance with flexible working hours in the scope of work-life balance and development of prototype software 44

Staff planning and scheduling in accordance with flexible wo...

引用

Joint International Symposium on "The Social Impacts of Developments in Information, Manufacturing and Service Systems" 44th International Conference on computers and Industrial Engineering, CIE 2014 and 9th International Symposium on Intelligent Manufacturing and Service Systems, IMSS 2014

作者： Koruca, Halil Ibrahim Çayirli, Muhammed ÖzdemIr, Gültekin Burhan, Mustafa Emrah Department of Industrial Engineering Engineering Faculty Suleyman Demirel University Isparta Turkey Department of Computer Technology and Programming Suleyman Demirel University Keciborlu MYO Isparta Turkey

Work-life balance (WLB) can be described as the fulfillment of the duties and responsibilities of workers in their private and business lives in addition to minimizing the conflicts between business and private lives. This can be achieved with self-scheduling of workers only by allocating fair time for private life as well as work life. In enterprises, the workers demand, starting time and working hours of a job can vary according to the nature of the job done and quantitative and qualitative characteristics of workers. The main idea of this study is to develop a method which is balancing between work and private life by considering a self-scheduled working plan regulated systematical as far as weekly or monthly determining qualities and quantities of doctors and nurses to fulfill the needs for different departments of a hospital, considering the number of patients at different hours of a day. In this study, a prototype software was developed to fulfil the requirement of workers and enterprises for balancing work-life considering demands of workers and employers. The developed software can record the numbers and attributes of required personnel to a database according to daily, weekly or monthly demands. The current numbers and attributes of workers then requirements of the employer are entered into the database. Then, workers can choose their work times by considering day and hours from this database. The developed software reconciles the needs of the enterprise and personnel demands with synchronizing the needed working hours of enterprise and selection of personnel. Work assignments are done by personnel requests. Personnel decides their own working time so that monthly and weekly schedules can be obtained. The software is coded in Ms C# programming language and is applied in a hospital. The personnel demands which changes monthly, weekly and different working hours in a day can be assigned by considering doctors and nurses requests' with the help of developed so

关键词： Hospitals

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：