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

11th IEEE Global Conference on Consumer Electronics, GCCE 2022

作者： Isozaki, Atsushi Fukae, Kazuki Arai, Kenichi Kobayashi, Toru Nakamura, Masahide Nagasaki University Computer and Information Science Program Graduate School of Engineering Nagasaki Japan Nagasaki University Division of Electrical Engineering and Computer Science Graduate School of Engineering Nagasaki Japan Kobe University Center of Mathematical and Data Sciences Hyogo Japan

ISBN: (纸本)9781665492324

This study is related to a system that enables elderly people to communicate interactively with young people who use existing message exchange services by simply speaking to an avatar on a tablet PC, without having to perform complicated operations of the tablet PC. On the other hand, the young people side can bring in elderly people who could not previously participate in existing message exchange services groups. The effectiveness of the system was verified through demonstration experiments with two households consisting of elderly people in their 80s. © 2022 IEEE.

关键词： Personal computers

来源：评论

学校读者我要写书评

暂无评论

Tm-doped Chirped-pulse-amplification Fiber Laser System at 1.9 μm

Tm-doped Chirped-pulse-amplification Fiber Laser System at 1...

引用

2023 Conference on Lasers and Electro-Optics, CLEO 2023

作者： Xu, Shutao Turnali, Ahmet Lim, Timothy Sander, Michelle Y. Department of Electrical and Computer Engineering BU Photonics Center Boston University BostonMA02215 United States Division of Materials Science and Engineering Boston University BrooklineMA02446 United States Department of Biomedical Engineering Boston University BostonMA02215 United States

We report a high-energy Tm-doped chirped-pulse-amplification fiber laser system seeded by dissipative solitons at 1902 nm. The system provides output pulses with a pulse energy of 120 nJ and a pulse duration of 940 fs... 详细信息

ISBN: (纸本)9781957171258

关键词： Fiber lasers

来源：评论

学校读者我要写书评

暂无评论

Experimental demonstration of SnO_(2) nanofiber-based memristors and their data-driven modeling for nanoelectronic applications

引用

Chip 2023年第4期2卷 142-153页

作者： Soumi Saha Madadi Chetan Kodand Reddy Tati Sai Nikhil Kaushik Burugupally Sanghamitra DebRoy Akshay Salimath Venkat Mattela Surya Shankar Dan Parikshit Sahatiya Department of Electrical&Electronics Engineering Birla Institute of Technology and Science PilaniHyderabad CampusHyderabad 500078India Department of Computer Science and Information Systems Birla Institute of Technology and Science PilaniHyderabad CampusHyderabad 500078India Nanomagnetic Division Ceremorphic India Pvt LtdIndia Ceremorphic Inc.San JoseCA 95131USA

This paper demonstrated the fabrication,characterization,datadriven modeling,and practical application of a 1D SnO_(2)nanofiber-based memristor,in which a 1D SnO_(2)active layer wassandwiched between silver(Ag)and aluminum(Al)*** yielded a very high ROFF:RON of~104(ION:IOFF of~105)with an excellent activation slope of 10 mV/dec,low set voltage ofVSET~1.14 V and good *** paper physically explained the conduction mechanism in the layered SnO_(2)*** conductive network was composed of nanofibersthat play a vital role in the memristive action,since more conductive paths could facilitate the hopping of electron *** structures experimentally extracted with the adoption of ultraviolet photoelectron spectroscopy strongly support the claimsreported in this *** machine learning(ML)–assisted,datadriven model of the fabricated memristor was also developedemploying different popular algorithms such as polynomialregression,support vector regression,k nearest neighbors,andartificial neural network(ANN)to model the data of the *** have proposed two types of ANN models(type I andtype II)algorithms,illustrated with a detailed flowchart,to modelthe fabricated *** with standard ML techniques shows that the type II ANN algorithm provides the bestmean absolute percentage error of 0.0175 with a 98%R^(2)*** proposed data-driven model was further validated with the characterization results of similar new memristors fabricated adoptingthe same fabrication recipe,which gave satisfactory ***,the ANN type II model was applied to design and implementsimple AND&OR logic functionalities adopting the fabricatedmemristors with expected,near-ideal characteristics.

关键词： Nanofiber-based memristors Data-driven modeling Artificial neural network(ANN) SnO_(2)

来源：评论

学校读者我要写书评

暂无评论

Enhancing Geometric Ontology Embeddings for EL++ with Negative Sampling and Deductive Closure Filtering

arXiv

引用

arXiv 2024年

作者： Mashkova, Olga Zhapa-Camacho, Fernando Hoehndorf, Robert Computer Science Program Computer Electrical and Mathematical Sciences & Engineering Division King Abdullah University of Science and Technology Thuwal23955 Saudi Arabia

Ontology embeddings map classes, relations, and individuals in ontologies into Rn, and within Rn similarity between entities can be computed or new axioms inferred. For ontologies in the Description Logic EL++, several embedding methods have been developed that explicitly generate models of an ontology. However, these methods suffer from some limitations;they do not distinguish between statements that are unprovable and provably false, and therefore they may use entailed statements as negatives. Furthermore, they do not utilize the deductive closure of an ontology to identify statements that are inferred but not asserted. We evaluated a set of embedding methods for EL++ ontologies based on high-dimensional ball representation of concept descriptions, incorporating several modifications that aim to make use of the ontology deductive closure. In particular, we designed novel negative losses that account both for the deductive closure and different types of negatives. We demonstrate that our embedding methods improve over the baseline ontology embedding in the task of knowledge base or ontology completion. © 2024, CC BY.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Constructive Function Approximation with Local Models

Constructive Function Approximation with Local Models

引用

Mediterranean Conference on Control and Automation (MED)

作者： Christos N. Mavridis Karl Henrik Johansson Division of Decision and Control Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Stockholm

ISBN: (数字)9798350395440

ISBN: (纸本)9798350395457

We introduce a constructive function approximation approach as a general tool, particularly useful in adaptive and data-driven methods for perception and control. The key idea is to estimate of a collection of simple local models as opposed to a single and complex regression model trained in the entire input space. We use principles from the Online Deterministic Annealing (ODA) optimization framework to construct an adaptive partition of the input space, which enables the introduction of local function approximation models within each subset of the partition. We show that both the partitioning and the local model training algorithms are stochastic approximation algorithms that operate online, and with the same observations, as part of a two-timescale stochastic approximation scheme. This process constitutes a heuristic method to gradually increase the complexity of the function approximation framework in a task-agnostic manner, giving emphasis to regions of the input space where the regression error is high. As a result this framework has inherent explainability properties, and is suitable for continuous learning applications where regression improvement without retraining from scratch is crucial. Simulation results illustrate the properties of the proposed approach.

关键词： Training Adaptation models Simulation Stochastic processes Aerospace electronics Approximation algorithms Partitioning algorithms

来源：评论

学校读者我要写书评

暂无评论

Binocular Disparity Unveils the Mechanisms of Stereo Feature Selectivity: Orientation and Motion

Binocular Disparity Unveils the Mechanisms of Stereo Feature...

引用

International Joint Conference on Neural Networks (IJCNN)

作者： Bin Li Yuki Todo Zheng Tang Cheng Tang Division of Electrical Engineering and Computer Science Kanazawa University Kanazawa Japan Division of Electrical Information and Communication Engineering Kanazawa University Kanazawa Japan Department of Intelligence Information Systems University of Toyama Toyama Japan Faculty of Information Science and Electrical Engineering Kyushu University Fukuoka Japan

ISBN: (数字)9798350359312

ISBN: (纸本)9798350359329

Binocular vision serves as the foundation for stereo vision, providing humans with the ability to perceive the three-dimensional information of their surroundings. However, although some cortical neurons are reported with 3D information selectivity, the interconnections between binocular input and cortical neuron firing have yet to be fully established, impeding progress in our understanding of stereo information perception. In this work, we aim to address this issue by examining the causality between retinal input and selective neuron firing. We propose a general mechanism of stereo orientation and motion direction detection based solely on binocular disparity input, which is the difference in visual information between the two eyes. Our results suggest that this disparity-based mechanism is robust and can effectively complete stereo orientation and motion direction detection. Our proposed general perceiving mechanism has the potential to contribute to the resolution of the complex problem of binocular information processing and computation. Further research into this area may help to deepen our understanding of stereo vision and provide insights into the underlying neural mechanisms.

关键词： Visualization Three-dimensional displays Firing Neurons Noise Reliability theory Retina

来源：评论

学校读者我要写书评

暂无评论

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent

arXiv

引用

arXiv 2024年

作者： Buali, Mahdi Hoehndorf, Robert Computer Science Program Computer Electrical and Mathematical Sciences & Engineering Division King Abdullah University of Science and Technology Thuwal23955 Saudi Arabia

Automated Theorem Proving (ATP) faces significant challenges due to the vast action space and the computational demands of proof generation. Recent advances have utilized Large Language Models (LLMs) for action selection in ATP, but these methods often require substantial computational resources. This study introduces the Functional Equation Automated Solver (FEAS), an agent that builds on the COPRA in-context learning framework within the Lean environment. FEAS innovates by refining prompt generation and response parsing mechanisms, integrating domain-specific heuristics for functional equations, and introducing the FunEq dataset—a rigorously curated collection of functional equation problems categorized into three difficulty levels. The agent’s performance is evaluated against established baselines using this dataset, demonstrating improvements in theorem proving accuracy, particularly with the integration of functional equation-specific heuristics. Our results highlight the effectiveness of FEAS in generating and formalizing high-level proof strategies into Lean proofs, emphasizing the potential of tailored approaches in domain-specific ATP challenges. © 2024, CC BY.

关键词： Theorem proving

来源：评论

学校读者我要写书评

暂无评论

Slow Convergence of Interacting Kalman Filters in Word-of-Mouth Social Learning

arXiv

引用

arXiv 2024年

作者： Krishnamurthy, Vikram Rojas, Cristian R. School of Electrical and Computer Engineering Cornell University United States Division of Decision and Control Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Stockholm Sweden

We consider word-of-mouth social learning involving m Kalman filter agents that operate sequentially. The first Kalman filter receives the raw observations, while each subsequent Kalman filter receives a noisy measurement of the conditional mean of the previous Kalman filter. The prior is updated by the m-th Kalman filter. When m = 2, and the observations are noisy measurements of a Gaussian random variable, the covariance goes to zero as k−1/3 for k observations, instead of O(k−1) in the standard Kalman filter. In this paper we prove that for m agents, the covariance decreases to zero as k−(2m−1), i.e, the learning slows down exponentially with the number of agents. We also show that by artificially weighing the prior at each time, the learning rate can be made optimal as k−1. The implication is that in word-of-mouth social learning, artificially re-weighing the prior can yield the optimal learning rate. Copyright © 2024, The Authors. All rights reserved.

关键词： Kalman filters

来源：评论

学校读者我要写书评

暂无评论

Graphene Bridge Heterostructure Devices for Negative Differential Transconductance Circuit Applications

引用

Nano-Micro Letters 2023年第2期15卷 161-171页

作者： Minjong Lee Tae Wook Kim Chang Yong Park Kimoon Lee Takashi Taniguchi Kenji Watanabe Min‑gu Kim Do Kyung Hwang Young Tack Lee Department of Electrical and Computer Engineering Inha UniversityIncheon 22212Republic of Korea Department of Materials Science and Engineering The University of Texas at DallasRichardsonTX 75080USA Center for Opto‑Electronic Materials and Devices Post‑Silicon Semiconductor InstituteKorea Institute of Science and Technology(KIST)Seoul 02792Republic of Korea Department of Physics Kunsan National UniversityGunsan 54150Republic of Korea Advanced Materials Laboratory National Institute for Materials ScienceTsukuba 305‑0044Japan Department of Information and Communication Engineering Inha UniversityIncheon 22212Republic of Korea Division of Nanoscience and Technology KIST SchoolUniversity of Science and Technology(UST)Seoul 02792Republic of Korea Department of Electronic Engineering Inha UniversityIncheon 22212Republic of Korea

Two-dimensional van der Waals(2D vdW)material-based heterostructure devices have been widely studied for high-end electronic applications owing to their heterojunction *** this study,we demonstrate graphene(Gr)-bridge heterostructure devices consisting of laterally series-connected ambipolar semiconductor/Gr-bridge/n-type molybdenum disulfide as a channel material for field-effect transistors(FET).Unlike conventional FET operation,our Gr-bridge devices exhibit nonclassical transfer characteristics(humped transfer curve),thus possessing a negative differential *** phenomena are interpreted as the operating behavior in two series-connected FETs,and they result from the gate-tunable contact capacity of the Gr-bridge ***-value logic inverters and frequency tripler circuits are successfully demonstrated using ambipolar semiconductors with narrow-and wide-bandgap materials as more advanced circuit applications based on non-classical transfer ***,we believe that our innovative and straightforward device structure engineering will be a promising technique for future multi-functional circuit applications of 2D nanoelectronics.

关键词： Graphene bridge Heterostructure device Non-classical transfer characteristics Multi-value logic inverter Frequency tripler

来源：评论

学校读者我要写书评

暂无评论

HBC Transmission Policies for Energy Harvesting Empowered ECG Nodes

HBC Transmission Policies for Energy Harvesting Empowered EC...

引用

Annual International Conference of the IEEE engineering in Medicine and Biology Society (EMBC)

作者： Abeer Alamoudi Abdulkadir Celik Ahmed M. Eltawil Computer Electrical and Mathematical Sciences and Engineering Division King Abdullah University of Science and Technology (KAUST) Thuwal KSA

ISBN: (数字)9798350371499

ISBN: (纸本)9798350371505

The Internet of Bodies is a body-centric network that connects smart devices to enable real-time monitoring of physiological data, including early detection of cardiovascular diseases through electrocardiograms (ECG) monitoring. In contrast to power-intensive RF transceivers in many ECG wearables, Human Body Communication (HBC) offers an energy-efficient (EE) and secure alternative, utilizing the body as a communication channel. This paper explores the functionality of an IoB sensor node designed for ECG monitoring, leveraging HBC and incorporating energy harvesting techniques to ensure sustained power. It introduces a scheme that utilizes ECG signal characteristics to identify sensing and transmission time durations, and it formulates an optimization problem within a Markov Decision Process framework. Given the battery and computational power constraint of IoB nodes, we propose lightweight and EE policies. Simulations confirm their benefits over myopic policies in terms of maximizing node lifetime and optimizing energy utilization, making them a promising solution for IoB systems operating under dynamic energy arrival rates.

关键词： Radio frequency Electrocardiography Real-time systems Transceivers Stability analysis Sensors Energy harvesting Wearable devices Smart devices Monitoring

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：