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

Joint IFIP Wireless and Mobile Networking Conference (WMNC)

作者： Carlos Anastasiades Lukas von Rotz Torsten Braun Institute of Computer Science and Applied Mathematics University of Bern Switzerland Inst. of Comput. Sci. & Appl. Math. Universitat Bern Bern BE CH

ISBN: (纸本)9781509000913

Information-centric networking (ICN) is a promising approach for wireless communication because users can exploit the broadcast nature of the wireless medium to quickly find desired content at nearby nodes. However, wireless multi-hop communication is prone to collisions and it is crucial to quickly detect and react to them to optimize transmission times and avoid spurious retransmissions. Several adaptive retransmission timers have been used in related ICN literature but they have not been compared and evaluated in wireless multi-hop environments. In this work, we evaluate existing algorithms in wireless multi-hop communication. We find that existing algorithms are not optimized for wireless communication but slight modifications can result in considerably better performance without increasing the number of transmitted Interests.

关键词： Wireless communication Communication system security Spread spectrum communication Algorithm design and analysis Delays Throughput Emulation

来源：评论

学校读者我要写书评

暂无评论

OUTPUT-BASED RECEDING HORIZON STABILIZING CONTROL

arXiv

引用

arXiv 2024年

作者： Azmi, Behzad Rodrigues, Sérgio S. Dep. Math. Stat. Univ. Konstanz Universitätstr. 10 KonstanzD-78457 Germany Johann Radon Inst. Comput. Appl. Math. ÖAW Altenbergerstr. 69 Linz4040 Austria

A receding horizon control framework is coupled with a Luenberger observer to construct an output-based control input stabilizing parabolic equations. The actuators and sensors are indicator functions of small subdomains, representing localized actuation and localized measurements. It is shown that, for a class of explicitly given sets of actuators and sensors, we can guarantee the stabilizing property of the constructed input. Results of numerical simulations are presented validating the theoretical findings. Copyright © 2024, The Authors. All rights reserved.

关键词： Actuators

来源：评论

学校读者我要写书评

暂无评论

Modeling human visual object recognition

Modeling human visual object recognition

引用

International Joint Conference on Neural Networks (IJCNN)

作者： S. Edelman H.H. Bulthoff Department of Applied Mathematics and Computer Science Weizmann Institute of Science Rehovot Israel Dept. of Appl. Math. & Comput. Sci. Weizmann Inst. of Sci. Rehovot Israel

The topics discussed here are network models of object recognition; a comput.tional theory of recognition; psychophysical support for a view-interpolation model: and an open issue, features of recognition. The authors survey a successful replication of central characteristics of performance in 3-D object recognition by a comput.tional model based on interpolation among a number of stored views of each object. Network models of 3-D object recognition based on interpolation among specific stored views behave in several respects similarly to human observers in a number of recognition tasks. Even closer replication of human performance in recognition should be expected, once the issue of the features used to represent object views is resolved.< >

关键词： Humans Object recognition Image recognition comput.r networks Biology comput.ng math.matics comput.r science math.matical model Interpolation Image resolution

来源：评论

学校读者我要写书评

暂无评论

Taking it to the limit: on infinite variants of NP-complete problems

Taking it to the limit: on infinite variants of NP-complete ...

引用

Annual Conference on Structure in Complexity Theory

作者： T. Hirst D. Harel Department of Applied Mathematics & Computer Science Weizmann Institute of Science Rehovot Israel Dept. of Appl. Math. & Comput. Sci. Weizmann Inst. of Sci. Rehovot Israel

Infinite, recursive versions of NP optimization problems are defined. For example, MAX CLIQUE becomes the question of whether a recursive graph contains an infinite clique. The work was motivated by trying to understand what makes some NP problems highly undecidable in the infinite case, while others remain on low levels of the arithmetical hierarchy. Two results are proved; one enables using knowledge about the infinite case to yield implications to the finite case, and the other enables implications in the other direction. Taken together, the two results provide a method for proving (finitary) problems to be outside the syntactic class MAX NP, hence outside MAX SNP too. The technique is illustrated with many examples.< >

关键词： NP-complete problem Polynomials math.matics comput.r science Turing machines

来源：评论

学校读者我要写书评

暂无评论

STABILIZATION TO TRAJECTORIES OF NONISOTHERMAL CAHN-HILLIARD EQUATIONS

arXiv

引用

arXiv 2024年

作者： Azmi, Behzad Fritz, Marvin Rodrigues, Sérgio S. Dep. Math. Stat. Univ. Konstanz Universitätstr. 10 KonstanzD-78457 Germany Johann Radon Inst. Comput. Appl. Math. ÖAW Altenbergerstr. 69 Linz4040 Austria

In this work, it is proven the semiglobal exponential stabilization to time-dependent trajectories of the nonisothermal Cahn–Hilliard equations. In the model, the input controls are given by explicit feedback operators that involve appropriate oblique projections. The actuators are given by a finite number of indicator functions. The results also hold for the isothermal Cahn–Hilliard system. Numerical simulations are shown that illustrate the stabilizing performance of the proposed input feedback *** Codes 93D15, 93B52, 93C20, 35K52, 35Q93, 65M22 Copyright © 2024, The Authors. All rights reserved.

关键词： Stabilization

来源：评论

学校读者我要写书评

暂无评论

Automation of Android appl.cations Functional Testing Using Machine Learning Activities Classification

Automation of Android Applications Functional Testing Using ...

引用

International Conference on Mobile Software Engineering and Systems (MOBILESoft)

作者： Ariel Rosenfeld Odaya Kardashov Orel Zang Dept. of Comput. Sci. & Appl. Math. Weizmann Inst. of Sci. Rehovot Rehovot Israel Dept. of Computer Science Bar-Ilan University Ramat-Gan Israel

ISBN: (纸本)9781538661703

Following the ever-growing demand for mobile appl.cations, researchers are constantly developing new test automation solutions for mobile developers. However, researchers have yet to produce an automated functional testing approach, resulting in many developers relying on a resource consuming manual testing. In this paper, we present a novel approach for the automation of functional testing in mobile software by leveraging machine learning techniques and reusing generic test scenarios. Our approach aims at relieving some of the manual functional testing burden by automatically classifying each of the appl.cation's screens to a set of common screen behaviors for which generic test scripts can be inst.ntiated and reused. We empirically demonstrate the potential benefits of our approach in two experiments: First, using 26 randomly selected Android appl.cations, we show that our approach can successfully inst.ntiate and reuse generic functional tests and discover functional bugs. Second, in a human study with two experienced human mobile testers, we show that our approach can automatically cover a large portion of the human testers' work suggesting a significant potential relief in the manual testing efforts.

关键词： Testing Tools Automation User interfaces Mobile appl.cations comput.r bugs Manuals

来源：评论

学校读者我要写书评

暂无评论

Cheating prevention in Visual Cryptographic Schemes using message embedding: A hardware based practical approach

Cheating prevention in Visual Cryptographic Schemes using me...

引用

International Conference on Issues and Challenges in Intelligent comput.ng Techniques (ICICT)

作者： Biswapati Jana Shyamal Kumar Mondal Shannistha Jana Debasis Giri Vidyasagar University Midnapore West Bengal IN Dept. of Appl. Math. with Oceanol. & Comput. Program. Vidyasagar Univ. Paschim Medinipur India Dept. of Math. Midnapore Coll. Paschim Medinipur India Dept. of Comput. Sci. Eng. Haldia Inst. of Technol. Haldia India

This paper attempts to give a hardware based practical overview about cheating prevention of information hiding technique using Steganography and Visual Cryptographic Schemes (VCS). A combined technique have been proposed here, which allows visual information (e.g. printed text, handwritten notes, and images) to be distributed into 'n' secret shares as transparencies and embedding message into share became stego share for share authentication. Finally each of these stego shares embeds into a cover image using hardware module. At the time of recovering the receiver first decode each stego shares from the cover work than extract secret message from share to prevent cheating. The original secret message can be retrieve by overlapping the shares. The proposed encoding and decoding scheme for share generation is implemented in software module and embedding of message into share and stego share into cover image are implemented in hardware-based system for 2-D images.

关键词： Cryptography Discrete wavelet transforms Biological information theory Universal Serial Bus comput.r architecture Airplanes PSNR

来源：评论

学校读者我要写书评

暂无评论

Keynote address I: Sensing issues in the automated monitoring of the quality of drinking water

Keynote address I: Sensing issues in the automated monitorin...

引用

International Conference on comput.r Science & Education (ICCSE)

作者： Clarence W. de Silva Ben M. Chen Houman Owhadi Frank Wang The University of British Columbia Canada UAV Res. Group Nat. Univ. of Singapore Singapore Singapore Appl. & Comput. Math. & Control & Dynamical Syst. California Inst. of Technol. Pasadena CA USA IEEE Comput. Soc. Univ. of Kent Canterbury UK

These keynote speeches discuss the following: Sensing issues in the automated monitoring of the quality of drinking water; Unmanned systems research and education at National University of Singapore; Can discovery be ...

关键词：

来源：评论

学校读者我要写书评

暂无评论

Adaptive Synchronization Between Hyperchaotic Lorenz System and Chen System

Adaptive Synchronization Between Hyperchaotic Lorenz System ...

引用

International Conference on comput.tional Intelligence and Security

作者： Francis Austin Chen Xu Jian-wen Feng Wei-qiang Zhang Dept. of Appl. Math. Hong Kong Polytech. Univ. Kowloon China Inst. of Intell. Comput. Sci. Shenzhen Univ. Shenzhen China Hong Kong Polytechnic University Kowloon HK

This paper introduces the chaos synchronization between two different hyperchaotic systems with fully unknown parameters, i. e. the synchronization between hyperchaotic Lorenz system and hyperchaotic Chen system. Based on the Lyapunov stability theory, an adaptive control law is derived for the case when the parameters of the drive and response systems to be synchronized are fully uncertain. Finally, numerical simulation results are presented to show the effectiveness of the techniques.

关键词： Chaotic communication Adaptive control Control systems comput.tional intelligence Lyapunov method Numerical simulation Security Competitive intelligence math.matics Optical arrays

来源：评论

学校读者我要写书评

暂无评论

Sensitivity kernels of finite‐frequency travel times in ocean acoustic tomography

引用

The Journal of the Acoustical Society of America 2004年第5_SUPPLEMENT期115卷 2617-2617页

作者： Emmanuel K. Skarsoulis Bruce D. Cornuelle Inst. of Appl. and Comput. Math. FORTH 711 10 Heraklion Crete Greece Scripps Inst. of Oceanogr. La Jolla CA 92093

Wave theoretic modeling is appl.ed to obtain travel‐time sensitivity kernels representing the amount by which travel times are affected by localized sound‐speed variations anywhere in the medium. In the ray approximation travel times are sensitive to medium changes only along the corresponding eigenrays. In the wave‐theoretic approach the perturbations of peak arrival times are expressed in terms of pressure perturbations, which are further related with the underlying sound‐speed perturbations using the first Born approximation. In this way, an integral representation of travel‐time perturbations is obtained in terms of sound‐speed perturbations; the associated kernel represents the spatial sensitivity of travel times to sound‐speed perturbations. The appl.cation of the travel‐time sensitivity kernel to an ocean acoustic waveguide gives a picture close to the ray‐theoretic one in the high‐frequency case but significantly differs at lower frequencies. Low‐frequency travel times are sensitive to sound‐speed changes in areas surrounding the eigenrays, but not on the eigenrays themselves, where the sensitivity is zero. Further, there are areas of positive sensitivity, where, e.g., a sound‐speed increase results in a counter‐intuitive increase of arrival times. These findings are confirmed by independent forward calculations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：