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 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 571 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 155 Publications have been cited 978 times in 876 Documents Cited by ▼ Year ▼ A logic-based calculus of events. Zbl 1356.68221Kowalski, Robert; Sergot, Marek 105 1986 The power of communication: P systems with symport/antiport. Zbl 1024.68037Păun, Andrei; Păun, Gheorghe 85 2002 Teachability in computational learning. Zbl 0712.68084Shinohara, Ayumi; Miyano, Satoru 76 1991 Inductive logic programming. Zbl 0712.68022Muggleton, Stephen 47 1991 Polynomial-time inference of arbitrary pattern languages. Zbl 0712.68082Lange, Steffen; Wiehagen, Rolf 44 1991 Monotonic and non-monotonic inductive inference. Zbl 0712.68081Jantke, Klaus P. 33 1991 MOLOG: A system that extends PROLOG with modal logic. Zbl 0598.68063Fariñas del Cerro, L. 24 1986 Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities. Zbl 0788.68025Poole, David 18 1993 The Alexander Method - a technique for the processing of recursive axioms in deductive databases. Zbl 0615.68062Rohmer, J.; Lescoeur, R.; Kerisit, J. M. 18 1986 Inductive inference of monotonic formal systems from positive data. Zbl 0712.68062Shinohara, Takeshi 17 1991 A deductive solution for plan generation. Zbl 0624.68079Bibel, Wolfgag 16 1986 DNA sequence design using templates. Zbl 1021.68038Arita, Masanori; Kobayashi, Satoshi 15 2002 Formal theories of knowledge in AI and robotics. Zbl 0596.68061Rosenschein, Stanley J. 15 1985 Declarative error diagnosis. Zbl 0624.68018Lloyd, J. W. 14 1987 Compiling a default reasoning system into Prolog. Zbl 0713.68017Poole, David 13 1991 A new deductive approach to planning. Zbl 0711.68026Hölldobler, Steffen; Schneeberger, Josef 12 1990 Mixtus: An automatic partial evaluator for full Prolog. Zbl 0942.68516Sahlin, Dan 11 1993 The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024Albert, Elvira; Vidal, Germán 10 2002 A machine discovery from amino acid sequences by decision trees over regular patterns. Zbl 0780.68099Arikawa, Setsuo; Miyano, Satoru; Shinohara, Ayumi; Kuhara, Satoru; Mukouchi, Yasuhito; Shinohara, Takeshi 10 1993 A general criterion for avoiding infinite unfolding during partial deduction. Zbl 0782.68024Bruynooghe, Maurice; De Schreye, Danny; Martens, Bern 10 1992 The designs of S-boxes by simulated annealing. Zbl 1103.68047Clark, John A.; Jacob, Jeremy L.; Stepney, Susan 10 2005 Chance discoveries for making decisions in complex real world. Zbl 1037.68931Ohsawa, Yukio 9 2002 The occur-check problem in Prolog. Zbl 0595.68007Plaisted, David A. 8 1984 Solving the subset-problem by P systems with active membrans. Zbl 1092.68043Pérez Jiménez, Mario J.; Riscos Núñez, Agustín 8 2005 Function approximation with complex neuro-fuzzy system using complex fuzzy sets – a new approach. Zbl 1251.68245Li, Chunshien; Chiang, Tai-Wei 8 2011 Quantum set theory extending the standard probabilistic interpretation of quantum theory. Zbl 1396.81011Ozawa, Masanao 7 2016 Compositional model-theoretic semantics for logic programs. Zbl 0782.68023Brogi, Antonio; Lamma, Evelina; Mello, Paola 7 1992 Reactive computing as model generation. Zbl 1333.68108Kowalski, Robert; Sadri, Fariba 7 2015 AND parallelism and nondeterminism in logic programs. Zbl 0595.68025Conery, John S.; Kibler, Dennis F. 7 1985 Composing recursive logic programs with clausal join. Zbl 0655.68119Lakhotia, A.; Sterling, L. 7 1988 Updating knowledge bases. Zbl 0705.68096Guessoum, A.; Lloyd, J. W. 7 1990 A grid-oriented genetic algorithm framework for bioinformatics. Zbl 1084.68505Imade, Hiroaki; Morishita, Ryohei; Ono, Isao; Ono, Norihiko; Okamoto, Masahiro 6 2004 Mathematical theory of neural learning. Zbl 0712.68079Amari, Shun-ichi 6 1991 Amoeba-based chaotic neurocomputing: combinatorial optimization by coupled biological oscillators. Zbl 1193.92001Aono, Masashi; Hirata, Yoshito; Hara, Masahiko; Aihara, Kazuyuki 5 2009 Multi-objective optimisation of bijective S-boxes. Zbl 1103.68048Fuller, Joanne; Millan, William; Dawson, Ed 5 2005 The general problem solving algorithm and its implementation. Zbl 0646.68108Rayward-Smith, V. J.; McKeown, G. P.; Burton, F. W. 5 1988 A self-applicable partial evaluator and its use in incremental compilation. Zbl 0654.68024Fujita, Hiroshi; Furukawa, Koichi 5 1988 Linearity and plan generation. Zbl 0654.68100Fronhöfer, Bertram 5 1987 Cloud computing: a perspective study. Zbl 1192.68085Wang, Lizhe; Von Laszewski, Gregor; Younge, Andrew; He, Xi; Kunze, Marcel; Tao, Jie; Fu, Cheng 5 2010 A Kochen-Specker system has at least 22 vectors. Zbl 1396.81015Uijlen, Sander; Westerbaan, Bas 4 2016 Semantics for a quantum programming language by operator algebras. Zbl 1443.68041Cho, Kenta 4 2016 Terminality implies no-signalling…and much more than that. Zbl 1396.81010Coecke, Bob 4 2016 Quantum computation: from a programmer’s perspective. Zbl 1298.81051Valiron, Benoît 4 2013 Results on catalytic and evolution-communication P systems. Zbl 1085.68051Krishna, Shankara Narayanan; Păun, Andrei 4 2004 Foundation of logic programming based on inductive definition. Zbl 0592.68032Hagiya, Masami; Sakurai, Takafumi 4 1984 Defect-tolerance in cellular nanocomputers. Zbl 1114.68011Isokawa, Teijiro; Kowada, Shin’ya; Takada, Yousuke; Peper, Ferdinand; Kamiura, Naotake; Matsui, Nobuyuki 4 2007 Strict completion of logic programs. Zbl 0714.68084Drabent, Wlodzimierz; Martelli, Maurizio 4 1991 How to invent a Prolog machine. Zbl 0614.68020Kursawe, Peter 4 1987 Quantum entanglement as a new information processing resource. Zbl 1101.81313Gruska, Jozef 4 2003 Mixed computation of Prolog programs. Zbl 0654.68021Fuller, David A.; Abramsky, Samson 4 1988 Partial evaluation of metaprograms in a “multiple worlds” logic language. Zbl 0654.68022Levi, Giorgio; Sardu, Giuseppe 4 1988 Exact cover with light. Zbl 1191.68127Oltean, Mihai; Muntean, Oana 4 2008 An efficient Bayesian network structure learning strategy. Zbl 1442.68205Suzuki, Joe 3 2017 Constructive negation and constraint logic programming with sets. Zbl 0980.68017Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco 3 2001 Languages generated by P systems with active membranes. Zbl 1085.68049Bernardini, Francesco; Gheorghe, Marian 3 2004 The BC-chain method for representing combinators in linear space. Zbl 0594.68034Noshita, Kohei; Hikita, Teruo 3 1985 Factorizing RSA keys, an improved analogue solution. Zbl 1180.68148Blakey, Ed 3 2009 Analysis of the univariate microaggregation disclosure risk. Zbl 1183.68251Nin, Jordi; Torra, Vicenç 3 2009 P transducers. Zbl 1103.68050Ciobanu, Gabriel; Păun, Gheorge; Ştefănescu, Gheorge 3 2006 Implicitly heterogeneous multi-stage programming. Zbl 1161.68379Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar; Taha, Walid 3 2007 Making exhaustive search programs deterministic. Zbl 0631.68074Ueda, Kazunori 3 1987 An execution model for exploiting AND-parallelism in logic programs. Zbl 0637.68029Lin, Yow-Jian; Kumar, Vipin 3 1988 Annotated bibliography on partial evaluation and mixed computation. Zbl 0646.68016Sestoft, Peter; Zamulin, Alexander V. 3 1988 Unfolding rules for GHC programs. Zbl 0654.68104Furukawa, Koichi; Okumura, Akira; Murakami, Masaki 3 1988 Temporal disjunctive logic programming. Zbl 0973.68028Gergatsoulis, Manolis; Rondogiannis, Panos; Panayiotopoulos, Themis 3 2001 Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses. Zbl 1192.68130Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel 3 2010 Abstraction-carrying code: a model for mobile code safety. Zbl 1169.68356Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel 3 2008 Joint analysis of multiple algorithms and performance measures. Zbl 1450.62090de Campos, Cassio P.; Benavoli, Alessio 2 2017 Biomolecular realizations of a parallel architecture for solving combinatorial problems. Zbl 0991.68025Head, Tom 2 2001 Binding-time analysis for both static and dynamic expressions. Zbl 0994.68035Asai, Kenichi 2 2002 Program transformation system based on generalized partial computation. Zbl 0994.68132Futamura, Yoshihiko; Konishi, Zenjiro; Glück, Robert 2 2002 The emerging discipline of biomolecular computation in the US. Zbl 1024.68034Reif, John H. 2 2002 On some operations on strings suggested by gene assembly in ciliates. Zbl 1021.68039Freund, Rudolf; Martín-Vide, Carlos; Mitrana, Victor 2 2002 Distributed programming with logic tuple spaces. Zbl 0806.68014Ciancarini, Paolo 2 1994 Mathematical models of quantum computation. Zbl 1013.68089Nishino, Tetsuro 2 2002 Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C. 2 1993 Proofs of a set of hybrid let-polymorphic type inference algorithms. Zbl 1085.68028Eo, Hyunjun; Lee, Oukseh; Yi, Kwangkeun 2 2004 Minimizing evolution communication P systems and automata. Zbl 1085.68047Alhazov, Artiom 2 2004 An operational formal definition of PROLOG: A specification method and its application. Zbl 0741.68028Deransart, Pierre; Ferrand, Gérard 2 1992 Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations. Zbl 0782.65083Nishida, Toyoaki; Mizutani, Kenji; Doshita, Shuji 2 1993 Learning an extension of the class of functional dependencies with queries. Zbl 1333.68092Lavín Puente, Víctor 2 2015 Maximal unifiable subsets and minimal non-unifiable subsets. Zbl 0591.68083Chen, T. Y.; Lassez, J.-L.; Port, G. S. 2 1986 BUP: A bottom-up parser embedded in Prolog. Zbl 0592.68074Matsumoto, Yuji; Tanaka, Hozumi; Hirakawa, Hideki; Miyoshi, Hideo; Yasukawa, Hideki 2 1983 Bounded-wait merge in Shapiro’s concurrent Prolog. Zbl 0596.68012Kusalik, Anthony J. 2 1984 A view of programming languages as symbiosis of meaning and computations. Zbl 0598.68009Voda, Paul J. 2 1985 On generalization performance and non-convex optimization of extended \(\nu \)-support vector machine. Zbl 1183.68508Takeda, Akiko; Sugiyama, Masashi 2 2009 Block cipher based on reversible cellular automata. Zbl 1103.68049Seredynski, Marcin; Bouvry, Pascal 2 2005 The recursive resolution method for modal logic. Zbl 0648.03005Chan, Man-chung 2 1987 Specialisation of Prolog and FCP programs using abstract interpretation. Zbl 0654.68025Gallagher, John; Codish, Michael; Shapiro, Ehud 2 1988 Grammar-related transformations of logic programs. Zbl 0722.68019Brough, D. R.; Hogger, C. J. 2 1991 GeoMergeP: geographic information integration through enriched ontology matching. Zbl 1191.68815Buccella, Agustina; Cechich, Alejandra; Gendarmi, Domenico; Lanubile, Filippo; Semeraro, Giovanni; Colagrossi, Attilio 2 2010 Synthesis of rewrite programs by higher-order and semantic unification. Zbl 0712.68057Hagiya, Masami 2 1991 Learning commutative deterministic finite state automata in polynomial time. Zbl 0712.68078Abe, Naoki 2 1991 On the role of interpretive analogy in learning. Zbl 0712.68080Indurkhya, Bipin 2 1991 Seeing things: inventive reasoning with geometric analogies and topographic maps. Zbl 1108.68613O’Donoghue, Diarmuid P.; Bohan, Amy; Keane, Mark T. 2 2006 Computational ability of cells based on cell dynamics and adaptability. Zbl 1192.68653Nakagaki, Toshiyuki; Tero, Atsushi; Kobayashi, Ryo; Onishi, Isamu; Miyaji, Tomoyuki 2 2009 Paraconsistent computation tree logic. Zbl 1251.68227Kaneiwa, Ken; Kamide, Norihiro 2 2011 On model selection, Bayesian networks, and the Fisher information integral. Zbl 1450.62007Zou, Yuan; Roos, Teemu 1 2017 Tensors, !-graphs, and non-commutative quantum structures. Zbl 1405.16043Kissinger, Aleks; Quick, David 1 2016 Quantum computation: a tutorial. Zbl 1298.81050Valiron, Benoît 1 2012 An efficient Bayesian network structure learning strategy. Zbl 1442.68205Suzuki, Joe 3 2017 Joint analysis of multiple algorithms and performance measures. Zbl 1450.62090de Campos, Cassio P.; Benavoli, Alessio 2 2017 On model selection, Bayesian networks, and the Fisher information integral. Zbl 1450.62007Zou, Yuan; Roos, Teemu 1 2017 Quantum set theory extending the standard probabilistic interpretation of quantum theory. Zbl 1396.81011Ozawa, Masanao 7 2016 A Kochen-Specker system has at least 22 vectors. Zbl 1396.81015Uijlen, Sander; Westerbaan, Bas 4 2016 Semantics for a quantum programming language by operator algebras. Zbl 1443.68041Cho, Kenta 4 2016 Terminality implies no-signalling…and much more than that. Zbl 1396.81010Coecke, Bob 4 2016 Tensors, !-graphs, and non-commutative quantum structures. Zbl 1405.16043Kissinger, Aleks; Quick, David 1 2016 Reactive computing as model generation. Zbl 1333.68108Kowalski, Robert; Sadri, Fariba 7 2015 Learning an extension of the class of functional dependencies with queries. Zbl 1333.68092Lavín Puente, Víctor 2 2015 Quantum computation: from a programmer’s perspective. Zbl 1298.81051Valiron, Benoît 4 2013 Quantum computation: a tutorial. Zbl 1298.81050Valiron, Benoît 1 2012 Quantum computing vs. coherent computing. Zbl 1356.81114Yamamoto, Yoshihisa; Takata, Kenta; Utsunomiya, Shoko 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.68245Li, Chunshien; Chiang, Tai-Wei 8 2011 Paraconsistent computation tree logic. Zbl 1251.68227Kaneiwa, Ken; Kamide, Norihiro 2 2011 Weak updates and separation logic. Zbl 1251.68050Tan, Gang; Shao, Zhong; Feng, Xinyu; Cai, Hongxu 1 2011 Classical natural deduction for S4 modal logic. Zbl 1251.68071Kimura, Daisuke; Kakutani, Yoshihiko 1 2011 On the decidability of subtyping with bounded existential types and implementation constraints. Zbl 1251.68075Wehr, Stefan; Thiemann, Peter 1 2011 Boosting-based sequential output prediction. Zbl 1251.68180Kajdanowicz, Tomasz; Kazienko, Przemysław 1 2011 Cloud computing: a perspective study. Zbl 1192.68085Wang, 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.68130Lopez-Garcia, Pedro; Bueno, Francisco; Hermenegildo, Manuel 3 2010 GeoMergeP: geographic information integration through enriched ontology matching. Zbl 1191.68815Buccella, 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.68099Maruyama, Naoya; Matsuoka, Satoshi 1 2010 Gfarm Grid file system. Zbl 1205.68058Tatebe, Osamu; Hiraga, Kohei; Soda, Noriyuki 1 2010 Image annotation and retrieval for weakly labeled images using conceptual learning. Zbl 1205.68481Harada, Tatsuya; Nakayama, Hideki; Kuniyoshi, Yasuo; Otsu, Nobuyuki 1 2010 An approach to data reduction and integrated machine classification. Zbl 1191.68493Czarnowski, Ireneusz; Jȩdrzejowicz, Piotr 1 2010 Amoeba-based chaotic neurocomputing: combinatorial optimization by coupled biological oscillators. Zbl 1193.92001Aono, Masashi; Hirata, Yoshito; Hara, Masahiko; Aihara, Kazuyuki 5 2009 Factorizing RSA keys, an improved analogue solution. Zbl 1180.68148Blakey, Ed 3 2009 Analysis of the univariate microaggregation disclosure risk. Zbl 1183.68251Nin, Jordi; Torra, Vicenç 3 2009 On generalization performance and non-convex optimization of extended \(\nu \)-support vector machine. Zbl 1183.68508Takeda, Akiko; Sugiyama, Masashi 2 2009 Computational ability of cells based on cell dynamics and adaptability. Zbl 1192.68653Nakagaki, Toshiyuki; Tero, Atsushi; Kobayashi, Ryo; Onishi, Isamu; Miyaji, Tomoyuki 2 2009 RNA oscillator: limit cycle oscillations based on artificial biomolecular reactions. Zbl 1193.92049Takinoue, 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.93010Kró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.68535Karasuyama, Masayuki; Takeuchi, Ichiro; Nakano, Ryohei 1 2009 Exact cover with light. Zbl 1191.68127Oltean, Mihai; Muntean, Oana 4 2008 Abstraction-carrying code: a model for mobile code safety. Zbl 1169.68356Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel 3 2008 Interactive visualization of news distribution in blog space. Zbl 1169.68394Takama, Yasufumi; Matsumura, Akio; Kajinami, Tomoki 1 2008 Double layer ACO algorithm for the multi-objective FJSSP. Zbl 1175.90201Xing, Li-Ning; Chen, Ying-Wu; Yang, Ke-Wei 1 2008 Defect-tolerance in cellular nanocomputers. Zbl 1114.68011Isokawa, Teijiro; Kowada, Shin’ya; Takada, Yousuke; Peper, Ferdinand; Kamiura, Naotake; Matsui, Nobuyuki 4 2007 Implicitly heterogeneous multi-stage programming. Zbl 1161.68379Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar; Taha, Walid 3 2007 On the use of virtual animals with artificial fear an virtual environments. Zbl 1112.68491Delgado-Mata, Carlos; Ibanez Martinez, Jesus; Bee, Simon; Ruiz-Rodarte, Rocio; Aylett, Ruth 1 2007 Measuring evolving data streams’ behavior through their intrinsic dimension. Zbl 1119.68361de Sousa, Elaine P. M.; Traina, Agma J. M.; Traina, Caetano jun.; Faloutsos, Christos 1 2007 Exploiting temporal relations in mining hepatitis data. Zbl 1154.68371Ho, Tu-Bao; Nguyen, Canh-Hao; Kawasaki, Saori; Le, Si-Quang; Takabayashi, Katsuhiko 1 2007 Description logics with contraries, contradictories, and subcontraries. Zbl 1137.68055Kaneiwa, Ken 1 2007 P transducers. Zbl 1103.68050Ciobanu, Gabriel; Păun, Gheorge; Ştefănescu, Gheorge 3 2006 Seeing things: inventive reasoning with geometric analogies and topographic maps. Zbl 1108.68613O’Donoghue, Diarmuid P.; Bohan, Amy; Keane, Mark T. 2 2006 Re-representation and creative analogy: a lexico-semantic perspective. Zbl 1108.68605Veale, Tony 1 2006 The transformational creativity hypothesis. Zbl 1108.68548Ritchie, Graeme 1 2006 Story planning as exploratory creativity: techniques for expanding the narrative search space. Zbl 1108.68547Riedl, Mark O.; Young, R. Michael 1 2006 The designs of S-boxes by simulated annealing. Zbl 1103.68047Clark, John A.; Jacob, Jeremy L.; Stepney, Susan 10 2005 Solving the subset-problem by P systems with active membrans. Zbl 1092.68043Pérez Jiménez, Mario J.; Riscos Núñez, Agustín 8 2005 Multi-objective optimisation of bijective S-boxes. Zbl 1103.68048Fuller, Joanne; Millan, William; Dawson, Ed 5 2005 Block cipher based on reversible cellular automata. Zbl 1103.68049Seredynski, Marcin; Bouvry, Pascal 2 2005 New results on the genetic cryptanalysis of TEA and reduced-round versions of XTEA. Zbl 1093.68590Hernández Castro, Julio César; Isasi Viñuela, Pedro 1 2005 A grid-oriented genetic algorithm framework for bioinformatics. Zbl 1084.68505Imade, Hiroaki; Morishita, Ryohei; Ono, Isao; Ono, Norihiko; Okamoto, Masahiro 6 2004 Results on catalytic and evolution-communication P systems. Zbl 1085.68051Krishna, Shankara Narayanan; Păun, Andrei 4 2004 Languages generated by P systems with active membranes. Zbl 1085.68049Bernardini, Francesco; Gheorghe, Marian 3 2004 Proofs of a set of hybrid let-polymorphic type inference algorithms. Zbl 1085.68028Eo, Hyunjun; Lee, Oukseh; Yi, Kwangkeun 2 2004 Minimizing evolution communication P systems and automata. Zbl 1085.68047Alhazov, Artiom 2 2004 Hierarchies of parallel rewriting P systems – a survey. Zbl 1085.68073Besozzi, Daniela; Mauri, Giancarlo; Zandron, Claudio 1 2004 A Prolog simulator for deterministic P systems with active membranes. Zbl 1085.68016Cordó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.68573Takeda, Hideaki 1 2004 Selecting potentially relevant records using re-identification methods. Zbl 1088.68564Domingo-Ferrer, Josep; Torra, Vicenç 1 2004 The encyclopedia of life project: Grid software and deployment. Zbl 1083.68512Li, 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.68932Fernandez, 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.68377Tantoso, Erwin; Wahab, Habibah A.; Chan, Huah Yong 1 2004 Tutorial on ontological engineering. III: Advanced course of ontological engineering. Zbl 1099.68746Mizoguchi, Riichiro 1 2004 Quantum entanglement as a new information processing resource. Zbl 1101.81313Gruska, Jozef 4 2003 Web information visualization method employing immune network model for finding topic stream from document-set sequence. Zbl 1034.68004Takama, Yasufumi; Hirota, Kaoru 1 2003 SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy. Zbl 1089.68546Loveland, Donald W.; Yahya, Adnan H. 1 2003 Belief revision via Lamarckian evolution. Zbl 1089.68598Lamma, Evelina; Riguzzi, Fabrizio; Pereira, Luís Moniz 1 2003 Transformation rules for CNOT-based quantum circuits and their applications. Zbl 1101.81316Iwama, Kazuo; Yamashita, Shigeru 1 2003 Tutorial on ontological engineering. I: Introduction to ontological engineering. Zbl 1088.68785Mizoguchi, Riichiro 1 2003 The power of communication: P systems with symport/antiport. Zbl 1024.68037Păun, Andrei; Păun, Gheorghe 85 2002 DNA sequence design using templates. Zbl 1021.68038Arita, Masanori; Kobayashi, Satoshi 15 2002 The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024Albert, Elvira; Vidal, Germán 10 2002 Chance discoveries for making decisions in complex real world. Zbl 1037.68931Ohsawa, Yukio 9 2002 Binding-time analysis for both static and dynamic expressions. Zbl 0994.68035Asai, Kenichi 2 2002 Program transformation system based on generalized partial computation. Zbl 0994.68132Futamura, Yoshihiko; Konishi, Zenjiro; Glück, Robert 2 2002 The emerging discipline of biomolecular computation in the US. Zbl 1024.68034Reif, John H. 2 2002 On some operations on strings suggested by gene assembly in ciliates. Zbl 1021.68039Freund, Rudolf; Martín-Vide, Carlos; Mitrana, Victor 2 2002 Mathematical models of quantum computation. Zbl 1013.68089Nishino, Tetsuro 2 2002 Constructive negation and constraint logic programming with sets. Zbl 0980.68017Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco 3 2001 Temporal disjunctive logic programming. Zbl 0973.68028Gergatsoulis, Manolis; Rondogiannis, Panos; Panayiotopoulos, Themis 3 2001 Biomolecular realizations of a parallel architecture for solving combinatorial problems. Zbl 0991.68025Head, Tom 2 2001 Logic-based genetic programming with definite clause translation grammars. Zbl 0991.68033Ross, Brian J. 1 2001 Preference queries in deductive databases. Zbl 0973.68053Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya 1 2001 Distributed programming with logic tuple spaces. Zbl 0806.68014Ciancarini, Paolo 2 1994 The query complexity of learning DFA. Zbl 0812.68107Balcá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.68025Poole, David 18 1993 Mixtus: An automatic partial evaluator for full Prolog. Zbl 0942.68516Sahlin, Dan 11 1993 A machine discovery from amino acid sequences by decision trees over regular patterns. Zbl 0780.68099Arikawa, Setsuo; Miyano, Satoru; Shinohara, Ayumi; Kuhara, Satoru; Mukouchi, Yasuhito; Shinohara, Takeshi 10 1993 Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C. 2 1993 Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations. Zbl 0782.65083Nishida, Toyoaki; Mizutani, Kenji; Doshita, Shuji 2 1993 Well-founded semantics and stratification for ordered logic programs. Zbl 0798.68029Leone, N.; Rossi, G. 1 1993 A general criterion for avoiding infinite unfolding during partial deduction. Zbl 0782.68024Bruynooghe, Maurice; De Schreye, Danny; Martens, Bern 10 1992 Compositional model-theoretic semantics for logic programs. Zbl 0782.68023Brogi, Antonio; Lamma, Evelina; Mello, Paola 7 1992 An operational formal definition of PROLOG: A specification method and its application. Zbl 0741.68028Deransart, Pierre; Ferrand, Gérard 2 1992 \(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus. Zbl 0741.68025Schmittgen, C.; Blödorn, H.; Kluge, W. 1 1992 ...and 55 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,469 Authors 27 Jain, Sanjay 25 Stephan, Frank 20 Pérez-Jiménez, Mario J. 17 Pan, Linqiang 16 Case, John 16 Song, Bosheng 14 Zeugmann, Thomas 12 Lange, Steffen 12 Vidal, Germán 11 Muggleton, Stephen H. 9 Alhazov, Artiom 9 Artikis, Alexander 9 Ibarra, Oscar H. 9 Inoue, Katsumi 9 Orellana-Martín, David 9 Valencia-Cabrera, Luis 9 Zilles, Sandra 8 Lamma, Evelina 8 Paliouras, Georgios 8 Riguzzi, Fabrizio 8 Sosík, Petr 8 Thielscher, Michael 7 Kinber, Efim B. 7 Reidenbach, Daniel 7 Russo, Alessandra M. 6 Albert, Elvira 6 Brogi, Antonio 6 Cabalar, Pedro 6 Kari, Lila 6 Kötzing, Timo 6 Mello, Paola 6 Riscos-Núñez, Agustín 6 Sadri, Fariba 6 Sharma, Arun Kumar 6 Verlan, Sergey 5 Caballero, Rafael E. 5 Csuhaj-Varjú, Erzsébet 5 Gao, Ziyuan 5 Gupta, Gopal K. 5 Halpern, Joseph Yehuda 5 Law, Mark M. 5 Păun, Andrei 5 Păun, Gheorghe 5 Puebla, Germán 5 Schaub, Torsten H. 5 Zeng, Xiangxiang 4 Broda, Krysia B. 4 Bruynooghe, Maurice 4 Ciobanu, Gabriel 4 De Raedt, Luc 4 De Schreye, Danny 4 Díaz-Pernil, Daniel 4 Drabent, Włodzimierz 4 Eiter, Thomas 4 Enjalbert, Patrice 4 Freund, Rudolf 4 Hermenegildo, Manuel V. 4 Isokawa, Teijiro 4 Konstantinidis, Stavros 4 Kowalski, Robert A. 4 Levesque, Hector J. 4 Mancarella, Paolo 4 Martí-Oliet, Narciso 4 Martin, Éric A. 4 Nishida, Naoki 4 Ozawa, Masanao 4 Peper, Ferdinand 4 Prade, Henri M. 4 Riesco, Adrián 4 Rodríguez-Patón, Alfonso 4 Schmid, Markus L. 4 Shakerin, Farhad 4 Simon, Hans-Ulrich 4 Tamaddoni-Nezhad, Alireza 4 Verdejo, Alberto 3 Alves Rocha, Thiago 3 Balbach, Frank J. 3 Baral, Chitta R. 3 Baumgartner, Peter 3 Belle, Vaishak 3 Bellodi, Elena 3 Blakey, Ed 3 Ceterchi, Rodica 3 Cropper, Andrew 3 Dick, Scott 3 Diéguez, Martín 3 Doskoč, Vanja 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 Kamide, Norihiro 3 Katzouris, Nikos 3 Khrennikov, Andreĭ Yur’evich 3 Kimmig, Angelika 3 Kiselyov, Oleg 3 Kissinger, Aleks ...and 1,369 more Authors all top 5 Cited in 123 Journals 136 Theoretical Computer Science 65 New Generation Computing 50 Artificial Intelligence 36 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 14 Information Processing Letters 13 International Journal of Approximate Reasoning 13 Natural Computing 12 Journal of Automated Reasoning 12 Journal of Membrane Computing 11 Information Sciences 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 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 Studia Logica 4 Annals of Pure and Applied Logic 4 MSCS. Mathematical Structures in Computer Science 3 International Journal of Theoretical Physics 3 Kybernetika 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 Applicable Algebra in Engineering, Communication and Computing 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 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2 Quantum Information Processing 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 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 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 Fundamenta Informaticae 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 Journal of Machine Learning Research (JMLR) ...and 23 more Journals all top 5 Cited in 39 Fields 788 Computer science (68-XX) 127 Mathematical logic and foundations (03-XX) 40 Information and communication theory, circuits (94-XX) 36 Biology and other natural sciences (92-XX) 29 Quantum theory (81-XX) 28 Operations research, mathematical programming (90-XX) 22 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 20 Statistics (62-XX) 15 Combinatorics (05-XX) 9 Ordinary differential equations (34-XX) 9 Numerical analysis (65-XX) 8 Functional analysis (46-XX) 8 Systems theory; control (93-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 5 Dynamical systems and ergodic theory (37-XX) 4 History and biography (01-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 3 General and overarching topics; collections (00-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 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 Difference and functional equations (39-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) 1 Geophysics (86-XX) 1 Mathematics education (97-XX) Citations by Year