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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

3,389 篇 会议
132 篇 期刊文献
74 册 图书

馆藏范围

3,593 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

2,398 篇 工学
- 1,896 篇 计算机科学与技术...
- 1,152 篇 软件工程
- 418 篇 电气工程
- 269 篇 控制科学与工程
- 199 篇 信息与通信工程
- 127 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 44 篇 化学工程与技术
- 40 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
672 篇 理学
- 482 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 73 篇 生物学
- 51 篇 化学
402 篇 管理学
- 337 篇 管理科学与工程(可...
- 148 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 103 篇 教育学
70 篇 医学
- 46 篇 临床医学
- 35 篇 基础医学(可授医学...
64 篇 经济学
- 64 篇 应用经济学
40 篇 法学
22 篇 文学
12 篇 农学
9 篇 艺术学
3 篇 军事学

主题

309 篇 linear programmi...
251 篇 programming
187 篇 dynamic programm...
142 篇 computer program...
118 篇 integer programm...
116 篇 optimization
109 篇 logic programmin...
86 篇 genetic programm...
82 篇 functional progr...
73 篇 computational mo...
68 篇 object oriented ...
66 篇 programming prof...
65 篇 parallel program...
56 篇 software enginee...
54 篇 costs
49 篇 mathematical mod...
48 篇 computer program...
46 篇 heuristic algori...
42 篇 artificial intel...
41 篇 computer science

机构

9 篇 univ london impe...
7 篇 inesc tec porto
6 篇 feup porto
6 篇 russian acad sci...
5 篇 c mast ubi covil...
4 篇 univ leicester l...
4 篇 vienna univ tech...
4 篇 institute of fun...
4 篇 chinese acad sci...
4 篇 university of am...
4 篇 univ nottingham ...
4 篇 beijing universi...
3 篇 weizmann inst sc...
3 篇 univ nottingham ...
3 篇 delft center for...
3 篇 international is...
3 篇 international bu...
3 篇 department of co...
3 篇 school of comput...
3 篇 univ cyprus dept...

作者

8 篇 catalao joao p. ...
6 篇 musirin ismail
5 篇 weiss gera
5 篇 marron assaf
4 篇 hirschfeld rober...
4 篇 ghani n
4 篇 katz guy
4 篇 saraswat vijay
4 篇 xiong rui
4 篇 funabiki nobuo
4 篇 fitiwi desta z.
4 篇 shi yong
4 篇 boercsoek josef
4 篇 jagadeesan radha
4 篇 gupta vineet
4 篇 michael n. young
4 篇 pesant gilles
4 篇 harel david
3 篇 muggleton stephe...
3 篇 faisal a. aldo

语言

3,511 篇 英文
56 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=7th International Conference on Functional Programming"

共 3595 条记录，以下是731-740 订阅

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

详细简洁

排序：

Proceedings - 2019 7th international conference in Software Engineering Research and Innovation, CONISOFT 2019

Proceedings - 2019 7th International Conference in Software ...

引用

7th international conference in Software Engineering Research and Innovation, CONISOFT 2019

ISBN: (纸本)9781728125244

the proceedings contain 27 papers. the topics discussed include: a novel approach for software requirement prioritization;a novel approach for software requirement prioritization based upon non functional requirements;evaluating the software quality non-functional requirement through a fuzzy logic-based model based on the ISO/IEC 25000 (SQuaRE) standard;when software engineering meets cybersecurity at the classroom;what is programming? putting all together, part II the cognitive skills associated;and exploring software design skills of students in different stages of their curriculum.

关键词：

来源：评论

学校读者我要写书评

暂无评论

17th European conference on Multi-Agent Systems, EUMAS 2020, and 7th international conference on Agreement Technologies, AT 2020

17th European Conference on Multi-Agent Systems, EUMAS 2020,...

引用

17th European conference on Multi-Agent Systems, EUMAS 2020, and 7th international conference on Agreement Technologies, AT 2020

ISBN: (纸本)9783030664114

the proceedings contain 38 papers. the special focus in this conference is on Multi-Agent Systems. the topics include: Predicting the Winners of Borda, Kemeny and Dodgson Elections with Supervised Machine Learning;from Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities;decentralised Multi-intersection Congestion Control for Connected Autonomous Vehicles;Model-Checking Information Diffusion in Social Networks with PRISM;"Roads? Where We’re Going We Don’t Need Roads." Using Agent-Based Modeling to Analyze the Economic Impact of Hyperloop Introduction on a Supply Chain;sensitivity to Initial Conditions in Agent-Based Models;statecharts and Agent Technology: the Past and Future;a Game of Double Agents: Repeated Stackelberg Games with Role Switch;learning Summarised Messaging through Mediated Differentiable Inter-Agent Learning;integrating Deep Learning and Non-monotonic Logical Reasoning for Explainable Visual Question Answering;multiagent Task Coordination as Task Allocation Plus Task Responsibility;anytime and Efficient Coalition Formation with Spatial and Temporal Constraints;congestion Management for Mobility-on-Demand Schemes that Use Electric Vehicles;disaster Response Simulation as a Testbed for Multi-Agent Systems;rewarding Miners: Bankruptcy Situations and Pooling Strategies;a Game-theoretical Analysis of Charging Strategies for Competing Double Auction Marketplaces;agents for Preserving Privacy: Learning and Decision Making Collaboratively;open Social Systems;preface;towards a theory of Intentions for Human-Robot Collaboration;a Faithful Mechanism for Privacy-Sensitive Distributed Constraint Satisfaction Problems;incentivising Exploration and Recommendations for Contextual Bandits with Payments;emotional Agents Make a (Bank) Run;An Interface for programming Verifiable Autonomous Agents in ROS;combining Lévy Walks and Flocking for Cooperative Surveillance Using Aerial Swarms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Confronting the Constraints for Optical Character Segmentation from Printed Bangla Text Image 20

Confronting the Constraints for Optical Character Segmentati...

引用

7th international conference on Networking, Systems and Security, NSysS 2020

作者： Abir, Abu Saleh Md. Rahman, Sanjana Ellin, Samia Farzana, Maisha Manik, Md. Hridoy Rahman, Chowdhury Rafeed United International University Dhaka Bangladesh

ISBN: (纸本)9781450389051

In a world of digitization, optical character recognition holds the automation to written history. Optical character recognition system basically converts printed images into editable texts for better storage and usability. To be completely functional, the system needs to go through some crucial methods such as pre-processing and segmentation. Pre-processing helps printed data to be noise free and gets rid of skewness efficiently whereas segmentation helps the image fragment into line, word and character precisely for better conversion. these steps hold the door to better accuracy and consistent results for a printed image to be ready for conversion. Our proposed algorithm is able to segment characters both from ideal and non-ideal cases of scanned or captured images giving a sustainable outcome. the implementation of our work is provided here: Https://***/rgdfBIa. © 2020 ACM.

关键词： Optical character recognition

来源：评论

学校读者我要写书评

暂无评论

Screaming in the IO Monad A Realtime Audio Processing and Control Experiment in Haskell 7

Screaming in the IO Monad A Realtime Audio Processing and Co...

引用

7th ACM SIGPLAN international Workshop on functional Art, Music, Modeling, and Design (FARM)

作者： Janin, David Univ Bordeaux CNRS Bordeaux INP LaBRIUMR 5800 Bordeaux France

ISBN: (纸本)9781450368117

We investigate in this paper the applicability of the notion monad streams to media stream programming, and, more specifically, audio processing and control. Simply said, a monad stream is sort of a list guarded by a monad action that returns either nothing when the stream is over, or, otherwise, just the current value of the stream and the guarding action of its continuation. Applied to the IO monad, it appears that monad streams can be used for modeling both input streams and output streams, with full control of the possibly synchronism between input and output streams in stream functions. this allows for defining both synchronous or asynchronous functions, or any combination of both notions. In the abstract, this opens quite intriguing and generic solutions towards programming systems that are globally asynchronous and locally synchronous (GALS). In the concrete, applied to real-time audio, this allows for combining, in a fairly simple and unified way, both (synchronous) audio processing and (asynchronous) audio control. As far as performance are concerned, our proposal allows non-trivial transformation of audio streams at 44100 Hz with a 10 ms latency, a performance comparable to functional programing languages dedicated to real-time audio processing such as Faust.

关键词： Realtime programming Monad Streams Synchronous Audio Processing Asynchronous Audio Control

来源：评论

学校读者我要写书评

暂无评论

Transformational verification of quicksort 8

Transformational verification of quicksort

引用

8th international Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020

作者： de Angelis, Emanuele Fioravanti, Fabio Proietti, Maurizio CNR IASI Via dei Taurini 19 Roma00185 Italy DEC University "G. d'Annunzio" of Chieti-Pescara Viale Pindaro 42 Pescara65127 Italy

Many transformation techniques developed for constraint logic programs, also known as constrained Horn clauses (CHCs), have found new useful applications in the field of program verification. In this paper, we work out a nontrivial case study through the transformation-based verification approach. We consider the familiar Quicksort program for sorting lists, written in a functional programming language, and we verify the pre/postconditions that specify the intended correctness properties of the functions defined in the program. We verify these properties by: (1) translating them into CHCs, (2) transforming the CHCs by removing all list occurrences, and (3) checking the satisfiability of the transformed CHCs by using the Eldarica solver over booleans and integers. the transformation mentioned at Point (2) requires an extension of the algorithms for the elimination of inductively defined data structures presented in previous work, because during one stage of the transformation we use as lemmas some properties that have been proved at previous stages. © E. De Angelis, F. Fioravanti & M. Proietti this work is licensed under the Creative Commons Attribution License.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Analogues of Switching Subgradient Schemes for Relatively Lipschitz-Continuous Convex programming Problems 19th

Analogues of Switching Subgradient Schemes for Relatively Li...

引用

19th international conference on Mathematical Optimization theory and Operations Research,MOTOR 2020

作者： Titov, Alexander A. Stonyakin, Fedor S. Alkousa, Mohammad S. Ablaev, Seydamet S. Gasnikov, Alexander V. Moscow Institute of Physics and Technology Moscow Russia V. I. Vernadsky Crimean Federal University Simferopol Russia National Research University Higher School of Economics Moscow Russia

ISBN: (纸本)9783030586560

Recently some specific classes of non-smooth and non-Lipsch-itz convex optimization problems were considered by Yu. Nesterov and H. Lu. We consider convex programming problems with similar smoothness conditions for the objective function and functional constraints. We introduce a new concept of an inexact model and propose some analogues of switching subgradient schemes for convex programming problems for the relatively Lipschitz-continuous objective function and functional constraints. Some class of online convex optimization problems is considered. the proposed methods are optimal in the class of optimization problems with relatively Lipschitz-continuous objective and functional constraints. © 2020, Springer Nature Switzerland AG.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Effect of decabromodiphenylethane on the thermo-oxidative ageing property of epoxy resin 7

Effect of decabromodiphenylethane on the thermo-oxidative ag...

引用

7th IEEE international conference on High Voltage Engineering and Application, ICHVE 2020

作者： Liu, Yuhao Lin, Ying Fan, Haonan Wang, Liming Laboratory of Advanced Technology of Electrical Engineering and Energy Tsinghua Shenzhen International Graduate School Shenzhen China School of Electrical and Automation Engineering HeFei University of Technology Hefei China

ISBN: (纸本)9781728155111

Epoxy resin (EP) with excellent insulation and mechanical properties is widely used as insulation material in power systems. thermo-oxidative ageing of EP caused by high temperature can lead to serious accidents in systems. therefore, it is necessary to study the thermo-oxidative ageing of EP. Decabromodiphenylethane (DBDPE) is a common flame retardant in EP. However, the effect of DBDPE on the thermo-oxidative ageing of EP is rarely studied. In this paper, neat EP and EP/DBDPE samples were prepared. the samples were aged for 32 days at 160 ?. the color, chemical structure and dielectric properties of the two kinds of samples during thermo-oxidative ageing were investigated by Fourier transform infrared spectrometry (FTIR) and broadband dielectric spectroscopy (BDS). the results show that the effect of thermo-oxidative ageing on neat epoxy resin is relatively uniform, while the thermal oxygen aging of EP/DBDPE sample mainly occurs on the surface, which prevents the diffusion of oxygen and delays the internal aging of epoxy resin. With the increase of ageing time, the C-H bond of EP decreases while \mathrm{C}=\mathrm{C} bonds increase. the \mathrm{C}=\mathrm{O} bond of neat EP rises first and then decreases, while that of EP/DBDPE keeps rising. the real part of the complex permittivity of the EP decreases with the ageing time, and the imaginary part increases first and then decreases. the change of functional groups and dielectric properties of EP/DBDPE is more obvious before and after ageing. According to the results, the conclusion is drawn that DBDPE in EP can accelerate the thermos-oxidative ageing. this paper can provide theoretical guidance for engineering application of DBDPE filled EP. © 2020 IEEE.

关键词： Epoxy resins

来源：评论

学校读者我要写书评

暂无评论

An Interface for programming Verifiable Autonomous Agents in ROS 17th

An Interface for Programming Verifiable Autonomous Agents in...

引用

17th European conference on Multi-Agent Systems (EUMAS) / 7th international conference on Agreement Technologies (AT)

作者： Cardoso, Rafael C. Ferrando, Angelo Dennis, Louise A. Fisher, Michael Univ Manchester Dept Comp Sci Manchester England

ISBN: (纸本)9783030664114;9783030664121

Autonomy has been one of the most desirable features for robotic applications in recent years. this is evidenced by a recent surge of research in autonomous driving cars, strong government funding for research in robotics for extreme environments, and overall progress in service robots. Autonomous decision-making is often at the core of these systems, thus, it is important to be able to verify and validate properties that relate to the correct behaviour that is expected of the system. Our main contribution in this paper, is an interface for integrating BDI-based agents into robotic systems developed using ROS. We use the Gwendolen language to program our BDI agents and to make use of the AJPF model checker in order to verify properties related to the decision-making in the agent programs. Our case studies include 3D simulations using a simple autonomous patrolling behaviour of a TurtleBot, and multiple TurtleBots servicing a house that can cooperate with each other in case of failure.

关键词： Autonomous agents High-level decision-making Robotic applications ROS Model checking

来源：评论

学校读者我要写书评

暂无评论

Airportlization: the Inevitable Choice of the Integration and Innovation of the exhibition Industry in the Age of Traffic Economy - - Practical observation in China 7

Airportlization: The Inevitable Choice of the Integration an...

引用

2020 7th international conference on Coastal and Ocean Engineering, ICCOE 2020

作者： Li, Tiecheng Liu, Li Wu, Namei South China Business College Guangdong University of Foreign Studies Guangzhou China International Economics and Trade College Guangdong University of Foreign Studies Guangzhou China

the Internet revolution has had a significant impact on the global economy and society. Human beings are moving from the industrial age to information civilization. As one of the representatives of the new economic form in information civilization, the flow economy will become a new economic development model. Both the exhibition economy and the airport economy have the attributes of flow economy, and both of them are developing rapidly in China. they both are in a state of integration and development. the integration of exhibition economy and airport economy is based on the functional synergy of industrial chain integration, and the spatial integration of urban exhibition clusters and airport economic zones. Based on the theory of industrial chain integration, industrial integration and economic symbiosis, this paper puts forward the concept of the integration of exhibition economy and airport economy. We try to construct functional synergy model and spatial integration model, and propose the mechanism of industry chain sharing, co-governance and symbiosis and comprehensive cost-oriented mechanism. Finally, suggestions were made on the location selection of the airport exhibition industry, the exhibition industry and the airport industry linkage, and the regional competition and cooperation of the airport exhibition industry. © Published under licence by IOP Publishing Ltd.

关键词： Integration

来源：评论

学校读者我要写书评

暂无评论

7th international Congress on Mathematical Software, ICMS 2020

7th International Congress on Mathematical Software, ICMS 20...

引用

7th international Congress on Mathematical Software, ICMS 2020

ISBN: (纸本)9783030521998

the proceedings contain 48 papers. the special focus in this conference is on Mathematical Software. the topics include: Homomorphic Encryption and Some Black Box Attacks;Nilpotent Quotients of Associative$$\mathbb {Z}$$ -Algebras and Augmentation Quotients of Baumslag-Solitar Groups;the GAP Package LiePRing;classifying Simplicial Dissections of Convex Polyhedra with Symmetry;classification Results for Hyperovals of Generalized Quadrangles;isomorphism and Invariants of Parallelisms of Projective Spaces;classification of Linear Codes by Extending their Residuals;the Program Generation in the Software Package QextNewEdition;algebraic Polytopes in Normaliz;Curtains in CAD: Why Are they a Problem and How Do We Fix them?;real Tropical Hyperfaces by Patchworking in polymake;practical Volume Estimation of Zonotopes by a New Annealing Schedule for Cooling Convex Bodies;slack Ideals in Macaulay2;hyperplane Arrangements in polymake;a Convex programming Approach to Solve Posynomial Systems;equality Checking for General Type theories in Andromeda 2;geoLogic – Graphical Interactive theorem Prover for Euclidean Geometry;a Formalization of Properties of Continuous Functions on Closed Intervals;variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks;applying Machine Learning to Heuristics for Real Polynomial Constraint Solving;chordality Preserving Incremental Triangular Decomposition and Its Implementation;a Machine Learning Based Software Pipeline to Pick the Variable Ordering for Algorithms with Polynomial Inputs;funGrim: A Symbolic Library for Special Functions;operational Research Literature as a Use Case for the Open Research Knowledge Graph;making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems;***: A New Interface to polymake.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共360页 << < 70 71 72 73 74 75 76 77 78 79 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：