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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

80 篇 会议
9 册 图书
1 篇 期刊文献

馆藏范围

89 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

52 篇 工学
- 47 篇 计算机科学与技术...
- 22 篇 软件工程
- 6 篇 信息与通信工程
- 4 篇 电气工程
- 3 篇 控制科学与工程
- 3 篇 化学工程与技术
- 3 篇 安全科学与工程
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 测绘科学与技术
- 1 篇 生物医学工程（可授...
- 1 篇 城乡规划学
- 1 篇 网络空间安全
25 篇 理学
- 16 篇 数学
- 8 篇 物理学
- 3 篇 化学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 生物学
11 篇 管理学
- 7 篇 图书情报与档案管...
- 4 篇 工商管理
- 3 篇 管理科学与工程(可...
- 1 篇 公共管理
7 篇 法学
- 7 篇 社会学
1 篇 教育学
- 1 篇 教育学
1 篇 文学
- 1 篇 新闻传播学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 护理学（可授医学、...

主题

4 篇 computer communi...
4 篇 discrete mathema...
4 篇 graph theory
4 篇 artificial intel...
3 篇 theory of comput...
3 篇 software enginee...
3 篇 software enginee...
3 篇 reliability theo...
3 篇 database managem...
3 篇 computers
3 篇 algorithm analys...
2 篇 data storage rep...
2 篇 approximation al...
2 篇 quantum theory
2 篇 information stor...
1 篇 surveys
1 篇 position automat...
1 篇 public policy
1 篇 group theory
1 篇 计算理论

机构

2 篇 department of co...
2 篇 department of in...
1 篇 department for l...
1 篇 national institu...
1 篇 department of so...
1 篇 institute of inf...
1 篇 faculty of infor...
1 篇 boise state univ...
1 篇 school of applie...
1 篇 certicon shareho...
1 篇 institute of inf...
1 篇 cril-cnrs univer...
1 篇 school of naval ...
1 篇 us ctr dis contr...
1 篇 auburn universit...
1 篇 faculty of medic...
1 篇 cornell universi...
1 篇 uppsala universi...
1 篇 dept. of digital...
1 篇 school of inform...

作者

3 篇 šimko marián
2 篇 kutrib martin
2 篇 leszek pacholski
2 篇 löwe jan-thomas
1 篇 ronquillo charle...
1 篇 ferreira p.
1 篇 afsarmanesh hami...
1 篇 beňňušková ľubic...
1 篇 maynard sean b.
1 篇 wielemaker jan
1 篇 cunha luis filip...
1 篇 lynce inês
1 篇 geusebroek jan-m...
1 篇 demange marc
1 篇 frans c. a. groe...
1 篇 coconea l.
1 篇 peter ružička (e...
1 篇 anna vasilaki
1 篇 albertas caplins...
1 篇 th. paschos vang...

语言

89 篇 英文
1 篇 中文

检索条件"任意字段=26th Conference on Current Trends in Theory and Practice of Informatics"

共 90 条记录，以下是41-50 订阅

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

详细简洁

排序：

the potential of grid, virtual laboratories and virtual organizations for bio-sciences 28th

引用

28th International conference on current trends in theory and practice of informatics, SOFSEM 2001

作者： Afsarmanesh, Hamideh Kaletas, Ersin Hertzberger, Louis O. University of Amsterdam Informatics Institute Kruislaan 403 Amsterdam1098 SJ Netherlands

ISBN: (纸本)9783540429128

VLAM-G, the Grid-based Virtual Laboratory AMsterdam, provides a science portal for distributed analysis in applied scientific research. It offers scientists the possibility to carry out their experiments in a familiar environment that provides seamless access to geographically distributed resources and devices. In this paper, the general design of the VLAM-G platform is introduced. Furthermore, the application of the VLAM-G and its extension with Virtual Organization concepts for specific scientific domains is presented, with focus on bio-sciences. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

the early stage benefit planning of housing rengeneration projects: the gap between theory and practice

The early stage benefit planning of housing rengeneration pr...

引用

26th Annual conference of the Association of Researchers in Construction Management, ARCOM 2010

作者： Higham, Anthony Fortune, Chris School of the Built Environment and Engineering University of Bolton Deane Road Bolton United Kingdom School of the Built Environment University of Salford The Crescent Salford United Kingdom

ISBN: (纸本)0955239044

the UK government renewed its commitment to invest in the regeneration of the pre-1919 terraced housing stock through its sustainable communities' agenda. the majority of such dwellings have signs of serious disrepair and are predominantly located in deprived communities. the refurbishment or demolition, of such housing is central to the government's sustainable community's agenda and as such, the long-term sustainable re-use of pre-1919 dwellings is core to the policy's success. It is suspected, that the lack of research dedicated to the achievement of sustainable housing refurbishment, may impede this outcome. Critical to the achievement of sustainable communities through housing regeneration projects is, their reliable early stage sustainable benefit planning. the general area of investigation of an on-going PhD study relates to the development of such an evaluation model;for use at project and programme level of housing regeneration schemes. Work in this area will contribute to the development of theory and practice in the field of early stage construction project evaluation and its integration with sustainable housing redevelopment practices. Relevant literature on early stage construction project evaluation as well as sustainability in regeneration projects is reviewed. the results of an initial exploratory study, which collected qualitative data from built environment regeneration professionals actively, engaged at both project and programme level is reported. Analysis of the collected data established the current understanding of sustainability and its early stage evaluation in practice revealing a gap in both understanding and application of sustainability between actors involved. the paper concludes that due to the number of barriers present within the sector, further research would not be viable until the major restrictions associated with the availability of funding and the existing legislative framework are corrected.

关键词： Sustainable development

来源：评论

学校读者我要写书评

暂无评论

Towards resilience operationalization in urban transport system: the RESOLUTE project approach 26th

Towards resilience operationalization in urban transport sys...

引用

26th Annual International conference on European Safety and Reliability (ESREL)

作者： Bellini, E. Nesi, P. Coconea, L. Gaitanidou, E. Ferreira, P. Simoes, A. Candelieri, A. Univ Florence Dept Informat Engn DISIT Lab Florence Italy SWARCO Mizar Turin Italy Hellas Hellen Inst Transport Ctr Res & Technol Thessaloniki Greece COFAC Univ Lusofona Humanidades & Tecnol Lisbon Portugal Consorzio Milano Ric Milan Italy

ISBN: (纸本)9781315374987;9781138029972

Increasing resilience to critical events is a topic of highest political concern in the EU. Regarding the case of transport systems, operations have developed a prominent safety and business critical nature, in view of which current practices have shown evidence of important limitations in terms of resilience management. Enhancing resilience in transport systems is considered imperative for two main reasons: such systems provide critical support to every socio-economic activity and are currently themselves one of the most important economic sectors and secondly, the paths that convey people, goods and information, are the same through which risks are propagated. © 2017 Taylor & Francis Group, London.

关键词： Reliability theory

来源：评论

学校读者我要写书评

暂无评论

48th International conference on current trends in theory and practice of Computer Science, SOFSEM 2023

48th International Conference on Current Trends in Theory an...

引用

48th International conference on current trends in theory and practice of Computer Science, SOFSEM 2023

ISBN: (纸本)9783031231001

the proceedings contain 26 papers. the special focus in this conference is on current trends in theory and practice of Computer Science. the topics include: Learning through Imitation by Using Formal Verification;quantum Complexity for Vector Domination Problem;A Faster Algorithm for Determining the Linear Feasibility of Systems of BTVPI Constraints;lower Bounds for Monotone q-Multilinear Boolean Circuits;a Spectral Algorithm for Finding Maximum Cliques in Dense Random Intersection Graphs;multi-Parameter Analysis of Finding Minors and Subgraphs in Edge-Periodic Temporal Graphs;payment Scheduling in the Interval Debt Model;introduction to Routing Problems with Mandatory Transitions;on the Preservation of Properties When Changing Communication Models;sequentially Swapping Tokens: Further on Graph Classes;on the 2-Layer Window Width Minimization Problem;on the Complexity of Scheduling Problems with a Fixed Number of Parallel Identical Machines;balanced Substructures in Bicolored Graphs;on the Parameterized Complexity of s-club Cluster Deletion Problems;heuristics for Opinion Diffusion via Local Elections;the Complexity of Finding Tangles;preface;parameterized Approaches to Orthogonal Compaction;hardness of Bounding Influence via Graph Modification;visualizing Multispecies Coalescent Trees: Drawing Gene Trees Inside Species Trees;morphing Planar Graph Drawings through 3D;Dominance Drawings for DAGs with Bounded Modular Width;more Effort Towards Multiagent Knapsack;solving Cut-Problems in Quadratic Time for Graphs with Bounded Treewidth.

关键词：

来源：评论

学校读者我要写书评

暂无评论

24th Seminar on current trends in theory and practice of informatics, SOFSEM 1997

24th Seminar on Current Trends in Theory and Practice of Inf...

引用

24th Software Seminar on current trends in theory and practice of informatics, SOFSEM 1997

ISBN: (纸本)3540637745

the proceedings contain 46 papers. the special focus in this conference is on Fundamentals, Distributed and Parallel Computing. the topics include: Algorithms and heuristics for a deep look into the future;algorithms for triangulated terrains;on the distributed realization of parallel algorithms;the fundamental problem of database design;solving and approximating combinatorial optimization problems;the computational power of continuous time neural networks;a foundation for computable analysis;towards machines that can think;computational complexity of continuous problems;path layout in ATM networks;the mobile agent technology;theory and practice in interactionally rich distributed systems;configuration-based programming systems;automatic generation of parallelizing compilers for object-oriented programming languages from denotational semantics specifications;from domains via requirements to software;the whole picture to software process improvement;object-oriented design patterns;object-oriented DBMS and beyond;on integration of relational and object-oriented database systems;from OO through deduction to active databases;an introduction to virtual reality modeling language and stepping stones to an information society;lower bounds for the virtual path layout problem in ATM networks;query processing in temporal evidential databases;a first approach to temporal predicate locking for concurrency detection in temporal relational databases supporting schema versioning;efficient insertion of approximately sorted sequences of items into a dictionary;high availability support in CORBA environments;zero-overhead exception handling using metaprogramming;the output-store formal translator directed by LR parsing and parallel processing on alphas under MATLAB 5.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fine-Tuning BERT Models to Extract Named Entities from Archival Finding Aids 26

Fine-Tuning BERT Models to Extract Named Entities from Archi...

引用

26th International conference on theory and practice of Digital Libraries, TPDL 2022

作者： Cunha, Luis Filipe Ramalho, José Carlos Department of Informatics University of Minho Portugal

In recent works, several NER models were developed to extract named entities from Portuguese Archival Finding Aids. In this paper, we are complementing the work already done by presenting a different NER model with a new architecture, Bidirectional Encoding Representation from Transformers (BERT). In order to do so, we used a BERT model that was pre-trained in Portuguese vocabulary and fine-tuned it to our concrete classification problem, NER. In the end, we compared the results obtained with previous architectures. In addition to this model we also developed an annotation tool that uses ML models to speed up the corpora annotation process. © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0)

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

current trends and new perspectives for first-order model-checking 26

Current trends and new perspectives for first-order model-ch...

引用

26th Annual EACSL conference on Computer Science Logic, CSL 2017

作者： Kreutzer, Stephan Department for Logic and Semantics Technical University Berlin Berlin Germany

ISBN: (纸本)9783959770453

the model-checking problem for a logic L is the problem of decidig for a given formula ' 2 L and structure A whether the formula is true in the structure, i.e. whether A |= '. Model-checking for logics such as First-Order Logic (FO) or Monadic Second-Order Logic (MSO) has been studied intensively in the literature, especially in the context of algorithmic meta-theorems within the framework of parameterized complexity. However, in the past the focus of this line of research was model-checking on classes of sparse graphs, e.g. planar graphs, graph classes excluding a minor or classes which are nowhere dense. By now, the complexity of first-order model-checking on sparse classes of graphs is completely understood. Hence, current research now focusses mainly on classes of dense graphs. In this talk we will briefly review the known results on sparse classes of graphs and explain the complete classification of classes of sparse graphs on which first-order model-checking is tractable. In the second part we will then focus on recent and ongoing research analysing the complexity of first-order model-checking on classes of dense graphs. © Stephan Kreutzer.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

Safety and security-is there a need for an integrated approach? 26th

Safety and security-is there a need for an integrated approa...

引用

26th conference on European Safety and Reliability (ESREL)

作者： Jore, S. H. Univ Stavanger Stavanger Norway

ISBN: (纸本)9781315374987;9781138029972

this paper aims to discuss the need for an integrated approach between safety and security from an organizational theoretical perspective, and to examine whether the current status of safety and security research allows for an integrated approach. Protection from terrorism or other intentional crimes is often denoted security, while safety often implies protection from unintentional acts. Most definitions of security focus only on the intentional aspect of the threat. Consequently, we propose a new definition of security that incorporates elements associated with organizational security today. Security can be defined as the ability to prepare for, adapt to, withstand, and recover from dangers and crises caused by people's deliberate, intentional, and malicious acts, such as terrorism, sabotage, organized crime, and hacking. Security risk management includes assessing and reducing the likelihood and consequences of possible attacks with various types of risk-reducing measures;for example, establishing critical infrastructure protection and building organizational and societal resilience. We also propose that the demarcation between safety and security should be on the malicious intent of the threat, and not only on the intentional aspect, since human intention also plays a part in safety accidents. the paper concludes that, although the characteristics of safety and security risks are inherently different, the methodologies used in organizational risk management will often be similar. However, the current state of organizational security research suggests there is still an extensive lack of knowledge concerning how security risk management is performed and understood from an organizational perspective. Accordingly, in view of the current state of affairs, cross-fertilization between safety and security seems a more promising trajectory than an integrated approach.

关键词： Reliability theory

来源：评论

学校读者我要写书评

暂无评论

In-Situ Labeling for Augmented Reality Language Learning 26

In-Situ Labeling for Augmented Reality Language Learning

引用

26th IEEE conference on Virtual Reality and 3D User Interfaces (VR)

作者： Huynh, Brandon Orlosky, Jason Hollerer, Tobias Univ Calif Santa Barbara Santa Barbara CA 93106 USA Osaka Univ Suita Osaka Japan

ISBN: (纸本)9781728113777

Augmented Reality is a promising interaction paradigm for learning applications. It has the potential to improve learning outcomes by merging educational content with spatial cues and semantically relevant objects within a learner's everyday environment. the impact of such an interface could be comparable to the method of loci, a well known memory enhancement technique used by memory champions and polyglots. However, using Augmented Reality in this manner is still impractical for a number of reasons. Scalable object recognition and consistent labeling of objects is a significant challenge, and interaction with arbitrary (unmodeled) physical objects in AR scenes has consequently not been well explored. To help address these challenges, we present a framework for in-situ object labeling and selection in Augmented Reality, with a particular focus on language learning applications. Our framework uses a generalized object recognition model to identify objects in the world in real time, integrates eye tracking to facilitate selection and interaction within the interface, and incorporates a personalized learning model that dynamically adapts to student's growth. We show our current progress in the development of this system, including preliminary tests and benchmarks. We explore challenges with using such a system in practice, and discuss our vision for the future of AR language learning applications.

关键词： Human-centered computing - Mixed and augmented reality theory and algorithms for application domains - Semi-supervised learning

来源：评论

学校读者我要写书评

暂无评论

Critical Pedagogy in the investigative practice of the university teacher 26

Critical Pedagogy in the investigative practice of the unive...

引用

26th World Multi-conference on Systemics, Cybernetics and informatics, WMSCI 2022

作者： Merchán, Neicer Gómez Mendoza Bravo, Karina Luzdelia Hormaza, Jaime Meza Chancay Cedeño, Carlos Humberto Castellanos Noda, Ana Victoria Instituto de Posgrado Universidad Técnica de Manabí Portoviejo Manabí Ecuador Facultad de Filosofía Letras y Ciencias de la Educación Universidad Técnica de Manabí Portoviejo Manabí Ecuador Facultad de Ciencias Informáticas Universidad Técnica de Manabí Portoviejo Manabí Ecuador Centro de Estudios para el Perfeccionamiento de la Educación Superior Universidad de La Habana Vedado La Habana Cuba

ISBN: (纸本)9781950492664

this article addresses the fundamentals of critical pedagogy as enhancers of the investigative practice of university teachers. Critical pedagogy is an educational paradigm based on dialogue and reflection, while university research is a substantive process that seeks to understand and generate knowledge. therefore, Paulo Freire relates them in theory and practice as an inseparable part of education. In this work, the limitations and strengths of the investigative practice of the university professor in the Faculty of Philosophy, Letters and Educational Sciences of the Technical University of Manabí (FFLCE-UTM) are described. the research has a descriptive scope with a quantitative approach and a non-experimental-transactional design;with the interview, survey, and quantitative content analysis techniques. the population corresponds to 100 teachers taken as a sample. the results indicate a growing research production. However, some elements can be enhanced: dialogue, active participation, digital identity, production and socialization of knowledge. It is concluded that critical pedagogy is an opportunity to strengthen procedural aspects in investigative practice. therefore, a methodological strategy composed of a system of activities is proposed. © 2022 *** rights reserved.

关键词： critical pedagogy dialogue education reflection research university professor

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共9页 << < 1 2 3 4 5 6 7 8 9 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：