发布求助
文献互助 智能选刊 最新文献

Computer Science and Applied Mathematics最新文献

筛选
英文 中文
Computability, complexity, and languages - fundamentals of theoretical computer science 可计算性、复杂性和语言——理论计算机科学的基础
Computer Science and Applied Mathematics Pub Date : 2014-09-23 DOI: 10.5860/choice.32-0356
Martin D. Davis, E. Weyuker
{"title":"Computability, complexity, and languages - fundamentals of theoretical computer science","authors":"Martin D. Davis, E. Weyuker","doi":"10.5860/choice.32-0356","DOIUrl":"https://doi.org/10.5860/choice.32-0356","url":null,"abstract":"Preliminaries. Computability: Programs and Computable Functions. Primitive Recursive Functions. A Universal Program. Calculations on Strings. Turing Machines. Processes and Grammars. Classifying Unsolvable Problems. Grammars and Automata: Regular Languages. Context-Free Languages. Context-Sensitive Languages. Logic: Propositional Calculus. Quantification Theory. Complexity: Abstract Complexity. Polynomial Time Computability. Semantics: Approximation Orderings. Denotational Semantics of Recursion Equations. Operational Semantics of Recursion Equations. Suggestions for Further Reading. Subject Index.","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127007157","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 306
Iterative solution of nonlinear equations in several variables 多变量非线性方程的迭代解
Computer Science and Applied Mathematics Pub Date : 2014-09-23 DOI: 10.1137/1.9780898719468
J. Ortega, W. Rheinboldt
{"title":"Iterative solution of nonlinear equations in several variables","authors":"J. Ortega, W. Rheinboldt","doi":"10.1137/1.9780898719468","DOIUrl":"https://doi.org/10.1137/1.9780898719468","url":null,"abstract":"Preface to the Classics Edition Preface Acknowledgments Glossary of Symbols Introduction Part I. Background Material. 1. Sample Problems 2. Linear Algebra 3. Analysis Part II. Nonconstructive Existence Theorems. 4. Gradient Mappings and Minimization 5. Contractions and the Continuation Property 6. The Degree of a Mapping Part III. Iterative Methods. 7. General Iterative Methods 8. Minimization Methods Part IV. Local Convergence. 9. Rates of Convergence-General 10. One-Step Stationary Methods 11. Multistep Methods and Additional One-Step Methods Part V. Semilocal and Global Convergence. 12. Contractions and Nonlinear Majorants 13. Convergence under Partial Ordering 14. Convergence of Minimization Methods An Annotated List of Basic Reference Books Bibliography Author Index Subject Index.","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124928437","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8483
An introduction to mathematical logic and type theory - to truth through proof 介绍数学逻辑和类型论-通过证明的真理
Computer Science and Applied Mathematics Pub Date : 1986-05-01 DOI: 10.1007/978-94-015-9934-4
Peter B. Andrews
{"title":"An introduction to mathematical logic and type theory - to truth through proof","authors":"Peter B. Andrews","doi":"10.1007/978-94-015-9934-4","DOIUrl":"https://doi.org/10.1007/978-94-015-9934-4","url":null,"abstract":"","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117023241","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 761
IMPROVEMENT OF THE BILLING SYSTEM FOR A TELECOMMUNICATION OPERATOR 电信运营商计费系统的改进
Computer Science and Applied Mathematics Pub Date : 1900-01-01 DOI: 10.26661/2786-6254-2023-1-04
K. O. Kirei
{"title":"IMPROVEMENT OF THE BILLING SYSTEM FOR A TELECOMMUNICATION OPERATOR","authors":"K. O. Kirei","doi":"10.26661/2786-6254-2023-1-04","DOIUrl":"https://doi.org/10.26661/2786-6254-2023-1-04","url":null,"abstract":"","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127262120","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
ALGORITHM OF PARALLEL CALCULATIONS IN THE FINITE ELEMENT METHOD 有限元法中的并行计算算法
Computer Science and Applied Mathematics Pub Date : 1900-01-01 DOI: 10.26661/2786-6254-2022-2-08
S. Homeniuk, V. Kozub
{"title":"ALGORITHM OF PARALLEL CALCULATIONS IN THE FINITE ELEMENT METHOD","authors":"S. Homeniuk, V. Kozub","doi":"10.26661/2786-6254-2022-2-08","DOIUrl":"https://doi.org/10.26661/2786-6254-2022-2-08","url":null,"abstract":"","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128405990","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
THERMAL MANAGEMENT OF A SET OF THERMOELECTRIC COOLERS CONNECTED IN PARALLEL IN AN UNEVEN TEMPERATURE FIELD 在不均匀温度场中并联的一组热电冷却器的热管理
Computer Science and Applied Mathematics Pub Date : 1900-01-01 DOI: 10.26661/2786-6254-2023-1-06
V. Zaikov, V. Mescheryakov, Y. Zhuravlov, A. Ustenko
{"title":"THERMAL MANAGEMENT OF A SET OF THERMOELECTRIC COOLERS CONNECTED IN PARALLEL IN AN UNEVEN TEMPERATURE FIELD","authors":"V. Zaikov, V. Mescheryakov, Y. Zhuravlov, A. Ustenko","doi":"10.26661/2786-6254-2023-1-06","DOIUrl":"https://doi.org/10.26661/2786-6254-2023-1-06","url":null,"abstract":"A method of increasing the efficiency of thermoelectric system for providing thermal modes of distributed heat-loaded elements of an on-board information system is considered. It is shown that thermoelectric coolers are most susceptible to thermal effects. In accordance with the reliability model, they are connected in series with heat loaded elements and to a great extent determine their operability. The inclusion of thermoelectric coolers in the feedback loop of a thermal management system places increased demands on the dynamic performance of the coolers. However, dynamics and reliability performance are","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130172860","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
COMPARATIVE TESTING OF APPLICATIONS DEVELOPED BASED ON MONOLITHIC AND MICROSERVICES ARCHITECTURES 基于单片和微服务架构开发的应用程序的比较测试
Computer Science and Applied Mathematics Pub Date : 1900-01-01 DOI: 10.26661/2786-6254-2022-2-05
Y. Lymarenko, V. I. Popivshchyi, V. V. Novak, O. Mikhailutsa, I. Skrypnyk
{"title":"COMPARATIVE TESTING OF APPLICATIONS DEVELOPED BASED ON MONOLITHIC AND MICROSERVICES ARCHITECTURES","authors":"Y. Lymarenko, V. I. Popivshchyi, V. V. Novak, O. Mikhailutsa, I. Skrypnyk","doi":"10.26661/2786-6254-2022-2-05","DOIUrl":"https://doi.org/10.26661/2786-6254-2022-2-05","url":null,"abstract":"","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115832167","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
AN OVERVIEW OF USING GRAPH THEORY IN SOFTWARE SYSTEM DEVELOPMENT AND MAINTENANCE 概述图论在软件系统开发和维护中的应用
Computer Science and Applied Mathematics Pub Date : 1900-01-01 DOI: 10.26661/2413-6549-2022-1-09
D. O. Moskalyk, D. Antoniuk, Tetiana A. Vakaliuk, Ye. V. Ohinskyi, V. V. Kovalevskyi
{"title":"AN OVERVIEW OF USING GRAPH THEORY IN SOFTWARE SYSTEM DEVELOPMENT AND MAINTENANCE","authors":"D. O. Moskalyk, D. Antoniuk, Tetiana A. Vakaliuk, Ye. V. Ohinskyi, V. V. Kovalevskyi","doi":"10.26661/2413-6549-2022-1-09","DOIUrl":"https://doi.org/10.26661/2413-6549-2022-1-09","url":null,"abstract":"","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127299519","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
DECISION-MAKING BY THE GROUP OF EXPERTS REGARDING THE EVALUATION OF PARTICIPANTS OF STATE TENDERS 专家组对国家招标项目参与者的评价作出决策
Computer Science and Applied Mathematics Pub Date : 1900-01-01 DOI: 10.26661/2413-6549-2022-1-11
V. E. Bondarenko, M. Karanfilov
{"title":"DECISION-MAKING BY THE GROUP OF EXPERTS REGARDING THE EVALUATION OF PARTICIPANTS OF STATE TENDERS","authors":"V. E. Bondarenko, M. Karanfilov","doi":"10.26661/2413-6549-2022-1-11","DOIUrl":"https://doi.org/10.26661/2413-6549-2022-1-11","url":null,"abstract":"","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127471896","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
THE PROBLEM OF MINIMIZING DISPERSION 最小化分散的问题
Computer Science and Applied Mathematics Pub Date : 1900-01-01 DOI: 10.26661/2786-6254-2023-1-01
Yu. O. Hryhoriev, L. Kusik
{"title":"THE PROBLEM OF MINIMIZING DISPERSION","authors":"Yu. O. Hryhoriev, L. Kusik","doi":"10.26661/2786-6254-2023-1-01","DOIUrl":"https://doi.org/10.26661/2786-6254-2023-1-01","url":null,"abstract":"","PeriodicalId":444502,"journal":{"name":"Computer Science and Applied Mathematics","volume":"145 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132219161","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信