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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

282,612 篇 会议
17,616 册 图书

馆藏范围

299,997 篇 电子文献
263 种 纸本馆藏

日期分布

学科分类号

281,825 篇 工学
- 277,760 篇 计算机科学与技术...
- 67,756 篇 软件工程
- 14,904 篇 信息与通信工程
- 8,424 篇 电气工程
- 8,036 篇 控制科学与工程
- 4,694 篇 生物医学工程（可授...
- 985 篇 生物工程
- 839 篇 光学工程
- 610 篇 机械工程
- 572 篇 仪器科学与技术
- 494 篇 测绘科学与技术
- 494 篇 交通运输工程
35,922 篇 理学
- 28,741 篇 数学
- 5,545 篇 生物学
- 1,703 篇 物理学
- 1,138 篇 统计学（可授理学、...
- 524 篇 系统科学
- 486 篇 化学
30,405 篇 医学
- 22,130 篇 临床医学
- 9,245 篇 特种医学
- 3,041 篇 基础医学(可授医学...
- 1,217 篇 医学技术（可授医学...
10,802 篇 管理学
- 6,500 篇 管理科学与工程(可...
- 3,343 篇 图书情报与档案管...
- 1,777 篇 工商管理
- 743 篇 公共管理
4,316 篇 教育学
- 4,043 篇 教育学
2,352 篇 法学
- 2,009 篇 社会学
1,680 篇 文学
- 1,179 篇 新闻传播学
- 526 篇 外国语言文学
467 篇 艺术学
372 篇 经济学
149 篇 农学
98 篇 历史学
65 篇 哲学
24 篇 军事学

主题

10,824 篇 artificial intel...
4,630 篇 computer communi...
3,945 篇 deep learning
3,861 篇 information syst...
3,741 篇 computers
3,636 篇 software enginee...
3,329 篇 machine learning
3,242 篇 algorithm analys...
3,224 篇 semantics
2,287 篇 information stor...
2,189 篇 pattern recognit...
1,834 篇 neural networks
1,820 篇 user interfaces ...
1,820 篇 image processing...
1,803 篇 database managem...
1,791 篇 logics and meani...
1,777 篇 mathematical log...
1,772 篇 cryptography
1,755 篇 software enginee...
1,706 篇 data mining and ...

机构

647 篇 univ chinese aca...
539 篇 carnegie mellon ...
403 篇 univ chinese aca...
358 篇 univ calif berke...
353 篇 shanghai jiao to...
318 篇 stanford univ st...
307 篇 chinese acad sci...
288 篇 shanghai jiao to...
285 篇 inria
244 篇 tech univ munich...
241 篇 tech univ darmst...
225 篇 swiss fed inst t...
212 篇 univ waterloo wa...
207 篇 nanjing univ sta...
203 篇 tsinghua univ pe...
199 篇 ist austria klos...
198 篇 natl univ singap...
186 篇 mit cambridge ma...
185 篇 univ maryland co...
183 篇 chinese acad sci...

作者

212 篇 shen dinggang
104 篇 navab nassir
98 篇 zhang lei
94 篇 wang wei
92 篇 susilo willy
85 篇 liu yang
83 篇 rueckert daniel
81 篇 wang lei
81 篇 wang xin
76 篇 auer soeren
66 篇 golland polina
64 篇 weske mathias
61 篇 zhang yong
54 篇 liu wei
52 篇 zhang li
51 篇 zhou jie
49 篇 jiang xiaoyi
47 篇 zhang tao
47 篇 zhang yu
47 篇 ishai yuval

语言

298,286 篇 英文
1,937 篇 中文
1 篇 加泰罗尼亚文
1 篇 法文

检索条件"丛书名=Lecture Notes in Computer Science"

共 300228 条记录，以下是651-660 订阅

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

详细简洁

排序：

The Nurse's Knowledge Bank: A Serious Knowledge Elicitation and Evaluation Game 12th

The Nurse's Knowledge Bank: A Serious Knowledge Elicitation ...

引用

12th International Conference on Games and Learning Alliance (GALA)

作者： Impey, Sinead O'Sullivan, Declan Stephens, Gaye Trinity Coll Dublin Sch Comp Sci & Stat ADAPT Ctr Dublin Ireland

ISBN: (纸本)9783031490644;9783031490651

The problem addressed in this research is that not all nursing knowledge is captured in a way that is easy to access outside the border of a community of practice (CoP) or beyond geography or time. As nursing accounts for over half the healthcare professionals globally, the role is broad in scope, performed in various healthcare settings and across the human lifespan;managing this knowledge is important. To address this problem, this research explores to what extent a serious game could elicit and evaluate specialist nursing knowledge so that it can be preserved beyond its initial use. However, no suitable game was found. Using an elaborated action design research (eADR) approach, this research designed, implemented, and evaluated a serious knowledge elicitation and evaluation game - The Nurse's Knowledge Bank. In total, three cycles of the game were played by nurses (n = 18) based in an oncology setting. From the three cycles n = 112 evaluated knowledge submissions were captured. These submissions included concepts such as 'Check patients' temperature on discharge' or 'Ensure patient has their prescription before discharge'. These submissions were mapped into two clinical terminologies, providing a means of sharing this knowledge beyond the clinic border and demonstrating that serious games could potentially have a role in knowledge management. This paper presents an overview of the development and design of the game.

关键词： Serious Game Nursing Knowledge Knowledge Management

来源：评论

学校读者我要写书评

暂无评论

Negation and Information Structure in Tree-Wrapping Grammar 1

引用

20th International Conference on Logic and Engineering of Natural Language Semantics (LENLS)

作者： Balogh, Kata Heinrich Heine Univ Dusseldorf Dusseldorf Germany

ISBN: (数字)9783031608780

ISBN: (纸本)9783031608773;9783031608780

In this paper, we introduce a proposal towards a formal grammatical model that captures different types of negation uniformly, in terms of pragmatic structuring. The central objective of the paper is the analysis of the relation between focusing and negation, modeling both 'focus negation' and 'sentential negation'. We propose a modular grammatical model, with separate but interrelated representations for syntax, semantics and information structure. We argue for a two-level analysis of negation, such that next to semantics it operates at the level of information structure. The main concern of the paper is the formal grammatical modeling of the IS-level, where negation targets the communicative function determined by the given focus structure.

关键词： focus negation information structure formal grammar modeling formalized RRG

来源：评论

学校读者我要写书评

暂无评论

Efficient Rollup Batch Posting Strategy on Base Layer 27th

Efficient Rollup Batch Posting Strategy on Base Layer

引用

8th Workshop on Advances in Secure Electronic Voting (Voting) / 4th Workshop on Coordination of Decentralized Finance (CoDecFin) / 3rd Workshop on Decentralized Finance (DeFi) / 7th Workshop on Trusted Smart Contracts (WTSC)

作者： Mamageishvili, Akaki Felten, Edward W. Offchain Labs Zurich Switzerland

ISBN: (纸本)9783031488054;9783031488061

We design efficient and robust algorithms for the batch posting of rollup chain calldata on the base layer chain, using tools from operations research. We relate the costs of posting and delaying, by converting them to the same units and adding them up. The algorithm that keeps the average and maximum queued number of batches tolerable enough improves the posting costs of the trivial algorithm, which posts batches immediately when they are created, by 8%. On the other hand, the algorithm that only cares moderately about the batch queue length can improve the trivial algorithm posting costs by 29%. Our findings can be used by layer two projects that post data to the base layer at some regular rate.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

Dynamic Labeling: A Control System for Labeling Styles in Image Annotation Tasks

Dynamic Labeling: A Control System for Labeling Styles in Im...

引用

Conference on Human Interface and the Management of Information Thematic Area (HIMI) Held as Part of the 26th International Conference on Human-computer Interaction (HCII)

作者： Chang, Chia-Ming He, Yi Du, Xusheng Yang, Xi Xie, Haoran Univ Tokyo Tokyo Japan Japan Adv Inst Sci & Technol Nomi Ishikawa Japan Jilin Univ Jilin Jilin Peoples R China

ISBN: (纸本)9783031601064;9783031601071

Labeling style affects labeling efficiency and quality in image annotation tasks. For example, a "label quickly" style can increase labeling efficiency when the data are easy, and a "label carefully" style can increase label quality when the data are difficult. However, the selection of an appropriate labeling style is difficult as different annotators have different experiences and domain knowledge, affecting their subjective feelings of data difficulties (for example, User 1 feels Data A to be easy, while User 2 feels it difficult). In this paper, we propose "Dynamic Labeling" as a control system for labeling styles used in image-labeling tasks. Our control system analyzes the labeling behaviors of annotators (i.e., label selection time) and dynamically assigns an appropriate labeling style (label quickly or label carefully). We conducted a user study to compare a conventional "nondynamic" and the proposed "dynamic" labeling approaches for an image-labeling task. The results suggest that Dynamic Labeling increased the label quality and labeling efficiency.

关键词： Data Annotation Labeling Styles Annotator Behaviors Crowdsourcing Dynamic Control System

来源：评论

学校读者我要写书评

暂无评论

Forsage: Anatomy of a Smart-Contract Pyramid Scheme 27th

Forsage: Anatomy of a Smart-Contract Pyramid Scheme

引用

27th International Conference on Financial Cryptography and Data Security (FC)

作者： Kell, Tyler Yousaf, Haaroon Allen, Sarah Meiklejohn, Sarah Juels, Ari Cornell Tech New York NY USA UCL London England IC3 Wahsington DC 20536 USA

ISBN: (纸本)9783031477508;9783031477515

Pyramid schemes are investment scams in which top-level participants in a hierarchical network recruit and profit from an expanding base of defrauded newer participants. They have existed for over a century, but their historical opacity has prevented in-depth studies. This paper presents an empirical study of Forsage, a smart-contract-based pyramid scheme with unprecedented transparency. Our study focuses on the period around 2020, when Forsage was one of the largest contracts (by gas usage) in Ethereum. In 2022, some months after initial release of this work, the U.S. SEC dubbed Forsage a "fraudulent crypto pyramid and Ponzi scheme" and filed charges against its creators and promoters. We quantify the (multi-million-dollar) gains of top-level participants as well as the losses of the vast majority (around 88%) of users. We analyze Forsage code both manually and using a purpose-built transaction simulator that we release as open source software to uncover the complex mechanics of the scheme. Through complementary study of promotional videos and social media, we show how Forsage promoters leveraged the unique features of smart contracts to lure users with false claims of trust-worthiness and profitability, and how Forsage activity is concentrated within a small number of national communities. Our analysis is the most complete study of a pyramid scheme to date.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

SAMI: An AI Actor for Fostering Social Interactions in Online Classrooms 20th

SAMI: An AI Actor for Fostering Social Interactions in Onlin...

引用

20th International Conference on Intelligent Tutoring Systems (ITS)

作者： Kakar, Sandeep Basappa, Rhea Camacho, Ida Griswold, Christopher Houk, Alex Leung, Christopher Tekman, Mustafa Westervelt, Patrick Wang, Qiaosi Goel, Ashok K. Georgia Inst Technol Atlanta GA 30332 USA

ISBN: (纸本)9783031630279;9783031630286

Learning is a social process. However, online learning is characterized by social isolation. We present an AI social actor, SAMI, for fostering social interactions in online classrooms. SAMI (Social Agent Mediated Interactions) aims to mitigate the potentially adverse impact of social isolation on the learning experience and emotional well-being of geographically dispersed online learners in asynchronous educational settings. SAMI connects learners based on their shared identity considering student location, hobbies, and academic interests. It also aims to enhance the feeling of "belongingness" felt by the students in the community of online students. SAMI has been deployed at Georgia Institute of Technology in several online classes with over 11000 students in the past two years. We describe our findings from student surveys to gauge SAMI's effectiveness.

关键词： Adult Learning Online Education Social Presence AI Social Actor Community Building

来源：评论

学校读者我要写书评

暂无评论

The Pumping Lemma for Context-Free Languages is Undecidable 1

引用

28th International Conference on Developments in Language Theory (DLT)

作者： Gruber, Hermann Holzer, Markus Rauch, Christian Planerio GmbH Theresienhohe 11A D-80339 Munich Germany Univ Giessen Inst Informat Arndtstr 2 D-35392 Giessen Germany

ISBN: (数字)9783031661594

ISBN: (纸本)9783031661587;9783031661594

Recently, the computational complexity of the Pumping-Problem, that is, for a given finite automaton A and a value p, deciding whether the language L(A) satisfies a previously fixed regular pumping lemma w.r.t. the value p, was considered in [H. Gruber and M. Holzer and C. Rauch. The Pumping Lemma for Regular Languages is Hard. CIAA 2023, pp. 128-140.]. Here we generalize the Pumping-Problem by investigating Bar-Hillel's context-free pumping lemma instead. It turns out that for context-free languages, the Pumping-Problem for Bar-Hillel's pumping lemma is undecidable. When restricted to regular languages, the problem under consideration becomes decidable.

关键词： Context free languages

来源：评论

学校读者我要写书评

暂无评论

A Tool for Distributed Collaborative Causal Discovery 17th

A Tool for Distributed Collaborative Causal Discovery

引用

17th International Conference on Social, Cultural, and Behavioral Modeling (SBP-BRiMS)

作者： Tregubov, Alexey Abramson, Jeremy Schwab, Stephen Blythe, Jim USC Informat Sci Inst Marina Del Rey CA 90292 USA

ISBN: (纸本)9783031722400;9783031722417

The development of accurate causal models is crucial for achieving and explaining desired outcomes that require interventions. Building these models efficiently requires combining available data with expert causal knowledge. Often experts have unique data and model insights, but sharing them is challenging due to privacy or security concerns. Federated machine learning addresses similar issues by allowing multiple sites to collaborate on a common model without sharing private datasets. This paper introduces CCaT, a distributed causal discovery tool enabling collaborative development of a shared causal model while preserving local models and data privacy. CCaT allows each site to evaluate and refine the shared model using its private dataset, sharing only summary statistics or suggested new causal relations. The tool supports maintaining distinct local causal models, as analysts can choose to adopt or change parts of the shared model. CCaT enhances the accuracy of causal models by leveraging diverse expertise and data, achieving a generality and accuracy unattainable by individual sites. We present several common scenarios with the CCaT to demonstrate its effectiveness.

关键词： Differential privacy

来源：评论

学校读者我要写书评

暂无评论

The Impact of Color in Phone Software Interfaces on the User Experience of the Elderly 10th

The Impact of Color in Phone Software Interfaces on the User...

引用

10th International Conference on Human Aspects of IT for the Aged Population (ITAP) Held as Part of the 26th International Conference on Human-computer Interaction (HCII)

作者： Wang, Teng Ye, Zhiyuan Xi, Zhijie Mei, Jie Zhu, Jinjin Jiang, Ao Fuzhou Univ Fuzhou Peoples R China Nanjing Univ Aeronaut & Astronaut London England Imperial Coll London EuroMoonMarsLondon ILEWG ESA London England

ISBN: (纸本)9783031615429;9783031615436

In recent years, China has entered an aging society [1]. As they age, the elderly experience a continuous decline in vision. The decrease in the transmittance of the elderly lens and the size of the pupil leads to a weakened sensitivity to light [2]. In terms of color recognition, due to the degeneration of the visual nerves and the reduction of cone cells in the retina, the elderly's ability to distinguish colors deteriorates [3]. They become very sensitive to intense brightness, their sensitivity to color discrimination decreases, and as a result, their speed of processing visual information slows down [4]. Moreover, with the increase in age, cognitive abilities also decline, and the elderly will take longer than younger individuals to complete a given task [5]. Psychologically, the elderly often experience negative emotions such as anxiety and depression due to the decline in vision [6]. As of June 2023, the proportion of internet users aged 60 and over was 13% [7], and the number of elderly people using smart products has gradually increased. Therefore, in the digital age, the design of interactive interfaces plays a crucial role for the elderly in using social apps. Phone apps are commonly used social apps for the elderly. According to color psychology theory, colors have a regulatory effect on human functions and emotional changes [8]. However, most of the existing phone app interfaces are relatively monochromatic, relying solely on characters and layout to convey information. The functionality of searching, dialing, and connecting is not clear, leading to relatively difficult information recognition for the elderly and a poorer user experience.

关键词： Seniors Communication Software Color Perception User Experience

来源：评论

学校读者我要写书评

暂无评论

Employers as Peers: Applying and Reviewing Digital Badges 8th

Employers as Peers: Applying and Reviewing Digital Badges

引用

8th International Conference on Emerging Technologies for Education (SETE)

作者： Stabauer, Martin Paminger, Peter Johannes Kepler Univ Linz Linz Austria Invest Unternehmensbeteiligungs AG Linz Austria

ISBN: (纸本)9789819742455;9789819742462

Digital badges have been widely recognized as one of the topics of great discussion in higher education in recent years. The European Commission has presented its plan for a European approach to microcredentials with the intention of making these alternative credentials more widespread in the European education area by 2025. However, many potential stakeholders may not yet recognize or even know about digital badges. We investigated the current situation among Austrian employers, corporate recruiters, and headhunters through expert interviews. The interviews show that all the stakeholders mentioned have developed very specific points of view. We confirm that there is a widespread interest in badge use and awareness of potential benefits. Our interviews show that peer feedback from stakeholders supports the revision of current badges at multiple levels. These peer reviews should be formalized and published in a reusable and meaningful way. This leads to the conclusion that for these peer reviews to be helpful in badge development, there is an increasing demand for a platform or framework to bring structure and standardization to the growing amount of implicit and explicit feedback from HR experts.

关键词： Digital Badges Higher Education Peer Review

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 62 63 64 65 66 67 68 69 70 71 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：