作者：David Angulo (1) (2)
Fabiola Angulo (3)
Gerard Olivar (4)

1. Consiglio Nazionale delle Ricerche ; Istituto dei Sistemi Complessi ; via Madonna del Piano 10 ; 50019 ; Sesto Fiorentino ; Italy
2. Dipartamento di Sistemi e Informatica ; Universita degli Studi di Firenze ; Viale Morgagni 65 ; 50134 ; Firenze ; Italy
3. Facultad de Ingenier铆a y Arquitectura ; Departamento de Ingenier铆a El茅ctrica ; Electr贸nica y Computaci贸n ; Percepci贸n y Control Inteligente ; Universidad Nacional de Colombia ; Sede Manizales ; CeiBA Complexity ; Bloque Q ; Campus La Nubia ; Manizales ; 170003 ; Colombia
4. Facultad de Ingenier铆a y Arquitectura ; Departamento de Ingenier铆a El茅ctrica ; Electr贸nica y Computaci贸n ; ABC Dynamics ; Universidad Nacional de Colombia ; Sede Manizales ; CeiBA Complexity ; Bloque Q ; Campus La Nubia ; Manizales ; 170003 ; Colombia

关键词：Sustainability ; Economical development ; Demographic dynamics ; Complex systems ; Dynamical networks

刊名：Bulletin of Mathematical Biology

出版年：2015

作者：Jes煤s Aransay (16)
Jose Divas贸n (16)

16. Departamento de Matem谩ticas y Computaci贸n ; Universidad de La Rioja ; Logro帽o ; Spain

关键词：Theorem proving ; Isabelle/HOL ; Type classes ; Linear Algebra

刊名：Lecture Notes in Computer Science

出版年：2015

作者：Eddie Clemente (15)
Gustavo Olague (15)
Daniel Hern谩ndez (15)
Jos茅 L. Brise帽o (15)
Jos茅 Mercado (15)

15. Proyecto EvoVisi贸n ; Departamento de Ciencias de la Computaci贸n ; Divisi贸n de F铆sica Aplicada ; Centro de Investigaci贸n Cient铆fica y de Estudios Superiores de Ensenada ; Carretera Ensenada-Tijuana No. 3918 ; Zona Playitas ; 22860 ; Ensenada ; BC ; Mexico

关键词：Artificial Visual Cortex ; Object recognition ; Object detection ; Brain programming

刊名：Lecture Notes in Computer Science

出版年：2015

作者：Bernd Bank (1)
Marc Giusti (2)
Joos Heintz (3) (4) (5)
Gr茅goire Lecerf (2)
Guillermo Matera (6) (7)
Pablo Solern贸 (8) (9)

1. Institut f眉r Mathematik ; Humboldt-Universit盲t zu Berlin ; 10099聽 ; Berlin ; Germany
2. Laboratoire d鈥檌nformatique ; LIX ; UMR 7161 CNRS ; Campus de l鈥櫭塩ole Polytechnique ; 91128聽 ; Palaiseau Cedex ; France
3. Departamento de Computaci贸n ; Universidad de Buenos Aires ; Ciudad Univ. ; Pab.I ; 1428聽 ; Buenos Aires ; Argentina
4. CONICET ; Ciudad Univ. ; Pab.I ; 1428聽 ; Buenos Aires ; Argentina
5. Departamento de Matem谩ticas ; Estad铆stica y Computaci贸n ; Facultad de Ciencias ; Universidad de Cantabria ; 39071聽 ; Santander ; Spain
6. Instituto del Desarrollo Humano ; Universidad Nacional de General Sarmiento ; J. M. Gutierrez 1150 ; B1613GSX聽 ; Los Polvorines ; Buenos Aires ; Argentina
7. CONICET ; J. M. Gutierrez 1150 ; B1613GSX聽 ; Los Polvorines ; Buenos Aires ; Argentina
8. Instituto Matem谩tico Luis Santal贸 ; CONICET ; Buenos Aires ; 1428 ; Argentina
9. Departamento de Matem谩ticas ; Facultad de Ciencias Exactas y Naturales ; Universidad de Buenos Aires ; Buenos Aires ; 1428 ; Argentina

关键词：Polynomial equation solving ; Pseudo ; polynomial complexity ; Degeneracy locus ; Degree of varieties ; 14M10 ; 14M12 ; 14Q20 ; 14P05 ; 68W30

刊名：Foundations of Computational Mathematics

出版年：2015

作者：Ramiro Demasi (15)
Pablo F. Castro (17) (18)
Nicol谩s Ricci (17) (18)
Thomas S. E. Maibaum (16)
Nazareno Aguirre (17) (18)

15. Fondazione Bruno Kessler ; Trento ; Italy
17. Departamento de Computaci贸n ; FCEFQyN ; Universidad Nacional de R铆o Cuarto ; R铆o Cuarto ; C贸rdoba ; Argentina
18. Consejo Nacional de Investigaciones Cient铆ficas y T茅cnicas (CONICET) ; Buenos Aires ; Argentina
16. Department of Computing and Software ; McMaster University ; Hamilton ; Ontario ; Canada

关键词：Fault ; tolerance ; Program synthesis ; Temporal logics ; Deontic logics

刊名：Lecture Notes in Computer Science

出版年：2015

作者：Carlos Segura (1)
Carlos A. Coello Coello (2)
Eduardo Segredo (3)
Coromoto Le贸n (3)

1. Departamento de Computaci贸n ; CINVESTAV-IPN ; UMI LAFMIA 3175 CNRS ; Av. IPN No. 2508 ; Col. San Pedro Zacatenco ; 07300聽 ; M茅xico ; DF ; M茅xico
2. Departamento de Computaci贸n (Evolutionary Computation Group) ; CINVESTAV-IPN ; Av. IPN No. 2508 ; Col. San Pedro Zacatenco ; 07300聽 ; M茅xico ; DF ; M茅xico
3. Dpto. Estad铆stica ; I.O. y Computaci贸n ; Astrof铆sico Fco. S谩nchez ; Edif. Matem谩ticas ; Universidad de La Laguna ; 38271聽 ; Santa Cruz de Tenerife ; Spain

关键词：Differential evolution ; Mutation scale factor ; Adaptation ; Parameter control

刊名：Optimization Letters

出版年：2015

作者：Jose Francisco Hidalgo C茅spedes (20)
Francisco De As铆s Guil Asensio (20)
Jose Manuel Garc铆a Carrasco (20)

20. Grupo de Arquitectura y Computaci贸n Paralela ; Universidad de Murcia ; Spain

关键词：Metabolic networks ; graph theory ; EFM ; flux modes ; pathways ; systems biology

刊名：Lecture Notes in Computer Science

出版年：2015

作者：Rafael Nogueras (15)
Carlos Cotta (15)

15. Dept. Lenguajes y Ciencias de la Computaci贸n ; Universidad de M谩laga ; ETSI Inform谩tica ; Campus de Teatinos ; 29071 ; M谩laga ; Spain

刊名：Lecture Notes in Computer Science

出版年：2015

作者：Edgardo Alvarez (1)
Carlos Lizama (2)

1. Departamento de Matem谩ticas ; Facultad de Ciencias B谩sicas ; Universidad del Atl谩ntico ; Barranquilla ; Colombia
2. Departamento de Matem谩tica y Ciencia de la Computaci贸n ; Facultad de Ciencia ; Universidad de Santiago de Chile ; Casilla 307 ; Correo 2 ; Santiago ; Chile

关键词：35B15 ; 47D06 ; 45D05 ; weighted pseudo almost periodic functions ; Stepanov weighted pseudo almost periodic functions ; convolution ; composition ; abstract Volterra equations ; infinite delay

刊名：Advances in Difference Equations

出版年：2015

作者：Ana R. Cavalli (1)
Teruo Higashino (2)
Manuel N煤帽ez (3)

1. T茅l茅com SudParis ; 9 Rue Charles Fourier ; 91000 ; Evry ; France
2. Graduate School of Information Science and Technology ; Osaka University ; Osaka ; Japan
3. Departamento de Sistemas Inform谩ticos y Computaci贸n ; Universidad Complutense de Madrid ; Madrid ; Spain

刊名：Annals of Telecommunications

出版年：2015