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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,454 篇 会议
99 册 图书
86 篇 期刊文献

馆藏范围

2,639 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,652 篇 工学
- 1,295 篇 计算机科学与技术...
- 658 篇 软件工程
- 368 篇 电气工程
- 252 篇 控制科学与工程
- 110 篇 信息与通信工程
- 106 篇 机械工程
- 61 篇 电子科学与技术（可...
- 40 篇 动力工程及工程热...
- 36 篇 交通运输工程
- 34 篇 仪器科学与技术
- 24 篇 建筑学
- 24 篇 石油与天然气工程
- 24 篇 生物医学工程（可授...
- 22 篇 生物工程
- 22 篇 公安技术
- 21 篇 安全科学与工程
- 20 篇 土木工程
405 篇 理学
- 302 篇 数学
- 60 篇 系统科学
- 54 篇 物理学
- 47 篇 统计学（可授理学、...
- 28 篇 生物学
- 25 篇 化学
238 篇 管理学
- 178 篇 管理科学与工程(可...
- 75 篇 图书情报与档案管...
- 60 篇 工商管理
71 篇 教育学
- 71 篇 教育学
33 篇 经济学
- 26 篇 应用经济学
28 篇 医学
- 19 篇 基础医学(可授医学...
26 篇 法学
- 18 篇 社会学
9 篇 农学
9 篇 艺术学
4 篇 文学
1 篇 哲学

主题

184 篇 logic gates
172 篇 fuzzy logic
150 篇 programming
107 篇 logic programmin...
94 篇 linear programmi...
76 篇 artificial intel...
71 篇 dynamic programm...
59 篇 software enginee...
59 篇 probabilistic lo...
58 篇 optimization
57 篇 computer science
57 篇 semantics
48 篇 software
46 篇 logic design
44 篇 formal logic
44 篇 computer archite...
43 篇 mathematical mod...
42 篇 mathematical log...
42 篇 computer program...
41 篇 logic

机构

7 篇 institute for lo...
5 篇 institute of log...
5 篇 university of am...
5 篇 department of in...
4 篇 natl tech univ a...
4 篇 international bu...
4 篇 tu wien austria
4 篇 graduate school ...
4 篇 university of al...
4 篇 imdea software i...
4 篇 carnegie mellon ...
4 篇 university of te...
4 篇 university of mi...
3 篇 university of la...
3 篇 department of co...
3 篇 free univ bozen ...
3 篇 department of co...
3 篇 department of co...
3 篇 ibm corp armonk ...
3 篇 cesnet prague cz...

作者

7 篇 woltran stefan
6 篇 eiter thomas
5 篇 leone nicola
5 篇 faber wolfgang
5 篇 tompits hans
5 篇 raidl günther r.
4 篇 tian cong
4 篇 tokhi m. o.
4 篇 sakama chiaki
4 篇 jânio monteiro
4 篇 frangopoulos chr...
4 篇 barnes tiffany
4 篇 pedro j. s. card...
4 篇 michael h. lees
4 篇 l.g. votta
4 篇 jack j. dongarra
4 篇 leonard barolli
4 篇 dimopoulos georg...
4 篇 roberto lam
4 篇 valeria v. krzhi...

语言

2,575 篇 英文
39 篇 其他
19 篇 中文
2 篇 德文
2 篇 法文
1 篇 西班牙文
1 篇 俄文

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

共 2639 条记录，以下是2561-2570 订阅

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

详细简洁

排序：

Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision 18th

Synthesis and Simulation of Ensembles of Boolean Networks fo...

引用

18th international conference on Computational Methods in Systems Biology, CMSB 2020

作者： Chevalier, Stéphanie Noël, Vincent Calzone, Laurence Zinovyev, Andrei Paulevé, Loïc LRI CNRS UMR8623 Univ. Paris-Saclay Orsay France Institut Curie INSERM U. PSL Mines ParisTech Paris France Lobachevsky University Nizhny Novgorod603000 Russia Univ. Bordeaux Bordeaux INP CNRS LaBRI UMR5800 Talence33400 France

ISBN: (纸本)9783030603267

the construction of models of biological networks from prior knowledge and experimental data often leads to a multitude of candidate models. Devising a single model from them can require arbitrary choices, which may lead to strong biases in subsequent predictions. We introduce here a methodology for a) synthesizing Boolean model ensembles satisfying a set of biologically relevant constraints and b) reasoning on the dynamics of the ensembles of models. the synthesis is performed using Answer-Set programming, extending prior work to account for solution diversity and universal constraints on reachable fixed points, enabling an accurate specification of desired dynamics. the sampled models are then simulated and the results are aggregated through averaging or can be analyzed as a multi-dimensional distribution. We illustrate our approach on a previously published Boolean model of a molecular network regulating the cell fate decisions in cancer progression. It appears that the ensemble-based approach to Boolean modelling brings new insights on the variability of synergistic interacting mutations effect concerning propensity of a cancer cell to metastasize. © 2020, Springer Nature Switzerland AG.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

logic and MRF circuitry for labeling occluding and thinline visual contours 05

Logic and MRF circuitry for labeling occluding and thinline ...

引用

Proceedings of the 19th international conference on Neural Information Processing Systems

作者： Eric Saund Palo Alto Research Center Palo Alto CA

this paper presents representation and logic for labeling contrast edges and ridges in visual scenes in terms of both surface occlusion (border ownership) and thinline objects. In natural scenes, thinline objects include sticks and wires, while in human graphical communication thin-lines include connectors, dividers, and other abstract devices. Our analysis is directed at both natural and graphical domains. the basic problem is to formulate the logic of the interactions among local image events, specifically contrast edges, ridges, junctions, and alignment relations, such as to encode the natural constraints among these events in visual scenes. In a sparse heterogeneous Markov Random Field framework, we define a set of interpretation nodes and energy/potential functions among them. the minimum energy configuration found by Loopy Belief Propagation is shown to correspond to preferred human interpretation across a wide range of prototypical examples including important illusory contour figures such as the Kanizsa Triangle, as well as more difficult examples. In practical terms, the approach delivers correct interpretations of inherently ambiguous hand-drawn box-and-connector diagrams at low computational cost.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Simulation of Parameters and Modes of Wave Propagation in Electromechanical Systems Using Methods of Inverse Problemstheory

Simulation of Parameters and Modes of Wave Propagation in El...

引用

international conference on Perspective Technologies and Methods in MEMS Design (MEMSTECH)

作者： Petro Pukach Nataliya Protsakh Yurii Protsyk Ihor Demkiv Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine Department of Mathematics and Physics Ukrainian National Forestry University Lviv Ukraine Department of Computer Sciences Ukrainian National Forestry University Lviv Ukraine

ISBN: (数字)9798350378627

ISBN: (纸本)9798350378634

this work is devoted to the determination of influence of the internal forces on the propagation of the waves in electromechanical systems. the task is simplified to an inverse problem for the third order hyperbolic equation with the integral overdetermination condition and with the unknown function in the right-hand side of the equation. Some numerical results are presented for viscoelastic medium and for liquid like water with solid parameters. the presented method gives us opportunity to find the precise analytical solutions to the mathematical problems that simulate the wave propagation.

关键词： Inverse problems Propagation Partial differential equations Solids Mathematical models Electromechanical systems Task analysis

来源：评论

学校读者我要写书评

暂无评论

MOAD: Modeling Observation-Based Approximate Dependency

MOAD: Modeling Observation-Based Approximate Dependency

引用

IEEE international Workshop on Source Code Analysis and Manipulation

作者： Seongmin Lee David Binkley Robert Feldt Nicolas Gold Shin Yoo KAIST Daejeon Republic of Korea Loyola University Maryland Baltimore United States Chalmers University of Technology Gothenburg Sweden University College London London United Kingdom

While dependency analysis is foundational to many applications of program analysis, the static nature of many existing techniques presents challenges such as limited scalability and inability to cope with multi-lingual systems. We present a novel dependency analysis technique that aims to approximate program dependency from a relatively small number of perturbed executions. Our technique, called MOAD (Modeling Observation-based Approximate Dependency), reformulates program dependency as the likelihood that one program element is dependent on another, instead of a more classical Boolean relationship. MOAD generates a set of program variants by deleting parts of the source code, and executes them while observing the impacts of the deletions on various program points. From these observations, MOAD infers a model of program dependency that captures the dependency relationship between the modification and observation points. While MOAD is a purely dynamic dependency analysis technique similar to Observation Based Slicing (ORBS), it does not require iterative deletions. Rather, MOAD makes a much smaller number of multiple, independent observations in parallel and infers dependency relationships for multiple program elements simultaneously, significantly reducing the cost of dynamic dependency analysis. We evaluate MOAD by instantiating program slices from the obtained probabilistic dependency model. Compared to ORBS, MOAD's model construction requires only 18.7% of the observations used by ORBS, while its slices are only 16% larger than the corresponding ORBS slice, on average.

关键词： Analytical models Probabilistic logic Inference algorithms Semantics Performance analysis Tools Trajectory

来源：评论

学校读者我要写书评

暂无评论

Development of IoT applications based on the MicroPython platform for Industry 4.0 implementation

Development of IoT applications based on the MicroPython pla...

引用

MECHATRONIKA international Symposium

作者： Gabriel Gaspar Peter Fabo Michal Kuba Jana Flochova Juraj Dudak Zuzana Florkova Slovak University of Technology in Bratislava Trnava Slovak republic TNtech Bytca Slovak republic University of Žilina Zilina Slovak republic

ISBN: (数字)9781728156026

ISBN: (纸本)9781728156033

IoT and their industrial implementation aimed at Industry 4.0 is of a major interest among both research and development professionals. this article deals with the modifications and extensions possibilities of the standard MicroPython implementation on the STM32 platform, as well as the use in the development, implementation and programming of IoT peripherals, creation of custom libraries and custom modules at the hardware level. Discussed are the essentials associated with the development of general IoT application and the MicroPython environment, as a tool for rapid-prototyping of such applications. Portability is ensured thanks to the intensive utilization of HAL (Hardware Abstraction Layer) technology, which allows usage across the entire spectrum of devices with ported MicroPython. Modularity, scalability and extendibility of the application are demonstrated in examples, where the connection of a common LM92 temperature sensor, the control of a microcontroller pin and a DDS (Direct Digital Synthesis) generator are shown.

关键词： Industries Hardware Internet of things Task analysis Standards programming profession Microprogramming

来源：评论

学校读者我要写书评

暂无评论

Euro-Par 2013: Parallel Processing Workshops 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Dieter Mey Michael Alexander Paolo Bientinesi Carsten Clauss Mario Cannataro Alexandru Costan Christine Morin Gabor Kecskemeti Laura Ricci Julio Sahuquillo Martin Schulz Vittorio Scarano Stephen L. Scott Josef Weidendorfer

ISBN: (数字)9783642544200

ISBN: (纸本)9783642544194

this book constitutes thoroughly refereed post-conference proceedings of the workshops of the 19th international conference on Parallel Computing, Euro-Par 2013, held in Aachen, Germany in August 2013. the 99 papers presented were carefully reviewed and selected from 145 submissions. the papers include seven workshops that have been co-located with Euro-Par in the previous years: - Big Data Cloud (Second Workshop on Big Data Management in Clouds) - Hetero Par (11th Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms) - HiBB (Fourth Workshop on High Performance Bioinformatics and Biomedicine) - OMHI (Second Workshop on On-chip Memory Hierarchies and Interconnects) - PROPER (Sixth Workshop on Productivity and Performance) - Resilience (Sixth Workshop on Resiliency in High Performance Computing with Clusters, Clouds, and Grids) - UCHPC (Sixth Workshop on Un Conventional High Performance Computing) as well as six newcomers: - DIHC (First Workshop on Dependability and Interoperability in Heterogeneous Clouds) - Fed ICI (First Workshop on Federative and Interoperable Cloud Infrastructures) - LSDVE (First Workshop on Large Scale Distributed Virtual Environments on Clouds and P2P) - MHPC (Workshop on Middleware for HPC and Big Data Systems) -PADABS ( First Workshop on Parallel and Distributed Agent Based Simulations) - ROME (First Workshop on Runtime and Operating Systems for the Many core Era) All these workshops focus on promotion and advancement of all aspects of parallel and distributed computing.

关键词： System Performance and Evaluation Software Engineering/programming and Operating Systems Computer Systems Organization and Communication Networks Database Management Algorithm Analysis and Problem Complexity Computer Science, general

来源：评论

学校读者我要写书评

暂无评论

A Research into a Method of Enlarging the Cutting Range by Five-axis Linkage

A Research into a Method of Enlarging the Cutting Range by F...

引用

2012 IEEE 19th international conference on Industrial Engineering and Engineering Management(IE&EM 2012)

作者： Xing-guo Liu An-chuan Liu Wei-yun Meng Dong-ye Liu Qing-ying Zhao Guang-teng Zhang School of Mechanical engineering Shandong Polytechnic University Shandong Provincial Key Laboratory of Advanced Machine-making of Light Industry and Monitoring Technology

this paper presents a method of enlarging the cutting range by multiple coordinate axes, in which the NC machine tool processes roller gear indexing cams. the relationship between parameters is derived and applied to the programming software. the actual application shows that this method can not only be used to expand the original machine tool processing range, but also be used to adjust the parameters. the stiffness and the processing efficiency of the machine tool is greatly improved by this method.

关键词： Center distance five-axis linkage NC programming roller gear indexing cam

来源：评论

学校读者我要写书评

暂无评论

Flowverine: Leveraging Dataflow programming for Building Privacy-Sensitive Android Applications

Flowverine: Leveraging Dataflow Programming for Building Pri...

引用

IEEE international conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

作者： Eduardo Gomes Igor Zavalyshyn Nuno Santos João Silva Axel Legay INESC-ID / Instituto Superior Técnico Universidade de Lisboa Lisbon Portugal UCLouvain ICTEAM Louvain-la-Neuve Belgium Universidade de Lisboa Lisbon Portugal

ISBN: (数字)9781665403924

ISBN: (纸本)9781665403931

Software security is a fundamental dimension in the development of mobile applications (apps). Since many apps have access to sensitive data (e.g., collected from a smartphone's sensors), the presence of security vulnerabilities may put that data in danger and lead to privacy violations. Unfortunately, existing security solutions for Android are either too cumbersome to use by common app developers, or may require the modification of Android OS. this paper presents Flowverine, a system for building privacy-sensitive mobile apps for unmodified Android platforms. Flowverine exposes an API based on a dataflow programming model which allows for efficient taint tracking of sensitive data flows within each app. By checking such flows against a security policy, Flowverine can then prevent potential privacy violations. We implemented a prototype of our system. Our evaluation shows that Flowverine can be used to implement mobile applications that handle security-sensitive information flows while preserving compatibility with existing Android OS and incurring small performance overheads.

关键词： Privacy Visualization Buildings programming Data models Mobile applications Security

来源：评论

学校读者我要写书评

暂无评论

High-K Spacer Gate Stack Engineered, Dual Metal Underlap Junction-less GaN Gate All Around (HKS-GSE-DMUL-JGaNGAA) MOSFET for High Frequency Applications

High-K Spacer Gate Stack Engineered, Dual Metal Underlap Jun...

引用

IEEE India conference (INDICON)

作者： Anubha Goel R. S. Gupta Department of E. C. E. Maharaja Agrasen Institute of Technology New Delhi India

ISBN: (纸本)9781665452724

High-K Spacer Gate Stack Engineered Dual-Metal Underlap Junction-less GaN Gate All Around (HKS-GSE-DMUL-JGaNGAA) MOSFET is proposed and postulated in this work for its applications in higher frequency domain. this has been accomplished by contemplating our proposed device with various devices in particular, High-K Gate Stack Engineered underlap Junction-less GAA (Gate All Around) MOSFET (Si) (HKS-GSE-JSiGAA), Junction-less Gate All Around (GaN) MOSFET (J-GaN-GAA) and Junction-less Gate All Around (Si) MOSFET (J-Si-GAA). It is so found that HKS-GSE-DMUL-JGaNGAA MOSFET exhibits superior performance characteristics in terms of various parameters (drain-current (I ds ), Trans-conductance (g m ), output-conductance (g d ) and cut-off-frequency (f T )) over existing Junction-less device architectures, thus warranting as an apt device for applications in high-frequency domain. Owing to remarkable material properties, GaN has been lately the preferred choice for use in high frequency and power applications. It can also be inferred that HKS--GSE-DMUL-JGaNGAA MOSFET has other superior performance parameters also, which includes the ratio (on-current to off-current ratio, Subthreshold Slope, Channel Resistance, Early-Voltage, Frequency-Transconductance-Product and Transconductance-Generation-Factor. Owing to all the aforementioned performance parameters, our proposed device architecture, (HK-DMGS-JGAA MOSFET) warrants as the most near to ideal device-design for several analog and/or digital applications in higher frequency domain.

关键词： Performance evaluation Resistance MOSFET Frequency-domain analysis Metals logic gates Silicon

来源：评论

学校读者我要写书评

暂无评论

An SDN Architecture for IoT Networks Using ONOS Controller

An SDN Architecture for IoT Networks Using ONOS Controller

引用

Roedunet international conference (RoEduNet)

作者： Calin-Marian Iurian Iustin-Alexandru Ivanciu Beniamin Mihai Marian Daniel Zinca Virgil Dobrota Technical University of Cluj-Napoca Cluj-Napoca Romania

ISBN: (数字)9780738112657

ISBN: (纸本)9781665418850

In order to evaluate the ONOS controller for Software Defined Networks (SDN) in an Internet of things (IoT) context, Mininet was installed and configured in a virtual machine. Two different scenarios were created: the first one tests the general functionality of the proposed architecture with the IoT data being sent from the *** client to the Orange Live Objects platform. For the second scenario different flow rules were configured in order to send the time-critical IoT data from the Mosquitto client to the broker on the path with the lowest delay. the proposed solution can easily be extended to accommodate other types of IoT devices and platforms.

关键词： Internet of things Computer architecture Network topology Topology logic gates Software Performance evaluation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共264页 << < 253 254 255 256 257 258 259 260 261 262 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：