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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,225 篇 会议
85 篇 期刊文献
77 册 图书

馆藏范围

4,387 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,876 篇 工学
- 2,406 篇 计算机科学与技术...
- 1,339 篇 软件工程
- 624 篇 电气工程
- 540 篇 信息与通信工程
- 353 篇 控制科学与工程
- 150 篇 机械工程
- 121 篇 动力工程及工程热...
- 113 篇 电子科学与技术（可...
- 76 篇 生物工程
- 60 篇 仪器科学与技术
- 55 篇 石油与天然气工程
- 54 篇 环境科学与工程（可...
- 51 篇 材料科学与工程（可...
- 50 篇 建筑学
- 50 篇 生物医学工程（可授...
- 47 篇 光学工程
- 46 篇 交通运输工程
- 44 篇 安全科学与工程
637 篇 理学
- 370 篇 数学
- 136 篇 物理学
- 96 篇 生物学
- 92 篇 统计学（可授理学、...
- 90 篇 系统科学
- 43 篇 化学
512 篇 管理学
- 352 篇 管理科学与工程(可...
- 202 篇 图书情报与档案管...
- 193 篇 工商管理
70 篇 医学
- 56 篇 临床医学
67 篇 法学
- 50 篇 社会学
52 篇 经济学
- 52 篇 应用经济学
31 篇 教育学
12 篇 农学
12 篇 军事学
4 篇 文学
1 篇 艺术学

主题

221 篇 distributed comp...
218 篇 distributed comp...
82 篇 computer archite...
78 篇 distributed data...
72 篇 computer science
69 篇 cloud computing
68 篇 computer network...
64 篇 application soft...
60 篇 grid computing
60 篇 distributed syst...
53 篇 middleware
51 篇 protocols
49 篇 artificial intel...
48 篇 concurrent compu...
48 篇 software enginee...
47 篇 real time system...
47 篇 distributed powe...
42 篇 costs
41 篇 scalability
41 篇 database systems

机构

10 篇 distributed syst...
7 篇 beijing hiwing s...
7 篇 irisa rennes
7 篇 unmanned system ...
7 篇 nanjing universi...
7 篇 college of intel...
7 篇 beijing universi...
7 篇 3-30-1 wajiro-hi...
6 篇 shanghai jiao to...
5 篇 tsinghua univ de...
5 篇 ieee
5 篇 carnegie mellon ...
5 篇 sun yat-sen univ...
5 篇 beijing univ pos...
5 篇 national univers...
5 篇 department of in...
5 篇 american interna...
4 篇 ocean univ china...
4 篇 china electric p...
4 篇 beijing univ pos...

作者

14 篇 dustdar schahram
12 篇 barolli leonard
11 篇 xhafa fatos
11 篇 anon
8 篇 takizawa makoto
7 篇 yifeng niu
7 篇 wenxing fu
7 篇 mancang gu
7 篇 yi qu
5 篇 li kuan-ching
5 篇 enokido tomoya
5 篇 segundo moisés t...
5 篇 luis enrique maf...
4 篇 kulla elis
4 篇 decker christian
4 篇 ikeda makoto
4 篇 molina m. g.
4 篇 truong hong-linh
4 篇 liu feng
4 篇 suresh chandra s...

语言

4,290 篇 英文
82 篇 其他
24 篇 中文
1 篇 西班牙文
1 篇 法文
1 篇 俄文

检索条件"任意字段=Proceedings - 3rd International Conference on Distributed Computing Systems."

共 4387 条记录，以下是301-310 订阅

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

详细简洁

排序：

Balancing Three Important Goals for Runtimes - Isolation, High Performance, and Resource Efficiency 3

Balancing Three Important Goals for Runtimes - Isolation, Hi...

引用

3rd IEEE international conference on Autonomic computing and Self-Organizing systems.(ACSOS)

作者： Lyu, Xiaosu Wood, Timothy Pena, Luis E. Shamis, Pavel George Washington Univ Washington DC 20052 USA

ISBN: (数字)9781665451420

ISBN: (纸本)9781665451420

Much of today's software executes inside of Runtimes, which are software platforms that manage and run code submitted by other developers. Isolation, high performance and resource efficiency are three important goals for a Runtime. However, existing Runtimes cannot meet all of these goals simultaneously. In my thesis, I will explore the trade-offs between these goals and how to provide autonomous system support to maximize them in three important environments.

关键词： Isolation high performance resource efficiency Serverless distributed big data applications NFV

来源：评论

学校读者我要写书评

暂无评论

Internet of Things Access Mechanism of University Education Information Center Based on distributed Information System 3

Internet of Things Access Mechanism of University Education ...

引用

3rd international conference on Green Communication, Network, and Internet of Things, CNIoT 2023

作者： Zhang, Lilong Liu, Yang Yu, Jun Naval University of Engineering Hubei Wuhan430033 China

ISBN: (纸本)9781510668867

With the continuous development of information technology, educational informatization has gradually become the mainstream of the future information technology industry. Building a complete, efficient, and flexible online teaching system based on distributed information systems.is an inevitable trend. This article proposes a new idea based on the existing technology, that is, using the Internet of Things technology to create a complete and convenient network teaching resource library system to meet user needs. It focuses on students and teachers to establish an information platform and publish it to various regions, achieving issues such as interactivity and timeliness between educational data in this way. After that, this article also designed a test process for this access mechanism. The test results show that users have high requirements for the access mechanism of the Internet of Things in the education information center, with an average time between failures of 2356 hours to 2785 hours. © 2023 SPIE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

GAN-Powered Predictive Analytics for the Detection and Diagnosis of Tuberculosis 3

GAN-Powered Predictive Analytics for the Detection and Diagn...

引用

3rd IEEE Delhi Section Flagship conference, DELCON 2024

作者： Fatima, Neda Kapoor, Shobhit Shiva School of Engineering and Technology Manav Rachna International Institute of Research and Studies Faridabad India

ISBN: (纸本)9798331518592

India has a vast tuberculosis (TB) burden that requires rapidly identifying pathogens. This is critical to outbreak detection and sentinel surveillance;however, most diagnoses are made in laboratory settings. Artificial intelligence (AI) and computer vision advancements offer unprecedented opportunities to facilitate detection and reduce response time in field settings. This research investigates the potential of Generative Adversarial Networks (GANs) in Tuberculosis (TB) diagnostics, addressing the urgent need for innovative strategies in early discernment and precise diagnosis of this prevalent infectious disease. GANs, known for their success in medical image analysis, hold great promise for changing tuberculosis screening and diagnosis methods. Researchers want to improve the accuracy and efficiency of TB detection by using GAN-based approaches to generate synthetic TB-related medical images and identify subtle abnormalities associated with the disease. By integrating GAN-generated insights with clinical data, predictive analytics models can be developed to facilitate early TB detection and predict disease progression, empowering healthcare practitioners to make informed decisions and potentially improving patient outcomes. Additionally, GAN-powered predictive analytics have the potential to transform TB screening programs, particularly in resource-constrained settings, by offering cost-effective and scalable solutions that extend the reach of TB screening efforts, facilitating early detection and intervention to mitigate the impact of the disease. Furthermore, predictive analytics extends its role beyond detection to encompass personalized medicine approaches in TB management, enabling tailored treatment strategies that optimize alternative interventions, enhance treatment efficacy, and minimize adverse effects, thereby reducing the burden of TB on healthcare systems. © 2024 IEEE.

关键词： Generative adversarial networks

来源：评论

学校读者我要写书评

暂无评论

TransOra: A Transaction-preserving and Transparent distributed Oracle on Permissioned Blockchain For Hybrid Smart Contracts 3

TransOra: A Transaction-preserving and Transparent Distribut...

引用

3rd international conference on computing, Networks and Internet of Things, CNIOT 2022

作者： Yang, Tianjian Sun, Qiao Chen, Feng University of Chinese Academy of Sciences Guiyang Academy of Information Technology Chinese Academy of Sciences Institute of Software Beijing China

ISBN: (纸本)9781665469104

Hybrid transaction in blockchain enlarges the application domain of smart contracts by enabling off-chain data access. In support of the hybrid transaction, blockchain oracle is an indispensable middleware responsible for receiving data-request tasks and pushing the result back to chain. Though solutions supporting hybrid transactions do exist, they are less featured or applicable for both contract and application developers. On one hand, the racing-condition among several concurrent hybrid transactions should be manually resolved by contract developers. On the other hand, application developers have to associate each individual task with its parent hybrid transaction in order to obtain the result. In this paper, a novel block-chain oracle platform with a set of simple but unified API for both hybrid and traditional transactions is proposed. Firstly, we design and implement a transactional storage layer and a transaction scheduler for transaction preservation and ordering. Secondly, with the help of an automatic result tracing mechanism, application developers are able to acquire transaction results transparently without awareness of oracles and underlying task execution. Experiments are conducted on one of current prevalent permissioned blockchain platforms, RepChain, and the result shows that all of the system design goals are fulfilled with merely an acceptable loss of performance. © 2022 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

SAT-Based Quantified Symmetric Minimization of the Reachable States of distributed Protocols 23

SAT-Based Quantified Symmetric Minimization of the Reachable...

引用

23rd international conference on Formal Methods in Computer-Aided Design, FMCAD 2023

作者： Fazekas, Katalin Goel, Aman Sakallah, Karem A. Tu Wien Vienna Austria Amazon Web Services Seattle United States University of Michigan Ann Arbor United States

ISBN: (纸本)9783854480600

Most of the recent published work on the automated verification of distributed protocols has been concerned with deriving an inductive invariant that implies a safety specification. In this paper we argue that the inherent structural symmetry of protocols strongly suggests the existence of a unique property-independent formula rmin that describes a protocol's reachable states as a minimum-cost conjunction of quantified first-order logic predicates. We show, for finite instances, that these predicates correspond to symmetry orbits of prime implicates, and show how they are derived using a novel SAT-based logic minimization algorithm which relies on the connection between symmetry and quantification as complementary ways of representing these orbits. We also present empirical data showing that the minimum-cost orbits derived for increasing protocol sizes converge syntactically, reaching a fixed point at a relatively small critical size. Our findings, thus, confirm earlier observations about the cutoff and saturation phenomenon of parameterized systems. To our knowledge, our approach is the first to algorithmically derive quantified first-order logic formulas for the reachable states of unbounded parameterized systems. enabling the verification of any safety property. © 2023 FMCAD Association and individual authors.

关键词： Computer aided design

来源：评论

学校读者我要写书评

暂无评论

Compiling distributed System Models with PGo 2023

Compiling Distributed System Models with PGo

引用

28th ACM international conference on Architectural Support for Programming Languages and Operating systems.(ASPLOS)

作者： Hackett, Finn Hosseini, Shayan Costa, Renato Do, Matthew Beschastnikh, Ivan Univ British Columbia Vancouver BC Canada

ISBN: (纸本)9781450399166

distributed systems.are difficult to design and implement correctly. In response, both research and industry are exploring applications of formal methods to distributed systems. A key challenge in this domain is the missing link between the formal design of a system and its implementation. Today, practitioners bridge this link through manual effort. We present a language called Modular PlusCal (MPCal) that extends PlusCal by cleanly separating the model of a system from a model of its environment. We then present a compiler tool-chain called PGo that automatically translates MPCal models to TLA(+) for model checking, and that also compiles MPCal models to runnable Go code. PGo provides system designers with a new ability to model and check their designs, and then re-use their modeling efforts to mechanically extract runnable implementations of their designs. Our evaluation shows that the PGo approach works for complex models: we model check, compile, and evaluate the performance of MPCal systems.based on Raft, CrdTs, and primary-backup. Compared to previous work, PGo requires less time to develop a checked model and derive a fully working implementation. With PGo we created a formally checked Raft model and its corresponding implementation in under 1 person-month, which is 3x less time than Ivy. Our evaluation shows that a PGo-based Raft KV store with three nodes has 41% higher throughput than a Raft KV store based on Ivy, the highest performing verified Raft-based KV store from related work. A PGo-based CrdT set has a latency within 2x of a CrdT set implementation from SoundCloud called Roshi.

关键词： Formal methods distributed systems Compilers PlusCal TLA(+)

来源：评论

学校读者我要写书评

暂无评论

distributed Network Welfare Maximization DSM-DG Strategy 3

Distributed Network Welfare Maximization DSM-DG Strategy

引用

3rd international conference on Power, Energy, Control and Transmission systems. ICPECTS 2022

作者： Mohan, S. Nayanatara, C. Baskaran, J. Sri Sairam Engineering College Department of Electrical and Electronics Engineering Chennai600044 India Psg Institute of Technology and Applied Research Coimbatore641062 India

ISBN: (纸本)9781665462754

This methodology aims in regulating the parameters of demand response management (DRM) to limit the usage of consumer energy. Therefore, this will increase the stability and minimizes the cost of generation. Synchronized optimization of IoT based distributed generation (DG) parameters with DRM programs ensure the trapping of the obtainable power and maintain the welfare maximization. Comprehensive cases are taken into consideration by optimizing the DG parameters. This control proposes a strawberry (SBY) optimization to effectively manage the resources. To justify the integration of dynamic generation and demand parameters, a standard IEEE 33bus system is considered and the results show that the proposed optimization technique improves the system performance. © 2022 IEEE.

关键词： distributed power generation

来源：评论

学校读者我要写书评

暂无评论

Intelligent distributed System for Smart Economic Management Integrating Computer Architecture Optimization Algorithm 3

Intelligent Distributed System for Smart Economic Management...

引用

3rd international conference on Smart Electronics and Communication, ICOSEC 2022

作者： Wang, Dan JiangHan University Business School Wuhan HuBei430056 China

ISBN: (数字)9781665497640

ISBN: (纸本)9781665497640

Intelligent distributed system for smart economic management integrating computer architecture optimization algorithm is studied in the manuscript. After receiving the control parameters in advance, each node designed by us will analyze the relevant parameters to ensure that the specified parameters are used for transmission in the specified airspace and at the specified time. At the same time, the receiving node will receive the echo signal with the specified parameters at the specified time to complete the relevant processing. The ZooKeeper is then used to implement the system. Zookeeper is mainly used to solve the consistency problem of application systems.in distributed clusters. Then, the designed model is applied to the smart economic management integrating computer architecture optimization algorithm. The performance is then tested and validated by implementing a simulation process. © 2022 IEEE.

关键词： Data integration

来源：评论

学校读者我要写书评

暂无评论

3rd international conference on Artificial-Business Analytics, Quantum and Machine Learning: Trends, Perspectives, and Prospects, Com-IT-Con 2023

3rd International Conference on Artificial-Business Analytic...

引用

3rd international conference on Artificial-Business Analytics, Quantum and Machine Learning: Trends, Perspectives, and Prospects, Com-IT-Con 2023

ISBN: (纸本)9789819725076

The proceedings contain 60 papers. The special focus in this conference is on Artificial-Business Analytics, Quantum and Machine Learning: Trends, Perspectives, and Prospects. The topics include: Particle Swarm Optimization for Efficient Data Dissemination in VANETs;a Reactive Approach for High-Accuracy and Data-Driven Customer Behaviour Analysis and Prediction;a Brief Survey on Fabric Defect Detection;CNN Based Real Time Detection of Words from Lip Movements and Automated into Text;application of Artificial Intelligence for the Diagnosis of Dementia (Alzheimer): A Systematic Evaluation;shortest Job First with Gateway-Based Resource Management Strategy for Fog Enabled Cloud computing;software Vulnerability Analysis Based on Statistical Characteristics;hate Speech Detection on Twitter: A Comparative Evaluation of Different Machine Learning Techniques;detection of Heart Disease Using Machine Learning;SVM-Based Framework for Breast Cancer Detection;hand Gesture Recognition System Using Machine Learning;deep Learning Method for Plant Disease Recognition and Prediction;Lung Cancer Detection by Using CNN Architecture Models;deep Fake Analyser: A Review Based on Detecting the Deepfakes;predicting the Outcomes of La Liga Matches;Artifact Detection and Removal in EEG: A Review of Methods and Contemporary Usage;analyzing the Employee Attrition Rate: A Comparative Study of Various Machine Learning Approaches to Foresee Employee Attrition;satellite Image Classification Using Deep Learning for Big Earth Data;tackling Misinformation Through Tweets: A Comparative Study of Various Machine Learning Approaches;feature-Based Anomaly Detection in Static Social Networks;framework for Optimising Supply Chain Analysis Using Machine Learning;evaluation of Load Forecasting in Intelligent Grid systems.Through Machine Learning Techniques.

关键词：

来源：评论

学校读者我要写书评

暂无评论

3rd international conference on Energy Ecosystems. Prospects and Challenges: Applied Digital Technologies, 2022

3rd International Conference on Energy Ecosystems: Prospects...

引用

3rd international conference on Energy Ecosystems. Prospects and Challenges: Applied Digital Technologies, 2022

ISBN: (纸本)9783031248191

The proceedings contain 16 papers. The special focus in this conference is on Energy Ecosystems. Prospects and Challenges: Applied Digital Technologies. The topics include: Simple Quarter-Wave-Symmetric Space Vector PWM Scheme for Single-Phase Multilevel Voltage Source Inverters;The CF4 Influence on the Interruption Ability of the High Voltage Gas-Blast Interrupters;management Software Power Consumption During Operation Objects of Technocenological Type;some Results on the Analysis of the Kaliningrad Power System in Isolated Operation with a Battery;state Estimation of Grid-Connected Wind Farm;russian State Corporations in Search of a New Energy Policy for Sustainable Urban Development;a New Approach to Increase the Efficiency of Solar Generation Through the Use of the Soltrack System;demand Response as an Option to Contribute to the Sustainable Operation of the Kaliningrad Region Energy System;regional Power System Consumption Analysis with Data Mining Techniques;energy Storage and Consumption Management as Elements of the Green Port Concept;increasing the Reliability of the Electric Network with distributed Generation;framework Development for Marine Ports Digitalization;prevention of Ferroresonant Processes in Microgrid Operating in Island Mode;Cyber-Physical Management as a Mechanism to Increase the Survivability of the DR-Aggregator.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共439页 << < 27 28 29 30 31 32 33 34 35 36 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：