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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,435 篇 会议
7 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

1,012 篇 工学
- 905 篇 计算机科学与技术...
- 545 篇 软件工程
- 180 篇 电气工程
- 160 篇 信息与通信工程
- 101 篇 控制科学与工程
- 38 篇 机械工程
- 32 篇 仪器科学与技术
- 31 篇 动力工程及工程热...
- 31 篇 电子科学与技术（可...
- 30 篇 生物工程
- 27 篇 建筑学
- 20 篇 土木工程
- 18 篇 测绘科学与技术
- 14 篇 光学工程
- 14 篇 化学工程与技术
- 13 篇 安全科学与工程
231 篇 理学
- 143 篇 数学
- 36 篇 生物学
- 34 篇 统计学（可授理学、...
- 29 篇 系统科学
- 26 篇 物理学
- 24 篇 化学
- 14 篇 大气科学
199 篇 管理学
- 111 篇 图书情报与档案管...
- 109 篇 管理科学与工程(可...
- 73 篇 工商管理
29 篇 法学
- 22 篇 社会学
24 篇 医学
- 24 篇 临床医学
23 篇 经济学
- 22 篇 应用经济学
13 篇 教育学
- 13 篇 教育学
10 篇 农学
4 篇 文学
2 篇 艺术学
1 篇 军事学

主题

33 篇 middleware
33 篇 distributed comp...
28 篇 distributed comp...
19 篇 distributed syst...
18 篇 real time system...
18 篇 quality of servi...
17 篇 web services
16 篇 database systems
16 篇 wireless sensor ...
16 篇 semantics
15 篇 computer science
14 篇 internet of thin...
14 篇 event processing
14 篇 grid computing
14 篇 multi agent syst...
13 篇 fault tolerance
12 篇 application soft...
11 篇 protocols
11 篇 distributed data...
11 篇 multi-agent syst...

机构

7 篇 fzi research cen...
6 篇 institute of dis...
6 篇 university of st...
6 篇 humboldt-univers...
5 篇 fzi research cen...
5 篇 university of os...
4 篇 karlsruhe instit...
4 篇 ulm univ inst di...
3 篇 tu dresden
3 篇 institute of par...
3 篇 fortiss gmbh mun...
3 篇 delft university...
3 篇 department of ci...
3 篇 college of compu...
3 篇 technical univer...
3 篇 ibm research
3 篇 institute of par...
3 篇 university of ca...
3 篇 university of tr...
3 篇 university of co...

作者

14 篇 rothermel kurt
12 篇 koldehofe boris
10 篇 jacobsen hans-ar...
8 篇 ramachandran uma...
7 篇 tariq muhammad a...
7 篇 jerzak zbigniew
6 篇 kargl frank
6 篇 erb benjamin
6 篇 zhou yongluan
5 篇 ottenwälder beat...
5 篇 stojanovic nenad
5 篇 nenad stojanovic
4 篇 yoon young
4 篇 meissner dominik
4 篇 ziekow holger
4 篇 margara alessand...
4 篇 wehrle klaus
4 篇 dustdar schahram
4 篇 gokhale aniruddh...
4 篇 andrade henrique

语言

1,436 篇 英文
6 篇 其他
3 篇 中文
1 篇 俄文
1 篇 土耳其文

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

共 1445 条记录，以下是51-60 订阅

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

详细简洁

排序：

Construction of Interactive Platform for Audio Reading From the Perspective of All Media based on Vue Framework 12

Construction of Interactive Platform for Audio Reading From ...

引用

12th IEEE international conference on Communication systems and Network Technologies, CSNT 2023

作者： Wang, Zhuanghui Bohai University College of Journalism and Communication Liaoning Jinzhou China

ISBN: (纸本)9781665462617

'All-media' is the result of the deep integration of various media under the support of information and network technology. With the advent of the era of all-media, all-effective media, all-member media, holographic media and full-scale media are gradually formed, and life is more intelligent and convenient. With technology empowerment, reading content is getting richer and richer, and '' Audio Reading'' has developed as both a carrier and platform for content, and a medium to connect content dissemination and recipients. this paper develops an interactive platform for Audio Reading based on the progressive framework Vue, which simplifies the event-driven user interface;based on the modular idea, it designs the specific module composition of the system interface and interaction, and builds a reader based on FBReader to meet the needs of audio reading in the era of allmedia. © 2023 IEEE.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling 12

Preprocessing is What You Need: Understanding and Predicting...

引用

IEEE/acm 12th international conference on Formal Methods in Software Engineering (FormaliSE)

作者： Zeyen, Olivier Cordy, Maxime Perrouin, Gilles Acher, Mathieu Univ Luxembourg SnT Luxembourg Luxembourg Univ Namur PReCISE NaDI Namur Belgium Univ Rennes Inria CNRS IRISA Rennes France

ISBN: (纸本)9798400705892

Despite its NP-completeness, the Boolean satisfiability problem gave birth to highly efficient tools that are able to find solutions to a Boolean formula and compute their number. Boolean formulae compactly encode huge, constrained search spaces for variability-intensive systems, e.g., the possible configurations of the Linux kernel. these search spaces are generally too big to explore exhaustively, leading most testing approaches to sample a few solutions before analysing them. A desirable property of such samples is uniformity: each solution should get the same selection probability. this property motivated the design of uniform random samplers, relying on SAT solvers and counters and achieving different tradeoffs between uniformity and scalability. though we can observe their performance in practice, understanding the complexity these tools face and accurately predicting it is an under-explored problem. Indeed, structural metrics such as the number of variables and clauses involved in a formula poorly predict the sampling complexity. More elaborated ones, such as minimal independent support (MIS), are intractable to compute on large formulae. We provide an efficient parallel algorithm to compute a related metric, the number of equivalence classes, and demonstrate that this metric is highly correlated to time and memory usage of uniform random sampling and model counting tools. We explore the role of formula preprocessing on various metrics and show its positive influence on correlations. Relying on these correlations, we train an efficient classifier (F1-score 0.97) to predict whether uniformly sampling a given formula will exceed a specified budget. Our results allow us to characterise the similarities and differences between (uniform) sampling, solving and counting.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Hardware Accelerators based on wavelets for detection of Transient phenomena in smart grids 12

Hardware Accelerators based on wavelets for detection of Tra...

引用

12th international conference on Modern Circuits and systems Technologies, MOCAST 2023

作者： Papanikolaou, Nikolaos Tzanis, Nikolaos Mylonas, Eleftherios Birbas, Michael Birbas, Alexios University of Patras Electrical and Computer Engineering Dept Patras Greece

ISBN: (纸本)9798350321074

Wide Area Monitoring systems (WAMS) are essential for capturing high-resolution power events and preventing serious malfunctions in the electricity grid. Such power events can be classified into automated power system control events and faults. In this paper, we utilize wavelet signal processing to detect in real-time these events by capturing abrupt changes in the grid's voltage and frequency signals. the wavelet-based detection method is accelerated in an FPGA device meeting realtime requirements under realistic conditions by processing up to 40 Phasor Measurement Units (PMUs) signals simultaneously. In combination with the fact that it exhibits low resource utilization, it is proven that it is feasible to serve as a hardware low cost, low area offloading unit of a Phasor Data Concentrator (PDC) with enhanced power event classification *** on Github: https://***/NIKPAP558/*** © 2023 IEEE.

关键词： System-on-chip

来源：评论

学校读者我要写书评

暂无评论

A unifying model for distributed data-intensive systems 22

A unifying model for distributed data-intensive systems

引用

16th acm international conference on distributed and event-based systems, DEBS 2022

作者： Margara, Alessandro Politecnico di Milano Italy

ISBN: (纸本)9781450393089

Modern applications handle increasingly larger volumes of data, generated at an unprecedented and constantly growing rate. they introduce challenges that are radically transforming the research fields that gravitate around data management and processing, resulting in a blooming of distributed data-intensive systems. Each such system comes with its specific assumptions, data and processing model, design choices, implementation strategies, and guarantees. Yet, the problems data-intensive systems face and the solutions they propose are frequently overlapping. this tutorial presents a unifying model for data-intensive systems that dissects them into core building blocks, enabling a precise and unambiguous description and a detailed comparison. From the model, we derive a list of classification criteria and we use them to build a taxonomy of state-of-the-art systems. the tutorial offers a global view of the vast research field of data-intensive systems, highlighting interesting observations on the current state of things, and suggesting promising research directions. © 2022 acm.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

event-based data-centric semantics for consistent data management in microservices 22

Event-based data-centric semantics for consistent data manag...

引用

16th acm international conference on distributed and event-based systems, DEBS 2022

作者： Zuckmantel, Tilman Zhou, Yongluan Düdder, Boris Hildebrandt, thomas University of Copenhagen Copenhagen Denmark

ISBN: (纸本)9781450393089

there is an emerging trend of migrating traditional service-oriented monolithic systems to the microservice architecture. However, this involves the separation of data previously contained in a single database into several databases tailored to specific domains. Developers are thus faced with a new challenge: features such as transaction processing, coordination, and consistency preservation, which were previously supported by the central database, must now be implemented in a decentralized, asynchronously communicating, distributed structure. Numerous prior studies show that these challenges are not met satisfactorily, resulting in inconsistent system states with potentially detrimental consequences. therefore, we propose to design a coordination service that relies on clear event-based and data-centric formal semantics for microservices specifying the interaction of cross-microservice transactions with their respective databases. Furthermore, we provide a formalization of consistency properties and outline how they can be used to support dynamic monitoring as well as enforcement of consistency properties, thereby providing robust microservice systems. the envisioned architecture can significantly alleviate the developers' burden of implementing complicated distributed algorithms to maintain consistency across decentralized databases. © 2022 acm.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A Player Position Tracking Method based on a Wide-Area Pan-Tilt-Zoom Video 12

A Player Position Tracking Method Based on a Wide-Area Pan-T...

引用

proceedings of the 12th international conference on Sport Sciences Research and Technology Support, icSPORTS 2024

作者： Yamagishi, Shunzo Xie, Chun Shishido, Hidehiko Kitahara, Itaru Master's and Doctoral Program in Intelligent Mechanical Interaction Systems University of Tsukuba Ibaraki Japan Center for Computational Sciences University of Tsukuba Ibaraki Japan Faculty of Science and Engineering Department of Information Systems Engineering Soka University Tokyo Japan

ISBN: (纸本)9789897587191

this paper proposes a method to estimate the posture of an athlete moving on a vast field in a sporting event using a pan-tilt-zoom camera. In order to estimate the posture of an athlete on a sports field from a dynamic video sequence, our method extracts image features to search correspondence points among successive frames and computes the homography transformation matrix that compensates for changes the camera parameters (e.g., angle of view and posture). the effectiveness of this method is qualitatively verified using MLB TV broadcast video. the accuracy and error factors are also quantitatively verified by CG simulation. Copyright © 2024 by SCITEPRESS - Science and Technology Publications, Lda.

关键词： Pan-Tilt-Zoom Camera Player Tracking Sports Analytics Video Processing Wide-Area

来源：评论

学校读者我要写书评

暂无评论

12th international conference on distributed, Ambient and Pervasive Interactions, DAPI 2024, held as part of the 26th HCI international conference, HCII 2024

12th International Conference on Distributed, Ambient and Pe...

引用

12th international conference on distributed, Ambient and Pervasive Interactions, DAPI 2024, held as part of the 26th HCI international conference, HCII 2024

ISBN: (纸本)9783031600111

the proceedings contain 50 papers. the special focus in this conference is on distributed, Ambient and Pervasive Interactions. the topics include: Exploring Spatial Relation Awareness through Virtual Indoor Environments;conversing with Our Cars and the Drive for More Aware Experiences, Applying Ambient theory to Mobile Design;utilizing Data Spectrum to Promote Data Interoperability Across Industries and Countries;Building a Sustainable Local Community through Collaborative Creation Between Global Talents and Local Residents: A Model of Human Network Transformation in the INOW and Its Impacts;user-Centred Repair: From Current Practices to Future Design;balancing Excitement and Environmental Conservation in Information Dissemination for Safari Game Drives;enhancing Inclusiveness with Digital Technologies: A Case Study Combining Digital Participation Platforms with Living Lab Programs;an Exploratory Study of Artificial Intelligence Technology in Game Design for a New Interpretation of Historical events;research on Interaction Design of Smart Scenic Spots based on User Needs;factors Influencing Continuance Usage of Smart City Apps: A Mixed Study based on Behavioral Reasoning theory;policy Research in the Metaverse Technologies Enabled Publishing Industry in China (2016–2023);use of Service Design Pattern Language to Support Learning and Practice in Design Project;a Study on the Determinants of User Continuance Intention in Social Media Intelligent Recommendation systems from the Perspective of Information Ecology;exploring the Motivation of Living Lab Participants for Continuous Co-creation;foreword;preface;the Impact of Road and Urban Infrastructure Variances on Electric Kick Scooter Travel;factors Influencing Data Completeness in Electronic Records: A Case Study in a Chinese Manufacturing Enterprise.

关键词：

来源：评论

学校读者我要写书评

暂无评论

12th international conference on distributed, Ambient and Pervasive Interactions, DAPI 2024, held as part of the 26th HCI international conference, HCII 2024

12th International Conference on Distributed, Ambient and Pe...

引用

12th international conference on distributed, Ambient and Pervasive Interactions, DAPI 2024, held as part of the 26th HCI international conference, HCII 2024

ISBN: (纸本)9783031599873

关键词：

来源：评论

学校读者我要写书评

暂无评论

Adaptive Filtering of distributed Data based on Modeling the Perception Mechanisms of Living Sensory systems 12th

Adaptive Filtering of Distributed Data Based on Modeling the...

引用

12th international conference on Mathematical Modeling in Physical Sciences (IC-MSQUARE)

作者： Antsiperov, Viacheslav E. RAS Kotelnikov Inst Radioengn & Elect Moscow Russia

ISBN: (纸本)9783031529672;9783031529658;9783031529641

the article is devoted to the results of the adaptive filtering synthesis in the frames of neuromorphic model inspired by biological sensory system. To adequately model the perception mechanisms the analysis and synthesis are carried out on the base of the most realistic representation of input data-external stimuli-in the form of the stream of receptor registration events. Statistical model of that stream is chosen in the form of Poisson two-dimensional point processes. On this basis, a statistical description of the input data in the form of a sampling representation is proposed. the model of neural encoding of input data is considered in the article within the framework of the receptive fields concept. A number of well-known neuro-mechanisms are implemented in the encoding model, including in particular, center/surround inhibition. Decoding issues are considered in the context of stimuli spatial contrasts restoration, which partially models the responses of so-called simple cells in the visual cortex. It is shown that the model of coupled ON-OFF-decoding admits the sharp image details restoring in the form of local edges. At the end of the article, to justify the adequacy of the synthesized encoding procedure-adaptive filtering-we demonstrate an example of image edge directed interpolation and discus the results in the terms of perceptual quality.

关键词： Adaptive filtering Linear-nonlinear Poisson model Neuromorphic systems Receptive fields Center/surround inhibition Perception

来源：评论

学校读者我要写书评

暂无评论

proceedings of ROSS 2022: international Workshop on Runtime and Operating systems for Supercomputers, Held in conjunction with SC 2022: the international conference for High Performance Computing, Networking, Storage and Analysis

Proceedings of ROSS 2022: International Workshop on Runtime ...

引用

12th IEEE/acm international Workshop on Runtime and Operating systems for Supercomputers, ROSS 2022

the proceedings contain 3 papers. the topics discussed include: towards efficient oversubscription: on the cost and benefit of event-based communication in MPI;porting the kitten lightweight kernel operating system to...

ISBN: (纸本)9781665475662

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共145页 << < 2 3 4 5 6 7 8 9 10 11 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：