top

  Info

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

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Multi-agent-based simulation XII : international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised selected papers / Daniel Villatoro, Jordi Sabater-Mir, Jaime Simão Sichman (eds.).
Multi-agent-based simulation XII : international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised selected papers / Daniel Villatoro, Jordi Sabater-Mir, Jaime Simão Sichman (eds.).
Creatore [MABS 2011 (2011 : Taipei, Taiwan)]
Estensione 1 online resource (viii, pages) : illustrations.
Disciplina 003/.3
Accesso persona Villatoro, Daniel
Sabater-Mir, Jordi
Sichman, Jaime S. (Jaime Simão)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer software
Artificial intelligence
Computer simulation
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Simulation and Modeling
Special Purpose and Application-Based Systems
ISBN 9783642284007
3642284000
9783642283994
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004374404
[MABS 2011 (2011 : Taipei, Taiwan)]  
Materiale a stampa
Lo trovi qui: New York University
Language and automata theory and applications : 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 : 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 pages).
Disciplina 004
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
Genere/Forma Electronic books
Conference papers and proceedings
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
3642283322
9783642283314
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004374448
[LATA (Conference) (6th : 2012 : La Coruña, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
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 pages).
Disciplina 570.285
Accesso persona Giacobini, Mario
Vanneschi, Leonardo
Bush, William S.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Bioinformatics
Computational Biology/Bioinformatics
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
ISBN 9783642290664
3642290663
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. NYU-004374719
[EvoBIO 2012 (2012 : Málaga, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
LATIN 2012: Theoretical informatics : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / David Fernández-Baca (ed.).
LATIN 2012: Theoretical informatics : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings / David Fernández-Baca (ed.).
Creatore [Latin American Symposium on Theoretical Informatics (10th : 2012 : Arequipa, Peru)]
Estensione 1 online resource (xvii, 669 pages).
Disciplina 004
Accesso persona Fernández-Baca, David
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Electronic data processing
Computational complexity
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Numeric Computing
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
ISBN 9783642293443
3642293441
9783642293436
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Generalization of the Convex Kakeya Problem / Hee-Kap Ahn, Sang Won Bae, Otfried Cheong, Joachim Gudmundsson and Takeshi Tokuyama, et al. -- Low Complexity Scheduling Algorithm Minimizing the Energy for Tasks with Agreeable Deadlines / Eric Angel, Evripidis Bampis and Vincent Chau -- Bichromatic 2-Center of Pairs of Points / Esther M. Arkin, José Miguel Díaz-Báñez, Ferran Hurtado, Piyush Kumar and Joseph S.B. Mitchell, et al. -- Erdős-Rényi Sequences and Deterministic Construction of Expanding Cayley Graphs / Vikraman Arvind, Partha Mukhopadhyay and Prajakta Nimbhorkar -- A Better Approximation Ratio and an IP Formulation for a Sensor Cover Problem / Rafael da Ponte Barbosa and Yoshiko Wakabayashi -- On the Advice Complexity of the Knapsack Problem / Hans-Joachim Böckenhauer, Dennis Komm, Richard Královič and Peter Rossmanith -- Reoptimization of Some Maximum Weight Induced Hereditary Subgraph Problems / Nicolas Boria, Jérôme Monnot and Vangelis Th. Paschos -- On Plane Constrained Bounded-Degree Spanners / Prosenjit Bose, Rolf Fagerberg, André van Renssen and Sander Verdonschot.
Space-Efficient Approximation Scheme for Circular Earth Mover Distance / Joshua Brody, Hongyu Liang and Xiaoming Sun -- Density Classification on Infinite Lattices and Trees / Ana Bušić, Nazim Fatès, Jean Mairesse and Irène Marcovici -- Coloring Planar Homothets and Three-Dimensional Hypergraphs / Jean Cardinal and Matias Korman -- An Equivariance Theorem with Applications to Renaming / Armando Castañeda, Maurice Herlihy and Sergio Rajsbaum -- Renaming Is Weaker Than Set Agreement But for Perfect Renaming: A Map of Sub-consensus Tasks / Armando Castañeda, Damien Imbs, Sergio Rajsbaum and Michel Raynal -- Pseudorandomness of a Random Kronecker Sequence / Eda Cesaratto and Brigitte Vallée -- Revisiting the Cache Miss Analysis of Multithreaded Algorithms / Richard Cole and Vijaya Ramachandran -- Parameterized Complexity of MaxSat above Average / Robert Crowston, Gregory Gutin, Mark Jones, Venkatesh Raman and Saket Saurabh -- Solving the 2-Disjoint Connected Subgraphs Problem Faster Than 2n / Marek Cygan, Marcin Pilipczuk, Michał Pilipczuk and Jakub Onufry Wojtaszczyk.
On the Non-progressive Spread of Influence through Social Networks / MohammadAmin Fazli, Mohammad Ghodsi, Jafar Habibi, Pooya Jalaly Khalilabadi and Vahab Mirrokni, et al. -- Forbidden Patterns / Johannes Fischer, Travis Gagie, Tsvi Kopelowitz, Moshe Lewenstein and Veli Mäkinen, et al. -- Structural Complexity of Multiobjective NP Search Problems / Krzysztof Fleszar, Christian Glaßer, Fabian Lipp, Christian Reitwießner and Maximilian Witek -- k-Gap Interval Graphs / Fedor V. Fomin, Serge Gaspers, Petr Golovach, Karol Suchan and Stefan Szeider, et al. -- Decidability Classes for Mobile Agents Computing / Pierre Fraigniaud and Andrzej Pelc -- NE Is Not NP Turing Reducible to Nonexponentially Dense NP Sets / Bin Fu -- Efficient Arbitrary and Resolution Proofs of Unsatisfiability for Restricted Tree-Width / Martin Fürer -- Indexed Multi-pattern Matching / Travis Gagie, Kalle Karhu, Juha Kärkkäinen, Veli Mäkinen and Leena Salmela, et al. -- New Lower Bound on Max Cut of Hypergraphs with an Application to r-Set Splitting / Archontia C. Giannopoulou, Sudeshna Kolay and Saket Saurabh.
Cache Me If You Can: Capacitated Selfish Replication Games / Ragavendran Gopalakrishnan, Dimitrios Kanoulas, Naga Naresh Karuturi, C. Pandu Rangan and Rajmohan Rajaraman, et al. -- The Efficiency of MapReduce in Parallel External Memory / Gero Greiner and Riko Jacob -- Algorithms for Some H-Join Decompositions / Michel Habib, Antoine Mamcarz and Fabien de Montgolfier -- On the Bend-Number of Planar and Outerplanar Graphs / Daniel Heldt, Kolja Knauer and Torsten Ueckerdt -- Hiring above the m-th Best Candidate: A Generalization of Records in Permutations / Ahmed Helmi, Conrado Martínez and Alois Panholzer -- On the Performance of Smith's Rule in Single-Machine Scheduling with Nonlinear Cost / Wiebke Höhn and Tobias Jacobs -- Advantage of Overlapping Clusters for Minimizing Conductance / Rohit Khandekar, Guy Kortsarz and Vahab Mirrokni -- Independence of Tabulation-Based Hash Classes / Toryn Qwyllyn Klassen and Philipp Woelfel -- Oblivious Two-Way Finite Automata: Decidability and Complexity / Martin Kutrib, Andreas Malcher and Giovanni Pighizzini.
Clique-Colouring and Biclique-Colouring Unichord-Free Graphs / Hélio B. Macêdo Filho, Raphael C.S. Machado and Celina M.H. Figueiredo -- Random Walks and Bisections in Random Circulant Graphs / Bernard Mans and Igor E. Shparlinski -- The Feedback Arc Set Problem with Triangle Inequality Is a Vertex Cover Problem / Monaldo Mastrolilli -- Fully Analyzing an Algebraic Pólya Urn Model / Basile Morcrette -- Degree-Constrained Node-Connectivity / Zeev Nutov -- Survivable Network Activation Problems / Zeev Nutov -- On the Integrality Gap of the Subtour LP for the 1,2-TSP / Jiawei Qian, Frans Schalekamp, David P. Williamson and Anke van Zuylen -- A Theory and Algorithms for Combinatorial Reoptimization / Hadas Shachnai, Gal Tamir and Tami Tamir -- Capacity Achieving Two-Write WOM Codes / Amir Shpilka -- The Relationship between Inner Product and Counting Cycles / Xiaoming Sun, Chengu Wang and Wei Yu -- Approximating Minimum Label s-t Cut via Linear Programming / Linqing Tang and Peng Zhang.
A O(1/ε2)n-Time Sieving Algorithm for Approximate Integer Programming / Daniel Dadush -- Two-Dimensional Range Diameter Queries / Pooya Davoodi, Michiel Smid and Freek van Walderveen -- An Improved Upper Bound on the Density of Universal Random Graphs / Domingos Dellamonica, Yoshiharu Kohayakawa, Vojtěch Rödl and Andrzej Ruciński -- Logspace Computations in Graph Groups and Coxeter Groups / Volker Diekert, Jonathan Kausch and Markus Lohrey -- Approximating the Edge Length of 2-Edge Connected Planar Geometric Graphs on a Set of Points / Stefan Dobrev, Evangelos Kranakis, Danny Krizanc, Oscar Morales-Ponce and Ladislav Stacho -- On the Radon Number for P3-Convexity / Mitre C. Dourado, Dieter Rautenbach, Vinícius Fernandes dos Santos, Philipp M. Schäfer and Jayme L. Szwarcfiter, et al. -- Computing Minimum Geodetic Sets of Proper Interval Graphs / Tınaz Ekim, Aysel Erey, Pinar Heggernes, Pim van 't Hof and Daniel Meister -- Hausdorff Rank of Scattered Context-Free Linear Orders / Zoltán Ésik and Szabolcs Iván -- Opportunistic Information Dissemination in Mobile Ad-Hoc Networks: Adaptiveness vs. Obliviousness and Randomization vs. Determinism / Martín Farach-Colton, Antonio Fernández Anta, Alessia Milani, Miguel A. Mosteiro and Shmuel Zaks.
Record Nr. NYU-004374940
[Latin American Symposium on Theoretical Informatics (10th : 2012 : Arequipa, Peru)]  
Materiale a stampa
Lo trovi qui: New York University
Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers / Fabrizio Riguzzi, Filip Železný (eds.).
Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers / Fabrizio Riguzzi, Filip Železný (eds.).
Creatore [ILP (Conference) (22nd : 2012 : Dubrovnik, Croatia)]
Estensione 1 online resource (x, 272 pages) : illustrations.
Disciplina 005.1/15
Accesso persona Riguzzi, Fabrizio
Železný, Filip
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Logic design
Artificial intelligence
Mathematical Logic and Formal Languages
Programming Techniques
Logics and Meanings of Programs
Computation by Abstract Devices
ISBN 9783642388125
3642388124
9783642388118
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Relational Approach to Tool-Use Learning in Robots / Solly Brown, Claude Sammut -- A Refinement Operator for Inducing Threaded-Variable Clauses / Angelos Charalambidis, Stasinos Konstantopoulos -- Propositionalisation of Continuous Attributes beyond Simple Aggregation / Soufiane El Jelali, Agnès Braud, Nicolas Lachiche -- Topic Models with Relational Features for Drug Design / Tanveer A. Faruquie, Ashwin Srinivasan, Ross D. King -- Pairwise Markov Logic / Daan Fierens, Kristian Kersting, Jesse Davis, Jian Chen -- Evaluating Inference Algorithms for the Prolog Factor Language / Tiago Gomes, Vítor Santos Costa -- Polynomial Time Pattern Matching Algorithm for Ordered Graph Patterns / Takahiro Hino, Yusuke Suzuki, Tomoyuki Uchida, Yuko Itokawa -- Fast Parameter Learning for Markov Logic Networks Using Bayes Nets / Hassan Khosravi -- Bounded Least General Generalization / Ondřej Kuželka, Andrea Szabóová, Filip Železný -- Itemset-Based Variable Construction in Multi-relational Supervised Learning / Dhafer Lahbib, Marc Boullé, Dominique Laurent -- A Declarative Modeling Language for Concept Learning in Description Logics / Francesca Alessandra Lisi -- Identifying Driver's Cognitive Load Using Inductive Logic Programming / Fumio Mizoguchi, Hayato Ohwada, Hiroyuki Nishiyama -- Opening Doors: An Initial SRL Approach / Bogdan Moldovan, Laura Antanas, McElory Hoffmann -- Probing the Space of Optimal Markov Logic Networks for Sequence Labeling / Naveen Nair, Ajay Nagesh, Ganesh Ramakrishnan -- What Kinds of Relational Features Are Useful for Statistical Learning? / Amrita Saha, Ashwin Srinivasan, Ganesh Ramakrishnan -- Learning Dishonesty / Chiaki Sakama -- Heuristic Inverse Subsumption in Full-Clausal Theories / Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma -- Learning Unordered Tree Contraction Patterns in Polynomial Time / Yuta Yoshimura, Takayoshi Shoudai.
Record Nr. NYU-004402657
[ILP (Conference) (22nd : 2012 : Dubrovnik, Croatia)]  
Materiale a stampa
Lo trovi qui: New York University
Artificial evolution : 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, revised selected papers / Jin-Kao Hao [and others] (eds.).
Artificial evolution : 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, revised selected papers / Jin-Kao Hao [and others] (eds.).
Creatore [EA 2011 (2011 : Angers, France)]
Estensione 1 online resource (xv, 228 pages) : illustrations.
Disciplina 005.1
Accesso persona Hao, J.-K. (Jin-Kao)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Electronic data processing
Information storage and retrieval systems
Artificial intelligence
Optical pattern recognition
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Pattern Recognition
ISBN 9783642355332
3642355331
9783642355325
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Ant Colony Optimization -- An Immigrants Scheme Based on Environmental Information for Ant Colony Optimization for the Dynamic Travelling Salesman Problem / Michalis Mavrovouniotis, Shengxiang Yang -- Multi-Objective Optimization -- A Surrogate-Based Intelligent Variation Operator for Multiobjective Optimization / Alan Díaz-Manríquez, Gregorio Toscano-Pulido, Ricardo Landa-Becerra -- The Relationship between the Covered Fraction, Completeness and Hypervolume Indicators / Viviane Grunert da Fonseca, Carlos M. Fonseca -- Analysis -- A Rigorous Runtime Analysis for Quasi-Random Restarts and Decreasing Stepsize / Marc Schoenauer, Fabien Teytaud, Olivier Teytaud -- Local Optima Networks with Escape Edges / Sébastien Vérel, Fabio Daolio, Gabriela Ochoa, Marco Tomassini -- Visual Analysis of Population Scatterplots / Evelyne Lutton, Julie Foucquier, Nathalie Perrot, Jean Louchet, Jean-Daniel Fekete.
Implementation and Robotics -- An On-Line On-Board Distributed Algorithm for Evolutionary Robotics / Robert-Jan Huijsman, Evert Haasdijk, A.E. Eiben -- Improving Performance via Population Growth and Local Search: The Case of the Artificial Bee Colony Algorithm / Doğan Aydın, Tianjun Liao, Marco A. Montes de Oca, Thomas Stützle -- Two Ports of a Full Evolutionary Algorithm onto GPGPU / Ogier Maitre, Nicolas Lachiche, Pierre Collet -- Combinatorial Optimization -- A Multilevel Tabu Search with Backtracking for Exploring Weak Schur Numbers / Denis Robilliard, Cyril Fonlupt, Virginie Marion-Poty, Amine Boumaza -- An Improved Memetic Algorithm for the Antibandwidth Problem / Eduardo Rodriguez-Tello, Luis Carlos Betancourt -- Learning and Parameter Tuning -- Adaptive Play in a Pollution Bargaining Game / Vincent van der Goes -- Learn-and-Optimize: A Parameter Tuning Framework for Evolutionary AI Planning / Mátyás Brendel, Marc Schoenauer -- New Nature Inspired Models.
A Model Based on Biological Invasions for Island Evolutionary Algorithms / Ivanoe De Falco, Antonio Della Cioppa, Domenico Maisto, Umberto Scafuri -- A Multi-objective Particle Swarm Optimizer Enhanced with a Differential Evolution Scheme / Jorge Sebastian Hernández-Domínguez, Gregorio Toscano-Pulido, Carlos A. Coello Coello -- Probabilistic Algorithms -- Evolution of Multisensory Integration in Large Neural Fields / Benjamin Inden, Yaochu Jin, Robert Haschke, Helge Ritter -- Reducing the Learning Time of Tetris in Evolution Strategies / Amine Boumaza -- Theory and Evolutionary Search -- Black-Box Complexity: Breaking the O(n logn) Barrier of LeadingOnes / Benjamin Doerr, Carola Winzen -- Applications -- Imperialist Competitive Algorithm for Dynamic Optimization of Economic Dispatch in Power Systems / Robin Roche, Lhassane Idoumghar, Benjamin Blunier, Abdellatif Miraoui.
Record Nr. NYU-004389297
[EA 2011 (2011 : Angers, France)]  
Materiale a stampa
Lo trovi qui: New York University
Theory and applications of satisfiability testing-- SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / Matti Järvisalo, Allen Van Gelder (eds.).
Theory and applications of satisfiability testing-- SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / Matti Järvisalo, Allen Van Gelder (eds.).
Creatore [SAT (Conference) (16th : 2013 : Helsinki, Finland)]
Estensione 1 online resource (xvi, 436 pages) : illustrations (black and white).
Disciplina 005.1
Accesso persona Järvisalo, Matti, editor
Van Gelder, Allen, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Logics and Meanings of Programs
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Information and Communication, Circuits
ISBN 9783642390715
3642390714
9783642390708
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks. The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs / Albert Atserias -- Turing's Computable Real Numbers and Why They Are Still Important Today / Edmund M. Clarke -- There Are No CNF Problems / Peter J. Stuckey -- Best Paper. Soundness of Inprocessing in Clause Sharing SAT Solvers / Norbert Manthey, Tobias Philipp, Christoph Wernhard -- Technical Papers. Propositional Proof Complexity I. Exponential Separations in a Hierarchy of Clause Learning Proof Systems / Jan Johannsen -- On the Resolution Complexity of Graph Non-isomorphism / Jacobo Torán -- Quantified Boolean Formulas. On Propositional QBF Expansions and Q-Resolution / Mikoláš Janota, Joao Marques-Silva -- Recovering and Utilizing Partial Duality in QBF / Alexandra Goultiaeva, Fahiem Bacchus -- Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation / Florian Lonsing, Uwe Egly, Allen Van Gelder.
Parallel Solving. Concurrent Clause Strengthening / Siert Wieringa, Keijo Heljanko -- Parallel MUS Extraction / Anton Belov, Norbert Manthey, Joao Marques-Silva -- Maximum Satisfiability. A Modular Approach to MaxSAT Modulo Theories / Alessandro Cimatti [and others] -- Exploiting the Power of mip Solvers in maxsat / Jessica Davies, Fahiem Bacchus -- Community-Based Partitioning for MaxSAT Solving / Ruben Martins, Vasco Manquinho, Inês Lynce -- Encodings and Applications. Experiments with Reduction Finding / Charles Jordan, Łukasz Kaiser -- A Constraint Satisfaction Approach for Programmable Logic Detailed Placement / Andrew Mihal, Steve Teig -- Minimizing Models for Tseitin-Encoded SAT Instances / Markus Iser, Carsten Sinz, Mana Taghdiri.
Beyond SAT. Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability / Marcelo Finger [and others] -- Quantified Maximum Satisfiability: / Alexey Ignatiev, Mikoláš Janota, Joao Marques-Silva -- Nested Boolean Functions as Models for Quantified Boolean Formulas / Uwe Bubeck, Hans Kleine Büning -- Solver Techniques and Algorithms. Factoring Out Assumptions to Speed Up MUS Extraction / Jean-Marie Lagniez, Armin Biere -- On the Interpolation between Product-Based Message Passing Heuristics for SAT / Oliver Gableske -- Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction / Gilles Audemard, Jean-Marie Lagniez, Laurent Simon -- Clique-Width and SAT. A SAT Approach to Clique-Width / Marijn J.H. Heule, Stefan Szeider -- Cliquewidth and Knowledge Compilation / Igor Razgon, Justyna Petke.
Propositional Proof Complexity II. A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem / Massimo Lauria -- The Complexity of Theorem Proving in Autoepistemic Logic / Olaf Beyersdorff -- Parameterized Complexity. Local Backbones / Ronald de Haan, Iyad Kanj, Stefan Szeider -- Upper and Lower Bounds for Weak Backdoor Set Detection / Neeldhara Misra [and others] -- Tool Papers. LearnSAT: A SAT Solver for Education / Mordechai (Moti) Ben-Ari -- MUStICCa: MUS Extraction with Interactive Choice of Candidates / Johannes Dellert, Christian Zielke, Michael Kaufmann -- SCSat: A Soft Constraint Guided SAT Solver / Hiroshi Fujita, Miyuki Koshimura, Ryuzo Hasegawa -- Snappy: A Simple Algorithm Portfolio / Horst Samulowitz, Chandra Reddy, Ashish Sabharwal, Meinolf Sellmann -- Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems / Takehide Soh, Naoyuki Tamura, Mutsunori Banbara.
Record Nr. NYU-004420387
[SAT (Conference) (16th : 2013 : Helsinki, Finland)]  
Materiale a stampa
Lo trovi qui: New York University
Membrane computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised selected papers / Marian Gheorghe [and others] (eds.).
Membrane computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised selected papers / Marian Gheorghe [and others] (eds.).
Creatore [CMC (Conference : Membrane computing) (12th : 2011 : Fontainebleau, France)]
Estensione 1 online resource (viii, 370 pages).
Disciplina 003/.5
Accesso persona Gheorghe, Marian, 1953-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer simulation
Bioinformatics
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Simulation and Modeling
Computational Biology/Bioinformatics
Software Engineering/Programming and Operating Systems
ISBN 9783642280245
3642280242
9783642280238
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004621479
[CMC (Conference : Membrane computing) (12th : 2011 : Fontainebleau, France)]  
Materiale a stampa
Lo trovi qui: New York University
Cellular automata : 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings / Georgios Ch. Sirakoulis, Stefania Bandini (eds.).
Cellular automata : 10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings / Georgios Ch. Sirakoulis, Stefania Bandini (eds.).
Creatore [International Conference on Cellular Automata for Research and Industry (10th : 2012 : Thēra, Greece)]
Estensione 1 online resource.
Accesso persona Sirakoulis, Georgios Ch.
Bandini, S. (Stefania), 1956-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Computation by Abstract Devices
Information Systems Applications (incl. Internet)
ISBN 9783642333507
3642333508
9783642333491
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Topological Perturbations and Their Effect on the Dynamics of Totalistic Cellular Automata / Jan M. Baetens and Bernard De Baets -- Counting Cycles in Reversible Cellular Automata / Sukanta Das, Avik Chakraborty and Biplab K. Sikdar -- Propagative Mode in a Lattice-Grain CA: Time Evolution and Timestep Synchronization / Dominique Désérable -- Limit Cycle for Composited Cellar Automata / Toshikazu Ishida and Shuichi Inokuchi -- Iterative Arrays: Little Resources Big Size Impact / Martin Kutrib and Andreas Malcher -- Generating Expander Graphs Using Cellular Automata / Debdeep Mukhopadhyay -- Analysis of Reachability Tree for Identification of Cyclic and Acyclic CA States / Nazma Naskar, Avik Chakraborty, Pradipta Maji and Sukanta Das -- Confliction-Like Dynamics of Rule 20 ECA of Wolfram Class II / Fumio Ohi and Takanori Ichikawa -- Determining the Critical Temperature of the Continuous-State Game of Life / Susumu Adachi, Jia Lee, Ferdinand Peper, Teijiro Isokawa and Katsunobu Imai -- The Dynamics of Disproportionality Index for Cellular Automata Based Sociophysical Models / Tomasz M. Gwizdałła.
A Spatio-temporal Algorithmic Point of View on Firing Squad Synchronisation Problem / Luidnel Maignan and Jean-Baptiste Yunès -- A Coevolutionary Approach to Cellular Automata-Based Task Scheduling / Gina M.B. Oliveira and Paulo M. Vidica -- Searching Cellular Automata Rules for Solving Two-Dimensional Binary Classification Problem / Anna Piwonska, Franciszek Seredynski and Miroslaw Szaban -- Multi-objective Cellular Automata Optimization / Epaminondas Sidiropoulos -- Behavior of Social Dynamical Models I: Fixation in the Symmetric Cyclic System (with Paradoxical Effect in the Six-Color Automaton) / Stylianos Scarlatos -- Behavior of Social Dynamical Models II: Clustering for Some Multitype Particle Systems with Confidence Threshold / Adam Adamopoulos and Stylianos Scarlatos -- Investigation of Stable Patterns Formed by Totalistic Cellular Automata Evolution / Anastasiya Sharifulina -- Recent Developments in Constructing Square Synchronizers / Hiroshi Umeo and Keisuke Kubo -- Structural Operational Semantics for Cellular Automata / Baltasar Trancón y. Widemann -- Controlling the Opacity of a Building Envelope by a Triangular Two-Color Two-Dimensional Cellular Automaton / Machi Zawidzki and Katsuhiro Nishinari.
Community-Detection Cellular Automata with Local and Long-Range Connectivity / Franco Bagnoli, Emanuele Massaro and Andrea Guazzini -- Cellular Automaton as Sorting Network Generator Using Instruction-Based Development / Michal Bidlo and Zdenek Vasicek -- Network View of Binary Cellular Automata / Yoshihiko Kayama -- A Cellular Automata Based Scheme for Energy Efficient Fault Diagnosis in WSN / Nasiruddin Khan, Ilora Maity, Sukanta Das and Biplab K. Sikdar -- Noise-Induced Emergent Hierarchies in a CA Model / Marco Villani, Roberto Serra, Stefano Benedettini, Andrea Roli and David Lane -- Introducing Innovation in a Structured Population / Burton Voorhees -- Spreading Patterns of Mobile Phone Viruses Using Cellular Automata / Ioannis Vourkas, Dimitrios Michail and Georgios Ch. Sirakoulis -- A Preliminary Cellular Model for Sand Coastal Erosion and Experimental Contrast with Porto Cesareo Case / Maria Vittoria Avolio, Claudia Roberta Calidonna, Marco Delle Rose, Salvatore Di Gregorio and Valeria Lupiano, et al. -- Simulation of Wildfire Spread Using Cellular Automata with Randomized Local Sources / Maria Vittoria Avolio, Salvatore Di Gregorio, Valeria Lupiano and Giuseppe A. Trunfio.
A Theorem about the Algorithm of Minimization of Differences for Multicomponent Cellular Automata / Maria Vittoria Avolio, Salvatore Di Gregorio, William Spataro and Giuseppe A. Trunfio -- Generation of Pedestrian Groups Distributions with Probabilistic Cellular Automata / Stefania Bandini, Lorenza Manenti and Sara Manzoni -- Coupling Method for Building a Network of Irrigation Canals on a Distributed Computing Environment / Mohamed Ben Belgacem, Bastien Chopard and Andrea Parmigiani -- Urban Cellular Automata with Irregular Space of Proximities: A Case Study / Ivan Blecic, Arnaldo Cecchini, Giuseppe A. Trunfio and Emmanuil Verigos -- Efficient Robot Path Planning in the Presence of Dynamically Expanding Obstacles / Konstantinos Charalampous, Angelos Amanatiadis and Antonios Gasteratos -- Image Encryption Using the Recursive Attributes of the eXclusive-OR Filter on Cellular Automata / Savvas A. Chatzichristofis, Oge Marques, Mathias Lux and Yiannis Boutalis -- Agent-Based Model to Simulate Groundwater Remediation with Nanoscale Zero Valent Iron / Davide De March, Alessandro Filisetti, Elisabetta Sartorato and Emanuele Argese.
Theory and Application of Restricted Five Neighborhood Cellular Automata (R5NCA) for Protein Structure Prediction / Soumyabrata Ghosh, Nirmalya S. Maiti and Parimal Pal Chaudhuri -- Multi Agent-Based Simulation on Technology Diffusion of China / Gu Gaoxiang, Wang Zheng and Wu Jing -- An Edge Preserving Image Resizing Method Based on Cellular Automata / Konstantinos Ioannidis, Ioannis Andreadis and Georgios Ch. Sirakoulis -- Modelling of Incident Sound Wave Propagation around Sound Barriers Using Cellular Automata / Toshihiko Komatsuzaki, Yoshio Iwata and Shin Morishita -- Path Tracing on Polar Depth Maps for Robot Navigation / Ioannis Kostavelis, Evangelos Boukas, Lazaros Nalpantidis and Antonios Gasteratos -- Modeling Development and Disease in Our "Second" Brain / Kerry A. Landman, Benjamin J. Binder and Donald F. Newgreen -- A 2D Cellular Automaton Biofilm Detachment Algorithm / Chrysi S. Laspidou, Antonis Liakopoulos and Marios G. Spiliotopoulos -- Creature Learning to Cross a CA Simulated Road / Anna T. Lawniczak, Jason B. Ernst and Bruno N. Di Stefano.
An Electro-Mechanical Cardiac Simulator Based on Cellular Automata and Mass-Spring Models / Ronan Mendonça Amorim, Ricardo Silva Campos, Marcelo Lobosco, Christian Jacob and Rodrigo Weber dos Santos -- Swii2, a HTML5/WebGL Application for Cellular Automata Debris Flows Simulation / Roberto Parise, Donato D'Ambrosio, Giuseppe Spingola, Giuseppe Filippone and Rocco Rongo, et al. -- Effects of Initial Concentration and Severity of Infected Cells on Stochastic Cellular Automaton Model Dynamics for HIV Infection / Monamorn Precharattana and Wannapong Triampo -- Decentralized Method for Traffic Monitoring / Guillaume Sartoretti, Jean-Luc Falcone, Bastien Chopard and Martin J. Gander -- Improving a Project Management by Use of Cellular Automata / Kenichiro Shimura and Katsuhiro Nishinari -- Use of Cellular Automata to Create an Artificial System of Image Classification and Recognition / Stepan Belan and Nikolay Belan -- Modeling of Recrystallization with Recovery by Frontal Cellular Automata / Dmytro S. Svyetlichnyy, Jarosław Nowak and Łukasz Łach -- A CA-Based Model Describing Fat Bloom in Chocolate / Pieter Van der Weeën, Nathalie De Clercq, Koen Dewettinck and Bernard De Baets.
Scene Text Detection on Images Using Cellular Automata / Konstantinos Zagoris and Ioannis Pratikakis -- A Novel Cellular Automaton Model for Traffic Freeway Simulation / Marcelo Zamith, Regina Célia P. Leal-Toledo and Esteban Clua -- Scintillae: How to Approach Computing Systems by Means of Cellular Automata / Gabriele Di Stefano and Alfredo Navarra -- Cellular Automata Analysis on Self-assembly Properties in DNA Tile Computing / Miki Hirabayashi, Syunsuke Kinoshita, Shukichi Tanaka, Hajime Honda and Hiroaki Kojima, et al. -- Quantum-Dot Cellular Automata Design for Median Filtering and Mathematical Morphology Operations on Binary Images / Fotios K. Panagiotopoulos, Vassilios A. Mardiris and Vassilios Chatzis -- A 3-State Asynchronous CA for the Simulation of Delay-Insensitive Circuits / Oliver Schneider and Thomas Worsch -- On Construction by Worm-Like Agents on a Self-timed Cellular Automaton / Daichi Takata, Teijiro Isokawa, Jia Lee, Ferdinand Peper and Nobuyuki Matsui -- Periodicity in Quantum Cellular Automata / Georgios I. Tsormpatzoglou and Ioannis G. Karafyllidis -- CSHR: Selection of Cryptographically Suitable Hybrid Cellular Automata Rule / Kaushik Chakraborty and Dipanwita Roy Chowdhury.
CASTREAM: A New Stream Cipher Suitable for Both Hardware and Software / Sourav Das and Dipanwita Roy Chowdhury -- Evolution of 2-Dimensional Cellular Automata as Pseudo-random Number Generators / Bernard Girau and Nikolaos Vlassopoulos -- Countermeasures of Side Channel Attacks on Symmetric Key Ciphers Using Cellular Automata / Sandip Karmakar and Dipanwita Roy Chowdhury -- First Steps on Asynchronous Lattice-Gas Models with an Application to a Swarming Rule / Olivier Bouré, Nazim Fatès and Vincent Chevrier -- Synthesis of Reversible Asynchronous Cellular Automata for Pattern Generation with Specific Hamming Distance / Sukanta Das, Anindita Sarkar and Biplab K. Sikdar -- m-Asynchronous Cellular Automata / Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Giancarlo Mauri -- Cellular Automata and Random Field: Statistical Analysis of Complex Space-Time Systems / Mario Di Traglia -- Limit Cycle Structure for Block-Sequential Threshold Systems / Henning S. Mortveit -- A Study of Stochastic Noise and Asynchronism in Elementary Cellular Automata / Fernando Silva and Luís Correia -- (Intrinsically?) Universal Asynchronous CA / Thomas Worsch.
Data Collection for Modeling and Simulation: Case Study at the University of Milan-Bicocca / Mizar Luca Federici, Andrea Gorrini, Lorenza Manenti and Giuseppe Vizzari -- Cellular Model of Room Evacuation Based on Occupancy and Movement Prediction / Pavel Hrabák, Marek Bukáček and Milan Krbálek -- On Validation of the SIgMA. CA Pedestrian Dynamics Model with Bottleneck Flow / Ekaterina Kirik and Tat'yana Vitova -- Modeling of Walking through Pathways and a Stairway by Cellular Automata Based on the Guideline for Evacuation / Shigeyuki Koyama, Nobuhiko Shinozaki and Shin Morishita -- Cellular Automata, Agents with Mobility and GIS for Practical Problems / Alexander Makarenko, Anton Musienko, Anna Popova, Gennadiy Poveshenko and Evgeniy Samorodov, et al. -- Evacuation Simulation from Rooms through a Pathway and a Stairway by Cellular Automata Based on the Public Guideline / Nobuhiko Shinozaki, Shigeyuki Koyama and Shin Morishita -- Follow-the-Leader Cellular Automata Based Model Directing Crowd Movement / Christos Vihas, Ioakeim G. Georgoudas and Georgios Ch. Sirakoulis -- A Spatially Explicit Migration Model for Pike / Steffie Van Nieuland, Jan M. Baetens, Ine S. Pauwels, Bernard De Baets and Ans M. Mouton, et al.
Proxemics in Discrete Simulation of Evacuation / Jarosław Wąs, Robert Lubaś and Wojciech Myśliwiec -- Metastability in Pedestrian Evacuation / Takahiro Ezaki and Daichi Yanagisawa -- Modeling and Simulation of a Car Race / Rolf Hoffmann and Maurice Margenstern -- Construction of Cellular Automata Lattice Based on the Semantics of an Urban Traffic Network / Vedran Ivanac, Bojana Dalbelo Bašić and Zvonimir Vanjak -- Calibration of Traffic Simulation Models Using Vehicle Travel Times / Pavol Korcek, Lukas Sekanina and Otto Fucik -- Cellular Automata Model Properties: Representation of Saturation Flow / Ioanna Spyropoulou -- A Traffic Cellular Automaton with Time to Collision Incorporated / Yohei Taniguchi and Hideyuki Suzuki -- A Cellular Automata-Based Network Model for Heterogeneous Traffic: Intersections, Turns and Their Connection / Jelena Vasic and Heather J. Ruskin -- A Metaphor of Complex Automata in Modeling Biological Phenomena / Rafał Wcisło and Witold Dzwinel.
Record Nr. UCHICAGO-11077478
[International Conference on Cellular Automata for Research and Industry (10th : 2012 : Thēra, Greece)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Wireless internet : 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011, Revised selected papers / Pinyi Ren [and others] (eds.).
Wireless internet : 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011, Revised selected papers / Pinyi Ren [and others] (eds.).
Creatore [International Conference on Wireless Internet (6th : 2011 : Xi'an, China)]
Estensione 1 online resource.
Accesso persona Ren, Pinyi
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Artificial intelligence
Information Systems
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
Management of Computing and Information Systems
ISBN 9783642304934
3642304931
3642304923
9783642304927
Classificazione 54.84
53.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto pt. 1. PHY Track. Optimal Joint Subcarrier Assignment and Power Allocation for Multi-user Video Streaming over OFDMA Downlink Systems / Fan Li, Pinyi Ren and Qinghe Du -- Throughput and Sensing Bandwidth Tradeoff in Cognitive Radio Networks / Wenshan Yin, Pinyi Ren and Shuangcheng Yan -- A Common Symbol Timing Offset Synchronization (post FFT) Method for OFDM System / Di Na, Ji longli, Yang Ming and Gao Peng -- Statistical QoS Driven Power and Rate Allocation over Rayleigh Fading Cognitive Radio Links / Yichen Wang, Pinyi Ren and Qinghe Du -- Joint Subcarrier and Power Allocation Considering Fairness in OFDM-Based Cognitive Radio Systems / Shuangcheng Yan, Pinyi Ren and Yu Hong -- Analysis and Implementation of a Precise Paging Mode in Co-LAC for 2G/3G Convergence Core Networks with Path Diversity / Yu Su and Xian Feng -- Peak-to-Average Power-Ratio Reduction Scheme Employing Fountain Codes / Juan Zhou, Ying Shen and Youxi Tang -- Antenna Location Design for Distributed Antenna Systems Based on Timing Acquisition / Tian Xia, Chaojin Qing, Shihai Shao, Mintao Zhang and Youxi Tang -- A Novel Image Transmission System Based on Joint Source-Channel Coding / Junhong Chen and Qinyu Zhang.
Uplink Interference Rejection Combining for WCDMA Using Multiple Antennas / Zhanghong Hao, Hongzhi Zhao, Taofu Mo, Youxi Tang and Huiyue Yu -- A Simplified Fair Scheduling Algorithm for Multiuser MIMO System / Zhao Shen, Daiyu Fu and Fan Jin -- A New Cooperative Spectrum Sensing Scheme for Cognitive Ad-Hoc Networks / Yang Du, Hongxiang Li, Sentang Wu, Weiyao Lin and Xudong Wang -- Iterative DS-CDMA Anti-interference Technique Based on Interference Power Cognition / Taofu Mo, Zhanghong Hao and Youxi Tang -- Outage-Based Optimal Transmit Antenna Location for Distributed Antenna Systems with Selection Transmission / Liang Han, Tian Liu, Shihai Shao, Chaojin Qing and Youxi Tang -- Signal Detection for Joint Distributed Space-Time Coding in Asynchronous Cooperative Cellular Systems / Zhuo Wu, Luodan Liu and Xin Wang -- Enhanced Algorithm for MMIB in Distributed MIMO System / Jian Sun, Shidong Zhou, Xibin Xu, Yunzhou Li and Jing Wang -- A Novel Transmission Scheme Based on Sine/Chirp Hybrid Carriers / Qiming Zhao, Qinyu Zhang and Naitong Zhang -- Dynamic Bayesian Spectrum Bargaining with Non-myopic Users / Yang Yan, Jianwei Huang, Ming Zhao and Jing Wang.
Study on Frequency Synchronization in 3GPP LTE System for FDD and TDD Modes / Meilin Wang, Xin Qi, Limin Xiao, Min Huang and Ming Zhao -- Optimal Power Allocation for OFDM-Based Wire-Tap Channels with Arbitrarily Distributed Inputs / Haohao Qin, Yin Sun, Xiang Chen, Ming Zhao and Jing Wang -- MASS: Multiple ASSociation Scheme in IEEE 802.11 Wireless Mesh Networks / Haidong Zhang, Pin Lv, Yingwen Chen and Ming Xu -- A Weighted UWB Transmitted-Reference Receiver for Indoor Positioning Using MMSE Estimation / Gang Yang, Hui Jiang, Zhiqiang Bao and Jie Shan -- Multi-cell Joint Detection and Macrodiversity for TD-SCDMA Trunking System / Xiaoxiang Shen, Hui Zhi, Shixiang Shao and Meiling Ding -- New Half-Voting Cooperative Sensing Algorithms in Cognitive Radio / Haijun Wang, Yi Xu, Xin Su, Jie Zeng and Jing Wang -- Fast Blind Spectrum Sensing Method Based on Multi-stage Wiener Filter / Zhiqiang Bao, Guangyue Lu, Gang Yang and Huang Qingdong -- A Distributed Resource Admission Control Mechanism Supporting Multicast and Heterogeneous Receivers for MANETs / Wei Wu, Jianli Guo, Xuan Zhu, Huixing Peng and Lianhe Luo, et al. -- Visual Cognitive Radio / Tian Liu, Daixiong Ye, Shihai Shao, Youxi Tang and Juan Zhou.
A Full-Rate Cooperative Communication Strategy in Wireless Relay Networks / Lei Zhan, Fei Yang, Sihai Zhang and Wuyang Zhou -- A Semi-distributed Network Selection Scheme in Heterogeneous Wireless Networks / Juan Fan, Sihai Zhang and Wuyang Zhou -- A Practical Performance Analysis of CRS-Aided Channel Estimation Algorithms for LTE Downlink System / Yannan Yuan, Lianfen Huang, Ruogui Xiao, Xin Qi and Min Huang -- A Joint Optimal Algorithm Based on Relay Nodes Selection and Power Allocation / Zhao Shen, Daiyu Fu and Yu Jin -- A Novel Simple User Scheduling Algorithm for MIMO Downlink System / Haitao Lin, Zhao Shen and Desheng Wang -- Frequency Saving OFDMA Resource Allocation with QoS Provision / Guanying Ru, Hongxiang Li, Yanhui Lu, Yong Cheng and Weiyao Lin -- Distributed Fast Convergent Power Allocation Algorithm in Underlay Cognitive Radio Networks / Yanan Mei, Yanhui Lu, Xiaomin Mu and Xin Liu -- An Adaptive Anti-narrowband Jamming Receiver for CI/OFDM System / Xiaohu Chen, Jun Wang, Pei Gao and ShaoQian Li -- Cooperative Coarse Timing Synchronization for OFDM-Based Distributed Antenna Systems / Chaojin Qing, Shihai Shao, Mintao Zhang and Youxi Tang -- Pilot Design Based on Distributed Transmit Antennas in V-BLAST for Full Frequency Reuse / Zhigang Li, Tian Liu, Shihai Shao and Youxi Tang.
Energy-Efficient Distributed Relay Selection Based on Statistical Channel State Information / Haifang Jiang, Sihai Zhang and Wuyang Zhou -- Secondary User Selection in Cooperative Sensing Scheduling: A Spectrum Opportunity-Energy Tradeoff View / Xiangxia Sun, Tengyi Zhang and Danny H.K. Tsang -- Performance Analysis of Opportunistic Spectrum Sharing System / Wanbin Tang, Yanfeng Han, Hua Jin and ShaoQian Li -- A Cellular-Assisted Mobile UE Cluster Head Selection Algorithm for Wireless Sensor Networks / Lianhai Shan, Yuling Ouyang, Zhi Yuan, Honglin Hu and Zhenhong Li -- pt. 2. Network and Application Track. Interference Mitigation Based on Enhanced Interference PMI Notification / Jiqing Ni, Bingquan Li, Zesong Fei and Jingming Kuang -- Machine Learning Based Autonomous Network Flow Identifying Method / Hongbo Shi, Tomoki Hamagami and Haoyuan Xu -- Leasing and Pricing Strategies for Wireless Service Providers in Dynamic Spectrum Sharing / Peipei Chen, Qinyu Zhang and Yazhen Ren -- LRD Traffic Predicting Based on ARMA / Bo Gao, Qinyu Zhang and Naitong Zhang -- The Master-Slave Stochastic Knapsack Modelling for Fully Dynamic Spectrum Allocation / Sihai Zhang, Fei Yang and Wuyang Zhou.
Evaluation and Enhancement of TCP with Network Coding in Wireless Multihop Networks / Yanli Xu, Xiaolin Bai, Ping Wu and Lianghui Ding -- Fine-Grained Metrics for Quantifying Admission Control Performance in Mobile Ad Hoc Networks / Jianli Guo, Wei Wu, Xiaoxia Liu, Lianhe Luo and Changjiang Yan, et al. -- WiEyeTNB: A Wireless Sensor Based Drowning Detection System for Enhanced Parental Care / Balaji Hariharan, Riji N. Das and Arjun S. -- An Effective Scheme for Detecting Articulation Points in Zone Routing Protocol / Tsung-Chuan Huang, Wei-Chung Cheng and Lung Tang -- Demand-Matching Spectrum Sharing in Cognitive Radio Networks: A Classified Game / Shaohang Cui and Jun Cai -- QoS-Based Spectrum Access Control in MIMO Cognitive Radio Networks / Mei Rong and Shihua Zhu -- pt. 3. Hardware Track. A Tunable CMOS Continuous-Time Filter Designed for a 5.8 GHz ETC Demodulator / Hang Yu, Lai Jiang, Shengyue Lin, Yan Li and Rongchen Wei, et al. -- An Offset-Free 10 MHz Limiting Amplifier Designed for a 5.8 GHz ETC Receiver / Lai Jiang, Hang Yu, Rongchen Wei, Yan Li and Shengyue Lin, et al. -- A Novel Miniature Four-Band CPW-Fed Antenna Optimized Using ISPO Algorithm / Huihui Li, Xuanqin Mou, Zhen Ji, Hang Yu and Yan Li, et al.
Record Nr. UCHICAGO-11077482
[International Conference on Wireless Internet (6th : 2011 : Xi'an, China)]  
Materiale a stampa
Lo trovi qui: University of Chicago