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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

499 篇 会议
13 篇 期刊文献
7 册 图书

馆藏范围

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

日期分布

学科分类号

328 篇 工学
- 249 篇 计算机科学与技术...
- 176 篇 软件工程
- 95 篇 电气工程
- 37 篇 控制科学与工程
- 21 篇 机械工程
- 19 篇 信息与通信工程
- 14 篇 生物医学工程（可授...
- 14 篇 生物工程
- 10 篇 电子科学与技术（可...
- 8 篇 材料科学与工程（可...
- 6 篇 核科学与技术
- 5 篇 石油与天然气工程
- 4 篇 仪器科学与技术
- 4 篇 交通运输工程
- 2 篇 光学工程
- 2 篇 土木工程
61 篇 理学
- 29 篇 数学
- 14 篇 物理学
- 14 篇 生物学
- 6 篇 系统科学
- 4 篇 统计学（可授理学、...
28 篇 管理学
- 16 篇 管理科学与工程(可...
- 9 篇 图书情报与档案管...
- 5 篇 工商管理
- 3 篇 公共管理
12 篇 农学
- 12 篇 作物学
5 篇 医学
4 篇 法学
- 2 篇 法学
- 2 篇 社会学
3 篇 经济学
- 3 篇 应用经济学
2 篇 教育学
- 2 篇 教育学
1 篇 文学

主题

48 篇 programming
38 篇 logic gates
31 篇 logic programmin...
28 篇 programming prof...
28 篇 software enginee...
25 篇 linear programmi...
23 篇 software
15 篇 computational mo...
14 篇 java
14 篇 logic
14 篇 probabilistic lo...
12 篇 computer program...
11 篇 optimization
11 篇 detectors
11 篇 dynamic programm...
11 篇 testing
10 篇 object oriented ...
10 篇 fuzzy logic
10 篇 parallel program...
10 篇 data models

机构

3 篇 nasa ames resear...
3 篇 george mason uni...
3 篇 carnegie mellon ...
3 篇 stillman school ...
3 篇 imperial coll lo...
2 篇 mayo fdn rochest...
2 篇 iran univ sci & ...
2 篇 univ copenhagen ...
2 篇 chalmers univers...
2 篇 university of fe...
2 篇 school of comput...
2 篇 ludwig maximilia...
2 篇 texas tech unive...
2 篇 tu wien austria
2 篇 graz university ...
2 篇 katholieke univ ...
2 篇 graduate school ...
2 篇 zagazig universi...
2 篇 iran university ...
2 篇 agh university o...

作者

5 篇 toni francesca
4 篇 eiter thomas
4 篇 azzolini damiano
4 篇 gupta gopal
3 篇 hanbong lee
3 篇 gavanelli marco
3 篇 riguzzi fabrizio
3 篇 coblenz michael
3 篇 satoh ken
3 篇 džeroski sašo
2 篇 lucarini stephen
2 篇 thevapalan andre
2 篇 liu yanhong a.
2 篇 m.a. farahat
2 篇 lavrac nada
2 篇 v. kodaganallur
2 篇 rose emma
2 篇 osaka naotoshi
2 篇 radoslaw klimek
2 篇 gebser martin

语言

504 篇 英文
15 篇 其他

检索条件"任意字段=39th International Conference on Logic Programming"

共 519 条记录，以下是191-200 订阅

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

详细简洁

排序：

A Tsetlin Machine with Multigranular Clauses 1

引用

39th SGAI international conference on Techniques and Applications of Artificial Intelligence (AI)

作者： Gorji, Saeed Rahimi Granmo, Ole-Christoffer Phoulady, Adrian Goodwin, Morten Univ Agder Ctr Artificial Intelligence Res Grimstad Norway

ISBN: (数字)9783030348854

ISBN: (纸本)9783030348854;9783030348847

the recently introduced Tsetlin Machine (TM) has provided competitive pattern recognition accuracy in several benchmarks, however, requires a 3-dimensional hyperparameter search. In this paper, we introduce the Multigranular Tsetlin Machine (MTM). the MTM eliminates the specificity hyperparameter, used by the TM to control the granularity of the conjunctive clauses that it produces for recognizing patterns. Instead of using a fixed global specificity, we encode varying specificity as part of the clauses, rendering the clauses multigranular. this makes it easier to configure the TM because the dimensionality of the hyperparameter search space is reduced to only two dimensions. Indeed, it turns out that there is significantly less hyper-parameter tuning involved in applying the MTM to new problems. Further, we demonstrate empirically that the MTM provides similar performance to what is achieved with a finely specificity-optimized TM, by comparing their performance on both synthetic and real-world datasets.

关键词： Tsetlin Machine Multigranular Tsetlin Machine Learning automata Classification Supervised learning Propositional logic

来源：评论

学校读者我要写书评

暂无评论

Experiments with Non-Cooperative Space DTN Routing

Experiments with Non-Cooperative Space DTN Routing

引用

IEEE international conference on Performance, Computing and Communications (IPCCC)

作者： Ricardo Lent University of Houston Houston Texas USA

ISBN: (数字)9781728198293

ISBN: (纸本)9781728198309

In this paper, results from an experimental study of the end-to-end bundle delivery performance of two concurrent flows transmitted over a delay-tolerant network are presented. the study compares the Contact Graph Routing algorithm, which is the foundation of the CCSDS standard Schedule Aware Bundle Routing and the Cognitive Space Gateway that has been recently introduced as a cognitive networking alternative to the problem of space bundle routing. Both algorithms make non-cooperative, dynamic routing decisions for bundles at each step based on a similar utility, which is formulated as the minimum expected bundle delivery time to the destination. the study aims to find how well each algorithm plays the routing game under different conditions. the experiments were carried out on a laboratory testbed with emulated Earth-Moon communication conditions and included evaluation cases with a permanently connected substrate and a substrate that is being affected by regular link disruptions. Also, the flows were evaluated with cases where their shortest path either overlap or not. the results indicate that both routing approaches play a coherent game achieving fair performance for both flows, but with the CSG achieving better performance than the CGR approach.

关键词： Heuristic algorithms Games logic gates Routing throughput Time factors Substrates

来源：评论

学校读者我要写书评

暂无评论

Investigating Effects of Controlled Flights through Fast-Time Simulation

Investigating Effects of Controlled Flights through Fast-Tim...

引用

conference on Digital Avionics Systems (DASC)

作者： Zhifan Zhu Hanbong Lee Vaishali A. Hosagrahara Yoon C. Jung KBR Wyle Services LLC Moffett Field CA USA NASA Ames Research Center Moffett Field CA USA Tellus Solutions Moffett Field CA USA

ISBN: (数字)9781728198255

ISBN: (纸本)9781728180885

Departure flights at major U.S. airports are often subject to Traffic Management Initiatives to mitigate congestion and delay due to demand-capacity imbalances. these controlled flights can lead to inefficiency and delay on the airport surface. the integrated arrival, departure, and surface traffic management capabilities developed by NASA's Airspace Technology Demonstration 2 (ATD-2) sub-project provide enhanced operational efficiency and predictability of flight operations through data exchange and integration, surface metering, and automated coordination of release time of controlled flights for overhead stream insertion. this paper evaluates the impacts of controlled flights on airport performance and assesses the ATD-2 benefits of pushback hold advisories for both controlled and non-controlled flights using fast-time simulation for Charlotte Douglas international Airport.

关键词： Atmospheric modeling Airports Delays logic gates Public transportation NASA Data models

来源：评论

学校读者我要写书评

暂无评论

Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation 39th

Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Co...

引用

39th Annual international Cryptology conference (CRYPTO)

作者： Xie, Tiacheng Zhang, Jiaheng Zhang, Yupeng Papamanthou, Charalampos Song, Dawn Univ Calif Berkeley Berkeley CA 94720 USA Texas A&M Univ College Stn TX USA Univ Maryland College Pk MD 20742 USA

ISBN: (纸本)9783030269548;9783030269531

We present Libra, the first zero-knowledge proof system that has both optimal prover time and succinct proof size/verification time. In particular, if C is the size of the circuit being proved (i) the prover time is O(C) irrespective of the circuit type;(ii) the proof size and verification time are both O(d log C) for d-depth log-space uniform circuits (such as RAM programs). In addition Libra features an one-time trusted setup that depends only on the size of the input to the circuit and not on the circuit logic. Underlying Libra is a new linear-time algorithm for the prover of the interactive proof protocol by Goldwasser, Kalai and Rothblum (also known as GKR protocol), as well as an efficient approach to turn the GKR protocol to zero-knowledge using small masking polynomials. Not only does Libra have excellent asymptotics, but it is also efficient in practice. For example, our implementation shows that it takes 200 s to generate a proof for constructing a SHA2-based Merkle tree root on 256 leaves, outperforming all existing zero-knowledge proof systems. Proof size and verification time of Libra are also competitive.

关键词： C (programming language)

来源：评论

学校读者我要写书评

暂无评论

Model and Software Tool for Estimation of School Children Psychophysical Condition Using Fuzzy logic Methods 39th

Model and Software Tool for Estimation of School Children Ps...

引用

39th international conference on Information Systems Architecture and Technology (ISAT)

作者： Marchuk, Dmytro Kovalchuk, Viktoriia Stroj, Kateryna Sugonyak, Inna Zhytomyr State Technol Univ Zhytomyr Ukraine Opole Univ Technol Opole Poland

ISBN: (纸本)9783319999968;9783319999951

At present, school-age children are regularly exposed to a significant number of negative factors during their school time. the impact of these factors lead to the produce of an organism's response, called stress. Regular stress can in turn cause a deterioration in the health of children. In this paper we propose a new approach to the use of physical indicators that are tracked using a fitness bracelets. In this work, we obtain and analyze the student's physical activity indicators dynamics. the relationship between the physical condition and the level of psychological loading of schoolchildren during school lessons is analyzed. At the result was developed model for determining stress conditions in school-age children, and a web-service for analyzing and assessing the psychophysiological stress of school-age children is implemented.

关键词： School-age children Determine the level of stress Google fitness API Decision support systems Fuzzy knowledge base

来源：评论

学校读者我要写书评

暂无评论

Predicting Gate Conflicts at Charlotte Douglas international Airport Using NASA ATD-2 Fused Data Sources

Predicting Gate Conflicts at Charlotte Douglas International...

引用

conference on Digital Avionics Systems (DASC)

作者： William J. Coupe Hanbong Lee Andrew Churchill Isaac Robeson NASA Ames Research Center Moffett Field CA USA Mosaic ATM Leesburg VA USA

ISBN: (数字)9781728198255

ISBN: (纸本)9781728180885

NASA is conducting the Airspace Technology Demonstration-2 to evaluate an Integrated Arrival, Departure, and Surface (IADS) traffic management system. the IADS system is powered by real-time System Wide Information Management feeds which provide an accurate and high fidelity view of the lifecycle of a flight. this data can be leveraged to drive efficiencies in the National Airspace System. For non safety critical applications there is opportunity for third party service providers to offer this type of data-driven prediction service in near real-time. this paper investigates the gate conflict prediction problem as a concrete use case which could help drive efficiencies. We model gate conflicts as a regression problem and describe the iterative process of model building, model validation, and evaluation used to assess the efficacy of our approach. We quantify our predictive accuracy and identify paths for improvement. through this iterative process we hope to evolve our models and methods to a near real-time prediction service.

关键词： logic gates Feeds Real-time systems FAA NASA Airports Data models

来源：评论

学校读者我要写书评

暂无评论

A centralized solution to the student-school assignment problem in segregated environments via a CUDA parallelized simulated annealing algorithm

A centralized solution to the student-school assignment prob...

引用

Computer Science Society (SCCC) international conference Chilean FLAGGED

作者： Ignacio Lincolao-Venegas Julio Rojas-Mora School of Computer Science Universidad Católica de Temuco Temuco Chile Universidad Católica de Temuco Temuco Chile

ISBN: (数字)9781728183282

ISBN: (纸本)9781728183299

In this work, we implemented a CUDA parallelized simulated annealing algorithm to solve the student-school assignment problem in a highly segregated environment. the objective function optimized considered the average distance from the students to their assigned school, the socio-economic segregation via the dissimilarity index, and the cost of schools partially filled. Using data from the MINEDUC, the INE, and the Municipality of Temuco (Chile), we simulated the distribution of Temuco's student population, solving its students' assignment to the city's schools (29853 students to 85 schools). the results obtained were better with a high number of block (simultaneous students exploring), and a low number of threads (simultaneous schools explored by these students) instantiated in the GPU. Algorithm execution time worsens with the number of blocks and the number of threads, although it remained below 1000 seconds in the worst and below 400 seconds in the best case. However, the algorithm achieves excellent results in reducing socio-economic segregation, taking it from a high level to almost making it disappear. We achieved this result, even with a reduction of the average distance from students to their assigned school.

关键词： Computer science Sociology Graphics processing units Simulated annealing Linear programming Indexes Statistics

来源：评论

学校读者我要写书评

暂无评论

A Data-Driven Probabilistic Trajectory Model for Predicting and Simulating Terminal Airspace Operations

A Data-Driven Probabilistic Trajectory Model for Predicting ...

引用

conference on Digital Avionics Systems (DASC)

作者： Mayara Condé Rocha Murça McWillian de Oliveira Department of Civil Engineering Aeronautics Institute of Technology São José dos Campos SP Brazil

ISBN: (数字)9781728198255

ISBN: (纸本)9781728180885

the development of flight trajectory models that can efficiently predict and simulate air traffic operations is an important step to support novel concepts in Air Traffic Management (ATM), such as Trajectory-Based Operations (TBO). this paper presents a data-driven approach to developing a high-fidelity trajectory model for the airspace surrounding an airport using machine learning. Historical aircraft tracking data for arrival flights at the Sao Paulo/Guarulhos international Airport (GRU) is used to learn actual trajectory patterns and a probabilistic model of aircraft motion in the extended terminal area. We apply and evaluate the model for both trajectory prediction and generation, envisioning potential online and offline applications. Predictive performance is assessed over different time horizons, considering different amounts of past trajectory information available at the time of the prediction. To evaluate whether the trajectory generation process outputs realistic aircraft trajectories, an expert evaluation process is performed. We find that the model is able to deliver accurate trajectory predictions, outperforming a baseline deterministic model, and to generate realistic patterns of aircraft movement in the airspace analyzed.

关键词： Trajectory Atmospheric modeling Aircraft Predictive models Airports Air traffic control Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

Website Recommendation with Side Information Aided Variational Autoencoder

Website Recommendation with Side Information Aided Variation...

引用

IEEE international conference on Performance, Computing and Communications (IPCCC)

作者： Pinhao Wang Wenzhong Li Zepeng Yu Baoguo Lu Sanglu Lu State Key Laboratory for Novel Software Technology Nanjing University Nanjing China Sino-German Institutes of Social Computing Nanjing University Nanjing China Nanjing Research Institute of Electronics and Engineering Nanjing China

ISBN: (数字)9781728198293

ISBN: (纸本)9781728198309

Recommender systems had been proposed to help people to find the interested items, such as recommending products to a buyer; identifying movies or music that a user will find interest, etc. However, the existing recommendation approaches mainly focus on capturing user-item interaction patterns for prediction, and ignore the user's side information such as visit frequency and duration. In this paper, we study the side information aided website recommendation problem that using the browsing history of a set of users and their side information to predict the websites that will be of interest to a certain user. We propose a novel recommendation approach called SI-VAE that incorporates side information with the variational autoencoders (VAEs) model for top-k recommendation. the proposed method takes both user-website interaction information and side information as input, and adopts an encoder/decoder model to generate user's interested websites from partial observations. the model of SI-VAE is implemented as a neural network, and trained with a multinomial likelihood objective function to form the ranking of user-website interaction probabilities. We conduct extensive experiments on two real-world datasets, which show that the proposed model outperforms the baselines in a number of performance metrics in website recommendation.

关键词： Measurement Computational modeling Neural networks Predictive models Motion pictures Linear programming Recommender systems

来源：评论

学校读者我要写书评

暂无评论

Modeling of Scientific Publications Disciplinary Collocation Based on Optimistic Fuzzy Aggregation Norms 39th

Modeling of Scientific Publications Disciplinary Collocation...

引用

39th international conference on Information Systems Architecture and Technology (ISAT)

作者： Sokolov, Oleksandr Osinska, Wieslawa Mrela, Aleksandra Duch, Wlodzislaw Nicolaus Copernicus Univ Torun Fac Phys Astron & Informat 5 Grudziadzka PL-87100 Torun Poland Nicolaus Copernicus Univ Torun Inst Informat Sci & Book Studies 1 Wladyslawa Bojarskiego PL-87100 Torun Poland Kujawy & Pomorze Univ Bydgoszcz Fac Technol 55-57 Torunska PL-85023 Bydgoszcz Poland

ISBN: (纸本)9783319999968;9783319999951

Assessment of scientific achievements of scientists is difficult because the science is divided into scientific domains and disciplines. the classification is not a partition, so very often disciplines are related to a few scientific domains. the paper presents the method of calculating scientists' contributions to science, which are based on the number of articles published in journals connected to disciplines which are, in turn, related to scientific domains. the application of fuzzy relations and their composition simplifies the problem of describing these connections. the idea of the scientific contribution unit and the usage of the optimistic fuzzy aggregation norm allows calculating the scientific contribution of each scientist. Since levels of scientific contributions belong to the interval [0,1], there is a possibility to prepare rankings of scientists. the example of the application of this method is supported by the result of the estimation of scientific achievement by the real scientist.

关键词： Fuzzy logic application Scientific contribution unit Optimistic fuzzy aggregation norm Parametrization of science Publications collocations

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共52页 << < 16 17 18 19 20 21 22 23 24 25 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：