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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,044 篇 会议
100 篇 期刊文献
54 册 图书

馆藏范围

3,198 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,152 篇 工学
- 1,675 篇 计算机科学与技术...
- 964 篇 软件工程
- 340 篇 电气工程
- 251 篇 控制科学与工程
- 196 篇 信息与通信工程
- 101 篇 机械工程
- 67 篇 电子科学与技术（可...
- 47 篇 化学工程与技术
- 47 篇 生物工程
- 46 篇 动力工程及工程热...
- 44 篇 仪器科学与技术
- 43 篇 石油与天然气工程
- 41 篇 材料科学与工程（可...
- 40 篇 生物医学工程（可授...
- 30 篇 交通运输工程
- 27 篇 土木工程
633 篇 理学
- 460 篇 数学
- 96 篇 物理学
- 79 篇 生物学
- 76 篇 系统科学
- 71 篇 统计学（可授理学、...
- 46 篇 化学
291 篇 管理学
- 219 篇 管理科学与工程(可...
- 103 篇 工商管理
- 83 篇 图书情报与档案管...
92 篇 教育学
- 92 篇 教育学
63 篇 医学
- 49 篇 临床医学
- 35 篇 基础医学(可授医学...
41 篇 法学
- 36 篇 社会学
28 篇 经济学
- 28 篇 应用经济学
19 篇 文学
19 篇 农学
2 篇 军事学
2 篇 艺术学

主题

220 篇 linear programmi...
212 篇 programming
170 篇 dynamic programm...
120 篇 logic programmin...
96 篇 integer programm...
76 篇 functional progr...
75 篇 optimization
72 篇 computer program...
67 篇 object oriented ...
65 篇 programming prof...
65 篇 computer program...
64 篇 genetic programm...
64 篇 parallel program...
64 篇 software
50 篇 quadratic progra...
48 篇 education
47 篇 software enginee...
44 篇 computational mo...
36 篇 computer science
36 篇 hardware

机构

10 篇 univ british col...
7 篇 lakhshya cyber s...
7 篇 univ edinburgh e...
6 篇 lakhshya cyber s...
6 篇 amrita vishwa vi...
4 篇 graduate school ...
4 篇 ural fed univ ek...
4 篇 center for compu...
4 篇 univ minho ctr a...
4 篇 naval systems an...
4 篇 univ manchester ...
4 篇 faculty of engin...
4 篇 school of electr...
4 篇 russian acad sci...
4 篇 department of in...
4 篇 chalmers univ te...
3 篇 electric dispatc...
3 篇 school of inform...
3 篇 school of electr...
3 篇 nanjing research...

作者

8 篇 schaub torsten
8 篇 de meuter wolfga...
8 篇 cheney james
8 篇 tompits hans
7 篇 woltran stefan
7 篇 pradeep menon
6 篇 r vinayakumar
6 篇 gebser martin
6 篇 soman k. p.
6 篇 vinayakumar r.
6 篇 kp soman
6 篇 menon pradeep
5 篇 liu yang
5 篇 t.t. shannon
5 篇 eiter thomas
5 篇 binder walter
5 篇 wadler philip
4 篇 leone nicola
4 篇 jun zhang
4 篇 de araújo costa ...

语言

3,133 篇 英文
48 篇 其他
12 篇 中文
3 篇 俄文
2 篇 西班牙文
1 篇 意大利文

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

共 3198 条记录，以下是11-20 订阅

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

详细简洁

排序：

9th international conference on the Mathematical Foundations of programming Semantics, 1993

9th International Conference on the Mathematical Foundations...

引用

9th international conference on the Mathematical Foundations of programming Semantics, 1993

ISBN: (纸本)9783540580270

the proceedings contain 31 papers. the special focus in this conference is on Mathematical Foundations of programming Semantics. the topics include: Final universes of processes;on the symmetry of sequentiality;a structural co-induction theorem;three metric domains of processes for bisimulation;topological models for higher order control flow;an investigation into functions as processes;timewise refinement for communicating processes;axiomatising real-timed processes;a predicative semantics for the refinement of real-time systems;compositional process semantics of Petri boxes;on the specification of elementary reactive behaviour;a chemical abstract machine for graph reduction extended abstract;lifting theorems for kleisli categories;sequential functions on indexed domains and full abstraction for a sub-language of PCF;mechanizing logical relations;some quasi-varieties of iteration theories;probabilistic power domains, information systems, and locales;linear domains and linear maps;universal quasi-prime algebraic domains;holomorphic models of exponential types in linear logic;a syntax for linear logic;a complete axiomatisation for trace congruence of finite state behaviours;the asymmetric topology of computer science;a categorical interpretation of landin's correspondence principle;on the transformation between direct and continuation semantics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Integration of AI and OR Techniques in Constraint programming for Combinatorial Optimization Problems - 9th international conference, CPAIOR 2012, Proceedings

Integration of AI and OR Techniques in Constraint Programmin...

引用

9th international conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint programming, CPAIOR 2012

ISBN: (纸本)9783642298271

the proceedings contain 26 papers. the topics discussed include: a contractor based on convex interval Taylor;a combined approach for solving constraints over finite domains and arrays;graph coloring facets from all-different systems;complete characterization of near-optimal sequences for the two-machine flow shop scheduling problem;global cyclic cumulative constraint;a computational geometry-based local search algorithm for planar location problems;flow-based combinatorial chance constraints;explaining flow-based propagation;constraint optimization problems and bounded tree-width revisited;a high level language for solver independent model manipulation and generation of hybrid solvers;reconsidering mixed integer programming and MIP-based hybrids for scheduling;activity-based search for black-box constraint programming solvers;and instance-specific algorithm configuration as a method for non-model-based portfolio generation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Integer programming and Combinatorial Optimization - 9th international IPCO 2002 conference, Proceedings

Integer Programming and Combinatorial Optimization - 9th Int...

引用

9th international conference on Integer programming and Combinatorial Optimization, IPCO 2002

the proceedings contain 33 papers. the topics discussed include: a faster scaling algorithm for minimizing submodular functions;a generalization of Edmonds9; matching and matroid intersection algorithms;a coordinat...

the proceedings contain 33 papers. the topics discussed include: a faster scaling algorithm for minimizing submodular functions;a generalization of Edmonds' matching and matroid intersection algorithms;a coordinate-wise domain scaling algorithm for m-convex function minimization;a new min-cut max-flow ratio for multicommodity flows;improved rounding techniques for the MAX 2-SAT and MAX DI-CUT problems;finding the exact integrality gap for small traveling salesman problems;polynomial-time separation of simple comb inequalities;a new approach to cactus construction applied to tsp support graphs;an exponential lower bound on the length of some classes of branch-and-cut proofs;lifted inequalities for 0-1 mixed integer programming: basic theory and algorithms;a short proof of Seymour's characterization of the matroids with the max-flow min-cut property;and integrated logistics: approximation algorithms combining facility location and network design.

关键词：

来源：评论

学校读者我要写书评

暂无评论

9th international conference on Principles and Practice of Constraint programming, CP 2003

引用

9th international conference on Principles and Practice of Constraint programming, CP 2003

ISBN: (纸本)3540202021

the proceedings contain 126 papers. the special focus in this conference is on Principles and Practice of Constraint programming. the topics include: Recent progress in propositional reasoning and search;a new application area for search algorithms;languages versus packages for constraint problem solving;constraint patterns;control abstractions for local search;improved algorithms for counting solutions in constraint satisfaction problems;boosting chaff’s performance by incorporating CSP heuristics;efficient CNF encoding of boolean cardinality constraints;a two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows;solving finite domain constraint hierarchies by local consistency and tree search;a constraint programming application to staff scheduling in health care;constraint-based optimization with the minimax decision criterion;an algebraic approach to multi-sorted constraints;polynomial-time algorithms;box constraint collections for adhoc constraints;propagation redundancy in redundant modelling;complexity and multimorphisms;constraint satisfaction differential problems;a wealth of sat distributions with planted assignments;redundant modeling for the quasigroup completion problem;open constraint optimization;constraints for breaking more row and column symmetries;generic SBDD using computational group theory;using stochastic local search to solve quantified boolean formulae;solving max-SAT as weighted CSP;constraint reasoning over strings;tractability by approximating constraint languages;constraints for probabilistic reasoning in logic programming;constraint programming for modelling and solving modal satisfiability;distributed forward checking and a new class of binary CSPs for which arc-consistency is a decision procedure.

关键词：

来源：评论

学校读者我要写书评

暂无评论

9th international Integer programming and Combinatorial Optimization conference, IPCO 2002

9th International Integer Programming and Combinatorial Opti...

引用

9th international Integer programming and Combinatorial Optimization conference, IPCO 2002

ISBN: (纸本)9783540478676

the proceedings contain 33 papers. the special focus in this conference is on Integer programming and Combinatorial Optimization. the topics include: A faster scaling algorithm for minimizing submodular functions;a coordinatewise domain scaling algorithm for m-convex function minimization;the quickest multicommodity flow problem;a new min-cut max-flow ratio for multicommodity flows;improved rounding techniques for the MAX 2-SAT and MAX DI-CUT problems;finding the exact integrality gap for small traveling salesman problems;polynomial-time separation of simple comb inequalities;a new approach to cactus construction applied to TSP support graphs;split closure and intersection cuts;an exponential lower bound on the length of some classes of branch-and-cut proofs;basic theory and algorithms;on a lemma of scarf;integer programming and arrovian social welfare functions;approximation algorithms combining facility location and network design;the minimum latency problem is NP-hard for weighted trees;an improved approximation algorithm for the metric uncapacitated facility location problem;a polyhedral approach to surface reconstruction from planar contours;the semidefinite relaxation of the k-partition polytope is strong;a PTAS for minimizing total completion time of bounded batch scheduling;an approximation scheme for the two-stage, two-dimensional bin packing problem;polynomial-time approximation schemes;hard equality constrained integer knapsacks;the distribution of values in the quadratic assignment problem;a new subadditive approach to integer programming;improved approximation algorithms for resource allocation;approximating the advertisement placement problem and algorithms for minimizing response time in broadcast scheduling.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 9th conference on Computing Education Practice, CEP 2025

Proceedings - 9th Conference on Computing Education Practice...

引用

9th conference on Computing Education Practice, CEP 2025

ISBN: (纸本)9798400711725

the proceedings contain 12 papers. the topics discussed include: learning programming languages by pantomime;learning without limits: analyzing the usage of generative ai in a summative assessment;group assignments and support aimed to develop student teamwork skills and a positive attitude towards teamwork in computer science higher education;trunk and branch: fostering autonomous peer supportive learning environments through delivery & assessment;themes in the declared use of generative artificial intelligence in assessment;practical insights for engaging in charity-university collaborations for computing outreach for disadvantaged young people;and enhancing learning and teaching experience for international students in computing subjects.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Implementing a Multi-objective Fuzzy Interval programming Model for Water Resource Allocation in Quanzhou City 9th

Implementing a Multi-objective Fuzzy Interval Programming Mo...

引用

9th international conference on Advances in Energy Resources and Environment Engineering, ICAESEE 2023

作者： Wei, Yi Jin, Lei College of Environmental Science and Engineering Xiamen University of Technology Xiamen361024 China

ISBN: (纸本)9783031665042

the development of Quanzhou city has been significantly impeded by the scarcity of water resources. In this paper, a new multi-objective robust fuzzy interval linear model programming (MRFILP) model aimed to devise a more equitable water resource allocation plan, resolving conflicting interests among diverse users while fostering sustainable development. through a comprehensive assessment encompassing economic benefits, food security indices, and environmental impacts within Quanzhou's water distribution system, the model derived a more stable water distribution plan. Especially, this plan contributes to increased grain production while simultaneously reducing the city's overall carbon dioxide emissions. the key findings emphasize prioritizing the service industry to bolster Quanzhou's economic growth. Additionally, it stresses the need for agricultural sector stability, particularly in the vegetable industry, while highlighting the secondary industry's comparative resilience to water resource fluctuations. Furthermore, a comparison with the interval multi-objective programming model (IMOP) validates the feasibility of the attained results. these solutions offer crucial insights for policymakers engaged in water resource allocation, aiding in the formulation of optimized economic, social, and environmental plans for Quanzhou's future development. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

10th international Workshop on Big Data Management and Service, BDMS 2024, 9th international Workshop on Big Data Quality Management, BDQM 2024, DASFAA 2024 Workshop on Emerging Results in Data Science and Engineering, ERDSE 2024 and 8th international Workshop on Graph Data Management and Analysis, GDMA 2024 held in conjunction with 29th international conference on Database Systems for Advanced Applications, DASFAA 2024

10th International Workshop on Big Data Management and Servi...

引用

10th international Workshop on Big Data Management and Service, BDMS 2024, 9th international Workshop on Big Data Quality Management, BDQM 2024, DASFAA 2024 Workshop on Emerging Results in Data Science and Engineering, ERDSE 2024 and 8th international Workshop on Graph Data Management and Analysis, GDMA 2024 held in conjunction with 29th international conference on Database Systems for Advanced Applications, DASFAA 2024

ISBN: (纸本)9789819609130

the proceedings contain 26 papers. the special focus in this conference is on Big Data Management and Service. the topics include: FAIth: A Fast, Accurate, and Lightweight Database-Agnostic Learned Cost Model;fast Approximate Temporal Butterfly Counting on Bipartite Graphs via Edge Sampling;Financial-ICS: Identifying Peer Firms via LongBERT from 10K Reports;establishing a Decentralized Diamond Quality Management System: Advancing Towards Global Standardization;co-estimation of Data Types and their Positional Distribution;Enhancing Load Forecasting with VAE-GAN-Based Data Cleaning for Electric Vehicle Charging Loads;audio-Guided Visual Knowledge Representation;boundary Point Detection Combining Gravity and Outlier Detection Methods;A Meta-learning Approach for Category-Aware Sequential Recommendation on POIs;automatic Post-editing of Speech Recognition System Output Using Large Language Models;comparative Analysis with Multiple Large-Scale Language Models for Automatic Generation of Funny Dialogues;effectiveness of the Programmed Visual Contents Comparison Method for Two Phase Collaborative Learning in Computer programming Education: A Case Study;generating Achievement Relationship Graph Between Actions for Alternative Solution Recommendation;generating News Headline Containing Specific Person Name;Investigating Evidence in Sentence Similarity Using MASK in BERT;acceleration of Synopsis Construction for Bounded Approximate Query Processing;Query Expansion in Food Review Search with Synonymous Phrase Generation by LLM;Question Answer Summary Generation from Unstructured Texts by Using LLMs;Real Estate Information Exploration in VR with LoD Control by Physical Distance;voices of Asynchronous Learning Students: Revealing Learning Characteristics through Vocabulary Analysis of Notes Tagged in Videos;review Search Interface Based on Search Result Summarization Using Large Language Model;yes-No Flowchart Generation for Interactive Exploration of Personalized Health Improve

关键词：

来源：评论

学校读者我要写书评

暂无评论

Students’ Pre-concepts of Robot Control Before their First Robotics Lesson: A Pilot Study 23rd

Students’ Pre-concepts of Robot Control Before Their First...

引用

23rd international conference on Web-Based Learning, ICWL 2024 was held in conjunction with the 9th international Symposium on Emerging Technologies for Education, SETE 2024

作者： Stenová, Barbora Miková, Karolína Comenius University in Bratislava Mlynská dolina Bratislava84248 Slovakia

ISBN: (纸本)9789819644063

programming is one of the fundamental components of Computer Science. Many countries have incorporated this core component into their educational standards. We can introduce programming into the educational process in different ways. One of the modern and fast developing methods of introducing students to programming is Educational Robotics (ER). ER integrates STE(A)M in a very natural way and thus, due to its cross-curricular nature, allows such a way of teaching, where students learn to plan the behaviour of the robot by programming the physical components of the model. the complexity of ER leads us to take into account various aspects when designing educational materials that influence the cognitive process of students and their understanding of the educational content presented. One of these aspects is the students’ prior knowledge of robotics that they have acquired from everyday life and with which they come to class. the aim of this work is to identify this natural acquired knowledge, the so-called pre-concepts, about controlling a robot. the results presented here are from a pilot study conducted with a group of 48 students aged 11–13 years old at a grammar school, with no prior ER classes. Based on the analysis of the data obtained from questionnaire, we can say, for example, that although the students have the correct idea that robots have to be programmed, their ideas remain at the level of concrete examples, without a higher level of abstraction. © the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

Design an AutoCar Kit for Project-Based Learning in Autonomous Vehicle programming for University Students 9th

Design an AutoCar Kit for Project-Based Learning in Autonomo...

引用

9th international conference on Internet of things, ICIOT 2024, Held as Part of the Services conference Federation, SCF 2024

作者： Anh, Khuat Duc Hung, Bui Phi Trinh, Pham thi thuc Hiep, Nguyen Quang Linh, Vu Tuan Hung, Phan Duy FPT University Hanoi Viet Nam

ISBN: (纸本)9783031770029

Self-driving cars are a dynamically growing industry, fundamental to transportation and robotics, providing a higher demand for AI specialists. Nevertheless, as occurs with so many things, the theoretical understanding of abstraction in textbooks and modern curriculum is not as easily implemented by students. While numerous third-party companies are available in the market that provide kits and real-life guides and practices for self-driving cars, these products are often only for individuals and have quite high prices, making it difficult to apply in the classroom model. To solve this problem, this paper introduces the low-cost Autocar toolkit that university students can use to learn autonomous vehicle programming, which includes basic computer vision algorithms. Learning materials are designed for project-based learning, the ability to practice in groups, and implementation principles that focus on applying the approaches and techniques in computer vision. this approach is intended to address some of the difficulties the institution faces in procuring educational facilities and remove the gap between theory and practice in autonomous vehicle-related education. the AutoCar kit is suitable for classroom practice with groups of 3 members. this paper describes the hardware kit, the software materials, and the exercises. the result is an educational technology tool that contributes to training programming engineers for self-driving cars. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：