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.
Language and automata theory and applications [electronic resource] : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).
Language and automata theory and applications [electronic resource] : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).
Creatore [LATA (Conference) (6th : 2012 : La Coruña, Spain)]
Estensione 1 online resource (xiv, 552 p.)
Disciplina 004
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Computer Appl. in Social and Behavioral Sciences
ISBN 9783642283321 (electronic bk.)
3642283322 (electronic bk.)
9783642283314
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960092783503681
[LATA (Conference) (6th : 2012 : La Coruña, Spain)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Natural and artificial computation in engineering and medical applications [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings. Part II / José Manuel Ferrández Vicente...[et al.] (eds.).
Natural and artificial computation in engineering and medical applications [electronic resource] : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings. Part II / José Manuel Ferrández Vicente...[et al.] (eds.).
Creatore [International Work-Conference on the Interplay Between Natural and Artificial Computation (5th : 2013 : Mallorca, Spain)]
Estensione 1 online resource (xxv, 474 p.)
Disciplina 006.3
Accesso persona Ferrández Vicente, José Manuel
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Optical pattern recognition
Bioinformatics
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Computational Biology/Bioinformatics
Pattern Recognition
Information Systems Applications (incl. Internet)
ISBN 9783642386220 (electronic bk.)
3642386229 (electronic bk.)
9783642386213
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960107333503681
[International Work-Conference on the Interplay Between Natural and Artificial Computation (5th : 2013 : Mallorca, Spain)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Parameterized and exact computation [electronic resource] : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised selected papers / edited by Dániel Marx, Peter Rossmanith
Parameterized and exact computation [electronic resource] : 6th International Symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011. Revised selected papers / edited by Dániel Marx, Peter Rossmanith
Creatore [IPEC (Symposium) (6th : 2011 : Saarbrücken, Germany)]
Estensione 1 online resource (viii, 271 p.)
Disciplina 511.352
Accesso persona Marx, Daniel
Rossmanith, Peter
Genere/Forma Electronic books
Soggetto non controllato Computer science
Information theory
Computer software
Computational complexity
Algebra -- Data processing
Algorithms
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Theory of Computation
Symbolic and Algebraic Manipulation
Computation by Abstract Devices
ISBN 9783642280504 (electronic bk.)
3642280501 (electronic bk.)
9783642280498
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On Multiway Cut Parameterized above Lower Bounds / Marek Cygan, Marcin Pilipczuk, Michał Pilipczuk and Jakub Onufry Wojtaszczyk -- Parameterized Complexity of Firefighting Revisited / Marek Cygan, Fedor V. Fomin and Erik Jan van Leeuwen -- Parameterized Complexity in Multiple-Interval Graphs: Domination / Minghui Jiang and Yong Zhang -- A Faster Algorithm for Dominating Set Analyzed by the Potential Method / Yoichi Iwata -- Contracting Graphs to Paths and Trees / Pinar Heggernes, Pim van 't Hof, Benjamin Lévêque, Daniel Lokshtanov and Christophe Paul -- Increasing the Minimum Degree of a Graph by Contractions / Petr A. Golovach, Marcin Kamiński, Daniël Paulusma and Dimitrios M. Thilikos -- Planar Disjoint-Paths Completion / Isolde Adler, Stavros G. Kolliopoulos and Dimitrios M. Thilikos -- Sparse Solutions of Sparse Linear Systems: Fixed-Parameter Tractability and an Application of Complex Group Testing / Peter Damaschke -- New Upper Bounds for MAX-2-SAT and MAX-2-CSP w.r.t. the Average Variable Degree / Alexander Golovnev -- Improved Parameterized Algorithms for above Average Constraint Satisfaction / Eun Jung Kim and Ryan Williams -- On Polynomial Kernels for Structural Parameterizations of Odd Cycle Transversal / Bart M. P. Jansen and Stefan Kratsch -- Kernel Bounds for Path and Cycle Problems / Hans L. Bodlaender, Bart M. P. Jansen and Stefan Kratsch -- On the Hardness of Losing Width / Marek Cygan, Daniel Lokshtanov, Marcin Pilipczuk, Michał Pilipczuk and Saket Saurabh -- Safe Approximation and Its Relation to Kernelization / Jiong Guo, Iyad Kanj and Stefan Kratsch -- Simpler Linear-Time Kernelization for Planar Dominating Set / Torben Hagerup -- Linear-Time Computation of a Linear Problem Kernel for Dominating Set on Planar Graphs / René van Bevern, Sepp Hartung, Frank Kammer, Rolf Niedermeier and Mathias Weller -- Tight Complexity Bounds for FPT Subgraph Problems Parameterized by Clique-Width / Hajo Broersma, Petr A. Golovach and Viresh Patel -- Finding Good Decompositions for Dynamic Programming on Dense Graphs / Eivind Magnus Hvidevold, Sadia Sharmin, Jan Arne Telle and Martin Vatshelle -- Parameterized Maximum Path Coloring / Michael Lampis -- On Cutwidth Parameterized by Vertex Cover / Marek Cygan, Daniel Lokshtanov, Marcin Pilipczuk, Michał Pilipczuk and Saket Saurabh -- Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics / Robert Ganian.
Record Nr. UPENN-9960092993503681
[IPEC (Symposium) (6th : 2011 : Saarbrücken, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Evolutionary computation, machine learning and data mining in bioinformatics [electronic resource] : 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012. Proceedings / Mario Giacobini, Leonardo Vanneschi, William S. Bush (eds.).
Evolutionary computation, machine learning and data mining in bioinformatics [electronic resource] : 10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012. Proceedings / Mario Giacobini, Leonardo Vanneschi, William S. Bush (eds.).
Creatore [EvoBIO 2012 (2012 : Málaga, Spain)]
Estensione 1 online resource (xiii, 253 p.)
Disciplina 570.285
Accesso persona Giacobini, Mario
Vanneschi, Leonardo
Bush, William S.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Bioinformatics
Computational Biology/Bioinformatics
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
ISBN 9783642290664 (electronic bk.)
3642290663 (electronic bk.)
9783642290657
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automatic Task Decomposition for the NeuroEvolution of Augmenting Topologies (NEAT) Algorithm / Timmy Manning and Paul Walsh -- Evolutionary Reaction Systems / Luca Manzoni, Mauro Castelli and Leonardo Vanneschi -- Optimizing the Edge Weights in Optimal Assignment Methods for Virtual Screening with Particle Swarm Optimization / Lars Rosenbaum, Andreas Jahn and Andreas Zell -- Lévy-Flight Genetic Programming: Towards a New Mutation Paradigm / Christian Darabos, Mario Giacobini, Ting Hu and Jason H. Moore -- Understanding Zooplankton Long Term Variability through Genetic Programming / Simone Marini and Alessandra Conversi -- Inferring Disease-Related Metabolite Dependencies with a Bayesian Optimization Algorithm / Holger Franken, Alexander Seitz, Rainer Lehmann, Hans-Ulrich Häring and Norbert Stefan, et al. -- A GPU-Based Multi-swarm PSO Method for Parameter Estimation in Stochastic Biological Systems Exploiting Discrete-Time Target Series / Marco S. Nobile, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri and Dario Pescini -- Tracking the Evolution of Cooperation in Complex Networked Populations / Flávio L. Pinheiro, Francisco C. Santos and Jorge M. Pacheco -- GeNet: A Graph-Based Genetic Programming Framework for the Reverse Engineering of Gene Regulatory Networks / Leonardo Vanneschi, Matteo Mondini, Martino Bertoni, Alberto Ronchi and Mattia Stefano -- Comparing Multiobjective Artificial Bee Colony Adaptations for Discovering DNA Motifs / David L. González-Álvarez, Miguel A. Vega-Rodríguez, Juan A. Gómez-Pulido and Juan M. Sánchez-Pérez -- The Role of Mutations in Whole Genome Duplication / Qinxin Pan, Christian Darabos and Jason H. Moore -- Comparison of Methods for Meta-dimensional Data Analysis Using in Silico and Biological Data Sets / Emily R. Holzinger, Scott M. Dudek, Alex T. Frase, Brooke Fridley and Prabhakar Chalise, et al.
Inferring Phylogenetic Trees Using a Multiobjective Artificial Bee Colony Algorithm / Sergio Santander-Jiménez, Miguel A. Vega-Rodríguez, Juan A. Gómez-Pulido and Juan M. Sánchez-Pérez -- Prediction of Mitochondrial Matrix Protein Structures Based on Feature Selection and Fragment Assembly / Gualberto Asencio-Cortés, Jesús S. Aguilar-Ruiz, Alfonso E. Márquez-Chamorro, Roberto Ruiz and Cosme E. Santiesteban-Toca -- Feature Selection for Lung Cancer Detection Using SVM Based Recursive Feature Elimination Method / Kesav Kancherla and Srinivas Mukkamala -- Measuring Gene Expression Noise in Early Drosophila Embryos: The Highly Dynamic Compartmentalized Micro-environment of the Blastoderm Is One of the Main Sources of Noise / Alexander V. Spirov, Nina E. Golyandina, David M. Holloway, Theodore Alexandrov and Ekaterina N. Spirova, et al. -- Artificial Immune Systems Perform Valuable Work When Detecting Epistasis in Human Genetic Datasets / Delaney Granizo-Mackenzie and Jason H. Moore -- A Biologically Informed Method for Detecting Associations with Rare Variants / Carrie C. Buchanan, John R. Wallace, Alex T. Frase, Eric S. Torstenson and Sarah A. Pendergrass, et al. -- Complex Detection in Protein-Protein Interaction Networks: A Compact Overview for Researchers and Practitioners / Clara Pizzuti, Simona E. Rombo and Elena Marchiori -- Short-Range Interactions and Decision Tree-Based Protein Contact Map Predictor / Cosme E. Santiesteban-Toca, Gualberto Asencio-Cortés, Alfonso E. Márquez-Chamorro and Jesús S. Aguilar-Ruiz -- A NSGA-II Algorithm for the Residue-Residue Contact Prediction / Alfonso E. Márquez-Chamorro, Federico Divina, Jesús S. Aguilar-Ruiz, Jaume Bacardit and Gualberto Asencio-Cortés, et al. -- In Silico Infection of the Human Genome / W. B. Langdon and M. J. Arno -- Improving Phylogenetic Tree Interpretability by Means of Evolutionary Algorithms / Francesco Cerutti, Luigi Bertolotti, Tony L. Goldberg and Mario Giacobini.
Record Nr. UPENN-9960093383503681
[EvoBIO 2012 (2012 : Málaga, Spain)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Advances in computer games [electronic resource] : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised selected papers / H. Jaap van den Herik, Aske Plaat (eds.).
Advances in computer games [electronic resource] : 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised selected papers / H. Jaap van den Herik, Aske Plaat (eds.).
Creatore [ACG 2011 (2011 : Tilburg, Netherlands)]
Estensione 1 online resource (xxi, 356 p.) : ill
Disciplina 794.8
Accesso persona Herik, Jaap van den.
Plaat, Aske
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Electronic data processing
Artificial intelligence
Computation by Abstract Devices
Numeric Computing
ISBN 9783642318665 (electronic bk.)
3642318665 (electronic bk.)
9783642318658
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Accelerated UCT and Its Application to Two-Player Games / Junichi Hashimoto, Akihiro Kishimoto, Kazuki Yoshizoe and Kokolo Ikeda -- Revisiting Move Groups in Monte-Carlo Tree Search / Gabriel Van Eyck and Martin Müller -- PACHI: State of the Art Open Source Go Program / Petr Baudiš and Jean-loup Gailly -- Time Management for Monte-Carlo Tree Search in Go / Hendrik Baier and Mark H. M. Winands -- An MCTS Program to Play EinStein Würfelt Nicht! / Richard J. Lorentz -- Monte-Carlo Tree Search Enhancements for Havannah / Jan A. Stankiewicz, Mark H. M. Winands and Jos W. H. M. Uiterwijk -- Playout Search for Monte-Carlo Tree Search in Multi-player Games / J. (Pim) A. M. Nijssen and Mark H. M. Winands -- Towards a Solution of 7x7 Go with Meta-MCTS / Cheng-Wei Chou, Ping-Chiang Chou, Hassen Doghmen, Chang-Shing Lee and Tsan-Cheng Su, et al. -- MCTS Experiments on the Voronoi Game / Bruno Bouzy, Marc Métivier and Damien Pellier -- 4*4-Pattern and Bayesian Learning in Monte-Carlo Go / Jiao Wang, Shiyuan Li, Jitong Chen, Xin Wei and Huizhan Lv, et al. -- Temporal Difference Learning for Connect6 / I-Chen Wu, Hsin-Ti Tsai, Hung-Hsuan Lin, Yi-Shan Lin and Chieh-Min Chang, et al. -- Improving Temporal Difference Learning Performance in Backgammon Variants / Nikolaos Papahristou and Ioannis Refanidis -- CLOP: Confident Local Optimization for Noisy Black-Box Parameter Tuning / Rémi Coulom -- Analysis of Evaluation-Function Learning by Comparison of Sibling Nodes / Tomoyuki Kaneko and Kunihito Hoki -- Approximating Optimal Dudo Play with Fixed-Strategy Iteration Counterfactual Regret Minimization / Todd W. Neller and Steven Hnath -- The Global Landscape of Objective Functions for the Optimization of Shogi Piece Values with a Game-Tree Search / Kunihito Hoki and Tomoyuki Kaneko -- Solving breakthrough with Race Patterns and Job-Level Proof Number Search / Abdallah Saffidine, Nicolas Jouandeau and Tristan Cazenave -- Infinite Connect-Four Is Solved: Draw / Yoshiaki Yamaguchi, Kazunori Yamaguchi, Tetsuro Tanaka and Tomoyuki Kaneko -- Blunder Cost in Go and Hex / Henry Brausen, Ryan B. Hayward, Martin Müller, Abdul Qadir and David Spies -- Understanding Distributions of Chess Performances / Kenneth W. Regan, Bartlomiej Macieja and Guy McC. Haworth -- Position Criticality in Chess Endgames / Guy McC. Haworth and Á. Rusz -- On Board-Filling Games with Random-Turn Order and Monte Carlo Perfectness / Ingo Althöfer -- Modeling Games with the Help of Quantified Integer Linear Programs / Thorsten Ederer, Ulf Lorenz, Thomas Opfer and Jan Wolf -- Computing Strong Game-Theoretic Strategies in Jotto / Sam Ganzfried -- Online Sparse Bandit for Card Games / David L. St-Pierre, Quentin Louveaux and Olivier Teytaud -- Game Tree Search with Adaptive Resolution / Hung-Jui Chang, Meng-Tsung Tsai and Tsan-sheng Hsu -- Designing Casanova: A Language for Games / Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Giulia Costantini and Michele Bugliesi, et al. -- Affective Game Dialogues / Using Affect as an Explicit Input Method in Game Dialogue Systems / Michael Lankes and Thomas Mirlacher -- Generating Believable Virtual Characters Using Behavior Capture and Hidden Markov Models / Richard Zhao and Duane Szafron.
Record Nr. UPENN-9960097263503681
[ACG 2011 (2011 : Tilburg, Netherlands)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Advances in brain inspired cognitive systems [electronic resource] : 5th International Conference, BICS 2012, Shenyang, China, July 11-14, 2012. Proceedings / [edited by] Huaguang Zhang... [et al].
Advances in brain inspired cognitive systems [electronic resource] : 5th International Conference, BICS 2012, Shenyang, China, July 11-14, 2012. Proceedings / [edited by] Huaguang Zhang... [et al].
Creatore [Brain-inspired Cognitive Systems (Conference) (5th : 2012 : Shenyang, China)]
Estensione 1 online resource (xv, 422 p.) : ill
Disciplina 006.3
Accesso persona Zhang, Huaguang, 1959-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Pattern Recognition
Computation by Abstract Devices
ISBN 9783642315619 (electronic bk.)
3642315615 (electronic bk.)
9783642315602
3642315602
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto COGPARSE: Brain-Inspired Knowledge-Driven Full Semantics Parsing / Radical Construction Grammar, Categories, Knowledge-Based Parsing & Representation / Daniel J. Olsher -- Sentic Neural Networks: A Novel Cognitive Model for Affective Common Sense Reasoning / Thomas Mazzocco, Erik Cambria, Amir Hussain and Qiu-Feng Wang -- Individual Differences in Working Memory Capacity and Presence in Virtual Environments / Terry G. Rawlinson, Shulan Lu and Patrick Coleman -- An Ontology Driven and Bayesian Network Based Cardiovascular Decision Support Framework / Kamran Farooq, Amir Hussain, Stephen Leslie, Chris Eckl and Calum MacRae, et al. -- Semantically Inspired Electronic Healthcare Records / Kamran Farooq, Amir Hussain, Stephen Leslie, Chris Eckl and Calum MacRae, et al. -- A CSP-Based Orientation Detection Model / Hui Wei and Zheng Dong -- Evaluation of UAS Camera Operator Interfaces in a Simulated Task Environment: An Optical Brain Imaging Approach / Murat Perit Çakır, Abdullah Murat Şenyiğit, Daryal Murat Akay, Hasan Ayaz and Veysi İşler -- Cerebral Activation Patterns in the Preparation and Movement Periods of Spontaneous and Evoked Movements / Chunguang Li and Lining Sun -- Neurobiologically-Inspired Soft Switching Control of Autonomous Vehicles / Erfu Yang, Amir Hussain and Kevin Gurney -- An Intelligent Multiple-Controller Framework for the Integrated Control of Autonomous Vehicles / Amir Hussain, Rudwan Abdullah, Erfu Yang and Kevin Gurney -- Evolution of Small-World Properties in Embodied Networks / Derek Harter -- Brain Memory Inspired Template Updating Modeling for Robust Moving Object Tracking Using Particle Filter / Yujuan Qi, Yanjiang Wang and Tingting Xue -- VLSI Implementation of Barn Owl Superior Colliculus Network for Visual and Auditory Integration / Juan Huo and Alan Murray -- Membrane Computing Optimization Method Based on Catalytic Factor / Fuluo Wang, Yourui Huang, Ming Shi and Shanshan Wu --
Effect of Body Position on NIRS Based Hemodynamic Measures from Prefrontal Cortex / Murat Ozgoren, Merve Tetik, Kurtulus Izzetoglu, Adile Oniz and Banu Onaral -- Using Brain Activity to Predict Task Performance and Operator Efficiency / Hasan Ayaz, Scott Bunce, Patricia Shewokis, Kurtulus Izzetoglu and Ben Willems, et al. -- Arousal or "Activation" Dysfunction in the Frontal Region of Children with Attention-Deficit/Hyperactivity Disorder: Evidence from an Electroencephalogram Study / Ligang Wang, Jie Kong, Jing Luo, Wenbin Gao and Xianju Guo -- A New Italian Sign Language Database / Marco Fagiani, Emanuele Principi, Stefano Squartini and Francesco Piazza -- Study of Phase Relationships in ECoG Signals Using Hilbert-Huang Transforms / Gahangir Hossain, Mark H. Myers and Robert Kozma -- Treatment Status Predicts Differential Prefrontal Cortical Responses to Alcohol and Natural Reinforcer Cues among Alcohol Dependent Individuals / Scott C. Bunce, Kurtulus Izzetoglu, Meltem Izzetoglu, Hasan Ayaz and Kambiz Pourrezaei, et al. -- A Filtering Method for Pressure Time Series of Oil Pipelines / Jinhai Liu and Zhibo Yu -- The Role of Event Boundaries in Language: Perceiving and Describing the Sequence of Simultaneous Events / Shulan Lu and Lonnie Wakefield -- Hyperchaotification Control for a Class of 3D Four-Wing Chaotic Systems via State Feedback / Shuang Wu and Guohua Fu -- Semantic-Based Affect and Metaphor Interpretation in Virtual Drama / Li Zhang -- A Framework for Experience Representation / Jan Kaczmarek and Dominik Ryżko -- Emotional Balance as a Predictor of Impulse Control in Prisoners and Non-prisoners / Yunfeng Duan and Feng Jin -- Time Scales of Sensorimotor Contingencies / Alexander Maye and Andreas K. Engel -- Analysis of Birefringent Characteristics of Photonic Crystal Fibers Filled Magnetic Fluid / Yuyan Zhang and Donghua Li -- A Lateral Inhibitory Spiking Neural Network for Sparse Representation in Visual Cortex / Jiqian Liu and Yunde Jia -- Global Stability of a Class of High-Order Recurrent Neural Networks with Multiple Delays / Zhanshan Wang, Yongbin Zhao and Shuxian Lun --
Hybrid Neural Network Based on ART2--BP Information Fusion Control in Circulating Fluidized Bed Boiler (CFBB) / Peifeng Niu, Yunfei Ma, Pengfei Li, Yang Zhang and Guoqiang Li, et al. -- An Improved Single Neuron Adaptive PID Controller Based on Levenberg-Marquardt Algorithm / Ting-Ting Hu, Yu-Feng Zhuang and Jin Yu -- Variable Step Length Best Combination AEC Algorithm in IPC / Long Wu, Li-kun Xing, Meng-ran Zhou and Shuai Chen -- Stochastic Resonance in Excitable Neuronal System with Phase-Noise / Xiaoming Liang and Liang Zhao -- Emotion Recognition Based on Physiological Signals / Naiyu Wu, Huiping Jiang and Guosheng Yang -- A Comparative Study of Two Reference Estimation Methods in EEG Recording / Sanqing Hu, Yu Cao, Shihui Chen, Jianhai Zhang and Wanzeng Kong, et al. -- Single LFP Sorting for High-Resolution Brain-Chip Interfacing / Mufti Mahmud, Davide Travalin, Amir Hussain, Stefano Girardi and Marta Maschietto, et al. -- Variable Momentum Factor Odd Symmetry Error Function Blind Equalization Algorithm / Li-kun Xing, Xin Li and Ying-ge Han -- A Flexible Implementation Method of Distributed ANN / Yuzhen Pi, Quande Yuan and Xiangping Meng -- Prediction of Thermal Comfort Index Using Type-2 Fuzzy Neural Network / Chengdong Li, Jianqiang Yi, Ming Wang and Guiqing Zhang -- The Possibility of Using Simple Neuron Models to Design Brain-Like Computers / Hong Hu and Zhongzhi Shi -- A Parametric Survey for Facial Expression Database / Siyao Fu, Guosheng Yang, Xinkai Kuai and Rui Zheng -- Analysis of Pesticide Application Practices Using an Intelligent Agriculture Decision Support System (ADSS) / Ahsan Abdullah, Amir Hussain and Ahmed Barnawi -- Survey of the Facial Expression Recognition Research / Ting Wu, Siyao Fu and Guosheng Yang -- The Intelligent Identification and Elimination of Non-precipitation Echoes in the Environment of Low-Latitude Plateaus / Jian Wang, Na Zhao, Peng Li, Yong Yu and Fei Dai, et al. -- Road Sign Detection and Recognition from Video Stream Using HSV, Contourlet Transform and Local Energy Based Shape Histogram / Usman Zakir, Eran A. Edirishinghe and Amir Hussain.
Record Nr. UPENN-9960097543503681
[Brain-inspired Cognitive Systems (Conference) (5th : 2012 : Shenyang, China)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Hybrid artificial intelligent systems [electronic resource] : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings. Part I / Emilio Corchado...[et al.] (eds.).
Hybrid artificial intelligent systems [electronic resource] : 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings. Part I / Emilio Corchado...[et al.] (eds.).
Creatore [HAIS 2012 (2012 : Salamanca, Spain)]
Estensione 1 online resource (xxxii, 708 p.)
Disciplina 006.3
Accesso persona Corchado, Emilio
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Information storage and retrieval systems
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
Information Storage and Retrieval
ISBN 9783642289422 (electronic bk.)
3642289428 (electronic bk.)
9783642289415
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto An Agent Model for Incremental Rough Set-Based Rule Induction in Customer Relationship Management / Yu-Neng Fan and Ching-Chin Chern -- Case-Based Argumentation Infrastructure for Agent Societies / Jaume Jordán, Stella Heras and Vicente Julián -- The Application of Multi-Agent System in Monitoring and Control of Nonlinear Bioprocesses / Piotr Skupin and Mieczyslaw Metzger -- Agent Capability Taxonomy for Dynamic Environments / Jorge Agüero, Miguel Rebollo, Carlos Carrascosa and Vicente Julián -- Modeling Internet as a User-Adapted Speech Service / David Griol, Javier Carbó and José Manuel Molina -- Unsupervised Classification of Audio Signals by Self-Organizing Maps and Bayesian Labeling / Ricardo Cruz, Andrés Ortiz, Ana M. Barbancho and Isabel Barbancho -- Robust Speaker Identification Using Ensembles of Kernel Principal Component Analysis / IL-Ho Yang, Min-Seok Kim, Byung-Min So, Myung-Jae Kim and Ha-Jin Yu -- Application of Genetic Algorithms to Optimize a Truncated Mean k-Nearest Neighbours Regressor for Hotel Reservation Forecasting / Andrés Sanz-García, Julio Fernández-Ceniceros, Fernando Antoñanzas-Torres and F. Javier Martínez-de-Pisón-Ascacibar -- A Social Network-Based Approach to Expert Recommendation System / Elnaz Davoodi, Mohsen Afsharchi and Keivan Kianmehr -- Decentralized Multi-tasks Distribution in Heterogeneous Robot Teams by Means of Ant Colony Optimization and Learning Automata / Javier de Lope, Darío Maravall and Yadira Quiñonez -- Lipreading Procedure for Liveness Verification in Video Authentication Systems / Agnieszka Owczarek and Krzysztof Ślot.
Fuzzy Sliding Mode Control with Chattering Elimination for a Quadrotor Helicopter in Vertical Flight / S. Zeghlache, D. Saigaa, K. Kara, Abdelghani Harrag and A. Bouguerra -- Ensemble of Binary Learners for Reliable Text Categorization with a Reject Option / Giuliano Armano, Camelia Chira and Nima Hatami -- Spontaneous Facial Expression Recognition: Automatic Aggression Detection / Ewa Piątkowska and Jerzy Martyna -- A Memetic Approach to Project Scheduling that Maximizes the Effectiveness of the Human Resources Assigned to Project Activities / Virginia Yannibelli and Analía Amandi -- Hunting for Fraudsters in Random Forests / R. M. Konijn and W. Kowalczyk -- Neural Networks Ensembles Approach for Simulation of Solar Arrays Degradation Process / Vladimir Bukhtoyarov, Eugene Semenkin and Andrey Shabalov -- Using Genetic Algorithms to Improve Prediction of Execution Times of ML Tasks / Rattan Priya, Bruno Feres de Souza, André L. D. Rossi and André C. P. L. F. de Carvalho -- Hybrid Artificial Intelligence Approaches on Vehicle Routing Problem in Logistics Distribution / Dragan Simić and Svetlana Simić -- Fuzzy C-means Clustering with Bilateral Filtering for Medical Image Segmentation / Yuchen Liu, Kai Xiao, Alei Liang and Haibing Guan -- A Improved Clustering Analysis Method Based on Fuzzy C-Means Algorithm by Adding PSO Algorithm / Liang Pang, Kai Xiao, Alei Liang and Haibing Guan -- k-Means Clustering of Asymmetric Data / Dominik Olszewski -- A Max Metric to Evaluate a Cluster / Hosein Alizadeh, Hamid Parvin, Sajad Parvin, Zahra Rezaei and Moslem Mohamadi.
Nearest Cluster Classifier / Hamid Parvin, Moslem Mohamadi, Sajad Parvin, Zahra Rezaei and Behrouz Minaei Diffusion Maps for the Description of Meteorological Data / Ángela Fernández, Ana M. González, Julia Díaz and José R. Dorronsoro -- Computational Complexity Reduction and Interpretability Improvement of Distance-Based Decision Trees / Marcin Blachnik and Mirosław Kordos -- Improving the Generalization Capability of Hybrid Immune Detector Maturation Algorithm / Jungan Chen, Feng Liang and Zhaoxi Fang -- White Box Classification of Dissimilarity Data / Barbara Hammer, Bassam Mokbel, Frank-Michael Schleif and Xibin Zhu -- On Ensemble Classifiers for Nonintrusive Appliance Load Monitoring / Oliver Kramer, O. Wilken, P. Beenken, A. Hein and A. Hüwel, et al. -- Lee Path Replanner for Partially-Known Environments / Maciej Polańczyk, Przemysław Barański, Michał Strzelecki and Krzysztof Ślot -- Stroke Based Handwritten Character Recognition / D. Álvarez, R. Fernández and L. Sánchez -- KETO: A Knowledge Editing Tool for Encoding Condition - Action Guidelines into Clinical DSSs / Aniello Minutolo, Massimo Esposito and Giuseppe De Pietro -- Integration of Intelligent Information Technologies Ensembles for Modeling and Classification / Andrey Shabalov, Eugene Semenkin and Pavel Galushin -- Fusion of Modular Bayesian Networks for Context-Aware Decision Making / Seung-Hyun Lee and Sung-Bae Cho.
Real-World Problem for Checking the Sensitiveness of Evolutionary Algorithms to the Choice of the Random Number Generator / Miguel Cárdenas-Montes, Miguel A. Vega-Rodríguez and Antonio Gómez-Iglesias -- Hybrid Multi-objective Machine Learning Classification in Liver Transplantation / M. Pérez-Ortiz, M. Cruz-Ramírez, J. C. Fernández-Caballero and C. Hervás-Martínez -- Evolutionary Optimized Forest of Regression Trees: Application in Metallurgy / Mirosław Kordos, Jerzy Piotrowski, Szymon Bialka, Marcin Blachnik and Slawomir Golak, et al. -- Evolutionary Neural Networks for Product Design Tasks / Angela Bernardini, Javier Asensio, José Luis Olazagoitia and Jorge Biera -- An Incremental Hypersphere Learning Framework for Protein Membership Prediction / Noel Lopes, Daniel Correia, Carlos Pereira, Bernardete Ribeiro and António Dourado -- An Evolutionary Approach to Generate Solutions for Conflict Scenarios / Davide Carneiro, Cesar Analide, Paulo Novais and José Neves -- Initialization Procedures for Multiobjective Evolutionary Approaches to the Segmentation Issue / José L. Guerrero, Antonio Berlanga and José Manuel Molina -- Optimization of Neuro-Coefficient Smooth Transition Autoregressive Models Using Differential Evolution / Christoph Bergmeir, Isaac Triguero, Francisco Velasco and José Manuel Benítez.
ReactGA - The Search Space Transformation for the Local Optimum Escaping / Radosław Ziembiński -- PATMAP: Polyadenylation Site Identification from Next-Generation Sequencing Data / Xiaohui Wu, Meishuang Tang, Junfeng Yao, Shuiyuan Lin and Zhe Xiang, et al. -- How to Reduce Dimension while Improving Performance / Abdelghani Harrag, D. Saigaa, A. Bouchelaghem, M. Drif and S. Zeghlache, et al. -- On How Percolation Threshold Affects PSO Performance / Blanca Cases, Alicia D'Anjou and Abdelmalik Moujahid -- Pollen Grains Contour Analysis on Verification Approach / Norma Monzón García, Víctor Alfonso Elizondo Chaves, Juan Carlos Briceño and Carlos M. Travieso -- Modelling Stress Recognition in Conflict Resolution Scenarios / Marco Gomes, Davide Carneiro, Paulo Novais and José Neves -- Multilayer-Perceptron Network Ensemble Modeling with Genetic Algorithms for the Capacity of Bolted Lap Joint / Julio Fernández-Ceniceros, Andrés Sanz-García, Fernando Antoñanzas-Torres and F. Javier Martínez-de-Pisón-Ascacibar -- A Hybrid Classical Approach to a Fixed-Charged Transportation Problem / Camelia-M. Pintea, Corina Pop Sitar, Mara Hajdu-Macelaru and Pop Petrica -- Computing Optimal Solutions of a Linear Programming Problem with Interval Type-2 Fuzzy Constraints / Juan Carlos Figueroa-García and Germán Hernandez.
Supervision Strategy of a Solar Volumetric Receiver Using NN and Rule Based Techniques / Ramón Ferreiro García, José Luis Calvo Rolle and Francisco Javier Pérez Castelo -- Modeling an Operating System Based on Agents / Javier Palanca Cámara, Marti Navarro, Estefania Argente, Ana Garcia-Fornes and Vicente Julián -- An Empirical Comparison of Some Approximate Methods for Graph Coloring / Israel Rebollo-Ruiz and Manuel Graña -- A Predictive Evolutionary Algorithm for Dynamic Constrained Inverse Kinematics Problems / Patryk Filipiak, Krzysztof Michalak and Piotr Lipinski -- Non-linear Data Stream Compression: Foundations and Theoretical Results / Alfredo Cuzzocrea and Hendrik Decker -- Reasoning with Qualitative Velocity: Towards a Hybrid Approach / J. Golińska-Pilarek and E. Muñoz-Velasco -- Research of Neural Network Classifier Based on FCM and PSO for Breast Cancer Classification / Lei Zhang, Lin Wang, Xujiewen Wang, Keke Liu and Ajith Abraham -- Improving Evolved Alphabet Using Tabu Set / Jan Platos and Pavel Kromer -- Rough Sets-Based Identification of Heart Valve Diseases Using Heart Sounds / Mostafa A. Salama, Aboul Ella Hassanien, Jan Platos, Aly A. Fahmy and Vaclav Snasel -- A Novel Hybrid Intelligent Classifier to Obtain the Controller Tuning Parameters for Temperature Control / José Luis Calvo-Rolle, Emilio Corchado, Héctor Quintian-Pardo, Ramón Ferreiro García and Jesús Ángel Román, et al. -- SpaGRID: A Spatial Grid Framework for High Dimensional Medical Databases / Harleen Kaur, Ritu Chauhan, Mohd. Afshar Alam, Syed Aljunid and Mohd. Salleh.
Record Nr. UPENN-9960093193503681
[HAIS 2012 (2012 : Salamanca, Spain)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Research in computational molecular biology [electronic resource] : 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012, proceedings / Benny Chor (ed.).
Research in computational molecular biology [electronic resource] : 16th Annual International Conference, RECOMB 2012, Barcelona, Spain, April 21-24, 2012, proceedings / Benny Chor (ed.).
Creatore [International Conference on Research in Computational Molecular Biology (16th : 2012 : Barcelona, Spain)]
Estensione 1 online resource (xvi, 372 p.)
Disciplina 572.801/51
Accesso persona Chor, Benny
Genere/Forma Electronic books
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 (electronic bk.)
3642296270 (electronic bk.)
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. UPENN-9960093753503681
[International Conference on Research in Computational Molecular Biology (16th : 2012 : Barcelona, Spain)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Transactions on computational collective intelligence IX [electronic resource] / Ngoc Thanh Nguyen (ed.).
Transactions on computational collective intelligence IX [electronic resource] / Ngoc Thanh Nguyen (ed.).
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Nguyen, Ngoc Thanh (Computer scientist)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Information storage and retrieval systems
Artificial intelligence
Computer simulation
Computational Intelligence
Computation by Abstract Devices
ISBN 9783642368158 (electronic bk.)
3642368158 (electronic bk.)
9783642368141
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Experimental Study of the Population Parameters Settings in Cooperative Multi-agent System Solving Instances of the VRP / Dariusz Barbucha -- Agent-Based Simulation Analysis for Equilibrium Selection and Coordination Failure in Coordination Games Characterized by the Minimum Strategy / Ichiro Nishizaki, Tomohiro Hayashida -- Model of Rules for IT Organization Evolution / Jarosław Pastuszak, Cezary Orłowski -- Evaluation of Agents Interactions in a Context-Aware System / Nayat Sanchez-Pi, David Griol, Javier Carbo -- Ontological Modeling of a Class of Linked Economic Crimes / Jaroslaw Bak, Jolanta Cybulka -- Agent-Based and Population-Based Modeling of Trust Dynamics / Syed Waqar Jaffry, Jan Treur -- Universal Forgery Features Idea: A Solution for User-Adjusted Threshold in Signature Verification / Joanna Putz-Leszczynska, Andrzej Pacut -- Cognitive Supervision and Control of Robotic Inspection-Intervention System Using Qualitative Spatio-Temporal Representation and Reasoning / Janusz Bedkowski -- Differential Evolution as a New Method of Computing Nash Equilibria / Urszula Boryczka, Przemyslaw Juszczuk -- Simulation of Customers Behaviour as a Method for Explaining Certain Market Characteristic / Marek Zachara, Ewa Majchrzyk-Zachara.
Record Nr. UPENN-9960104203503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Rough sets and knowledge technology [electronic resource] : 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011 : proceedings / JingTao Yao ... [et al.] (eds.).
Rough sets and knowledge technology [electronic resource] : 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011 : proceedings / JingTao Yao ... [et al.] (eds.).
Creatore [RSKT 2011 (2011 : Banff, Alta.)]
Estensione 1 online resource (xviii, 771 p.) : ill. (some col.
Disciplina 006.3
Accesso persona Yao, JingTao
Genere/Forma Electronic books
Soggetto non controllato Computer science
Database management
Data mining
Artificial intelligence
Optical pattern recognition
Artificial Intelligence (incl. Robotics)
Data Mining and Knowledge Discovery
Mathematical Logic and Formal Languages
Computation by Abstract Devices
Pattern Recognition
ISBN 9783642244254 (electronic bk.)
3642244254 (electronic bk.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960086493503681
[RSKT 2011 (2011 : Banff, Alta.)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania