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

7th International Workshop on Satisfiability Checking and Symbolic Computation Square Workshop, SC-Square 2022

作者： Uncu, Ali K. Davenport, James H. England, Matthew Austrian Academy of Science Johann Radon Institute for Computational and Applied Mathematics Linz Austria University of Bath Faculty of Science Department of Computer Science Bath United Kingdom Coventry University Research Centre for Computational Science and Mathematical Modelling Coventry United Kingdom

This paper accompanies a new dataset of non-linear real arithmetic problems for the SMT-LIB benchmark collection. The problems come from an automated proof procedure of Gerhold-Kauers, which is well suited for solution by SMT. The problems of this type have not been tackled by SMT-solvers before. We describe the proof technique and give one new such proof to illustrate it. We then describe the dataset and the results of benchmarking. The benchmarks on the new dataset are quite different to the existing ones. The benchmarking also brings forward some interesting debate on the use/inclusion of rational functions and algebraic numbers in the SMT-LIB. © 2023 CEUR-WS. All rights reserved.

关键词： Rational functions

来源：评论

学校读者我要写书评

暂无评论

Edge-Parallel Graph Encoder Embedding

Edge-Parallel Graph Encoder Embedding

引用

IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW)

作者： Ariel Lubonja Cencheng Shen Carey Priebe Randal Burns Department of Computer Science Johns Hopkins University Department of Applied Economics and Statistics University of Delaware Department of Applied Mathematics and Statistics Johns Hopkins University

ISBN: (数字)9798350364606

ISBN: (纸本)9798350364613

New algorithms for embedding graphs have reduced the asymptotic complexity of finding low-dimensional representations. One-Hot Graph Encoder Embedding (GEE) uses a single, linear pass over edges and produces an embedding that converges asymptotically to the spectral embedding. The scaling and performance benefits of this approach have been limited by a serial implementation in an interpreted language. We refactor GEE into a parallel program in the Ligra graph engine that maps functions over the edges of the graph and uses lock-free atomic instructions to prevent data races. On a graph with 1.8B edges, this results in a 500 times speedup over the original implementation and a 17 times speedup over a just-in-time compiled version.

关键词： Distributed processing Graph convolutional networks Conferences programming Encoding Complexity theory Engines

来源：评论

学校读者我要写书评

暂无评论

Security framework for IoT and deep belief network-based healthcare system using blockchain technology

引用

International Journal of Electronic Business 2022年第3期17卷 226-243页

作者： Nagarajan, Senthil Murugan Anandhan, Prathik Muthukumaran, V. Uma, K. Kumaran, U. School of Computer Science and Engineering VIT-AP University Andhra Pradesh Amaravati India Department of Computer Science and Engineering Vel Tech Rangarajan Dr. Sagunthala R&D Institute of Science and Technology Chennai India Department of Mathematics School of Applied Sciences REVA University Bengaluru India School of Advance Sciences Vellore Institute of Technology Vellore India Department of Computer Science and Engineering Amrita Vishwa Vidyapeetham Bengaluru India

Nowadays, the computerisation and information systems need very fast, easier and secure data analysis models. So, blockchain technology and deep learning concepts play important roles for data security and analysis in field of healthcare applications. Blockchain technology has optimal reliability in various sectors like healthcare, security, information management, smart home, etc. In this paper, blockchain technology is used for the healthcare system to provide a secure and reliable data transmission. Furthermore, IoT-based wearable devices are used to collect the data from the patients. Moreover, deep belief network (DBN) is proposed to classify the obtained data in order to predict the type of disease or problems of the patients. The experimental results shows that the proposed framework and classification model abruptly outperforms when compared with other existing techniques. The efficiency of the proposed framework is analysed based on the performance metrics like throughput and latency. The obtained loss ratio for the proposed model seems very less of 0.0126 when compared with other existing techniques like MLP, SVM, ANN, and CNN. The accuracy obtained for the proposed DBN classifier is above 95% for the increase in the number of patients. Copyright © 2022 Inderscience Enterprises Ltd.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

GEOMETRY-DRIVEN DESIGN OF MORPHABLE SURFACE STRUCTURES USING TOPOLOGY OPTIMIZATION AND CIRCLE PACKING

GEOMETRY-DRIVEN DESIGN OF MORPHABLE SURFACE STRUCTURES USING...

引用

ASME 2024 International Design Engineering Technical Conferences and computers and Information in Engineering Conference, IDETC-CIE 2024

作者： Gao, Lingfeng Zhu, Xiaoping Tanaka, Masato Song, Yuyang Zhou, Yuqing Gu, Xianfeng David Chen, Shikui Department of Mechanical Engineering Denmark Department of Computer Science United States Department of Applied Mathematics & Statistics State University of New York Stony BrookNY11794 United States Toyota Research Institute of North America Ann ArborMI48105 United States

ISBN: (纸本)9780791888414

This paper presents a new computational framework for the co-optimization and co-control of morphable surface structures using topology optimization and circle-packing algorithms. The proposed approach integrates the design of optimized compliant components and the system-level control of the overall surface morphology. By representing the surface shape using circle packing and leveraging conformal mapping, the framework enables smooth deformation between 2D and 3D shapes while maintaining local geometry and global morphology. The morphing surface design problem is recast as designing circular compliant actuators using level-set topology optimization with displacements and stiffness objectives. The optimized component designs are then mapped back onto the circle packing representation for coordinated control of the surface morphology. This integrated approach ensures compatibility between local and global geometries and enables efficient actuation of the morphable surface. The effectiveness of the proposed framework is demonstrated through numerical examples and physical prototypes, showcasing its ability to design and control complex morphable surfaces with applications in various fields. The co-optimization and co-control capabilities of the framework are verified, highlighting its potential for realizing advanced morphable structures with optimized geometries and coordinated actuation. This integrated approach goes beyond conventional methods by considering both local component geometry and global system morphology and enabling coordinated control of the morphable surface. The general nature of our approach makes it applicable to a wide range of problems involving the design and control of morphable structures with complex, adaptive geometries. Copyright © 2024 by ASME.

关键词： Conformal mapping

来源：评论

学校读者我要写书评

暂无评论

Problems in Video Conferencing-Mediated Teaching: Experiences of Three User Roles of a University in Bangladesh

Problems in Video Conferencing-Mediated Teaching: Experience...

引用

Advances in Computing,Communication, Electrical, and Smart Systems (iCACCESS), International Conference on

作者： Nafees Mansoor Anatte Rozario Muhammad Golam Kibria Md Saifuddin Khalid Department of Computer Science and Engineering University of Liberal Arts Bangladesh Department of Applied Mathematics and Computer Science Technical University of Denmark (DTU) Kongens Lyngby Denmark

Video-conferencing systems (VCS) became a defacto tool for online and hybrid teaching during COVID-19 and the gradual return to physical classrooms. As part of the EdViCon Erasmus+ project, towards defining the scenarios for improving teaching with additional portable tools by university teachers, this study reports users' problems in the context of the University of Liberal Arts Bangladesh (ULAB). Classroom observations, problem-tree analysis, interviews, and focus-group discussions with academics, e-learning and IT consultants, and students provide different perspectives on the central problems, underlying causes, and the effects of VCS use during live teaching sessions. While teachers emphasized the lack of resources and technical barriers, students' problem statement focused on the reduced quality of interactions due to the differences between VCS-mediated and physical classrooms, and the IT & e-learning professionals emphasized technological issues (audio, tone, lack of facial expression etc.), lack of collaboration, and differences in expectations among participants. The central contribution of this paper is three diagrams showing problem tree analysis from the perspectives of the three roles. Each of the causes, effects, and problem statements will be considered as point-of-view statements for generating ideas for supporting hardware and software tools and training on technology and pedagogy,

关键词：

来源：评论

学校读者我要写书评

暂无评论

Transfer Learning for Reservoir Computing Using a Semiconductor Laser

Transfer Learning for Reservoir Computing Using a Semiconduc...

引用

2024 Laser science, LS 2024

作者： Uchida, Atsushi Sakamaki, Rie Inubushi, Masanobu Kanno, Kazutaka Department of Information and Computer Sciences Saitama University 255 Shimo-okubo Sakura-ku Saitama Saitama City338-8570 Japan Department of Applied Mathematics Tokyo University of Science 1-3 Kagurazaka Shinjuku-ku Tokyo162-8601 Japan

We perform transfer learning for photonic reservoir computing using a semiconductor laser. We demonstrate a task for the inference of one variable in chaotic laser dynamics whose parameter value is changed from the tr... 详细信息

关键词： Semiconductor lasers

来源：评论

学校读者我要写书评

暂无评论

A class of evolutionary history-dependent variational-hemivariational inequalities with strong and weak solutions

引用

SeMA Journal 2024年 1-25页

作者： Migórski, Stanisław Dudek, Sylwia School of Science Southwest Petroleum University Chengdu 610500 China Chair of Optimization and Control Jagiellonian University in Krakow ul. Lojasiewicza 6 Krakow 30348 Poland Department of Applied Mathematics Faculty of Computer Science and Telecommunications Krakow University of Technology ul. Warszawska 24 Krakow 31155 Poland

In this paper we examine the well-posedness of evolutionary variational-hemivariational inequalities involving a constraint set and history-dependent operators. The strong and weak formulations of such inequalities are studied. First, the existence and uniqueness of solutions to both formulations are proved, and results on the dependence of solution on functional parameters are delivered. Next, the well-posedness is established for a general form of history-dependent variational-hemivariational inequalities with constraints by using a fixed point theorem. Finally, the results are applied to a dynamic frictional contact problem in viscoelasticity in which the contact is described by Signorini-type unilateral boundary condition with a nonmonotone Clarke’s relation. © The Author(s) 2024.

关键词： 35K86 49J20 49J53 74M15 Fixed point Frictional contact problem Strong and weak formulations Unilateral constraint Variational-hemivariational inequality

来源：评论

学校读者我要写书评

暂无评论

LOCAL MALA-WITHIN-GIBBS FOR BAYESIAN IMAGE DEBLURRING WITH TOTAL VARIATION PRIOR

arXiv

引用

arXiv 2024年

作者： Flock, Rafael Liu, Shuigen Dong, Yiqiu Tong, Xin T. Department of Applied Mathematics and Computer Science Technical University of Denmark Denmark National University of Singapore Singapore

We consider Bayesian inference for image deblurring with total variation (TV) prior. Since the posterior is analytically intractable, we resort to Markov chain Monte Carlo (MCMC) methods. However, since most MCMC methods significantly deteriorate in high dimensions, they are not suitable to handle high resolution imaging problems. In this paper, we show how low-dimensional sampling can still be facilitated by exploiting the sparse conditional structure of the posterior. To this end, we make use of the local structures of the blurring operator and the TV prior by partitioning the image into rectangular blocks and employing a blocked Gibbs sampler with proposals stemming from the Metropolis-Hastings adjusted Langevin Algorithm (MALA). We prove that this MALA-within-Gibbs (MLwG) sampling algorithm has dimension-independent block acceptance rates and dimension-independent convergence rate. In order to apply the MALA proposals, we approximate the TV by a smoothed version, and show that the introduced approximation error is evenly distributed and dimension-independent. Since the posterior is a Gibbs density, we can use the Hammersley-Clifford Theorem to identify the posterior conditionals which only depend locally on the neighboring blocks. We outline computational strategies to evaluate the conditionals, which are the target densities in the Gibbs updates, locally and in parallel. In two numerical experiments, we validate the dimension-independent properties of the MLwG algorithm and demonstrate its superior performance over *** Codes 62F15, 68U10, 60J22 © 2024, CC BY.

关键词： Markov chains

来源：评论

学校读者我要写书评

暂无评论

Improved Gevrey-1 estimates of formal series expansions of center manifolds

arXiv

引用

arXiv 2024年

作者： Kristiansen, Kristian Uldall Department of Applied Mathematics and Computer Science Technical University of Denmark Kgs. Lyngby2800 Denmark

In this paper, we show that the coefficients n of the formal series expansions ∑∞n=1 nxn ∈ xℂ[[x]] of center manifolds of planar analytic saddle-nodes grow like Γ(n+a) (after rescaling x) as n → ∞. Here the quantity a is the formal analytic invariant associated with the saddle-node (following the work of J. Martinet and J.-P. Ramis). This growth property of n, which is optimal, was recently (2024) described for a restricted class of nonlinearities by the present author in collaboration with P. Szmolyan. This joint work was in turn inspired by the work of Merle, Raphaël, Rodnianski, and Szeftel (2022), which described the growth of the coefficients for a system related to self-similar solutions of the compressible Euler. In the present paper, we combine the previous approaches with a Borel-Laplace approach. Specifically, we adapt the Banach norm of Bonckaert and De Maesschalck (2008) in order to capture the singularity in the complex plane. Finally, we apply the result to a family of Riccati equations and obtain a partial classification of the analytic center manifolds. Copyright © 2024, The Authors. All rights reserved.

关键词： Riccati equations

来源：评论

学校读者我要写书评

暂无评论

Evaluating the spike in the symptomatic proportion of SARS-CoV-2 in China in 2022 with variolation effects:a modeling analysis

引用

Infectious Disease Modelling 2024年第2期9卷 601-617页

作者： Salihu S.Musa Shi Zhao Ismail Abdulrashid Sania Qureshi Andrés Colubri Daihai He Department of Genomics and Computational Biology University of Massachusetts Chan Medical SchoolWorcesterMA01605USA Department of Applied Mathematics Hong Kong Polytechnic UniversityHong Kong SARChina Department of Mathematics Aliko Dangote University of Science and TechnologyKanoNigeria School of Public Health Tianjin Medical UniversityTianjin300070China School of Finance and Operations Management The University of Tulsa800 South Tucker Dr.TulsaOK74104USA Department of Basic Sciences and Related Studies Mehran University of Engineering and Tech.JamshoroPakistan Department of Computer Science and Mathematics Lebanese American UniversityBeirutLebanon

Despite most COVID-19 infections being asymptomatic,China's Mainland had a high increase in symptomatic cases at the end of *** this study,we examine China's sudden COVID-19 symptomatic surge using a conceptual SIR-based *** model considers the epidemiological characteristics of SARS-CoV-2,particularly variolation,from non-pharmaceutical intervention(facial masking and social distance),demography,and disease mortality in China's *** increase in symptomatic proportions in China may be attributable to(1)higher sensitivity and vulnerability during winter and(2)enhanced viral inhalation due to spikes in SARS-CoV-2 infections(high transmissibility).These two reasons could explain China's high symptomatic proportion of COVID-19 in December *** study,therefore,can serve as a decision-support tool to enhance SARS-CoV-2 prevention and control ***,we highlight that facemask-induced variolation could potentially reduces transmissibility rather than severity in infected ***,further investigation is required to understand the variolation effect on disease severity.

关键词： SARS-CoV-2 Epidemic Epidemiological modeling Reproduction number Variolation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：