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.
Algorithmic game theory : 4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings / Giuseppe Persiano (ed.).
Algorithmic game theory : 4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings / Giuseppe Persiano (ed.).
Creatore [SAGT (Symposium) (4th : 2011 : Amalfi, Italy)]
Estensione 1 online resource (xi, 325 pages) : illustrations (some color).
Disciplina 519.3
Accesso persona Persiano, Giuseppe
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Electronic data processing
Computer simulation
Simulation and Modeling
e-Commerce/e-business
Models and Principles
Computers and Society
Numeric Computing
Probability and Statistics in Computer Science
ISBN 9783642248290
3642248292
3642248284
9783642248283
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-005710878
[SAGT (Symposium) (4th : 2011 : Amalfi, Italy)]  
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
Combinatorial pattern matching : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings / Juha Kärkkäinen, Jens Stoye (eds.).
Combinatorial pattern matching : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings / Juha Kärkkäinen, Jens Stoye (eds.).
Creatore [CPM (Symposium) (23rd : 2012 : Helsinki, Finland)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Kärkkäinen, Juha
Stoye, Jens
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Data structures (Computer science)
Computer software
Electronic data processing
Computational complexity
Optical pattern recognition
Bioinformatics
Pattern Recognition
Algorithm Analysis and Problem Complexity
Numeric Computing
Discrete Mathematics in Computer Science
Data Structures
Computational Biology/Bioinformatics
ISBN 9783642312656
3642312659
9783642312649
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Gene Regulation, Protein Networks and Disease: A Computational Perspective / Ron Shamir -- Wavelet Trees for All / Gonzalo Navarro -- The Maximum Number of Squares in a Tree / Maxime Crochemore, Costas S. Iliopoulos, Tomasz Kociumaka, Marcin Kubica and Jakub Radoszewski, et al. -- Faster and Simpler Minimal Conflicting Set Identification / (Extended Abstract) / Aïda Ouangraoua and Mathieu Raffinot -- Partitioning into Colorful Components by Minimum Edge Deletions / Sharon Bruckner, Falk Hüffner, Christian Komusiewicz, Rolf Niedermeier and Sven Thiel, et al. -- Approximation Algorithms and Hardness Results for Shortest Path Based Graph Orientations / Dima Blokh, Danny Segev and Roded Sharan -- Constant-Time Word-Size String Matching / Dany Breslauer, Leszek Gąsieniec and Roberto Grossi -- Pattern Matching in Multiple Streams / Raphaël Clifford, Markus Jalsenius, Ely Porat and Benjamin Sach -- An Efficient Linear Pseudo-minimization Algorithm for Aho-Corasick Automata / Omar AitMous, Frédérique Bassino and Cyril Nicaud -- Efficient Two-Dimensional Pattern Matching with Scaling and Rotation and Higher-Order Interpolation / Christian Hundt and Florian Wendland -- Hardness of Longest Common Subsequence for Sequences with Bounded Run-Lengths / Guillaume Blin, Laurent Bulteau, Minghui Jiang, Pedro J. Tejada and Stéphane Vialette -- Near Linear Time Construction of an Approximate Index for All Maximum Consecutive Sub-sums of a Sequence / Ferdinando Cicalese, Eduardo Laber, Oren Weimann and Raphael Yuster -- The Complexity of String Partitioning / Anne Condon, Ján Maňuch and Chris Thachuk -- Towards an Optimal Space-and-Query-Time Index for Top-k Document Retrieval / Wing-Kai Hon, Rahul Shah and Sharma V. Thankachan -- Document Listing for Queries with Excluded Pattern / Wing-Kai Hon, Rahul Shah, Sharma V. Thankachan and Jeffrey Scott Vitter -- Cross-Document Pattern Matching / Gregory Kucherov, Yakov Nekrich and Tatiana Starikovskaya -- FEMTO: Fast Search of Large Sequence Collections / Michael P. Ferguson -- Speeding Up q-Gram Mining on Grammar-Based Compressed Texts / Keisuke Goto, Hideo Bannai, Shunsuke Inenaga and Masayuki Takeda -- Simple and Efficient LZW-Compressed Multiple Pattern Matching / Paweł Gawrychowski -- Computing the Burrows-Wheeler Transform of a String and Its Reverse / Enno Ohlebusch, Timo Beller and Mohamed I. Abouelhoda -- Efficient Algorithm for Circular Burrows-Wheeler Transform / Wing-Kai Hon, Tsung-Han Ku, Chen-Hua Lu, Rahul Shah and Sharma V. Thankachan -- Least Random Suffix/Prefix Matches in Output-Sensitive Time / Niko Välimäki -- Compressed String Dictionary Look-Up with Edit Distance One / Djamal Belazzougui and Rossano Venturini -- Time-Space Trade-Offs for Longest Common Extensions / Philip Bille, Inge Li Gørtz, Benjamin Sach and Hjalte Wedel Vildhøj -- Local Exact Pattern Matching for Non-fixed RNA Structures / Mika Amit, Rolf Backofen, Steffen Heyne, Gad M. Landau and Mathias Möhl, et al. -- Impact of the Energy Model on the Complexity of RNA Folding with Pseudoknots / Saad Sheikh, Rolf Backofen and Yann Ponty -- Finding Longest Common Segments in Protein Structures in Nearly Linear Time / Yen Kaow Ng, Hirotaka Ono, Ling Ge and Shuai Cheng Li -- A Linear Kernel for the Complementary Maximal Strip Recovery Problem / Haitao Jiang and Binhai Zhu -- Efficient Exponential Time Algorithms for Edit Distance between Unordered Trees / Tatsuya Akutsu, Takeyuki Tamura, Daiji Fukagawa and Atsuhiro Takasu -- Fixed-Parameter Algorithms for Finding Agreement Supertrees / David Fernández-Baca, Sylvain Guillemot, Brad Shutters and Sudheer Vakati -- Computing the Rooted Triplet Distance between Galled Trees by Counting Triangles / Jesper Jansson and Andrzej Lingas -- Minimum Leaf Removal for Reconciliation: Complexity and Algorithms / Riccardo Dondi and Nadia El-Mabrouk -- On the Closest String via Rank Distance / Liviu P. Dinu and Alexandru Popa -- On Approximating String Selection Problems with Outliers / Christina Boucher, Gad M. Landau, Avivit Levy, David Pritchard and Oren Weimann -- The Parameterized Complexity of the Shared Center Problem / Zhi-Zhong Chen, Lusheng Wang and Wenji Ma.
Record Nr. NYU-004375687
[CPM (Symposium) (23rd : 2012 : Helsinki, Finland)]  
Materiale a stampa
Lo trovi qui: New York University
Emerging technologies for information systems, computing, and management [electronic resource] / edited by W. Eric Wong, Tinghuai Ma.
Emerging technologies for information systems, computing, and management [electronic resource] / edited by W. Eric Wong, Tinghuai Ma.
Creatore [International Conference on Emerging Technologies for Information Systems, Computing, and Management (2012 : Hangzhou, China)]
Estensione 1 online resource.
Disciplina 004
Accesso persona Wong, W. Eric
Ma, Tinghuai
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Engineering
Information systems
Electronic data processing
Telecommunication
Communications Engineering, Networks
Computing Methodologies
Information Systems and Communication Service
ISBN 9781461470106
1461470102
1461470099
9781461470090
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Information Systems -- The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling of Grid Workflow Service Based on GSCPN -- A Voice Conversion Method Based on the Separation of Speaker-Specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd-Generation Nuclear Power Plant -- Comprehensive Feature Index for Meridian Information Based on Principal Component Projection -- The Centralized Maintenance Mode of SAP System Based on Finance Shared Service Center -- An Improved Method of Polyphase Filter Banks Channelization -- An Approach for Large Scale Retrieval Using Peer-to-Peer Network Based on Interest Community -- A RouterUpdate Method for Tor Anonymous Communication System -- Management of Construction Schedules Based on Building Information Modeling Technology -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure -- Aggregation Operators of Interval Grey Numbers and Their Use in Grey Multi-Attribute Decision-Making -- The Information Discovery Service of Electronic Product Code Network -- Modeling Goals for Information System by a Heuristic Way.
Environment Monitoring System Based on Internet of Things -- Utility Theory Based Approach for Converged Telecommunications Applications -- Open the Black Box of Information Technology Artifact: Underlying Technological Characteristics Dimension and its Measurement -- Algorithms and Applications -- Joint Optimization About Pattern Synthesis of Circular Arrays Based on the Niche Genetic Algorithm -- The Application of Wavelet Analysis and BP Neural Network for the Early Diagnosis of Coronary Heart Disease -- Using More Initial Centers for the Seeding-Based Semi-Supervised K-Harmonic Means Clustering -- Analysis and Optimization of CFS Scheduler on NUMA-Based Systems -- Web Crawler for Event-Driven Crawling of AJAX-Based Web Applications -- On the Universal Approximation Capability of Flexible Approximate Identity Neural Networks -- A Spectral Clustering Algorithm Based on Particle Swarm Optimization -- A Framework for Porting Linux OS to a cc-NUMA Server Based on Loongson Processors -- Optimization for the Locations of B2C E-Commerce Distribution Network Based on an Improved Genetic Algorithm -- An Improved Multi-Objective Differential Evolution Algorithm with an Adaptive Crossover Rate.
Research on Semantic Based Distributed Service Discovery in P2P Environments/Networks -- Fast String Matching Algorithm Based on the Skip Algorithm -- Burst Signal Sorting Based on the Phase Continuity -- Fast Recapture and Positioning Algorithm Based on PMF-FFT Structure -- An Evaluation Computing Method Based on Cloud Model with Core Space and its Application: Bridges Management Evaluation -- A Game Theory Based MapReduce Scheduling Algorithm -- Dynamic USBKEY System on Multiple Verification Algorithm -- Anomaly Detection Algorithm Based on Pattern Density in Time Series -- Integrative Optimal Design of Experiments with Multiple Sources -- Fast Image Reconstruction Algorithm for Radio Tomographic Imaging -- Reliability Monitoring Algorithm in Multi-constellation Satellite Navigation -- CTL Model Checking Algorithm Using MapReduce -- LBSG: A Load Balancing Scenario Based on Genetic Algorithm -- Improved Ant Colony Algorithm for the Constrained Vehicle Routing -- Active Queue Management Mechanism Based on DiffServ in MPLS Networks -- The Analysis and Implementation of Universal Workflow with Partition Algorithm on Finite Field.
Optimization for the Logistics Network of Electric Power Enterprise Based on a Mixed MCPSO and Simulated Annealing Algorithm -- Bi-Level Programming Model and Taboo Search Algorithm in Industrial Location Under the Condition of Random Price -- Pattern Recognition -- Electrophysiological Correlates of Processing Visual Target Stimuli during a Visual Oddball Paradigm: An Event-Related Potential Study -- Realization of Equipment Simulation Training System Based on Virtual Reality Technology -- Super Sparse Projection Reconstruction of Computed Tomography Image Based-on Reweighted Total Variation -- Sea Wave Filter Design for Cable-Height Control System of Anti-Submarine Helicopter -- Reversible Watermarking Based on Prediction-Error Expansion for 2D Vector Maps -- An Object Tracking Approach Based on Hu Moments and ABCshift -- Motion Blur Identification Using Image Statistics for Coded Exposure Photography -- Medical Images Fusion Using Parameterized Logarithmic Image Processing Model and Wavelet Sub-band Selection Schemes -- Insect Extraction Based on the Improved Color Channel Comparison Method.
Combining Steerable Pyramid and Gaussian Mixture Models for Multi-Modal Remote Sensing Image Registration -- Offset Modify in Histogram Testing of Analog-to-Digital Converter Based on Sine Wave -- Image Text Extraction Based on Morphology and Color Layering -- Face Detection Using Ellipsoid Skin Model -- Emergency Pre-Warning Decision Support System Based on Ontology and Swrl -- Feature Reduction Using Locally Linear Embedding and Distance Metric Learning -- An Autonomous Rock Identification Method for Planetary Exploration -- Recognition of CD4 Cell Images Based on SVM with an Improved Parameter -- A Method of Automatic Regression Test Scope Selection Using Features Digraph -- The Development of the Wireless Vehicle Detector Data Receiving and Processing Host System -- The Feature Extraction of Rolling Bearing Fault Based on Wavelet Packet--Empirical Mode Decomposition and Kurtosis Rule -- Robot Perception Based on Different Computational Intelligence Techniques -- Study on Technique for GPS IF Signal Simulation -- New Method of Image Denoising Based on Fractional Wavelet Transform -- Semantic Representation of Role and Task Based Access Control -- New Immersive Display System Based on Single Projector and Curved Surface Reflector.
Data Processing -- Self-Adaptive Cloth Simulation Method Based on Human Ring Data -- Combination Approach of SVM Ensembles and Resampling Method for Imbalanced Datasets -- Join Optimization for Large-Scale Data Analysis in MapReduce -- Key Technologies of Data Preparation for Simulation Systems -- Suspend-to-PCM: A New Power-Aware Strategy for Operating System's Rapid Suspend and Resume -- A Web Content Recommendation Method Based on Data Provenance Tracing and Forecasting -- Research and Implementation of Massive Data Atlas Visual Strategy -- The Autonomous System Topology Build Method Based on Multi-Source Data Fusion -- Salinity Time Series Prediction and Forecasting Using Dynamic Neural Networks in the Qiantang River Estuary -- An Adaptive Packet Loss Recovery Method for Peer-to-Peer Video Streaming Over Wireless Mesh Network -- Measurement of Deformed Surface and Key Data Processing Based on Reverse Engineering -- Post-Hoc Evaluation Model for Development Workload of Gait Characteristic Database System -- Acquisition Time Performance of Initial Cell Search in 3GPP LTE System -- Multi-Agent System Set for Software Maintainability Design.
Wireless Video Transmission System Based on WIFI -- The Self-Adapted Taxi Dispatch Platform Based on Geographic Information System -- Contract-Based Combined Component Interaction Graph Generation -- An Improved Weighted Averaging Method for Evidence Fusion -- Optimization for Family Energy Consumption in Real-Time Pricing Environment -- The Implementation with the Network Data Security on the Secure Desktop -- The Integration of Temporal Database and Vague Set -- New Regional Investors Discovery by Web Mining -- System Identification -- Enhancing Ability of Fault Detection for Component Systems Based on Object Interactions Graph -- A Method of Deploying Virtual Machine on Multi-core CPU in Decomposed Way -- An MDA Based Widget Development Framework -- Design of Real-Time Fire Evacuees' State Information Verification System for Fire Rescue -- Detection and Analysis of Unidirectional Links in Mobile Ad Hoc Network Under Nuclear Power Plants Environment -- Real-time Motion Detection in Dynamic Scenes -- Using Kohonen Cluster to Identify Time-of-Day Break Points of Intersection -- Botnet Emulation: Challenges and Techniques -- A New System for Summoning and Scheduling Taxis.
A Social Interest Indicator Based Mobility Model for Ad Hoc Network -- Topological Map and Probability Model of the Multiple Plane and Multiple Stage Packet Switching Fabric -- Virtual Reality Enhanced Rehabilitation Training Robot for Early Spinal Cord Injury -- Syntactic Rules of Spatial Relations in Natural Language -- An Improved Plagiarism Detection Method: Model and Sample -- The Application of I/O Virtualization Framework in TaiShan Nuclear Power Plant -- Application of Virtual Reality Techniques for Simulation in Nuclear Power Plant -- SCM-BSIM: A Non-Volatile Memory Simulator Based on BOCHS -- Model of Horizontal Technological Alliance Based on Energy Efficiency -- Evaluating Life-Cycle Matrix Model for Mobile Social Network -- Management Science -- Regulation and Environmental Innovation: Effect and Regional Disparities in China -- The Organizational Innovation Path Formation Mechanism of Innovative-Oriented Enterprises Based on Effect Elements.
Assessment of S & T Progress' Share in China Provincial Economy Growth -- Inter-Firm Innovation Networks: The Impact of Scale-Free Property on Firm Innovation -- Dynamic Analysis on Significant Risk of Innovative Enterprise During the Strategic Transformation Period -- The Development of State-Level Science and Technology Industrial Parks in China: Industry Clustering or Enterprises Gathering? -- Evaluation of Person-Job Fit on Knowledge Workers Integrating AHP and BP Neural Network -- Discussion of ITM-Based Human Resources Planning and Management: An Example of W Corporation -- Is Inequality or Deficiency the Real Trouble?--The Influencing Factors of the Income Satisfaction of Chinese Sci-tech Personnel -- Understanding Knowledge Sharing Willingness in Virtual Academic Community: A Survey Study on College Students -- An Application of Entrepreneurship Score Model in College Student Entrepreneurship Education -- The Research on Teaching Methods of Object-Oriented Approach in Management Information Systems Curriculum.
Engineering Material Management Platform for Nuclear Power Plant -- An Analysis of IT Customer Service Quality System -- The Research and Application of IT Room Monitoring System in Nuclear Power Plant -- Communication Resource Management Technology of Nuclear Power Plant -- Institutional Factors Analysis of Listed Company's Equity Financing Preference: Based on the Latest Data of Listed Company in Manufactory Industry -- Empirical Analysis of Positive Feedback Trading in Chinese Stock Market -- Asymmetric Foreign Exchange Rate Exposure of Listed Commercial Banks -- Influence of Highway Construction on Foreign Trade Based on Multivariate Regression Analysis -- Construction of Heilongjiang Forest Products Processing Industry E-Commerce Platform -- Multiple Case Studies of Global Enterprise System Implementation in China -- Service-Based IT Management Model with Emphasis on Existing Outsourcing Areas -- An Empirical Study of Customers' Intentions by Using Logistics Information Systems (LIS).
Measurement of Gender Segregation in Chinese Industry -- Construction of Linguistic Resources for Information Extraction of News Reports on Corporate Merger and Acquisition -- Research on the Improvement of Business Age Model -- Sales Forecast Using a Hybrid Learning Method Based on Stable Seasonal Pattern and Support Vector Regression -- Establishing a Project Management Model Based on CMMI: Experiences from Victory Soft Case Study -- Refining the Producer-Consumer Problem and Lamport Clocks -- An Improved Risk Assessment Expert System for Elevator in Use -- Real-Time Service Integration Based on Business Process Execution Language -- City Logistics Network Design and Optimization Under the Environment of Electronic Commerce -- The Evolution Process of Agri-Products Supply Chain System of "Company & Farmer" -- Performance Evaluation of Distribution in the Distribution Center of Chain Supermarket Based on Unascertained and Analytic Hierarchical Model -- An Application of Radio-Frequency Identification Systems in Chinese Clothing Supply Chain.
Record Nr. NYU-004402682
[International Conference on Emerging Technologies for Information Systems, Computing, and Management (2012 : Hangzhou, China)]  
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
Integrated methods for optimization [electronic resource] / John N. Hooker
Integrated methods for optimization [electronic resource] / John N. Hooker
Creatore [Hooker, John, 1949-]
Edizione [2nd ed.]
Estensione 1 online resource (xviii, 640 pages).
Disciplina 519.6
Genere/Forma Electronic books
Soggetto non controllato Computer science
Electronic data processing
Mathematical optimization
Economics/Management Science
Operations Research/Decision Theory
Optimization
Computing Methodologies
Mathematics of Computing
Mathematical Modeling and Industrial Mathematics
Business/Management Science, general
ISBN 9781461419006
146141900X
9781461418993
1461418992
9781441942586
1441942580
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Examples -- Optimization basics -- Duality -- Search -- Inference -- Relaxation -- Dictionary of constraints.
Record Nr. NYU-004372504
[Hooker, John, 1949-]  
Materiale a stampa
Lo trovi qui: New York University
Guide to scientific computing in C++ / Joe Pitt-Francis, Jonathan Whiteley
Guide to scientific computing in C++ / Joe Pitt-Francis, Jonathan Whiteley
Creatore [Pitt-Francis, Joe.]
Estensione 1 online resource (xii, 250 pages).
Disciplina 005.13/3
Accesso persona Whiteley, Jonathan
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Electronic data processing
Computer simulation
Programming Techniques
Numeric Computing
Simulation and Modeling
Programming Languages, Compilers, Interpreters
Math Applications in Computer Science
ISBN 9781447127369
1447127366
1447127358
9781447127352
Classificazione 54.53
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions and Reference Variables -- An Introduction to Classes -- Inheritance and Derived Classes -- Templates -- Errors and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming Using MPI -- Designing Object-Oriented Numerical Libraries -- Linear Algebra -- Other Programming Constructs You Might Meet -- Solutions to Exercises -- Further Reading.
Record Nr. NYU-004621736
[Pitt-Francis, Joe.]  
Materiale a stampa
Lo trovi qui: New York University
Algorithmic game theory : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings / Maria Serna (ed.).
Algorithmic game theory : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings / Maria Serna (ed.).
Creatore [SAGT 2012 (2012 : Barcelona, Spain)]
Estensione 1 online resource.
Accesso persona Serna, Maria, 1959-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Electronic data processing
Computer simulation
Simulation and Modeling
e-Commerce/e-business
Models and Principles
Computers and Society
Numeric Computing
Probability and Statistics in Computer Science
ISBN 9783642339967
3642339964
3642339956
9783642339950
Classificazione 83.03
54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Classification of Weakly Acyclic Games / Krzysztof R. Apt and Sunil Simon -- Selfishness Level of Strategic Games / Krzysztof R. Apt and Guido Schäfer -- Mechanisms for Scheduling with Single-Bit Private Values / Vincenzo Auletta, George Christodoulou and Paolo Penna -- The Complexity of Decision Problems about Nash Equilibria in Win-Lose Games / Vittorio Bilò and Marios Mavronicolas -- An Optimal Bound to Access the Core in TU-Games / Sylvain Béal, Eric Rémila and Philippe Solal -- Convergence of Ordered Improvement Paths in Generalized Congestion Games / K. Ruben Brokkelkamp and Mees J. de Vries -- Basic Network Creation Games with Communication Interests / Andreas Cord-Landwehr, Martina Hüllmann, Peter Kling and Alexander Setzer -- Common Knowledge and State-Dependent Equilibria / Nuh Aygun Dalkiran, Moshe Hoffman, Ramamohan Paturi, Daniel Ricketts and Andrea Vattani -- Approximating the Minmax Value of Three-Player Games within a Constant is as Hard as Detecting Planted Cliques / Kord Eickmeyer, Kristoffer Arnstfelt Hansen and Elad Verbin -- Approximate Well-Supported Nash Equilibria Below Two-Thirds / John Fearnley, Paul W. Goldberg, Rahul Savani and Troels Bjerre Sørensen -- Mechanisms and Impossibilities for Truthful, Envy-Free Allocations / Michal Feldman and John Lai -- Capacitated Network Design Games / Michal Feldman and Tom Ron -- Decentralized Dynamics for Finite Opinion Games / Diodato Ferraioli, Paul W. Goldberg and Carmine Ventre -- On the Hardness of Network Design for Bottleneck Routing Games / Dimitris Fotakis, Alexis C. Kaporis, Thanasis Lianeas and Paul G. Spirakis -- Ad Auctions with Data / Hu Fu, Patrick Jordan, Mohammad Mahdian, Uri Nadav and Inbal Talgam-Cohen, et al. -- Commodity Auctions and Frugality Ratios / Paul W. Goldberg and Antony McCabe -- On the Communication Complexity of Approximate Nash Equilibria / Paul W. Goldberg and Arnoud Pastink -- Congestion Games with Capacitated Resources / Laurent Gourvès, Jérôme Monnot, Stefano Moretti and Nguyen Kim Thang -- Network Bargaining: Using Approximate Blocking Sets to Stabilize Unstable Instances / Jochen Könemann, Kate Larson and David Steiner -- Uniform Price Auctions: Equilibria and Efficiency / Evangelos Markakis and Orestis Telelis -- Minimizing Expectation Plus Variance / Marios Mavronicolas and Burkhard Monien -- A Theoretical Examination of Practical Game Playing: Lookahead Search / Vahab Mirrokni, Nithum Thain and Adrian Vetta.
Record Nr. UCHICAGO-11077522
[SAGT 2012 (2012 : Barcelona, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Algorithmic game theory : 4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings / Giuseppe Persiano (ed.).
Algorithmic game theory : 4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 : proceedings / Giuseppe Persiano (ed.).
Creatore [SAGT (Symposium) (4th : 2011 : Amalfi, Italy)]
Estensione 1 online resource (xi, 325 pages) : illustrations (some color).
Accesso persona Persiano, Giuseppe
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Electronic data processing
Computer simulation
Simulation and Modeling
e-Commerce/e-business
Models and Principles
Computers and Society
Numeric Computing
Probability and Statistics in Computer Science
ISBN 9783642248290
3642248292
3642248284
9783642248283
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076074
[SAGT (Symposium) (4th : 2011 : Amalfi, Italy)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Approximation, randomization, and combinatorial optimization : algorithms and techniques : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings / Anupam Gupta [and others] (eds.).
Approximation, randomization, and combinatorial optimization : algorithms and techniques : 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Cambridge, MA, USA, August 15-17, 2012. Proceedings / Anupam Gupta [and others] (eds.).
Creatore [International Workshop on Randomization and Approximation Techniques in Computer Science (15th : 2012 : Cambridge, Mass.)]
Estensione 1 online resource (xv, 674 pages) : illustrations.
Accesso persona Gupta, Anupam
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Electronic data processing
Computer vision
Probability and Statistics in Computer Science
Computer Imaging, Vision, Pattern Recognition and Graphics
ISBN 9783642325120
3642325122
9783642325113
3642325113
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A New Point of NP-Hardness for 2-to-1 Label Cover / Per Austrin, Ryan O'Donnell and John Wright -- Inapproximability of Treewidth, One-Shot Pebbling, and Related Layout Problems / Per Austrin, Toniann Pitassi and Yu Wu -- Additive Approximation for Near-Perfect Phylogeny Construction / Pranjal Awasthi, Avrim Blum, Jamie Morgenstern and Or Sheffet -- Improved Spectral-Norm Bounds for Clustering / Pranjal Awasthi and Or Sheffet -- Primal-Dual Approximation Algorithms for Node-Weighted Network Design in Planar Graphs / Piotr Berman and Grigory Yaroslavtsev -- What's the Frequency, Kenneth?: Sublinear Fourier Sampling Off the Grid / Petros Boufounos, Volkan Cevher, Anna C. Gilbert, Yi Li and Martin J. Strauss -- Improved Hardness Results for Profit Maximization Pricing Problems with Unlimited Supply / Parinya Chalermsook, Julia Chuzhoy, Sampath Kannan and Sanjeev Khanna -- Online Flow Time Scheduling in the Presence of Preemption Overhead / Ho-Leung Chan, Tak-Wah Lam and Rongbin Li -- Prize-Collecting Survivable Network Design in Node-Weighted Graphs / Chandra Chekuri, Alina Ene and Ali Vakilian -- Approximating Minimum-Cost Connected T-Joins / Joseph Cheriyan, Zachary Friggstad and Zhihan Gao -- iBGP and Constrained Connectivity / Michael Dinitz and Gordon Wilfong -- Online Scheduling of Jobs with Fixed Start Times on Related Machines / Leah Epstein, Łukasz Jeż, Jiří Sgall and Rob van Stee -- A Systematic Approach to Bound Factor Revealing LPs and Its Application to the Metric and Squared Metric Facility Location Problems / Cristina G. Fernandes, Luís A.A. Meira, Flávio K. Miyazawa and Lehilton L.C. Pedrosa -- Approximating Bounded Occurrence Ordering CSPs / Venkatesan Guruswami and Yuan Zhou -- On the NP-Hardness of Max-Not-2 / Johan Håstad -- The Remote Set Problem on Lattices / Ishay Haviv -- Approximation Algorithms for Generalized and Variable-Sized Bin Covering / Matthias Hellwig and Alexander Souza -- Approximating Minimum Linear Ordering Problems / Satoru Iwata, Prasad Tetali and Pushkar Tripathi -- New Approximation Results for Resource Replication Problems / Samir Khuller, Barna Saha and Kanthi K. Sarpatwar -- Maximum Matching in Semi-streaming with Few Passes / Christian Konrad, Frédéric Magniez and Claire Mathieu -- Improved Inapproximability for TSP / Michael Lampis -- Approximation Algorithm for Non-boolean MAX k-CSP / Konstantin Makarychev and Yury Makarychev -- Planarizing an Unknown Surface / Yury Makarychev and Anastasios Sidiropoulos -- The Projection Games Conjecture and the NP-Hardness of ln n-Approximating Set-Cover / Dana Moshkovitz -- New and Improved Bounds for the Minimum Set Cover Problem / Rishi Saket and Maxim Sviridenko -- Hardness of Vertex Deletion and Project Scheduling / Ola Svensson -- Approximation Guarantees for the Minimum Linear Arrangement Problem by Higher Eigenvalues / Suguru Tamaki and Yuichi Yoshida -- Circumventing d-to-1 for Approximation Resistance of Satisfiable Predicates Strictly Containing Parity of Width Four (Extended Abstract) / Cenny Wenner -- Spectral Norm of Symmetric Functions / Anil Ada, Omar Fawzi and Hamed Hatami -- Almost K-Wise vs. K-Wise Independent Permutations, and Uniformity for General Group Actions / Noga Alon and Shachar Lovett -- Testing Permanent Oracles -- Revisited / Sanjeev Arora, Arnab Bhattacharyya, Rajsekar Manokaran and Sushant Sachdeva -- Limitations of Local Filters of Lipschitz and Monotone Functions / Pranjal Awasthi, Madhav Jha, Marco Molinaro and Sofya Raskhodnikova -- Testing Lipschitz Functions on Hypergrid Domains / Pranjal Awasthi, Madhav Jha, Marco Molinaro and Sofya Raskhodnikova -- Extractors for Polynomials Sources over Constant-Size Fields of Small Characteristic / Eli Ben-Sasson and Ariel Gabizon -- Multiple-Choice Balanced Allocation in (Almost) Parallel / Petra Berenbrink, Artur Czumaj, Matthias Englert, Tom Friedetzky and Lars Nagel -- Optimal Hitting Sets for Combinatorial Shapes / Aditya Bhaskara, Devendra Desai and Srikanth Srinivasan -- Tight Bounds for Testing k-Linearity / Eric Blais and Daniel Kane -- Pseudorandomness for Linear Length Branching Programs and Stack Machines / Andrej Bogdanov, Periklis A. Papakonstantinou and Andrew Wan -- A Discrepancy Lower Bound for Information Complexity / Mark Braverman and Omri Weinstein -- On the Coin Weighing Problem with the Presence of Noise / Nader H. Bshouty -- Information Complexity versus Corruption and Applications to Orthogonality and Gap-Hamming / Amit Chakrabarti, Ranganath Kondapally and Zhenghui Wang -- An Explicit VC-Theorem for Low-Degree Polynomials / Eshan Chattopadhyay, Adam Klivans and Pravesh Kothari -- Tight Bounds on the Threshold for Permuted k-Colorability / Varsha Dani, Cristopher Moore and Anna Olson -- Sparse and Lopsided Set Disjointness via Information Theory / Anirban Dasgupta, Ravi Kumar and D. Sivakumar -- Maximal Empty Boxes Amidst Random Points / Adrian Dumitrescu and Minghui Jiang -- Rainbow Connectivity of Sparse Random Graphs / Alan Frieze and Charalampos E. Tsourakakis -- Invertible Zero-Error Dispersers and Defective Memory with Stuck-At Errors / Ariel Gabizon and Ronen Shaltiel -- Two-Sided Error Proximity Oblivious Testing (Extended Abstract) / Oded Goldreich and Igor Shinkar -- Mirror Descent Based Database Privacy / Prateek Jain and Abhradeep Thakurta -- Analysis of k-Means++ for Separable Data / Ragesh Jaiswal and Nitin Garg -- A Sharper Local Lemma with Improved Applications / Kashyap Kolipaka, Mario Szegedy and Yixin Xu -- Finding Small Sparse Cuts by Random Walk / Tsz Chiu Kwok and Lap Chi Lau -- On Deterministic Sketching and Streaming for Sparse Recovery and Norm Estimation / Jelani Nelson, Huy L. Nguy{circ}ẽn and David P. Woodruff -- A New Upper Bound on the Query Complexity for Testing Generalized Reed-Muller codes / Noga Ron-Zewi and Madhu Sudan -- A Combination of Testability and Decodability by Tensor Products / Michael Viderman -- Extractors for Turing-Machine Sources / Emanuele Viola.
Record Nr. UCHICAGO-11077116
[International Workshop on Randomization and Approximation Techniques in Computer Science (15th : 2012 : Cambridge, Mass.)]  
Materiale a stampa
Lo trovi qui: University of Chicago