首页>外文期刊>计算机、自动化>计算技术、计算机技术>Fundamenta Informaticae

Fundamenta Informaticae

Fundamenta Informaticae

SCIEI

中文名称：基础信息学

ISSN：0169-2968
出版周期：Frequency varies

发文量：2439

期刊论文

年度选择

2020
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2019
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2018
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2017
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2016
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2015
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2014
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2013
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2012
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2011
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2010
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2009
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2008
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2007
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2006
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期
2005
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第4期
- 第4期
- 第4期
- 第4期
- 第4期

更多>>

全选（0）

1.On the Generative Power of ω-Grammars and ω-Automata

机译：关于ω-语法和ω-自动机的生成能力
- 作者：Zhe Chen
- 期刊名称：《Fundamenta Informaticae》 | 2011年第2期
- ω-automaton;
- ω-grammar;
- ω-language;
- generative power;
2.Solution to the Range Problem for Combinatory Logic

机译：组合逻辑范围问题的解决方案
- 作者：Benedetto Intrigila;Richard Statman
- 期刊名称：《Fundamenta Informaticae》 | 2011年第2期
- lambda-calculus;
- combinatory logic;
- range problem;
3.Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic

机译：粗糙逻辑中公式的近似真度和近似推理
- 作者：Yanhong She;Xiaoli He;Guojun Wang
- 期刊名称：《Fundamenta Informaticae》 | 2011年第2期
- rough (upper;
- lower) truth degree;
- rough (upper;
- lower) similarity degree;
- rough (upper;
- lower) pseudo-metric;
- approximate reasoning;
4.Weighted Extended Tree Transducers

机译：加权扩展树传感器
- 作者：Zoltan Fueloep;Andreas Maletti;Heiko Vogler
- 期刊名称：《Fundamenta Informaticae》 | 2011年第2期
- weighted tree transducer;
- preservation of recognizability;
- hasse diagram;
- forward application;
- backward application;
5.Forward-Secure Identity-Based Public-Key Encryption without Random Oracles

机译：基于前向安全的基于身份的公钥加密，无需随机Oracle
- 作者：Jia Yu;Xiangguo Cheng;Rong Hao;Fanyu Kong;Jianxi Fan
- 期刊名称：《Fundamenta Informaticae》 | 2011年第2期
- forward security;
- public-key encryption;
- key exposure;
- standard model;
6.Infinite Traces and Symbolic Dynamics - the Minimal Shift Case

机译：无限轨迹和符号动力学-最小移位情况
- 作者：Wit Forys;Piotr Oprocha
- 期刊名称：《Fundamenta Informaticae》 | 2011年第2期
- word;
- trace;
- shift;
- shift on traces;
- minimal shift;
7.A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process

机译：非单调软并行约束语言，用于协商过程建模
- 作者：Stefano Bistarelli;Francesco Santini
- 期刊名称：《Fundamenta Informaticae》 | 2011年第3期
- soft constraint concurrent programming;
- nonmonotonicity;
- belief revision;
- quality of service;
- negotiation;
8.Properties Complementary to Program Self-Reference*

机译：与程序自参考互补的属性*
- 作者：John Case;Samuel E. Moelius III
- 期刊名称：《Fundamenta Informaticae》 | 2011年第3期
9.Self-Indexed Grammar-Based Compression *

机译：自索引基于语法的压缩*
- 作者：Francisco Claude;Gonzalo Navarro
- 期刊名称：《Fundamenta Informaticae》 | 2011年第3期
10.Runtime Monitoring of Contract Regulated Web Services

机译：合同规定的Web服务的运行时监视
- 作者：Alessio Lomusdo;Monika Solanki;Wojciech Penczek;Maciej Szreter
- 期刊名称：《Fundamenta Informaticae》 | 2011年第3期
11.Mop: An Efficient Algorithm for Mining Frequent Pattern with Subtree Traversing

机译：拖把：一种有效的子树遍历挖掘频繁模式算法
- 作者：Zhi-Hong Deng;Ning Gao;Xiao-Ran Xu
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- data mining;
- frequent patterns;
- ordered pattern trees;
12.Efficient Algorithms for Games Played on Trees with Back-edges

机译：带有后边缘的树上游戏的高效算法
- 作者：Aniruddh Gandhi;Bakhadyr Khoussainov;Jiamou Liu
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- buechi games;
- trees with back-edges;
- snares;
- parity games;
- experiment.;
13.Rainbow Induced Subgraphs in Proper Vertex Colorings

机译：适当的顶点着色中的彩虹诱导子图
- 作者：Andrzej Kisielewicz;Marek Szykula
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- rainbow;
- induced subgraph;
- vertex coloring;
- replication graph;
- C++;
14.Computing k-block Morphisms by Spiking Neural P Systems

机译：尖峰神经P系统计算k块形态
- 作者：Taishin Yasunobu Nishida
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- spiking neural p system;
- k-block morphism;
15.Reduction Techniques for Acyclic Cover Transducers

机译：非循环覆盖传感器的还原技术
- 作者：Jean-Marc Champarnaud;Jacques Farre;Franck Guingne
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- finite subsequential function;
- acyclic transducer;
- cover transducer;
16.A Lower Bound of the Second-order Nonlinearities of Boolean Bent Functions

机译：布尔Bent函数的二阶非线性的下界
- 作者：Manish Garg;Sugata Gangopadhyay
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- boolean function;
- derivative;
- niho power function;
- second-order nonlinearity;
- walsh- spectrum;
17.Spiking Neural dP Systems

机译：尖刺神经dP系统
- 作者：Mihai Ionescu;Mario J. Perez-Jimenez;Gheorghe Paun;Takashi Yokomori
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
18.Concurrency Specification and Programming (CS&P)

机译：并发规范和编程（CS＆P）
- 作者：Wojciech Penczek
- 期刊名称：《Fundamenta Informaticae》 | 2011年第1期
19.Maximally Parallel Probabilistic Semantics for Multiset Rewriting

机译：多集重写的最大并行概率语义
- 作者：Roberto Barbuti;Francesca Levi;Paolo Milazzo;Guido Scatena
- 期刊名称：《Fundamenta Informaticae》 | 2011年第1期
20.Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata

机译：使用交替树自动机的模型检查时空认知逻辑
- 作者：Francesco Belardinelli;Andrew V. Jones;Alessio Lomuscio
- 期刊名称：《Fundamenta Informaticae》 | 2011年第1期
21.Software Agent Systems for Improving Performance of Multi-Robot Groups

机译：用于提高多机器人组性能的软件代理系统
- 作者：Wojciech Turek;Krzysztof Cetnarowicz;Wojciech Zaborowski
- 期刊名称：《Fundamenta Informaticae》 | 2011年第1期
- software agents;
- mobile robots;
22.On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs

机译：广义工作流网结构和过渡图的综合分析
- 作者：Ludwik Czaja;Manfred Kudlek
- 期刊名称：《Fundamenta Informaticae》 | 2011年第1期
23.PlanlCS - a Web Service Composition Toolset

机译：PlanlCS-Web服务组合工具集
- 作者：Dariusz Doliwa;Wojciech Horzelski;Mariusz Jarocki;Wojciech Penczek;Maciej Szreter;Artur Niewiadomski;Agata Potrola;Andrzej Zbrzezny
- 期刊名称：《Fundamenta Informaticae》 | 2011年第1期
24.Liveness of Safe Object Nets

机译：安全对象网的生命力
- 作者：Michael Koehler-Bussmeier;Frank Heitmann
- 期刊名称：《Fundamenta Informaticae》 | 2011年第1期
25.Dynamic Motion Control: Adaptive Bimanual Grasping for a Humanoid Robot

机译：动态运动控制：类人机器人的自适应双手抓握
- 作者：Heinrich Mellmann;Giuseppe Cotugno
- 期刊名称：《Fundamenta Informaticae》 | 2011年第1期
- motion generation;
- robot grasping;
- humanoid robot;
26.Versatility of 'Continuations' in Discourse Semantics

机译：话语语义学“延续”的多功能性
- 作者：Anca Dinu
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- 'continuations';
- dynamic semantics;
- lambda calculus;
- type shifting;
- scope;
- anaphora;
27.Security Pitfalls of the Certificateless Signature and Multi-Receiver Signcryption Schemes

机译：无证书签名和多接收者签名加密方案的安全隐患
- 作者：Kyung-Ah Shim;Young-Ran Lee
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
28.A Framework for Interval Quantization and Application to Interval Based Algorithms in Digital Signal Processing

机译：间隔量化框架及其在数字信号处理中基于间隔的算法中的应用
- 作者：Fabiana T. Santana;Fagner L. Santana;Ana Maria G. Guerreiro;Adriao D. Doria Neto;Regivan H. N. Santiago
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- interval mathematics;
- interval representation;
- interval sampling;
- interval quantization;
- interval coding.;
29.Rough Approximations in Varieties of Regular Languages

机译：各种常规语言的粗略近似
- 作者：Gabriela Martin;Magnus Steinby
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- regular languages;
- rough approximations;
- varieties of languages;
- finite automata;
30.Algebraic Framework for the Specification and Analysis of Cryptographic-Key Distribution

机译：规范和分析密钥分配的代数框架
- 作者：Khair Eddin Sabri;Ridha Khedri
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- algebraic framework;
- cryptography;
- key distribution;
- information confidentiality;
31.On the Size of Unary Probabilistic and Nondeterministic Automata

机译：一元概率和不确定自动机的大小
- 作者：Maria Paola Bianchi;Carlo Mereghetti;Beatrice Palano;Giovanni Pighizzini
- 期刊名称：《Fundamenta Informaticae》 | 2011年第3期
- probabilistic automata;
- nondeterministic automata;
- descriptional complexity;
- unary languages;
32.Growing Grammars and Length-reducing Automata

机译：日益增长的语法和减少长度的自动机
- 作者：Tomasz Jurdzinski
- 期刊名称：《Fundamenta Informaticae》 | 2011年第3期
- chomsky hierarchy;
- growing grammars;
- length-reducing automata;
33.Survey: Weighted Extended Top-down Tree Transducers Part Ⅱ - Application in Machine Translation

机译：调查：加权扩展自上而下的树型传感器Ⅱ-在机器翻译中的应用
- 作者：Andreas Maletti
- 期刊名称：《Fundamenta Informaticae》 | 2011年第3期
34.Non-Classical Models of Automata and Applications Ⅱ Preface

机译：自动机的非经典模型及其应用Ⅱ前言
- 作者：Henning Bordihn;Mika Hirvensalo;Martin Kutrib;Rudolf Freund;Markus Holzer;Friedrich Otto
- 期刊名称：《Fundamenta Informaticae》 | 2011年第3期
35.Blackhole Pushdown Automata

机译：黑洞下推自动机
- 作者：Erzsebet Csuhaj-Varju;Tomas Masopust;Gyoergy Vaszil
- 期刊名称：《Fundamenta Informaticae》 | 2011年第3期
- pushdown automaton;
- regulation;
- computational power.;
36.On Networks of Evolutionary Processors with Filters Accepted by Two-State-Automata

机译：具有二态自动机接受的滤波器的演化处理器网络
- 作者：Jiirgen Dassow;Bianca Truthe
- 期刊名称：《Fundamenta Informaticae》 | 2011年第3期
- evolutionary processors;
- language generating networks;
- state complexity;
37.A Kleene-Schutzenberger Theorem for Trace Series over Bounded Lattices

机译：有界格上迹系列的Kleene-Schutzenberger定理
- 作者：Martin Huschenbett
- 期刊名称：《Fundamenta Informaticae》 | 2011年第3期
- weighted automata;
- concurrency;
- multi-valued logics;
- traces;
- formal power series;
38.On McNaughton Families of Languages That Are Specified by Some Variants of Monadic String-Rewriting Systems

机译：关于Monadic字符串重写系统的某些变体指定的McNaughton语言族
- 作者：Peter Leupold;Friedrich Otto
- 期刊名称：《Fundamenta Informaticae》 | 2011年第3期
39.Armin: Automatic Trance Music Composition using Answer Set Programming

机译：Armin：使用答案集编程自动作曲音乐作曲
- 作者：Flavio Omar Everardo Perez;Fernando Antonio Aguilera Ramirez
- 期刊名称：《Fundamenta Informaticae》 | 2011年第1期
- armin;
- automatic music composition;
- algorithmic composition;
- answer set programming;
- trance music;
- artificial intelligence;
40.Latin American Workshop on Logic Languages, Algorithms and New Methods of Reasoning (LANMR)

机译：拉丁美洲逻辑语言，算法和推理新方法研讨会（LANMR）
- 作者：Mauricio Osorio;Victor W. Marek
- 期刊名称：《Fundamenta Informaticae》 | 2011年第1期
41.Solving the International Timetabling Competition: a Deterministic Approach

机译：解决国际时间表比赛：确定性方法
- 作者：Oscar Chavez-Bosquez;Pilar Pozos-Parra;Florian Lengyel
- 期刊名称：《Fundamenta Informaticae》 | 2011年第1期
- course timetabling problem;
- international timetabling competition;
- STF algorithm;
- scheduling problem;
- deterministic search;
42.Nested Preferences in Answer Set Programming

机译：答案集编程中的嵌套首选项
- 作者：Roberto Confalonieri;Juan Carlos Nieves
- 期刊名称：《Fundamenta Informaticae》 | 2011年第1期
- answer set programming;
- preference handling;
- nested preferences;
43.A Possibilistic Argumentation Decision Making Framework with Default Reasoning

机译：具有默认推理的可能性论证决策框架
- 作者：Juan Carlos Nieves;Roberto Confalonieri
- 期刊名称：《Fundamenta Informaticae》 | 2011年第1期
- argumentation theory;
- well-founded semantics;
- decision making;
44.A Threshold for a Polynomial Solution of #2SAT

机译：＃2SAT多项式解的阈值
- 作者：Guillermo De Ita;J. Raymundo Marcial-Romero;Jose Antonio Hernandez
- 期刊名称：《Fundamenta Informaticae》 | 2011年第1期
- #2SAT problem;
- branch-bound algorithm;
- polynomial thresholds;
- efficient counting.;
45.Efficient Search Methods for Statistical Dependency Rules

机译：统计相关性规则的有效搜索方法
- 作者：Wilhelmiina Hamalainen
- 期刊名称：《Fundamenta Informaticae》 | 2011年第2期
- statistical dependence;
- redundancy;
- x~2-measure;
- z-score;
- search algorithms;
46.Uncovering Bivariate Interactions in High Dimensional Data Using Random Forests with Data Augmentation

机译：使用具有数据增强功能的随机森林发现高维数据中的双变量相互作用
- 作者：Jorge M Arevalillo;Hilario Navarro
- 期刊名称：《Fundamenta Informaticae》 | 2011年第2期
- bivariate interactions;
- random forests;
- high dimensional data;
47.Relational Feature Mining with Hierarchical Multitask kFOIL*

机译：分层多任务kFOIL *的关系特征挖掘
- 作者：Elisa Cilia;Niels Landwehr;Andrea Passerini
- 期刊名称：《Fundamenta Informaticae》 | 2011年第2期
48.Machine Learning in Bioinformatics

机译：生物信息学中的机器学习
- 作者：Jan Ramon;Fabrizio Costa;Christophe Costa Florencio;Joost Kok
- 期刊名称：《Fundamenta Informaticae》 | 2011年第2期
49.On Three Alternative Characterizations of Combined Traces

机译：关于组合迹线的三个替代特征
- 作者：Dai Tri Man Le
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- causality theory of concurrency;
- generalized trace theory;
- combined trace;
- step sequence;
- stratified order structure;
50.Wendy: A Tool to Synthesize Partners for Services*

机译：Wendy：综合服务合作伙伴的工具*
- 作者：Niels Lohmann;Daniela Weinberg
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
51.Can Stubborn Sets Be Optimal?

机译：顽固集可以最优吗？
- 作者：Antti Valmari;Henri Hansen
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
52.Causal Behavioural Profiles -Efficient Computation, Applications, and Evaluation

机译：因果行为特征-高效的计算，应用和评估
- 作者：Matthias Weidlich;Jan Mendling;Artem Polyvyanyy;Mathias Weske
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- causal behavioural profiles;
- formal methods;
- behavioural abstraction;
- structural decomposition;
- exclusiveness;
- concurrency;
- order relations;
- causality;
- optionality;
53.Applications and Theory of Petri Nets and Other Models of Concurrency, 2010

机译：Petri网和其他并发模型的应用和理论，2010年
- 作者：Johan Lilius;Wojciech Penczek
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
54.Learning Workflow Petri Nets

机译：学习工作流Petri网
- 作者：Javier Esparza;Martin Leucker;Maximilian Schlund
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
55.Separability in Persistent Petri Nets

机译：持久Petri网的可分离性
- 作者：EikeBest;Philippe Darondeau
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- persistency;
- petri nets;
- separability;
56.High-Level Petri Net Model Checking with AlPiNA

机译：使用AlPiNA进行高级Petri网模型检查
- 作者：Steve Hostettler;Alexis Marechal;Alban Linard;Matteo Risoldi;DidierBuchs
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
57.Accelerations for the Coverability Set of Petri Nets with Names *

机译：具有名称的Petri网的可覆盖性集的加速*
- 作者：Fernando Rosa-Velardo;Maria Martos-Salgado;David de Frutos-Escrig
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- petri nets;
- pure names;
- infinite state systems;
- decidability;
- well structured transition systems;
- forward analysis;
- accelerations;
58.Light Region-based Techniques for Process Discovery

机译：基于轻区域的过程发现技术
- 作者：Marc Sole;Josep Carmona
- 期刊名称：《Fundamenta Informaticae》 | 2011年第4期
- knowledge discovery;
- data process re-engineering;
- visualization;
- process mining;
- region theory.;
59.Approximation Spaces in Rough-Granular Computing

机译：粗粒度计算中的近似空间
- 作者：Andrzej Skowron;Jarostaw Stepaniuk;Roman Swiniarski
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
- rough sets;
- granular computing;
- approximation space;
- extension of approximation space;
- concept approximation;
- function approximation;
60.Game Solution, Epistemic Dynamics and Fixed-Point Logics

机译：游戏解决方案，认知动力学和定点逻辑
- 作者：Johan van Benthem;Amelie Gheerbrant
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
- backward induction;
- extensive games;
- dynamic-epistemic logic;
- fixed-point logic;
61.Local Computations on Triangular Graphs

机译：三角图上的局部计算
- 作者：Antoni Mazurkiewicz
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
- local algorithms;
- triangular graphs;
- leader elections;
- spanning trees;
- nodes orderings;
62.Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees

机译：在树上以二阶二阶逻辑表示基数量词
- 作者：Vince Barany;Lukasz Kaiser;Alex Rabinovich
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
- infinite trees;
- monadic second-order logic;
- cardinality quantifiers;
- cantor topology;
63.A Note on Forcing and Type Theory

机译：关于强迫与类型理论的注记
- 作者：Thierry Coquand;Guilhem Jaber
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
- type theory;
- dependent types;
- forcing;
64.A Framework for Graded Beliefs, Goals and Intentions

机译：信念，目标和意图分级框架
- 作者：Barbara Dunin-Keplicz;Linh Anh Nguyen;Andrzej Szalas
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
65.Structures with Multirelations, their Discrete Dualities and Applications

机译：多关系的结构，离散对偶和应用
- 作者：Ivo Duentsch;Ewa Orlowska;Ingrid Rewitzky
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
- apartness space;
- dependency;
- discrete duality;
- game of choice;
- multirelation;
- nearness space;
- neighbourhood system;
- point-set relation;
- skill relation;
66.A Local Version of the MLEM2 Algorithm for Rule Induction

机译：用于规则归纳的MLEM2算法的本地版本
- 作者：Jerzy W. Grzymala-Busse;Wojciech Rzasa
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
67.Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations

机译：动态人类拓扑学：不断变化的地区的无点理论。一，稳定和不稳定的拓扑关系
- 作者：Dimiter Vakarelov
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
68.PSF - A Retrospective

机译：PSF-回顾展
- 作者：Gerrit Jan Veltink
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
- process algebra;
- algebraic data types;
- concurrency;
- parallel systems;
- formal specification;
- ACP;
- ASF;
- PSF;
69.Preface

机译：前言
- 作者：Damian Niwinski
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
70.Similarity-Based Classification in Relational Databases

机译：关系数据库中基于相似度的分类
- 作者：Piotr Honko
- 期刊名称：《Fundamenta Informaticae》 | 2010年第3期
- multi-relational data mining;
- classification;
- similarity measures;
- granular computing;
71.Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs

机译：权重约束和聚合逻辑程序的级别映射引发的循环公式
- 作者：Guohua Liu;rnJia-Huai You
- 期刊名称：《Fundamenta Informaticae》 | 2010年第3期
- logic programs;
- answer sets;
- weight constraints;
- aggregates;
- loop formulas;
72.Approximating Tree Edit Distance through String Edit Distance for Binary Tree Codes

机译：通过二叉树代码的字符串编辑距离近似树编辑距离
- 作者：Taku Aratsu;rnKouichi Hirata;rnTetsuji Kuboyama
- 期刊名称：《Fundamenta Informaticae》 | 2010年第3期
- tree edit distance;
- string edit distance;
- binary tree code;
- binary tree representation;
73.Finding Patterns In Given Intervals

机译：在给定的间隔中寻找模式
- 作者：Maxime Crochemore;rnCostas S. Iliopoulos;rnMarcin Kubica;rnM. Sohel Rahman;rnTomasz Walen
- 期刊名称：《Fundamenta Informaticae》 | 2010年第3期
- algorithms;
- data structures;
- pattern matching;
- strings;
74.An Improved Bound for an Extension of Fine and Wilf's Theorem and Its Optimality

机译：Fine和Wilf定理的推广及其最优性的一个改进界。
- 作者：Lila Kari;rnShinnosuke Seki
- 期刊名称：《Fundamenta Informaticae》 | 2010年第3期
- (extended) Fine and wilf's theorem;
- pseudo-primitivity;
- antimorphic involution;
- opti-mal bound;
- sturmian word;
75.Computing Maximal Error-detecting Capabilities and Distances of Regular Languages

机译：计算常规语言的最大错误检测能力和距离
- 作者：Stavros Konstantinidis;Pedro V. Silva
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
- algorithm;
- automaton;
- combinatorial channel;
- edit string;
- error detection;
- maximal;
- regular language;
- string distance;
76.A Robust Multiple Classifier System for Pixel Classification of Remote Sensing Images

机译：鲁棒的遥感图像像素分类的多分类器系统
- 作者：Ujjwal Maulik;Debasis Chakraborty
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
77.Enhancement of Multispectral Ikonos Satellite Image Using Quantum Information Processing

机译：利用量子信息处理增强多光谱Ikonos卫星图像
- 作者：N.R. Shanker;S.S. Ramakrishnan
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
78.Another Constructed Chaotic Image Encryption Scheme Based on Toeplitz Matrix and Hankel Matrix

机译：基于Toeplitz矩阵和Hankel矩阵的另一种混沌图像加密方案。
- 作者：Guodong Ye
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
- image encryption scheme;
- toeplitz matrix;
- hankel matrix;
- lit and chen's chaotic system;
- security analysis;
79.Boruta - A System for Feature Selection

机译：Boruta-特征选择系统
- 作者：Miron B. Kursa;Aleksander Jankowski;Witold R. Rudnicki
- 期刊名称：《Fundamenta Informaticae》 | 2010年第4期
80.Concurrency Specification and Programming (CS&P)

机译：并发规范和编程（CS＆P）
- 作者：Ludwik Czaja
- 期刊名称：《Fundamenta Informaticae》 | 2010年第2期
81.Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations

机译：具有抑制剂关系的网状结构和过渡图的合成与分析
- 作者：Ludwik Czaja;Manfred Kudlek
- 期刊名称：《Fundamenta Informaticae》 | 2010年第2期
82.Safeness for Object Nets

机译：对象网的安全性
- 作者：Michael Kohler-Bussmeier;Frank Heitmann
- 期刊名称：《Fundamenta Informaticae》 | 2010年第2期
83.Perception and Classification. A Note on Near Sets and Rough Sets

机译：感知和分类。关于近集和粗糙集的注记
- 作者：Marcin Wolski
- 期刊名称：《Fundamenta Informaticae》 | 2010年第2期
84.Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics

机译：具有离散时间语义的分布式时间Petri网的有界参数验证
- 作者：Michal Knapik;Wojciech Penczek;Maciej Szreter;Agata Polrola
- 期刊名称：《Fundamenta Informaticae》 | 2010年第2期
85.Minimal Regions of ENL-Transition Systems

机译：ENL转换系统的最小区域
- 作者：Maciej Koutny;Marta Pietkiewicz-Koutny
- 期刊名称：《Fundamenta Informaticae》 | 2010年第2期
- theory of concurrency;
- petri nets;
- localities;
- analysis and synthesis;
- step sequence semantics;
- conflict;
- theory of regions;
- transition systems;
86.Interacting Workflow Nets for Workflow Process Re-Engineering

机译：交互工作流网以进行工作流流程再造
- 作者：Irina A. Lomazova
- 期刊名称：《Fundamenta Informaticae》 | 2010年第2期
- workflow modeling;
- petri nets;
- soundness;
- compositionality;
87.Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems

机译：交错多主体系统上模型检查时间流行病逻辑的偏序约简
- 作者：Alessio Lomuscio;Wojciech Penczek;Hongyang Qu
- 期刊名称：《Fundamenta Informaticae》 | 2010年第2期
88.On Computing Extensions and Restrictions of Information Systems Noting Some Order Properties

机译：关于信息系统的扩展和限制的注意事项
- 作者：Marek Palasinski;Krzysztof Pancerz
- 期刊名称：《Fundamenta Informaticae》 | 2010年第2期
89.Infinite Product of Traces Represented by Projections

机译：投影表示的轨迹的无限积
- 作者：Roman R. Redziejowski
- 期刊名称：《Fundamenta Informaticae》 | 2010年第2期
90.Toward Intelligent Searching the Rough Set Database System (RSDS): an Ontological Approach

机译：迈向智能搜索粗糙集数据库系统（RSDS）：一种本体论方法
- 作者：Zbigniew Suraj;Piotr Grochowalski
- 期刊名称：《Fundamenta Informaticae》 | 2010年第2期
- ontology;
- rough sets;
- data mining;
- knowledge discovery;
- database systems;
91.Multi-Agent Decision Taking System

机译：多智能体决策系统
- 作者：Alicja Wakulicz-Deja;Malgorzata Przybyla-Kasperek
- 期刊名称：《Fundamenta Informaticae》 | 2010年第2期
- decision system;
- multi-agent system;
- global decision;
- density-based algorithm;
92.SAT as a Programming Environment for Linear Algebra

机译：SAT作为线性代数的编程环境
- 作者：Marian Srebrny;Lidia Stepien
- 期刊名称：《Fundamenta Informaticae》 | 2010年第1期
- satisfiability;
- linear algebra;
- orthogonal matrices;
- orthogonal groups;
- declarative pro-gramming;
93.Agent Oriented Techniques for Programming Autonomous Robots

机译：面向Agent的自主机器人编程技术
- 作者：Hans-Dieter Burkhard
- 期刊名称：《Fundamenta Informaticae》 | 2010年第1期
- agent technics;
- cognitive robotics;
94.Process Algebra Contexts and Security Properties

机译：进程代数上下文和安全性属性
- 作者：Damas P. Gruska
- 期刊名称：《Fundamenta Informaticae》 | 2010年第1期
- information flow;
- opacity;
- surprisal;
- uncertainty;
- security;
- quantified information flow;
95.Model Checking Optimisation Based Congestion Control Algorithms

机译：基于模型检查优化的拥塞控制算法
- 作者：Alessio Lomuscio;Ben Strulo;Nigel G. Walker;Peng Wu
- 期刊名称：《Fundamenta Informaticae》 | 2010年第1期
- model checking;
- distributed optimisation;
- congestion control;
- convergence;
96.Checking Consistency of an ABox w.r.t. Global Assumptions in PDL

机译：检查ABox的一致性PDL中的全局假设
- 作者：Linh Anh Nguyen;Andrzej Szaias
- 期刊名称：《Fundamenta Informaticae》 | 2010年第1期
97.A Categorical View of Timed Behaviours

机译：时间行为的分类视图
- 作者：Irina Virbitskaite;Natalya Gribovskaya;Eike Best
- 期刊名称：《Fundamenta Informaticae》 | 2010年第1期
98.Concurrency Specification and Programming (CS&P)

机译：并发规范和编程（CS＆P）
- 作者：Wojciech Penczek
- 期刊名称：《Fundamenta Informaticae》 | 2010年第1期
99.Time-independent Liveness in Time Petri Nets

机译：时间陪替氏网络中与时间无关的生命
- 作者：Joerg Peter Bachmann;Louchka Popova-Zeugmann
- 期刊名称：《Fundamenta Informaticae》 | 2010年第1期
100.A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security

机译：系统安全中的不透明性概念启发了生物可诊断性的概念
- 作者：Roberto Barbuti;Andrea Maggiolo-Schettini;Paolo Milazzo;Damas P. Gruska
- 期刊名称：《Fundamenta Informaticae》 | 2010年第1期

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号