×

New Generation Computing

Computing Paradigms and Computational Intelligence

Short Title: New Generation Comput.
Publisher: Springer Japan, Tokyo; Ohmsha, Tokyo
ISSN: 0288-3635; 1882-7055/e
Online: https://link.springer.com/journal/volumesAndIssues/354
https://www.ohmsha.co.jp/english/ngc/
Comments: No longer indexed
Documents Indexed: 327 Publications (1983–2017)
References Indexed: 312 Publications with 7,214 References.
all top 5

Authors

5 Kaneiwa, Ken
4 Furukawa, Kōichi
4 Mizoguchi, Riichiro
4 Shapiro, Ehud Y.
3 Hagiya, Masami
3 Ho, TuBao
3 Hori, Koichi
3 Lamma, Evelina
3 Matsumoto, Yuji
3 Ohsawa, Yukio
3 Ohuchi, Azuma
3 Ross, Brian J.
3 Takeichi, Masato
3 Wu, Xindong
3 Yamada, Seiji
2 Albert, Elvira
2 Arikawa, Setsuo
2 Arzberger, Peter W.
2 Codish, Michael
2 Eo, Hyunjun
2 Freund, Rudolf
2 Futamura, Yoshihiko
2 Glück, Robert
2 Hermenegildo, Manuel V.
2 Hogger, Christopher John
2 Ishida, Toru
2 Isokawa, Teijiro
2 Isozaki, Takashi
2 Iwama, Kazuo
2 Kabashima, Yoshiyuki
2 Kamiura, Naotake
2 Kawamura, Hidenori
2 Kazienko, Przemysław
2 Konagaya, Akihiko
2 Kowada, Shin’ya
2 Kowalski, Robert A.
2 Kurumatani, Koichi
2 Kusalik, Anthony J.
2 Lakhotia, Arun
2 Li, Wilfred W.
2 Lloyd, John Wylie
2 Matsui, Nobuyuki
2 Mello, Paola
2 Miyano, Satoru
2 Mizoguchi, Fumio
2 Muggleton, Stephen H.
2 Murata, Tsuyoshi
2 Nishida, Toyoaki
2 Nishino, Tetsuro
2 Noshita, Kohei
2 Numao, Masayuki
2 Păun, Andrei
2 Păun, Gheorghe
2 Peper, Ferdinand
2 Pérez-Jiménez, Mario J.
2 Puente, Víctor Lavín
2 Rossi, Gianfranco
2 Sato, Taisuke
2 Shinohara, Ayumi
2 Shinohara, Takeshi
2 Sterling, Leon S.
2 Taha, Walid
2 Takama, Yasufumi
2 Takeda, Hideaki
2 Torra, Vicenç
2 Ueno, Maomi
2 Valiron, Benoît
2 Voda, Paul J.
2 Yamashita, Shigeru
2 Yi, Kwangkeun
2 Yokomori, Takashi
2 Yonezawa, Akinori
1 Abe, Akinori
1 Abe, Hidenao
1 Abe, Naoki
1 Abramsky, Samson
1 Abramson, David
1 Adamatzky, Andrew I.
1 Aihara, Kazuyuki
1 Aiso, Hideo
1 Alemandros-Jiménez, Jesús M.
1 Alhazov, Artiom
1 Ali, Khayri A. M.
1 Amamiya, Makoto
1 Amari, Shun-ichi
1 Ang, Larry
1 Aono, Masashi
1 Arduin, Pierre-Jean
1 Arita, Masanori
1 Asada, Minoru
1 Asai, Kenichi
1 Asakawa, Satoshi
1 Augusto, Juan Carlos
1 Auwatanamongkol, Surapong
1 Av-Ron, Evyatar
1 Aylett, Ruth
1 Bała, Piotr
1 Balcázar, José Luis
1 Baldridge, Kim K.
1 Barklund, Jonas
...and 570 more Authors

Publications by Year

Citations contained in zbMATH Open

154 Publications have been cited 866 times in 821 Documents Cited by Year
A logic-based calculus of events. Zbl 1356.68221
Kowalski, Robert; Sergot, Marek
97
1986
The power of communication: P systems with symport/antiport. Zbl 1024.68037
Păun, Andrei; Păun, Gheorghe
75
2002
Teachability in computational learning. Zbl 0712.68084
Shinohara, Ayumi; Miyano, Satoru
75
1991
Polynomial-time inference of arbitrary pattern languages. Zbl 0712.68082
Lange, Steffen; Wiehagen, Rolf
42
1991
Inductive logic programming. Zbl 0712.68022
Muggleton, Stephen
40
1991
Monotonic and non-monotonic inductive inference. Zbl 0712.68081
Jantke, Klaus P.
31
1991
MOLOG: A system that extends PROLOG with modal logic. Zbl 0598.68063
Fariñas del Cerro, L.
23
1986
The Alexander Method - a technique for the processing of recursive axioms in deductive databases. Zbl 0615.68062
Rohmer, J.; Lescoeur, R.; Kerisit, J. M.
18
1986
Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities. Zbl 0788.68025
Poole, David
17
1993
Inductive inference of monotonic formal systems from positive data. Zbl 0712.68062
Shinohara, Takeshi
17
1991
DNA sequence design using templates. Zbl 1021.68038
Arita, Masanori; Kobayashi, Satoshi
16
2002
A deductive solution for plan generation. Zbl 0624.68079
Bibel, Wolfgag
15
1986
Formal theories of knowledge in AI and robotics. Zbl 0596.68061
Rosenschein, Stanley J.
14
1985
Compiling a default reasoning system into Prolog. Zbl 0713.68017
Poole, David
13
1991
Declarative error diagnosis. Zbl 0624.68018
Lloyd, J. W.
13
1987
A new deductive approach to planning. Zbl 0711.68026
Hölldobler, Steffen; Schneeberger, Josef
11
1990
A machine discovery from amino acid sequences by decision trees over regular patterns. Zbl 0780.68099
Arikawa, Setsuo; Miyano, Satoru; Shinohara, Ayumi; Kuhara, Satoru; Mukouchi, Yasuhito; Shinohara, Takeshi
10
1993
Mixtus: An automatic partial evaluator for full Prolog. Zbl 0942.68516
Sahlin, Dan
10
1993
A general criterion for avoiding infinite unfolding during partial deduction. Zbl 0782.68024
Bruynooghe, Maurice; De Schreye, Danny; Martens, Bern
10
1992
The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024
Albert, Elvira; Vidal, Germán
9
2002
Chance discoveries for making decisions in complex real world. Zbl 1037.68931
Ohsawa, Yukio
9
2002
Solving the subset-problem by P systems with active membrans. Zbl 1092.68043
Pérez Jiménez, Mario J.; Riscos Núñez, Agustín
8
2005
The designs of S-boxes by simulated annealing. Zbl 1103.68047
Clark, John A.; Jacob, Jeremy L.; Stepney, Susan
8
2005
Composing recursive logic programs with clausal join. Zbl 0655.68119
Lakhotia, A.; Sterling, L.
7
1988
AND parallelism and nondeterminism in logic programs. Zbl 0595.68025
Conery, John S.; Kibler, Dennis F.
7
1985
Function approximation with complex neuro-fuzzy system using complex fuzzy sets – a new approach. Zbl 1251.68245
Li, Chunshien; Chiang, Tai-Wei
7
2011
Updating knowledge bases. Zbl 0705.68096
Guessoum, A.; Lloyd, J. W.
7
1990
Reactive computing as model generation. Zbl 1333.68108
Kowalski, Robert; Sadri, Fariba
6
2015
Mathematical theory of neural learning. Zbl 0712.68079
Amari, Shun-ichi
6
1991
The occur-check problem in Prolog. Zbl 0595.68007
Plaisted, David A.
6
1984
A self-applicable partial evaluator and its use in incremental compilation. Zbl 0654.68024
Fujita, Hiroshi; Furukawa, Koichi
5
1988
Linearity and plan generation. Zbl 0654.68100
Fronhöfer, Bertram
5
1987
Compositional model-theoretic semantics for logic programs. Zbl 0782.68023
Brogi, Antonio; Lamma, Evelina; Mello, Paola
5
1992
The general problem solving algorithm and its implementation. Zbl 0646.68108
Rayward-Smith, V. J.; McKeown, G. P.; Burton, F. W.
5
1988
Cloud computing: a perspective study. Zbl 1192.68085
Wang, Lizhe; Von Laszewski, Gregor; Younge, Andrew; He, Xi; Kunze, Marcel; Tao, Jie; Fu, Cheng
5
2010
Foundation of logic programming based on inductive definition. Zbl 0592.68032
Hagiya, Masami; Sakurai, Takafumi
4
1984
Mixed computation of Prolog programs. Zbl 0654.68021
Fuller, David A.; Abramsky, Samson
4
1988
Partial evaluation of metaprograms in a “multiple worlds” logic language. Zbl 0654.68022
Levi, Giorgio; Sardu, Giuseppe
4
1988
Multi-objective optimisation of bijective S-boxes. Zbl 1103.68048
Fuller, Joanne; Millan, William; Dawson, Ed
4
2005
Quantum computation: from a programmer’s perspective. Zbl 1298.81051
Valiron, Benoît
4
2013
Semantics for a quantum programming language by operator algebras. Zbl 1443.68041
Cho, Kenta
4
2016
Terminality implies no-signalling…and much more than that. Zbl 1396.81010
Coecke, Bob
4
2016
Quantum set theory extending the standard probabilistic interpretation of quantum theory. Zbl 1396.81011
Ozawa, Masanao
4
2016
Exact cover with light. Zbl 1191.68127
Oltean, Mihai; Muntean, Oana
4
2008
Temporal disjunctive logic programming. Zbl 0973.68028
Gergatsoulis, Manolis; Rondogiannis, Panos; Panayiotopoulos, Themis
3
2001
Constructive negation and constraint logic programming with sets. Zbl 0980.68017
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
3
2001
A grid-oriented genetic algorithm framework for bioinformatics. Zbl 1084.68505
Imade, Hiroaki; Morishita, Ryohei; Ono, Isao; Ono, Norihiko; Okamoto, Masahiro
3
2004
Languages generated by P systems with active membranes. Zbl 1085.68049
Bernardini, Francesco; Gheorghe, Marian
3
2004
Results on catalytic and evolution-communication P systems. Zbl 1085.68051
Krishna, Shankara Narayanan; Păun, Andrei
3
2004
Unfolding rules for GHC programs. Zbl 0654.68104
Furukawa, Koichi; Okumura, Akira; Murakami, Masaki
3
1988
P transducers. Zbl 1103.68050
Ciobanu, Gabriel; Păun, Gheorge; Ştefănescu, Gheorge
3
2006
Strict completion of logic programs. Zbl 0714.68084
Drabent, Wlodzimierz; Martelli, Maurizio
3
1991
The BC-chain method for representing combinators in linear space. Zbl 0594.68034
Noshita, Kohei; Hikita, Teruo
3
1985
How to invent a Prolog machine. Zbl 0614.68020
Kursawe, Peter
3
1987
An execution model for exploiting AND-parallelism in logic programs. Zbl 0637.68029
Lin, Yow-Jian; Kumar, Vipin
3
1988
Annotated bibliography on partial evaluation and mixed computation. Zbl 0646.68016
Sestoft, Peter; Zamulin, Alexander V.
3
1988
An efficient Bayesian network structure learning strategy. Zbl 1442.68205
Suzuki, Joe
3
2017
A Kochen-Specker system has at least 22 vectors. Zbl 1396.81015
Uijlen, Sander; Westerbaan, Bas
3
2016
Amoeba-based chaotic neurocomputing: combinatorial optimization by coupled biological oscillators. Zbl 1193.92001
Aono, Masashi; Hirata, Yoshito; Hara, Masahiko; Aihara, Kazuyuki
3
2009
Factorizing RSA keys, an improved analogue solution. Zbl 1180.68148
Blakey, Ed
3
2009
Analysis of the univariate microaggregation disclosure risk. Zbl 1183.68251
Nin, Jordi; Torra, Vicenç
3
2009
Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses. Zbl 1192.68130
Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel
3
2010
Implicitly heterogeneous multi-stage programming. Zbl 1161.68379
Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar; Taha, Walid
3
2007
Abstraction-carrying code: a model for mobile code safety. Zbl 1169.68356
Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel
3
2008
Learning an extension of the class of functional dependencies with queries. Zbl 1333.68092
Lavín Puente, Víctor
2
2015
Binding-time analysis for both static and dynamic expressions. Zbl 0994.68035
Asai, Kenichi
2
2002
The emerging discipline of biomolecular computation in the US. Zbl 1024.68034
Reif, John H.
2
2002
On some operations on strings suggested by gene assembly in ciliates. Zbl 1021.68039
Freund, Rudolf; Martín-Vide, Carlos; Mitrana, Victor
2
2002
Mathematical models of quantum computation. Zbl 1013.68089
Nishino, Tetsuro
2
2002
Maximal unifiable subsets and minimal non-unifiable subsets. Zbl 0591.68083
Chen, T. Y.; Lassez, J.-L.; Port, G. S.
2
1986
BUP: A bottom-up parser embedded in Prolog. Zbl 0592.68074
Matsumoto, Yuji; Tanaka, Hozumi; Hirakawa, Hideki; Miyoshi, Hideo; Yasukawa, Hideki
2
1983
Biomolecular realizations of a parallel architecture for solving combinatorial problems. Zbl 0991.68025
Head, Tom
2
2001
Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations. Zbl 0782.65083
Nishida, Toyoaki; Mizutani, Kenji; Doshita, Shuji
2
1993
Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013
Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C.
2
1993
Distributed programming with logic tuple spaces. Zbl 0806.68014
Ciancarini, Paolo
2
1994
Quantum entanglement as a new information processing resource. Zbl 1101.81313
Gruska, Jozef
2
2003
Proofs of a set of hybrid let-polymorphic type inference algorithms. Zbl 1085.68028
Eo, Hyunjun; Lee, Oukseh; Yi, Kwangkeun
2
2004
Minimizing evolution communication P systems and automata. Zbl 1085.68047
Alhazov, Artiom
2
2004
Specialisation of Prolog and FCP programs using abstract interpretation. Zbl 0654.68025
Gallagher, John; Codish, Michael; Shapiro, Ehud
2
1988
An operational formal definition of PROLOG: A specification method and its application. Zbl 0741.68028
Deransart, Pierre; Ferrand, Gérard
2
1992
Block cipher based on reversible cellular automata. Zbl 1103.68049
Seredynski, Marcin; Bouvry, Pascal
2
2005
Synthesis of rewrite programs by higher-order and semantic unification. Zbl 0712.68057
Hagiya, Masami
2
1991
Learning commutative deterministic finite state automata in polynomial time. Zbl 0712.68078
Abe, Naoki
2
1991
On the role of interpretive analogy in learning. Zbl 0712.68080
Indurkhya, Bipin
2
1991
Bounded-wait merge in Shapiro’s concurrent Prolog. Zbl 0596.68012
Kusalik, Anthony J.
2
1984
A view of programming languages as symbiosis of meaning and computations. Zbl 0598.68009
Voda, Paul J.
2
1985
Making exhaustive search programs deterministic. Zbl 0631.68074
Ueda, Kazunori
2
1987
The recursive resolution method for modal logic. Zbl 0648.03005
Chan, Man-chung
2
1987
Computational ability of cells based on cell dynamics and adaptability. Zbl 1192.68653
Nakagaki, Toshiyuki; Tero, Atsushi; Kobayashi, Ryo; Onishi, Isamu; Miyaji, Tomoyuki
2
2009
GeoMergeP: geographic information integration through enriched ontology matching. Zbl 1191.68815
Buccella, Agustina; Cechich, Alejandra; Gendarmi, Domenico; Lanubile, Filippo; Semeraro, Giovanni; Colagrossi, Attilio
2
2010
Seeing things: inventive reasoning with geometric analogies and topographic maps. Zbl 1108.68613
O’Donoghue, Diarmuid P.; Bohan, Amy; Keane, Mark T.
2
2006
Defect-tolerance in cellular nanocomputers. Zbl 1114.68011
Isokawa, Teijiro; Kowada, Shin’ya; Takada, Yousuke; Peper, Ferdinand; Kamiura, Naotake; Matsui, Nobuyuki
2
2007
Preface: Special issue on advanced methodologies for Bayesian networks. Zbl 1333.00056
1
2012
Program transformation system based on generalized partial computation. Zbl 0994.68132
Futamura, Yoshihiko; Konishi, Zenjiro; Glück, Robert
1
2002
Description and reasoning of VLSI circuit in temporal logic. Zbl 0592.68033
Fusaoka, Akira; Seki, Hirohisa; Takahashi, Kuzuko
1
1984
Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog. Zbl 0592.68058
Shapiro, Ehud; Mierowsky, Colin
1
1984
Preference queries in deductive databases. Zbl 0973.68053
Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya
1
2001
Logic-based genetic programming with definite clause translation grammars. Zbl 0991.68033
Ross, Brian J.
1
2001
Well-founded semantics and stratification for ordered logic programs. Zbl 0798.68029
Leone, N.; Rossi, G.
1
1993
The query complexity of learning DFA. Zbl 0812.68107
Balcázar, José L.; Díaz, Josep; Gavaldà, Ricard; Watanabe, Osamu
1
1994
An efficient Bayesian network structure learning strategy. Zbl 1442.68205
Suzuki, Joe
3
2017
On model selection, Bayesian networks, and the Fisher information integral. Zbl 1450.62007
Zou, Yuan; Roos, Teemu
1
2017
Joint analysis of multiple algorithms and performance measures. Zbl 1450.62090
de Campos, Cassio P.; Benavoli, Alessio
1
2017
Semantics for a quantum programming language by operator algebras. Zbl 1443.68041
Cho, Kenta
4
2016
Terminality implies no-signalling…and much more than that. Zbl 1396.81010
Coecke, Bob
4
2016
Quantum set theory extending the standard probabilistic interpretation of quantum theory. Zbl 1396.81011
Ozawa, Masanao
4
2016
A Kochen-Specker system has at least 22 vectors. Zbl 1396.81015
Uijlen, Sander; Westerbaan, Bas
3
2016
Tensors, !-graphs, and non-commutative quantum structures. Zbl 1405.16043
Kissinger, Aleks; Quick, David
1
2016
Reactive computing as model generation. Zbl 1333.68108
Kowalski, Robert; Sadri, Fariba
6
2015
Learning an extension of the class of functional dependencies with queries. Zbl 1333.68092
Lavín Puente, Víctor
2
2015
Quantum computation: from a programmer’s perspective. Zbl 1298.81051
Valiron, Benoît
4
2013
Preface: Special issue on advanced methodologies for Bayesian networks. Zbl 1333.00056
1
2012
Quantum computation: a tutorial. Zbl 1298.81050
Valiron, Benoît
1
2012
Quantum computing vs. coherent computing. Zbl 1356.81114
Yamamoto, Yoshihisa; Takata, Kenta; Utsunomiya, Shoko
1
2012
Function approximation with complex neuro-fuzzy system using complex fuzzy sets – a new approach. Zbl 1251.68245
Li, Chunshien; Chiang, Tai-Wei
7
2011
Weak updates and separation logic. Zbl 1251.68050
Tan, Gang; Shao, Zhong; Feng, Xinyu; Cai, Hongxu
1
2011
Classical natural deduction for S4 modal logic. Zbl 1251.68071
Kimura, Daisuke; Kakutani, Yoshihiko
1
2011
On the decidability of subtyping with bounded existential types and implementation constraints. Zbl 1251.68075
Wehr, Stefan; Thiemann, Peter
1
2011
Boosting-based sequential output prediction. Zbl 1251.68180
Kajdanowicz, Tomasz; Kazienko, Przemysław
1
2011
Paraconsistent computation tree logic. Zbl 1251.68227
Kaneiwa, Ken; Kamide, Norihiro
1
2011
Cloud computing: a perspective study. Zbl 1192.68085
Wang, Lizhe; Von Laszewski, Gregor; Younge, Andrew; He, Xi; Kunze, Marcel; Tao, Jie; Fu, Cheng
5
2010
Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses. Zbl 1192.68130
Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel
3
2010
GeoMergeP: geographic information integration through enriched ontology matching. Zbl 1191.68815
Buccella, Agustina; Cechich, Alejandra; Gendarmi, Domenico; Lanubile, Filippo; Semeraro, Giovanni; Colagrossi, Attilio
2
2010
Model-based fault localization: finding behavioral outliers in large-scale computing systems. Zbl 1205.68099
Maruyama, Naoya; Matsuoka, Satoshi
1
2010
Gfarm Grid file system. Zbl 1205.68058
Tatebe, Osamu; Hiraga, Kohei; Soda, Noriyuki
1
2010
Image annotation and retrieval for weakly labeled images using conceptual learning. Zbl 1205.68481
Harada, Tatsuya; Nakayama, Hideki; Kuniyoshi, Yasuo; Otsu, Nobuyuki
1
2010
An approach to data reduction and integrated machine classification. Zbl 1191.68493
Czarnowski, Ireneusz; Jȩdrzejowicz, Piotr
1
2010
Amoeba-based chaotic neurocomputing: combinatorial optimization by coupled biological oscillators. Zbl 1193.92001
Aono, Masashi; Hirata, Yoshito; Hara, Masahiko; Aihara, Kazuyuki
3
2009
Factorizing RSA keys, an improved analogue solution. Zbl 1180.68148
Blakey, Ed
3
2009
Analysis of the univariate microaggregation disclosure risk. Zbl 1183.68251
Nin, Jordi; Torra, Vicenç
3
2009
Computational ability of cells based on cell dynamics and adaptability. Zbl 1192.68653
Nakagaki, Toshiyuki; Tero, Atsushi; Kobayashi, Ryo; Onishi, Isamu; Miyaji, Tomoyuki
2
2009
RNA oscillator: limit cycle oscillations based on artificial biomolecular reactions. Zbl 1193.92049
Takinoue, Masahiro; Kiga, Daisuke; Shohda, Koh-Ichiroh; Suyama, Akira
1
2009
Selection and setting of an intelligent fuzzy regulator based on nonlinear model simulations of a helicopter in hover. Zbl 1180.93010
Król, Dariusz; Lower, Michał; Szlachetko, Bogusław
1
2009
On generalization performance and non-convex optimization of extended \(\nu \)-support vector machine. Zbl 1183.68508
Takeda, Akiko; Sugiyama, Masashi
1
2009
Efficient leave-\(m\)-out cross-validation of support vector regression by generalizing decremental algorithm. Zbl 1185.68535
Karasuyama, Masayuki; Takeuchi, Ichiro; Nakano, Ryohei
1
2009
Exact cover with light. Zbl 1191.68127
Oltean, Mihai; Muntean, Oana
4
2008
Abstraction-carrying code: a model for mobile code safety. Zbl 1169.68356
Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel
3
2008
Interactive visualization of news distribution in blog space. Zbl 1169.68394
Takama, Yasufumi; Matsumura, Akio; Kajinami, Tomoki
1
2008
Double layer ACO algorithm for the multi-objective FJSSP. Zbl 1175.90201
Xing, Li-Ning; Chen, Ying-Wu; Yang, Ke-Wei
1
2008
Implicitly heterogeneous multi-stage programming. Zbl 1161.68379
Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar; Taha, Walid
3
2007
Defect-tolerance in cellular nanocomputers. Zbl 1114.68011
Isokawa, Teijiro; Kowada, Shin’ya; Takada, Yousuke; Peper, Ferdinand; Kamiura, Naotake; Matsui, Nobuyuki
2
2007
Measuring evolving data streams’ behavior through their intrinsic dimension. Zbl 1119.68361
de Sousa, Elaine P. M.; Traina, Agma J. M.; Traina, Caetano jun.; Faloutsos, Christos
1
2007
Exploiting temporal relations in mining hepatitis data. Zbl 1154.68371
Ho, Tu-Bao; Nguyen, Canh-Hao; Kawasaki, Saori; Le, Si-Quang; Takabayashi, Katsuhiko
1
2007
Description logics with contraries, contradictories, and subcontraries. Zbl 1137.68055
Kaneiwa, Ken
1
2007
On the use of virtual animals with artificial fear an virtual environments. Zbl 1112.68491
Delgado-Mata, Carlos; Ibanez Martinez, Jesus; Bee, Simon; Ruiz-Rodarte, Rocio; Aylett, Ruth
1
2007
P transducers. Zbl 1103.68050
Ciobanu, Gabriel; Păun, Gheorge; Ştefănescu, Gheorge
3
2006
Seeing things: inventive reasoning with geometric analogies and topographic maps. Zbl 1108.68613
O’Donoghue, Diarmuid P.; Bohan, Amy; Keane, Mark T.
2
2006
Re-representation and creative analogy: a lexico-semantic perspective. Zbl 1108.68605
Veale, Tony
1
2006
The transformational creativity hypothesis. Zbl 1108.68548
Ritchie, Graeme
1
2006
Story planning as exploratory creativity: techniques for expanding the narrative search space. Zbl 1108.68547
Riedl, Mark O.; Young, R. Michael
1
2006
Solving the subset-problem by P systems with active membrans. Zbl 1092.68043
Pérez Jiménez, Mario J.; Riscos Núñez, Agustín
8
2005
The designs of S-boxes by simulated annealing. Zbl 1103.68047
Clark, John A.; Jacob, Jeremy L.; Stepney, Susan
8
2005
Multi-objective optimisation of bijective S-boxes. Zbl 1103.68048
Fuller, Joanne; Millan, William; Dawson, Ed
4
2005
Block cipher based on reversible cellular automata. Zbl 1103.68049
Seredynski, Marcin; Bouvry, Pascal
2
2005
New results on the genetic cryptanalysis of TEA and reduced-round versions of XTEA. Zbl 1093.68590
Hernández Castro, Julio César; Isasi Viñuela, Pedro
1
2005
A grid-oriented genetic algorithm framework for bioinformatics. Zbl 1084.68505
Imade, Hiroaki; Morishita, Ryohei; Ono, Isao; Ono, Norihiko; Okamoto, Masahiro
3
2004
Languages generated by P systems with active membranes. Zbl 1085.68049
Bernardini, Francesco; Gheorghe, Marian
3
2004
Results on catalytic and evolution-communication P systems. Zbl 1085.68051
Krishna, Shankara Narayanan; Păun, Andrei
3
2004
Proofs of a set of hybrid let-polymorphic type inference algorithms. Zbl 1085.68028
Eo, Hyunjun; Lee, Oukseh; Yi, Kwangkeun
2
2004
Minimizing evolution communication P systems and automata. Zbl 1085.68047
Alhazov, Artiom
2
2004
Selecting potentially relevant records using re-identification methods. Zbl 1088.68564
Domingo-Ferrer, Josep; Torra, Vicenç
1
2004
The encyclopedia of life project: Grid software and deployment. Zbl 1083.68512
Li, Wilfred W.; Byrnes, Robert W.; Hayes, Jim; Birnbaum, Adam; Reyes, Vicente M.; Shahab, Atif; Mosley, Coleman; Pekurovsky, Dmitry; Quinn, Greg B.; Shindyalov, Ilya N.; Casanova, Henri; Ang, Larry; Berman, Fran; Arzberger, Peter W.; Miller, Mark A.; Bourne, Philip E.
1
2004
Biological structure determination by EM is well suited to grid computing. Zbl 1084.68932
Fernandez, Jose-Jesus; Bilbao-Castro, Jose-Roman; Marabini, Roberto; Carazo, Jose-Maria; Garcia, Inmaculada
1
2004
MOLECULAR DOCKING: An example of grid enabled applications. Zbl 1102.68377
Tantoso, Erwin; Wahab, Habibah A.; Chan, Huah Yong
1
2004
Tutorial on ontological engineering. III: Advanced course of ontological engineering. Zbl 1099.68746
Mizoguchi, Riichiro
1
2004
Hierarchies of parallel rewriting P systems – a survey. Zbl 1085.68073
Besozzi, Daniela; Mauri, Giancarlo; Zandron, Claudio
1
2004
A Prolog simulator for deterministic P systems with active membranes. Zbl 1085.68016
Cordón-Franco, Andrés; Gutiérrez-Naranjo, Miguel A.; Pérez-Jiménez, Mario J.; Sancho-Caparrini, Fernando
1
2004
Semantic web: a road to the knowledge infrastructure on the internet. Zbl 1085.68573
Takeda, Hideaki
1
2004
Quantum entanglement as a new information processing resource. Zbl 1101.81313
Gruska, Jozef
2
2003
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy. Zbl 1089.68546
Loveland, Donald W.; Yahya, Adnan H.
1
2003
Transformation rules for CNOT-based quantum circuits and their applications. Zbl 1101.81316
Iwama, Kazuo; Yamashita, Shigeru
1
2003
Tutorial on ontological engineering. I: Introduction to ontological engineering. Zbl 1088.68785
Mizoguchi, Riichiro
1
2003
Web information visualization method employing immune network model for finding topic stream from document-set sequence. Zbl 1034.68004
Takama, Yasufumi; Hirota, Kaoru
1
2003
The power of communication: P systems with symport/antiport. Zbl 1024.68037
Păun, Andrei; Păun, Gheorghe
75
2002
DNA sequence design using templates. Zbl 1021.68038
Arita, Masanori; Kobayashi, Satoshi
16
2002
The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024
Albert, Elvira; Vidal, Germán
9
2002
Chance discoveries for making decisions in complex real world. Zbl 1037.68931
Ohsawa, Yukio
9
2002
Binding-time analysis for both static and dynamic expressions. Zbl 0994.68035
Asai, Kenichi
2
2002
The emerging discipline of biomolecular computation in the US. Zbl 1024.68034
Reif, John H.
2
2002
On some operations on strings suggested by gene assembly in ciliates. Zbl 1021.68039
Freund, Rudolf; Martín-Vide, Carlos; Mitrana, Victor
2
2002
Mathematical models of quantum computation. Zbl 1013.68089
Nishino, Tetsuro
2
2002
Program transformation system based on generalized partial computation. Zbl 0994.68132
Futamura, Yoshihiko; Konishi, Zenjiro; Glück, Robert
1
2002
Temporal disjunctive logic programming. Zbl 0973.68028
Gergatsoulis, Manolis; Rondogiannis, Panos; Panayiotopoulos, Themis
3
2001
Constructive negation and constraint logic programming with sets. Zbl 0980.68017
Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco
3
2001
Biomolecular realizations of a parallel architecture for solving combinatorial problems. Zbl 0991.68025
Head, Tom
2
2001
Preference queries in deductive databases. Zbl 0973.68053
Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya
1
2001
Logic-based genetic programming with definite clause translation grammars. Zbl 0991.68033
Ross, Brian J.
1
2001
Distributed programming with logic tuple spaces. Zbl 0806.68014
Ciancarini, Paolo
2
1994
The query complexity of learning DFA. Zbl 0812.68107
Balcázar, José L.; Díaz, Josep; Gavaldà, Ricard; Watanabe, Osamu
1
1994
Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities. Zbl 0788.68025
Poole, David
17
1993
A machine discovery from amino acid sequences by decision trees over regular patterns. Zbl 0780.68099
Arikawa, Setsuo; Miyano, Satoru; Shinohara, Ayumi; Kuhara, Satoru; Mukouchi, Yasuhito; Shinohara, Takeshi
10
1993
Mixtus: An automatic partial evaluator for full Prolog. Zbl 0942.68516
Sahlin, Dan
10
1993
Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations. Zbl 0782.65083
Nishida, Toyoaki; Mizutani, Kenji; Doshita, Shuji
2
1993
Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013
Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C.
2
1993
Well-founded semantics and stratification for ordered logic programs. Zbl 0798.68029
Leone, N.; Rossi, G.
1
1993
A general criterion for avoiding infinite unfolding during partial deduction. Zbl 0782.68024
Bruynooghe, Maurice; De Schreye, Danny; Martens, Bern
10
1992
Compositional model-theoretic semantics for logic programs. Zbl 0782.68023
Brogi, Antonio; Lamma, Evelina; Mello, Paola
5
1992
An operational formal definition of PROLOG: A specification method and its application. Zbl 0741.68028
Deransart, Pierre; Ferrand, Gérard
2
1992
\(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus. Zbl 0741.68025
Schmittgen, C.; Blödorn, H.; Kluge, W.
1
1992
Performance of Muse on switch-based multiprocessor machines. Zbl 0782.68018
Ali, Khayri A. M.; Karlsson, Roland; Mudambi, Shyam
1
1992
...and 54 more Documents
all top 5

Cited by 1,398 Authors

26 Jain, Sanjay
23 Stephan, Frank
19 Pérez-Jiménez, Mario J.
17 Pan, Linqiang
16 Song, Bosheng
14 Case, John
14 Zeugmann, Thomas
12 Lange, Steffen
11 Muggleton, Stephen H.
11 Vidal, Germán
9 Ibarra, Oscar H.
9 Zilles, Sandra
8 Alhazov, Artiom
8 Artikis, Alexander
8 Inoue, Katsumi
8 Lamma, Evelina
8 Orellana-Martín, David
8 Riguzzi, Fabrizio
8 Sosík, Petr
8 Thielscher, Michael
8 Valencia-Cabrera, Luis
7 Paliouras, Georgios
7 Reidenbach, Daniel
6 Albert, Elvira
6 Brogi, Antonio
6 Kari, Lila
6 Mello, Paola
6 Riscos-Núñez, Agustín
6 Russo, Alessandra M.
6 Sadri, Fariba
5 Cabalar, Pedro
5 Csuhaj-Varjú, Erzsébet
5 Gao, Ziyuan
5 Gupta, Gopal K.
5 Halpern, Joseph Yehuda
5 Kinber, Efim B.
5 Kötzing, Timo
5 Păun, Andrei
5 Puebla, Germán
5 Schaub, Torsten H.
5 Sharma, Arun K.
5 Verlan, Sergey
5 Zeng, Xiangxiang
4 Bruynooghe, Maurice
4 Caballero, Rafael E.
4 Ciobanu, Gabriel
4 De Raedt, Luc
4 De Schreye, Danny
4 Eiter, Thomas
4 Enjalbert, Patrice
4 Hermenegildo, Manuel V.
4 Konstantinidis, Stavros
4 Kowalski, Robert A.
4 Levesque, Hector J.
4 Mancarella, Paolo
4 Martin, Éric A.
4 Nishida, Naoki
4 Păun, Gheorghe
4 Prade, Henri M.
4 Rodríguez-Patón, Alfonso
4 Schmid, Markus L.
4 Shakerin, Farhad
4 Simon, Hans-Ulrich
4 Tamaddoni-Nezhad, Alireza
3 Alves Rocha, Thiago
3 Balbach, Frank J.
3 Baral, Chitta R.
3 Baumgartner, Peter
3 Bellodi, Elena
3 Blakey, Ed
3 Broda, Krysia B.
3 Ceterchi, Rodica
3 Díaz-Pernil, Daniel
3 Dick, Scott
3 Diéguez, Martín
3 Dovier, Agostino
3 Freund, Rudolf
3 Frisco, Pierluigi
3 Fronhöfer, Bertram
3 Gabbrielli, Maurizio
3 Garzon, Max H.
3 Grieser, Gunter
3 Gutiérrez-Naranjo, Miguel A.
3 Hoogeboom, Hendrik Jan
3 Isokawa, Teijiro
3 Katzouris, Nikos
3 Kimmig, Angelika
3 Kiselyov, Oleg
3 Kissinger, Aleks
3 Law, Mark M.
3 Leporati, Alberto
3 Levi, Giorgio
3 Lisper, Björn
3 Martí-Oliet, Narciso
3 Martins, Ana Teresa
3 Moelius, Samuel E. III
3 Morales, Jose Francisco
3 Nessel, Jochen
3 Nguyen, Linh Anh
3 Ozawa, Masanao
...and 1,298 more Authors
all top 5

Cited in 119 Journals

135 Theoretical Computer Science
65 New Generation Computing
49 Artificial Intelligence
32 Machine Learning
30 Information and Computation
24 Theory and Practice of Logic Programming
18 International Journal of Foundations of Computer Science
15 Annals of Mathematics and Artificial Intelligence
13 Natural Computing
12 Information Processing Letters
12 Journal of Automated Reasoning
11 Information Sciences
11 Journal of Computer and System Sciences
11 Journal of Symbolic Computation
11 International Journal of Approximate Reasoning
9 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
9 Journal of Membrane Computing
8 Journal of Applied Non-Classical Logics
8 Journal of Applied Logic
7 Discrete Applied Mathematics
7 International Journal of Applied Mathematics and Computer Science
6 International Journal of Computer Mathematics
5 Acta Informatica
5 International Journal of Parallel Programming
5 Journal of Functional Programming
4 Applied Mathematics and Computation
4 Journal of Philosophical Logic
4 Annals of Pure and Applied Logic
4 MSCS. Mathematical Structures in Computer Science
3 International Journal of Theoretical Physics
3 Kybernetika
3 Studia Logica
3 Journal of Computer Science and Technology
3 Applied Mathematics Letters
3 Annals of Operations Research
3 Applied Intelligence
3 European Journal of Operational Research
3 Journal of Logic, Language and Information
3 Soft Computing
3 Higher-Order and Symbolic Computation
3 The Journal of Logic and Algebraic Programming
2 Synthese
2 Science of Computer Programming
2 Formal Aspects of Computing
2 Applicable Algebra in Engineering, Communication and Computing
2 Fundamenta Informaticae
2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 ACM Transactions on Computational Logic
2 Computational Intelligence
2
2 New Mathematics and Natural Computation
2 Cryptography and Communications
1 International Journal of General Systems
1 Journal of the Franklin Institute
1 Journal of Mathematical Physics
1 Mathematical Biosciences
1 Mathematical Methods in the Applied Sciences
1 Computing
1 Fuzzy Sets and Systems
1 Journal of Algebra
1 Journal of Mathematical Psychology
1 Journal of Optimization Theory and Applications
1 Mathematical Systems Theory
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Software. Practice & Experience
1 Journal of Complexity
1 Computers & Operations Research
1 International Journal of Intelligent Systems
1 Journal of Cryptology
1 Real-Time Systems
1 Neural Computation
1 Artificial Intelligence Review
1 International Journal of Robust and Nonlinear Control
1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
1 Cybernetics and Systems Analysis
1 Computational Optimization and Applications
1 Journal of Computer and Systems Sciences International
1 Finite Fields and their Applications
1 The Journal of Artificial Intelligence Research (JAIR)
1 Complexity
1 Computer Science Journal of Moldova
1 Computational & Mathematical Organization Theory
1 International Transactions in Operational Research
1 Doklady Mathematics
1 Theory of Computing Systems
1 Journal of Automata, Languages and Combinatorics
1 Chaos
1 Data Mining and Knowledge Discovery
1 Communications in Nonlinear Science and Numerical Simulation
1 RAIRO. Theoretical Informatics and Applications
1 Foundations of Science
1 Communications in Contemporary Mathematics
1 Nonlinear Analysis. Real World Applications
1 Quantitative Finance
1 International Studies in the Philosophy of Science
1 Journal of Applied Mathematics
1 Entropy
1 JMMA. Journal of Mathematical Modelling and Algorithms
1 Journal of Applied Mathematics and Computing
1 Quantum Information Processing
...and 19 more Journals
all top 5

Cited in 37 Fields

741 Computer science (68-XX)
122 Mathematical logic and foundations (03-XX)
39 Information and communication theory, circuits (94-XX)
36 Biology and other natural sciences (92-XX)
26 Quantum theory (81-XX)
25 Operations research, mathematical programming (90-XX)
22 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
18 Statistics (62-XX)
15 Combinatorics (05-XX)
9 Ordinary differential equations (34-XX)
9 Numerical analysis (65-XX)
8 Systems theory; control (93-XX)
7 Order, lattices, ordered algebraic structures (06-XX)
6 Functional analysis (46-XX)
5 Dynamical systems and ergodic theory (37-XX)
4 Linear and multilinear algebra; matrix theory (15-XX)
3 General and overarching topics; collections (00-XX)
3 History and biography (01-XX)
3 Category theory; homological algebra (18-XX)
3 Group theory and generalizations (20-XX)
3 Measure and integration (28-XX)
2 Associative rings and algebras (16-XX)
2 Operator theory (47-XX)
2 Optics, electromagnetic theory (78-XX)
2 Relativity and gravitational theory (83-XX)
1 Number theory (11-XX)
1 Field theory and polynomials (12-XX)
1 Algebraic geometry (14-XX)
1 Nonassociative rings and algebras (17-XX)
1 Difference and functional equations (39-XX)
1 Integral transforms, operational calculus (44-XX)
1 Integral equations (45-XX)
1 Algebraic topology (55-XX)
1 Mechanics of particles and systems (70-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Geophysics (86-XX)
1 Mathematics education (97-XX)

Citations by Year