top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Multi-agent-based simulation XII : international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised selected papers / Daniel Villatoro, Jordi Sabater-Mir, Jaime Simão Sichman (eds.).
Multi-agent-based simulation XII : international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised selected papers / Daniel Villatoro, Jordi Sabater-Mir, Jaime Simão Sichman (eds.).
Creatore [MABS (Workshop) (12th : 2011 : Taipei, Taiwan)]
Estensione 1 online resource (viii, pages) : illustrations.
Accesso persona Villatoro, Daniel
Sabater-Mir, Jordi
Sichman, Jaime S. (Jaime Simão)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Artificial intelligence
Computer simulation
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Simulation and Modeling
Special Purpose and Application-Based Systems
ISBN 9783642284007
3642284000
9783642283994
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076718
[MABS (Workshop) (12th : 2011 : Taipei, Taiwan)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Hybrid artificial intelligent systems : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings. Part II / Emilio Corchado [and others] (eds.).
Hybrid artificial intelligent systems : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings. Part II / Emilio Corchado [and others] (eds.).
Creatore [HAIS (Conference) (7th : 2012 : Salamanca, Spain)]
Estensione 1 online resource (xxxii, 606 pages) : illustrations.
Accesso persona Corchado, Emilio
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Database management
Information storage and retrieval systems
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
Information Storage and Retrieval
ISBN 9783642289316
3642289312
9783642289309
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Hybrid Decision Tree Architecture Utilizing Local SVMs for Multi-Label Classification / Gjorgji Madjarov and Dejan Gjorgjevikj -- Ensemble Pruning Using Harmony Search / Shina Sheen, S.V. Aishwarya, R. Anitha, S.V. Raghavan and S.M. Bhaskar -- A First Study on Decomposition Strategies with Data with Class Noise Using Decision Trees / José A. Sáez, Mikel Galar, Julián Luengo and Francisco Herrera -- Combining the Advantages of Neural Networks and Decision Trees for Regression Problems in a Steel Temperature Prediction System / Miroslaw Kordos, Piotr Kania, Pawel Budzyna, Marcin Blachnik and Tadeusz Wieczorek, et al. -- Transfer Learning Approach to Debt Portfolio Appraisal / Tomasz Kajdanowicz, Slawomir Plamowski, Przemyslaw Kazienko and Wojciech Indyk -- Generalized Weighted Majority Voting with an Application to Algorithms Having Spatial Output / Henrietta Toman, Laszlo Kovacs, Agnes Jonas, Lajos Hajdu and Andras Hajdu -- Towards the Reduction of Data Used for the Classification of Network Flows / Maciej Grzenda -- Encrypting Digital Images Using Cellular Automata / A. Martín del Rey, G. Rodríguez Sánchez and A. de la Villa Cuenca -- Self-Organizing Maps versus Growing Neural Gas in Detecting Data Outliers for Security Applications / Zorana Banković, David Fraga, Juan Carlos Vallejo and José M. Moya -- Cryptographic Applications of 3x3 Block Upper Triangular Matrices / Rafael Álvarez, Francisco Martínez, José-Francisco Vicent and Antonio Zamora -- Digital Chaotic Noise Using Tent Map without Scaling and Discretization Process / Ruben Vazquez-Medina, José Luis Del-Río-Correa, César Enrique Rojas-López and José Alejandro Díaz-Méndez -- Hubness-Aware Shared Neighbor Distances for High-Dimensional k-Nearest Neighbor Classification / Nenad Tomašev and Dunja Mladenić.
Comparison of Competitive Learning for SOM Used in Classification of Partial Discharge / Rubén Jaramillo-Vacio, Alberto Ochoa-Zezzatti and Armando Rios-Lira -- Identification of Different Types of Minority Class Examples in Imbalanced Data / Krystyna Napierala and Jerzy Stefanowski -- Non-Disjoint Discretization for Aggregating One-Dependence Estimator Classifiers / Ana M. Martínez, Geoffrey I. Webb, M. Julia Flores and José A. Gámez -- An Adaptive Hybrid and Cluster-Based Model for Speeding Up the k-NN Classifier / Stefanos Ougiaroglou, Georgios Evangelidis and Dimitris A. Dervos -- A Co-evolutionary Framework for Nearest Neighbor Enhancement: Combining Instance and Feature Weighting with Instance Selection / Joaquín Derrac, Isaac Triguero, Salvador García and Francisco Herrera -- Improving Multi-label Classifiers via Label Reduction with Association Rules / Francisco Charte, Antonio Rivera, María José del Jesus and Francisco Herrera -- A GA-Based Wrapper Feature Selection for Animal Breeding Data Mining / Olgierd Unold, Maciej Dobrowolski, Henryk Maciejewski, Pawel Skrobanek and Ewa Walkowicz -- A Simple Noise-Tolerant Abstraction Algorithm for Fast k-NN Classification / Stefanos Ougiaroglou and Georgios Evangelidis -- Adaptive Inventory Control in Production Systems / Balázs Lénárt, Katarzyna Grzybowska and Mónika Cimer -- Hybrid Artificial Intelligence System in Constraint Based Scheduling of Integrated Manufacturing ERP Systems / Izabela Rojek and Mieczysław Jagodziński -- Intelligent Data Processing in Recycling of Household Appliances / Edward Chlebus, Kamil Krot, Michał Kuliberda and Bolesław Jodkowski -- Assessment of Risk in a Production System with the Use of the FMEA Analysis and Linguistic Variables / Anna Burduk -- Hybrid Methods Aiding Organisational and Technological Production Preparation Using Simulation Models of Nonlinear Production Systems / Arkadiusz Kowalski and Tomasz Marut.
The Concept of Intelligent System for Horizontal Transport in a Copper Ore Mine / Tomasz Chlebus and Pawel Stefaniak -- Integration Production Planning and Scheduling Systems for Determination of Transitional Phases in Repetitive Production / Damian Krenczyk, Krzysztof Kalinowski and Cezary Grabowik -- The Hybrid Method of Knowledge Representation in a CAPP Knowledge Based System / Cezary Grabowik, Damian Krenczyk and Krzysztof Kalinowski -- An Experimental Study of Different Ordinal Regression Methods and Measures / P.A. Gutiérrez, M. Pérez-Ortiz, F. Fernández-Navarro, J. Sánchez-Monedero and C. Hervás-Martínez -- Neural Network Ensembles to Determine Growth Multi-classes in Predictive Microbiology / F. Fernández-Navarro, Huanhuan Chen, P.A. Gutiérrez, C. Hervás-Martínez and Xin Yao -- Ordinal Classification Using Hybrid Artificial Neural Networks with Projection and Kernel Basis Functions / M. Dorado-Moreno, P.A. Gutiérrez and C. Hervás-Martínez -- A Genetic Programming Approach for Solving the Linear Ordering Problem / P.C. Pop and O. Matei -- Comparison of Fuzzy Functions for Low Quality Data GAP Algorithms / Enrique de la Cal, José R. Villar, Marco García-Tamargo and Javier Sedano -- A Simple Artificial Chemistry Model for Nash Equilibria Detection in Large Cournot Games / Rodica Ioana Lung and Lucian Sturzu-Năstase -- Dynamics of Networks Evolved for Cellular Automata Computation / Anca Gog and Camelia Chira -- From Likelihood Uncertainty to Fuzziness: A Possibility-Based Approach for Building Clinical DSSs / Marco Pota, Massimo Esposito and Giuseppe De Pietro -- Combining Metaheuristic Algorithms to Solve a Scheduling Problem / Ma Belén Vaquerizo, Bruno Baruque and Emilio Corchado -- Image Analysis Pipeline for Automatic Karyotyping / Izaro Goienetxea, Iñigo Barandiaran, Carlos Jauquicoa, Grégory Maclair and Manuel Graña.
A Hybrid Gradient for n-Dimensional Images through Hyperspherical Coordinates / Ramón Moreno and Manuel Graña -- A Hybrid Segmentation of Abdominal CT Images / Josu Maiora and Manuel Graña -- Hybrid Computational Methods for Hyperspectral Image Analysis / Miguel A. Veganzones and Manuel Graña -- Image Security and Biometrics: A Review / Ion Marqués and Manuel Graña -- Cocaine Dependent Classification Using Brain Magnetic Resonance Imaging / M. Termenon, Manuel Graña, A. Barrós-Loscertales, J.C. Bustamante and C. Ávila -- A Non-parametric Approach for Accurate Contextual Classification of LIDAR and Imagery Data Fusion / Jorge Garcia-Gutierrez, Daniel Mateos-Garcia and Jose C. Riquelme-Santos -- Spherical CIELab QAMs: Associative Memories Based on the CIELab System and Quantales for the Storage of Color Images / Marcos Eduardo Valle, Peter Sussner and Estevão Esmi -- Fuzzy Associative Memories Based on Subsethood and Similarity Measures with Applications to Speaker Identification / Estevão Esmi, Peter Sussner, Marcos Eduardo Valle, Fábio Sakuray and Laécio Barros -- A Novel Lattice Associative Memory Based on Dendritic Computing / Gerhard X. Ritter, Darya Chyzhyk, Gonzalo Urcid and Manuel Graña -- Vascular Section Estimation in Medical Images Using Combined Feature Detection and Evolutionary Optimization / Iván Macía and Manuel Graña -- Modifications of Classification Strategies in Rule Set Based Bagging for Imbalanced Data / Krystyna Napierala and Jerzy Stefanowski -- Semi-supervised Ensemble Learning of Data Streams in the Presence of Concept Drift / Zahra Ahmadi and Hamid Beigy -- Continuous User Feedback Learning for Data Capture from Business Documents / Marcel Hanke, Klemens Muthmann, Daniel Schuster, Alexander Schill and Kamil Aliyev, et al. -- Evolutionary Adapted Ensemble for Reoccurring Context / Konrad Jackowski -- Drift Detection and Model Selection Algorithms: Concept and Experimental Evaluation / Piotr Cal and Michał Woźniak -- Decomposition of Classification Task with Selection of Classifiers on the Medical Diagnosis Example / Robert Burduk and Marcin Zmyślony -- Ensemble of Tensor Classifiers Based on the Higher-Order Singular Value Decomposition / Bogusław Cyganek -- Combining Diverse One-Class Classifiers / Bartosz Krawczyk and Michał Woźniak.
Record Nr. UCHICAGO-11076754
[HAIS (Conference) (7th : 2012 : Salamanca, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Research in computational molecular biology : 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012, proceedings / Benny Chor (ed.).
Research in computational molecular biology : 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012, proceedings / Benny Chor (ed.).
Creatore [RECOMB (Conference : 2005- ) (16th : 2012 : Barcelona, Spain)]
Estensione 1 online resource (xvi, 372 pages).
Accesso persona Chor, Benny
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Data structures (Computer science)
Computer software
Database management
Artificial intelligence
Bioinformatics
Algorithm Analysis and Problem Complexity
Computational Biology/Bioinformatics
Computation by Abstract Devices
ISBN 9783642296277
3642296270
3642296262
9783642296260
Classificazione 42.13
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Protein Structure by Semidefinite Facial Reduction / Babak Alipanahi, Nathan Krislock, Ali Ghodsi, Henry Wolkowicz and Logan Donaldson, et al. -- Ancestry Inference in Complex Admixtures via Variable-Length Markov Chain Linkage Models / Sivan Bercovici, Jesse M. Rodriguez, Megan Elmore and Serafim Batzoglou -- Charge Group Partitioning in Biomolecular Simulation / Stefan Canzar, Mohammed El-Kebir, René Pool, Khaled Elbassioni and Alpesh K. Malde, et al. -- Increased Methylation Variation in Epigenetic Domains across Cancer Types / Hector Corrada Bravo -- Estimating the Accuracy of Multiple Alignments and its Use in Parameter Advising / Dan F. DeBlasio, Travis J. Wheeler and John D. Kececioglu -- Quantifying the Dynamics of Coupled Networks of Switches and Oscillators / Matthew R. Francis and Elana J. Fertig -- lobSTR: A Short Tandem Repeat Profiler for Personal Genomes / Melissa Gymrek, David Golan, Saharon Rosset and Yaniv Erlich -- Hap-seq: An Optimal Algorithm for Haplotype Phasing with Imputation Using Sequencing Data / Dan He, Buhm Han and Eleazar Eskin.
Ballast: A Ball-Based Algorithm for Structural Motifs / Lu He, Fabio Vandin, Gopal Pandurangan and Chris Bailey-Kellogg -- Evolution of Genome Organization by Duplication and Loss: An Alignment Approach / Patrick Holloway, Krister Swenson, David Ardell and Nadia El-Mabrouk -- LoopWeaver -- Loop Modeling by the Weighted Scaling of Verified Proteins / Daniel Holtby, Shuai Cheng Li and Ming Li -- A Robust Method for Transcript Quantification with RNA-seq Data / Yan Huang, Yin Hu, Corbin D. Jones, James N. MacLeod and Derek Y. Chiang, et al. -- Modeling the Breakage-Fusion-Bridge Mechanism: Combinatorics and Cancer Genomics / Marcus Kinsella and Vineet Bafna -- TrueSight: Self-training Algorithm for Splice Junction Detection Using RNA-seq / Yang Li, Hong-Mei Li, Paul Burns, Mark Borodovsky and Gene E. Robinson, et al. -- Synthetic Sequence Design for Signal Location Search / Yaw-Ling Lin, Charles Ward and Steven Skiena -- The Three-Dimensional Architecture of a Bacterial Genome and Its Alteration by Genetic Perturbation / Marc A. Marti-Renom.
Discovery of Complex Genomic Rearrangements in Cancer Using High-Throughput Sequencing / Andrew McPherson, Chunxiao Wu, Alexander Wyatt, Sohrab Shah and Colin Collins, et al. -- Network-Based Prediction and Analysis of HIV Dependency Factors / T.M. Murali, Matthew D. Dyer, David Badger, Brett M. Tyler and Michael G. Katze -- Structure-Guided Deimmunization of Therapeutic Proteins / Andrew S. Parker, Karl E. Griswold and Chris Bailey-Kellogg -- Evidence for Widespread Association of Mammalian Splicing and Conserved Long-Range RNA Structures / Dmitri Pervouchine, Ekaterina Khrameeva, Marina Pichugina, Olexii Nikolaienko and Mikhail Gelfand, et al. -- Pathset Graphs: A Novel Approach for Comprehensive Utilization of Paired Reads in Genome Assembly / Son K. Pham, Dmitry Antipov, Alexander Sirotkin, Glenn Tesler and Pavel A. Pevzner, et al. -- Finding Maximum Colorful Subtrees in Practice / Imran Rauf, Florian Rasche, François Nicolas and Sebastian Böcker -- Recovering the Tree-Like Trend of Evolution Despite Extensive Lateral Genetic Transfer: A Probabilistic Analysis / Sebastien Roch and Sagi Snir.
RESQUE: Network Reduction Using Semi-Markov Random Walk Scores for Efficient Querying of Biological Networks (Extended Abstract) / Sayed Mohammad Ebrahim Sahraeian and Byung-Jun Yoon -- Detecting SNP-Induced Structural Changes in RNA: Application to Disease Studies / Raheleh Salari, Chava Kimchi-Sarfaty, Michael M. Gottesman and Teresa M. Przytycka -- A Model for Biased Fractionation after Whole Genome Duplication / David Sankoff, Chunfang Zheng and Baoyong Wang -- Exact Pattern Matching for RNA Structure Ensembles / Christina Schmiedl, Mathias Möhl, Steffen Heyne, Mika Amit and Gad M. Landau, et al. -- Reconstructing Boolean Models of Signaling / Roded Sharan and Richard M. Karp -- Alignment-Free Sequence Comparison Based on Next Generation Sequencing Reads: Extended Abstract / Kai Song, Jie Ren, Zhiyuan Zhai, Xuemei Liu and Minghua Deng, et al. -- Differential Oestrogen Receptor Binding is Associated with Clinical Outcome in Breast Cancer / Rory Stark -- Simultaneous Reconstruction of Multiple Signaling Pathways via the Prize-Collecting Steiner Forest Problem / Nurcan Tuncbag, Alfredo Braunstein, Andrea Pagnani, Shao-Shan Carol Huang and Jennifer Chayes, et al.
Function-Function Correlated Multi-Label Protein Function Prediction over Interaction Networks / Hua Wang, Heng Huang and Chris Ding -- Predicting Protein-Protein Interactions from Multimodal Biological Data Sources via Nonnegative Matrix Tri-Factorization / Hua Wang, Heng Huang, Chris Ding and Feiping Nie -- CNVeM: Copy Number Variation Detection Using Uncertainty of Read Mapping / Zhanyong Wang, Farhad Hormozdiari, Wen-Yun Yang, Eran Halperin and Eleazar Eskin -- Structure-Based Whole Genome Realignment Reveals Many Novel Non-coding RNAs / Sebastian Will, Michael Yu and Bonnie Berger -- Probabilistic Inference of Viral Quasispecies Subject to Recombination / Osvaldo Zagordi, Armin Töpfer, Sandhya Prabhakaran, Volker Roth and Eran Halperin, et al. -- Simultaneously Learning DNA Motif along with Its Position and Sequence Rank Preferences through EM Algorithm / ZhiZhuo Zhang, Cheng Wei Chang, Willy Hugo, Edwin Cheung and Wing-Kin Sung.
Record Nr. UCHICAGO-11076825
[RECOMB (Conference : 2005- ) (16th : 2012 : Barcelona, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Fun with algorithms : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings / Evangelos Kranakis, Danny Krizanc, Flaminia Luccio (eds.).
Fun with algorithms : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings / Evangelos Kranakis, Danny Krizanc, Flaminia Luccio (eds.).
Creatore [FUN (Conference) (6th : 2012 : Venice, Italy)]
Estensione 1 online resource.
Accesso persona Kranakis, Evangelos
Krizanc, Danny
Luccio, Flaminia, 1969-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data structures (Computer science)
Computer software
Computational complexity
Artificial intelligence
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Data Structures
Computation by Abstract Devices
ISBN 9783642303470
3642303471
3642303463
9783642303463
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Distributed Algorithms by Forgetful Mobile Robots / Paola Flocchini -- Stability and Metastability of the Logit Dynamics of Strategic Games / Giuseppe Persiano -- Art Galleries, k-modems, and k-convexity / Jorge Urrutia -- The Vulcan Game of Kal-Toh: Finding or Making Triconnected Planar Subgraphs / Terry Anderson and Therese Biedl -- Scandinavian Thins on Top of Cake: On the Smallest One-Size-Fits-All Box / Esther M. Arkin, Alon Efrat, George Hart, Irina Kostitsyna and Alexander Kröller, et al. -- The Kissing Problem: How to End a Gathering When Everyone Kisses Everyone Else Goodbye / Michael A. Bender, Ritwik Bose, Rezaul Chowdhury and Samuel McCauley -- Mad at Edge Crossings? Break the Edges! / Till Bruckdorfer and Michael Kaufmann -- Train Marshalling Is Fixed Parameter Tractable / Leo Brueggeman, Michael Fellows, Rudolf Fleischer, Martin Lackner and Christian Komusiewicz, et al. -- Conflict-Free Graph Orientations with Parity Constraints / Sarah Cannon, Mashhood Ishaque and Csaba D. Tóth -- The Multi-interval Ulam-Rényi Game / Ferdinando Cicalese -- Picture-Hanging Puzzles / Erik D. Demaine, Martin L. Demaine, Yair N. Minsky, Joseph S.B. Mitchell and Ronald L. Rivest, et al.
Optimal Sensor Networks for Area Monitoring Using Rotating and Beam Sensors / Stefan Dobrev, Lata Narayanan and Jaroslav Opatrny -- The Byzantine Brides Problem / Swan Dubois, Sébastien Tixeuil and Nini Zhu -- Lean Programs, Branch Mispredictions, and Sorting / Amr Elmasry and Jyrki Katajainen -- On Computer Integrated Rationalized Crossword Puzzle Manufacturing / Jakob Engel, Markus Holzer, Oliver Ruepp and Frank Sehnke -- Solving Single-Digit Sudoku Subproblems / David Eppstein -- Finding Good Coffee in Paris / Paola Flocchini, Matthew Kellett, Peter C. Mason and Nicola Santoro -- To Satisfy Impatient Web Surfers Is Hard / Fedor V. Fomin, Frédéric Giroire, Alain Jean-Marie, Dorian Mazauric and Nicolas Nisse -- Making Life Easier for Firefighters / Fedor V. Fomin, Pinar Heggernes and Erik Jan van Leeuwen -- Counting Perfect Matchings in Graphs of Degree 3 / Martin Fürer -- M.C. Escher Wrap Artist: Aesthetic Coloring of Ribbon Patterns / Ellen Gethner, David G. Kirkpatrick and Nicholas J. Pippenger -- On the Complexity of Rolling Block and Alice Mazes / Markus Holzer and Sebastian Jakobi -- Grid Graphs with Diagonal Edges and the Complexity of Xmas Mazes / Markus Holzer and Sebastian Jakobi.
Algorithms and Complexity of Generalized River Crossing Problems / Hiro Ito, Stefan Langerman and Yuichi Yoshida -- Solving Tantrix via Integer Programming / Fumika Kino and Yushi Uno -- Scrabble Is PSPACE-Complete / Michael Lampis, Valia Mitsou and Karolina Sołtys -- Practical Algorithms for Generating a Random Ordering of the Elements of a Weighted Set / Kevin J. Lang -- Spanning Trees and the Complexity of Flood-Filling Games / Kitty Meeks and Alexander Scott -- Tron, a Combinatorial Game on Abstract Graphs / Tillmann Miltzow -- Divorcing Made Easy / Kirk Pruhs and Gerhard J. Woeginger -- A New Analysis of Best Fit Bin Packing / Jiří Sgall -- The Coolest Order of Binary Strings / Brett Stevens and Aaron Williams -- Hitori Number / Akira Suzuki, Kei Uchizawa and Takeaki Uno -- Computing Maximum Hamiltonian Paths in Complete Graphs with Tree Metric / Wojciech Rytter and Bartosz Szreder -- Gaming Is a Hard Job, But Someone Has to Do It! / Giovanni Viglietta -- Hardness of Mastermind / Giovanni Viglietta -- Scienceography: The Study of How Science Is Written / Graham Cormode, S. Muthukrishnan and Jinyun Yan.
Record Nr. UCHICAGO-11076912
[FUN (Conference) (6th : 2012 : Venice, Italy)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Theory and applications of satisfiability testing-- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings / Alessandro Cimatti, Roberto Sebastiani (eds.).
Theory and applications of satisfiability testing-- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings / Alessandro Cimatti, Roberto Sebastiani (eds.).
Creatore [SAT 2012 (2012 : Trento, Italy)]
Estensione 1 online resource.
Accesso persona Cimatti, Alessandro
Sebastiani, R. (Roberto)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Logics and Meanings of Programs
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Information and Communication, Circuits
ISBN 9783642316128
3642316123
3642316115
9783642316111
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Understanding IC3 / Aaron R. Bradley -- Satisfiability and The Art of Computer Programming / Donald Knuth -- Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break / Adrian Balint and Uwe Schöning -- Off the Trail: Re-examining the CDCL Algorithm / Alexandra Goultiaeva and Fahiem Bacchus -- An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning / Maria Luisa Bonet and Sam Buss -- Computing Resolution-Path Dependencies in Linear Time, / Friedrich Slivovsky and Stefan Szeider -- Strong Backdoors to Nested Satisfiability / Serge Gaspers and Stefan Szeider -- Extended Failed-Literal Preprocessing for Quantified Boolean Formulas / Allen Van Gelder, Samuel B. Wood and Florian Lonsing -- On Sequent Systems and Resolution for QBFs / Uwe Egly -- Solving QBF with Counterexample Guided Refinement / Mikoláš Janota, William Klieber, Joao Marques-Silva and Edmund Clarke -- Henkin Quantifiers and Boolean Formulae / Valeriy Balabanov, Hui-Ju Katherine Chiang and Jie-Hong Roland Jiang -- Lynx: A Programmatic SAT Solver for the RNA-Folding Problem / Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas and Martin C. Rinard, et al. -- Generalized Property Directed Reachability / Kryštof Hoder and Nikolaj Bjørner -- SMT-Aided Combinatorial Materials Discovery / Stefano Ermon, Ronan Le Bras, Carla P. Gomes, Bart Selman and R. Bruce van Dover -- Faulty Interaction Identification via Constraint Solving and Optimization / Jian Zhang, Feifei Ma and Zhiqiang Zhang.
Revisiting Clause Exchange in Parallel SAT Solving / Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez and Cédric Piette -- Designing Scalable Parallel SAT Solvers / Antti E.J. Hyvärinen and Norbert Manthey -- Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors / Lin Xu, Frank Hutter, Holger Hoos and Kevin Leyton-Brown -- Efficient SAT Solving under Assumptions / Alexander Nadel and Vadim Ryvchin -- Preprocessing in Incremental SAT / Alexander Nadel, Vadim Ryvchin and Ofer Strichman -- On Davis-Putnam Reductions for Minimally Unsatisfiable Clause-Sets / Oliver Kullmann and Xishun Zhao -- Improvements to Core-Guided Binary Search for MaxSAT / Antonio Morgado, Federico Heras and Joao Marques-Silva -- On Efficient Computation of Variable MUSes / Anton Belov, Alexander Ivrii, Arie Matsliah and Joao Marques-Silva -- Interpolant Strength Revisited / Georg Weissenbacher -- Exponential Lower Bounds for DPLL Algorithms on Satisfiable Random 3-CNF Formulas / Dimitris Achlioptas and Ricardo Menchaca-Mendez -- Parameterized Complexity of Weighted Satisfiability Problems / Nadia Creignou and Heribert Vollmer -- Fixed-Parameter Tractability of Satisfying beyond the Number of Variables / Robert Crowston, Gregory Gutin, Mark Jones, Venkatesh Raman and Saket Saurabh, et al. -- Finding Efficient Circuits for Ensemble Computation / Matti Järvisalo, Petteri Kaski, Mikko Koivisto and Janne H. Korhonen -- Conflict-Driven XOR-Clause Learning / Tero Laitinen, Tommi Junttila and Ilkka Niemelä.
Perfect Hashing and CNF Encodings of Cardinality Constraints / Yael Ben-Haim, Alexander Ivrii, Oded Margalit and Arie Matsliah -- The Community Structure of SAT Formulas / Carlos Ansótegui, Jesús Giráldez-Cru and Jordi Levy -- SATLab: X-Raying Random k-SAT (Tool Presentation) / Thomas Hugel -- Resolution-Based Certificate Extraction for QBF (Tool Presentation) / Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl and Armin Biere -- Coprocessor 2.0 -- A Flexible CNF Simplifier (Tool Presentation) / Norbert Manthey -- SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox (Tool Presentation) / Florian Corzilius, Ulrich Loup, Sebastian Junges and Erika Ábrahám -- CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers (Tool Presentation) / Stephan Kottler, Christian Zielke, Paul Seitz and Michael Kaufmann -- Azucar: A SAT-Based CSP Solver Using Compact Order Encoding (Tool Presentation) / Tomoya Tanjo, Naoyuki Tamura and Mutsunori Banbara -- SatX10: A Scalable Plug & Play Parallel SAT Framework (Tool Presentation) / Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal and Horst Samulowitz, et al. -- Improved Single Pass Algorithms for Resolution Proof Reduction (Poster Presentation) / Ashutosh Gupta -- Creating Industrial-Like SAT Instances by Clustering and Reconstruction (Poster Presentation) / Sebastian Burg, Stephan Kottler and Michael Kaufmann -- Incremental QBF Preprocessing for Partial Design Verification (Poster Presentation) / Paolo Marin, Christian Miller and Bernd Becker -- Concurrent Cube-and-Conquer (Poster Presentation) / Peter van der Tak, Marijn J.H. Heule and Armin Biere.
Satisfying versus Falsifying in Local Search for Satisfiability (Poster Presentation) / Chu Min Li and Yu Li -- Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability (Poster Presentation) / Chu Min Li, Wanxia Wei and Yu Li -- Towards Massively Parallel Local Search for SAT (Poster Presentation) / Alejandro Arbelaez and Philippe Codognet -- Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod (Poster Presentation) / Markus Iser, Mana Taghdiri and Carsten Sinz -- A Cardinality Solver: More Expressive Constraints for Free (Poster Presentation) / Mark H. Liffiton and Jordyn C. Maglalang -- Single-Solver Algorithms for 2QBF (Poster Presentation) / Sam Bayless and Alan J. Hu -- An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition (Poster Presentation) / Emir Demirović and Haris Gavranović -- Intensification Search in Modern SAT Solvers (Poster Presentation) / Saïd Jabbour, Jerry Lonlac and Lakhdar Saïs -- Using Term Rewriting to Solve Bit-Vector Arithmetic Problems (Poster Presentation) / Iago Abal, Alcino Cunha, Joe Hurd and Jorge Sousa Pinto -- Learning Polynomials over GF(2) in a SAT Solver (Poster Presentation) / George Katsirelos and Laurent Simon -- Learning Back-Clauses in SAT (Poster Presentation) / Ashish Sabharwal, Horst Samulowitz and Meinolf Sellmann -- Augmenting Clause Learning with Implied Literals (Poster Presentation) / Arie Matsliah, Ashish Sabharwal and Horst Samulowitz.
Record Nr. UCHICAGO-11076994
[SAT 2012 (2012 : Trento, Italy)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Parallel problem solving from nature-- PPSN XII : 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings. Part I / Carlos A. Coello Coello [and others] (eds.).
Parallel problem solving from nature-- PPSN XII : 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings. Part I / Carlos A. Coello Coello [and others] (eds.).
Creatore [International Conference on Parallel Problem Solving from Nature (12th : 2012 : Taormina, Italy)]
Estensione 1 online resource.
Accesso persona Coello Coello, Carlos A.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Computational complexity
Artificial intelligence
Computational Biology/Bioinformatics
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
ISBN 9783642329371
3642329373
9783642329364
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Convergence of the IGO-Flow of Isotropic Gaussian Distributions on Convex Quadratic Problems / Tobias Glasmachers -- Homogeneous and Heterogeneous Island Models for the Set Cover Problem / Andrea Mambrini, Dirk Sudholt and Xin Yao -- Geometric Semantic Genetic Programming / Alberto Moraglio, Krzysztof Krawiec and Colin G. Johnson -- Efficient Negative Selection Algorithms by Sampling and Approximate Counting / Johannes Textor -- Convergence of the Continuous Time Trajectories of Isotropic Evolution Strategies on Monotonic C22-composite Functions / Youhei Akimoto, Anne Auger and Nikolaus Hansen -- A Parameterized Runtime Analysis of Simple Evolutionary Algorithms for Makespan Scheduling / Andrew M. Sutton and Frank Neumann -- On Algorithm-Dependent Boundary Case Identification for Problem Classes / Chao Qian, Yang Yu and Zhi-Hua Zhou -- Cumulative Step-Size Adaptation on Linear Functions / Alexandre Chotard, Anne Auger and Nikolaus Hansen -- On the Behaviour of the (1, [lambda])-[sigma]SA-ES for a Constrained Linear Problem / Dirk V. Arnold -- An Empirical Evaluation of O(1) Steepest Descent for NK-Landscapes / Darrell Whitley, Wenxiang Chen and Adele Howe -- Experimental Supplements to the Computational Complexity Analysis of Genetic Programming for Problems Modelling Isolated Program Semantics / Tommaso Urli, Markus Wagner and Frank Neumann.
ACO Beats EA on a Dynamic Pseudo-Boolean Function / Timo Kötzing and Hendrik Molter -- Runtime Analysis of Simple Interactive Evolutionary Biobjective Optimization Algorithms / Dimo Brockhoff, Manuel López-Ibáñez, Boris Naujoks and Günter Rudolph -- Parsimony Pressure versus Multi-objective Optimization for Variable Length Representations / Markus Wagner and Frank Neumann -- An Evolutionary and Graph-Based Method for Image Segmentation / Alessia Amelio and Clara Pizzuti -- Real-Time GPU Based Road Sign Detection and Classification / Roberto Ugolotti, Youssef S.G. Nashed and Stefano Cagnoni -- Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP / Michaela Sikulova and Lukas Sekanina -- Transfer Learning, Soft Distance-Based Bias, and the Hierarchical BOA / Martin Pelikan, Mark W. Hauschild and Pier Luca Lanzi -- Reinforcement Learning with N-tuples on the Game Connect-4 / Markus Thill, Patrick Koch and Wolfgang Konen -- Efficient Sampling and Handling of Variance in Tuning Data Mining Models / Patrick Koch and Wolfgang Konen -- A Spatial EA Framework for Parallelizing Machine Learning Methods / Uday Kamath, Johan Kaers, Amarda Shehu and Kenneth A. De Jong -- Competing Mutating Agents for Bayesian Network Structure Learning / Olivier Regnier-Coudert and John McCall.
A Meta-learning Prediction Model of Algorithm Performance for Continuous Optimization Problems / Mario A. Muñoz, Michael Kirley and Saman K. Halgamuge -- Pruning GP-Based Classifier Ensembles by Bayesian Networks / C. De Stefano, G. Folino, F. Fontanella and A. Scotto di Freca -- A Multi-parent Search Operator for Bayesian Network Building / David Iclănzan -- Enhancing Learning Capabilities by XCS with Best Action Mapping / Masaya Nakata, Pier Luca Lanzi and Keiki Takadama -- Using Expert Knowledge to Guide Covering and Mutation in a Michigan Style Learning Classifier System to Detect Epistasis and Heterogeneity / Ryan J. Urbanowicz, Delaney Granizo-Mackenzie and Jason H. Moore -- On Measures to Build Linkage Trees in LTGA / Peter A.N. Bosman and Dirk Thierens -- Evolvability Analysis of the Linkage Tree Genetic Algorithm / Dirk Thierens and Peter A.N. Bosman -- Alternative Restart Strategies for CMA-ES / Ilya Loshchilov, Marc Schoenauer and Michèle Sebag -- Are State-of-the-Art Fine-Tuning Algorithms Able to Detect a Dummy Parameter? / Elizabeth Montero, María-Cristina Riff, Leslie Pérez-Caceres and Carlos A. Coello Coello -- Compressed Network Complexity Search / Faustino Gomez, Jan Koutník and Jürgen Schmidhuber -- Single Node Genetic Programming on Problems with Side Effects / David Jackson.
Generalized Compressed Network Search / Rupesh Kumar Srivastava, Jürgen Schmidhuber and Faustino Gomez -- Analyzing Module Usage in Grammatical Evolution / John Mark Swafford, Erik Hemberg, Michael O'Neill and Anthony Brabazon -- On the Anytime Behavior of IPOP-CMA-ES / Manuel López-Ibáñez, Tianjun Liao and Thomas Stützle -- HappyCat -- A Simple Function Class Where Well-Known Direct Search Algorithms Do Fail / Hans-Georg Beyer and Steffen Finck -- Differential Gene Expression with Tree-Adjunct Grammars / Eoin Murphy, Miguel Nicolau, Erik Hemberg, Michael O'Neill and Anthony Brabazon -- Analysing the Effects of Diverse Operators in a Genetic Programming System / MinHyeok Kim, Bob (RI) McKay, Kangil Kim and Xuan Hoai Nguyen -- Quantitative Analysis of Locally Geometric Semantic Crossover / Krzysztof Krawiec and Tomasz Pawlak -- Length Scale for Characterising Continuous Optimization Problems / Rachael Morgan and Marcus Gallagher -- Analyzing the Behaviour of Population-Based Algorithms Using Rayleigh Distribution / Gabriel Luque and Enrique Alba -- Variable Transformations in Estimation of Distribution Algorithms / Davide Cucci, Luigi Malagò and Matteo Matteucci.
Controlling Overfitting in Symbolic Regression Based on a Bias/Variance Error Decomposition / Alexandros Agapitos, Anthony Brabazon and Michael O'Neill -- On Spectral Invariance of Randomized Hessian and Covariance Matrix Adaptation Schemes / Sebastian U. Stich and Christian L. Müller -- Variable Neighborhood Search and GRASP for Three-Layer Hierarchical Ring Network Design / Christian Schauer and Günther R. Raidl -- Extracting Key Gene Regulatory Dynamics for the Direct Control of Mechanical Systems / Jean Krohn and Denise Gorse -- An Evolutionary Optimization Approach for Bulk Material Blending Systems / Michael P. Cipold, Pradyumn Kumar Shukla, Claus C. Bachmann, Kaibin Bao and Hartmut Schmeck -- Study of Cancer Hallmarks Relevance Using a Cellular Automaton Tumor Growth Model / José Santos and Ángel Monteagudo -- Between Selfishness and Altruism: Fuzzy Nash-Berge-Zhukovskii Equilibrium / Réka Nagy, Noémi Gaskó, Rodica Ioana Lung and D. Dumitrescu -- A Spanning Tree-Based Encoding of the MAX CUT Problem for Evolutionary Search / Kisung Seo, Soohwan Hyun and Yong-Hyuk Kim -- A Hybrid Approach to Piecewise Modelling of Biochemical Systems / Zujian Wu, Shengxiang Yang and David Gilbert -- An Empirical Comparison of CMA-ES in Dynamic Environments / Chun-Kit Au and Ho-Fung Leung.
Record Nr. UCHICAGO-11077257
[International Conference on Parallel Problem Solving from Nature (12th : 2012 : Taormina, Italy)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Simulated evolution and learning : 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings / Lam Thu Bui [and others] (eds.).
Simulated evolution and learning : 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012 : proceedings / Lam Thu Bui [and others] (eds.).
Creatore [SEAL 2012 (2012 : Hanoi, Vietnam)]
Estensione 1 online resource (xiii, 512 pages) : illustrations.
Accesso persona Bui, Lam Thu.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computational complexity
Data mining
Artificial intelligence
Computer simulation
Computation by Abstract Devices
Simulation and Modeling
Discrete Mathematics in Computer Science
Information Systems Applications (incl. Internet)
ISBN 9783642348594
3642348599
3642348580
9783642348587
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Evolutionary Algorithms -- The Influence of the Number of Initial Feasible Solutions on the Performance of an Evolutionary Optimization Algorithm / Saber M. Elsayed, Ruhul A. Sarker, Daryl L. Essam -- Concurrent Differential Evolution Based on Generational Model for Multi-core CPUs / Kiyoharu Tagawa -- Figure of Merit Based Fitness Functions in Genetic Programming for Edge Detection / Wenlong Fu, Mark Johnston, Mengjie Zhang -- An Evolutionary Algorithm for the Over-constrained Airport Baggage Sorting Station Assignment Problem / Amadeo Ascó, Jason A.D. Atkin, Edmund K. Burke -- A Non-parametric Statistical Dominance Operator for Noisy Multiobjective Optimization / Dung H. Phan, Junichi Suzuki -- The Emergence of New Genes in EcoSim and Its Effect on Fitness / Marwa Khater, Elham Salehi, Robin Gras -- Mass-Dispersed Gravitational Search Algorithm for Gene Regulatory Network Model Parameter Identification / Mohsen Davarynejad, Zary Forghany, Jan van den Berg.
A Density Based Approach to the Access Point Layout Smart Distribution Grid Design Optimization Problem / Bin Zhang, Kamran Shafi, Hussein A. Abbass -- Multi-modal Valley-Adaptive Memetic Algorithm for Efficient Discovery of First-Order Saddle Points / Mostafa Ellabaan, Xianshun Chen, Nguyen Quang Huy -- Ensemble Fuzzy Rule-Based Classifier Design by Parallel Distributed Fuzzy GBML Algorithms / Hisao Ishibuchi, Masakazu Yamane, Yusuke Nojima -- HEMH2: An Improved Hybrid Evolutionary Metaheuristics for 0/1 Multiobjective Knapsack Problems / Ahmed Kafafy, Ahmed Bounekkar, Stéphane Bonnevay -- Theoretical Developments -- Guided Reproduction in Differential Evolution / Prashant Singh Rana, Harish Sharma, Mahua Bhattacharya, Anupam Shukla -- A Study of Breakout Local Search for the Minimum Sum Coloring Problem / Una Benlic, Jin-Kao Hao -- XCS with Adaptive Action Mapping / Masaya Nakata, Pier Luca Lanzi, Keiki Takadama -- DEAL: A Direction-Guided Evolutionary Algorithm / Cuong C. Vu, Lam Thu Bui, Hussein A. Abbass.
Introduction of a Mutation Specific Fast Non-dominated Sorting GA Evolved for Biochemical Optimizations / Susanne Rosenthal, Nail El-Sourani, Markus Borschbach -- Using Hybrid Dependency Identification with a Memetic Algorithm for Large Scale Optimization Problems / Eman Sayed, Daryl Essam, Ruhul Sarker -- Application of Cooperative Convolution Optimization for 13C Metabolic Flux Analysis: Simulation of Isotopic Labeling Patterns Based on Tandem Mass Spectrometry Measurements / Rohitash Chandra, Mengjie Zhang, Lifeng Peng -- Swarm Intelligence -- An Efficient Two-Phase Ant Colony Optimization Algorithm for the Closest String Problem / Hoang Xuan Huan, Dong Do Duc, Nguyen Manh Ha -- Evolution of Intrinsic Motives in Multi-agent Simulations / Kamran Shafi, Kathryn E. Merrick, Essam Debie -- Swarm Intelligence -- A Hybrid Particle Swarm Optimization Approach to Bernoulli Mixture Models / Faezeh Frouzesh, Yuichi Hirose, Shirley Pledger, Mahdi Setayesh.
An Agent-Based Model for Simulation of Traffic Network Status / Manh Hung Nguyen, Tuong Vinh Ho, Manh Son Nguyen, Thi Hoai Phuong Phan, Thi Ha Phan -- Self-Adaptive Particle Swarm Optimization / Adiel Ismail, Andries P. Engelbrecht -- Evaporation Mechanisms for Particle Swarm Optimization / Juan Rada-Vilela, Mengjie Zhang, Winston Seah -- The Performance and Sensitivity of the Parameters Setting on the Best-so-far ABC / Anan Banharnsakun, Booncharoen Sirinaovakul, Tiranee Achalakul -- FAME, Soft Flock Formation Control for Collective Behavior Studies and Rapid Games Development / Choon Sing Ho, Yew-Soon Ong, Xianshun Chen, Ah-Hwee Tan -- Data Mining -- Incremental Spatial Clustering in Data Mining Using Genetic Algorithm and R-Tree / Nam Nguyen Vinh, Bac Le -- Personalized Email Recommender System Based on User Actions / Quang Minh Ha, Quang Anh Tran, Thu Trang Luyen.
Developing Attention Focus Metrics for Autonomous Hypothesis Generation in Data Mining / Bing Wang, Kathryn E. Merrick, Hussein A. Abbass -- Emergent Self Organizing Maps for Text Cluster Visualization by Incorporating Ontology Based Descriptors / Kusum Kumari Bharti, Pramod Kumar Singh -- Online Handwriting Recognition Using Multi Convolution Neural Networks / Dũng Việt Phạm -- A Genetic Programming Approach to Hyper-Heuristic Feature Selection / Rachel Hunt, Kourosh Neshatian, Mengjie Zhang -- A New Approach to Vision-Based Fire Detection Using Statistical Features and Bayes Classifier / Ha Dai Duong, Dao Thanh Tinh -- Learning Methodologies -- Automatic Discovery of Optimisation Search Heuristics for Two Dimensional Strip Packing Using Genetic Programming / Su Nguyen, Mengjie Zhang, Mark Johnston, Kay Chen Tan -- Solving Graph Coloring Problem by Fuzzy Clustering-Based Genetic Algorithm / Young-Seol Lee, Sung-Bae Cho -- Efficient Neuroevolution for a Quadruped Robot / Xu Shengbo, Hirotaka Moriguchi, Shinichi Honiden.
Learning and Generating Folk Melodies Using MPF-Inspired Hierarchical Self-Organising Maps / Edwin Hui-Hean Law, Somnuk Phon-Amnuaisuk -- Multi Objective Learning Classifier Systems Based Hyperheuristics for Modularised Fleet Mix Problem / Kamran Shafi, Axel Bender, Hussein A. Abbass -- Where Should We Stop? An Investigation on Early Stopping for GP Learning / Thi Hien Nguyen, Xuan Hoai Nguyen, Bob McKay, Quang Uy Nguyen -- From Subjective to Objective Metrics for Evolutionary Story Narration Using Event Permutations / Kun Wang, Vinh Bui, Eleni Petraki, Hussein A. Abbass -- Learning Methodologies -- GPU Accelerated Genetic Clustering / Pavel Krömer, Jan Platoš, Václav Snášel -- Memetic Input Variable Selection in Neuro-Genetic Prediction System / Jacek Mańdziuk, Marcin Jaruszewicz -- Learning Rule for TSK Fuzzy Logic Systems Using Interval Type-2 Fuzzy Subtractive Clustering / Binh Huy Pham, Hai Trung Ha, Long Thanh Ngo -- Real-World Applications.
Constrained Layout Optimization in Satellite Cabin Using a Multiagent Genetic Algorithm / Jing Liu -- A Multi-Objective Approach for Master's Thesis Committees Scheduling Using DMEA / Lam T. Bui, Viet Hoang -- Coupler-Curve Synthesis of a Planar Four-Bar Mechanism Using NSGA-II / Jaideep Badduri, Rangaprasad Arun Srivatsan, Gurunathan Saravana Kumar -- A Simulation Model for Optimise the Fire Evacuation Configuration in the Metro Supermarket of Hanoi / Manh Hung Nguyen, Tuong Vinh Ho, Jean-Daniel Zucker -- Interactive GA Flock Brush for Non-Photorealistic Rendering / Hsueh En Huang, Meng Hiot Lim, Xianshun Chen, Choon Sing Ho -- Generating Diverse Behaviors of Evolutionary Robots with Speciation for Theory of Mind / Si-Hyuk Yi, Sung-Bae Cho -- Improving Gender Recognition Using Genetic Algorithms / Abbas Roayaie Ardakany, Sushil J. Louis.
Record Nr. UCHICAGO-11077789
[SEAL 2012 (2012 : Hanoi, Vietnam)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings / by Somenath Biswas, Kesav V. Nori
Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings / by Somenath Biswas, Kesav V. Nori
Creatore [Biswas, Somenath]
Accesso persona Nori, Kesav V.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Combinatorics
Computation by Abstract Devices
Computer Graphics
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
ISBN 9783540549673
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354980
[Biswas, Somenath]  
Software
Lo trovi qui: University of Chicago
Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings / by Jan Vytopil
Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings / by Jan Vytopil
Creatore [Vytopil, Jan.]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Computation by Abstract Devices
Control Structures and Microprogramming
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Probability Theory and Stochastic Processes
Statistics, general
ISBN 9783540550921
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7354990
[Vytopil, Jan.]  
Software
Lo trovi qui: University of Chicago
The Nested Universal Relation Database Model [electronic resource] / by Mark Levene
The Nested Universal Relation Database Model [electronic resource] / by Mark Levene
Creatore [Levene, Mark]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Computation by Abstract Devices
Database Management
Software Engineering
ISBN 9783540554936
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355014
[Levene, Mark]  
Software
Lo trovi qui: University of Chicago