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: 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 154 Publications have been cited 843 times in 799 Documents Cited by ▼ Year ▼ A logic-based calculus of events. Zbl 1356.68221Kowalski, Robert; Sergot, Marek 93 1986 The power of communication: P systems with symport/antiport. Zbl 1024.68037Păun, Andrei; Păun, Gheorghe 73 2002 Teachability in computational learning. Zbl 0712.68084Shinohara, Ayumi; Miyano, Satoru 73 1991 Polynomial-time inference of arbitrary pattern languages. Zbl 0712.68082Lange, Steffen; Wiehagen, Rolf 42 1991 Inductive logic programming. Zbl 0712.68022Muggleton, Stephen 36 1991 Monotonic and non-monotonic inductive inference. Zbl 0712.68081Jantke, Klaus P. 31 1991 MOLOG: A system that extends PROLOG with modal logic. Zbl 0598.68063Fariñas del Cerro, L. 22 1986 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 Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities. Zbl 0788.68025Poole, David 16 1993 DNA sequence design using templates. Zbl 1021.68038Arita, Masanori; Kobayashi, Satoshi 16 2002 A deductive solution for plan generation. Zbl 0624.68079Bibel, Wolfgag 15 1986 Formal theories of knowledge in AI and robotics. Zbl 0596.68061Rosenschein, Stanley J. 14 1985 Compiling a default reasoning system into Prolog. Zbl 0713.68017Poole, David 13 1991 Declarative error diagnosis. Zbl 0624.68018Lloyd, J. W. 13 1987 A new deductive approach to planning. Zbl 0711.68026Hölldobler, Steffen; Schneeberger, Josef 11 1990 A general criterion for avoiding infinite unfolding during partial deduction. Zbl 0782.68024Bruynooghe, Maurice; De Schreye, Danny; Martens, Bern 10 1992 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 Mixtus: An automatic partial evaluator for full Prolog. Zbl 0942.68516Sahlin, Dan 10 1993 The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024Albert, Elvira; Vidal, Germán 9 2002 Chance discoveries for making decisions in complex real world. Zbl 1037.68931Ohsawa, Yukio 9 2002 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 The designs of S-boxes by simulated annealing. Zbl 1103.68047Clark, John A.; Jacob, Jeremy L.; Stepney, Susan 8 2005 AND parallelism and nondeterminism in logic programs. Zbl 0595.68025Conery, John S.; Kibler, Dennis F. 7 1985 Updating knowledge bases. Zbl 0705.68096Guessoum, A.; Lloyd, J. W. 7 1990 Function approximation with complex neuro-fuzzy system using complex fuzzy sets – a new approach. Zbl 1251.68245Li, Chunshien; Chiang, Tai-Wei 7 2011 Composing recursive logic programs with clausal join. Zbl 0655.68119Lakhotia, A.; Sterling, L. 7 1988 Reactive computing as model generation. Zbl 1333.68108Kowalski, Robert; Sadri, Fariba 6 2015 Mathematical theory of neural learning. Zbl 0712.68079Amari, Shun-ichi 6 1991 Cloud computing: a perspective study. Zbl 1192.68085Wang, Lizhe; Von Laszewski, Gregor; Younge, Andrew; He, Xi; Kunze, Marcel; Tao, Jie; Fu, Cheng 5 2010 The occur-check problem in Prolog. Zbl 0595.68007Plaisted, David A. 5 1984 The general problem solving algorithm and its implementation. Zbl 0646.68108Rayward-Smith, V. J.; McKeown, G. P.; Burton, F. W. 5 1988 Linearity and plan generation. Zbl 0654.68100Fronhöfer, Bertram 5 1987 Semantics for a quantum programming language by operator algebras. Zbl 1443.68041Cho, Kenta 4 2016 Quantum set theory extending the standard probabilistic interpretation of quantum theory. Zbl 1396.81011Ozawa, Masanao 4 2016 Compositional model-theoretic semantics for logic programs. Zbl 0782.68023Brogi, Antonio; Lamma, Evelina; Mello, Paola 4 1992 Exact cover with light. Zbl 1191.68127Oltean, Mihai; Muntean, Oana 4 2008 Foundation of logic programming based on inductive definition. Zbl 0592.68032Hagiya, Masami; Sakurai, Takafumi 4 1984 Multi-objective optimisation of bijective S-boxes. Zbl 1103.68048Fuller, Joanne; Millan, William; Dawson, Ed 4 2005 Quantum computation: from a programmer’s perspective. Zbl 1298.81051Valiron, Benoît 4 2013 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 A self-applicable partial evaluator and its use in incremental compilation. Zbl 0654.68024Fujita, Hiroshi; Furukawa, Koichi 4 1988 An efficient Bayesian network structure learning strategy. Zbl 1442.68205Suzuki, Joe 3 2017 A Kochen-Specker system has at least 22 vectors. Zbl 1396.81015Uijlen, Sander; Westerbaan, Bas 3 2016 Terminality implies no-signalling…and much more than that. Zbl 1396.81010Coecke, Bob 3 2016 Temporal disjunctive logic programming. Zbl 0973.68028Gergatsoulis, Manolis; Rondogiannis, Panos; Panayiotopoulos, Themis 3 2001 A grid-oriented genetic algorithm framework for bioinformatics. Zbl 1084.68505Imade, Hiroaki; Morishita, Ryohei; Ono, Isao; Ono, Norihiko; Okamoto, Masahiro 3 2004 Languages generated by P systems with active membranes. Zbl 1085.68049Bernardini, Francesco; Gheorghe, Marian 3 2004 Results on catalytic and evolution-communication P systems. Zbl 1085.68051Krishna, Shankara Narayanan; Păun, Andrei 3 2004 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 Amoeba-based chaotic neurocomputing: combinatorial optimization by coupled biological oscillators. Zbl 1193.92001Aono, Masashi; Hirata, Yoshito; Hara, Masahiko; Aihara, Kazuyuki 3 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 Abstraction-carrying code: a model for mobile code safety. Zbl 1169.68356Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel 3 2008 P transducers. Zbl 1103.68050Ciobanu, Gabriel; Păun, Gheorge; Ştefănescu, Gheorge 3 2006 The BC-chain method for representing combinators in linear space. Zbl 0594.68034Noshita, Kohei; Hikita, Teruo 3 1985 How to invent a Prolog machine. Zbl 0614.68020Kursawe, Peter 3 1987 Strict completion of logic programs. Zbl 0714.68084Drabent, Wlodzimierz; Martelli, Maurizio 3 1991 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 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 Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C. 2 1993 Distributed programming with logic tuple spaces. Zbl 0806.68014Ciancarini, Paolo 2 1994 Constructive negation and constraint logic programming with sets. Zbl 0980.68017Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco 2 2001 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 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 Quantum entanglement as a new information processing resource. Zbl 1101.81313Gruska, Jozef 2 2003 Minimizing evolution communication P systems and automata. Zbl 1085.68047Alhazov, Artiom 2 2004 Defect-tolerance in cellular nanocomputers. Zbl 1114.68011Isokawa, Teijiro; Kowada, Shin’ya; Takada, Yousuke; Peper, Ferdinand; Kamiura, Naotake; Matsui, Nobuyuki 2 2007 Computational ability of cells based on cell dynamics and adaptability. Zbl 1192.68653Nakagaki, Toshiyuki; Tero, Atsushi; Kobayashi, Ryo; Onishi, Isamu; Miyaji, Tomoyuki 2 2009 Seeing things: inventive reasoning with geometric analogies and topographic maps. Zbl 1108.68613O’Donoghue, Diarmuid P.; Bohan, Amy; Keane, Mark T. 2 2006 Implicitly heterogeneous multi-stage programming. Zbl 1161.68379Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar; Taha, Walid 2 2007 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 Learning an extension of the class of functional dependencies with queries. Zbl 1333.68092Lavín Puente, Víctor 2 2015 Block cipher based on reversible cellular automata. Zbl 1103.68049Seredynski, Marcin; Bouvry, Pascal 2 2005 GeoMergeP: geographic information integration through enriched ontology matching. Zbl 1191.68815Buccella, Agustina; Cechich, Alejandra; Gendarmi, Domenico; Lanubile, Filippo; Semeraro, Giovanni; Colagrossi, Attilio 2 2010 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 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 Making exhaustive search programs deterministic. Zbl 0631.68074Ueda, Kazunori 2 1987 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 Unfolding rules for GHC programs. Zbl 0654.68104Furukawa, Koichi; Okumura, Akira; Murakami, Masaki 2 1988 On model selection, Bayesian networks, and the Fisher information integral. Zbl 1450.62007Zou, Yuan; Roos, Teemu 1 2017 Joint analysis of multiple algorithms and performance measures. Zbl 1450.62090de Campos, Cassio P.; Benavoli, Alessio 1 2017 Tensors, !-graphs, and non-commutative quantum structures. Zbl 1405.16043Kissinger, Aleks; Quick, David 1 2016 \(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus. Zbl 0741.68025Schmittgen, C.; Blödorn, H.; Kluge, W. 1 1992 Performance of Muse on switch-based multiprocessor machines. Zbl 0782.68018Ali, Khayri A. M.; Karlsson, Roland; Mudambi, Shyam 1 1992 Well-founded semantics and stratification for ordered logic programs. Zbl 0798.68029Leone, N.; Rossi, G. 1 1993 The query complexity of learning DFA. Zbl 0812.68107Balcázar, José L.; Díaz, Josep; Gavaldà, Ricard; Watanabe, Osamu 1 1994 Preference queries in deductive databases. Zbl 0973.68053Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya 1 2001 Logic-based genetic programming with definite clause translation grammars. Zbl 0991.68033Ross, Brian J. 1 2001 Program transformation system based on generalized partial computation. Zbl 0994.68132Futamura, Yoshihiko; Konishi, Zenjiro; Glück, Robert 1 2002 An efficient Bayesian network structure learning strategy. Zbl 1442.68205Suzuki, Joe 3 2017 On model selection, Bayesian networks, and the Fisher information integral. Zbl 1450.62007Zou, Yuan; Roos, Teemu 1 2017 Joint analysis of multiple algorithms and performance measures. Zbl 1450.62090de Campos, Cassio P.; Benavoli, Alessio 1 2017 Semantics for a quantum programming language by operator algebras. Zbl 1443.68041Cho, Kenta 4 2016 Quantum set theory extending the standard probabilistic interpretation of quantum theory. Zbl 1396.81011Ozawa, Masanao 4 2016 A Kochen-Specker system has at least 22 vectors. Zbl 1396.81015Uijlen, Sander; Westerbaan, Bas 3 2016 Terminality implies no-signalling…and much more than that. Zbl 1396.81010Coecke, Bob 3 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 6 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 Preface: Special issue on advanced methodologies for Bayesian networks. Zbl 1333.00056 1 2012 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 Function approximation with complex neuro-fuzzy system using complex fuzzy sets – a new approach. Zbl 1251.68245Li, Chunshien; Chiang, Tai-Wei 7 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 Paraconsistent computation tree logic. Zbl 1251.68227Kaneiwa, Ken; Kamide, Norihiro 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 3 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 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 On generalization performance and non-convex optimization of extended \(\nu \)-support vector machine. Zbl 1183.68508Takeda, Akiko; Sugiyama, Masashi 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 Double layer ACO algorithm for the multi-objective FJSSP. Zbl 1175.90201Xing, Li-Ning; Chen, Ying-Wu; Yang, Ke-Wei 1 2008 Interactive visualization of news distribution in blog space. Zbl 1169.68394Takama, Yasufumi; Matsumura, Akio; Kajinami, Tomoki 1 2008 Defect-tolerance in cellular nanocomputers. Zbl 1114.68011Isokawa, Teijiro; Kowada, Shin’ya; Takada, Yousuke; Peper, Ferdinand; Kamiura, Naotake; Matsui, Nobuyuki 2 2007 Implicitly heterogeneous multi-stage programming. Zbl 1161.68379Eckhardt, Jason; Kaiabachev, Roumen; Pasalic, Emir; Swadi, Kedar; Taha, Walid 2 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 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 The designs of S-boxes by simulated annealing. Zbl 1103.68047Clark, John A.; Jacob, Jeremy L.; Stepney, Susan 8 2005 Multi-objective optimisation of bijective S-boxes. Zbl 1103.68048Fuller, Joanne; Millan, William; Dawson, Ed 4 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 3 2004 Languages generated by P systems with active membranes. Zbl 1085.68049Bernardini, Francesco; Gheorghe, Marian 3 2004 Results on catalytic and evolution-communication P systems. Zbl 1085.68051Krishna, Shankara Narayanan; Păun, Andrei 3 2004 Minimizing evolution communication P systems and automata. Zbl 1085.68047Alhazov, Artiom 2 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 Proofs of a set of hybrid let-polymorphic type inference algorithms. Zbl 1085.68028Eo, Hyunjun; Lee, Oukseh; Yi, Kwangkeun 1 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 Quantum entanglement as a new information processing resource. Zbl 1101.81313Gruska, Jozef 2 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 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 73 2002 DNA sequence design using templates. Zbl 1021.68038Arita, Masanori; Kobayashi, Satoshi 16 2002 The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024Albert, Elvira; Vidal, Germán 9 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 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 Program transformation system based on generalized partial computation. Zbl 0994.68132Futamura, Yoshihiko; Konishi, Zenjiro; Glück, Robert 1 2002 Temporal disjunctive logic programming. Zbl 0973.68028Gergatsoulis, Manolis; Rondogiannis, Panos; Panayiotopoulos, Themis 3 2001 Constructive negation and constraint logic programming with sets. Zbl 0980.68017Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco 2 2001 Biomolecular realizations of a parallel architecture for solving combinatorial problems. Zbl 0991.68025Head, Tom 2 2001 Preference queries in deductive databases. Zbl 0973.68053Govindarajan, Kannan; Jayaraman, Bharat; Mantha, Surya 1 2001 Logic-based genetic programming with definite clause translation grammars. Zbl 0991.68033Ross, Brian J. 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 16 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 Mixtus: An automatic partial evaluator for full Prolog. Zbl 0942.68516Sahlin, Dan 10 1993 Automated analysis of qualitative behaviors of piecewise linear ordinary differential equations. Zbl 0782.65083Nishida, Toyoaki; Mizutani, Kenji; Doshita, Shuji 2 1993 Projecting CLP(\({\mathcal R}\)) constraints. Zbl 0780.68013Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C. 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 4 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 Performance of Muse on switch-based multiprocessor machines. Zbl 0782.68018Ali, Khayri A. M.; Karlsson, Roland; Mudambi, Shyam 1 1992 ...and 54 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,380 Authors 26 Jain, Sanjay 23 Stephan, Frank 19 Pérez-Jiménez, Mario J. 17 Pan, Linqiang 14 Case, John 14 Song, Bosheng 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 Orellana-Martín, David 8 Riguzzi, Fabrizio 8 Sosík, Petr 8 Thielscher, Michael 8 Valencia-Cabrera, Luis 7 Lamma, Evelina 7 Paliouras, Georgios 7 Reidenbach, Daniel 6 Albert, Elvira 6 Kari, Lila 6 Riscos-Núñez, Agustín 6 Sadri, Fariba 5 Brogi, Antonio 5 Cabalar, Pedro 5 Csuhaj-Varjú, Erzsébet 5 Gao, Ziyuan 5 Halpern, Joseph Yehuda 5 Kinber, Efim B. 5 Kötzing, Timo 5 Mello, Paola 5 Păun, Andrei 5 Puebla, Germán 5 Russo, Alessandra M. 5 Schaub, Torsten H. 5 Sharma, Arun K. 5 Verlan, Sergey 4 Bruynooghe, Maurice 4 Caballero, Rafael E. 4 Ciobanu, Gabriel 4 De Raedt, Luc 4 De Schreye, Danny 4 Eiter, Thomas 4 Hermenegildo, Manuel V. 4 Konstantinidis, Stavros 4 Kowalski, Robert A. 4 Levesque, Hector J. 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 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 Enjalbert, Patrice 3 Freund, Rudolf 3 Frisco, Pierluigi 3 Fronhöfer, Bertram 3 Garzon, Max H. 3 Grieser, Gunter 3 Gupta, Gopal K. 3 Gutiérrez-Naranjo, Miguel A. 3 Hoogeboom, Hendrik Jan 3 Isokawa, Teijiro 3 Kimmig, Angelika 3 Law, Mark M. 3 Leporati, Alberto 3 Lisper, Björn 3 Mancarella, Paolo 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 3 Pass, Rafael 3 Peper, Ferdinand 3 Pettorossi, Alberto 3 Proietti, Maurizio 3 Rayward-Smith, Victor J. 3 Richard, Gilles 3 Riesco, Adrián 3 Sato, Taisuke ...and 1,280 more Authors all top 5 Cited in 118 Journals 135 Theoretical Computer Science 65 New Generation Computing 49 Artificial Intelligence 31 Machine Learning 28 Information and Computation 23 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 8 Journal of Applied Non-Classical Logics 8 Journal of Applied Logic 8 Journal of Membrane Computing 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 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 1 Statistical Methods in Medical Research ...and 18 more Journals all top 5 Cited in 37 Fields 719 Computer science (68-XX) 119 Mathematical logic and foundations (03-XX) 39 Information and communication theory, circuits (94-XX) 36 Biology and other natural sciences (92-XX) 25 Operations research, mathematical programming (90-XX) 24 Quantum theory (81-XX) 20 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 17 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) 5 Dynamical systems and ergodic theory (37-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Functional analysis (46-XX) 3 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 3 Group theory and generalizations (20-XX) 3 Measure and integration (28-XX) 2 Associative rings and algebras (16-XX) 2 Category theory; homological algebra (18-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