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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 篇 会议
131 篇 期刊文献
72 册 图书

馆藏范围

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

日期分布

学科分类号

2,393 篇 工学
- 1,892 篇 计算机科学与技术...
- 1,148 篇 软件工程
- 418 篇 电气工程
- 268 篇 控制科学与工程
- 199 篇 信息与通信工程
- 127 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 44 篇 化学工程与技术
- 40 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
672 篇 理学
- 482 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 73 篇 生物学
- 51 篇 化学
401 篇 管理学
- 336 篇 管理科学与工程(可...
- 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,508 篇 英文
56 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3592 条记录，以下是31-40 订阅

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

详细简洁

排序：

A Constraint programming Approach for the Preference Tourist Trip Design Problem 7th

A Constraint Programming Approach for the Preference Tourist...

引用

7th international conference on Optimization and Learning

作者： Riff, Stephanie Castro, Carlos Monfroy, Eric Univ Tecn Feder Santa Maria Valparaiso Chile Univ Nantes Nantes France

ISBN: (纸本)9783031779404;9783031779411

Currently, tourists seek to optimize their time when planning a trip to another country to visit attractions and places that match their tastes and preferences. Among these preferences is slow or relaxed tourism, which demands visiting less popular places and having in mind conscious relaxed tourism. Linear programming has been used in some studies to solve optimization problems related to tourist routes, but its use is limited due to the complexity of the constraints in these problems. In contrast, constraint programming can handle complex constraints more naturally, allowing for better constraint modeling and more efficient problem solving. this paper addresses this problem by using constraint programming techniques for the optimization of tourist routes. Constraint programming has been proven to be an effective technique for solving optimization problems related to tourist routes given its ability to model complex constraints and conflicts in solutions naturally. the results obtained in this article demonstrate that constraint programming using complete search techniques provides better results compared to linear programming. In particular, the proposed technique achieved the optimal solution for 70% of the tested instances, surpassing the results obtained by state-of-the-art studies and highlighting its efficiency in execution time. In summary, it is concluded that constraint programming is a more effective and efficient technique than linear programming in optimizing tourist routes in view of its ability to naturally model complex constraints and conflicts in solutions.

关键词： Tourism Constraint programming Route planning

来源：评论

学校读者我要写书评

暂无评论

BIM Visual programming of Bionic Architecture Construction Using Dynamo and Revit 1

引用

7th international Russian Automation conference, RusAutoCon 2024

作者： Polyanina, A.S. Arsenich, E.E. National Research Moscow State University of Civil Engineering Yaroslavskoe Shosse 26 Moscow129337 Russia A+A Architectural Group Rozhdestvensky Blvd. 10/7 Moscow107031 Russia

ISBN: (数字)9783031824944

ISBN: (纸本)9783031824937

the application of visual programming technology in the field of engineering of bionic architecture building constructions is explored. It includes analysis of engineering automation systems and demonstrates how visual programming language works in the building information modeling. the programming and engineering environment used in architecture and building, such as Dynamo in conjunction with Revit, are considered. All model data is dynamically linked to each other, allowing for consistent corrections. Parametric change control technology ensures documentation is up-to-date throughout the entire life cycle of the building. the capabilities of this environment are demonstrated using an example of practical application in structural engineering. the algorithm allows you to create a variety of building constructions with unique shapes and flexible settings of initial data. As an illustration, a script is given that allows you to simulate a building construction in the form of a flower with the ability to change the initial parameters. the prospects for using visual programming in structural engineering are discussed. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Visual languages

来源：评论

学校读者我要写书评

暂无评论

Research on cross-building energy storage management system based on reinforcement learning 7

Research on cross-building energy storage management system ...

引用

2024 7th international conference on Power Electronics and Control Engineering, ICPECE 2024

作者： Xin, Ming Wang, Yanli Zhang, Ruizhi Zhang, Jibin Liu, Xinan State Grid Heilongjiang Electric Power Company Limited Heilongjiang Harbin150090 China School of Management Harbin Institute of Technology Heilongjiang Harbin150001 China

this study considers a cross-building energy storage system in which the objective function of each step is a piecewise linear function of decision variables and state variables. therefore, the objective function can be modeled as piecewise linear programming and then transformed into a mixed integer linear programming (MILP) problem. However, as a multi-stage stochastic programming problem in which we utilize approximate dynamic programming (ADP) to tackle the computational issues, we need to solve the objective function multiple times. To further decrease computational cost, we propose several approximate algorithms to determine variable splitting, which degrades the problem to a linear programming problem. We use approximate techniques to solve the problem and design experiments to verify our conclusion. Numerical experiments show that our algorithm greatly reduces the time needed to solve the problem under the condition of minimal loss of accuracy. the simulation experiment in a Python environment further proves that the cross-building energy storage management system based on energy routers and control centers is better than the energy system of each building working alone to maximize the benefits. © Published under licence by IOP Publishing Ltd.

关键词： Stochastic programming

来源：评论

学校读者我要写书评

暂无评论

7th international Workshop on Machine Learning in Clinical Neuroimaging, MLCN 2024, Held in Conjunction with 27th international conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2024

7th International Workshop on Machine Learning in Clinical N...

引用

7th international Workshop on Machine Learning in Clinical Neuroimaging, MLCN 2024, Held in Conjunction with 27th international conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2024

ISBN: (纸本)9783031787607

the proceedings contain 16 papers. the special focus in this conference is on Machine Learning in Clinical Neuroimaging. the topics include: Brain-Cognition Fingerprinting via Graph-GCCA with Contrastive Learning;hyperBrain: Anomaly Detection for Temporal Hypergraph Brain Networks;SpaRG: Sparsely Reconstructed Graphs for Generalizable fMRI Analysis;a Lightweight 3D Conditional Diffusion Model for Self-explainable Brain Age Prediction in Adults and Children;SOE: SO(3)-Equivariant 3D MRI Encoding;towards a Foundation Model for Cortical Folding;a Lesion-Aware Edge-Based Graph Neural Network for Predicting Language Ability in Patients with Post-stroke Aphasia;DISARM: Disentangled Scanner-Free Image Generation via Unsupervised Image2Image Translation;segmenting Small Stroke Lesions with Novel Labeling Strategies;a Progressive Single-Modality to Multi-modality Classification Framework for Alzheimer’s Disease Sub-type Diagnosis;Surface-Based Parcellation and Vertex-wise Analysis of Ultra High-resolution ex vivo 7 tesla MRI in Alzheimer’s disease and related dementias;Self-supervised Pre-training Tasks for an fMRI Time-Series Transformer in Autism Detection;is Your Style Transfer Doing Anything Useful? An Investigation into Hippocampus Segmentation and the Role of Preprocessing;GAMing the Brain: Investigating the Cross-Modal Relationships Between functional Connectivity and Structural Features Using Generalized Additive Models.

关键词：

来源：评论

学校读者我要写书评

暂无评论

7th international Russian Automation conference, RusAutoCon 2024

7th International Russian Automation Conference, RusAutoCon ...

引用

7th international Russian Automation conference, RusAutoCon 2024

ISBN: (纸本)9783031824937

the proceedings contain 37 papers. the special focus in this conference is on Russian Automation. the topics include: Mapping and Path Planning Methods for Highly Automated Vehicles in Agriculture;morphological Analysis and Synthesis Features of Technological Processes;a Modern Method of Wireless Control of Unguarded Railway Crossings;duties and Obligations of the Railway Staff Concerned When the Microprocessorized Contactless Controlling Gauge Device Signal Is Triggered;integration of Automated Management Systems for Enterprises’ Transport and Technical Services;development of an Automation Module for Planning Trajectories for Painting Aircraft Fuselage Elements;identification of Metal Sheets in the Flow, Based on the Marking Imprint, Using Neural Networks;study of the Performance of Adaptive Sensor Networks for Collecting and Processing thermoelectric Data;development and Research of a Cartographic Model for Municipal Planning as the Basis of an Intelligent Geoinformation System;BIM Visual programming of Bionic Architecture Construction Using Dynamo and Revit;development of a Model and Algorithms for Trigger Control of Technological Processes of Resource Provision;system for Statistical Assessment of Means of Controlling Engineers’ Qualification for Information Support to Manage the Recruiting Process in Industry;smart Enumeration Technology;comparative Analysis of C-Band Conical Horn Antenna Sparse Structures Characteristics at Different Frequencies;software Implementation of Heuristic Methods of Optimization and Integration into a Cloud Service;computer System for Modeling Fluid Flow Around Bodies and Its Potential in Industry;the Effect of Regular and Irregular Segmentations on Characteristics and Charge Distribution Densities of Microstrip Lines;reinforcement Learning with External Teacher for Building Energy Management.

关键词：

来源：评论

学校读者我要写书评

暂无评论

7th international Workshop on Predictive Intelligence in Medicine, PRIME 2024, held in conjunction with the 27th international conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024

7th International Workshop on Predictive Intelligence in Med...

引用

7th international Workshop on Predictive Intelligence in Medicine, PRIME 2024, held in conjunction with the 27th international conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2024

ISBN: (纸本)9783031745607

the proceedings contain 17 papers. the special focus in this conference is on Predictive Intelligence in Medicine. the topics include: Spectral Graph Sample Weighting for Interpretable Sub-cohort Analysis in Predictive Models for Neuroimaging;RCT: Relational Connectivity Transformer for Enhanced Prediction of Absolute and Residual Intelligence;gene-to-Image: Decoding Brain Images from Genetics via Latent Diffusion Models;physics-Guided Multi-view Graph Neural Network for Schizophrenia Classification via Structural-functional Coupling;automated Patient-Specific Pneumoperitoneum Model Reconstruction for Surgical Navigation Systems in Distal Gastrectomy;MNA-net: Multimodal Neuroimaging Attention-Based Architecture for Cognitive Decline Prediction;Improving Brain MRI Segmentation with Multi-Stage Deep Domain Unlearning;DynGNN: Dynamic Memory-Enhanced Generative GNNs for Predicting Temporal Brain Connectivity;Strongly Topology-Preserving GNNs for Brain Graph Super-Resolution;generative Hypergraph Neural Network for Multiview Brain Connectivity Fusion;identifying Brain Ageing Trajectories Using Variational Autoencoders with Regression Model in Neuroimaging Data Stratified by Sex and Validated Against Dementia-Related Risk Factors;integrating Deep Learning with Fundus and Optical Coherence Tomography for Cardiovascular Disease Prediction;self-Supervised Contrastive Learning for Consistent Few-Shot Image Representations;Neurocognitive Latent Space Regularization for Multi-label Diagnosis from MRI;Segmentation of Brain Metastases in MRI: A Two-Stage Deep Learning Approach with Modality Impact Study.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Adding State to Stream Runtime Verification 24th

Adding State to Stream Runtime Verification

引用

24th international conference on Runtime Verification

作者： Caldeira, Manuel Kallwies, Hannes Leucker, Martin thoma, Daniel Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany

ISBN: (纸本)9783031742330;9783031742347

Stream Runtime Verification (SRV) is gaining traction for monitoring systems with data streams, but it struggles with specifying state-based systems and control flow. While automata models like state charts excel at representing states, functional languages offer solutions like monads (e.g., in Haskell) to elegantly handle state and data streams together. Other approaches exist in Lustre/Esterel or Rust. However, for SRV frameworks like TeSSLa, no such approach exists so far. this paper extends TeSSLa's syntax by building on a monadic type to simplify for improved control flow specifications.

关键词： Stream runtime verification Automata Monads

来源：评论

学校读者我要写书评

暂无评论

NeuroLGP-SM: A Surrogate-Assisted Neuroevolution Approach Using Linear Genetic programming 7th

NeuroLGP-SM: A Surrogate-Assisted Neuroevolution Approach Us...

引用

7th international conference on Optimization and Learning

作者： Stapleton, Fergal Cody-Kenny, Brendan Galvan, Edgar Maynooth Univ Hamilton Inst CS Dept Naturally Inspired Comp Res Grp Maynooth Kildare Ireland Sema Baltimore MD USA

ISBN: (纸本)9783031779404;9783031779411

Evolutionary algorithms are increasingly recognised as a viable computational approach for the automated optimisation of deep neural networks (DNNs) within artificial intelligence. this method extends to the training of DNNs, an approach known as neuroevolution. However, neuroevolution is an inherently resource-intensive process, with certain studies reporting the consumption of thousands of GPU days for refining and training a single DNN network. To address the computational challenges associated with neuroevolution while still attaining good DNN accuracy, surrogate models emerge as a pragmatic solution. Despite their potential, the integration of surrogate models into neuroevolution is still in its early stages, hindered by factors such as the effective use of high-dimensional data and the representation employed in neuroevolution. In this context, we address these challenges by employing a suitable representation based on Linear Genetic programming, denoted as NeuroLGP, and leveraging Kriging Partial Least Squares. the amalgamation of these two techniques culminates in our proposed methodology known as the NeuroLGP-Surrogate Model (NeuroLGP-SM). For comparison purposes, we also code and use a baseline approach incorporating a repair mechanism, a common practice in neuroevolution. Notably, the baseline approach surpasses the renowned VGG-16 model in accuracy. Given the computational intensity inherent in DNN operations, a singular run is typically the norm. To evaluate the efficacy of our proposed approach, we conducted 96 independent runs spanning a duration of 4weeks. Significantly, our methodologies consistently outperform the baseline, with the SM model demonstrating superior accuracy or comparable results to the NeuroLGP approach. Noteworthy is the additional advantage that the SM approach exhibits a 25% reduction in computational requirements, further emphasising its efficiency for neuroevolution.

关键词： Neuroevolution Linear Genetic programming Surrogate-assisted Evolutionary Algorithms

来源：评论

学校读者我要写书评

暂无评论

Smart Enumeration Technology 1

引用

7th international Russian Automation conference, RusAutoCon 2024

作者： Groppen, V.O. Tuayeva, I.V. 44 Nikolaev Str Vladikavkaz362021 Russia

ISBN: (数字)9783031824944

ISBN: (纸本)9783031824937

Proposed is an enumeration technology based on search of local optimum of extremal problems with discrete variables as well as numerical values of integrals, the roots of equations, and extreme values of equations for the problems with continues variables. the aim is to propose an enumeration technology for obtaining numerical solutions of acceptable quality for a wide range of problems in minimal time to find a solution. this approach includes possibility of predictive procedures usage to reduce the time of intermediate calculations, but it does not guarantee any gain in total running time, since part of this time is spent on searching for predictive dependencies. Nevertheless, it is shown that as the enumeration volume increases, the efficiency of the proposed approach also increases. It has been analytically proved and experimentally confirmed that, in comparison with the sequential search leading to the same quality of solution, the upper bound for the gain in running time for the problems with continues variables is equal to two. All descriptions of this approach are illustrated with examples and with statistical results of experimental verification of the effectiveness of this approach in relation to problems with discrete and continuous variables. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Analyze of efficiency Brute force Continuous variables Discrete programming Enumeration Local optimum Predictive procedure

来源：评论

学校读者我要写书评

暂无评论

Mapping and Path Planning Methods for Highly Automated Vehicles in Agriculture 1

引用

7th international Russian Automation conference, RusAutoCon 2024

作者： Mikhailov, V.S. Khairullin, I.D. Svyatov, K.V. Ulyanovsk State Technical University 32 Severny Venets Str Ulyanovsk432027 Russia

ISBN: (数字)9783031824944

ISBN: (纸本)9783031824937

In Russia, agriculture is one of the key industries, so the development of innovative solutions in this area is of great importance. A promising approach is to automate field operations using highly automated manufacturing. these vehicles provide many benefits, including increased productivity, accurate information delivery, resource optimization, improved worker safety, flexibility, scalability, addressing labor shortages and relative technological innovation. the purpose of this work is to develop software for controlling unmanned vehicles and effectively managing the field processing devices installed on them. Testing algorithms on your own cars is ineffective due to high resource consumption and reduced comfort. therefore, a highly automated vehicle simulator was used to debug the algorithm. the simulator offers various features such as route generation using Reeds-Scheppe curves, multiple path identification algorithms, visualization of landscape impacts, metric graphing capabilities, and robust compatibility with real vehicles. this paper proposes the development and implementation of these tools, considering their capabilities and benefits for promoting automation in agriculture. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：