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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是351-360 订阅

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

详细简洁

排序：

Cyclic Operator Precedence Grammars for Improved Parallel Parsing 1

引用

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

作者： Chiari, Michele Mandrioli, Dino Pradella, Matteo TU Wien Inst Comp Engn Treitlstr 3 A-1040 Vienna Austria Politecn Milan DEIB Piazza Leonardo Da Vinci 32 I-20133 Milan Italy CNR IEIIT Via Ponzio 34-5 I-20133 Milan Italy

ISBN: (数字)9783031661594

ISBN: (纸本)9783031661587;9783031661594

Operator precedence languages (OPL) enjoy the local parsability property, which essentially means that a code fragment enclosed within a pair of markers-playing the role of parentheses-can be compiled with no knowledge of its external context. Such a property has been exploited to build parallel compilers for languages formalized as OPLs. It has been observed, however, that when the syntax trees of the sentences have a linear substructure, its parsing must necessarily proceed sequentially making it impossible to split such a subtree into chunks to be processed in parallel. Such an inconvenience is due to the fact that so far much literature on OPLs has assumed the hypothesis that the equality precedence relation cannot be cyclic. We present an enriched version of operator precedence grammars which allows to remove the above hypothesis, therefore providing a little more expressive generality, and to further optimize parallel compilation.

关键词： Operator Precedence Languages Cyclic Precedence Relations Parallel Parsing

来源：评论

学校读者我要写书评

暂无评论

Evaluating a Teaching Analytics Dashboard in Adult Education: Lessons Learned 19th

Evaluating a Teaching Analytics Dashboard in Adult Education...

引用

42nd Conference and Exposition on Structural Dynamics (IMAC)

作者： Ngoc Buu Cat Nguyen Univ West Trollhattan Sweden

ISBN: (纸本)9783031723117;9783031723124

Continuously monitoring student progress is predictive of student academic success but challenging for teachers in online courses. Although several teaching analytics dashboards (TADs) were developed, a lack of evidence of their impact and effectiveness on teaching and learning remains. Among the reasons stressed in earlier research, scholars pointed out: limited engagement of teachers in the design and development process of TADs, their busy schedules, their lack of data literacy, and neglect of pedagogical aspects. This paper presents a TAD which was developed to address the existing challenges, and its evaluation in higher education courses. Task-Technology Fit theory was used to evaluate teachers' use of the TAD. The results show that the real-time TAD enables teachers to make in-time interventions to motivate low-performance students and to make changes in learning design while the course was occurring. Allowing teachers to use the TAD in running courses provides evidence of the tool use in a real-world context, which has been recognized as lacking in the field. Practical lessons are indicated for both the development process and the dashboard itself.

关键词： Teaching Analytics Dashboards Teachers Task-Technology Fit Evaluation

来源：评论

学校读者我要写书评

暂无评论

From Sparse to Smart: Leveraging AI for Effective Online Judge Problem Classification in Programming Education 19th

From Sparse to Smart: Leveraging AI for Effective Online Jud...

引用

19th European Conference on Technology Enhanced Learning (EC-TEL)

作者： Pereira, Filipe Dwan Moraes, Maely Henklain, Marcelo Hellas, Arto Oliveira, Elaine Gasevic, Dragan Barreto, Raimundo Mello, Rafael Univ Fed Roraima Boa Vista Parana Brazil Cesar Sch Recife PE Brazil Aalto Univ Espoo Finland Univ Fed Amazonas Manaus Amazonas Brazil Monash Univ Melbourne Vic Australia

ISBN: (纸本)9783031723148;9783031723155

Online Judges (OJs) have gained substantial traction in programming education due to their ability to simultaneously present problem-solving challenges to students while offering instant feedback and correction. Such technologies are also essential to allow students in remote areas to access quality and equitable education. Nonetheless, OJ systems often lack sufficient amounts of annotated data (i.e., labelled data) about the topics of the problems that they aim to support, which makes choosing appropriate problems hard. Topic annotations hold significant value for instructors when selecting problems for assignments and for novice students seeking independent use of OJ systems. In this work, we propose and evaluate a pre-trained deep learning architecture and an active learning methodology to automatically annotate OJ problems in the context of introductory programming. Our results show that, when using a smaller amount of data, the methodology demonstrates performance comparable to those of the existing state-of-the-art methods for the identical task.

关键词： Educational Text Mining computer Education Online Judges Resource-limited

来源：评论

学校读者我要写书评

暂无评论

A Cognitive Slack Approach to Organizational Design 17th

A Cognitive Slack Approach to Organizational Design

引用

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

作者： Mortimore, David Buettner, Raymond R., Jr. Aten, Kathryn J. Naval Undersea Warfare Ctr Div Keyport WA 98345 USA Naval Postgrad Sch Monterey CA 93943 USA

ISBN: (纸本)9783031722400;9783031722417

Organizational performance and goal attainment depend upon robust decision-making and group employment of relevant information and expertise. However, the effects of structural interference can both inhibit and undermine the ability of organizations to locate, access, and employ needed information and cognitive specializations. Importantly, structural interference is a system property: its effects cannot be eliminated, only mitigated. Contending with the effects of structural interference also consumes scarce organizational resources, particularly cognitive slack, negatively impacting performance and stakeholder value generation. Purposeful use of contributor-bias, receiver-bias, point of origin curation (PoOC), and non-human knowledge worker (NHKW) techniques can lessen the cognitive slack lost to structural interference, enabling groups to make more gainful use of relevant information and expertise in choosing how to best accomplish organizational strategies. Computational experiments indicated that receiver-bias, PoOC, and NHKW techniques can effectively return meaningful amounts of cognitive slack, which can then generate more robust group decision-making and performance, ultimately.

关键词： Attention Transactive Memory Cognitive Slack Decision-Making Team Performance

来源：评论

学校读者我要写书评

暂无评论

Analytical Approaches for Examining Learners' Emerging Self-regulated Learning Complex Behaviors with an Intelligent Tutoring System 6th

Analytical Approaches for Examining Learners' Emerging Self-...

引用

6th International Conference on Adaptive Instructional Systems (AIS) Held as Part of the 26th International Conference on Human-computer Interaction (HCII)

作者： Dever, Daryn A. Wiedbusch, Megan D. Azevedo, Roger Univ Cent Florida Orlando FL 32816 USA

ISBN: (纸本)9783031606083;9783031606090

Self-regulated learning (SRL), or the ability for a learner to monitor and change their cognitive, affective, metacognitive, and motivational processes, is a critical skill to enact, especially while learning about difficult topics within an intelligent tutoring system (ITS). Learners' enactment of SRL behaviors during learning with ITSs has been extensively studied within the human-computer interaction field but few studies have examined the extent to which learners' SRL behaviors quantitatively demonstrate a functional system (i.e., equilibrium of repetitive and novel behaviors). However, current analytical approaches do not evaluate how the functionality of learners' SRL behaviors unfolds as time on task progresses. This paper reviews two analytical approaches, both based within categorical auto-recurrence quantification analysis (aRQA), for examining how learners' SRL complex behaviors emerge during learning with an ITS. The first approach, binned categorical aRQA, segments learners' SRL behaviors into bins and performs categorical aRQA on the SRL behaviors enacted within those bins to produce metrics of complexity that demonstrate how learners' functionality of their SRL systems change over time. The second approach, cumulative categorical aRQA, continuously calculates complexity metrics as learners enact SRL behaviors to identify the evolution of learners' functional SRL. These two approaches allow researchers to identify how the functionality of SRL behaviors change over time in relationship to the occurrences within the ITS environment. From this discussion, we provide actionable implications for contributing to how learners' SRL functionality can be visualized and scaffolded during learning with an ITS.

关键词： Self-regulated Learning Categorical auto-Recurrence Quantification Analysis Intelligent Tutoring System Complexity

来源：评论

学校读者我要写书评

暂无评论

Experience Design Assisted Healing and Therapeutic Design for Promoting Cultural Heritage: A Case of China Traditional Lingnan Water Village 1

引用

13th International Conference on Design, User Experience and Usability (DUXU)

作者： Ma, Ziyi Liu, Zhen South China Univ Technol Sch Design Guangzhou 510006 Peoples R China

ISBN: (数字)9783031613562

ISBN: (纸本)9783031613555;9783031613562

The traditional Lingnan water village is an important representative of Guangfu culture in China, of which the regional cultural background of "villages built near the water" has created rich historical and cultural resources and a unique natural water village style. However, there are few studies that analyze the problems of the Lingnan water villages from the perspective of experience design, and propose practical solutions. Therefore, the aim of this paper is to investigate the current situation and problems in Lingnan water villages in terms of user experience, and to explore the possibility of implementing healing and therapeutic design with the experience design for Lingnan water villages, and to propose a experience design assisted healing and therapeutic design for promoting cultural heritage.

关键词： Lingnan Water Villages Healing Therapeutic Design Experience Design Double Diamond Design Model Tourism Cultural Heritage

来源：评论

学校读者我要写书评

暂无评论

LLM-Based Structuring of Oral Discussion in Workshop to Support Collaboration Among Local Government and Simulated Citizens 30th

LLM-Based Structuring of Oral Discussion in Workshop to Supp...

引用

30th International Conference on Collaboration Technologies and Social Computing (CollabTech)

作者： Sato, Gen Shiramatsu, Shun Hoshino, Mizuki Watanabe, Shuhei Haibo, Yu Mizumoto, Takeshi Nagoya Inst Technol Showa Ku Gokiso Cho Nagoya Aichi 4668555 Japan Hylable Inc 2-203 Suzuoto Bldg2-26-12 Minami Otsuka Toshima City Tokyo 170005 Japan

ISBN: (纸本)9783031679971;9783031679988

In oral discussions, such as workshops, notes and sticky notes are frequently used to record content of the utterances. However, the content of the discussion may not be accurately captured or be forgotten through manual writing. Although the results from speech recognition could be used, they are difficult to understand because they are redundant and consist of fillers. This study addresses this problem by recording the speech-recognition results into text, similar to writing on a sticky note. The text should be well-structured for participants to understand. The objective of this research is to develop a discussion structuring system for use in real time and demonstrate its utility as a substitute for notes. This system will enable users to easily reflect on the content and process of discussions. The large language model GPT-4 is used for paraphrasing speech-recognition results into simple sentences and structuring them. It will also be used for opinion generation to incorporate novel viewpoints to a target discussion. A discussion experiment using a prototype of this system was conducted for a workshop involving local government staff. It was shown that the system could serve as an alternative to sticky notes when people reflect on the discussions of the group and the artificial-intelligence-generated opinions from the system are effective in supporting discussion.

关键词： Discussion support Civic tech Large language model Semantic authoring

来源：评论

学校读者我要写书评

暂无评论

COBRA: Comparison-Optimal Betting for Risk-Limiting Audits 27th

COBRA: Comparison-Optimal Betting for Risk-Limiting Audits

引用

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)

作者： Spertus, Jacob V. Univ Calif Berkeley Dept Stat Berkeley CA 94720 USA

ISBN: (纸本)9783031488054;9783031488061

Risk-limiting audits (RLAs) can provide routine, affirmative evidence that reported election outcomes are correct by checking a random sample of cast ballots. An efficient RLA requires checking relatively few ballots. Here we construct highly efficient RLAs by optimizing supermartingale tuning parameters-bets-for ballot-level comparison audits. The exactly optimal bets depend on the true rate of errors in cast-vote records (CVRs)-digital receipts detailing how machines tabulated each ballot. We evaluate theoretical and simulated workloads for audits of contests with a range of diluted margins and CVR error rates. Compared to bets recommended in past work, using these optimal bets can dramatically reduce expected workloads-by 93% on average over our simulated audits. Because the exactly optimal bets are unknown in practice, we offer some strategies for approximating them. As with the ballot-polling RLAs described in ALPHA and RiLACs, adapting bets to previously sampled data or diversifying them over a range of suspected error rates can lead to substantially more efficient audits than fixing bets to a priori values, especially when those values are far from correct. We sketch extensions to other designs and social choice functions, and conclude with some recommendations for real-world comparison audits.

关键词： risk-limiting audit election integrity comparison audit nonparametric testing betting martingale

来源：评论

学校读者我要写书评

暂无评论

Physiological Anxiety Recognition 2nd

Physiological Anxiety Recognition

引用

2nd International Conference on Human and Artificial Rationalities (HAR)

作者： Guerra, Beatriz Sebastiao, Raquel Univ Aveiro Dept Phys DFis P-3810193 Aveiro Portugal Univ Aveiro Inst Elect & Informat Engn Aveiro IEETA Dept Elect Telecommun & Informat DETI Associate Lab LASIIntelligent Syst P-3810193 Aveiro Portugal

ISBN: (纸本)9783031552441;9783031552458

Anxiety is currently increasing in human daily life. Studies aimed to deepen the understanding of it, to minimize its negative impact on people's lives, have gained significant importance. In this context, the main focus of this work is to study the use of several physiological signals (electrocardiogram, electrodermal activity, and blood volume pulse) to predict the level of anxiety felt by a subject using four different approaches. These involve the use of a different number of features that are selected as more informative, and by training two classification models, with different properties. For the chosen approaches, the obtained results are compared and analysed to understand which performs better, i.e., which has a greater ability in anxiety recognition, being the anxiety level of each participant assessed through the application of the STICSA questionnaire. When selecting 20 features to train a Linear Discriminant Analysis model, an accuracy and precision of over 70% were achieved. This strategy presented the best performance as this model surpasses, for all the used metrics, the results obtained when using the models based on a decision tree. The encouraging obtained results sustained the feasibility of the use of simultaneous different physiological signals to train models for predicting the level of anxiety.

关键词： Anxiety Classification Decision Tree Filtering Linear Discriminant Analysis Physiological Signals

来源：评论

学校读者我要写书评

暂无评论

State Machines Across Isomorphic Layer 2 Ledgers 27th

State Machines Across Isomorphic Layer 2 Ledgers

引用

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

作者： Jourenko, Maxim Larangeira, Mario Tokyo Inst Technol Dept Math & Comp Sci Sch Comp Tokyo Japan Input Output Global Singapore Singapore

ISBN: (纸本)9783031477508;9783031477515

With the ever greater adaptation of blockchain systems, smart contract based ecosystems have formed to provide financial services and other utility. This results in an ever increasing demand for transactions on blockchains, however, the amount of transactions per second on a given ledger is limited. Layer-2 systems attempt to improve scalability by taking transactions off-chain, with building blocks that are two party channels which are concatenated to form networks. Interaction between two parties requires (1) routing such a network, (2) interaction with and collateral from all intermediaries on the routed path and (3) interactions are often more limited compared to what can be done on the ledger. In contrast to that design, recent constructions such as Hydra Heads (FC'21) are both multi-party and isomorphic, allowing interactions to have the same expressiveness as on the ledger making it akin to a ledger located on Layer-2. The follow up Interhead Construction (MARBLE'22) further extends the protocol to connect Hydra Heads into networks by means of a "virtual" Hydra Head construction. This work puts forth an even greater generalization of the Interhead Protocol, allowing for interaction across different Layer-2 ledgers with a multitude of improvements. As concrete example, our design is modular and lightweight, which makes it viable for both full virtual ledger constructions as well as straightforward one-time interactions and payments systems.

关键词： Blockchain State Channel Channel Network

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 32 33 34 35 36 37 38 39 40 41 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：