咨询与建议

限定检索结果

文献类型

  • 164 篇 会议
  • 12 篇 期刊文献
  • 11 册 图书

馆藏范围

  • 187 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 122 篇 工学
    • 109 篇 计算机科学与技术...
    • 78 篇 软件工程
    • 10 篇 电气工程
    • 6 篇 电子科学与技术(可...
    • 5 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 2 篇 化学工程与技术
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 冶金工程
    • 1 篇 土木工程
    • 1 篇 轻工技术与工程
    • 1 篇 农业工程
    • 1 篇 环境科学与工程(可...
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 37 篇 理学
    • 28 篇 数学
    • 8 篇 物理学
    • 3 篇 化学
    • 2 篇 生物学
    • 1 篇 系统科学
    • 1 篇 统计学(可授理学、...
  • 7 篇 管理学
    • 4 篇 管理科学与工程(可...
    • 3 篇 图书情报与档案管...
    • 1 篇 工商管理
  • 2 篇 医学
    • 2 篇 基础医学(可授医学...
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 36 篇 logic programmin...
  • 13 篇 functional progr...
  • 9 篇 logic
  • 9 篇 programming lang...
  • 8 篇 mathematical log...
  • 8 篇 logics and meani...
  • 7 篇 software enginee...
  • 7 篇 artificial intel...
  • 6 篇 computer science
  • 5 篇 programming tech...
  • 5 篇 probabilistic lo...
  • 5 篇 clocks
  • 4 篇 fuzzy logic
  • 4 篇 parallel process...
  • 4 篇 formal logic
  • 4 篇 programming
  • 4 篇 semantics
  • 4 篇 logic devices
  • 4 篇 hardware
  • 4 篇 haskell

机构

  • 2 篇 ruleml inc on
  • 2 篇 nasa ames resear...
  • 2 篇 institut für inf...
  • 2 篇 iohk edinburgh m...
  • 2 篇 fraunhofer fokus...
  • 2 篇 iohk ottawa on
  • 2 篇 univ edinburgh e...
  • 2 篇 department of co...
  • 2 篇 fub inst comp sc...
  • 2 篇 iohk mannheim
  • 2 篇 dpto. de sistema...
  • 2 篇 iohk england
  • 2 篇 tech univ dresde...
  • 2 篇 corp semant web ...
  • 2 篇 iohk utrecht
  • 2 篇 iohk glasgow lan...
  • 2 篇 new mexico state...
  • 2 篇 cau kiel inst in...
  • 2 篇 chalmers univ te...
  • 1 篇 univ tokyo grad ...

作者

  • 5 篇 hanus michael
  • 3 篇 pontelli enrico
  • 3 篇 antoy sergio
  • 2 篇 chakravarty manu...
  • 2 篇 mow douglas a.
  • 2 篇 braßel bernd
  • 2 篇 saad emad
  • 2 篇 current k.wayne
  • 2 篇 mackenzie kennet...
  • 2 篇 paschke adrian
  • 2 篇 vinogradova poli...
  • 2 篇 mueller jann
  • 2 篇 herbert kuchen
  • 2 篇 nilsson henrik
  • 2 篇 jones michael pe...
  • 2 篇 guild n.c.f.
  • 2 篇 baldwin j.f.
  • 2 篇 wadler philip
  • 2 篇 meseguer jose
  • 2 篇 melkonian oresti...

语言

  • 181 篇 英文
  • 3 篇 其他
  • 3 篇 中文
检索条件"任意字段=9th International Symposium on Functional and Logic Programming"
187 条 记 录,以下是51-60 订阅
Verification of Golog Programs over Description logic Actions
Verification of Golog Programs over Description Logic Action...
收藏 引用
9th international symposium on Frontiers of Combining Systems (FroCoS)
作者: Baader, Franz Zarriess, Benjamin Tech Univ Dresden Dresden Germany
High-level action programming languages such as Golog have successfully been used to model the behavior of autonomous agents. In addition to a logic-based action formalism for describing the environment and the effect... 详细信息
来源: 评论
Parallel Approach to the functional Decomposition of logical Functions Using Developmental Genetic programming  1
收藏 引用
9th international Conference on Parallel Processing and Applied Mathematics (PPAM)
作者: Deniziak, Stanislaw Wieczorek, Karol Kielce Univ Technol Dept Comp Sci Kielce Poland
functional decomposition is the main step in the FPGA-oriented logic synthesis, where a function is decomposed into a set of functions, each of which must be simple enough to be implementable in one logic cell. this p... 详细信息
来源: 评论
Automatic regions of interest in factor analysis for dynamic medical imaging
Automatic regions of interest in factor analysis for dynamic...
收藏 引用
IEEE international symposium on Biomedical Imaging
作者: Václav Šmídl Ondřej Tichý Institute of Information Theory and Automation Prague Czech Republic
Factor Analysis (FA) is a well established method for factors separation in analysis of dynamic medical imaging. However, its assumptions are valid only in limited regions of interest (ROI) in the images which must be... 详细信息
来源: 评论
A nested cortex parcellation combining analysis of MEG forward problem and diffusion MRI tractography
A nested cortex parcellation combining analysis of MEG forwa...
收藏 引用
IEEE international symposium on Biomedical Imaging
作者: Anne-Charlotte Philippe Maureen Clerc théodore Papadopoulo Rachid Deriche Athena Project-Team INRIA France
Understanding the relationship between structure and function is a major challenge in neuroscience. Diffusion MRI (dMRI) in the only non-invasive modality allowing to have access to the neural structure. Magnetoenceph... 详细信息
来源: 评论
Tracking virus particles in fluorescence microscopy images using two-step multi-frame association
Tracking virus particles in fluorescence microscopy images u...
收藏 引用
IEEE international symposium on Biomedical Imaging
作者: A. Jaiswal W. J. Godinez R. Eils M. J. Lehmann K. Rohr BIOQUANT IPMB and DKFZ Heidelberg Department Bioinformatics and Functional Genomics Biomedical Computer Vision Group University of Heidelberg Heidelberg Germany Molecular Parasitology Humboldt University of Berlin Berlin Germany
Automatic fluorescent particle tracking is an essential task to study the dynamics of a large number of biological structures at a sub-cellular level. We have developed a two-step multi-frame association finding algor... 详细信息
来源: 评论
On the discreet charm of robot programming
On the discreet charm of robot programming
收藏 引用
9th international symposium on Intelligent Systems and Informatics, SISY 2011
作者: Kelemen, Jozef Silesian University Institute of Computer Science Opava Czech Republic VSM School of Management Bratislava Slovakia
there are numerous similarities, but also numerous differences between two types of programmable technical systems - between the advanced computer controlled robotic systems, and the usual computers. these differences... 详细信息
来源: 评论
Proposal of a High-Level Language for Writing Self Modifying Programs
收藏 引用
IEEE LATIN AMERICA TRANSACTIONS 2011年 第2期9卷 192-198页
作者: da Silva, S. R. B. Neto, J. J. Univ Estado Amazonas Curso Engn Computacao Manaus Amazonas Brazil Univ Sao Paulo Escola Politecn Sao Paulo Brazil
this paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in t... 详细信息
来源: 评论
On the discreet charm of robot programming
On the discreet charm of robot programming
收藏 引用
international symposium on Intelligent Systems and Informatics (SISY)
作者: Jozef Kelemen Institute of Computer Science Silesian University Opava Czech Republic
there are numerous similarities, but also numerous differences between two types of programmable technical systems - between the advanced computer controlled robotic systems, and the usual computers. these differences... 详细信息
来源: 评论
Classification of alcoholic subjects using multi channel ERPs based on channel optimization and Probabilistic Neural Network
Classification of alcoholic subjects using multi channel ERP...
收藏 引用
international symposium on Applied Machine Intelligence and Informatics (SAMI)
作者: Mehmet Çokyilmaz Nahit Emanet Department of Computer Engineering Fatih University Istanbul Buyukcekmece Turkey
the Alcoholism is an addictive disorder, which causes social, physical, psychiatric and neurological damages on individuals. In this paper, Global Field Synchronization (GFS) measurements of multi channel ERP (Event R... 详细信息
来源: 评论
functional and logic programming - 9th international symposium, FLOPS 2008, Proceedings
Functional and Logic Programming - 9th International Symposi...
收藏 引用
9th international symposium on functional and logic programming, FLOPS 2008
the proceeding contains 23 papers. the topics discussed include: model-based knowledge representation and reasoning via answer set programming;on the algebraic foundation of proof assistants for intuitionistic type th... 详细信息
来源: 评论