New Generation ComputingComputing 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/354https://www.ohmsha.co.jp/english/ngc/ Comments: Journal; No longer indexed Documents Indexed: 327 Publications (1983–2017) References Indexed: 312 Publications with 7,214 References. all top 5 Latest Issues 35, No. 1 (2017) 34, No. 1-2 (2016) 33, No. 3 (2015) 33, No. 2 (2015) 33, No. 1 (2015) 32, No. 2 (2014) 31, No. 4 (2013) 31, No. 1 (2013) 30, No. 4 (2012) 30, No. 1 (2012) 29, No. 4 (2011) 29, No. 3 (2011) 29, No. 1 (2011) 28, No. 4 (2010) 28, No. 3 (2010) 28, No. 2 (2010) 28, No. 1 (2010) 27, No. 4 (2009) 27, No. 3 (2009) 27, No. 2 (2009) 27, No. 1 (2009) 26, No. 4 (2008) 26, No. 2 (2008) 26, No. 1 (2008) 25, No. 4 (2007) 25, No. 3 (2007) 25, No. 2 (2007) 25, No. 1 (2007) 24, No. 4 (2006) 24, No. 3 (2006) 24, No. 2 (2006) 24, No. 1 (2006) 23, No. 4 (2005) 23, No. 3 (2005) 23, No. 1 (2005) 22, No. 4 (2004) 22, No. 3 (2004) 22, No. 2 (2004) 22, No. 1 (2004) 21, No. 4 (2003) 21, No. 3 (2003) 21, No. 2 (2003) 21, No. 1 (2003) 20, No. 4 (2002) 20, No. 3 (2002) 20, No. 2 (2002) 20, No. 1 (2002) 19, No. 4 (2001) 19, No. 3 (2001) 19, No. 2 (2001) 19, No. 1 (2001) 15, No. 1 (1997) 14, No. 2 (1996) 14, No. 1 (1996) 13, No. 3-4 (1995) 12, No. 4 (1994) 12, No. 3 (1994) 12, No. 2 (1994) 12, No. 1 (1993) 11, No. 3-4 (1993) 11, No. 2 (1993) 11, No. 1 (1992) 10, No. 3 (1992) 10, No. 2 (1992) 9, No. 2 (1991) 9, No. 1 (1991) 8, No. 4 (1991) 8, No. 3 (1990) 8, No. 1 (1990) 6, No. 4 (1989) 6, No. 2-3 (1988) 6, No. 1 (1988) 5, No. 4 (1988) 5, No. 3 (1987) 5 (1987) 4 (1986) 3 (1985) 2 (1984) 1 (1983) 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 Kunihiro, Noboru 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 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 Alhazov, Artiom 1 Ali, Khayri A. M. 1 Almendros-Jiménez, Jesús Manuel 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 567 more Authors all top 5 Fields 309 Computer science (68-XX) 28 Mathematical logic and foundations (03-XX) 17 General and overarching topics; collections (00-XX) 16 Quantum theory (81-XX) 7 Biology and other natural sciences (92-XX) 6 Statistics (62-XX) 6 Operations research, mathematical programming (90-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Information and communication theory, circuits (94-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Functional analysis (46-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Associative rings and algebras (16-XX) 1 Ordinary differential equations (34-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-XX) 1 Geophysics (86-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 157 Publications have been cited 967 times in 874 Documents Cited by ▼ Year ▼ A logic-based calculus of events. Zbl 1356.68221 Kowalski, Robert; Sergot, Marek 110 1986 The power of communication: P systems with symport/antiport. Zbl 1024.68037 Păun, Andrei; Păun, Gheorghe 95 2002 Inductive logic programming. Zbl 0712.68022 Muggleton, Stephen 55 1991 Polynomial-time inference of arbitrary pattern languages. Zbl 0712.68082 Lange, Steffen; Wiehagen, Rolf 45 1991 Monotonic and non-monotonic inductive inference. Zbl 0712.68081 Jantke, Klaus P. 36 1991 Teachability in computational learning. Zbl 0712.68084 Shinohara, Ayumi; Miyano, Satoru 31 1991 MOLOG: A system that extends PROLOG with modal logic. Zbl 0598.68063 Fariñas del Cerro, L. 25 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. 19 1986 Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities. Zbl 0788.68025 Poole, David 18 1993 Inductive inference of monotonic formal systems from positive data. Zbl 0712.68062 Shinohara, Takeshi 18 1991 A deductive solution for plan generation. Zbl 0624.68079 Bibel, Wolfgag 16 1986 Declarative error diagnosis. Zbl 0624.68018 Lloyd, J. W. 16 1987 Formal theories of knowledge in AI and robotics. Zbl 0596.68061 Rosenschein, Stanley J. 15 1985 DNA sequence design using templates. Zbl 1021.68038 Arita, Masanori; Kobayashi, Satoshi 15 2002 Compiling a default reasoning system into Prolog. Zbl 0713.68017 Poole, David 13 1991 Mixtus: An automatic partial evaluator for full Prolog. Zbl 0942.68516 Sahlin, Dan 12 1993 The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024 Albert, Elvira; Vidal, Germán 12 2002 A new deductive approach to planning. Zbl 0711.68026 Hölldobler, Steffen; Schneeberger, Josef 12 1990 Quantum set theory extending the standard probabilistic interpretation of quantum theory. Zbl 1396.81011 Ozawa, Masanao 12 2016 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 11 1993 The designs of S-boxes by simulated annealing. Zbl 1103.68047 Clark, John A.; Jacob, Jeremy L.; Stepney, Susan 11 2005 A general criterion for avoiding infinite unfolding during partial deduction. Zbl 0782.68024 Bruynooghe, Maurice; De Schreye, Danny; Martens, Bern 10 1992 Terminality implies no-signalling…and much more than that. Zbl 1396.81010 Coecke, Bob 10 2016 Chance discoveries for making decisions in complex real world. Zbl 1037.68931 Ohsawa, Yukio 9 2002 Function approximation with complex neuro-fuzzy system using complex fuzzy sets – a new approach. Zbl 1251.68245 Li, Chunshien; Chiang, Tai-Wei 9 2011 Solving the subset-problem by P systems with active membrans. Zbl 1092.68043 Pérez Jiménez, Mario J.; Riscos Núñez, Agustín 9 2005 Reactive computing as model generation. Zbl 1333.68108 Kowalski, Robert; Sadri, Fariba 9 2015 Compositional model-theoretic semantics for logic programs. Zbl 0782.68023 Brogi, Antonio; Lamma, Evelina; Mello, Paola 8 1992 Updating knowledge bases. Zbl 0705.68096 Guessoum, A.; Lloyd, J. W. 8 1990 The occur-check problem in Prolog. Zbl 0595.68007 Plaisted, David A. 8 1984 Cloud computing: a perspective study. Zbl 1192.68085 Wang, Lizhe; Von Laszewski, Gregor; Younge, Andrew; He, Xi; Kunze, Marcel; Tao, Jie; Fu, Cheng 7 2010 AND parallelism and nondeterminism in logic programs. Zbl 0595.68025 Conery, John S.; Kibler, Dennis F. 7 1985 Composing recursive logic programs with clausal join. Zbl 0655.68119 Lakhotia, A.; Sterling, L. 7 1988 Amoeba-based chaotic neurocomputing: combinatorial optimization by coupled biological oscillators. Zbl 1193.92001 Aono, Masashi; Hirata, Yoshito; Hara, Masahiko; Aihara, Kazuyuki 6 2009 Multi-objective optimisation of bijective S-boxes. Zbl 1103.68048 Fuller, Joanne; Millan, William; Dawson, Ed 6 2005 Mathematical theory of neural learning. Zbl 0712.68079 Amari, Shun-ichi 6 1991 Strict completion of logic programs. Zbl 0714.68084 Drabent, Wlodzimierz; Martelli, Maurizio 6 1991 A grid-oriented genetic algorithm framework for bioinformatics. Zbl 1084.68505 Imade, Hiroaki; Morishita, Ryohei; Ono, Isao; Ono, Norihiko; Okamoto, Masahiro 6 2004 The general problem solving algorithm and its implementation. Zbl 0646.68108 Rayward-Smith, V. J.; McKeown, G. P.; Burton, F. W. 5 1988 An efficient Bayesian network structure learning strategy. Zbl 1442.68205 Suzuki, Joe 5 2017 Semantics for a quantum programming language by operator algebras. Zbl 1443.68041 Cho, Kenta 5 2016 Foundation of logic programming based on inductive definition. Zbl 0592.68032 Hagiya, Masami; Sakurai, Takafumi 5 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 Exact cover with light. Zbl 1191.68127 Oltean, Mihai; Muntean, Oana 4 2008 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 4 2010 Quantum computation: from a programmer’s perspective. Zbl 1298.81051 Valiron, Benoît 4 2013 A Kochen-Specker system has at least 22 vectors. Zbl 1396.81015 Uijlen, Sander; Westerbaan, Bas 4 2016 Defect-tolerance in cellular nanocomputers. Zbl 1114.68011 Isokawa, Teijiro; Kowada, Shin’ya; Takada, Yousuke; Peper, Ferdinand; Kamiura, Naotake; Matsui, Nobuyuki 4 2007 How to invent a Prolog machine. Zbl 0614.68020 Kursawe, Peter 4 1987 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 Quantum entanglement as a new information processing resource. Zbl 1101.81313 Gruska, Jozef 4 2003 Results on catalytic and evolution-communication P systems. Zbl 1085.68051 Krishna, Shankara Narayanan; Păun, Andrei 4 2004 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 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 Abstraction-carrying code: a model for mobile code safety. Zbl 1169.68356 Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel 3 2008 Program transformation system based on generalized partial computation. Zbl 0994.68132 Futamura, Yoshihiko; Konishi, Zenjiro; Glück, Robert 3 2002 The recursive resolution method for modal logic. Zbl 0648.03005 Chan, Man-chung 3 1987 On the role of interpretive analogy in learning. Zbl 0712.68080 Indurkhya, Bipin 3 1991 Block cipher based on reversible cellular automata. Zbl 1103.68049 Seredynski, Marcin; Bouvry, Pascal 3 2005 Grammar-related transformations of logic programs. Zbl 0722.68019 Brough, D. R.; Hogger, C. J. 3 1991 P transducers. Zbl 1103.68050 Ciobanu, Gabriel; Păun, Gheorge; Ştefănescu, Gheorge 3 2006 The BC-chain method for representing combinators in linear space. Zbl 0594.68034 Noshita, Kohei; Hikita, Teruo 3 1985 Unfolding rules for GHC programs. Zbl 0654.68104 Furukawa, Koichi; Okumura, Akira; Murakami, Masaki 3 1988 Making exhaustive search programs deterministic. Zbl 0631.68074 Ueda, Kazunori 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 Proofs of a set of hybrid let-polymorphic type inference algorithms. Zbl 1085.68028 Eo, Hyunjun; Lee, Oukseh; Yi, Kwangkeun 3 2004 Minimizing evolution communication P systems and automata. Zbl 1085.68047 Alhazov, Artiom 3 2004 Languages generated by P systems with active membranes. Zbl 1085.68049 Bernardini, Francesco; Gheorghe, Marian 3 2004 Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations. Zbl 0782.65083 Nishida, Toyoaki; Mizutani, Kenji; Doshita, Shuji 2 1993 Distributed programming with logic tuple spaces. Zbl 0806.68014 Ciancarini, Paolo 2 1994 An operational formal definition of PROLOG: A specification method and its application. Zbl 0741.68028 Deransart, Pierre; Ferrand, Gérard 2 1992 Mathematical models of quantum computation. Zbl 1013.68089 Nishino, Tetsuro 2 2002 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 On generalization performance and non-convex optimization of extended \(\nu \)-support vector machine. Zbl 1183.68508 Takeda, Akiko; Sugiyama, Masashi 2 2009 Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013 Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C. 2 1993 Paraconsistent computation tree logic. Zbl 1251.68227 Kaneiwa, Ken; Kamide, Norihiro 2 2011 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 On the decidability of subtyping with bounded existential types and implementation constraints. Zbl 1251.68075 Wehr, Stefan; Thiemann, Peter 2 2011 Biomolecular realizations of a parallel architecture for solving combinatorial problems. Zbl 0991.68025 Head, Tom 2 2001 Binding-time analysis for both static and dynamic expressions. Zbl 0994.68035 Asai, Kenichi 2 2002 A unifying approach to goal-directed evaluation. Zbl 0994.68040 Danvy, Olivier; Grobauer, Bernd; Rhiger, Morten 2 2002 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 Joint analysis of multiple algorithms and performance measures. Zbl 1450.62090 de Campos, Cassio P.; Benavoli, Alessio 2 2017 Implicitly heterogeneous multi-stage programming. Zbl 1161.68379 Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar; Taha, Walid 2 2007 Description logics with contraries, contradictories, and subcontraries. Zbl 1137.68055 Kaneiwa, Ken 2 2007 Seeing things: inventive reasoning with geometric analogies and topographic maps. Zbl 1108.68613 O’Donoghue, Diarmuid P.; Bohan, Amy; Keane, Mark T. 2 2006 Maximal unifiable subsets and minimal non-unifiable subsets. Zbl 0591.68083 Chen, T. Y.; Lassez, J.-L.; Port, G. S. 2 1986 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 Specialisation of Prolog and FCP programs using abstract interpretation. Zbl 0654.68025 Gallagher, John; Codish, Michael; Shapiro, Ehud 2 1988 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 BUP: A bottom-up parser embedded in Prolog. Zbl 0592.68074 Matsumoto, Yuji; Tanaka, Hozumi; Hirakawa, Hideki; Miyoshi, Hideo; Yasukawa, Hideki 2 1983 Learning an extension of the class of functional dependencies with queries. Zbl 1333.68092 Lavín Puente, Víctor 2 2015 An efficient Bayesian network structure learning strategy. Zbl 1442.68205 Suzuki, Joe 5 2017 Joint analysis of multiple algorithms and performance measures. Zbl 1450.62090 de Campos, Cassio P.; Benavoli, Alessio 2 2017 On model selection, Bayesian networks, and the Fisher information integral. Zbl 1450.62007 Zou, Yuan; Roos, Teemu 1 2017 Quantum set theory extending the standard probabilistic interpretation of quantum theory. Zbl 1396.81011 Ozawa, Masanao 12 2016 Terminality implies no-signalling…and much more than that. Zbl 1396.81010 Coecke, Bob 10 2016 Semantics for a quantum programming language by operator algebras. Zbl 1443.68041 Cho, Kenta 5 2016 A Kochen-Specker system has at least 22 vectors. Zbl 1396.81015 Uijlen, Sander; Westerbaan, Bas 4 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 9 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 Quantum computing vs. coherent computing. Zbl 1356.81114 Yamamoto, Yoshihisa; Takata, Kenta; Utsunomiya, Shoko 1 2012 Quantum computation: a tutorial. Zbl 1298.81050 Valiron, Benoît 1 2012 Preface: Special issue on advanced methodologies for Bayesian networks. Zbl 1333.00056 1 2012 Function approximation with complex neuro-fuzzy system using complex fuzzy sets – a new approach. Zbl 1251.68245 Li, Chunshien; Chiang, Tai-Wei 9 2011 Paraconsistent computation tree logic. Zbl 1251.68227 Kaneiwa, Ken; Kamide, Norihiro 2 2011 On the decidability of subtyping with bounded existential types and implementation constraints. Zbl 1251.68075 Wehr, Stefan; Thiemann, Peter 2 2011 Boosting-based sequential output prediction. Zbl 1251.68180 Kajdanowicz, Tomasz; Kazienko, Przemysław 1 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 Cloud computing: a perspective study. Zbl 1192.68085 Wang, Lizhe; Von Laszewski, Gregor; Younge, Andrew; He, Xi; Kunze, Marcel; Tao, Jie; Fu, Cheng 7 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 4 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 An approach to data reduction and integrated machine classification. Zbl 1191.68493 Czarnowski, Ireneusz; Jȩdrzejowicz, Piotr 1 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 Amoeba-based chaotic neurocomputing: combinatorial optimization by coupled biological oscillators. Zbl 1193.92001 Aono, Masashi; Hirata, Yoshito; Hara, Masahiko; Aihara, Kazuyuki 6 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 On generalization performance and non-convex optimization of extended \(\nu \)-support vector machine. Zbl 1183.68508 Takeda, Akiko; Sugiyama, Masashi 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 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 Double layer ACO algorithm for the multi-objective FJSSP. Zbl 1175.90201 Xing, Li-Ning; Chen, Ying-Wu; Yang, Ke-Wei 1 2008 Interactive visualization of news distribution in blog space. Zbl 1169.68394 Takama, Yasufumi; Matsumura, Akio; Kajinami, Tomoki 1 2008 Defect-tolerance in cellular nanocomputers. Zbl 1114.68011 Isokawa, Teijiro; Kowada, Shin’ya; Takada, Yousuke; Peper, Ferdinand; Kamiura, Naotake; Matsui, Nobuyuki 4 2007 Implicitly heterogeneous multi-stage programming. Zbl 1161.68379 Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar; Taha, Walid 2 2007 Description logics with contraries, contradictories, and subcontraries. Zbl 1137.68055 Kaneiwa, Ken 2 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 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 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 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 The designs of S-boxes by simulated annealing. Zbl 1103.68047 Clark, John A.; Jacob, Jeremy L.; Stepney, Susan 11 2005 Solving the subset-problem by P systems with active membrans. Zbl 1092.68043 Pérez Jiménez, Mario J.; Riscos Núñez, Agustín 9 2005 Multi-objective optimisation of bijective S-boxes. Zbl 1103.68048 Fuller, Joanne; Millan, William; Dawson, Ed 6 2005 Block cipher based on reversible cellular automata. Zbl 1103.68049 Seredynski, Marcin; Bouvry, Pascal 3 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 6 2004 Results on catalytic and evolution-communication P systems. Zbl 1085.68051 Krishna, Shankara Narayanan; Păun, Andrei 4 2004 Proofs of a set of hybrid let-polymorphic type inference algorithms. Zbl 1085.68028 Eo, Hyunjun; Lee, Oukseh; Yi, Kwangkeun 3 2004 Minimizing evolution communication P systems and automata. Zbl 1085.68047 Alhazov, Artiom 3 2004 Languages generated by P systems with active membranes. Zbl 1085.68049 Bernardini, Francesco; Gheorghe, Marian 3 2004 Hierarchies of parallel rewriting P systems – a survey. Zbl 1085.68073 Besozzi, Daniela; Mauri, Giancarlo; Zandron, Claudio 2 2004 Selecting potentially relevant records using re-identification methods. Zbl 1088.68564 Domingo-Ferrer, Josep; Torra, Vicenç 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 Semantic web: a road to the knowledge infrastructure on the internet. Zbl 1085.68573 Takeda, Hideaki 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 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 Quantum entanglement as a new information processing resource. Zbl 1101.81313 Gruska, Jozef 4 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 SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy. Zbl 1089.68546 Loveland, Donald W.; Yahya, Adnan H. 1 2003 Belief revision via Lamarckian evolution. Zbl 1089.68598 Lamma, Evelina; Riguzzi, Fabrizio; Pereira, Luís Moniz 1 2003 Tutorial on ontological engineering. I: Introduction to ontological engineering. Zbl 1088.68785 Mizoguchi, Riichiro 1 2003 Transformation rules for CNOT-based quantum circuits and their applications. Zbl 1101.81316 Iwama, Kazuo; Yamashita, Shigeru 1 2003 The power of communication: P systems with symport/antiport. Zbl 1024.68037 Păun, Andrei; Păun, Gheorghe 95 2002 DNA sequence design using templates. Zbl 1021.68038 Arita, Masanori; Kobayashi, Satoshi 15 2002 The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024 Albert, Elvira; Vidal, Germán 12 2002 Chance discoveries for making decisions in complex real world. Zbl 1037.68931 Ohsawa, Yukio 9 2002 Program transformation system based on generalized partial computation. Zbl 0994.68132 Futamura, Yoshihiko; Konishi, Zenjiro; Glück, Robert 3 2002 Mathematical models of quantum computation. Zbl 1013.68089 Nishino, Tetsuro 2 2002 Binding-time analysis for both static and dynamic expressions. Zbl 0994.68035 Asai, Kenichi 2 2002 A unifying approach to goal-directed evaluation. Zbl 0994.68040 Danvy, Olivier; Grobauer, Bernd; Rhiger, Morten 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 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 18 1993 Mixtus: An automatic partial evaluator for full Prolog. Zbl 0942.68516 Sahlin, Dan 12 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 11 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 Difference-list transformation for Prolog. Zbl 0774.68027 Marriott, Kim; Søndergaard, Harald 1 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 8 1992 ...and 57 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,400 Authors 28 Jain, Sanjay 25 Stephan, Frank 21 Pérez-Jiménez, Mario J. 17 Pan, Linqiang 16 Case, John 16 Song, Bosheng 15 Zeugmann, Thomas 12 Lange, Steffen 11 Ibarra, Oscar H. 10 Vidal, Germán 9 Alhazov, Artiom 9 Artikis, Alexander 9 Orellana-Martín, David 9 Russo, Alessandra M. 9 Valencia-Cabrera, Luis 9 Zilles, Sandra 8 Hermenegildo, Manuel V. 8 Inoue, Katsumi 8 Lamma, Evelina 8 Paliouras, Georgios 8 Păun, Gheorghe 8 Riguzzi, Fabrizio 8 Sosík, Petr 8 Thielscher, Michael 7 Kinber, Efim B. 7 Law, Mark M. 7 Reidenbach, Daniel 7 Riscos-Núñez, Agustín 7 Sadri, Fariba 7 Sharma, Arun 7 Verlan, Sergey 6 Albert, Elvira 6 Broda, Krysia B. 6 Brogi, Antonio 6 Cabalar, Pedro 6 Gupta, Gopal 6 Kari, Lila 6 Kötzing, Timo 6 Mello, Paola 6 Muggleton, Stephen H. 6 Ozawa, Masanao 5 Caballero, Rafael E. 5 Csuhaj-Varjú, Erzsébet 5 De Raedt, Luc 5 Díaz-Pernil, Daniel 5 Gao, Ziyuan 5 Gogioso, Stefano 5 Halpern, Joseph Yehuda 5 Khrennikov, Andreĭ Yur’evich 5 Morales, Jose Francisco 5 Păun, Andrei 5 Puebla, Germán 5 Schaub, Torsten H. 5 Zandron, Claudio 5 Zeng, Xiangxiang 4 Bruynooghe, Maurice 4 Ciobanu, Gabriel 4 Cropper, Andrew 4 De Schreye, Danny 4 Eiter, Thomas 4 Enjalbert, Patrice 4 Freund, Rudolf 4 Gutiérrez-Naranjo, Miguel A. 4 Konstantinidis, Stavros 4 Kowalski, Robert A. 4 Leporati, Alberto 4 Levesque, Hector J. 4 Mancarella, Paolo 4 Martí-Oliet, Narciso 4 Martin, Éric A. 4 Nishida, Naoki 4 Pettorossi, Alberto 4 Proietti, Maurizio 4 Riesco, Adrián 4 Rodríguez-Patón, Alfonso 4 Schmid, Markus L. 4 Scutari, Marco 4 Simon, Hans-Ulrich 4 Verdejo, Alberto 4 Zhang, Gexiang 3 Alferes, José Júlio 3 Alves Rocha, Thiago 3 Balbach, Frank J. 3 Baral, Chitta R. 3 Basieva, Irina 3 Baumgartner, Peter 3 Bellodi, Elena 3 Blakey, Ed 3 Cavaliere, Matteo 3 Ceterchi, Rodica 3 Chen, Sheng 3 Santos Costa, Vítor 3 Dick, Scott 3 Diéguez, Martín 3 Doskoč, Vanja 3 Dovier, Agostino 3 Drabent, Włodzimierz 3 Frisco, Pierluigi 3 Fronhöfer, Bertram 3 Gabbrielli, Maurizio ...and 1,300 more Authors all top 5 Cited in 125 Journals 141 Theoretical Computer Science 65 New Generation Computing 51 Artificial Intelligence 32 Theory and Practice of Logic Programming 31 Information and Computation 28 Machine Learning 18 International Journal of Foundations of Computer Science 16 Annals of Mathematics and Artificial Intelligence 14 Information Processing Letters 14 Natural Computing 14 Journal of Membrane Computing 13 Information Sciences 13 International Journal of Approximate Reasoning 12 Journal of Automated Reasoning 11 Journal of Computer and System Sciences 11 Journal of Symbolic Computation 9 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 8 Journal of Applied Non-Classical Logics 8 Journal of Applied Logic 7 Discrete Applied Mathematics 6 International Journal of Applied Mathematics and Computer Science 5 Acta Informatica 5 International Journal of Parallel Programming 5 International Journal of Computer Mathematics 5 Journal of Functional Programming 5 The Journal of Logic and Algebraic Programming 4 Applied Mathematics and Computation 4 Journal of Philosophical Logic 4 Studia Logica 4 Annals of Pure and Applied Logic 4 Mathematical Structures in Computer Science 3 International Journal of Theoretical Physics 3 Applied Mathematics Letters 3 Annals of Operations Research 3 European Journal of Operational Research 3 Applicable Algebra in Engineering, Communication and Computing 3 Journal of Logic, Language and Information 3 Higher-Order and Symbolic Computation 3 Journal of Physics A: Mathematical and Theoretical 3 The Review of Symbolic Logic 2 Journal of Mathematical Psychology 2 Kybernetika 2 Synthese 2 Science of Computer Programming 2 Formal Aspects of Computing 2 Applied Intelligence 2 Soft Computing 2 Discrete Dynamics in Nature and Society 2 Communications in Nonlinear Science and Numerical Simulation 2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2 Quantum Information Processing 2 New Mathematics and Natural Computation 2 Cryptography and Communications 2 Journal of Logical and Algebraic Methods in Programming 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 Optimization Theory and Applications 1 Mathematical Systems Theory 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Software. Practice & Experience 1 Statistica Neerlandica 1 Journal of Complexity 1 Journal of Computer Science and Technology 1 Computers & Operations Research 1 International Journal of Intelligent Systems 1 Mathematical and Computer Modelling 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 Revista Investigación Operacional 1 International Transactions in Operational Research 1 Doklady Mathematics 1 Theory of Computing Systems 1 Journal of Automata, Languages and Combinatorics 1 Chaos 1 RAIRO. Theoretical Informatics and Applications 1 Foundations of Science 1 Communications in Contemporary Mathematics 1 Fundamenta Informaticae 1 Nonlinear Analysis. Real World Applications 1 Quantitative Finance 1 International Studies in the Philosophy of Science 1 Journal of Applied Mathematics ...and 25 more Journals all top 5 Cited in 36 Fields 775 Computer science (68-XX) 140 Mathematical logic and foundations (03-XX) 39 Quantum theory (81-XX) 32 Biology and other natural sciences (92-XX) 30 Information and communication theory, circuits (94-XX) 25 Operations research, mathematical programming (90-XX) 21 Statistics (62-XX) 16 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 Functional analysis (46-XX) 9 Combinatorics (05-XX) 9 Ordinary differential equations (34-XX) 8 Numerical analysis (65-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 6 Dynamical systems and ergodic theory (37-XX) 6 Systems theory; control (93-XX) 5 Category theory; homological algebra (18-XX) 3 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 3 Linear and multilinear algebra; matrix theory (15-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 Algebraic topology (55-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 Integral transforms, operational calculus (44-XX) 1 Integral equations (45-XX) 1 Manifolds and cell complexes (57-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of particles and systems (70-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year