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.
Advances in swarm intelligence : third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings. Part II / Ying Tan, Yuhui Shi, Zhen Ji (eds.).
Advances in swarm intelligence : third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings. Part II / Ying Tan, Yuhui Shi, Zhen Ji (eds.).
Creatore [ICSI (Conference) (3rd : 2012 : Shenzhen, China)]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Tan, Ying, 1964-
Shi, Yuhui
Ji, Zhen
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Data mining
Artificial intelligence
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
ISBN 9783642310201
3642310206
9783642310195
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto An Automatic Learning System to Derive Multipole and Local Expansions for the Fast Multipole Method / Seyed Naser Razavi, Nicolas Gaud, Abderrafiâa Koukam and Naser Mozayani -- Iterative L1/2 Regularization Algorithm for Variable Selection in the Cox Proportional Hazards Model / Cheng Liu, Yong Liang, Xin-Ze Luan, Kwong-Sak Leung and Tak-Ming Chan, et al. -- Automatic Scoring on English Passage Reading Quality / Junbo Zhang, Fuping Pan and Yongyong Yan -- An e-Learning System Based on GWT and Berkeley DB / Bo Song and Miaoyan Li -- An Expandable Recommendation System on IPTV / Jie Xiao and Liang He -- Intrinsic Protein Distribution on Manifolds Embedded in Low-Dimensional Space / Wei-Chen Cheng -- A Novel Approach to Modelling Protein-Protein Interaction Networks / Zhuhong You, Yingke Lei, Zhen Ji and Zexuan Zhu -- Additive Order Preserving Encryption Based Encrypted Documents Ranking in Secure Cloud Storage / Jiuling Zhang, Beixing Deng and Xing Li -- Research of Web Image Retrieval Technology Based on Hu Invariant Moments / Jian Wu and Siyong Xiong -- A Classifier Based on Minimum Circum Circle / Xi Huang, Ying Tan and Xingui He -- Research on Domain-Specific Features Clustering Based Spectral Clustering / Xiquan Yang, Meijia Wang, Lin Fang, Lin Yue and Yinghua Lv -- An Iterative Approach to Keywords Extraction / Yang Wei -- Knowledge Annotation Framework Oriented Geospatial Semantic Web Service Management / Rupeng Liang, Hongwei Li, Jian Chen, Leilei Ma and Hu Chen.
Optimizing Supplier Selection with Disruptions by Chance-Constrained Programming / Wenjuan Zang, Yankui Liu and Zhenhong Li -- Flock by Leader: A Novel Machine Learning Biologically Inspired Clustering Algorithm / Abdelghani Bellaachia and Anasse Bari -- Cluster_KDD: A Visual Clustering and Knowledge Discovery Platform Based on Concept Lattice / Amel Grissa Touzi, Amira Aloui and Rim Mahouachi -- Design and Implementation of an Intelligent Automatic Question Answering System Based on Data Mining / Zhe Qu and Qin Wang -- Comprehensive Evaluation of Chinese Liquor Quality Based on Improved Gray-Clustering Analysis / Huanglin Zeng and Xuefei Tang -- Ontology-Based Hazard Information Extraction from Chinese Food Complaint Documents / Xiquan Yang, Rui Gao, Zhengfu Han and Xin Sui -- A Novel Collaborative Filtering Algorithm Based on Social Network / Qun Liu, Yi Gao and Zhiming Peng -- The Evaluation of Data Uncertainty and Entropy Analysis for Multiple Events / Sanghyuk Lee and T.O. Ting -- Design Similarity Measure and Application to Fault Detection of Lateral Directional Mode Flight System / WookJe Park, Sangmin Lee, Sanghyuk Lee and T.O. Ting -- A Novel Classification Algorithm to Noise Data / Hong Li, Yu Zong, Kunlun Wang and Buxiao Wu -- A Two-Layered P2P Resource Sharing Model Based on Cluster / Qiang Yu, Xiang Chen and Huiming Wang -- The Effects of Customer Perceived Disposal Hardship on Post-Consumer Product Remanufacturing: A Multi-agent Perspective / Bo Xing, Wen-jing Gao, Fulufhelo V. Nelwamondo, Kimberly Battle and Tshilidzi Marwala.
Dynamic ROI Extraction Algorithm for Palmprints / Hemantha Kumar Kalluri, Munaga V.N.K. Prasad and Arun Agarwal -- Video-Base People Counting and Gender Recognition / Yuen Sum Wong, Cho Wing Tam, Siu Mo Lee, Chuen Pan Chan and Hong Fu -- Facial Expression Recognition Based on Cortex-Like Mechanisms / Heng Zhao, Xiaoping Wang and Qiang Zhang -- Texture and Space-Time Based Moving Objects Segmentation and Shadow Removing / Ye-Peng Guan -- A Client/Server Based Mechanism to Prevent ARP Spoofing Attacks / Haider Salim, Zhitang Li, Hao Tu and Zhengbiao Guo -- A Novel Focused Crawler Based on Breadcrumb Navigation / Lizhi Ying, Xinhao Zhou, Jian Yuan and Yongfeng Huang -- Hausdorff Distance with k-Nearest Neighbors / Jun Wang and Ying Tan -- About Eigenvalues from Embedding Data Complex in Low Dimension / Jiun-Wei Liou and Cheng-Yuan Liou -- Multi-level Description of Leaf Index Based on Analysis of Canopy Structure / Shanchen Pang, Tan Li, Feng Dai and Xianhu Qi -- An Energy-Balanced Cluster Range Control Algorithm with Energy Compensation Factors / Juanjuan Li and Dingyi Fang -- Situation Cognitive in Adjustable Autonomy System Theory and Application / Rubo Zhang and Lili Yin -- Research on an Automatic Generated Method of High-Speed Surface Vessel Molded Lines / Chuntao Li, Xiang Qi, Jian Shi and Zhongfang Shi.
An Improved Moving Target Detection Method and the Analysis of Influence Factors / Dongyao Jia and Xi Chen -- Performance of Termite-Hill Routing Algorithm on Sink Mobility in Wireless Sensor Networks / Adamu Murtala Zungeru, Li-Minn Ang and Kah Phooi Seng -- Distributed Compressed Sensing Based on Bipartite Graph in Wireless Sensor Networks / Zhemin Zhuang, Chuliang Wei and Fenlan Li -- An Improved ID-Based Key Management Scheme in Wireless Sensor Network / Kakali Chatterjee, Asok De and Daya Gupta -- Identity Manage Interoperation Based on OpenID / Shaofeng Yu, Dongmei Li and Jianyong Chen -- Nonlinear Calibration for N Thermocouple Sensor / Xiaobin Li, Haiyan Sun, Naijie Xia and Jianhua Wang -- Independent Task Scheduling Based on Improved Harmony Search Algorithm / Hua Jiang, Liping Zheng and Yanxiu Liu -- Discover Scheduling Strategies with Gene Expression Programming for Dynamic Flexible Job Shop Scheduling Problem / Li Nie, Yuewei Bai, Xiaogang Wang and Kai Liu -- Distributed Rate Allocation for Multi-path Routing Based on Network Utility Maximization / Youjun Bu, Wei He, Kunpeng Jiang and Binqiang Wang -- Integration of Battery Charging to Tour Schedule Generation for an EV-Based Rent-a-Car Business / Junghoon Lee, Hye-Jin Kim and Gyung-Leen Park -- A Scalable Algorithm for Finding Delay-Constraint Least-Cost End-to-End Path / Yue Han, Zengji Liu, Mingwu Yao and Jungang Yang.
Regularization Path for Linear Model via Net Method / Xin-Ze Luan, Yong Liang, Cheng Liu, Zong-Ben Xu and Hai Zhang, et al. -- Resolving Single Depot Vehicle Routing Problem with Artificial Fish Swarm Algorithm / Zhi Li, Haixiang Guo, Longhui Liu, Juan Yang and Peng Yuan -- Based-Parameter Adaptive Synchronization of Time-Delay Chaotic Systems / Ying Huang, Lan Yin and Wei Ding -- Application of FIFO in Seismic High-Speed Data Acquisition Systems on DSP / Wei Ding, Chenwang Liao, Tao Deng and Hao Wang -- Application of Visual Simulation in Building Marine Engine Room Simulator / Yelan He and Hui Chen -- A Robust Adaptive Filter Estimation Algorithm for Vision-Based Cooperative Motions of Unmanned Aerial Vehicle / Chaoxu Li, Zhong Liu, Zhihua Gao and Xuesong Li -- Design and Implement of a CUDA Based SPH Particle System Editor / Xianjun Chen and Yongsong Zhan -- Implementations of Main Algorithms for Generalized Eigenproblem on GPU Accelerator / Yonghua Zhao, Jian Zhang and Xuebin Chi -- The Existence of Nonoscillatory of a Third-Order Quasilinear Ordinary Differential Equation / Jinyan Wang -- A Research of All-Derivable Points / Sufang Wang and Chao Xu -- Connective Stability Analysis for a Class of Large-Scale Systems Based on the Inclusion Principle / Xuebo Chen, Xufei Lu, Xinyu Ouyang and Xiao Xiao -- Calculations of Amounts of Joint Reserve of Airplanes in Civil Aviation Systems / Zhe Yin, Yunfei Guo, Feng Lin, Di Gao and Maosheng Lai.
Global Optimization for the Sum of Linear Ratios Problem over Convex Feasible Region / Li Jin, Rui Wang and Peiping Shen -- TAC-RMTO: Trading Agent Competition in Remanufacture-to-Order / Bo Xing, Wen-jing Gao, Fulufhelo V. Nelwamondo, Kimberly Battle and Tshilidzi Marwala -- E-HASH: An Energy-Efficient Hybrid Storage System Composed of One SSD and Multiple HDDs / Jiao Hui, Xiongzi Ge, Xiaoxia Huang, Yi Liu and Qiangjun Ran -- Fault Diagnosis and Optimization for Agent Based on the D-S Evidence Theory / Wang Jianfang, Zhang Qiuling and Zhi Huilai -- Optimizing Hash Function Number for BF-Based Object Locating Algorithm / Zhu Wang and Tiejian Luo -- Quantized Steady-State Kalman Filter in a Wireless Sensor Network / Changcheng Wang, Guoqing Qi, Yinya Li and Andong Sheng -- A Multiple Shape-Target Tracking Algorithm by Using MCMC Sampling / Weifeng Liu, Zhong Chai and Chenglin Wen -- Modified UDP-Based Semi-supervised Learning for Fruit Internal Quality Detection / Peiyi Zhu, Benlian Xu and Jue Gao -- Research Progress of a Novel Hybrid 3G-VHF Communication System over Maritime Buoys / Xiaoying Wang, Yingge Chen and Benlian Xu -- Cell Automatic Tracking Technique with Particle Filter / Mingli Lu, Benlian Xu and Andong Sheng -- Ocean Buoy Communication Node Selection Strategy with Intelligent Ant Behavior / Benlian Xu, Qinglan Chen, Wan Shi and Xiaoying Wang.
Record Nr. STANFORD-a9639866
[ICSI (Conference) (3rd : 2012 : Shenzhen, China)]  
Materiale a stampa
Lo trovi qui: Stanford University
Advances in bioinformatics and computational biology : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings / Marcilio C.P. de Souto, Maricel G. Kann (eds.).
Advances in bioinformatics and computational biology : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings / Marcilio C.P. de Souto, Maricel G. Kann (eds.).
Creatore [Brazilian Symposium on Bioinformatics (7th : 2012 : Campo Grande, Mato Grosso do Sul, Brazil)]
Estensione 1 online resource (xii, 204 pages) : illustrations.
Disciplina 570.285
Accesso persona Souto, Marcilio C. P. de.
Kann, Maricel G.
Soggetto non controllato Computer science
Computer software
Database management
Artificial intelligence
Optical pattern recognition
Bioinformatics
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Computational Biology/Bioinformatics
ISBN 9783642319273
3642319270
9783642319266
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Transposition Diameter and Lonely Permutations / Luís Felipe I. Cunha, Luis Antonio B. Kowada, Rodrigo de A. Hausen and Celina M.H. de Figueiredo -- Extending the Algebraic Formalism for Genome Rearrangements to Include Linear Chromosomes / Pedro Feijao and Joao Meidanis -- On the Approximation Ratio of Algorithms for Sorting by Transpositions without Using Cycle Graphs / Gustavo Rodrigues Galvão and Zanoni Dias -- A Comparison of Three Heuristic Methods for Solving the Parsing Problem for Tandem Repeats / A.A. Matroud, C.P. Tuffley, D. Bryant and M.D. Hendy -- RNA Folding Algorithms with G-Quadruplexes / Ronny Lorenz, Stephan H. Bernhart, Fabian Externbrink, Jing Qin and Christian Höner zu Siederdissen, et al. -- Molecular Dynamics for Simulating the Protein Folding Process Using the 3D AB Off-Lattice Model / César Manuel Vargas Benítez and Heitor Silvério Lopes -- A Bioconductor Based Workflow for Z-DNA Region Detection and Biological Inference / Halian Vilela, Tainá Raiol, Andrea Queiroz Maranhão, Maria Emília Walter and Marcelo M. Brígido -- A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na+/K+-ATPase / Fernando A.F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos and Sérgio V.A. Campos -- RFMirTarget: A Random Forest Classifier for Human miRNA Target Gene Prediction / Mariana R. Mendoza, Guilherme C. da Fonseca, Guilherme L. de Morais, Ronnie Alves and Ana L.C. Bazzan, et al.
Prediction of Transcription Factor Binding Sites by Integrating DNase Digestion and Histone Modification / Eduardo G. Gusmão, Christoph Dieterich and Ivan G. Costa -- Evaluating Correlation Coefficients for Clustering Gene Expression Profiles of Cancer / Pablo A. Jaskowiak, Ricardo J.G.B. Campello and Ivan G. Costa -- Associating Genotype Sequence Properties to Haplotype Inference Errors / Rogério S. Rosa, Rafael H.S. Santos and Katia S. Guimarães -- Design and Implementation of ProteinWorldDB / Sérgio Lifschitz, Carlos Juliano M. Viana, Cristian Tristão, Marcos Catanho and Wim M. Degrave, et al. -- A Comparative Analysis of Public Ligand Databases Based on Molecular Descriptors / Ana T. Winck, Christian V. Quevedo, Karina S. Machado, Osmar Norberto de Souza and Duncan D. Ruiz -- Phylogenetic Distance Computation Using CUDA / Wellington S. Martins, Thiago F. Rangel, Divino C.S. Lucas, Elias B. Ferreira and Edson N. Caceres -- Exploring Molecular Evolution Reconstruction Using a Parallel Cloud Based Scientific Workflow / Kary A.C.S. Ocaña, Daniel de Oliveira, Felipe Horta, Jonas Dias and Eduardo Ogasawara, et al. -- How Bioinformatics Enables Livestock Applied Sciences in the Genomic Era / José Fernando Garcia, Adriana Santana do Carmo, Yuri Tani Utsunomiya, Haroldo Henrique de Rezende Neves and Roberto Carvalheiro, et al.
Record Nr. STANFORD-a9697036
[Brazilian Symposium on Bioinformatics (7th : 2012 : Campo Grande, Mato Grosso do Sul, Brazil)]  
Materiale a stampa
Lo trovi qui: Stanford University
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.).
Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / Luke Ong, Ruy de Queiroz (eds.).
Creatore [Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina)]
Estensione 1 online resource.
Disciplina 005.13/1
Accesso persona Ong, Luke
Queiroz, Ruy J. G. B. de.
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Algebra -- Data processing
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science
Logics and Meanings of Programs
Computation by Abstract Devices
Symbolic and Algebraic Manipulation
ISBN 9783642326219
3642326218
9783642326202
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Formalizing Turing Machines / Andrea Asperti and Wilmer Ricciotti -- Equivalence Relations That Are S0303 Complete for Computable Reducibility (Extended Abstract) / Ekaterina Fokina, Sy Friedman and André Nies -- An Analysis of Directed Motion Expressions with Lexicalized Tree Adjoining Grammars and Frame Semantics / Laura Kallmeyer and Rainer Osswald -- Admissible Rules: From Characterizations to Applications / George Metcalfe -- On Distributed Monitoring of Asynchronous Systems / Volker Diekert and Anca Muscholl -- On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates / Nicole Schweikardt -- Logical Methods in Quantum Information Theory / Peter Selinger -- Quantifying Notes / Hans van Ditmarsch -- Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders / Sergio Abriola, Santiago Figueira and Gabriel Senno -- Initiality for Typed Syntax and Semantics / Benedikt Ahrens -- Moving Arrows and Four Model Checking Results / Carlos Areces, Raul Fervari and Guillaume Hoffmann -- Standard Completeness for Extensions of MTL: An Automated Approach / Paolo Baldi, Agata Ciabattoni and Lara Spendier.
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge / Alexandru Baltag, Bryan Renne and Sonja Smets -- Minimization via Duality / Nick Bezhanishvili, Clemens Kupke and Prakash Panangaden -- On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication / Claudio Callejas, João Marcos and Benjamín René Callejas Bedregal -- Linearity in the Non-deterministic Call-by-Value Setting / Alejandro Díaz-Caro and Barbara Petit -- Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures / Amin Farjudian -- Algorithmic Randomness and Ramsey Properties of Countable Homogeneous Structures / Willem L. Fouché -- Propositional Reasoning about Saturated Conditional Probabilistic Independence / Sebastian Link -- Contracting Logics / Márcio M. Ribeiro and Marcelo E. Coniglio -- A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs / Benjamin Rossman -- Preservation under Substructures modulo Bounded Cores / Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath and Supratik Chakraborty -- A Logic of Plausible Justifications / L. Menasché Schechter -- Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics / Marco Volpe, João Marcos and Carlos Caleiro.
Record Nr. STANFORD-a9708909
[Workshop on Logic, Language, Information and Computation (19th : 2012 : Buenos Aires, Argentina)]  
Materiale a stampa
Lo trovi qui: Stanford University
Theoretical aspects of computing-- ICTAC 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings / Abhik Roychoudhury, Meenakshi D'Souza (eds.).
Theoretical aspects of computing-- ICTAC 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings / Abhik Roychoudhury, Meenakshi D'Souza (eds.).
Creatore [ICTAC (Colloquium) (9th : 2012 : Bangalore, India)]
Estensione 1 online resource.
Disciplina 004
Accesso persona Roychoudhury, Abhik
D'Souza, Meenakshi
Soggetto non controllato Computer science
Software engineering
Information theory
Logic design
Logics and Meanings of Programs
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Theory of Computation
ISBN 9783642329432
3642329438
9783642329425
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Symbolically Bounding the Drift in Time-Constrained MSC Graphs / S. Akshay, Blaise Genest, Loïc Hélouët and Shaofa Yang -- A Compositional Hierarchical Monitoring Automaton Construction for LTL / Deepak D'Souza and Raj Mohan Matteplackel -- How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata / César Sánchez and Julian Samborski-Forlese -- Correctness of Object Oriented Models by Extended Type Inference / Simon Foster, Ondřej Rypáček and Georg Struth -- Non-termination Sets of Simple Linear Loops / Liyun Dai and Bican Xia -- Definite Expression Aliasing Analysis for Java Bytecode / {Dstrok}urica Nikolić and Fausto Spoto -- Using Semantics Specified in Maude to Generate Test Cases / Adrián Riesco -- A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation / Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero and Yolanda Ortega-Mallén -- Modal Process Rewrite Systems / Nikola Beneš and Jan Křetínský
S-Narrowing for Constructor Systems / Adrián Riesco and Juan Rodríguez-Hortalá -- Data Privacy Using MASKETEERTM / Sachin Lodha, Nikhil Patwardhan, Ashim Roy, Sharada Sundaram and Dilys Thomas -- A Conformance Checker Tool CSPConCheck / Suman Roy, Sidharth Bihary and Jose Alfonso Corso Laos -- SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage / S. Raviram, P. Peranandam, M. Satpathy and S. Ramesh -- Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols / David M. Williams, Joeri de Ruiter and Wan Fokkink -- Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling / Kenro Yatake and Toshiaki Aoki -- A Cure for Stuttering Parity Games / Sjoerd Cranen, Jeroen J.A. Keiren and Tim A.C. Willemse -- Ensuring Reachability by Design / Benoît Caillaud and Jean-Baptiste Raclet -- Approximate Verification and Enumeration Problems / Sylvain Peyronnet, Michel De Rougemont and Yann Strozecki -- Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems / Federico Mari, Igor Melatti, Ivano Salvo and Enrico Tronci.
Record Nr. STANFORD-a9726399
[ICTAC (Colloquium) (9th : 2012 : Bangalore, India)]  
Materiale a stampa
Lo trovi qui: Stanford University
Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / Alain Finkel, Jérôme Leroux, Igor Potapov (eds.).
Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / Alain Finkel, Jérôme Leroux, Igor Potapov (eds.).
Creatore [RP (Workshop) (6th : 2012 : Bordeaux, France)]
Estensione 1 online resource.
Disciplina 004
Accesso persona Finkel, A. (Alain), 1958-
Leroux, Jérôme
Potapov, Igor
Soggetto non controllato Computer science
Software engineering
Computer software
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
ISBN 9783642335129
3642335128
364233511X
9783642335112
9783642326295
3642326293
Classificazione 53.89
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Fraenkel-Mostowski Sets with Non-homogeneous Atoms / Mikołaj Bojańczyk and Sławomir Lasota -- Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata / Sylvain Salvati and Igor Walukiewicz -- Decision Problems for Linear Recurrence Sequences / Joël Ouaknine and James Worrell -- Playing Games with Counter Automata / Antonín Kučera -- LTL-Model-Checking via Model Composition / Ingo Felscher -- On the Relationship between Reachability Problems in Timed and Counter Automata / Christoph Haase, Joël Ouaknine and James Worrell -- Smooth Sand Piles / Stefano Brocchi and Paolo Massazza -- Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis / Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari and Luca Geretti, et al. -- Robustness of Time Petri Nets under Guard Enlargement / S. Akshay, Loïc Hélouët, Claude Jard and Pierre-Alain Reynier -- Efficient Probabilistic Model Checking of Systems with Ranged Probabilities / Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivančić and Aarti Gupta -- On the Length of Knot Transformations via Reidemeister Moves I and II / Rafiq Saleh -- Invariants for LTI Systems with Uncertain Input / Paul Hänsch and Stefan Kowalewski.
Record Nr. STANFORD-a9726485
[RP (Workshop) (6th : 2012 : Bordeaux, France)]  
Materiale a stampa
Lo trovi qui: Stanford University
Theory and practice of natural computing : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Theory and practice of natural computing : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Creatore [TPNC (Conference) (1st : 2012 : Tarragona, Spain)]
Estensione 1 online resource.
Disciplina 004/.3
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
Truthe, Bianca
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Artificial intelligence
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Information Systems Applications (incl. Internet)
ISBN 9783642338601
3642338607
3642338593
9783642338595
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Hybrid Metaheuristics in Combinatorial Optimization: A Tutorial / Christian Blum -- Theory and Applications of DNA Codeword Design / Max H. Garzon -- Scalable Neuroevolution for Reinforcement Learning / Faustino Gomez -- Differential Evolution Algorithm: Recent Advances / Ponnuthurai Nagaratnam Suganthan -- The Fragility of Quantum Information? / Barbara M. Terhal -- Computational Intelligence in Astronomy -- A Win-Win Situation / Peter Tiňo and Somak Raychaudhury -- A Multi-objective Approach to Solve the Location Areas Problem / Víctor Berrocal-Plaza, Miguel A. Vega-Rodríguez, Juan M. Sánchez-Pérez and Juan A. Gómez-Pulido -- Nature-Inspired Algorithms Applied to an Efficient and Self-adaptive Resources Selection Model for Grid Applications / María Botón-Fernández, Francisco Prieto Castrillo and Miguel A. Vega-Rodríguez -- Attacks on Fixed Apparatus Quantum Key Distribution Schemes / Michel Boyer, Ran Gelles and Tal Mor -- Cellular Automaton Based Motion Planning Algorithms for Mobile Sensor Networks / Salimur Choudhury, Kai Salomaa and Selim G. Akl.
An Easy Automata Based Algorithm for Testing Coding Properties of Infinite Sets of (DNA) Words / Michelangelo Cianciulli, Rocco Zaccagnino and Rosalba Zizza -- On the Security of Interferometric Quantum Key Distribution / Ran Gelles and Tal Mor -- Generating DNA Code Words Using Forbidding and Enforcing Systems / Daniela Genova and Kalpana Mahalingam -- Wolbachia Infection Improves Genetic Algorithms as Optimization Procedure / Mauricio Guevara-Souza and Edgar E. Vallejo -- Neural Networks Solving Free Final Time Optimal Control Problem / Tibor Kmet and Maria Kmetova -- Comparing Different Operators and Models to Improve a Multiobjective Artificial Bee Colony Algorithm for Inferring Phylogenies / Sergio Santander-Jiménez, Miguel A. Vega-Rodríguez, Juan A. Gómez-Pulido and Juan M. Sánchez-Pérez -- Tissue P Systems with Cell Separation: Upper Bound by PSPACE / Petr Sosík and Luděk Cienciala -- Maze Exploration with Molecular-Scale Walkers / Darko Stefanovic.
Record Nr. STANFORD-a9745632
[TPNC (Conference) (1st : 2012 : Tarragona, Spain)]  
Materiale a stampa
Lo trovi qui: Stanford University
Language and automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe (eds.).
Language and automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe (eds.).
Creatore [LATA (Conference) (7th : 2013 : Bilbao, Spain)]
Estensione 1 online resource (xiv, 580 pages) : illustrations.
Disciplina 004
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
Truthe, Bianca
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Social sciences -- Data processing
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
ISBN 9783642370649
3642370640
9783642370632
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks. Complexity Dichotomy for Counting Problems / Jin-Yi Cai -- Algorithms for Analyzing and Verifying Infinite-State Recursive Probabilistic Systems / Kousha Etessami -- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking / Luke Ong -- Discrete Linear Dynamical Systems / Joël Ouaknine -- XML Schema Management: A Challenge for Automata Theory / Thomas Schwentick -- Regular Papers. On the Complexity of Shortest Path Problems on Discounted Cost Graphs / Rajeev Alur [and others] -- Termination of Rule-Based Calculi for Uniform Semi-Unification / Takahito Aoto, Munehiro Iwami -- Deciding WQO for Factorial Languages / Aistis Atminas, Vadim Lozin, Mikhail Moshkov -- On the Construction of a Family of Automata That Are Generically Non-minimal / Parisa Babaali, Christopher Knaplund -- Limited Non-determinism Hierarchy of Counter Automata / Sebastian Bala, Dariusz Jackowski -- Unambiguous Automata Denoting Finitely Sequential Functions / Sebastian Bala, Artur Koniński.
Duplication-Loss Genome Alignment: Complexity and Algorithm / Billel Benzaid, Riccardo Dondi, Nadia El-Mabrouk -- Maximizing Entropy over Markov Processes / Fabrizio Biondi [and others] -- MAT Learning of Universal Automata / Johanna Björklund, Henning Fernau, Anna Kasprzik -- A Graph Polynomial Approach to Primitivity / Francine Blanchet-Sadri [and others] -- Suffix Trees for Partial Words and the Longest Common Compatible Prefix Problem / Francine Blanchet-Sadri, Justin Lazarow -- Dynamic Communicating Automata and Branching High-Level MSCs / Benedikt Bollig [and others] -- Visibly Pushdown Automata: Universality and Inclusion via Antichains / Véronique Bruyère, Marc Ducobu, Olivier Gauwin -- Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions / Jean-Marc Champarnaud [and others] -- How to Travel between Languages / Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin -- Execution Information Rate for Some Classes of Automata / Cewei Cui [and others].
Record Nr. STANFORD-a10101706
[LATA (Conference) (7th : 2013 : Bilbao, Spain)]  
Materiale a stampa
Lo trovi qui: Stanford University
Natural and artificial models in computation and biology : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings. Part I / José Manuel Ferrández Vicente [and others] (eds.).
Natural and artificial models in computation and biology : 5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings. Part I / José Manuel Ferrández Vicente [and others] (eds.).
Creatore [International Work-Conference on the Interplay Between Natural and Artificial Computation (5th : 2013 : Mallorca, Spain)]
Estensione 1 online resource (xxv, 436 pages).
Disciplina 006.3
Accesso persona Ferrández Vicente, José Manuel
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Computational Biology/Bioinformatics
Pattern Recognition
Information Systems Applications (incl. Internet)
ISBN 9783642386374
3642386377
3642386369
9783642386367
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Neural Network Simulation of Spreading Depression / Daniel Castello Paiva, Diego Andina -- Robustness of Artificial Metaplasticity Learning to Erroneous Input Distribution Assumptions / Marta de Pablos Álvaro, Diego Andina -- Neuron Threshold Variability in an Olfactory Model Improves Odorant Discrimination / Aaron Montero, Ramon Huerta -- Contrast Enhancement Mechanisms in the Retinothalamic Circuitry / Rubén Ferreiroa -- Neural Spike Activation in Hippocampal Cultures Using Hebbian Electrical Stimulation / V. Lorente, José Manuel Ferrández-Vicente -- Thalamo-Cortical Network and Seizure Dynamics: A Computational Study / F. Vallone, S. Chillemi, M. Barbi -- Modelling Prior and Retrospective Awareness of Actions / Dilhan J. Thilakarathne, Jan Treur -- Emotional Stress Detection in Contradictory versus Self-consistent Speech by Means of Voice Biometrical Signature / Victoria Rodellar-Biarge -- Vision Substitution Experiments with See ColOr / Guido Bologna, Juan Diego Gomez, Thierry Pun.
Robot Cognitive Stimulation for the Elderly / Adriana Tapus, Alexandra-Maria Vieru -- The Intelligent Room for Elderly Care / Oscar Martinez Mozos, Tokuo Tsuji -- A Method for Estimating Patient Specific Parameters for Simulation of Tissue Deformation by Finite Element Analysis / Ken'ichi Morooka, Shuji Sonoki, Ryo Kurazume -- REEM Service Robot: How May I Help You? / Luca Marchionni, Jordi Pages, Jordi Adell -- Training Study Approaches for a SVM-Based BCI: Adaptation to the Model vs Adaptation to the User / Enrique Hortal, Eduardo Iáñez, Andrés Úbeda -- Evaluation of a Telepresence Robot for the Elderly: A Spanish Experience / Javier Gonzalez-Jimenez, Cipriano Galindo -- Empirical Analysis of the Integration of a BCI and an EOG Interface to Control a Robot Arm / Eduardo Iáñez, Andrés Úbeda, Enrique Hortal -- Interplay between Natural and Artificial Intelligence in Training Autistic Children with Robots / Emilia Barakova, Tino Lourens.
Use of Multilayer Perceptron vs. Distance Measurement Methods for Classification of Exercises in Telerehabilitation / Oscar Marin-Alonso, Daniel Ruiz-Fernández -- Application of Artificial Metaplasticity Neural Networks to Cardiac Arrhythmias Classification / Y. Benchaib, Alexis Marcano-Cedeño -- SBRS: Bridging the Gap between Biomedical Research and Clinical Practice / Santiago Timón-Reina, Rafael Martínez-Tomás -- Perceptual Analysis of Speech Signals from People with Parkinson's Disease / J.R. Orozco-Arroyave, J.D. Arias-Londoño -- Characterization of Speech from Amyotrophic Lateral Sclerosis by Neuromorphic Processing / Pedro Gómez-Vilda, Ana Rita M. Londral -- Fast Approximate Inference in Hybrid Bayesian Networks Using Dynamic Discretisation / Helge Langseth, David Marquez, Martin Neil -- An Influence Diagram for the Collaboration in E-learning Environments / Antonio R. Anaya, Manuel Luque -- A Bayesian Model for Lexical Availability of Chilean High School Students in Mathematics / Pedro Salcedo L., Anita Ferreira C.
Heart Sound Segmentation in Noisy Environments / C. Castro Hoyos, S. Murillo-Rendón -- Kernel Spectral Clustering for Motion Tracking: A First Approach / D. Peluffo-Ordóñez, S. García-Vega -- Multi-labeler Analysis for Bi-class Problems Based on Soft-Margin Support Vector Machines / S. Murillo-Rendón, D. Peluffo-Ordóñez -- New Cues in Low-Frequency of Speech for Automatic Detection of Parkinson's Disease / E.A. Belalcazar-Bolaños -- Computer-Aided Detection of Microcalcifications in Digital Mammograms to Support Early Diagnosis of Breast Cancer / Nayid Triana -- Influence of Interactions between Virtual Channels in Cochlear Implants / Ernesto A. Martínez-Rams -- Dealing with Bullying through Genetic Algorithms / M. Angélica Pinninghoff, Pedro L. Salcedo -- Using Ant Colony Optimization for Edge Detection in Gray Scale Images / Ricardo Contreras, M. Angélica Pinninghoff -- Modeling the Effect of Fixational Eye Movements in Natural Scenes / Andrés Olmedo-Payá, Antonio Martínez-Álvarez.
A Novel Approach for Quantitative Analysis of 3D Phosphenes / C. Soto-Sanchez, Andrés Olmedo-Payá -- Inverse Allometry: Foundations for a Bioinspired LVH-Prediction Model / María Paula Bonomini, Fernando Ingallina -- Cochlear Implant: Transcutaneous Transmission Link with OFDM / Vicente Garcerán-Hernández -- Deficitary Nervous Excitability and Subjective Contraction of Time: Time-Dispersive Model / Isabel Gonzalo-Fonrodona, Miguel A. Porras -- Hybrid Tabu Search for Fuzzy Job Shop / Juan José Palacios, Jorge Puente -- Statistical Characteristics of Portal Images and Their Influence in Noise Reduction / Antonio González-López -- Self Organized Biogeography Algorithm for Clustering / Leila Hamdad, Anissa Achab -- Automatic Orientation of Functional Brain Images for Multiplataform Software / I. Alvarez Illán, Juan Manuel Górriz -- Solving Number Series with Simple Recurrent Networks / Stefan Glüge, Andreas Wendemuth -- Detection Method for Phase Synchronization in a Population of Spiking Neurons / Manuel Lopez, Francisco B. Rodríguez.
Cognitive robotics -- Natural computing -- Wetware computation -- Quality of life technologies -- Biomedical and industrial perception applications -- Web intelligence and neuroscience.
Record Nr. STANFORD-a10173832
[International Work-Conference on the Interplay Between Natural and Artificial Computation (5th : 2013 : Mallorca, Spain)]  
Materiale a stampa
Lo trovi qui: Stanford University
Intelligent computing theories : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings / De-Shuang Huang, Vitoantonio Bevilacqua, Juan Carlos Figueroa, Prashan premaratne (eds.).
Intelligent computing theories : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings / De-Shuang Huang, Vitoantonio Bevilacqua, Juan Carlos Figueroa, Prashan premaratne (eds.).
Creatore [International Conference on Intelligent Computing (9th : 2013 : Nanning, China)]
Estensione 1 online resource (xxiii, 651 pages) : illustrations (black and white).
Disciplina 006.3
Accesso persona Huang, De-Shuang, editor
Bevilacqua, Vitoantonio, editor
Figueroa, Juan Carlos, editor
Premaratne, Prashan, editor
Soggetto non controllato Computer science
Artificial intelligence
Computer vision
Optical pattern recognition
Bioinformatics
Image Processing and Computer Vision
Pattern Recognition
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
ISBN 9783642394799
3642394795
9783642394782
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Neural Networks -- Nature Inspired Computing and Optimization -- Cognitive Science and Computational Neuroscience -- Knowledge Discovery and Data Mining -- Evolutionary Learning and Genetic Algorithms -- Machine Learning Theory and Methods -- Natural Language Processing and Computational Linguistics -- Fuzzy Theory and Models -- Fuzzy Systems and Soft Computing -- Unsupervised and Reinforcement Learning -- Intelligent Computing in Finance/Banking -- Intelligent Computing in Communication Networks -- Intelligent Computing in Network Software/Hardware -- Intelligent Image/Document Retrievals -- Intelligent Data Fusion and Information Security -- Intelligent Prediction and Time Series Analysis -- Intelligent Sensor Networks -- Intelligent Fault Diagnosis -- Virtual Reality and Human-Computer Interaction -- Intelligent Computing in Robotics -- Intelligent Computing in Computer Vision.
Record Nr. STANFORD-a10215857
[International Conference on Intelligent Computing (9th : 2013 : Nanning, China)]  
Materiale a stampa
Lo trovi qui: Stanford University
Evolutionary computation in combinatorial optimization : 12th European Conference, EvoCOP 2012, Málaga, Spain, April 11-13, 2012. Proceedings / edited by Jin-Kao Hao, Martin Middendorf
Evolutionary computation in combinatorial optimization : 12th European Conference, EvoCOP 2012, Málaga, Spain, April 11-13, 2012. Proceedings / edited by Jin-Kao Hao, Martin Middendorf
Creatore [EvoCOP (Conference) (12th : 2012 : Málaga, Spain)]
Estensione 1 online resource (xv, 266 pages)
Disciplina 005.1
Accesso persona Hao, J.-K. (Jin-Kao)
Middendorf, Martin
Soggetto non controllato Computer science
Computational complexity
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Discrete Mathematics in Computer Science
Probability and Statistics in Computer Science
ISBN 9783642291241
3642291244
3642291236
9783642291234
Classificazione 30.10
31.76
31.12
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Methodology for Comparing the Execution Time of Metaheuristics Running on Different Hardware / Julián Domínguez and Enrique Alba -- A Variable Neighborhood Search Approach for the Two-Echelon Location-Routing Problem / Martin Schwengerer, Sandro Pirkwieser and Günther R. Raidl -- An ILS-Based Metaheuristic for the Stacker Crane Problem / Thais Ávila, Ángel Corberán, Isaac Plana and José M. Sanchis -- An NSGA-II Algorithm for the Green Vehicle Routing Problem / Jaber Jemai, Manel Zekri and Khaled Mellouli -- Clustering Search Heuristic for Solving a Continuous Berth Allocation Problem / Rudinei Martins de Oliveira, Geraldo Regis Mauri and Luiz Antonio Nogueira Lorena -- Combining Heuristic and Exact Methods to Solve the Vehicle Routing Problem with Pickups, Deliveries and Time Windows / Penny L. Holborn, Jonathan M. Thompson and Rhyd Lewis -- D2MOPSO: Multi-Objective Particle Swarm Optimizer Based on Decomposition and Dominance / Noura Al Moubayed, Andrei Petrovski and John McCall -- Domain Reduction Using GRASP Construction Phase for Transmission Expansion Planning Problem / Mohsen Rahmani, Ruben A. Romero, Marcos J. Rider and Miguel Paredes -- Electrical Load Management in Smart Homes Using Evolutionary Algorithms / Florian Allerding, Marc Premm, Pradyumn Kumar Shukla and Hartmut Schmeck -- Exact Computation of the Fitness-Distance Correlation for Pseudoboolean Functions with One Global Optimum / Francisco Chicano and Enrique Alba.
Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events / Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi and Marco Franchini -- HyFlex: A Benchmark Framework for Cross-Domain Heuristic Search / Gabriela Ochoa, Matthew Hyde, Tim Curtois, Jose A. Vazquez-Rodriguez and James Walker, et al. -- Hyper-Heuristic Based on Iterated Local Search Driven by Evolutionary Algorithm / Jiří Kubalík -- Intensification/Diversification-Driven ILS for a Graph Coloring Problem / Samir Loudni -- Iterated Greedy Algorithms for the Maximal Covering Location Problem / Francisco J. Rodriguez, Christian Blum, Manuel Lozano and Carlos García-Martínez -- Multiobjectivizing the HP Model for Protein Structure Prediction / Mario Garza-Fabre, Eduardo Rodriguez-Tello and Gregorio Toscano-Pulido -- Multi-Pareto-Ranking Evolutionary Algorithm / Wahabou Abdou, Christelle Bloch, Damien Charlet and François Spies -- Pareto Local Search Algorithms for Anytime Bi-objective Optimization / Jérémie Dubois-Lacoste, Manuel López-Ibáñez and Thomas Stützle -- Pure Strategy or Mixed Strategy? / An Initial Comparison of Their Asymptotic Convergence Rate and Asymptotic Hitting Time / Jun He, Feidun He and Hongbin Dong -- Recurrent Genetic Algorithms: Sustaining Evolvability / Adnan Fakeih and Ahmed Kattan -- Splitting Method for Spatio-temporal Sensors Deployment in Underwater Systems / Mathieu Chouchane, Sébastien Paris, François Le Gland and Mustapha Ouladsine -- The Vehicle Routing Problem with Backhauls: A Multi-objective Evolutionary Approach / Abel Garcia-Najera.
Record Nr. STANFORD-a13353573
[EvoCOP (Conference) (12th : 2012 : Málaga, Spain)]  
Materiale a stampa
Lo trovi qui: Stanford University