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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

187 篇 会议
8 册 图书
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

136 篇 工学
- 130 篇 计算机科学与技术...
- 89 篇 软件工程
- 17 篇 信息与通信工程
- 15 篇 控制科学与工程
- 9 篇 电气工程
- 4 篇 生物医学工程（可授...
- 3 篇 交通运输工程
- 2 篇 电子科学与技术（可...
- 2 篇 建筑学
- 2 篇 生物工程
- 1 篇 机械工程
- 1 篇 土木工程
- 1 篇 化学工程与技术
- 1 篇 轻工技术与工程
- 1 篇 农业工程
- 1 篇 安全科学与工程
26 篇 理学
- 22 篇 数学
- 9 篇 统计学（可授理学、...
- 4 篇 系统科学
- 2 篇 生物学
- 1 篇 物理学
- 1 篇 化学
13 篇 管理学
- 7 篇 图书情报与档案管...
- 5 篇 管理科学与工程(可...
- 5 篇 工商管理
8 篇 医学
- 8 篇 临床医学
- 3 篇 基础医学(可授医学...
- 3 篇 药学(可授医学、理...
4 篇 教育学
- 4 篇 教育学
1 篇 法学
- 1 篇 法学
1 篇 农学

主题

25 篇 conferences
22 篇 logic programmin...
17 篇 programming
14 篇 semantics
8 篇 software enginee...
8 篇 linear programmi...
7 篇 fuzzy logic
7 篇 artificial intel...
6 篇 logic gates
6 篇 probabilistic lo...
5 篇 deep learning
5 篇 parallel program...
5 篇 training
5 篇 knowledge repres...
4 篇 tools
4 篇 information syst...
4 篇 computer communi...
4 篇 pervasive comput...
4 篇 data mining
4 篇 visualization

机构

6 篇 university of te...
6 篇 university of po...
3 篇 university of mi...
3 篇 cetinia universi...
3 篇 potassco solutio...
2 篇 national institu...
2 篇 tsinghua univ de...
2 篇 kyushu sangyo un...
2 篇 universidad rey ...
2 篇 monash universit...
2 篇 university of pe...
2 篇 the university o...
2 篇 tallinn universi...
2 篇 polytechnic univ...
2 篇 university of ca...
2 篇 university of ba...
2 篇 covenant univers...
2 篇 ludwig-maximilia...
2 篇 shenzhen univ co...
1 篇 petrobras sa rio...

作者

11 篇 gupta gopal
6 篇 arias joaquín
5 篇 riguzzi fabrizio
5 篇 weitkämper felix
5 篇 azzolini damiano
5 篇 salazar elmer
4 篇 rückschloß kilia...
4 篇 basu kinjal
4 篇 li fang
4 篇 varanasi sarat c...
3 篇 schaub torsten
3 篇 costantini stefa...
3 篇 lamma evelina
3 篇 hall brendan
3 篇 satoh ken
3 篇 pisano giuseppe
3 篇 zhang zhizheng
3 篇 cabalar pedro
3 篇 sartor galileo
2 篇 bernady o. apduh...

语言

196 篇 英文

检索条件"任意字段=2021 International Conference on Logic Programming Workshops, ICLP Workshops 2021"

共 196 条记录，以下是81-90 订阅

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

详细简洁

排序：

Syntactic Requirements for Well-defined Hybrid Probabilistic logic Programs 37

Syntactic Requirements for Well-defined Hybrid Probabilistic...

引用

37th international conference on logic programming (iclp)

作者： Azzolini, Damiano Riguzzi, Fabrizio Univ Ferrara Dipartimento Ingn Ferrara Italy Univ Ferrara Dipartimento Matemat & Informat Ferrara Italy

Hybrid probabilistic logic programs can represent several scenarios thanks to the expressivity of logic programming extended with facts representing discrete and continuous distributions. The semantics for this type of programs is crucial since it ensures that a probability can be assigned to every query. Here, following one recent semantics proposal, we illustrate a concrete syntax, and we analyse the syntactic requirements needed to preserve the well-definedness.

关键词： Syntactics

来源：评论

学校读者我要写书评

暂无评论

Collaborative Robot Education Through Train-The-Trainer workshops: Analysis and Assessment

Collaborative Robot Education Through Train-The-Trainer Work...

引用

international conference on Engineering Education (ICEED)

作者： Yasmin Musa Omar Tantawi Khalid Tantawi Jennifer Lynberg Lyn Potter Nancy Wilson Mechatronics Motlow State Community College Smyrna TN Department of Career Readiness Motlow State Community College Smyrna TN Dept. of Engineering Mgt and Tech University of Tennessee at Chattanooga Chattanooga TN School of Education University of Tennessee at Chattanooga Chattanooga TN Dept. of Engineering Systems Tech. Chattanooga State Community College Chattanooga TN Assist. Dean of Career Technical Edu. Lawson State Community College Bessemer AL

ISBN: (数字)9798350367416

ISBN: (纸本)9798350367423

In this work, we present an analysis of the results of the evaluation of a project that aims at increasing knowledge of industrial robotics in general, and collaborative robots in particular, among STEM educators. The analysis includes evaluations conducted on six train-the-trainer workshops on intelligent industrial robotics that were organized over a span of four years from 2021 to 2024. The workshops targeted STEM faculty of community and technical colleges and high schools. Evaluations were conducted by an independent evaluator. The overall assessment shows that evaluations were successful in capturing the effectiveness of the workshops. The main challenges in capturing effectiveness of workshops include the low response rate of workshop attendees for follow-up surveys, and the discrepancy in answers to demographic questions for pre- and post-intervention surveys that may result from various reasons. The workshops included factory tours, industry speakers, and hands-on activities on industrial robot and vision system programming. Evaluation of the effectiveness of the workshops was measured using surveys at the end of the workshops, pre-and post-intervention assessments, and six-month follow up surveys.

关键词： Surveys Industries Training Technical management Service robots conferences Machine vision Collaborative robots Production facilities Robots

来源：评论

学校读者我要写书评

暂无评论

Summary of semantics for hybrid probabilistic logic programs with function symbols 37

Summary of semantics for hybrid probabilistic logic programs...

引用

37th international conference on logic programming (Technical Communications), iclp 2021

作者： Azzolini, Damiano Riguzzi, Fabrizio Lamma, Evelina

The aim of Probabilistic logic programming is to extend the expressiveness of logic programming by adding the possibility to manage uncertainty over the data with the introduction of probabilistic facts representing discrete random variables. Some years ago, to manage also continuous random variables, hybrid programs were proposed, but the semantics was imprecise. In this paper, we present a formal definition of a semantics that assigns a probability value to all queries for programs with a two-valued Well-Founded model. This paper is a summary of ([1]). © 2021 Open Publishing Association. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Semi-automated checking for regulatory compliance in e-Health 25

Semi-automated checking for regulatory compliance in e-Healt...

引用

25th IEEE international Enterprise Distributed Object Computing conference (IEEE EDOC)

作者： Amantea, Ilaria Angela Robaldo, Livio Sulis, Emilio Boella, Guido Governatori, Guido Univ Torino SaToSS Alma Mater Studiorum Comp Sci DeptCIRSFID Turin Italy Univ Luxembourg Luxembourg Luxembourg Univ Swansea Legal Innovat Lab Wales Swansea W Glam Wales Univ Torino Comp Sci Dept Turin Italy CSIRO Data 61 St Lucia Qld Australia

ISBN: (纸本)9781665444880

One of the main issues of every business process is to be compliant with legal rules. This work presents a methodology to check in a semi-automated way the regulatory compliance of a business process. We analyse an e-Health hospital service in particular: the Hospital at Home (HaH) service. The paper shows, at first, the analysis of the hospital business using the Business Process Management and Notation (BPMN) standard language, then, the formalization in Defeasible Deontic logic (DDL) of some rules of the European General Data Protection Regulation (GDPR). The aim is to show how to combine a set of tasks of a business with a set of rules to be compliant with, using a tool.

关键词： Business Process Management e-Health Hospital at Home Regulatory Compliance Defeasible Deontic logic Regorous

来源：评论

学校读者我要写书评

暂无评论

STONE: Signal Temporal logic Neural Network for Time Series Classification 21

STONE: Signal Temporal Logic Neural Network for Time Series ...

引用

21st IEEE international conference on Data Mining (IEEE ICDM)

作者： Yan, Ruixuan Julius, Agung Chang, Maria Fokoue, Achille Ma, Tengfei Uceda-Sosa, Rosario Rensselaer Polytech Inst Dept Elect Comp & Syst Engn Troy NY 12180 USA IBM Res IBM TJ Watson Res Ctr Yorktown Hts NY USA

ISBN: (纸本)9781665424271

In this paper, we propose a neuro-symbolic framework called signal temporal logic neural network (STONE) that combines the characteristics of neural networks and temporal logics. Weighted Signal Temporal logic (wSTL) formulas are recursively composed of subformulas connected using logical and temporal operators. The quantitative semantics of wSTL is defined such that the quantitative satisfaction of subformulas with higher weights have a more significant influence on the quantitative satisfaction of a wSTL formula. In the STONE, each neuron represents a component of a wSTL formula, and the output of STONE corresponds to the quantitative satisfaction of a wSTL formula. We use STONE to represent wSTL formulas and classify time-series data. WSTL formulas are more interpretable and human-readable than classical time series classification models. The STONE is end-to-end differentiable, which allows learning of wSTL formulas to be done using back-propagation. Experiments on benchmark time-series datasets show that STONE is comparable to the state-of-the-art time series classification models and the wSTL learning algorithm is faster than the traditional STL learning algorithm.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Power Adaptive HARQ for Ultrareliability via a Novel Outage Probability Bound

Power Adaptive HARQ for Ultrareliability via a Novel Outage ...

引用

IEEE international conference on Communications (ICC)

作者： Shen, Kaiming Chen, Xihan Yu, Wei Khosravirad, Saeed R. Chinese Univ Hong Kong Shenzhen Sch Sci & Engn Shenzhen Peoples R China Zhejiang Univ Coll Informat Sci & Elect Engn Hangzhou Peoples R China Univ Toronto Elect & Comp Engn Dept Toronto ON M5S 3G4 Canada Nokia Bell Labs Murray Hill NJ USA

ISBN: (纸本)9781728194417

Hybrid automatic repeat request (HARQ) is a key enabler for the extremely strict reliability requirements as imposed in future networks. This paper studies power control for HARQ in order to minimize the expected energy consumption of wireless transmission given the outage probability constraint and the maximum average number of retransmissions. The main difficulty in solving the above power control problem is due to the fact that the outage probability cannot be expressed analytically in terms of the power variables. Prior works have suggested using a classic upper bound on the outage probability by assuming unbounded transmit powers throughout HARQ, thus approximating the power control problem in a geometric programming (GP) form. In contrast, this work proposes a novel and much tighter upper bound by taking practical power constraints into account. Numerical examples show that the GP method with the new upper bound outperforms one with the classic upper bound significantly. Analytical insights are also gained into the proposed GP method. Moreover, the paper extends the above results to the multi-antenna channels in which antenna diversity is harnessed to further enhance reliability.

关键词： Upper bound conferences Spatial diversity Power control Probability programming Power system reliability

来源：评论

学校读者我要写书评

暂无评论

Adapting SYCL's SIMT programming Paradigm for Accelerators via Program Reconstruction 21

Adapting SYCL's SIMT Programming Paradigm for Accelerators v...

引用

50th international conference on Parallel Processing (ICPP)

作者： Wang, Jiashu Deng, Xun Wang, Kai-Ting Amy Ye, Zichun Huawei Canada Res Ctr Markham ON Canada

ISBN: (纸本)9781450384414

We present an IR-to-IR Converter that is capable of converting from LLVM IR to Halide IR and MLIR's Affine Dialect to support generation of high performance SYCL kernel code [10] targeting accelerators with explicit memory hierarchy design. The converter performs program reconstruction to raise abstraction of the IR. Once the IR is raised to the level of Halide IR, AKG [2] can be leveraged to generate performant DaVinci code [2]. Alternatively, when the IR is raised to MLIR's Affine Dialect, existing MLIR Affine passes with minor modifications can be readily used. Subsequently, the IR is lowered back to LLVM IR through progressive lowering. LLVM's LLC is used to create the final binary for both cases. We extend upon SYCL's buffer, accessor and parallel_fo r abstractions to facilitate the IR raising process.

关键词： SYCL Program Reconstruction Parallel Computing Tiling MLIR LLVM

来源：评论

学校读者我要写书评

暂无评论

Design Considerations for GPU-based Mixed Integer programming on Parallel Computing Platforms 21

Design Considerations for GPU-based Mixed Integer Programmin...

引用

50th international conference on Parallel Processing (ICPP)

作者： Perumalla, Kalyan Alam, Maksudul Oak Ridge Natl Lab Oak Ridge TN 37830 USA

ISBN: (纸本)9781450384414

Mixed Integer programming (MIP) is a powerful abstraction in combinatorial optimization that finds real-life application across many significant sectors. The recent proliferation of graphical processing unit (GPU)-based accelerated computing architectures in large-scale parallel computing or supercomputing presents new opportunities as well as challenges in the advancement of MIP solver technology to effectively use the new accelerated computing platforms and scale to large parallel systems. Here, we recount the conventional processor-based strategies and focus on configurations where the most promising intersection lies between parallel MIP solver approaches and the specific strengths of accelerated parallel platforms. We note that the best potential lies in solving problems whose individual matrix sizes (of the linear program relaxation) fit entirely within one accelerator's memory and whose branch-and-bound (or branch-and-cut) trees cannot be fully contained within a small number of computational nodes. Additionally, we identify ideal features of computational linear algebra support on GPU accelerators that would help advance this direction of scalable parallel solution of MIP problems on GPU-based accelerated computing architectures.

关键词： Accelerated computing Parallel Computing Mixed Integer programming Branch-and-Bound Graphical Processing Units

来源：评论

学校读者我要写书评

暂无评论

Enabling scalable AI for Digital Health: interoperability, consent and ethics support 25

Enabling scalable AI for Digital Health: interoperability, c...

引用

25th IEEE international Enterprise Distributed Object Computing conference (IEEE EDOC)

作者： Milosevic, Zoran Best Practice Software Bundaberg Qld Australia

ISBN: (纸本)9781665444880

This paper proposes an approach for building scalable AI applications in digital health, with a specific focus on addressing interoperability, consent and ethics challenges. These challenges need to be considered in the context of increasingly available tooling for streamlined model development, training, validation, and deployment, while accommodating novel solutions for explainable AI support for clinicians. Such an approach is required because digital health ecosystems involve many data type created by different systems, and often used as part of workflows over different jurisdictional boundaries. Interoperability solutions are needed to support technical and business agreements between parties providing data and services, including knowledge intensive services, such as ML and AI. Computable expression of consent and ethics policies are needed to control how patient information is used, including compliance with regulative rules, possibly from different policy contexts. Our approach, based on the latest interoperability and enterprise policy standards may provide a useful guidance for the practitioners building scalable AI solutions for digital health.

关键词： interoperability digital health consent ethics deontic logic ODP enterprise language (ODP-EL) AI FHIR

来源：评论

学校读者我要写书评

暂无评论

Automata techniques for temporal answer set programming 37

Automata techniques for temporal answer set programming

引用

37th international conference on logic programming (Technical Communications), iclp 2021

作者： Hahn, Susana University of Potsdam Germany

Temporal and dynamic extensions of Answer Set programming (ASP) have played an important role in addressing dynamic problems, as they allow the use of temporal operators to reason with dynamic scenarios in a very effective way. In my Ph.D. research, I intend to exploit the relationship between automata theory and dynamic logic to add automata-based techniques to the ASP solver clingo helping us to deal with theses type of problems. © S. Hahn This work is licensed under the Creative Commons Attribution License.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共20页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：