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.
Quantum computation and information [electronic resource] : from theory to experiment / Hiroshi Imai, Masahito Hayashi (eds.).
Quantum computation and information [electronic resource] : from theory to experiment / Hiroshi Imai, Masahito Hayashi (eds.).
Estensione 1 online resource (xv, 279 p.) : ill.
Disciplina 004.1
Accesso persona Imai, H. (Hiroshi), 1958-
Hayashi, Masahito
Genere/Forma Electronic books
ISBN 9783540331339
3540331336
3540331328
9783540331322
9786610627301
6610627304
Classificazione 54.10
33.25
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-8880081
Materiale a stampa
Lo trovi qui: University of Chicago
Algorithms -- ESA 2005 : 13th annual European symposium, Palma de Mallorca, Spain, October 3-6, 2005 : proceedings / Gerth Stølting Brodal, Stefano Leonardi (eds.).
Algorithms -- ESA 2005 : 13th annual European symposium, Palma de Mallorca, Spain, October 3-6, 2005 : proceedings / Gerth Stølting Brodal, Stefano Leonardi (eds.).
Creatore [ESA (Symposium) (13th : 2005 : Palma de Mallorca, Spain)]
Estensione 1 online resource (xviii, 901 pages) : illustrations.
Accesso persona Brodal, Gerth Stølting, 1969-
Leonardi, S. (Stefano)
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783540319511
3540319514
3540291180
9783540291183
Classificazione 54.51
54.70
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11068569
[ESA (Symposium) (13th : 2005 : Palma de Mallorca, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Semantic techniques for the web : the REWERSE perspective / François Bry, Jan Maluszyński, (eds.).
Semantic techniques for the web : the REWERSE perspective / François Bry, Jan Maluszyński, (eds.).
Estensione 1 online resource (xv, 376 pages) : illustrations.
Accesso persona Bry, François, 1956-
Małuszyński, J. (Jan), 1941-
Genere/Forma Electronic books
ISBN 9783642045813
3642045812
9783642045806
3642045804
Classificazione 54.10
TP393. 092
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Hybrid Reasoning with Rules and Ontologies -- Four Lessons in Versatility or How Query Languages Adapt to the Web -- Evolution and Reactivity in the Semantic Web -- Rule-Based Policy Representations and Reasoning -- Component Models for Semantic Web Languages -- Controlled English for Reasoning on the Semantic Web -- Semantic Search with GoPubMed -- Information Integration in Bioinformatics with Ontologies and Standards.
Record Nr. UCHICAGO-11073465
Materiale a stampa
Lo trovi qui: University of Chicago
Learning and intelligent optimization : third international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers / Thomas Stützle (eds.).
Learning and intelligent optimization : third international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers / Thomas Stützle (eds.).
Creatore [LION (Conference) (3rd : 2009 : Trento, Italy)]
Estensione 1 online resource (xii, 272 pages) : illustrations.
Accesso persona Stützle, Thomas
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783642111693
3642111696
9783540926948
3540926941
9783642111686
3642111688
Classificazione 54.10
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Evolutionary Dynamics of Extremal Optimization -- Evolutionary Dynamics of Extremal Optimization -- A Variable Neighborhood Descent Search Algorithm for Delay-Constrained Least-Cost Multicast Routing -- Expeditive Extensions of Evolutionary Bayesian Probabilistic Neural Networks -- New Bounds on the Clique Number of Graphs Based on Spectral Hypergraph Theory -- Beam-ACO Based on Stochastic Sampling: A Case Study on the TSP with Time Windows -- Flexible Stochastic Local Search for Haplotype Inference -- A Knowledge Discovery Approach to Understanding Relationships between Scheduling Problem Structure and Heuristic Performance -- Fitness Landscape Analysis for the Resource Constrained Project Scheduling Problem -- An ACO-Based Reactive Framework for Ant Colony Optimization: First Experiments on Constraint Satisfaction Problems -- Selection of Heuristics for the Job-Shop Scheduling Problem Based on the Prediction of Gaps in Machines -- Position-Guided Tabu Search Algorithm for the Graph Coloring Problem -- Corridor Selection and Fine Tuning for the Corridor Method -- Dynamic Multi-Armed Bandits and Extreme Value-Based Rewards for Adaptive Operator Selection in Evolutionary Algorithms -- Comparison of Coarsening Schemes for Multilevel Graph Partitioning -- Cooperative Strategies and Reactive Search: A Hybrid Model Proposal -- Study of the Influence of the Local Search Method in Memetic Algorithms for Large Scale Continuous Optimization Problems -- MALIOB Workshop Papers -- Neural Network Pairwise Interaction Fields for Protein Model Quality Assessment -- A Graph-Based Semi-supervised Algorithm for Protein Function Prediction from Interaction Maps -- Substitution Matrices and Mutual Information Approaches to Modeling Evolution.
Record Nr. UCHICAGO-11073613
[LION (Conference) (3rd : 2009 : Trento, Italy)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Transactions on computational science VI / Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
Transactions on computational science VI / Marina L. Gavrilova, C.J. Kenneth Tan (eds.).
Estensione 1 online resource (xii, 379 pages) : illustrations.
Accesso persona Gavrilova, Marina L.
Tan, C. J. Kenneth (Chih Jeng Kenneth)
Genere/Forma Electronic books
ISBN 9783642106491
3642106498
364210648X
9783642106484
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11073743
Materiale a stampa
Lo trovi qui: University of Chicago
Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 / edited by Wilfried Brauer
Net theory and applications : proceedings of the Advance Course on General Net Theory of Processes and Systems, Hamburg, October 8-19, 1979 / edited by Wilfried Brauer
Estensione 1 online resource (xiii, 537 pages) : illustrations.
Accesso persona Brauer, Wilfried
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783540393221
3540393226
3540100016
9783540100010
0387100016
9780387100012
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11073915
Materiale a stampa
Lo trovi qui: University of Chicago
Extremal combinatorics : with applications in computer science / Stasys Jukna
Extremal combinatorics : with applications in computer science / Stasys Jukna
Creatore [Jukna, Stasys, 1953-]
Edizione [2nd ed.]
Estensione 1 online resource (xxii, 411 pages).
Disciplina 511/.6
Genere/Forma Electronic books
ISBN 9783642173646
3642173640
9783642173639
3642173632
Classificazione 31.12
31.76
54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006326178
[Jukna, Stasys, 1953-]  
Materiale a stampa
Lo trovi qui: New York University
Advances in Petri nets, 1989 [electronic resource] / Grzegorz Rozenberg, ed.
Advances in Petri nets, 1989 [electronic resource] / Grzegorz Rozenberg, ed.
Estensione 1 online resource (vi, 524 pages) : illustrations.
Disciplina 511.35
Accesso persona Rozenberg, Grzegorz
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783540469988
3540469982
9783540524946
3540524940
0387524940
9780387524948
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Stochastic Petri nets : an elementary introduction / M. Ajmone Marsan -- Improving the efficiency of the analysis of DSPN models / M. Ajmone Marsan, G. Chiola, and A. Fumagalli -- Synchronized elementary net systems / C. André -- Descriptive and analytical process algebras / L.A. Cherkasova, V.E. Kotov -- P/T-systems as abstractions of C/E-systems / J. Desel, A. Merceron -- The semantics of capacities in P/T nets / R. Devillers -- Petri net tool overview 1989 / F. Feldbrugge -- Equivalence transformations of PrT-nets / H.J. Genrich -- A reduction theory for coloured nets / S. Haddad -- Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets / C. Hanen -- S-Cort[superscript R] : a method for the development of electronic payment systems / Th. Hildebrand, N. Trèves -- Timed Petri nets and application to multi-stage production systems / H.P. Hillion -- Petri net systems and their closure properties / A. Kiehn -- Occam and the transputer / D. May, R. Shepherd -- About the concurrent behaviour of EN systems : definability and closure results / E. Pelz -- Petri nets and flexible manufacturing / M. Silva, R. Valette -- Some properties of timed nets under the earliest firing rule / P.H. Starke -- A comparative study of different techniques for semi-flows computation in place-transition nets / N. Treves -- Elementary net systems and dynamic logic / H. Tuominen -- Representation of a swapping class by one net / W. Vogler -- DEMON : design methods based on nets / E. Best -- CEDISYS : compositional distributed systems / U. Montanari.
Record Nr. NYU-004360226
Materiale a stampa
Lo trovi qui: New York University
Advances in swarm intelligence : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings. Part II / Ying Tan, Yuhui Shi, Hongwei Mo (eds.).
Advances in swarm intelligence : 4th International Conference, ICSI 2013, Harbin, China, June 12-15, 2013, Proceedings. Part II / Ying Tan, Yuhui Shi, Hongwei Mo (eds.).
Creatore [ICSI (Conference) (4th : 2013 : Harbin, China)]
Estensione 1 online resource (xxii, 534 pages).
Disciplina 006.3
Accesso persona Tan, Ying, editor
Shi, Yuhui, editor
Mo, Hongwei, 1973-editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Computer software
Electronic data processing
Computational complexity
Data mining
Artificial intelligence
Algorithm Analysis and Problem Complexity
Numeric Computing
Discrete Mathematics in Computer Science
ISBN 9783642387159
3642387152
3642387144
9783642387142
Classificazione 54.10
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Hybrid Algorithms. Hybrid Gravitational Search and Clonal Selection Algorithm for Global Optimization / Shangce Gao [and others] -- A Hybrid Genetic Programming with Particle Swarm Optimization / Feng Qi [and others] -- A Physarum Network Evolution Model Based on IBTM / Yuxin Liu [and others] -- Cultural Algorithms for the Set Covering Problem / Broderick Crawford, Ricardo Soto, Eric Monfroy -- Impulse Engine Ignition Algorithm Based on Genetic Particle Swarm Optimization / Xiaolong Liang [and others].
Swarm-Robot and Multi-agent Systems. Learning by Imitation for the Improvement of the Individual and the Social Behaviors of Self-organized Autonomous Agents / Abdelhak Chatty [and others] -- An Indexed K-D Tree for Neighborhood Generation in Swarm Robotics Simulation / Zhongyang Zheng, Ying Tan -- Agent-Based Social Simulation and PSO / Andreas Janecek, Tobias Jordan, Fernando Buarque de Lima-Neto -- Multi-agent Oriented Stable Payoff with Cooperative Game / Tianwen Li, Feng Ma, Weiyi Liu.
Support Vector Machines. Use the Core Clusters for the Initialization of the Clustering Based on One-Class Support Vector Machine / Lei Gu -- Terrain Image Classification with SVM / Mu-Song Chen, Chipan Hwang, Tze-Yee Ho -- A Novel Algorithm for Kernel Optimization of Support Vector Machine / Lijie Li -- Training Least-Square SVM by a Recurrent Neural Network Based on Fuzzy c-mean Approach / Fengqiu Liu, Jianmin Wang, Sitian Qin.
Data Mining Methods. A Locality Sensitive K-Means Clustering Method Based on Genetic Algorithms / Lei Gu -- Using Graph Clustering for Community Discovery in Web-Based Social Networks / Jackson Gomes Souza, Edeilson Milhomem Silva, Parcilene Fernandes Brito -- Application of Dynamic Rival Penalized Competitive Learning on the Clustering Analysis of Seismic Data / Hui Wang, Yan Li, Lei Li -- An Online Trend Analysis Method for Measuring Data Based on Historical Data Clustering / Jianfeng Qu [and others] -- Measuring Micro-blogging User Influence Based on User-Tweet Interaction Model / Dong Liu, Quanyuan Wu, Weihong Han -- Discover Community Leader in Social Network with PageRank / Rui Wang [and others] -- Forecasting Chinese GDP with Mixed Frequency Data Set: A Generalized Lasso Granger Method / Zhe Gao, Jianjun Yang, Shaohua Tan -- Poison Identification Based on Bayesian Network: A Novel Improvement on K2 Algorithm via Markov Blanket / Jinke Jiang [and others] -- A New Efficient Text Clustering Ensemble Algorithm Based on Semantic Sequences / Zhonghui Feng, Junpeng Bao, Kaikai Liu -- Credit Scoring Analysis Using B-Cell Algorithm and K-Nearest Neighbor Classifiers* / Cheng-An Li -- Text Categorization Based on Semantic Cluster-Hidden Markov Models / Fang Li, Tao Dong.
System and Information Security. Reversible Data Embedment for Encrypted Cartoon Images Using Unbalanced Bit Flipping / Wien Hong [and others] -- A Robust Watermarking Algorithm for 2D CAD Engineering Graphics Based on DCT and Chaos System / Jingwen Wu [and others] -- Detection of Human Abnormal Behavior of the Ship's Security / Fengxu Guan, Xiaolong Liu, Xiangyu Meng -- HYBit: A Hybrid Taint Analyzing Framework for Binary Programs / Erzhou Zhu [and others] -- The Application of the Pattern Recognition Algorithms in Security Assessment of Structural Health Monitoring for Bridges / Yilin Guo -- Experimentation of Data Mining Technique for System's Security: A Comparative Study / Ahmed Chaouki Lokbani, Ahmed Lehireche, Reda Mohamed Hamou.
Intelligent Control. Brownian Snake Measure-Valued Markov Decision Process / Zhenzhen Wang, Hancheng Xing -- A Strategy to Regulate WSN Nodes' Energy Consumption Based on Emission Rate / Bo Song, Yan Wang, Hailong Zhang -- Contact Network Model with Covert Infection / Xiaomei Yang, Jianchao Zeng, Jiye Liang -- Genetic Evolution of Control Systems / Mu-Song Chen, Tze-Yee Ho, Chipan Hwang -- An Intelligent Fusion Algorithm for Uncertain Information Processing / Peiyi Zhu, Benlian Xu, Mingli Lu -- A New Target Tracking Algorithm Based on Online Adaboost / Zhuowen Lv, Kejun Wang, Tao Yan.
Wireless Sensor Network. False Data Attacks Judgment Based on Consistency Loop Model in Wireless Sensor Networks / Ping Li [and others] -- Multi-cell Interaction Tracking Algorithm for Colliding and Dividing Cell Dynamic Analysis / Mingli Lu [and others] -- An Study of Indoor Localization Algorithm Based on Imperfect Signal Coverage in Wireless Networks / Ping Li [and others] -- Group-Based Overhead Limiting for Stability Routing in Ad Hoc Networks / Xi Hu [and others].
Scheduling and Path Planning. Path Planning in RoboCup Soccer Simulation 3D Using Evolutionary Artificial Neural Network / Saleha Raza, Sajjad Haider -- Solving Hamilton Path Problem with P System / Laisheng Xiang, Jie Xue -- Dynamic Comprehensive Evaluation of Manufacturing Capability for a Job Shop / Huachen Liu [and others] -- A Study of Aviation Swarm Convoy and Transportation Mission / Xiaolong Liang [and others] -- A Multiple Interfaces and Multiple Services Residential Gateway Scheme / Wenyao Yan [and others] -- Particle Swarm Optimization Combined with Tabu Search in a Multi-agent Model for Flexible Job Shop Problem / Abir Henchiri, Meriem Ennigrou.
Image and Video Processing. A Novel Preprocessing Method for Illumination-Variant Color Face Image / Wei Li, Qinghua Yang, Wei Pan -- Design of Face Detection System Based on FPGA / Yujie Zhang, Meihua Xu, Huaming Shen -- Remote Sensing Image Segmentation Based on Rough Entropy / Hui-jie Sun, Ting-quan Deng, Ying-ying Jiao -- A Real-Time Noise Image Edge Detector Based on FPGA / Meihua Xu, Chenjun Xia, Shuping Huang -- Optimization Algorithm and Implementation of Pedestrian Detection / Meihua Xu, Huaimeng Zheng, Tao Wang -- Video Image Clarity Algorithm Research of USV Visual System under the Sea Fog / Zhongli Ma, Jie Wen, Xiumei Liang -- A Study of Vision-Based Lane Recognition Algorithm for Driver Assistance / Feng Ran [and others] -- New Approach to Image Retrieval Based on Color Histogram / Muhammad Imran, Rathiah Hashim, Noor Eliza Abd Khalid -- Comparison and Evaluation of Human Locomotion Traits with Different Prosthetic Feet Using Graphical Methods from Control Area / Lulu Gong, Qirong Tang, Hongwei Mo.
Other Applications. An Improved Intelligent Water Drop Algorithm for a Real-Life Waste Collection Problem / Mohammad Raihanul Islam, M. Sohel Rahman -- The Extension of Linear Coding Method for Automated Analog Circuit Design / Zhi Li, Jingsong He -- The Design and Implementation of Motor Drive for an Electric Bicycle / Tze-Yee Ho [and others] -- The UML Diagram to VHDL Code Transformation Based on MDA Methodology / Chi-Pan Hwang, Mu-Song Chen -- Generating Mask from the Structural Layer of Micro Device / Zheng Liu -- Parallel Process of Virtual Screening Result File Based on Hadoop / Ning Ma, Rongjing Hu, Ruisheng Zhang -- 3D Modeling Environment Development for Micro Device Design / Zheng Liu -- Data Reconciliation of Release Mechanism Research of LDH-Based Drug / Xiaoxia Liu.
Record Nr. NYU-004637857
[ICSI (Conference) (4th : 2013 : Harbin, China)]  
Materiale a stampa
Lo trovi qui: New York University
Transactions on computational science XVIII : special issue on cyberworlds / Marina L. Gavrilova, C.J. Kenneth Tan, Arjan Kuijper (eds.).
Transactions on computational science XVIII : special issue on cyberworlds / Marina L. Gavrilova, C.J. Kenneth Tan, Arjan Kuijper (eds.).
Estensione 1 online resource (263 pages).
Disciplina 004
Accesso persona Gavrilova, Marina L.
Tan, C. J. Kenneth (Chih Jeng Kenneth)
Kuijper, Arjan
Genere/Forma Electronic books
Ebook
ISBN 9783642388033
3642388035
9783642388026
3642388027
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Distributed Rendering for Interactive Multi-screen Visualization Environments Based on XNA Game Studio / Evangelos Zotos, Rainer Herpers -- Training Interpreters Using Virtual Worlds / Panagiotis D. Ritsos, Robert Gittins -- Mathematical Foundations for Designing a 3-Dimensional Sketch Book / Kenji Ohmori, Tosiyasu L. Kunii -- Image-Based Virtual Palpation / Shamima Yasmin, Alexei Sourin -- Asynchronous Immersive Classes in a 3D Virtual World: Extended Description of vAcademia / Mikhail Morozov, Alexey Gerasimov -- Real-Time Fractal-Based Valence Level Recognition from EEG / Yisi Liu, Olga Sourina -- Towards Multi-hazard Resilience as a New Engineering Paradigm for Safety and Security Provision of Built Environment / Igor Kirillov, Sergei Metcherin -- Recognizing Avatar Faces Using Wavelet-Based Adaptive Local Binary Patterns with Directional Statistical Features / Abdallah A. Mohamed, Marina L. Gavrilova -- Real-Time Reactive Biped Characters / Ben Kenwright -- Using Head Tracking Data for Robust Short Term Path Prediction of Human Locomotion / Thomas Nescher, Andreas Kunz -- A Computational Model of Emotional Attention for Autonomous Agents / Silviano Díaz Barriga, Luis-Felipe Rodríguez -- Haptic Rendering of Volume Data with Collision Detection Guarantee Using Path Finding / Roman Vlasov, Karl-Ingo Friese -- Towards Early Diagnosis of Dementia Using a Virtual Environment / Syadiah Nor Wan Shamsuddin, Hassan Ugail -- Providing Visual Support for Selecting Reactive Elements in Intelligent Environments / Martin Majewski, Andreas Braun.
Record Nr. NYU-004637860
Materiale a stampa
Lo trovi qui: New York University