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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

1,246 篇 会议
7 册 图书
6 篇 期刊文献

馆藏范围

1,259 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

863 篇 工学
- 758 篇 计算机科学与技术...
- 474 篇 软件工程
- 188 篇 电气工程
- 132 篇 控制科学与工程
- 106 篇 信息与通信工程
- 39 篇 电子科学与技术（可...
- 34 篇 生物工程
- 31 篇 机械工程
- 25 篇 建筑学
- 24 篇 安全科学与工程
- 23 篇 动力工程及工程热...
- 21 篇 土木工程
- 14 篇 交通运输工程
- 14 篇 生物医学工程（可授...
- 11 篇 光学工程
- 11 篇 石油与天然气工程
- 8 篇 仪器科学与技术
196 篇 理学
- 112 篇 数学
- 35 篇 生物学
- 28 篇 系统科学
- 25 篇 物理学
- 18 篇 统计学（可授理学、...
- 9 篇 大气科学
181 篇 管理学
- 102 篇 管理科学与工程(可...
- 100 篇 图书情报与档案管...
- 69 篇 工商管理
29 篇 法学
- 27 篇 社会学
22 篇 医学
- 21 篇 临床医学
- 13 篇 基础医学(可授医学...
16 篇 经济学
- 16 篇 应用经济学
8 篇 农学
7 篇 教育学
2 篇 文学

主题

30 篇 distributed comp...
21 篇 middleware
20 篇 internet of thin...
20 篇 distributed syst...
18 篇 distributed comp...
17 篇 semantics
15 篇 fault tolerance
15 篇 quality of servi...
15 篇 cloud computing
14 篇 event processing
13 篇 stream processin...
12 篇 ontology
11 篇 computer science
11 篇 blockchain
11 篇 location based s...
11 篇 scheduling
10 篇 application soft...
10 篇 machine learning
9 篇 complex event pr...
9 篇 software enginee...

机构

7 篇 fzi research cen...
6 篇 institute of dis...
5 篇 fzi research cen...
5 篇 university of os...
5 篇 university of st...
5 篇 carnegie mellon ...
5 篇 ulm univ inst di...
5 篇 tech univ munich...
4 篇 equipe runtime i...
4 篇 institute of par...
4 篇 tsinghua univers...
4 篇 delft univ techn...
4 篇 equipe hiepacs i...
4 篇 imperial college...
4 篇 humboldt-univers...
3 篇 univ adelaide sc...
3 篇 georgia inst tec...
3 篇 tech univ darmst...
3 篇 department of ci...
3 篇 ben gurion univ ...

作者

16 篇 rothermel kurt
12 篇 koldehofe boris
11 篇 jacobsen hans-ar...
9 篇 ramachandran uma...
8 篇 tariq muhammad a...
7 篇 wehrle klaus
7 篇 jerzak zbigniew
6 篇 kargl frank
6 篇 erb benjamin
6 篇 zhou yongluan
6 篇 fetzer christof
5 篇 dustdar schahram
5 篇 ottenwälder beat...
5 篇 nenad stojanovic
5 篇 wu kun-lung
4 篇 meissner dominik
4 篇 ziekow holger
4 篇 margara alessand...
4 篇 jean roman
4 篇 kalogeraki vana

语言

1,253 篇 英文
4 篇 其他
3 篇 中文

检索条件"任意字段=Proceedings of the 17th ACM International Conference on Distributed and Event-based Systems"

共 1259 条记录，以下是41-50 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Adaptive Probabilistic Methods for Boosting the Reliability of Consensus Algorithms in distributed systems 17

Adaptive Probabilistic Methods for Boosting the Reliability ...

引用

17th IEEE international conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering, TCSET 2024

作者： Zhuravel, Stanislav Lviv Polytechnic National University Department of Telecommunication Lviv Ukraine

ISBN: (纸本)9798331520564

Consensus algorithms are essential for maintaining reliability and consistency in distributed systems. However, false positives - incorrectly identifying functional nodes as failed - pose significant challenges, leading to unnecessary leader re-elections, increased latency, and degraded system performance. this article explores the application of Bayes' theorem as a solution to the false positive problem in consensus algorithms. By utilizing Bayesian inference, systems can dynamically update the probability of node failure based on real-time evidence, reducing the likelihood of triggering false positives caused by transient issues, network delays, or strict timeout settings. the article presents a detailed methodology for integrating Bayesian reasoning into consensus mechanisms and eventually into distributed system. Additionally, the advantages of using Bayesian inference - such as reduced false positives, improved decision-making, and adaptability - are discussed. the article also addresses potential challenges, including computational complexity and the importance of developing modern fault detection mechanisms. By combining Bayesian inference with existing consensus strategies, this approach provides a more flexible and accurate way to enhance fault tolerance in distributed systems, mitigating the impact of false positives. © 2024 IEEE.

关键词： Decentralized systems

来源：评论

学校读者我要写书评

暂无评论

Color-based Lightweight Utility-aware Load Shedding for Real-Time Video Analytics at the Edge 18

Color-based Lightweight Utility-aware Load Shedding for Real...

引用

18th international conference on distributed and event-based systems (DEBS)

作者： Gupta, Harshit Saurez, Enrique Roeger, Henriette Bhowmik, Sukanya Ramachandran, Umakishore Rothermel, Kurt Georgia Inst Technol Atlanta GA 30332 USA Univ Stuttgart Stuttgart Germany Univ Potsdam Potsdam Germany Microsoft Corp Redmond WA 98052 USA

ISBN: (纸本)9798400704437

Real-time video analytics typically require video frames to be processed by a query to identify objects or activities of interest while adhering to an end-to-end frame processing latency constraint. this imposes a continuous and heavy load on backend compute and network infrastructure. Video data, has inherent redundancy and does not always contain an object of interest for a given query. We leverage this property of video streams to propose a lightweight Load Shedder that can be deployed on edge servers or on inexpensive edge devices co-located with cameras. the proposed Load Shedder uses pixel-level color-based features to calculate a utility score for each ingress video frame and a minimum utility threshold to select interesting frames to send for query processing. Dropping unnecessary frames enables the video analytics query in the backend to meet the end-to-end latency constraint with fewer compute and network resources. To guarantee a bounded end-to-end latency at runtime, we introduce a control loop that monitors the backend load and dynamically adjusts the utility threshold. Performance evaluations show that the proposed Load Shedder selects a large portion of frames containing each object of interest while meeting the end-to-end frame processing latency constraint. Furthermore, it does not impose a significant latency overhead when running on edge devices with modest compute resources.

关键词： Video Analytics Load Shedding latency bound QoS

来源：评论

学校读者我要写书评

暂无评论

On Some Issues of Modeling a Pressure Compensator in a Flexible Modeling System 17

On Some Issues of Modeling a Pressure Compensator in a Flexi...

引用

17th international conference on Management of Large-Scale System Development, MLSD 2024

作者： Jharko, Elena V.A. Trapeznikov Institute of Control Sciences of Ras Laboratory of Distributed Information Analytical and Control Systems Moscow Russia

ISBN: (纸本)9798350375718

the article discusses aspects of modeling a pressure compensator based on two models (equilibrium and a model that considers the nonequilibrium of the vapor and water phases), which are part of a flexible modeling system (FMS). the limits of applicability of the presented models are considered. the results of verification of the presented model of a pressure compensator as part of the FMS in the dynamic mode of a power unit nuclear power plant were carried out. © 2024 IEEE.

关键词： Nuclear power plants

来源：评论

学校读者我要写书评

暂无评论

Towards an In-Context LLM-based Approach for Automating the Definition of Model Views 17

Towards an In-Context LLM-Based Approach for Automating the ...

引用

17th acm SIGPLAN international conference on Software Language Engineering (SLE)

作者： Miranda, James William Pontes Bruneliere, Hugo Tisi, Massimo Sunye, Gerson IMT Atlantique LS2N UMR CNRS 6004 Nantes France Nantes Univ LS2N UMR CNRS 6004 Nantes France

ISBN: (纸本)9798400711800

In the Model-Driven Engineering (MDE) of complex systems, multiple models represent various systems' aspects. In practice, these models are often unconnected and specified using different modeling languages. Model view solutions can be employed to automatically combine such models. However, writing model view definitions is not trivial. When modeling languages are semantically distant and/or have a large number of concepts, it can quickly become difficult to manually identify the language elements to be selected, associated, or queried to build a model view. As a solution, this paper proposes an in-context Large Language Model (LLM)-based approach to assist engineers in writing model-view definitions. Notably, we rely on LLMs and Prompt Engineering techniques to automatically generate drafts of model-view definitions by providing as input only minimal information on the modeling languages to be combined. We implemented our approach by integrating the EMF Views solution for model views with the LangChain framework for LLM-based applications. To this end, we tailored LangChain to handle EMF metamodels. We validated our approach and implementation on a set of model views originally specified either in VPDL, the ViewPoint Definition Language of EMF Views, or as ATL model-to-model transformations. We compared these original model view definitions with the ones we automatically generated. the obtained results show the feasibility and applicability of our approach.

关键词： Model-driven engineering Modeling languages Model views Large language models Prompt engineering

来源：评论

学校读者我要写书评

暂无评论

proceedings of the 17th Innovations in Software Engineering conference, iSOFT ISEC 2024 - (Formerly known as India Software Engineering conference)

Proceedings of the 17th Innovations in Software Engineering ...

引用

17th Innovations in Software Engineering conference, ISEC 2024

ISBN: (纸本)9798400717673

the proceedings contain 24 papers. the topics discussed include: concurrency testing: a journey from research to practice;program repair and trusted automatic programming;on the analysis of mobile apps. why is most of our research on android?;accelerating software development using generative AI: ChatGPT case study;a Codebert based empirical framework for evaluating classification-enabled vulnerability prediction models;CodeQueries: a dataset of semantic queries over code;enhancing MVC architecture pattern description using its system of systems model;an approach for providing recommendation for requirements non-conformant with requirement templates (RTs);data-driven falsification of cyber-physical systems;and a hierarchical attention networks based model for bug report prioritization.

关键词：

来源：评论

学校读者我要写书评

暂无评论

proceedings - 2024 IEEE/acm international Workshop on Search-based and Fuzz Testing, SBFT 2024

Proceedings - 2024 IEEE/ACM International Workshop on Search...

引用

17th international Workshop on Search-based and Fuzz Testing, SBFT 2024

ISBN: (纸本)9798400705625

the proceedings contain 25 papers. the topics discussed include: automated boundary identification for machine learning classifiers;diversity-guided search exploration for self-driving cars test generation through Frenet space encoding;generator-based fuzzing with input features;Syntest-JavaScript: automated unit-level test case generation for JavaScript;DeepHyperion-UAV at the SBFT Tool Competition 2024 - CPS-UAV test case generation track;BandFuzz: a practical framework for collaborative fuzzing with reinforcement learning;FOX: coverage-guided fuzzing as online stochastic control;PASTIS: a framework for distributed ensemble fuzzing;EvoKex at the SBFT 2024 Java Tool Competition;AmbieGen at the SBFT 2024 Tool Competition - CPS-UAV Track;and CRAG at the SBFT 2024 Tool Competition - cyber-physical systems track.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Making thermostats Great Again: Investigating Touch-based thermal Sensation for Manual Control of thermostats 24

Making Thermostats Great Again: Investigating Touch-Based Th...

引用

17th international conference on Advanced Visual Interfaces (AVI)

作者： Huang, Yidong Calvary, Gaelle Laurillau, Yann Univ Grenoble Alpes Grenoble INP LIG CNRS F-38000 Grenoble France

ISBN: (纸本)9798400717642

While energy conservation is an urgent need, many people still misuse thermostats to control heating systems, resulting in wasted energy. One of the main causes is the lack of immediate thermal feedback. In this work, we investigate how immediate touch-based thermal feedback can be an appropriate interaction modality to improve the thermostat UI for manual control, and allow anticipation of the outcome of setpoint adjustment through user interaction. based on two mixed-methods experimental user studies, we demonstrate the applicability of immediate thermal feedback to translate and anticipate a sense of thermal comfort that is meaningful and satisfying to the user. We also show the usability of this feedback as an interaction modality for adjusting a temperature setpoint, which is perceived as simple, natural and accurate.

关键词： thermal comfort Feedback thermostat thermal perception

来源：评论

学校读者我要写书评

暂无评论

Principles of Scaling Cloud Computing of Digital Twins Using Accelerator Computers with Mass Multi-Core Parallelism 17

Principles of Scaling Cloud Computing of Digital Twins Using...

引用

17th international conference on Management of Large-Scale System Development, MLSD 2024

作者： Zatuliveter, Yury Fishchenko, Elena V.A. Trapeznikov Institute of Control Sciences of Ras Laboratory of Distributed Data-Analysis and Control Systems Moscow Russia

ISBN: (纸本)9798350375718

In relation to large industrially significant systems (using the example of nuclear power plants (NPP)), the ways of developing the architecture and functionality of cloud systems are considered. the development ways are aimed at providing full-featured cloud services based on industry standards for a system-holistic solution to the entire range of problems of using digital twin technologies with high computational complexity. the possibilities of increasing computing performance through the hybrid amplification of cloud servers by interfacing them with accelerator computers with mass, dynamically scalable multi-core parallelism (hundreds, thousands and more computing cores) are shown. the method of dynamic scaling of mass multi-core parallelism is proposed, intended to expand the space of virtualization of cloud resources. © 2024 IEEE.

关键词： Nuclear power plants

来源：评论

学校读者我要写书评

暂无评论

Investigating Domain Bias in NILM 24

Investigating Domain Bias in NILM

引用

11th acm international conference on systems for Energy-Efficient Buildings, Cities, and Transportation, BuildSys 2024

作者： Breyer, Justus Jauhari, Sparsh Glebke, René Alizai, Muhammad Hamad Stroot, Markus Wehrle, Klaus Communication and Distributed Systems RWTH Aachen University Aachen Germany SBA School of Science and Engineering LUMS Lahore Pakistan IAEW RWTH Aachen University Aachen Germany

ISBN: (纸本)9798400707063

Enhancing household energy efficiency is crucial, and Non-intrusive Load Monitoring (NILM) offers a valuable solution by giving consumers insights into their energy use without individual device monitoring. However, the deployment of NILM models in new settings is challenging due to their training on domain-specific data. To effectively use public data for training NILM models for identifying individual appliances, understanding the challenges of model transfer is crucial. this study explores several factors that could hinder successful model transfer and highlights the challenges in broader NILM system deployment. We developed and tested various NILM models, both event-based and eventless, across multiple household domains and found that domain bias, e.g., noise and line frequency, does not significantly impact model performance. © 2024 Copyright held by the owner/author(s).

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

17th international conference on INnovations in Intelligent systems and Applications, INISTA 2023 - proceedings

17th International Conference on INnovations in Intelligent ...

引用

17th international conference on INnovations in Intelligent systems and Applications, INISTA 2023

ISBN: (纸本)9798350338904

the proceedings contain 88 papers. the topics discussed include: optimizing Arabic named entity recognition through active learning and AraBERT;deep reinforcement learning-based load balancer using Kubernetes;embedded gene expression data based on RidgeClassifier For Alzheimer’s disease classification;a hybrid machine learning approach for automatic experts recommendation systems;a novel approach for extracting summarized RDF graph from heterogeneous corpus;classification of soil texture using machine learning technique;approaches for solving a dynamic stacking problem in uncertain environments;and early mild cognitive impairment detection using cognitive-motor tasks and machine learning.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共126页 << < 1 2 3 4 5 6 7 8 9 10 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：