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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,160 篇 会议
58 册 图书
37 篇 期刊文献

馆藏范围

1,254 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

922 篇 工学
- 870 篇 计算机科学与技术...
- 470 篇 软件工程
- 93 篇 控制科学与工程
- 66 篇 电气工程
- 43 篇 信息与通信工程
- 13 篇 机械工程
- 10 篇 土木工程
- 8 篇 建筑学
- 8 篇 石油与天然气工程
- 7 篇 交通运输工程
- 7 篇 生物工程
- 6 篇 生物医学工程（可授...
- 5 篇 力学（可授工学、理...
- 5 篇 仪器科学与技术
- 5 篇 电子科学与技术（可...
- 5 篇 农业工程
242 篇 理学
- 203 篇 数学
- 19 篇 系统科学
- 18 篇 物理学
- 15 篇 生物学
- 7 篇 统计学（可授理学、...
97 篇 管理学
- 62 篇 管理科学与工程(可...
- 41 篇 图书情报与档案管...
- 37 篇 工商管理
13 篇 教育学
- 12 篇 教育学
11 篇 医学
- 8 篇 基础医学(可授医学...
- 7 篇 临床医学
10 篇 法学
- 6 篇 社会学
7 篇 经济学
- 7 篇 应用经济学
7 篇 农学
- 6 篇 作物学
4 篇 文学
3 篇 哲学

主题

254 篇 logic programmin...
53 篇 artificial intel...
50 篇 fuzzy logic
42 篇 semantics
40 篇 formal logic
40 篇 mathematical log...
32 篇 computer circuit...
31 篇 logics and meani...
27 篇 software enginee...
23 篇 integer programm...
22 篇 temporal logic
21 篇 programming tech...
20 篇 programming lang...
19 篇 programming
19 篇 calculations
19 篇 knowledge repres...
17 篇 computer science
17 篇 logic
17 篇 answer set progr...
14 篇 software enginee...

机构

9 篇 univ bath dept c...
9 篇 vienna univ tech...
5 篇 univ london impe...
5 篇 rhein westfal th...
5 篇 univ london impe...
5 篇 univ texas dept ...
4 篇 tu wien austria
4 篇 simon fraser uni...
4 篇 department of co...
4 篇 guangxi key labo...
4 篇 univ liverpool d...
4 篇 univ potsdam ins...
4 篇 carnegie mellon ...
4 篇 univ glamorgan c...
4 篇 univ potsdam ins...
3 篇 univ potsdam ins...
3 篇 theoretical comp...
3 篇 saitama univ dep...
3 篇 microsoft resear...
3 篇 univ potsdam pot...

作者

12 篇 schaub torsten
12 篇 de vos marina
10 篇 brain martin
9 篇 ricca francesco
8 篇 gebser martin
8 篇 russo alessandra
7 篇 gore rajeev
6 篇 leone nicola
6 篇 andrei voronkov
6 篇 xu yang
6 篇 giesl juergen
5 篇 cliffe owen
5 篇 eiter thomas
5 篇 faber wolfgang
5 篇 cabalar pedro
5 篇 gupta gopal
5 篇 tompits hans
5 篇 schaub t
4 篇 mileo alessandra
4 篇 chang liang

语言

1,217 篇 英文
30 篇 其他
9 篇 中文
1 篇 葡萄牙文

检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"

共 1255 条记录，以下是301-310 订阅

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

详细简洁

排序：

Screening a Case Base for Stroke Disease Detection 11th

Screening a Case Base for Stroke Disease Detection

引用

11th international conference on Hybrid Artificial Intelligence Systems (HAIS)

作者： Neves, Jose Goncalves, Nuno Oliveira, Ruben Gomes, Sabino Neves, Joao Macedo, Joaquim Abelha, Antonio Analide, Cesar Machado, Jose Santos, Manuel Filipe Vicente, Henrique Univ Minho Ctr Algorithmi Braga Portugal Univ Minho Dept Informat Braga Portugal Drs Nicolas & Asp Dubai U Arab Emirates Univ Evora Escola Ciencias & Tecnol Dept Quim Evora Portugal

ISBN: (纸本)9783319320342;9783319320335

Stroke stands for one of the most frequent causes of death, without distinguishing age or genders. Despite representing an expressive mortality figure, the disease also causes long-term disabilities with a huge recovery time, which goes in parallel with costs. However, stroke and health diseases may also be prevented considering illness evidence. therefore, the present work will start with the development of a decision support system to assess stroke risk, centered on a formal framework based on logic programming for knowledge representation and reasoning, complemented with a Case Based reasoning (CBR) approach to computing. Indeed, and in order to target practically the CBR cycle, a normalization and an optimization phases were introduced, and clustering methods were used, then reducing the search space and enhancing the cases retrieval one. On the other hand, and aiming at an improvement of the CBR theoretical basis, the predicates attributes were normalized to the interval 0...1, and the extensions of the predicates that match the universe of discourse were rewritten, and set not only in terms of an evaluation of its Quality-of-Information (QoI), but also in terms of an assessment of a Degree-of-Confidence (DoC), a measure of one's confidence that they fit into a given interval, taking into account their domains, i.e., each predicate attribute will be given in terms of a pair (QoI, DoC), a simple and elegant way to represent data or knowledge of the type incomplete, self-contradictory, or even unknown.

关键词： Stroke Disease logic programming Knowledge Representation and reasoning Case Based reasoning Similarity Analysis

来源：评论

学校读者我要写书评

暂无评论

12th international conference on Integrated Formal Methods, IFM 2016

引用

12th international conference on Integrated Formal Methods, IFM 2016

ISBN: (纸本)9783319336923

the proceedings contain 33 papers. the special focus in this conference is on Program Verification and Probabilistic Systems. the topics include: Symbolic computation and automated reasoning for program analysis;perspectives of model transformation reuse;on type checking delta-oriented product lines;modelling and verifying a priority scheduler for an SCJ runtime environment;translating between intermediate verification languages;statistical approximation of optimal schedulers for probabilistic timed automata;probabilistic formal analysis of app usage to inform redesign;extension of PRISM by synthesis of optimal timeouts in fixed-delay CTMC;monitoring multi-threaded component-based systems;a generalised theory of interface automata, component compatibility and error;on implementing a monitor-oriented programming framework for actor systems;towards a thread-local proof technique for starvation freedom;reasoning about inheritance and unrestricted reuse in object-oriented concurrent systems;a formal model of the safety-critical java level 2 paradigm;deciding monadic second order logic over x-words by specialized finite automata;property preservation for extension patterns of state transition diagrams;symbolic reachability analysis of B through PROB and LTSMIN;enhancing automata learning by log-based metrics;refactoring of legacy software using model learning and equivalence checking;efficient deadlock-freedom checking using local analysis and SAT solving;SMT solvers for validation of B and event-B models;avoiding medication conflicts for patients with multimorbidities;temporal random testing for spark streaming and combining static analysis and testing for deadlock detection.

关键词：

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Information and Communication Technologies, ICT 2015

7th International Conference on Information and Communicatio...

引用

7th international conference on Information and Communication Technologies, ICT 2015

ISBN: (纸本)9783319257310

the proceedings contain 29 papers. the special focus in this conference is on Emerging Technologies for Better Living. the topics include: Research and innovation in ICT with examples in the field of ehealth and wellbeing;semantic policy information point preliminary considerations;a roadmap to the design of a personal digital life coach;load balancing of distributed servers in distributed file systems;artificial solver of word association game;collaborative cloud computing application for water resources based on open source software;rule-based model for medical knowledge presentation and reasoning in clinical decision support systems;proposal and experimental evaluation of fall detection solution based on wearable and depth data fusion;affordable smart living system prototype based on generic environmental sensors;a survey on user interaction mechanisms for enhanced living environments;processing and analysis of Macedonian cuisine and its flavours by using online recipes;machine learning approach to blocking effect reduction in low bitrate video;secure and efficient automatic ruling in three-level network architecture;toward 3d avatar visualization of Macedonian sign language;using NLP methods to improve the effectiveness of a Macedonian question answering system;generic face detection and pose estimation algorithm suitable for the face de-identification problem;ECG signal compression using adaptive hermite functions;a fuzzy logic approach for a wearable cardiovascular and aortic monitoring system and next generation ICT platform to harmonize medical, care and lifestyle services.

关键词：

来源：评论

学校读者我要写书评

暂无评论

international conference on Emerging Trends in Engineering and Technology, ICETET

International Conference on Emerging Trends in Engineering a...

引用

7th international conference on Emerging Trends in Engineering and Technology, ICETET 2015

ISBN: (纸本)9781467383059

the proceedings contain 37 papers. the topics discussed include: a review of on-chip spectral analysis for built-in testing using FFT engine;area efficient FFT/IFFT processor design for MIMO OFDM system in wireless communication;bio-inspired optimization algorithms for improvement of vehicle routing problems;design and implementation of wearable device for neuropathic diabetic foot patients;design of basic logic gates using carbon nano tube field effect transistor and calculation of figure of merit;enhancing cloud security using multicloud architecture and device based identity;feed forward neural network optimization by particle swarm intelligence;prevention of simple power analysis attacks in elliptical curve cryptography on WSN platform;a heuristic approach for automated mammogram orientation in computer aided diagnosis;and development of mathematical models for compressive strength of concrete containing quarry dust and waste plastic as sand replacement.

关键词：

来源：评论

学校读者我要写书评

暂无评论

7th international conference on Computational Logistics, ICCL 2016

7th International Conference on Computational Logistics, ICC...

引用

7th international conference on Computational Logistics, ICCL 2016

ISBN: (纸本)9783319448954

the proceedings contain 29 papers. the special focus in this conference is on Container Terminals, Maritime Transportation, Intermodal Transport, Location, Routing, Supply Chain Management and Supply Chain Management. the topics include: A multi-product maritime inventory routing problem with undedicated compartments;a MIP based local search heuristic for a stochastic maritime inventory routing problem;2D-packing with an application to stowage in Roll-On Roll-Off liner shipping;a vessel pickup and delivery problem from the disruption management in offshore supply vessel operations;agent-based support for container terminals to make appointments with barges;a logic-based benders decomposition approach to improve coordination of inland vessels for inter-terminal transport;scenarios for collaborative planning of inter-terminal transportation;solving the robust container pre-marshalling problem;a cooperative approach to dispatching and scheduling twin-yard cranes in container terminals;online and offline container purchasing and repositioning problem;optimizing train load planning: review and decision support for train planners;analysis of cost allocation techniques for freight bundling networks in intermodal transport;service and transfer selection for freights in a synchromodal network;a revenue management approach for network capacity allocation of an intermodal barge transportation system;lore, a decision support tool for location, routing and location-routing problems;two echelon location routing problem with simultaneous pickup and delivery;mixed integer programming formulations and comparative analysis;vehicle routing for fleets with electric- and combustion-powered vehicles;the bi-objective k-dissimilar vehicle routing problem and improving production logistics through materials flow control and lot splitting.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Declarative Modeling Cases of Cyber Physical Systems

Declarative Modeling Cases of Cyber Physical Systems

引用

international conference on Logistics, Informatics and Service Sciences (LISS)

作者： Ding, Wei Engel, William Goode, Andre Santostasi, Giovanni Florida Polytech Univ Lakeland FL 33805 USA Northwestern Univ Chicago IL 60611 USA

ISBN: (纸本)9781509011025

A Cyber-physical system (CPS) is an engineering system made of computational components, i.e. cyber elements, and physical elements, that are connected by a communication network. CPSs have emerged as the contemporarily leading technology in major industry sectors such as manufacture, aerospace, automotive, etc. Nowadays CPS is almost the synonym of control systems for large and complex engineering systems. In addition, CPSs have inevitably interweaved with new technologies like Internet of things, cloud computing, ubiquitous computing, and big data processing. Taming the complexity has been the key challenge in CPS design. A novel declarative computing based platform was proposed in our previous paper to unify modeling and design of both cyber and physical components in CPSs. In this paper, the concepts and principles of the proposed declarative platform are depicted in details. In addition, modeling techniques of declarative networking and declarative control are showcased with concrete simulation examples.

关键词： declarative networking logic programming declarative control cyber-physical systems networked cyber-physical systems intelligent control

来源：评论

学校读者我要写书评

暂无评论

Optimization of selected components in MPD root: Capabilities of distributed programming techniques 7

Optimization of selected components in MPD root: Capabilitie...

引用

7th international conference Distributed Computing and Gridtechnologies in Science and Education, GRID 2016

作者： Fatkina, A. Iakushkin, O. Gasanova, O. Tazieva, L. Saint Petersburg State University 7/9 Universitetskaya emb. Saint-Petersburg199034 Russia

the article analyses the prospects of optimizing the architecture and the execution logic of selected scripts available in MPD Root project. We considered the option of porting the scripts to allow execution on massive parallel architectures. We collected and structured large data illustrating the project's work: • the project's dependency tables were drawn up with regard to the support of parallel and concurrent computing;• the source code database was indexed to identify cross dependencies among architectural entities;• the code profiling measurements were made at launch time of the scripts in question, the call sequences were analyzed, the execution time of the scripts was evaluated. the study evaluated the prospects of using various libraries and platforms: CUD A, OpenMP, OpenCL, TBB, and MPI. the obtained measurements and the analysis of the best practices of the software under consideration allows to make recommendations for modifying MPD Root in order to optimize: • vectorization of loops;• transfer of continuous computing segments to co-processing architecture;• source code segments whose operation can be represented as call graphs;• source code segments that can be subject to load allocation between computing nodes. © 2016 Fatkina A., Iakushkin O, Gasanova O, Tazieva L.

关键词： Parallel architectures

来源：评论

学校读者我要写书评

暂无评论

Least-violating planning in road networks from temporal logic specifications 16

Least-violating planning in road networks from temporal logi...

引用

IEEE/ACM international conference on Cyber-Physical Systems

作者： Jana Tumova Sertac Karaman Calin Belta Daniela Rus KTH Royal Institute of Technology Stockholm Sweden Massachusetts Institute of Technology Cambridge MA Boston University Boston MA

ISBN: (纸本)9781509017737

In this paper we consider the problem of automated plan synthesis for a vehicle operating in a road network, which is modeled as a weighted transition system. the vehicle is assigned a set of demands, each of which involves a task specification in the form of a syntactically co-safe LTL formula, a deadline for achieving this task, and a demand priority. the demands arrive gradually, upon the run of the vehicle, and hence periodical replanning is needed. We particularly focus on cases, where all tasks cannot be accomplished within the desired deadlines and propose several different ways to measure the degree of demand violation that take into account the demand priorities. We develop a general solution to the problem of least-violating planning and replanning based on a translation to linear programming problem. Furthermore, for a particular subclass of demands, we provide a more efficient solution based on graph search algorithms. the benefits of the approach are demonstrated through illustrative simulations inspired by mobility-on-demand scenarios.

关键词： modeled weighted transition efficient road network Temporal logic vehicle Specifications SOLUTIONS(GENERAL) graph search RUN

来源：评论

学校读者我要写书评

暂无评论

DC-DC Conversion Based On ZSI And Boost Rectifier Using Fuzzy logic Control 7

DC-DC Conversion Based On ZSI And Boost Rectifier Using Fuzz...

引用

7th IEEE India international conference on Power Electronics (IICPE)

作者： Rai, Rashmi Bhatia, R. S. Nijhawan, Parag Natl Inst Technol Dept Elect Engn Kurukshetra Haryana India Thapar Univ Elect & Instrumentat Engn Patiala Punjab India

ISBN: (纸本)9781509045303

this paper presents the application of ZSI for DC-DC conversion where both the inverter and converter stages is being controlled. the application of such system is in fuel cell. the fuel cell voltage output is very less which needs to be boosted up as per the requirement. So, ZSI performs both the boosting and inversion of voltage in single stage. the ZSI is controlled by simple boost control technique with the modification in traditional sinusoidal pulse width modulation. For second stage, the controller is designed for PWM boost rectifier. Fuzzy logic controller is integrated in the feedback loop and linear programming method is applied to shape the input current waveform. With fuzzy logic controller, the constant voltage is being obtained across the resistive load. the proposed method is simulated in SimPower System in MATLAB.

关键词： z-Source Inverter(ZSI) Simple Boost Control(SBC) Fuzzy logic Control DC-DC Converter

来源：评论

学校读者我要写书评

暂无评论

jLegends: Online game to train programming skills

jLegends: Online game to train programming skills

引用

international conference on Information, Intelligence, Systems and Applications (IISA)

作者： Konstantinos Tsalikidis George Pavlidis Department of Electrical Engineering Kavala Institute of Technology Kavala Greece Multimedia Research Group ‘Athena’ Research Center Xanthi Greece

ISBN: (纸本)9781509034307

Gamification and in particular game-based learning is significantly gaining ground during the latest decades. It expresses a different approach to education that is mixing education with gaming, aiming to enhance the learning experience with game mechanics and rules and to provide stronger motivations for lifelong learning. Many works have illustrated the benefits of learning while playing. this work presents such a game-based approach that has been adopted and used in the development of an online multiplayer platform game, with a purpose to teach or train programming with JavaScript. In effect it is like what is usually called a serious game, or a game with a purpose. the game, jLegends, is online and available for everyone to train and test knowledge on programming and logic, within a role-playing gaming approach. jLegends is built with source-code scalability in mind, in order to be expandable or even become open-sourced in the future.

关键词： Games programming profession Software Computers Education Encoding

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共126页 << < 27 28 29 30 31 32 33 34 35 36 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：