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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

492 篇 会议
29 篇 期刊文献
24 册 图书

馆藏范围

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

日期分布

学科分类号

382 篇 工学
- 347 篇 计算机科学与技术...
- 220 篇 软件工程
- 60 篇 控制科学与工程
- 40 篇 电气工程
- 22 篇 信息与通信工程
- 11 篇 电子科学与技术（可...
- 9 篇 机械工程
- 9 篇 建筑学
- 8 篇 力学（可授工学、理...
- 8 篇 土木工程
- 8 篇 生物医学工程（可授...
- 7 篇 材料科学与工程（可...
- 7 篇 交通运输工程
- 5 篇 仪器科学与技术
- 5 篇 生物工程
- 4 篇 化学工程与技术
113 篇 理学
- 93 篇 数学
- 13 篇 系统科学
- 12 篇 统计学（可授理学、...
- 10 篇 物理学
- 10 篇 生物学
29 篇 管理学
- 17 篇 管理科学与工程(可...
- 12 篇 图书情报与档案管...
- 8 篇 工商管理
12 篇 医学
- 10 篇 基础医学(可授医学...
- 10 篇 临床医学
- 7 篇 药学(可授医学、理...
4 篇 经济学
- 4 篇 应用经济学
4 篇 法学
- 4 篇 社会学
4 篇 教育学
- 4 篇 教育学
2 篇 农学

主题

88 篇 logic programmin...
24 篇 computer circuit...
20 篇 fuzzy logic
16 篇 semantics
15 篇 programming
15 篇 mathematical log...
15 篇 logics and meani...
14 篇 artificial intel...
13 篇 programming lang...
12 篇 linear programmi...
12 篇 programming tech...
11 篇 formal logic
11 篇 software enginee...
10 篇 logic gates
10 篇 logic
9 篇 genetic programm...
9 篇 algebra
9 篇 functional progr...
8 篇 web services
7 篇 programmable log...

机构

3 篇 cwi p.o. box 940...
2 篇 sri int menlo pk...
2 篇 huelva universit...
2 篇 department of co...
2 篇 trinity coll dub...
2 篇 ctr wiskunde & i...
2 篇 computer science...
2 篇 hanoi univ techn...
2 篇 department of me...
2 篇 università di pi...
2 篇 applied mathemat...
2 篇 fujitsu laborato...
2 篇 dept. of informa...
2 篇 industrial depar...
2 篇 department of ma...
2 篇 department of el...
2 篇 univ munich inst...
2 篇 faculty of elect...
2 篇 univ kent canter...
2 篇 vienna univ tech...

作者

3 篇 osorio m
2 篇 riedl l
2 篇 ortiz m
2 篇 yu yong
2 篇 kurz a
2 篇 casadei roberto
2 篇 kahl wolfram
2 篇 schobbens pierre...
2 篇 hennicker r
2 篇 ray oliver
2 篇 le van hung
2 篇 kifer michael
2 篇 bidoit m
2 篇 lin ying
2 篇 zhao na
2 篇 moto-oka t.
2 篇 stehr mark-olive...
2 篇 zhang xuan
2 篇 pianini danilo
2 篇 jaffar joxan

语言

537 篇 英文
7 篇 其他
1 篇 中文

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

共 545 条记录，以下是421-430 订阅

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

详细简洁

排序：

Placing and routing circuits on FPGAs by means of parallel and distributed genetic programming 4th

Placing and routing circuits on FPGAs by means of parallel a...

引用

4th international conference on Evolvable Systems: From Biology to Hardware, ICES 2001

作者： Fernández, F. Sánchez, J.M. Tomassini, M. Departamento de Informática Escuela Politécmca Universidad de Extremadura Cáceres Spain Institut d’ Informatique Universidté de lausanne Switzerland

ISBN: (纸本)354042671X

We present results on the application of a new methodology based on Parallel and Distributed Genetic programming (PADGP). the aim for the methodology we present is to automatically perform the placement and routing of circuits on reconfigurable hardware. the system has been successfully applied to some benchmark problems. For each of the problems we have dealt with, the methodology is capable of finding several solutions. the results show the methodology's feasibility for addressing the problem of placement and routing on FPGAs. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

Perspectives of System Informatics 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Dines Bjørner Manfred Broy Alexandre V. Zamulin

ISBN: (数字)9783540455752

ISBN: (纸本)9783540430759

this book constitutes the thoroughly refereed post-proceedings of the 4th international Andrei Ershov Memorial conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.;the 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. the book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing, software construction, data and knowledge bases, logic programming, constraint programming, program analysis, and language implementation.

关键词： Computer System Implementation programming Languages, Compilers, Interpreters logics and Meanings of Programs programming Techniques Software Engineering Computation by Abstract Devices

来源：评论

学校读者我要写书评

暂无评论

A methodology for object-oriented constraint programming

A methodology for object-oriented constraint programming

引用

Asia-Pacific conference on Software Engineering

作者： Hon Wai Chun Department of Electronic Engineering City University of Hong Kong Kowloon Hong Kong China

ISBN: (纸本)081868271X

Object-oriented constraint programming (OOCP) combines two orthogonal but complementary programming paradigms into one-object-oriented programming (OOP) and logic constraint programming (LCP). Most practitioners of OOCP would agree that the design of a constraint-based model is the most time consuming and difficult part of OOCP. there is currently no systematic approach or methodology to follow when designing a model suitable for OOCP. the paper outlines a simple methodology that extends traditional object-oriented analysis and design (OOAD) to cover constrained variables and constraints used in OOCP. the proposed OOCP Methodology is an initial investigation into providing a more rigid set of guidelines to follow when designing constraint-based models. the paper presents the OOCP methodology using a simplified nurse rostering system as a case study.

关键词： Object oriented programming logic programming Performance analysis Object oriented modeling Resource management Guidelines Unified modeling language Information analysis Libraries Design methodology

来源：评论

学校读者我要写书评

暂无评论

A GIS application to enhance cell-based information modeling

A GIS application to enhance cell-based information modeling

引用

4th international FLINS conference on Intelligent Techniques and Soft Computing in Nuclear Science and Engineering

作者： Benedikt, J Reinberg, S Riedl, L Geologic A-1080 Vienna Austria Vienna Univ Technol Dept Reg Sci A-1040 Vienna Austria

ISBN: (纸本)9810243561

Maps have been major sources of information for a long time. Geographic Information Systems (GIS) use digital data, elevation models, satellite images, expert systems and related open source information for planning, detection, evaluation and decision making. Maps as well as GIS use spatial attributes of data in particular. Spatial Information derived is a feature of both data and language to communicate results of analysis and interpretation. A natural language approach to geographic concepts is discussed focusing on the cognitive aspects of categorizing spatial terms, which are represented by vague descriptions. Scientific analysis, however, requires a formal representation of spatial terms. the translation of linguistic concepts to spatial terms like "steep slopes" involves inherent uncertainties that are dealt with by implementing fuzzy logic tools to computer-based GIS. MapModels is a programming language based on ArcView(R) GIS that allows users easily to comprehend geographical (spatial) terms by means of analytical tools including membership models. A flowchart interface is preferred to a line-code oriented programming language thus enabling the user to focus on a particular problem rather than a complex programming exercise. Examples are given on how MapModels utilizes the vagueness of geographic description in GIS analysis. this paper shows, how MapModels enhances the powerful options of GIS-based spatial analysis in obtaining information from cell-based images. (C) 2002 Elsevier Science Inc. All rights reserved.

关键词： fuzzy sets GIS spatial analysis semantic modeling graphical programming languages

来源：评论

学校读者我要写书评

暂无评论

2022 international conference on Emerging Smart Computing and Informatics, ESCI 2022

2022 International Conference on Emerging Smart Computing an...

引用

4th IEEE international conference on Emerging Smart Computing and Informatics, ESCI 2022

ISBN: (纸本)9781665400732

the proceedings contain 75 papers. the topics discussed include: study of disease identification in pomegranate using leaf detection technique;design of multipliers using reversible logic and Toffoli gates;education and analysis of autistic patients using machine learning;a burgeoning 6g technology and its cloud services;an intelligent framework for crime prediction using behavioral tracking and motion analysis;forecasting diurnal covid-19 cases for top-5 countries using various time-series forecasting algorithms;investigating the role of artificial intelligence in building smart contact on block-chain;empirical study of crop-disease detection and crop-yield analysis systems: a statistical view;modified approach for solving fully fuzzy linear programming problems;deep learning for biometric recognition of children using footprints;gun detection: comparative analysis using transfer learning in single stage detectors;and safeguarding e-healthcare documents utilizing an infrastructure for advanced keyless signature infrastructure blockchain within the cloud.

关键词：

来源：评论

学校读者我要写书评

暂无评论

D-LITe : Distributed logic for internet of things sErvices

D-LITe : Distributed logic for internet of things sErvices

引用

2011 IEEE international conference on Internet of things, ithings 2011 and 4th IEEE international conference on Cyber, Physical and Social Computing, CPSCom 2011

作者： Cherrier, Sylvain Ghamri-Doudane, Yacine M. Lohier, Stéphane Roussel, Gilles Université Paris-Est 77454 Marne-la-Vallée Cedex 2 France 1 Square de La Résistance 91025 Evry Cedex France

ISBN: (纸本)9780769545806

Smartphones, PDA, Sensors, Actuators, Phidgets and Smart Objects (i.e. objects with processing and networking capabilities) are more and more present in everyday's life. Merging all these technologies with the Internet is often described as'Internet of things' (IoT). In the IoT vision, things around us provide a pervasive network of interacting and interconnected devices. However building IoT applications is a long and arduous work, reserved for specialists, requiring specific knowledges in terms of network protocols and programming languages. the lack of widespread and easy-to-configure solutions is an obstacle for the development of this area. A universal framework, offering simplification and standardization, could facilitate the emergence of this promising field in terms of applications and business. IoT needs a solid foundation for rapid, simple development and deployment of new services. In this paper, we present DLITe, a universal framework for building IoT applications over heterogeneous sets of small devices. D-LITe offers solutions for deploying application's logic, and executing it on Smart Objects despite their heterogeneity. An implementation of DLITe on tiny devices, such as TelosB motes, allows to show that our framework is realistic even with the constraints of such devices. © 2011 IEEE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

international Symposium on Design and Implementation of Symbolic Computation Systems, DISCO 1996

International Symposium on Design and Implementation of Symb...

引用

4th international Symposium on Design and Implementation of Symbolic Computation Systems, DISCO 1996

ISBN: (纸本)3540616977

the proceedings contain 35 papers. the special focus in this conference is on Design and Implementation of Symbolic Computation Systems. the topics include: Problem-oriented applications of automated theorem proving;a strongly-typed embeddable computer algebra library;a general framework for implementing calculi and strategies;equality elimination for the tableau method;towards lean proof checking;high performance equational theorem proving;a reflective language based on conditional term rewriting;term rewriting systems;generative geometric modeling in a functional environment;exploiting SML for experimenting with algebraic algorithms;conditional categories and domains;parameterizing object specifications;analyzing the dynamics of a Z specification;integer and rational arithmetic on maspar;parallel 3-primes FFT algorithm;a master-slave approach to parallel term rewriting on a hierarchical multiprocessor;concepts and applications;document-centered presentation of computing software;animating a non-executable formal specification with a distributed symbolic language;uniform representation of basic algebraic structures in computer algebra;integrating computer algebra with proof planning;structures for symbolic mathematical reasoning and computation;an approach to class reasoning in symbolic computation;an intelligent interface to numerical routines;computer algebra and the world wide web;software architectures for computer algebra;a deductive database for mathematical formulas;a system for computer aided constructive algebraic geometry;making systems communicate and cooperate;a database for number fields;compiling residuation for a multiparadigm symbolic programming language and pluggability issues in the multi protocol.

关键词：

来源：评论

学校读者我要写书评

暂无评论

4th international conference on Intelligent Decision Science, IDS 2020

4th International Conference on Intelligent Decision Science...

引用

4th international conference on Intelligent Decision Science, IDS 2020

ISBN: (纸本)9783030665005

the proceedings contain 77 papers. the special focus in this conference is on Intelligent Decision Science. the topics include: Estimation of Returns to Scale of Units Under Evaluation with Integer Data Using Non-radial Models in Data Envelopment Analysis;a Fast Discrete Homotopy Solution Method for Two Problems in Image Deconvolution;a New Approach for Macroscopic Analysis to Improve the Technical and Economic Impacts of Urban Interchanges on Traffic Networks;algebras of Concepts and their Networks;Application of the CESTAC Method to Find the Optimal Iteration of the Homotopy Analysis Method for Solving Fuzzy Integral Equations;ontology-Based Elements Evaluation for Emergency Response Apps: A Delphi Technique Approach;boubaker Function for Solving Fractional Diffusion-Wave Equation;collocation Method for Second Order Fuzzy Differential Equation Under Generalized Differentiability;Finding Most Preferred Solution in Imprecise DESA;grading Homeworks, Verifying Code: How thorough Should the Feedback Be?;image Processing for Workability of Concrete with Super Absorbent Polymer;influence of Uncertainties on Reliability of Large Space Structures;investigating the Role of Renewable Energies in Integrated Energy-Water Nexus Planning under Uncertainty Using Fuzzy logic;ioT Based Smart Irrigation System with LoRa;numerical Investigations of Physical Processes for Regularized Long Wave Equation;numerical Solution of Fractional Cauchy Reaction-Diffusion Equation by Differential Quadrature;a Comparative Study on Visualization Technique for Home Network;numerical Solution of Linear Volterra Integral Equations Based on Operational Matrix of Integration by Using Non-uniform Haar Wavelets;on Shortest Path Problem via a Novel Neurodynamic Model: A Case Study;hesitant Fuzzy Linear Fractional programming Problem.

关键词：

来源：评论

学校读者我要写书评

暂无评论

4th international Joint conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2012

4th International Joint Conference on Knowledge Discovery, K...

引用

4th international Joint conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2012

ISBN: (纸本)9783642541049

the proceedings contain 29 papers. the special focus in this conference is on Knowledge Discovery, Knowledge Engineering and Knowledge Management. the topics include: Statistical approach for term weighting in very short documents for text categorization;a seed-based inter-domain supervised framework to cluster mixed data types;strategies for guided exploratory search on the mobile web;towards a unified thematic model for recommending context-sensitive content;combination of lexical and structure-based similarity measures to match ontologies automatically;toponym extraction and disambiguation enhancement using loops of feedback;applying simple ontology relations for receiving better recommendations;a knowledge-based approach to the user-centered design process;towards automatic ontology alignment for enriching sensor data analysis;performing ontology alignment via a fuzzy-logic multi-layer architecture;an answer set programming solution for supply chain traceability;a method for reengineering healthcare using enterprise ontology and lean;interactive exploration of structural concepts in code;reference operation generation method on project manager skill-up simulator;reference operation generation method on project manager skill-up simulator;knowledge management for innovation and product development in supply chains;a conceptual model of knowledge management system initiatives;towards a procedure for assessing supply chain risks using semantic technologies;adapting COBIT 5.0 framework based on external context discovery and integration of event data from heterogeneous systems to support business process analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

algebraic Replicated Data Types: programming Secure Local-First Software 37

Algebraic Replicated Data Types: Programming Secure Local-Fi...

引用

37th European conference on Object-Oriented programming, ECOOP 2023

作者： Kuessner, Christian Mogk, Ragnar Wickert, Anna-Katharina Mezini, Mira Technische Universität Darmstadt Germany hessian.AI Darmstadt Germany

ISBN: (纸本)9783959772815

this paper is about programming support for local-first applications that manage private data locally, but still synchronize data between multiple devices. Typical use cases are synchronizing settings and data, and collaboration between multiple users. Such applications must preserve the privacy and integrity of the user’s data without impeding or interrupting the user’s normal workflow – even when the device is offline or has a flaky network connection. From the programming perspective, availability along with privacy and security concerns pose significant challenges, for which developers have to learn and use specialized solutions such as conflict-free replicated data types (CRDTs) or APIs for centralized data stores. this work relieves developers from this complexity by enabling the direct and automatic use of algebraic data types – which developers already use to express the business logic of the application – for synchronization and collaboration. Moreover, we use this approach to provide end-to-end encryption and authentication between multiple replicas (using a shared secret), that is suitable for a coordination-free setting. Overall, our approach combines all the following advantages: it (1) allows developers to design custom data types, (2) provides data privacy and integrity when using untrusted intermediaries, (3) is coordination free, (4) guarantees eventual consistency by construction (i.e., independent of developer errors), (5) does not cause indefinite growth of metadata, (6) has sufficiently efficient implementations for the local-first setting. © Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, and Mira Mezini

关键词： Data privacy

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共55页 << < 39 40 41 42 43 44 45 46 47 48 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：