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.
Algorithms for sensor systems [electronic resource] : 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011 : revised selected papers / Thomas Erlebach, Sotiris Nikoletseas, Pekka Orponen (eds.).
Algorithms for sensor systems [electronic resource] : 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011 : revised selected papers / Thomas Erlebach, Sotiris Nikoletseas, Pekka Orponen (eds.).
Creatore [ALGOSENSORS (Symposium) (7th : 2011 : Saarbrücken, Germany)]
Estensione 1 online resource (x, 237 p.) : ill
Disciplina 681/.2
Accesso persona Erlebach, Thomas
Nikoletseas, Sotiris
Orponen, Pekka
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer system performance
Computer software
Algorithm Analysis and Problem Complexity
System Performance and Evaluation
Computation by Abstract Devices
Special Purpose and Application-Based Systems
ISBN 9783642282096 (electronic bk.)
3642282091 (electronic bk.)
3642282083
9783642282089
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960092173503681
[ALGOSENSORS (Symposium) (7th : 2011 : Saarbrücken, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Genetic programming [electronic resource] : 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings / Krzysztof Krawiec...[et al.] (eds.).
Genetic programming [electronic resource] : 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings / Krzysztof Krawiec...[et al.] (eds.).
Creatore [EuroGP (Conference) (16th : 2013 : Vienna, Austria)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Krawiec, Krzysztof
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Computer Applications
ISBN 9783642372070 (electronic bk.)
3642372074 (electronic bk.)
9783642372063
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Robustness and Evolvability of Recombination in Linear Genetic Programming / Ting Hu, Wolfgang Banzhaf, Jason H. Moore -- On the Evolvability of a Hybrid Ant Colony-Cartesian Genetic Programming Methodology / Sweeney Luis, Marcus Vinicius dos Santos -- Discovering Subgroups by Means of Genetic Programming / José M. Luna ... [et al.] -- Program Optimisation with Dependency Injection / James McDermott, Paula Carroll -- Searching for Novel Classifiers / Enrique Naredo, Leonardo Trujillo, Yuliana Martínez -- Learning Reusable Initial Solutions for Multi-objective Order Acceptance and Scheduling Problems with Genetic Programming / Su Nguyen ... [et al.] -- Automated Problem Decomposition for the Boolean Domain with Genetic Programming / Fernando E. B. Otero, Colin G. Johnson -- A Multi-objective Optimization Energy Approach to Predict the Ligand Conformation in a Docking Process / Angelica Sandoval-Perez ... [et al.] -- Semantic Bias in Program Coevolution / Tom Seaton, Julian F. Miller, Tim Clarke -- A New Implementation of Geometric Semantic GP and Its Application to Problems in Pharmacokinetics / Leonardo Vanneschi ... [et al.] --
Posters. A Grammar-Guided Genetic Programming Algorithm for Multi-Label Classification / Alberto Cano ... [et al.] -- Global Top-Scoring Pair Decision Tree for Gene Expression Data Analysis / Marcin Czajkowski, Marek Kretowski -- Asynchronous Evaluation Based Genetic Programming: Comparison of Asynchronous and Synchronous Evaluation and Its Analysis / 253-264 -- How Early and with How Little Data? Using Genetic Programming to Evolve Endurance Classifiers for MLC NAND Flash Memory / 265-276 -- Examining the Diversity Property of Semantic Similarity Based Crossover / Tuan Anh Pham ... [et al.]
Record Nr. UPENN-9960104963503681
[EuroGP (Conference) (16th : 2013 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Cryptography and coding [electronic resource] : 13th IMA International Conference, IMACC 2011, Oxford, UK, December 12-15, 2011 : proceedings / Liqun Chen (ed.).
Cryptography and coding [electronic resource] : 13th IMA International Conference, IMACC 2011, Oxford, UK, December 12-15, 2011 : proceedings / Liqun Chen (ed.).
Creatore [IMA International Conference (13th : 2011 : Oxford, England)]
Estensione 1 online resource (xiii, 495 p.) : ill
Disciplina 005.8/2
Accesso persona Chen, Liqun
Genere/Forma Electronic books
Soggetto non controllato Computer science
Data protection
Data structures (Computer science)
Data encryption (Computer science)
Coding theory
Computer software
Computational complexity
Coding and Information Theory
Algorithm Analysis and Problem Complexity
Data Structures, Cryptology and Information Theory
Systems and Data Security
Discrete Mathematics in Computer Science
ISBN 9783642255168 (electronic bk.)
3642255167 (electronic bk.)
9783642255151
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960091153503681
[IMA International Conference (13th : 2011 : Oxford, England)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Computational geometry, graphs and applications [electronic resource] : 9th International Conference, CGGA 2010, Dalian, China, November 3-6, 2010, revised selected papers / Jin Akiyama...[et al.] (eds.).
Computational geometry, graphs and applications [electronic resource] : 9th International Conference, CGGA 2010, Dalian, China, November 3-6, 2010, revised selected papers / Jin Akiyama...[et al.] (eds.).
Creatore [CGGA 2010 (2010 : Dalian, China)]
Estensione 1 online resource (viii, 225 p.) : ill
Disciplina 004/.36
Accesso persona Akiyama, J.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Data structures (Computer science)
Computer software
Computational complexity
Computer graphics
Algorithms
Discrete groups
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Convex and Discrete Geometry
ISBN 9783642249839 (electronic bk.)
3642249833 (electronic bk.)
9783642249822
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960089473503681
[CGGA 2010 (2010 : Dalian, China)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Formal methods and software engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / Shengchao Qin, Zongyan Qiu (ed.).
Formal methods and software engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings / Shengchao Qin, Zongyan Qiu (ed.).
Creatore [IEEE International Conference on Formal Engineering Methods (13th : 2011 : Durham, England)]
Estensione 1 online resource (xiv, 670 p.) : ill. (some col.
Disciplina 005.1
Accesso persona Qin, Shengchao
Qiu, Zongyan
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Programming Techniques
Programming Languages, Compilers, Interpreters
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
ISBN 9783642245596 (electronic bk.)
3642245595 (electronic bk.)
9783642245589
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960088433503681
[IEEE International Conference on Formal Engineering Methods (13th : 2011 : Durham, England)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Computer science-- Theory and applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings / Edward A. Hirsch...[et al.] (eds.).
Computer science-- Theory and applications [electronic resource] : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings / Edward A. Hirsch...[et al.] (eds.).
Creatore [International Computer Science Symposium in Russia (7th : 2012 : Nizhnii Novgorod, Russia)]
Estensione 1 online resource (xxiii, 325 p.) : ill
Disciplina 004
Accesso persona Hirsch, Edward A.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science
Computation by Abstract Devices
Mathematics of Computing
ISBN 9783642306426 (electronic bk.)
364230642X (electronic bk.)
9783642306419
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Can the Theory of Algorithms Ratify the "Invisible Hand of the Market"? / Vijay V. Vazirani -- Resilient Quicksort and Selection / Maxim Babenko and Ivan Pouzyrevsky -- General Quantitative Specification Theories with Modalities / Sebastian S. Bauer, Uli Fahrenberg, Axel Legay and Claus Thrane -- The Complexity of Intersecting Finite Automata Having Few Final States / Michael Blondin and Pierre McKenzie -- News about Semiantichains and Unichain Coverings / Bartłomiej Bosek, Stefan Felsner, Kolja Knauer and Grzegorz Matecki -- Checking Tests for Read-Once Functions over Arbitrary Bases / Dmitry V. Chistikov -- Approximating Minimum Power Edge-Multi-Covers / Nachshon Cohen and Zeev Nutov -- A Lower Bound on Circuit Complexity of Vector Function in U2 / Evgeny Demenkov -- Computing All MOD-Functions Simultaneously / Evgeny Demenkov, Alexander S. Kulikov, Ivan Mihajlin and Hiroki Morizumi -- Bounded Synchronization Delay in Omega-Rational Expressions / Volker Diekert and Manfred Kufleitner -- Towards Optimal Degree-Distributions for Left-Perfect Matchings in Random Bipartite Graphs / Martin Dietzfelbinger and Michael Rink -- Robust Sensor Range for Constructing Strongly Connected Spanning Digraphs in UDGs / Stefan Dobrev, Evangelos Kranakis, Oscar Morales Ponce and Milan Plžík -- Worst-Case Optimal Priority Queues via Extended Regular Counters / Amr Elmasry and Jyrki Katajainen -- The Complexity of Minor-Ancestral Graph Properties with Forbidden Pairs / Eli Fox-Epstein and Danny Krizanc -- Satisfiability Thresholds beyond k-XORSAT / Andreas Goerdt and Lutz Falke -- Finding Vertex-Surjective Graph Homomorphisms / Petr A. Golovach, Bernard Lidický, Barnaby Martin and Daniël Paulusma -- Broadcast Domination on Block Graphs in Linear Time / Pinar Heggernes and Sigve H. Sæther -- Characterizing Certain Topological Specifications / Bernhard Heinemann -- Descriptional Complexity of Operations on Alternating and Boolean Automata / Galina Jirásková -- Consistency of Multidimensional Combinatorial Substitutions / Timo Jolivet and Jarkko Kari -- Two-Way Automata Characterizations of L/poly versus NL / Christos A. Kapoutsis and Giovanni Pighizzini -- Cutting through Regular Post Embedding Problems / Prateek Karandikar and Philippe Schnoebelen -- On the Advice Complexity of the Set Cover Problem / Dennis Komm, Richard Královič and Tobias Mömke -- Constraint Satisfaction with Counting Quantifiers / Florent Madelaine, Barnaby Martin and Juraj Stacho -- Space-Bounded Kolmogorov Extractors / Daniil Musatov -- Some Results on more Flexible Versions of Graph Motif / Romeo Rizzi and Florian Sikora -- A Characterization of Cellular Automata Generated by Idempotents on the Full Shift / Ville Salo -- Constructing Polynomials for Functions over Residue Rings Modulo a Composite Number in Linear Time / Svetlana N. Selezneva -- Boolean Composition of Visual Secret Sharing Schemes / Hans Ulrich Simon.
Record Nr. UPENN-9960098003503681
[International Computer Science Symposium in Russia (7th : 2012 : Nizhnii Novgorod, Russia)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Internet and distributed computing systems [electronic resource] : 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings / Yang Xiang...[et al.] (eds.).
Internet and distributed computing systems [electronic resource] : 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings / Yang Xiang...[et al.] (eds.).
Creatore [IDCS (Conference) (5th : 2012 : Wuyishan Shi, China)]
Estensione 1 online resource.
Disciplina 004.67/8
Accesso persona Xiang, Yang
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data protection
Computer software
Information storage and retrieval systems
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity
Systems and Data Security
Information Storage and Retrieval
ISBN 9783642348839 (electronic bk.)
3642348831 (electronic bk.)
9783642348822
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto An Efficient Detection Model of Selective Forwarding Attacks in Wireless Mesh Networks / Shapla Khanam, Habibullah Yusuf Saleem and Al-Sakib Khan Pathan -- Effective Ad Hoc Social Networking on OLSR MANET Using Similarity of Interest Approach / Teerapat Sanguankotchakorn, Shradha Shrestha and Nobuhiko Sugino -- Distributed Algorithms for the Creation of a New Distributed IDS in MANETs / Paulo M. Mafra, Joni da Silva Fraga and Altair Olivo Santin -- Practical Privacy for Value-Added Applications in Vehicular Ad Hoc Networks / Lei Zhang, Qianhong Wu, Bo Qin and Josep Domingo-Ferrer -- Optimizing Streaming Server Selection for CDN-Delivered Live Streaming / Zhenyun Zhuang and Shun Kwok -- A Novel Hybrid IP Traceback Scheme with Packet Counters / Tomoyuki Karasawa, Masakazu Soshi and Atsuko Miyaji -- A Secure Mix Network with an Efficient Validity Verification Mechanism / Kun Peng and Yuexin Zhang -- DLPR: A Distributed Locality Preserving Dimension Reduction Algorithm / Mina Ghashami, Hoda Mashayekhi and Jafar Habibi -- A Leader-Based Reliable Multicast MAC Protocol for MPEG-4 Traffic / Muhammad Khalil Afzal, Byung-Seo Kim and Sung Won Kim -- On Action Permutation and Progress for Partially Commutative Asynchronous Binary Sessions / Zhenguo Yang, Farong Zhong, Jinfang Zhang and Tiantian Song -- A NetFlow v9 Measurement System with Network Performance Function / Guang Cheng and Hua Wu -- Efficient Ciphertext-Policy Attribute Based Encryption with Hidden Policy / Xiaohui Li, Dawu Gu, Yanli Ren, Ning Ding and Kan Yuan -- MashStudio: An On-the-fly Environment for Rapid Mashup Development / Jianyu Yang, Jun Han, Xu Wang and Hailong Sun -- BSU: A Biased Seed Unchoking Algorithm for P2P Systems / Xianglin Wei, Guomin Zhang, Jianhua Fan and Ming Chen -- Towards a Secure and Available Smart Grid Using Intrusion Tolerance / Maryam Tanha and Fazirulhisyam Hashim -- A Note on Constant-Round Concurrent Zero-Knowledge Arguments of Knowledge for NP / Hongda Li, Yang Liu and Qihua Niu -- On the Checkpointing Strategy in Desktop Grids / Dongping Wang and Bin Gong -- A Continuous Reverse Skyline Query Processing Considering the Mobility of Query Objects / Jongtae Lim, Yonghun Park, Kyoungsoo Bok and Jaesoo Yoo -- Performance Analysis of Wireless Intrusion Detection Systems / Khalid Nasr, Anas Abou-El Kalam and Christian Fraboul -- Designated Condition One-Time Signatures / Wei Gao, Kefei Chen, Guilin Wang and Xueli Wang -- SQL Injection Detection via Program Tracing and Machine Learning / Yi Wang and Zhoujun Li -- Limitation of Listed-Rule Firewall and the Design of Tree-Rule Firewall / Thawatchai Chomsiri, Xiangjian He and Priyadarsi Nanda.
Record Nr. UPENN-9960101623503681
[IDCS (Conference) (5th : 2012 : Wuyishan Shi, China)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Artificial evolution [electronic resource] : 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, revised selected papers / Jin-Kao Hao ... [et al.] (eds.).
Artificial evolution [electronic resource] : 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, revised selected papers / Jin-Kao Hao ... [et al.] (eds.).
Creatore [EA 2011 (2011 : Angers, France)]
Estensione 1 online resource (xv, 228 p.) : ill
Disciplina 005.1
Accesso persona Hao, J.-K. (Jin-Kao)
Genere/Forma Electronic books
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 (electronic bk.)
3642355331 (electronic bk.)
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. UPENN-9960102543503681
[EA 2011 (2011 : Angers, France)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Evolutionary computation in combinatorial optimization [electronic resource] : 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 [electronic resource] : 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 p.)
Disciplina 005.1
Accesso persona Hao, J.-K. (Jin-Kao)
Middendorf, Martin
Genere/Forma Electronic books
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 (electronic bk.)
3642291244 (electronic bk.)
9783642291234
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. UPENN-9960093403503681
[EvoCOP (Conference) (12th : 2012 : Málaga, Spain)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Tools and algorithms for the construction and analysis of systems [electronic resource] : 19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / Nir Piterman, Scott A. Smolka (eds.).
Tools and algorithms for the construction and analysis of systems [electronic resource] : 19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / Nir Piterman, Scott A. Smolka (eds.).
Creatore [TACAS 2013 (2013 : Rome, Italy)]
Estensione 1 online resource.
Disciplina 004.2/1
Accesso persona Piterman, Nir.
Smolka, Scott A.
Accesso convegno ETAPS (Conference) (16th : 2013 : Rome, Italy)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Computer software
Logic design
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Programming Languages, Compilers, Interpreters
ISBN 9783642367427 (electronic bk.)
3642367429 (electronic bk.)
9783642367410
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Markov Chains -- On-the-Fly Exact Computation of Bisimilarity Distances / Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare -- The Quest for Minimal Quotients for Probabilistic Automata / Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang -- LTL Model Checking of Interval Markov Chains / Michael Benedikt, Rastislav Lenhardt, James Worrell -- Termination -- Ramsey vs. Lexicographic Termination Proving / Byron Cook, Abigail See, Florian Zuleger -- Structural Counter Abstraction / Kshitij Bansal, Eric Koskinen, Thomas Wies, Damien Zufferey -- Quantifier Elimination -- Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors / Ajith K. John, Supratik Chakraborty -- SAT/SMT -- The MathSAT5 SMT Solver / Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani -- Formula Preprocessing in MUS Extraction / Anton Belov, Matti Järvisalo, Joao Marques-Silva -- Proof Tree Preserving Interpolation / Jürgen Christ, Jochen Hoenicke, Alexander Nutz -- Asynchronous Multi-core Incremental SAT Solving / Siert Wieringa, Keijo Heljanko --
Games and Synthesis -- Model-Checking Iterated Games / Chung-Hao Huang, Sven Schewe, Farn Wang -- Synthesis from LTL Specifications with Mean-Payoff Objectives / Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin -- PRISM-games: A Model Checker for Stochastic Multi-Player Games / Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, David Parker, Aistis Simaitis -- Process Algebra -- PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus / Radu Mateescu, Gwen Salaün -- An Overview of the mCRL2 Toolset and Its Recent Advances / Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers -- Pushdown Systems Boolean/Integer Programs -- Analysis of Boolean Programs / Patrice Godefroid, Mihalis Yannakakis -- Weighted Pushdown Systems with Indexed Weight Domains / Yasuhiko Minamide -- Underapproximation of Procedure Summaries for Integer Programs / Pierre Ganty, Radu Iosif, Filip Konečný -- Runtime Verification and Model Checking -- Runtime Verification Based on Register Automata / Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos --
Unbounded Model-Checking with Interpolation for Regular Language Constraints / Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte -- eVolCheck: Incremental Upgrade Checker for C / Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina -- Intertwined Forward-Backward Reachability Analysis Using Interpolants / Yakir Vizel, Orna Grumberg, Sharon Shoham -- Concurrency -- An Integrated Specification and Verification Technique for Highly Concurrent Data Structures / Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holík, Bengt Jonsson, Ahmed Rezine -- A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems / Alexander Linden, Pierre Wolper -- Learning and Abduction -- Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory / David H. White, Gerald Lüttgen -- Synthesis of Circular Compositional Program Proofs via Abduction / Boyang Li, Isil Dillig, Thomas Dillig, Ken McMillan, Mooly Sagiv -- Timed Automata -- As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty / Jean-François Kempf, Marius Bozga, Oded Maler --
Integer Parameter Synthesis for Timed Automata / Aleksandra Jovanović, Didier Lime, Olivier H. Roux -- Security and Access Control -- LTL Model-Checking for Malware Detection / Fu Song, Tayssir Touili -- Policy Analysis for Self-administrated Role-Based Access Control / Anna Lisa Ferrara, P. Madhusudan, Gennaro Parlato -- Model Checking Agent Knowledge in Dynamic Access Control Policies / Masoud Koleini, Eike Ritter, Mark Ryan -- Frontiers (Graphics and Quantum) -- Automatic Testing of Real-Time Graphics Systems / Robert Nagy, Gerardo Schneider, Aram Timofeitchik -- Equivalence Checking of Quantum Protocols / Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan -- Functional Programs and Types -- Encoding Monomorphic and Polymorphic Types / Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone -- Deriving Probability Density Functions from Probabilistic Functional Programs / Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio Russo -- Tool Demonstrations --
Polyglot: Systematic Analysis for Multiple Statechart Formalisms / Daniel Balasubramanian, Corina S. Păsăreanu, Gábor Karsai, Michael R. Lowry -- Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO / Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, Ahmed Rezine -- BULL: A Library for Learning Algorithms of Boolean Functions / Yu-Fang Chen, Bow-Yaw Wang -- AppGuard - Enforcing User Requirements on Android Apps / Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei -- Explicit-State Model Checking -- Model Checking Database Applications / Milos Gligoric, Rupak Majumdar -- Efficient Property Preservation Checking of Model Refinements / Anton Wijs, Luc Engelen -- Büchi Automata -- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking / Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud -- Competition on Software Verification -- Second Competition on Software Verification / Dirk Beyer --
CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation / Stefan Löwe -- CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis / Philipp Wendler -- CSeq: A Sequentialization Tool for C / Bernd Fischer, Omar Inverso, Gennaro Parlato -- Handling Unbounded Loops with ESBMC 1.20 / Jeremy Morse, Lucas Cordeiro, Denis Nicole, Bernd Fischer -- LLBMC: Improved Bounded Model Checking of C Programs Using LLVM / Stephan Falke, Florian Merz, Carsten Sinz -- Predator: A Tool for Verification of Low-Level List Manipulation / Kamil Dudka, Petr Müller, Petr Peringer, Tomáš Vojnar -- Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution / Jiri Slaby, Jan Strejček, Marek Trtík -- Threader: A Verifier for Multi-threaded Programs / Corneliu Popeea, Andrey Rybalchenko -- UFO: Verification with Interpolants and Abstract Interpretation / Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik -- Ultimate Automizer with SMTInterpol / Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke.
Record Nr. UPENN-9960104293503681
[TACAS 2013 (2013 : Rome, Italy)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania