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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

328 篇 会议
6 篇 期刊文献

馆藏范围

334 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

271 篇 工学
- 250 篇 计算机科学与技术...
- 182 篇 软件工程
- 39 篇 信息与通信工程
- 20 篇 生物工程
- 15 篇 控制科学与工程
- 15 篇 生物医学工程（可授...
- 13 篇 动力工程及工程热...
- 13 篇 电气工程
- 12 篇 电子科学与技术（可...
- 11 篇 建筑学
- 8 篇 环境科学与工程（可...
- 7 篇 土木工程
- 6 篇 机械工程
- 5 篇 材料科学与工程（可...
- 5 篇 化学工程与技术
- 4 篇 力学（可授工学、理...
79 篇 理学
- 49 篇 数学
- 21 篇 生物学
- 8 篇 物理学
- 8 篇 系统科学
- 7 篇 统计学（可授理学、...
- 4 篇 化学
64 篇 管理学
- 38 篇 图书情报与档案管...
- 29 篇 管理科学与工程(可...
- 21 篇 工商管理
26 篇 教育学
- 26 篇 教育学
13 篇 法学
- 10 篇 社会学
7 篇 医学
- 6 篇 基础医学(可授医学...
- 6 篇 临床医学
5 篇 经济学
- 5 篇 应用经济学
4 篇 农学
2 篇 军事学

主题

23 篇 mobile computing
14 篇 students
14 篇 cloud computing
7 篇 distributed comp...
6 篇 curricula
6 篇 ubiquitous compu...
5 篇 edge computing
5 篇 education comput...
4 篇 quantum computin...
4 篇 recommender syst...
4 篇 virtual machine
3 篇 genes
3 篇 bandwidth
3 篇 grid computing
3 篇 computer applica...
3 篇 computing power
3 篇 flash memory
3 篇 semantics
3 篇 genetic algorith...
3 篇 virtualization

机构

8 篇 school of comput...
5 篇 school of comput...
4 篇 department of co...
3 篇 school of comput...
3 篇 school of comput...
3 篇 school of comput...
2 篇 university of be...
2 篇 key laboratory o...
2 篇 school of comput...
2 篇 department of co...
2 篇 university of co...
2 篇 the hong kong po...
2 篇 marquette univer...
2 篇 dept. of compute...
2 篇 computing instit...
2 篇 institute of com...
2 篇 school of comput...
2 篇 university of ut...
2 篇 college of compu...
2 篇 kyungpook nation...

作者

6 篇 hong jiman
5 篇 hung chih-cheng
5 篇 song enmin
4 篇 zulkernine moham...
4 篇 cho yookun
4 篇 liu hong
3 篇 chan stephen c.f...
3 篇 kim bongjae
3 篇 varadharajan vij...
3 篇 zambonelli franc...
3 篇 ngai grace
2 篇 cassel lillian n...
2 篇 kühn eva
2 篇 sheikh iqbal aha...
2 篇 van langeveld ma...
2 篇 weldemariam komm...
2 篇 liu ling
2 篇 tancer martin
2 篇 mayer wolfgang
2 篇 ni lijun

语言

334 篇 英文

检索条件"任意字段=Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing"

共 334 条记录，以下是321-330 订阅

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

详细简洁

排序：

Human-enabled sustainable management of mobile cloud on 5G network: student research abstract 19

Human-enabled sustainable management of mobile cloud on 5G n...

引用

proceedings of the 34th acm/sigapp symposium on applied computing

作者： Sadia Din Kyungpook National University Daegu Korea

ISBN: (纸本)9781450359337

this paper presents a hierarchical system architecture for Mobile Cloud computing based on a novel 5G system architecture. Initially, a hierarchical system architecture is divided into three phases, i.e., foglet layer, service layer, and communication layer. Foglet layers provide the functionality of efficient resource sharing, the service layers assist the network by providing cloud services, and finally, the communication layers help in providing energy efficient communication using 5G system architecture. Simulation results show that the proposed scheme outperforms the existing cloud computing example scenario regarding cost and time.1

关键词： cloud computing foglet layer MCC service layer foglet

来源：评论

学校读者我要写书评

暂无评论

Session details: theme: Distributed systems: CCNIV - communication, computing and networking in internet of vehicles track 19

Session details: Theme: Distributed systems: CCNIV - communi...

引用

proceedings of the 34th acm/sigapp symposium on applied computing

作者： Imen Jemili Mohamed Mosbah University of Carthage Tunisia Bordeaux INP France

ISBN: (纸本)9781450359337

Nowadays, the Internet of Vehicles (IoVs) is considered as an important symbol of the Smart City concept to tackle urgent problems, such as traffic congestion, road accidents and environmental pollution. this paradigm has a wide application prospect in building future Intelligent Transportation Systems, which are becoming a major research area dealing with many challenging issues concerning computation, communication, safety, etc. Giving rise to wealth of new possibilities and applications ranging from safety applications to infotainment services to drivers and passengers, the academia and the industry are actively pushing the development of IoVs and making it a reality.

关键词：

来源：评论

学校读者我要写书评

暂无评论

CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining 2018

CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Min...

引用

26th acm Joint Meeting on European Software Engineering Conference (ESEC) / symposium on the Foundations of Software Engineering (FSE)

作者： Lu, Jie Li, Feng Li, Lian Feng, Xiaobing Univ Chinese Acad Sci Chinese Acad Sci Inst Comp Technol State Key Lab Comp Architecture Beijing Peoples R China Chinese Acad Sci Inst Informat Engn Inst Comp Technol State Key Lab Comp Architecture Beijing Peoples R China

ISBN: (纸本)9781450355735

Cloud systems suffer from distributed concurrency bugs, which are notoriously difficult to detect and often lead to data loss and service outage. this paper presents CloudRaid, a new effective tool to battle distributed concurrency bugs. CloudRaid automatically detects concurrency bugs in cloud systems, by analyzing and testing those message orderings that are likely to expose errors. We observe that large-scale online cloud applications process millions of user requests per second, exercising many permutations of message orderings extensively. those already sufficiently-tested message orderings are unlikely to expose errors. Hence, CloudRaid mines logs from previous executions to uncover those message orderings which are feasible, but not sufficiently tested. Specifically, CloudRaid tries to flip the order of a pair of messages < S, P > if they may happen in parallel, but S always arrives before P from existing logs, i.e., excercising the order P (sic) S. the log-based approach makes it suitable to live systems. We have applied CloudRaid to automatically test four representative distributed systems: Apache Hadoop2/Yarn, HBase, HDFS and Cassandra. CloudRaid can automatically test 40 different versions of the 4 systems (10 versions per system) in 35 hours, and can successfully trigger 28 concurrency bugs, including 8 new bugs that have never been found before. the 8 new bugs have all been confirmed by their original developers, and 3 of them are considered as critical bugs that have already been fixed.

关键词： Distributed Systems Concurrency Bugs Bug Detection Cloud computing

来源：评论

学校读者我要写书评

暂无评论

Embeddability in 3 is NP-hard

Embeddability in 3 is NP-hard

引用

29th Annual acm-SIAM symposium on Discrete Algorithms, SODA 2018

作者： De Mesmay, Arnaud Rieck, Yo'Av Sedgwick, Eric Tancer, Martin Univ. Grenoble Alpes CNRS Grenoble INP GIPSA-lab Grenoble38000 France Department of Mathematical Sciences University of Arkansas FayettevilleAR72701 United States School of Computing DePaul University 243 S. Wabash Ave ChicagoIL60604 United States Department of Applied Mathematics Charles University Malostranské nám. 25 Praha 1118 00 Czech Republic

ISBN: (纸本)9781611975031

We prove that the problem of deciding whether a 2or 3-dimensional simplicial complex embeds into R3 is NP-hard. this stands in contrast with the lower dimensional cases which can be solved in linear time, and a variety of computational problems in R3 like unknot or 3-sphere recognition which are in NP " co-NP (assuming the generalized Riemann hypothesis). Our reduction encodes a satisfiability instance into the embeddability problem of a 3-manifold with boundary tori, and relies extensively on techniques from lowdimensional topology, most importantly Dehn fillings on link complements. © Copyright 2018 by SIAM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

computing Shortest Closed Curves on Non-Orientable Surfaces 40

Computing Shortest Closed Curves on Non-Orientable Surfaces

引用

40th International symposium on Computational Geometry, SoCG 2024

作者： Bulavka, Denys de Verdière, Éric Colin Fuladi, Niloufar Einstein Institute of Mathematics Hebrew University Jerusalem Israel LIGM CNRS Univ. Gustave Eiffel Marne-la-ValléeF-77454 France LORIA CNRS INRIA Université de Lorraine NancyF-54000 France

ISBN: (纸本)9783959773164

We initiate the study of computing shortest non-separating simple closed curves with some given topological properties on non-orientable surfaces. While, for orientable surfaces, any two non-separating simple closed curves are related by a self-homeomorphism of the surface, and computing shortest such curves has been vastly studied, for non-orientable ones the classification of non-separating simple closed curves up to ambient homeomorphism is subtler, depending on whether the curve is one-sided or two-sided, and whether it is orienting or not (whether it cuts the surface into an orientable one). We prove that computing a shortest orienting (weakly) simple closed curve on a non-orientable combinatorial surface is NP-hard but fixed-parameter tractable in the genus of the surface. In contrast, we can compute a shortest non-separating non-orienting (weakly) simple closed curve with given sidedness in gO(1) · n log n time, where g is the genus and n the size of the surface. For these algorithms, we develop tools that can be of independent interest, to compute a variation on canonical systems of loops for non-orientable surfaces based on the computation of an orienting curve, and some covering spaces that are essentially quotients of homology covers. © Denys Bulavka, Éric Colin de Verdière, and Niloufar Fuladi.

关键词： Computational geometry

来源：评论

学校读者我要写书评

暂无评论

the derivation of minimal test sets for combinational logic circuits using genetic algorithms

The derivation of minimal test sets for combinational logic ...

引用

Midwest symposium on Circuits and Systems (MWSCAS)

作者： J.S. Takhar D.J. Gilbert School of Science and Mathematics Sheffield Hallam University Sheffield UK

To reduce the post-production cost of testing digital circuits, the derivation of minimal test sets is an important issue. the technique presented here applies a genetic algorithm to find minimal or near minimal test sets. the algorithm aims to minimise test sets that have been previously generated by an ATPG system and as such has been designed as a post-processor. the algorithm has been applied to a family of RISC (Reduced Instruction Set Computer) processors and a selection of ISCAS-85 benchmark circuits.

关键词： Logic testing Circuit testing Costs Digital circuits Genetic algorithms System testing Automatic test pattern generation Algorithm design and analysis Reduced instruction set computing Computer aided instruction

来源：评论

学校读者我要写书评

暂无评论

Power analysis applying the instantaneous complex power analytical expressions on a RL symmetrical three-phase system

Power analysis applying the instantaneous complex power anal...

引用

Midwest symposium on Circuits and Systems (MWSCAS)

作者： D.L. Milanez Faculdade de Engenharia de Ilha Solteira-Department Engenharia Elétrica Universidade Estadual Paulista Júlio de Mesquita Filho Brazil

this paper enhances some concepts of the Instantaneous Complex Power theory (1993, 1996) by analyzing the analytical expressions for voltages, currents and powers developed on a symmetrical RL three-phase system, during the transient caused by a sinusoidal voltage excitation. the powers delivered to an ideal inductor are interpreted, allowing a deep insight in the power phenomenon by analyzing the voltages in each element of the circuit. the results can be applied to the understanding of non-linear systems subject to sinusoidal voltage excitation and distorted currents.

关键词： Voltage Power system transients Circuits Transient analysis Inductors Reactive power Power system analysis computing Out of order Electronic mail Nonlinear distortion

来源：评论

学校读者我要写书评

暂无评论

Make IT matter: how computing can make a difference 09

Make IT matter: how computing can make a difference

引用

proceedings of the 40th acm technical symposium on Computer science education

作者： Gregory D. Abowd Georgia Institute of Technology Atlanta GA USA

ISBN: (纸本)9781605581835

Years ago I was trained as a software engineering researcher, well versed in the mathematical abstractions of programming. However, influenced by the writings and research of Mark Weiser and his Xerox PARC Ubiquitous computing group, I started to think about a different way of doing research in computing. computing technology, as Weiser predicted, has become so prevalent in our lives that we almost don't recognize everything that is computationally-based in our everyday *** this talk, I will focus on how information technologies woven into our everyday lives can address significant problems in the delivery of health care for vulnerable populations. My main experience, driven by personal necessity, is with developmental disabilities, but I hope that my story will show how the integration of the physical and digital worlds makes a real difference in our lives and the lives of others.

关键词： healthcare computing

来源：评论

学校读者我要写书评

暂无评论

A Simplified Algorithm for computing the Half-Plane Pull-In Range of a PLL

A Simplified Algorithm for Computing the Half-Plane Pull-In ...

引用

40th Southeastern symposium on System theory (SSST 2008)

作者： John L. Stensby Electrical and Computer Engineering Department University of Alabama Huntsville USA

ISBN: (纸本)9781424418060

For a second-order PLL with a lead-lag (i.e., imperfect integrator) loop filter, the pull-in range Ω{sub}p and the half-plane pull-in range Ω{sub}2 are important parameters. Both parameters play key roles in determining if phase lock will (or can) occur once the loop is closed. For values of loop detuning ω{sub}Δ that lie in the range 0 ≤ |ω{sub}Δ| < Ω{sub}p, the PLL will pull-in to phase lock from all values of initial phase error φ(0) and frequency error φ(0). that is, for 0 ≤ |ω{sub}Δ| < Ω{sub}p, pull-in will occur from all points on the (φ,φ{top}·) phase plane (hence the name pull-in range for Ω{sub}p). For values of loop detuning ω{sub}Δ that lie in the range Ω{sub}p ≤ |ω{sub}Δ| ≤ Ω{sub}2, the PLL will pull-in to phase lock from initial points that lie in a half-plane portion of the (φ, φ{top}·) phase plane (hence the name half-plane pull-in range for Ω{sub}2). In the literature, a numerical algorithm is described for computing Ω{sub}2. It involves a differential equation that becomes indeterminate at a saddle point from which a separatrix must be computed by using a complicated numerical procedure. In what follows, this algorithm is simplified by transforming the differential equation to remove the indeterminacy. the modified algorithm is applied, and numerical results are given for a practical and useful range of loop parameters.

关键词： phase locking pull-in range Prolymphocytic Leukemia Phase locked loops Loops Differential equations algorithms

来源：评论

学校读者我要写书评

暂无评论

Session details: theme: Distributed systems: MCA - Mobile computing and applications track 19

Session details: Theme: Distributed systems: MCA - Mobile co...

引用

proceedings of the 34th acm/sigapp symposium on applied computing

作者： Hong Va Leong Sheikh Iqbal Ahamed The Hong Kong Polytechnic University Hong Kong Marquette University

ISBN: (纸本)9781450359337

For the past 16 years, Mobile computing and Applications Tracks had been running successfully. the papers have been improving in quality and the competition has also become more and more severe, with dropping acceptance rate. this year, the track is experiencing a challenge in receiving fewer submissions from the past, and the set of accepted papers happens to be more concentrated geographically. With the relatively small sample size, this is perhaps the effect of statistical variations only. the track features research papers drawn from different application domains in mobile computing, with a very heavy orientation towards the recently upcoming areas of machine learning and artificial intelligence this year for security, privacy, localization and so on. To summarize, the track is dedicated to draw upon research efforts and expertise from different areas of research, so as to promote better synergy and to bring forth not only core communications and structures for application development and data management, but also important and upcoming research applications to realize the benefits of anywhere, any place and anytime pervasive and ubiquitous computing.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共34页 << < 25 26 27 28 29 30 31 32 33 34 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：