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

Lietuvos Matematikos Rinkinys最新文献

筛选
英文 中文
Netolygūs įverčiai puasoninėje aproksimacijoje 泊松近似中的非均匀估计
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30801
Kazimieras Padvelskis
{"title":"Netolygūs įverčiai puasoninėje aproksimacijoje","authors":"Kazimieras Padvelskis","doi":"10.15388/lmr.2006.30801","DOIUrl":"https://doi.org/10.15388/lmr.2006.30801","url":null,"abstract":"Poisson approximation for the sum of independent random variables is investigates in this paper.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136238099","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
On the Mellin transforms of the fourth power of the Riemann zeta-function 关于黎曼函数的四次方的梅林变换
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30551
Violeta Balinskaitė
{"title":"On the Mellin transforms of the fourth power of the Riemann zeta-function","authors":"Violeta Balinskaitė","doi":"10.15388/lmr.2006.30551","DOIUrl":"https://doi.org/10.15388/lmr.2006.30551","url":null,"abstract":"There is not abstract.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136238512","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
Sekvencinis skaičiavimas hibridinei logikai 混合逻辑的顺序计算
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30717
Stanislovas Norgėla, Anželika Šalaviejienė
{"title":"Sekvencinis skaičiavimas hibridinei logikai","authors":"Stanislovas Norgėla, Anželika Šalaviejienė","doi":"10.15388/lmr.2006.30717","DOIUrl":"https://doi.org/10.15388/lmr.2006.30717","url":null,"abstract":"There is not abstract","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136238679","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
Invariance principle for independent random variables with infinite variance 具有无穷方差的独立随机变量的不变性原理
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30795
Mindaugas Juodis
{"title":"Invariance principle for independent random variables with infinite variance","authors":"Mindaugas Juodis","doi":"10.15388/lmr.2006.30795","DOIUrl":"https://doi.org/10.15388/lmr.2006.30795","url":null,"abstract":"A functional central limit theorem for self-normalized adaptive process U−1m,N ζn is considered, where Um,N is a sum of squares of block-sums of size m, as m and the number of blocks N = n/m tend to infinity.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136238699","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
Induktyvinis metodas komponentinių programų sintezėje 综合组件程序的归纳法
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30586
Vaidas Giedrimas
{"title":"Induktyvinis metodas komponentinių programų sintezėje","authors":"Vaidas Giedrimas","doi":"10.15388/lmr.2006.30586","DOIUrl":"https://doi.org/10.15388/lmr.2006.30586","url":null,"abstract":"The automatic programming and automatic software synthesis systems are relevant software engineering research objects. This article presents the prospects of induction as a component-based software synthesis method. The usage of induction in the component-based software synthesis system can solve main synthesis problems: problem of specification, problem of undefined components and problem of non-functional requirements. However using induction synthesis system can lose soundness provided by structural synhesis of programs method. To avoid this any inductive conclusion should be verified.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"145 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136238836","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
Stimuliuojama dinamika ir jos modeliavimas 受激动力学和建模
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30732
Robertas Alzbutas, Vytautas Janilionis
{"title":"Stimuliuojama dinamika ir jos modeliavimas","authors":"Robertas Alzbutas, Vytautas Janilionis","doi":"10.15388/lmr.2006.30732","DOIUrl":"https://doi.org/10.15388/lmr.2006.30732","url":null,"abstract":"There is not abstract.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136239923","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
Sekvencinis skaičiavimas propozicinei tikėtinumo logikai 命题概率逻辑的序列微积分
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30714
Romas Alonderis
{"title":"Sekvencinis skaičiavimas propozicinei tikėtinumo logikai","authors":"Romas Alonderis","doi":"10.15388/lmr.2006.30714","DOIUrl":"https://doi.org/10.15388/lmr.2006.30714","url":null,"abstract":"There is not abstract.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240087","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
Fototranzistorių matematinis modeliavimas 光电晶体管的数学建模
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30733
Julija Anilionienė
{"title":"Fototranzistorių matematinis modeliavimas","authors":"Julija Anilionienė","doi":"10.15388/lmr.2006.30733","DOIUrl":"https://doi.org/10.15388/lmr.2006.30733","url":null,"abstract":"There are presented the model of the phototransistors and evaluated their non-linearity‘s. For simulation non-linearity‘s influence in a signal distortion the functional Voltera series are developed.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240342","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
Reprezentatyvių pavyzdžių specifikavimo kalbų funkcionalumui vertinti konstravimas 构建有代表性的示例来评估规范语言的功能
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.30585
Jelena Gasperovič
{"title":"Reprezentatyvių pavyzdžių specifikavimo kalbų funkcionalumui vertinti konstravimas","authors":"Jelena Gasperovič","doi":"10.15388/lmr.2006.30585","DOIUrl":"https://doi.org/10.15388/lmr.2006.30585","url":null,"abstract":"The paper describes shortly the main principles of representative examples development, provides the essence of the methodology to develop representative examples and an example of its application. The main contribution of the paper is the methodology to develop representative examples that could be used to evaluate the sufficiency of specification language for specification of software system requirements.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136240500","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
Redakcinė kolegija ir turinys 编辑委员会和内容
Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI: 10.15388/lmr.2006.31741
Artūras Štikonas
{"title":"Redakcinė kolegija ir turinys","authors":"Artūras Štikonas","doi":"10.15388/lmr.2006.31741","DOIUrl":"https://doi.org/10.15388/lmr.2006.31741","url":null,"abstract":"","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136102138","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学术文献互助群
群 号：604180095
Book学术官方微信