Found 58 Documents (Results 1–58)
A quantum Richardson-Lucy image restoration algorithm based on controlled rotation operation and Hamiltonian evolution. (English) Zbl 1508.68120
Method of online learning path optimization based on multi-dimensional information feature mapping model. (Chinese. English summary) Zbl 1438.68094
Parameter identification of a model for prostate cancer treated by intermittent therapy. (English) Zbl 1406.92292
On the complexity and dynamical properties of mixed logical dynamical systems via an automaton-based realization of discrete-time hybrid automaton. (English) Zbl 1402.93144
The complexity of phylogeny constraint satisfaction. (English) Zbl 1388.68101
Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 20, 13 p. (2016).
Mutation strength control via meta evolution strategies on the ellipsoid model. (English) Zbl 1336.68234
MSC:
68T20
How and how much to invest for fighting cheaters: from an ODE to a cellular automata model. (English) Zbl 1407.91192
An application of differential evolution to positioning queueing systems. (English) Zbl 1355.68028
Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 14th international conference, ICAISC 2015, Zakopane, Poland, June 14–28, 2015, Proceedings. Part II. Cham: Springer (ISBN 978-3-319-19368-7/pbk; 978-3-319-19369-4/ebook). Lecture Notes in Computer Science 9120. Lecture Notes in Artificial Intelligence, 379-390 (2015).
The clustering search algorithm. (Chinese. English summary) Zbl 1340.68127
Towards an approach of consistency verification for online software evolution in open environments. (Chinese. English summary) Zbl 1340.68019
A novel bi-objective model-based evolutionary algorithm for constrained optimization problems. (Chinese. English summary) Zbl 1313.68191
Springer handbook of bio-/neuro-informatics. (English) Zbl 1304.92001
Springer Handbooks. Dordrecht: Springer (ISBN 978-3-642-30573-3/hbk; 978-3-642-30574-0/ebook). lvii, 1229 p. (2014).
Reviewer: Irina Ioana Mohorianu (Norwich)
Controlling population size and mutation strength by Meta-ES under fitness noise. (English) Zbl 1369.68297
Proceedings of the 12th ACM SIGEVO workshop on foundations of genetic algorithms, FOGA 2013, Adelaide, SA, Australia, January 16–20, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1990-4). 11-24 (2013).
MSC:
68T20
Simple urban simulation atop complicated models: multi-scale equation-free computing of sprawl using geographic automata. (English) Zbl 1335.91054
MSC:
91D10
68U20
A novel differential evolution algorithm based on elite-cloud mutation. (Chinese. English summary) Zbl 1299.68138
Mean field simulation for Monte Carlo integration. (English) Zbl 1282.65011
Monographs on Statistics and Applied Probability 126. Boca Raton, FL: CRC Press (ISBN 978-1-4665-0405-9/hbk; 978-1-138-19873-9/pbk; 978-1-4665-0417-2/ebook). xlvii, 578 p. (2013).
Reviewer: Vassil Grozdanov (Blagoevgrad)
Emergency epidemics spread model using cellular automata. (Chinese. English summary) Zbl 1289.92059
A discipline of mathematical systems modelling. (English) Zbl 1305.68011
Systems 2. Systems Thinking and Systems Engineering 2. London: College Publications (ISBN 978-1-904987-50-5/pbk). xviii, 272 p. (2012).
Reviewer: Jörg Desel (Hagen)
Study on the model of consensus formation in Internet based on the directed graph. (English) Zbl 1271.91089
A multi-agent based distributed computing framework for master-slave particle swarms. (Chinese. English summary) Zbl 1274.68446
A formal approach to adaptive software: continuous assurance of non-functional requirements. (English) Zbl 1259.68123
Co-transformation of graphs and type graphs with application to model co-evolution. (English) Zbl 1367.68154
Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 326-340 (2012).
Model evolution with equality – revised and implemented. (English) Zbl 1258.03020
Reviewer: Nail Zamov (Kazan)
MSC:
03B35
68T15
A combined superposition and model evolution calculus. (English) Zbl 1267.03033
Reviewer: Emilio Muñoz-Velasco (Málaga)
MSC:
03B35
68T15
Dynamic multi-criteria evaluation of co-evolution strategies for solving stock trading problems. (English) Zbl 1239.91142
A theory of liberal churches. (English) Zbl 1208.91096
A categorical framework for the transformation of object-oriented systems: models and data. (English) Zbl 1211.68259
On one application of computations with oracle. (English. Russian original) Zbl 1253.68089
Program. Comput. Softw. 36, No. 3, 157-165 (2010); translation from Programmirovanie 36, No. 3 (2010).
Dynamical evolution of complex industrial knowledge networks. (Chinese. English summary) Zbl 1212.93005
An efficient algorithm for haplotype inference on pedigrees with a small number of recombinants (extended abstract). (English) Zbl 1256.92039
Fiat, Amos (ed.) et al., Algorithms – ESA 2009. 17th annual European symposium, Copenhagen, Denmark, September 7–9, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04127-3/pbk). Lecture Notes in Computer Science 5757, 325-336 (2009).
Identifying evolutionary trees and substitution parameters for the general Markov model with invariable sites. (English) Zbl 1130.92039
Optimal phylogenetic reconstruction. (English) Zbl 1301.92054
Kleinberg, Jon M. (ed.), Proceedings of the 38th annual ACM symposium on theory of computing, STOC 2006. Seattle, WA, USA, May 21–23, 2006. New York, NY: ACM Press (ISBN 1-59593-134-1). 159-168 (2006).
Quasiclassical computation. (English) Zbl 1071.68026
MSC:
68Q05
80A30
The size of a maximum agreement subtree for random binary trees. (English) Zbl 1026.92030
Janowitz, M. F. (ed.) et al., Bioconsensus. DIMACS working group meetings on bioconsensus, October 25-26, 2000 and October 2-5, 2001, DIMACS Center. Providence, RI: American Mathematical Society (AMS). DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 61, 55-65 (2003).
Concept use or concept refinement: An important distinction in building generic specifications. (English) Zbl 1015.68903
George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 132-143 (2002).
Relating functional requirements and software architecture: Separation and consistency of concerns. (English) Zbl 1017.68028
MSC:
68N01
A Kripkean semantics for dynamic logic programming. (English) Zbl 0988.68030
Parigot, Michel (ed.) et al., Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1955, 469-486 (2000).
Model checking security protocols using a logic of belief. (English) Zbl 0965.94020
Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 519-534 (2000).
Inferring evolutionary trees with strong combinatorial evidence. (English) Zbl 0899.92026
Jiang, Tao (ed.) et al., Computing and combinatorics. 3rd annual international conference, COCOON ’97. Shanghai, China. August 20–22, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1276, 111-123 (1997).
Computer simulations with Mathematica\(^{\circledR}\). Explorations in complex physical and biological systems. (English) Zbl 0831.65005
New York, NY: Springer-Verlag. xix, 297 p. (1995).
Reviewer: B.Mathiszik (Halle)
Biological automata models and evolution. II: The evolution of macromolecular machinery. (English) Zbl 0694.92013
Organizational constraints on the dynamics of evolution, Pap. Int. Symp., Budapest/Hung. 1987, Proc. Nonlinear Sci., 33-48 (1990).
MSC:
92D15
68U20
Symmetry constraints in development and evolution of Fibonacci-plants. (English) Zbl 0692.92017
Organizational constraints on the dynamics of evolution, Pap. Int. Symp., Budapest/Hung. 1987, Proc. Nonlinear Sci., 79-88 (1990).
Filter Results by …
Document Type
- Journal Articles (41)
- Collection Articles (13)
- Books (4)
all
top 5
Author
- Baumgartner, Peter (2)
- Beyer, Hans-Georg (2)
- Bodirsky, Manuel (2)
- Hellwig, Michael (2)
- Jonsson, Peter (2)
- Pham, Trung Van (2)
- Allman, Elizabeth S. (1)
- Banach, Richard (1)
- Barbosa, Helio José Corrêa (1)
- Benerecetti, Massimo (1)
- Bernardino, Heder S. (1)
- Berry, Vincent (1)
- Bryant, David (1)
- Canal, Carlos (1)
- Chang, Yinghua (1)
- Chen, Hao (1)
- Chen, Shengyong (1)
- Chen, Taolue (1)
- Chen, Xiaorong (1)
- Citti, Giovanna (1)
- Collinson, Matthew (1)
- Cranefield, Stephen (1)
- Cubo, Javier (1)
- Damaševičius, Robertas (1)
- Daskalakis, Constantinos (1)
- Del Moral, Pierre (1)
- Denis, Fabrice (1)
- Devillers, Raymond (1)
- Dong, Ning (1)
- Dong, Yumin (1)
- Draghi, Clément (1)
- Engels, Gregor (1)
- Fan, Xingkui (1)
- Ferretti, Vincent (1)
- Filieri, Antonio (1)
- Gabryel, Marcin (1)
- Galar, Roman (1)
- Gascuel, Olivier (1)
- Gaylord, Richard J. (1)
- Ghanem, Roger G. (1)
- Ghezzi, Carlo (1)
- Giua, Alessandro (1)
- Giunchiglia, Fausto (1)
- Goel, Narendra S. (1)
- Guo, Zhaolu (1)
- He, Pei (1)
- He, Zhenxing (1)
- Heckel, Reiko (1)
- Hejri, Mohammad (1)
- Hu, Chaolang (1)
- Huang, Yankai (1)
- Huang, Zhiqiu (1)
- Janicki, Ryszard (1)
- Jeske, Czeslaw (1)
- Jiang, Tao (1)
- Johnson, Colin G. (1)
- Kasabov, Nikola K. (1)
- Kevrekidis, Ioannis George (1)
- König, Harald (1)
- Koutny, Maciej (1)
- Lamo, Yngve (1)
- Lauer, Peter Ernst (1)
- Letellier, Christophe (1)
- Levine, Raphael D. (1)
- Li, Haojun (1)
- Ling, Haifeng (1)
- Lisitsa, Alexei P. (1)
- Liu, Jiayong (1)
- Lou, Tiancheng (1)
- Lowe, Michael J. S. (1)
- Lu, Lin (1)
- Ma, Hongyang (1)
- Makowsky, Michael D. (1)
- Mantz, Florian (1)
- McKenzie, Andy (1)
- Meacci, Luca (1)
- Mokhtari, Hossein (1)
- Monahan, Brian (1)
- Mossel, Elchanan (1)
- Musser, David R. (1)
- Nemytykh, Andrei P. (1)
- Pan, Xiaoying (1)
- Pelzer, Björn (1)
- Piccoli, Benedetto (1)
- Pimentel, Ernesto (1)
- Poppleton, Michael (1)
- Primiero, Giuseppe (1)
- Pym, David J. (1)
- Raimondi, Franco (1)
- Remacle, Françoise (1)
- Rhodes, John Anthony (1)
- Roch, Sébastien (1)
- Rossi, Francesco (1)
- Ruhroth, Thomas (1)
- Saake, Gunter (1)
- Sankoff, David (1)
- Sarti, Alessandro (1)
- Schobbens, Pierre-Yves (1)
- Schulz, Christoph (1)
- Šefránek, Ján (1)
- and 41 more Authors
all
top 5
Serial
- J. Softw. (3)
- Theor. Comput. Sci. (2)
- Sci. Comput. Program. (2)
- J. Symb. Comput. (2)
- Adv. Appl. Probab. (1)
- Biol. Cybern. (1)
- Inf. Process. Lett. (1)
- Math. Biosci. (1)
- Appl. Math. Comput. (1)
- Program. Comput. Softw. (1)
- Synthese (1)
- Math. Soc. Sci. (1)
- J. Wuhan Univ., Nat. Sci. Ed. (1)
- J. Autom. Reasoning (1)
- J. Shanghai Jiaotong Univ. (Chin. Ed.) (1)
- Formal Asp. Comput. (1)
- J. Log. Comput. (1)
- Acta Math. Univ. Comen., New Ser. (1)
- Proc. Natl. Acad. Sci. USA (1)
- SIAM J. Math. Anal. (1)
- Int. J. Robust Nonlinear Control (1)
- Informatica, Ljubl. (1)
- J. Sched. (1)
- Control Theory Appl. (1)
- Int. J. Mod. Phys. C (1)
- J. Softw. Maint. Evol., Res. Pract. (1)
- Comput. Inform. (1)
- Entropy (1)
- Nat. Comput. (1)
- J. Syst. Eng. (1)
- Quantum Inf. Process. (1)
- ACM Trans. Comput. Log. (1)
- Control Decis. (1)
- Monogr. Stat. Appl. Probab. (1)
- Sci. China, Inf. Sci. (1)
- J. Theor. Biol. (1)
- Math. Sci., Springer (1)
- Systems (1)
- Springer Handb. (1)
all
top 3
Software
- SPASS (2)
- iProver (2)
- ANNOVAR (1)
- ARACNE (1)
- Affymetrix (1)
- ArchPRED (1)
- BacSim (1)
- Bambino (1)
- BiGG (1)
- BiNGO (1)
- Bio-SPICE (1)
- BioGRID (1)
- BioOptimizer (1)
- Biopython (1)
- Bliksem (1)
- Boids (1)
- CFinder (1)
- CMfinder (1)
- CODA (1)
- COPASI (1)
- COSY (1)
- Darwin (1)
- E Theorem Prover (1)
- E-Darvin (1)
- E-KRHyper (1)
- ETPS (1)
- FUGUE (1)
- GAME (1)
- GAMES (1)
- GPTIPS (1)
- Genomatix (1)
- GeoSVM (1)
- Geva (1)
- HHpred (1)
- HotKnots (1)
- Infernal (1)
- Isabelle/HOL (1)
- JML (1)
- KDDONTO (1)
- KEGG (1)
- LIBSVM (1)
- LOOPER (1)
- MASON (1)
- MEDELLER (1)
- MEME (1)
- MRMC (1)
- MaSTerClass (1)
- MacRad (1)
- Mathematica (1)
- Metis_ (1)
- My5C (1)
- NEURON (1)
- OTTER (1)
- PHAT (1)
- PRISM (1)
- PROCHECK (1)
- PROGRES (1)
- PreSPI (1)
- ProbKnot (1)
- Protege (1)
- QMEAN (1)
- R (1)
- RAISE (1)
- Refal (1)
- RepeatMasker (1)
- Rfam (1)
- Rnamotif (1)
- SINGULAR (1)
- SIRENE (1)
- STAMP (1)
- SWISS-MODEL (1)
- SimpleMKL (1)
- Spikenet (1)
- Sylamer (1)
- TLA (1)
- TPTP (1)
- TRANSFAC (1)
- Tree-k-RHC (1)
- TurboFold (1)
- UniHI (1)
- UniProt (1)
- VAMPIRE (1)
- WEKA (1)
- WSAT (1)
- WebGestalt (1)
- WebLogo (1)
- Z (1)
- eXiT*CBR (1)
- iMembrane (1)
- iPARTS (1)
- jCOLIBRI (1)
- miRBase (1)
- minet (1)
- nocoRNAc (1)
