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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,603 篇 会议
17,623 册 图书

馆藏范围

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

日期分布

学科分类号

281,828 篇 工学
- 277,751 篇 计算机科学与技术...
- 67,717 篇 软件工程
- 14,895 篇 信息与通信工程
- 8,439 篇 电气工程
- 8,089 篇 控制科学与工程
- 4,688 篇 生物医学工程（可授...
- 974 篇 生物工程
- 827 篇 光学工程
- 606 篇 机械工程
- 568 篇 仪器科学与技术
- 494 篇 测绘科学与技术
- 492 篇 交通运输工程
35,837 篇 理学
- 28,677 篇 数学
- 5,532 篇 生物学
- 1,683 篇 物理学
- 1,126 篇 统计学（可授理学、...
- 517 篇 系统科学
- 482 篇 化学
30,399 篇 医学
- 22,124 篇 临床医学
- 9,245 篇 特种医学
- 3,035 篇 基础医学(可授医学...
- 1,217 篇 医学技术（可授医学...
10,775 篇 管理学
- 6,492 篇 管理科学与工程(可...
- 3,323 篇 图书情报与档案管...
- 1,770 篇 工商管理
- 743 篇 公共管理
4,314 篇 教育学
- 4,041 篇 教育学
2,337 篇 法学
- 1,997 篇 社会学
1,680 篇 文学
- 1,179 篇 新闻传播学
- 526 篇 外国语言文学
467 篇 艺术学
372 篇 经济学
149 篇 农学
98 篇 历史学
65 篇 哲学
24 篇 军事学

主题

10,830 篇 artificial intel...
4,631 篇 computer communi...
3,945 篇 deep learning
3,861 篇 information syst...
3,741 篇 computers
3,637 篇 software enginee...
3,332 篇 machine learning
3,243 篇 algorithm analys...
3,223 篇 semantics
2,288 篇 information stor...
2,190 篇 pattern recognit...
1,834 篇 neural networks
1,820 篇 user interfaces ...
1,820 篇 image processing...
1,805 篇 database managem...
1,794 篇 logics and meani...
1,777 篇 mathematical log...
1,770 篇 cryptography
1,757 篇 software enginee...
1,707 篇 data mining and ...

机构

651 篇 univ chinese aca...
541 篇 carnegie mellon ...
403 篇 univ chinese aca...
359 篇 univ calif berke...
353 篇 shanghai jiao to...
318 篇 stanford univ st...
307 篇 chinese acad sci...
288 篇 shanghai jiao to...
285 篇 inria
248 篇 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,284 篇 英文
1,937 篇 中文
1 篇 加泰罗尼亚文
1 篇 法文

检索条件"丛书名=Lecture notes in computer science,"

共 300226 条记录，以下是4871-4880 订阅

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

详细简洁

排序：

Digitization of Written Parliamentary Questions from the Historical Archive (1974-1977) of the Hellenic Parliament

Digitization of Written Parliamentary Questions from the His...

引用

18th International Conference on Document Analysis and Recognition (ICDAR)

作者： Fitsilis, Fotios Gatos, Basilis Palaiologos, Konstantinos Kaddas, Panagiotis Kyrkos, Charalambis Georgoulea, Maria-Eleni Armenakis, Yiannis Tasouli, Christina Mikros, George Rozenberg, Olivier Kiousi, Eleni Hellen Parliament Vas Sofias Ave 2-4 Athens 10021 Greece Natl Ctr Sci Res Demokritos Patriarchou Grigoriou E & Neapoleos 27 Aghia Paraskevi 15341 Greece Hellen OCR Team Aretis 5B Aghia Paraskevi 15343 Greece Hamad Bin Khalifa Univ Educ City Gate 8 Ar Rayyan Qatar

ISBN: (纸本)9783031706448;9783031706455

This article outlines the digitization process and methodology applied to the archive of parliamentary questions from the 1st Parliamentary Term (1974-1977) in the Hellenic Parliament. A collaborative pilot project involving parliament, academia, and a research center facilitated the conversion of printed material to open data. The main tasks of the project include capturing digital images, a custom Optical Character Recognition (OCR) software solution employing machine learning, and rigorous validation for accuracy of a fragmented and of variable quality polytonic corpus in a variety of modern Greek language called Katharevousa. The article discusses the approach and challenges as well as the initial results of the digitization effort, emphasizing ongoing research steps. Overall, 1,674 images were digitally processed corresponding to 1,338 questions. Following algorithmic training, character recognition accuracy is over 98.5%. Successful implementation streamlines further similar digitalization operations in the vast parliamentary archives, while enabling in-depth studies on parliamentary control in the turbulent period of the immediate post-junta era in Greece. A preliminary comparative analysis with a corpus of newer parliamentary questions (2009-2019) provides insights and incentives for the further study of the characteristics and evolution of the Greek language.

关键词： Hellenic Parliament written questions machine learning OCR parliamentary control polytonic corpus

来源：评论

学校读者我要写书评

暂无评论

A Case Study Exploring Data Synthesis Strategies on Tabular vs. Aggregated Data Sources for Official Statistics 1

引用

International Conference on Privacy in Statistical Databases (PSD)

作者： Aghaddar, Mohamed Nuo, Liu Slokom, Manel Barnhoorn, Lucas De Wolf, Peter-Paul Stat Netherlands The Hague Netherlands Ctr Wiskunde & Informat Amsterdam Netherlands

ISBN: (数字)9783031696510

ISBN: (纸本)9783031696503;9783031696510

In this paper, we investigate different approaches for generating synthetic microdata from open-source aggregated data. Specifically, we focus on macro-to-micro data synthesis. We explore the potential of the Gaussian copulas framework to estimate joint distributions from aggregated data. Our generated synthetic data is intended for educational and software testing use cases. We propose three scenarios to achieve realistic and high-quality synthetic microdata: (1) zero knowledge, (2) internal knowledge, and (3) external knowledge. The three scenarios involve different knowledge of the underlying properties of the real microdata, i.e., standard deviation, and covariate. Our evaluation includes matching tests to evaluate the privacy of the synthetic datasets. Our results indicate that macro-to-micro synthesis achieves better privacy preservation compared to other methods, demonstrating both the potential and challenges of synthetic data generation in maintaining data privacy while providing useful data for analysis.

关键词： Synthetic data Aggregated data Reconstruction attack Macro-to-Micro Micro-to-Micro post-processing

来源：评论

学校读者我要写书评

暂无评论

Splossoms: Spherical Blossoms 40th

Splossoms: Spherical Blossoms

引用

40th computer Graphics International Conference (CGI)

作者： Rockwood, Alyn Boulder CO United States

ISBN: (纸本)9783031500787;9783031500770

This paper provides an overview of spherical blossoms, called splossoms, and some of its implications. The blossom of a polynomial is a multi-affine function of euclidean space with the same number of variables as the degree of the polynomial. It provides many insights to the polynomial and simplifies methods not otherwise apparent. One example is the de Casteljau algorithm for computing and subdividing a Bezier curve. This report describes a blossom for a parametric de Casteljau-like curve on the sphere, leading to similar insights and simplification of algorithms on the sphere. Two earlier such methods are the well-known SLERP and SQUAD interpolations of points on the sphere. These methods are re-formulated with our new concept, the splossom, which plays the role of a blossom in spherical space. Some of its implications are briefly sketched to illustrate its potential. The splossom itself is neatly described in terms of spinors in Geometric Algebra. This development follows the Geometric Algebra approach and points to considerable further research within its broad vista.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Composition Machines: Programming Self-organising Software Models for the Emergence of Sequential Program Spaces 18th

Composition Machines: Programming Self-organising Software M...

引用

18th International Conference on Theoretical Aspects of Software Engineering (TASE)

作者： Arellanes, Damian Univ Lancaster Lancaster LA1 4WA England

ISBN: (纸本)9783031646256;9783031646263

We are entering a new era in which software systems are becoming more and more complex and larger. So, the composition of such systems is becoming infeasible by manual means. To address this challenge, self-organising software models represent a promising direction since they allow the (bottom-up) emergence of complex computational structures from simple rules. In this paper, we propose an abstract machine, called the composition machine, which allows the definition and the execution of such models. Unlike typical abstract machines, our proposal does not compute individual programs but enables the emergence of multiple programs at once. We particularly present the machine's semantics and demonstrate its operation with well-known rules from the realm of Boolean logic and elementary cellular automata.

关键词： Automatic Software Composition Self-Organising Software Models Emergent Software Applied Category Theory

来源：评论

学校读者我要写书评

暂无评论

The Search Futures Workshop 46th

The Search Futures Workshop

引用

46th European Conference on Information Retrieval (ECIR)

作者： Azzopardi, Leif Clarke, Charles L. A. Kantor, Paul B. Mitra, Bhaskar Trippas, Johanne R. Ren, Zhaochun Univ Strathclyde Glasgow Lanark Scotland Univ Waterloo Waterloo ON Canada Rutgers State Univ New Brunswick NJ USA Microsoft Res Montreal PQ Canada RMIT Univ Melbourne Vic Australia Leiden Univ Leiden Netherlands

ISBN: (纸本)9783031560682;9783031560699

The field and community of Information Retrieval (IR) are changing and evolving in response to the latest developments and advances in Artificial Intelligence (AI) and research culture. As the field and community re-oriented and re-consider its positioning within computing and information sciences more generally - it is timely to gather and discuss more seriously our field's vision for the future - the challenges and threats that the community and field faces - along with the bold new research questions and problems that are arising and emerging as we re-imagine search. This workshop aims to provide a forum for the IR community to voice and discuss their concerns and pitch proposals for building and strengthening the field and community.

关键词： Search Information retrieval Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Reinforcement Learning Applied to the Dynamic Capacitated Profitable Tour Problem with Stochastic Requests 24th

Reinforcement Learning Applied to the Dynamic Capacitated Pr...

引用

24th International Conference on Computational science and Its Applications (ICCSA)

作者： Caspar, Marvin Wendt, Oliver Univ Kaiserslautern Landau Business Informat Syst & Operat Res BISOR Postfach 3049 D-67653 Kaiserslautern Germany

ISBN: (纸本)9783031646041;9783031646058

This paper investigates the Dynamic Capacitated Profitable Tour Problem with Stochastic Requests (DCPTPSR), a variant of the Traveling Salesman Problem (TSP) with profits. In the DCPTPSR, online decisions must be made for accepting and scheduling requests over a finite number of periods. Requests follow a discrete-time stochastic process, and each request is characterized by a location, demand, and prize. Accepted requests must be served on a TSP tour such that the collected prize minus the transportation costs becomes maximal. The DCPTPSR has practical applications in food delivery and less-thantruckload transportation, where requests arrive in an online fashion and immediate decisions about acceptance and scheduling must be made. We model the DCPTPSR by a Markov Decision Process (MDP) and propose a Stochastic Dynamic Programming (SDP) algorithm for solving the problem to optimality. Addressing the computational challenges involved in SDP, we present a framework that integrates Reinforcement Learning (RL) as an alternative solution method. We perform an extensive numerical study where instances with up to incoming 25 requests can be solved by SDP while our RL approach can be used to adequately solve instances with even up to 100 incoming requests. Particularly, the performance of the RL approach is very close to the optimal policy by SDP and outperforms both the first come first serve heuristic and the first accept traveling salesman algorithm. The latter algorithm accepts requests if the available capacity enables it and fulfills these demands in an optimal TSP tour afterward. Especially instances with scarce capacity show considerable potential for savings in request acceptance and transportation scheduling decisions if both decisions are made simultaneously.

关键词： Online Optimization Profitable Tour Problem Temporal Difference Learning Stochastic Dynamic Programming

来源：评论

学校读者我要写书评

暂无评论

Execution at RISC: Stealth JOP Attacks on RISC-V Applications

Execution at RISC: Stealth JOP Attacks on RISC-V Application...

引用

28th European Symposium on Research in computer Security (ESORICS)

作者： Buckwell, Loic Gilles, Olivier Perez, Daniel Gracia Kosmatov, Nikolai Thales Res & Technol Palaiseau France

ISBN: (纸本)9783031541285;9783031541292

RISC-V is a recently developed open instruction set architecture gaining a lot of attention. To improve the security of these systems and design efficient countermeasures, a better understanding of vulnerabilities to novel and future attacks is mandatory. This paper demonstrates that RISC-V is sensible to Jump-Oriented Programming, a class of complex code-reuse attacks. We provide an analysis of new dispatcher gadgets we discovered, and show how they can be used together to build a stealth attack, bypassing existing protections. We implemented a proof-of-concept attack on an embedded web server compiled for RISC-V, in which we introduced a vulnerability allowing an attacker to read an arbitrary file from the remote host machine.

关键词： Control-Flow Integrity Code-Reuse Attacks Embedded Systems RISC-V

来源：评论

学校读者我要写书评

暂无评论

The Edifying Impact of Blending Game-Based Learning with Educational Robotics: A Systematic Review of Empirical Evidence 16th

The Edifying Impact of Blending Game-Based Learning with Edu...

引用

16th International Conference on Social Computing and Social Media (SCSM) Held as Part of the 26th International Conference on Human-computer Interaction (HCII)

作者： Kasenides, Nicos Piki, Andriani Paspallis, Nearchos Univ Cent Lancashire Cyprus Larnax Cyprus

ISBN: (纸本)9783031613043;9783031613050

Game-based learning is an effective pedagogical approach with a demonstrated capacity to activate learner engagement, inspire motivation, and enhance the overall learning experience. The application of educational robotics has also attracted a lot of attention in recent years across educational levels and domains. Despite their appeal and the positive learning outcomes associated with such innovative pedagogies, the synergistic edifying impact of blending them remains largely unexplored. The aim of this study is to present a synthesis of empirical evidence on game-based learning and educational robotics. A systematic literature review is conducted focusing on empirical research published between 2019 and 2023. The analysis reveals prevalent methodological approaches and pedagogical theories framing learning and instruction, as well as the most widely employed robotics and gaming platforms. The study sheds light not only on the benefits of embracing game-based learning and educational robotics, but also on the barriers and challenges associated with adopting such innovative pedagogies. Ultimately, the study attempts to portray the impact of these approaches on learning and transferable skills development.

关键词： Educational Robotics Game-Based Learning Pedagogical Frameworks Skills Competencies Empirical evidence

来源：评论

学校读者我要写书评

暂无评论

Application of Business Intelligence to Analysis of Factors for the Prevention of Non-communicable Diseases 23rd

Application of Business Intelligence to Analysis of Factors ...

引用

23rd International Conference on computer Information Systems and Industrial Management (CISIM)

作者： Carlos Calabria-Sarmiento, Juan Meza-Gomez, Adonai Escorcia-Gutierrez, Jose Univ Simon Bolivar Dept Syst Engn Barranquilla 080002 Colombia Univ Costa Dept Computat Sci & Elect CUC Barranquilla 080002 Colombia

ISBN: (纸本)9783031711145;9783031711152

In Atlantico, Colombia, the Departmental Health Secretariat has been proactive in promoting healthy lifestyles to prevent non-communicable diseases (NCDs), adhering to the strategies outlined in the Health Action Plan (PAS) as recommended by the Ministry of Health's Promotion and Prevention and Epidemiology and Demography Directorates. However, the efficacy of these activities is often hampered by a reliance on external data sources or studies from regions with dissimilar health determinants. This paper highlights the role of business intelligence tools-including dimensional fact models, multidimensional databases, ETL (Extract, Transform and Load) processes, and data visualization dashboards-in enhancing local data analysis, thereby providing valuable insights for public health management and research within Atlantico. By leveraging accurate, localized data, this approach strengthens decision-making processes in NCD prevention. The study aims to ascertain the impact of a healthy diet and physical activity on preventing NCDs among Atlantico's vulnerable populations, utilizing a confirmatory research methodology that employs observation, surveys, and interviews within the constraints of the COVID-19 pandemic. The findings underscore the critical role of diet and exercise in NCD prevention and demonstrate the efficacy of employing digital analytical tools and business intelligence to inform user-centric health interventions. This research lays the groundwork for developing evidence-based, locally tailored NCD prevention strategies, marking a significant advancement in public health initiatives in Atlantico.

关键词： Non-communicable diseases prevention Business intelligence in healthcare Data analysis for public health Healthy lifestyle interventions Evidence-based health policy

来源：评论

学校读者我要写书评

暂无评论

Impact and Performance of Randomized Test-Generation Using Prolog 34th

Impact and Performance of Randomized Test-Generation Using P...

引用

34th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)

作者： Gelderie, Marcus Luff, Maximilian Peltzer, Maximilian Aalen Univ Appl Sci Beethovenstr 1 D-73430 Aalen Germany

ISBN: (纸本)9783031712937;9783031712944

We study randomized generation of sequences of test-inputs to a system using Prolog. Prolog is a natural fit to generate test-sequences that have complex logical inter-dependent structure. To counter the problems posed by a large (or infinite) set of possible tests, randomization is a natural choice. We study the impact that randomization in conjunction with SLD resolution have on the test performance. To this end, this paper proposes two strategies to add randomization to a test-generating program. One strategy works on top of standard Prolog semantics, whereas the other alters the SLD selection function. We analyze the mean time to reach a test-case, and the mean number of generated test-cases in the framework of Markov chains. Finally, we provide an additional empirical evaluation and comparison between both approaches.

关键词： software testing randomization prolog

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 484 485 486 487 488 489 490 491 492 493 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：