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

On sequential composition, action prefixes and process prefix

Formal Aspects of Computing 1994年第3期6卷 250-268页

作者： Baeten, J.C.M. Bergstra, J.A. Department of Mathematics and Computer Science Eindhoven University of Technology MB Eindhoven 5600 PO Box 513 Netherlands Programming Research Group University of Amsterdam Amsterdam Netherlands Department of Philosophy Utrecht University Utrecht Netherlands

We illustrate the difference between sequential composition in process algebra axiomatisations like ACP and action prefixing in process calculi like CCS. We define both early and late input in a general framework extending ACP, and consider various subalgebras, some very close to value passing CCS, another one close to CSP. © 1994 BCS.

关键词： ACP Action prefix CCS Process algebra Process calculus Process prefix Sequential composition

来源：评论

学校读者我要写书评

暂无评论

Optics in computer architectures: Basis of WDM, technologies and potentials

Optics in computer architectures: Basis of WDM, technologies...

引用

2nd International Conference on Systems, ICONS 2007

作者： Wang, Y. Kusserrow, T. Irmer, S. Hasse, A. Bartels, M. Dharmarasu, N. Hillmer, H. Börcsök, J. Mikami, O. University of Kassel Kassel Germany Department of Computer Architecture and System Programming University of Kassel Germany Department of Information Telecommunication and Electronics School of Information Science and Technology Tokai University Hiratsuka-shi Japan

ISBN: (纸本)0769528074

We present novel concepts, technologies and potentials of optical data communication, especially for future computer architectures. The WDM (wavelength division multiplexing) and the optical wiring technologies are explained in detail. Experimental results of tunable optical filters, which play a major role in WDM systems, are reported. New concepts for novel optical interconnectors and novel miniaturized lasers for direct generation of green light are proposed as examples for possible next generation components to improve the performance of optical communication based computer architecture. © 2007 IEEE.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

A proof-theoretic approach to logic programming: II. Programs as definitions

引用

Journal of Logic and Computation 1991年第5期1卷 635-660页

作者： Hallnäs, Lars Schroeder-Heister, Peter Programming Methodology Group Department of Computer Science Chalmers University of Technology Sweden Universitä Tübingen 7400 Tübingen Germany University Göteborg 412 96 Göteborg Sweden

We introduce a definitional extension of logic programming by means of an inference schema (Ph), which, in acertain sense, is dual to the (1-P) schema of rule application discussed in Part I. In the operational semantics, this schema is dual to the resolution principle. We prove soundness and completeness for the extended system, discuss the computation of substitutions that this new schema gives rise to, and also consider the notion of negation intrinsic to the system and its relation to negation by failure. © 1991 Oxford University Press.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Training Policy for Privacy-Preserving Logistic Regression in Federated Learning Environments 2

Training Policy for Privacy-Preserving Logistic Regression i...

引用

2nd IEEE International Conference on Federated Learning Technologies and Applications, FLTA 2024

作者： Cortés-Mendoza, Jorge M. Tchernykh, Andrei González-Vélez, Horacio Cloud Competency Centre National College of Ireland Dublin Ireland Computer Science Department CICESE Research Center Ensenada Mexico Institute for System Programming RAS Moscow Russia

ISBN: (纸本)9798350354812

Logistic Regression (LR) is a widely used statistical model for classification problems. However, its training and evaluation in a shared environment increase the possibility of information leaking. A federated LR reduces security issues by using only locally available data for training. In a Federated Learning (FL) environment, LR receives the coefficients of local models to create the federated LR model, which is then distributed to update the local models. The exchange process does not leak confidential information when LR coefficients are encrypted. Homomorphic Encryption (HE) allows the merging of local LR models with privacy preservation (HE-LR). This work presents a novel training policy to reduce the training time with only slightly decreased quality in an FL environment with HE. We analyze the accuracy and time of FL policies with HE-LR that progressively reduce the amount of training data and exchange the LR coefficients in a privacy-preserving manner. The results show that the proposed policy can speed up the training time between 12% and 69%, compared to the traditional FL approach, with an average decrease in accuracy of 1.79% and 1.95%. ©2024 IEEE.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

Flexible Query Answering Systems 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Troels Andreasen Henrik Bulskov Ronald R. Yager Henning Christiansen Henrik Legind Larsen

ISBN: (数字)9783642049576

ISBN: (纸本)9783642049569

This book constitutes the refereed proceedings of the 8th International Conference on Flexible Query Answering Systems, FQAS 2009, held in Roskilde, Denmark, in October 2009. The 57 papers included in this volume were carefully reviewed and selected from 90 submissions. They are structured in topical sections on database management, information retrieval, extraction and mining, ontologies and semantic web, intelligent information extraction from texts, advances in fuzzy querying, personalization, preferences, context and recommendation, and Web as a stream.

关键词： Natural Language Processing (NLP) Information Storage and Retrieval Data Mining and Knowledge Discovery Artificial Intelligence Database Management Information Systems Applications (incl. Internet)

来源：评论

学校读者我要写书评

暂无评论

Real space process algebra

引用

Formal Aspects of Computing 1993年第6期5卷 481-529页

作者： Baeten, J.C.M. Bergstra, J.A. Department of Computer Science Eindhoven University of Technology MB Eindhoven 5600 P.O. Box 513 Netherlands Programming Research Group University of Amsterdam Amsterdam Netherlands Department of Philosophy Utrecht University Utrecht Netherlands

The real time process algebra of Baeten and Bergstra [Formal Aspects of Computing, 3, 142-188 (1991)] is extended to real space by requiring the presence of spatial coordinates for each atomic action, in addition to the required temporal attribute. It is found that asynchronous communication cannot easily be avoided. Based on the state operators of Baeten and Bergstra [Information and Computation, 78, 205-245 (1988)] and following Bergstra et al. [Proc. Seminar on Concurrency, LNCS 197, Springer, 1985, pp. 76-95], asychronous communication mechanisms are introduced as an additional feature of real space process algebra. The overall emphasis is on the introductory explanation of the features of real space process algebra, and characteristic examples are given for each of these. © 1993 BCS.

关键词： Asynchronous communication Broadcasting Priorities Process algebra Real space process algebra Real time process algebra State operator

来源：评论

学校读者我要写书评

暂无评论

A complete semantic back chaining proof system 10th

引用

10th International Conference on Automated Deduction, CADE 1990

作者： Nie, Xumin Plaisted, David A. Department of Computer Science University of North Carolina at Chapel Hill Chapel HillNC27599 United States Institute for Programming and Logics Deparment of Computer Science University of Albany State University of New York AlbanyNY12222 United States

ISBN: (纸本)9783540528852

We discuss a sequent style clause-based proof system that supports several important strategies in automatic theorem proving. The system has a goal-subgoal structure and supports back chaining with caching;it permits semantic deletion, sometimes using multiple models;it is also a genuine set of support strategy;and it is complete for first order logic in clause form. © Springer-Verlag Berlin Heidelberg 1990.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

The Regularization of Small Sub-Constraint Satisfaction Problems 22nd

The Regularization of Small Sub-Constraint Satisfaction Prob...

引用

22nd International Conference on Applications of Declarative programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic programming, WFLP 2019

作者： Löffler, Sven Liu, Ke Hofstedt, Petra Department of Mathematics and Computer Science MINT Programming Languages and Compiler Construction Group Brandenburg University of Technology Cottbus-Senftenberg Konrad-Wachsmann-Allee 5 Cottbus03044 Germany

ISBN: (纸本)9783030467135

This paper describes a new approach on optimization of constraint satisfaction problems (CSPs) by means of substituting sub-CSPs with locally consistent regular membership constraints. The purpose of this approach is to reduce the number of fails in the resolution process, to improve the inferences made during search by the constraint solver by strengthening constraint propagation, and to maintain the level of propagation while reducing the cost of propagating the constraints. Our experimental results show improvements in terms of the resolution speed compared to the original CSPs and a competitiveness to the recent tabulation approach [1, 15]. Besides, our approach can be realized in a preprocessing step, and therefore wouldn’t collide with redundancy constraints or parallel computing if implemented. © 2020, Springer Nature Switzerland AG.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

Modeling of Memory Dependent Derivative Under Three-Phase Lag in Generalized Thermo-Viscoelasticity

引用

International Journal of Applied and Computational Mathematics 2021年第6期7卷 1-20页

作者： Singh, Biswajit Sarkar, Smita Pal Barman, Krishnendu Department of Mathematics Indian Institute of Engineering Science and Technology Shibpur Howrah 711103 West Bengal India Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Paschim Medinipur 721102 West Bengal India

In this study, a new generalized model of thermo-viscoelasticity with three phase-lag (TPL) theory concerning memory-dependent derivative (MDD) theory is emphasized. The governing combined equations of the novel model associated with kernel function and time delay are considered in a two-dimensional semi-infinite space. The bounding surface of the medium is assumed to be free of traction and subjected to time-dependent thermal loading. Using Laplace and Fourier Transform techniques, the problem is transformed from the space–time domain and then solved numerically. Suitable numerical technique is used to find the inversion of Fourier and Laplace transforms. In the simulation, the effects of the time-delay parameter and kernel function on the distributions of the displacement components, stresses and temperature field are studied and represented graphically. The results shows that the presence of TPL, the time-delay and kernel function extensively affect all the distributions. © 2021, The Author(s), under exclusive licence to Springer Nature India Private Limited.

关键词： Laplace and Fourier transform Memory dependent derivative Thermo-viscoelasticity Three phase-lag Vector matrix differential equation

来源：评论

学校读者我要写书评

暂无评论

Dynamics of a predator-prey model with stage-structure on both species and anti-predator behavior

引用

Informatics in Medicine Unlocked 2018年 10卷 50-57页

作者： Mortoja, Sk Golam Panja, Prabir Mondal, Shyamal Kumar Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 W.B. India Department of Applied Science Haldia Institute of Technology Purba Midnapore Haldia 721657 W.B. India

In this paper, we have formulated and studied a stage-structure predator-prey model. Here, we consider stage-structure on both prey as well as predator population which means that the prey population is divided into two sub populations such as juvenile prey and adult prey, on the other hand, the predator population is also divided into two sub populations such as juvenile predator and adult predator. It is assumed that only adult predator have the ability to predation and they consume both juvenile prey as well as adult prey. Here, it is also considered that the growth rate of juvenile prey depends upon the adult prey population i.e., the juvenile prey has no reproduction capability. Also, Holling II and Holling IV response function have been used for the consumption of juvenile prey and adult prey by adult predator respectively. It is also considered two types of factors such as anti-predator behavior and group defense to formulate our proposed model. Mathematically, we have analyzed the positivity and boundedness of solutions, existence of equilibria, stability of the proposed system around these equilibrium points and Hopf bifurcation of interior equilibrium point. Finally, some numerical simulations have been presented to validate our theoretical results. © 2017

关键词： Anti-predator behavior Group defense Holling IV response function Prey-predator model Stability analysis Stage-structure

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：