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.
Intelligent computing technology : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings / De-Shuang Huang [and others] (eds.).
Intelligent computing technology : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings / De-Shuang Huang [and others] (eds.).
Creatore [International Conference on Intelligent Computing (8th : 2012 : Huangshan Shi, China)]
Estensione 1 online resource (xxiv, 667 pages) : illustrations.
Disciplina 006.3
Accesso persona Huang, De-Shuang
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Artificial intelligence
Computer vision
Optical pattern recognition
Bioinformatics
Image Processing and Computer Vision
Pattern Recognition
Computational Biology/Bioinformatics
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
ISBN 9783642315886
3642315887
9783642315879
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto PSO Assisted NURB Neural Network Identification / Xia Hong and Sheng Chen -- 2D Discontinuous Function Approximation with Real-Valued Grammar-Based Classifier System / Lukasz Cielecki and Olgierd Unold -- A Scatter Search Methodology for the Aircraft Conflict Resolution Problem / Zhi-Zeng Li, Xue-Yan Song, Ji-Zhou Sun and Zhao-Tong Huang -- Self-adaptive Differential Evolution Based Multi-objective Optimization Incorporating Local Search and Indicator-Based Selection / Datong Xie, Lixin Ding, Shenwen Wang, Zhaolu Guo and Yurong Hu, et al. -- Application of Data Mining in Coal Mine Safety Decision System Based on Rough Set / Tianpei Zhou -- Study on Web Text Feature Selection Based on Rough Set / Xianghua Lu and Weijing Wang -- A Generalized Approach for Determining Fuzzy Temporal Relations / Luyi Bai and Zongmin Ma -- Applications on Information Flow and Biomedical Treatment of FDES Based on Fuzzy Sequential Machines Theory / Hongyan Xing and Daowen Qiu -- Discontinuous Fuzzy Systems and Henstock Integrals of Fuzzy Number Valued Functions / Yabin Shao and Zengtai Gong -- A Phased Adaptive PSO Algorithm for Multimodal Function Optimization / Haiping Yu and Fengying Yang -- The Comparative Study of Different Number of Particles in Clustering Based on Three-Layer Particle Swarm Optimization / Guoliang Huang, Xinling Shi, Zhenzhou An and He Sun -- Implementation of Mutual Localization of Multi-robot Using Particle Filter / Yang Weon Lee -- Optimization of Orthogonal Poly Phase Coding Waveform Based on Bees Algorithm and Artificial Bee Colony for MIMO Radar / Milad Malekzadeh, Alireza Khosravi, Saeed Alighale and Hamed Azami -- SVM Regularizer Models on RKHS vs. on Rm / Yinli Dong and Shuisheng Zhou -- Research on Performance Comprehensive Evaluation of Thermal Power Plant under Low-Carbon Economy / Xing Zhang -- Computing the Minimum [lambda]-Cover in Weighted Sequences / Hui Zhang, Qing Guo and Costas S. Iliopoulos -- A Novel Hybrid Evolutionary Algorithm for Solving Multi-Objective Optimization Problems / Huantong Geng, Haifeng Zhu, Rui Xing and Tingting Wu -- Heuristic Algorithms for Solving Survivable Network Design Problem with Simultaneous Unicast and Anycast Flows / Huynh Thi Thanh Binh, Pham Vu Long, Nguyen Ngoc Dat and Nguyen Sy Thai Ha -- Protein-Protein Binding Affinity Prediction Based on an SVR Ensemble / Xueling Li, Min Zhu, Xiaolai Li, Hong-Qiang Wang and Shulin Wang -- A Novel Two-Stage Alignment Method for Liquid Chromatography Mass Spectrometry-Based Metabolomics / Xiaoli Wei, Xue Shi, Seongho Kim, Craig McClain and Xiang Zhang.
Reconstruction of Metabolic Association Networks Using High-throughput Mass Spectrometry Data / Imhoi Koo, Xiang Zhang and Seongho Kim -- Predicting Protein Subcellular Localization by Fusing Binary Tree and Error-Correcting Output Coding / Lili Guo and Yuehui Chen -- Exponential Stability of a Class of High-Order Hybrid Neural Networks / Qian Ye, Baotong Cui, Xuyang Lou and Ke Lou -- Mining Google Scholar Citations: An Exploratory Study / Ze Huang and Bo Yuan -- Knowledge Acquisition of Multiple Information Sources Based on Aircraft Assembly Design / Liang Xia, Lizhi Zhang and Zhenguo Yan -- Generalizing Sufficient Conditions and Traceable Graphs / Kewen Zhao -- Note on the Minimal Energy Ordering of Conjugated Trees / Yulan Xiao and Bofeng Huo -- An Ensemble Method Based on Confidence Probability for Multi-domain Sentiment Classification / Quan Zhou, Yuhong Zhang and Xuegang Hu -- Robust ISOMAP Based on Neighbor Ranking Metric / Chun Du, Shilin Zhou, Jixiang Sun and Jingjing Zhao -- Modeling by Combining Dimension Reduction and L2Boosting / Junlong Zhao -- Geometric Linear Regression and Geometric Relation / Kaijun Wang and Liying Yang -- Optimal Control Strategies of a Tuberculosis Model with Exogenous Reinfection / Yali Yang, Xiuchao Song, Yuzhou Wang and Guoyun Luo -- Method of Smartphone Users' Information Protection Based on Composite Behavior Monitor / Hua Zha and Chunlin Peng -- Improved Digital Chaotic Sequence Generator Utilized in Encryption Communication / Xiaoyuan Li, Bin Qi and Lu Wang -- Modeling and Adaptive Control for Flapping-Wing Micro Aerial Vehicle / Qingwei Li and Hongjun Duan -- Distributed Staff's Integral Systems Design and Implementation / Qing Xie, Guo-Dong Liu, Zheng-Hua Shu, Bing-Xin Wang and Deng-Ji Zhao -- Research of QoC-aware Service Adaptation in Pervasive Environment / Di Zheng, Qingwei Xu and Ke-rong Ben -- Energy Efficient Filtering Nodes Assignment Method for Sensor Networks Using Fuzzy Logic / Soo Young Moon and Tae Ho Cho -- Sentiment Analysis with Multi-source Product Reviews / Hongwei Jin, Minlie Huang and Xiaoyan Zhu -- Identifying CpG Islands in Genome Using Conditional Random Fields / Wei Liu, Hanwu Chen and Ling Chen -- A Novel Gene Selection Method for Multi-catalog Cancer Data Classification / Xuejiao Lei, Yuehui Chen and Yaou Zhao.
A Novel Discretization Method for Microarray-Based Cancer Classification / Ding Li, Rui Li and Hong-Qiang Wang -- Sequence-Based Prediction of Protein-Protein Interactions Using Random Tree and Genetic Algorithm / Lei Zhang -- A Two-Stage Reduction Method Based on Rough Set and Factor Analysis / Zheng Liu, Liying Fang, Mingwei Yu, Pu Wang and Jianzhuo Yan -- Eyebrow Segmentation Based on Binary Edge Image / Jiatao Song, Liang Wang and Wei Wang -- X-ray Image Contrast Enhancement Using the Second Generation Curvelet Transform / Hao Li and Guanying Huo -- MMW Image Blind Restoration Using Sparse ICA in Contourlet Transform Domain / Li Shang, Pin-gang Su and Wen-jun Huai -- An Adaptive Non Local Spatial Fuzzy Image Segmentation Algorithm / Hanqiang Liu and Feng Zhao -- MMW Image Enhancement Based on Gray Stretch Technique and SSR Theory / Wen-Jun Huai, Li Shang and Pin-Gang Su -- A Study of Images Denoising Based on Two Improved Fractional Integral Marks / Changxiong Zhou, Tingqin Yan, Wenlin Tao and Shufen Lui -- Leaf Image Recognition Using Fourier Transform Based on Ordered Sequence / Li-Wei Yang and Xiao-Feng Wang -- Discriminant Graph Based Linear Embedding / Bo Li, Jin Liu, Wen-Yong Dong and Wen-Sheng Zhang -- A Performance Analysis of Omnidirectional Vision Based Simultaneous Localization and Mapping / Hayrettin Erturk, Gurkan Tuna, Tarik Veli Mumcu and Kayhan Gulez -- Trajectory Estimation of a Tracked Mobile Robot Using the Sigma-Point Kalman Filter with an IMU and Optical Encoder / Xuan Vinh Ha, Cheolkeun Ha and Jewon Lee -- Development of a Mobile Museum Guide Robot That Can Configure Spatial Formation with Visitors / Mohammad Abu Yousuf, Yoshinori Kobayashi, Yoshinori Kuno, Akiko Yamazaki and Keiichi Yamazaki -- A Novel Image Matting Approach Based on Naive Bayes Classifier / Zhanpeng Zhang, Qingsong Zhu and Yaoqin Xie -- Detecting Insulators in the Image of Overhead Transmission Lines / Jingjing Zhao, Xingtong Liu, Jixiang Sun and Lin Lei -- Realizing Geometry Surface Modeling of Complicated Geological Object Based on Delaunay Triangulation / Xiangbin Meng, Panpan Lv, Xin Wang and Hua Chen -- Researching of the Evolution of Discontent in Mass Violence Event / FanLiang Bu and YuNing Zhao -- An Efficient Two-Stage Level Set Segmentation Framework for Overlapping Plant Leaf Image / Xiao-Feng Wang and Hai Min -- Behavior Analysis of Software Systems Based on Petri Net Slicing / Jiaying Ma, Wei Han and Zuohua Ding -- Aircraft Landing Scheduling Based on Semantic Agent Negotiation Mechanism / Zhao-Tong Huang, Xue-Yan Song, Ji-Zhou Sun and Zhi-Zeng Li.
A Real-Time Posture Simulation Method for High-Speed Train / Huijuan Zhou, Bo Chen, Yong Qin and Yiran Liu -- High-Order Terminal Sliding-Mode Observers for Anomaly Detection / Yong Feng, Fengling Han, Xinghuo Yu, Zahir Tari and Lilin Li, et al. -- An Automated Bug Triage Approach: A Concept Profile and Social Network Based Developer Recommendation / Tao Zhang and Byungjeong Lee -- A New Method for Filtering IDS False Positives with Semi-supervised Classification / Minghua Zhang and Haibin Mei -- Dual-form Elliptic Curves Simple Hardware Implementation / Jianxin Wang and Xingjun Wang -- Genetic Based Auto-design of Fuzzy Controllers for Vector Controlled Induction Motor Drives / Moulay Rachid Douiri and Mohamed Cherkaoui -- Very Short Term Load Forecasting for Macau Power System / Chong Yin Fok and Mang I Vai -- A Method for the Enhancement of the Detection Power and Energy Savings against False Data Injection Attacks in Wireless Sensor Networks / Su Man Nam and Tae Ho Cho -- Virtual Cluster Tree Based Distributed Data Classification Strategy Using Locally Linear Embedding in Wireless Sensor Network / Xin Song, Cuirong Wang, Cong Wang and Xi Hu -- Fault Detection and Isolation in Wheeled Mobile Robot / Ngoc Bach Hoang, Hee-Jun Kang and Young-Shick Ro -- The Research on Mapping from DAML+OIL Ontology to Basic-Element and Complex-Element of Extenics / Wen Bin -- The Study of Codeswitching in Advertisements / Wang Hua -- Powered Grid Scheduling by Ant Algorithm / Feifei Liu and Xiaoshe Dong -- An Efficient Palmprint Based Recognition System Using 1D-DCT Features / G.S. Badrinath, Kamlesh Tiwari and Phalguni Gupta -- An Efficient Algorithm for De-duplication of Demographic Data / Vandana Dixit Kaushik, Amit Bendale, Aditya Nigam and Phalguni Gupta -- A Transportation Model with Interval Type-2 Fuzzy Demands and Supplies / Juan C. Figueroa-García and Germán Hernández -- Unstructured Scene Object Localization Algorithm Based on Sparse Overcomplete Representation / Peng Lu, Yuhe Tang, Eryan Chen, Huige Shi and Shanshan Zhang -- Solving the Distribution Center Location Problem Based on Multi-swarm Cooperative Particle Swarm Optimizer / Xianghua Chu, Qiang Lu, Ben Niu and Teresa Wu -- Improved Bacterial Foraging Optimization with Social Cooperation and Adaptive Step Size / Xiaohui Yan, Yunlong Zhu, Hanning Chen and Hao Zhang -- Root Growth Model for Simulation of Plant Root System and Numerical Function Optimization / Hao Zhang, Yunlong Zhu and Hanning Chen -- Bacterial-Inspired Algorithms for Engineering Optimization / Ben Niu, Jingwen Wang, Hong Wang and Lijing Tan -- Multiobjective Dynamic Multi-Swarm Particle Swarm Optimization for Environmental/Economic Dispatch Problem / Jane-Jing Liang, Wei-Xing Zhang, Bo-Yang Qu and Tie-Jun Chen.
Record Nr. NYU-004623736
[International Conference on Intelligent Computing (8th : 2012 : Huangshan Shi, China)]  
Materiale a stampa
Lo trovi qui: New York University
Transactions on petri nets and other models of concurrency VII / Kurt Jensen [and others] (eds.).
Transactions on petri nets and other models of concurrency VII / Kurt Jensen [and others] (eds.).
Creatore [International Summer School "Advanced Course on Petri Nets" (2010 : Rostock, Germany)]
Estensione 1 online resource (xii, 422 pages) : illustrations.
Disciplina 511.3/5
Accesso persona Jensen, K. (Kurt), 1950-
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Software engineering
Logic design
Computation by Abstract Devices
Logics and Meanings of Programs
ISBN 9783642381430
364238143X
3642381421
9783642381423
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto In Memoriam: Carl Adam Petri. / Wolfgang Reisig, Grzegorz Rozenberg, P.S. Thiagarajan -- Modeling. Strategies for Modeling Complex Processes Using Colored Petri Nets / Wil M.P. van der Aalst, Christian Stahl, Michael Westergaard -- Applications of Coloured Petri Nets for Functional Validation of Protocol Designs / Lars M. Kristensen, Kent Inge Fagerland Simonsen -- Business Process Modeling Using Petri Nets / Kees M. van Hee, Natalia Sidorova, Jan Martijn van der Werf -- Semantics and Analysis. Structure Theory of Petri Nets / Eike Best, Harro Wimmel -- Causality in Extensions of Petri Nets / Jetty Kleijn, Maciej Koutny -- External Behaviour of Systems of State Machines with Variables / Antti Valmari -- Synthesis and Scenarios. The Synthesis Problem / Wolfgang Reisig -- Models from Scenarios / Robert Lorenz, Jörg Desel, Gabriel Juhás -- Discovering Petri Nets from Event Logs / Wil M.P. van der Aalst, Boudewijn F. van Dongen.
Record Nr. NYU-004637163
[International Summer School "Advanced Course on Petri Nets" (2010 : Rostock, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Advances in artificial intelligence : 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedings / Leila Kosseim, Diana Inkpen (eds.).
Advances in artificial intelligence : 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedings / Leila Kosseim, Diana Inkpen (eds.).
Creatore [Canadian Conference on Artificial Intelligence (25th : 2012 : Toronto, Ont.)]
Estensione 1 online resource.
Disciplina 006.3
Accesso persona Kosseim, Leila
Inkpen, Diana
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Data mining
Information storage and retrieval systems
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Computation by Abstract Devices
ISBN 9783642303531
3642303536
9783642303524
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Exploiting the Probability of Observation for Efficient Bayesian Network Inference / Fouzia Mousumi and Kevin Grant -- A Strategic Reputation-Based Mechanism for Mobile Ad Hoc Networks / Zeinab Noorian, Mahdi Noorian, Michael Fleming and Stephen Marsh -- Domain Adaptation Techniques for Machine Translation and Their Evaluation in a Real-World Setting / Baskaran Sankaran, Majid Razmara, Atefeh Farzindar, Wael Khreich and Fred Popowich, et al. -- Applying Least Angle Regression to ELM / Hang Shao and Nathalie Japkowicz -- Clustering Based One-Class Classification for Compliance Verification of the Comprehensive Nuclear-Test-Ban Treaty / Shiven Sharma, Colin Bellinger and Nathalie Japkowicz -- Image Morphing: Transfer Learning between Tasks That Have Multiple Outputs / Daniel L. Silver and Liangliang Tu -- A Formal Study on the Dualities in Temporal Projection Problems / Xing Tan -- Predicting Good Propagation Methods for Constraint Satisfaction / Craig D.S. Thompson and Michael C. Horsch -- Analysis of Important Factors for Measuring Similarity of Symbolic Music Using n-gram-Based, Bag-of-Words Approach / Jacek Wołkowicz and Vlado Kešelj.
Multiagent Decision by Partial Evaluation / Yang Xiang and Frank Hanshar -- A Study of Recommending Locations on Location-Based Social Network by Collaborative Filtering / Dequan Zhou, Bin Wang, Seyyed Mohammadreza Rahimi and Xin Wang -- Role Assignment for an Agent Group in Consideration of Conflicts among Agents / Haibin Zhu -- Learning Observation Models for Dialogue POMDPs / Hamid R. Chinaei, Brahim Chaib-draa and Luc Lamontagne -- A Genetic and Social Computational Model for the Emergence of Skill-Based Agent Specialization / Denton Cockburn and Ziad Kobti -- Improvements to AdaBoost Dynamic / Erico N. de Souza and Stan Matwin -- Mining Sequential Rules Common to Several Sequences with the Window Size Constraint / Philippe Fournier-Viger, Cheng-Wei Wu, Vincent S. Tseng and Roger Nkambou -- Mining Administrative Data to Predict Falls in the Elderly Population / Arian Hosseinzadeh, Masoumeh Izadi, Doina Precup and David Buckeridge -- Text Similarity Using Google Tri-grams / Aminul Islam, Evangelos Milios and Vlado Kešelj -- Mining the Hidden Structure of Inductive Learning Data Sets / Nathalie Japkowicz -- Curriculum Learning for Motor Skills / Andrej Karpathy and Michiel van de Panne.
Bayesian Multiple Imputation Approaches for One-Class Classification / Shehroz S. Khan, Jesse Hoey and Daniel Lizotte -- A Three-Level Cognitive Architecture for the Simulation of Human Behaviour / Othalia Larue, Pierre Poirier and Roger Nkambou -- Anomaly Detection via Coupled Gaussian Kernels / Guichong Li, Nathalie Japkowicz and Lian Yang -- Formal Verification of Temporal Questions in the Context of Query-Answering Text Summarization / Nasrin Mostafazadeh, Omid Bakhshandeh Babarsad and Gholamreza Ghassem-Sani -- Dsharp: Fast d-DNNF Compilation with sharpSAT / Christian Muise, Sheila A. McIlraith, J. Christopher Beck and Eric I. Hsu -- A Multiagent System to Solve JSSP Using a Multi-Population Cultural Algorithm / Mohammad R. Raeesi N. and Ziad Kobti -- Modeling Local Belief Revision in a Dynamic Reasoning System / Daniel G. Schwartz and Stanislav Ustymenko -- Exploiting Semantic Roles for Asynchronous Question Answering in an Educational Setting / Dunwei Wen, John Cuzzola, Lorna Brown and Kinshuk -- Managing Concurrent Negotiations in Multi-agent Systems / Khalid Mansour -- Generalizing and Executing Plans / Christian Muise -- Semantic Analysis of Functional and Non-Functional Requirements in Software Requirements Specifications / Abderahman Rashwan -- Populating a Knowledge Base from a Dictionary / Martin Scaiano.
Record Nr. NYU-004375415
[Canadian Conference on Artificial Intelligence (25th : 2012 : Toronto, Ont.)]  
Materiale a stampa
Lo trovi qui: New York University
Automata, languages, and programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part II / Artur Czumaj [and others] (eds.).
Automata, languages, and programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings. Part II / Artur Czumaj [and others] (eds.).
Creatore [International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)]
Estensione 1 online resource.
Disciplina 005.1/3
Accesso persona Czumaj, Artur
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Computational complexity
Information storage and retrieval systems
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
Discrete Mathematics in Computer Science
ISBN 9783642315855
3642315852
9783642315848
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On Multiple Keyword Sponsored Search Auctions with Budgets / Riccardo Colini-Baldeschi, Monika Henzinger, Stefano Leonardi and Martin Starnberger -- A Theory Independent Curry-De Bruijn-Howard Correspondence / Gilles Dowek -- Standing on the Shoulders of a Giant: One Persons Experience of Turings Impact (Summary of the Alan M. Turing Lecture) / David Harel -- Session Types and Distributed Computing / Kohei Honda -- Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations / Daniel A. Spielman -- Randomized Mechanisms for Multi-unit Auctions (Extended Abstract) / Berthold Vöcking -- Algebraic Synchronization Trees and Processes / Luca Aceto, Arnaud Carayol, Zoltán Ésik and Anna Ingólfsdóttir -- Streaming Tree Transducers / Rajeev Alur and Loris D'Antoni -- Causal Graph Dynamics / Pablo Arrighi and Gilles Dowek -- Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers / Albert Atserias and Anuj Dawar -- Monadic Datalog Containment / Michael Benedikt, Pierre Bourhis and Pierre Senellart -- A Machine-Independent Characterization of Timed Languages / Mikołaj Bojańczyk and Sławomir Lasota -- Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets / Mikołaj Bojańczyk and Thomas Place -- Toward Model Theory with Data Values / Mikołaj Bojańczyk and Thomas Place -- Robust Reachability in Timed Automata: A Game-Based Approach / Patricia Bouyer, Nicolas Markey and Ocan Sankur.
Minimizing Expected Termination Time in One-Counter Markov Decision Processes / Tomáš Brázdil, Antonín Kučera, Petr Novotný and Dominik Wojtczak -- Prefix Rewriting for Nested-Words and Collapsible Pushdown Automata / Christopher Broadbent -- A Saturation Method for Collapsible Pushdown Systems / Chris Broadbent, Arnaud Carayol, Matthew Hague and Olivier Serre -- Regular Languages Are Church-Rosser Congruential / Volker Diekert, Manfred Kufleitner, Klaus Reinhardt and Tobias Walter -- Time and Parallelizability Results for Parity Games with Bounded Treewidth / John Fearnley and Sven Schewe -- Nominal Completion for Rewrite Systems with Binders / Maribel Fernández and Albert Rubio -- Discrete Generalised Polynomial Functors (Extended Abstract) / Marcelo Fiore -- Computing Game Metrics on Markov Decision Processes / Hongfei Fu -- Deciding First Order Properties of Matroids / Tomáš Gavenčiak, Daniel Král and Sang-il Oum -- Pebble Games with Algebraic Rules / Anuj Dawar and Bjarki Holm -- Exponential Lower Bounds and Separation for Query Rewriting / Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii and Michael Zakharyaschev -- Lattices of Logical Fragments over Words (Extended Abstract) / Manfred Kufleitner and Alexander Lauser -- On the Expressive Power of Cost Logics over Infinite Words / Denis Kuperberg and Michael Vanden Boom -- Coalgebraic Predicate Logic / Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano and Lutz Schröder.
Algorithmic Games for Full Ground References / Andrzej S. Murawski and Nikos Tzevelekos -- Two-Level Game Semantics, Intersection Types, and Recursion Schemes / C.-H. Luke Ong and Takeshi Tsukada -- An Automata-Theoretic Model of Idealized Algol (Extended Abstract) / Uday S. Reddy and Brian P. Dunphy -- Towards a Unified Theory of Operational and Axiomatic Semantics / Grigore Roşu and Andrei Ştefănescu -- Loader and Urzyczyn Are Logically Related / Sylvain Salvati, Giulio Manzonetto, Mai Gehrke and Henk Barendregt -- Languages of Profinite Words and the Limitedness Problem / Szymon Toruńczyk -- The Complexity of Mean-Payoff Automaton Expression / Yaron Velner -- On the Locality of Some NP-Complete Problems / Leonid Barenboim -- Growing Half-Balls: Minimizing Storage and Communication Costs in CDNs / Reuven Bar-Yehuda, Erez Kantor, Shay Kutten and Dror Rawitz -- Super-Fast Distributed Algorithms for Metric Facility Location / Andrew Berns, James Hegeman and Sriram V. Pemmaraju -- Preventing Unraveling in Social Networks: The Anchored k-Core Problem / Kshipra Bhawalkar, Jon Kleinberg, Kevin Lewi, Tim Roughgarden and Aneesh Sharma -- Edge Fault Tolerance on Sparse Networks / Nishanth Chandran, Juan Garay and Rafail Ostrovsky -- Incentive Ratios of Fisher Markets / Ning Chen, Xiaotie Deng, Hongyang Zhang and Jie Zhang -- Computational Complexity of Traffic Hijacking under BGP and S-BGP / Marco Chiesa, Giuseppe Di Battista, Thomas Erlebach and Maurizio Patrignani -- Efficiency-Revenue Trade-Offs in Auctions / Ilias Diakonikolas, Christos Papadimitriou, George Pierrakos and Yaron Singer.
Deterministic Network Exploration by Anonymous Silent Agents with Local Traffic Reports / Yoann Dieudonné and Andrzej Pelc -- A QPTAS for -Envy-Free Profit-Maximizing Pricing on Line Graphs / Khaled Elbassioni -- Minimizing Rosenthal Potential in Multicast Games / Fedor V. Fomin, Petr Golovach, Jesper Nederlof and Michał Pilipczuk -- Multiparty Proximity Testing with Dishonest Majority from Equality Testing / Ran Gelles, Rafail Ostrovsky and Kina Winoto -- Anonymous Card Shuffling and Its Applications to Parallel Mixnets / Michael T. Goodrich and Michael Mitzenmacher -- Byzantine Agreement with a Rational Adversary / Adam Groce, Jonathan Katz, Aishwarya Thiruvengadam and Vassilis Zikas -- Random Hyperbolic Graphs: Degree Sequence and Clustering (Extended Abstract) / Luca Gugelmann, Konstantinos Panagiotou and Ueli Peter -- Topology-Aware VM Migration in Bandwidth Oversubscribed Datacenter Networks / Navendu Jain, Ishai Menache, Joseph (Seffi) Naor and F. Bruce Shepherd -- Counting Arbitrary Subgraphs in Data Streams / Daniel M. Kane, Kurt Mehlhorn, Thomas Sauerwald and He Sun -- k-Chordal Graphs: From Cops and Robber to Compact Routing via Treewidth / Adrian Kosowski, Bi Li, Nicolas Nisse and Karol Suchan -- Contention Issues in Congestion Games / Elias Koutsoupias and Katia Papakonstantinopoulou -- Online Mechanism Design (Randomized Rounding on the Fly) / Piotr Krysta and Berthold Vöcking -- Online Packing with Gradually Improving Capacity Estimations and Applications to Network Lifetime Maximization / Marcel Ochel, Klaus Radke and Berthold Vöcking -- Distributed Algorithms for Network Diameter and Girth / David Peleg, Liam Roditty and Elad Tal.
Record Nr. NYU-004375809
[International Colloquium on Automata, Languages, and Programming (39th : 2012 : Warwick, England)]  
Materiale a stampa
Lo trovi qui: New York University
Emerging research in artificial intelligence and computational intelligence : International Conference, AICI 2011, Taiyuan, China, September 23-25, 2011 : proceedings / Hepu Deng [and others] (eds.).
Emerging research in artificial intelligence and computational intelligence : International Conference, AICI 2011, Taiyuan, China, September 23-25, 2011 : proceedings / Hepu Deng [and others] (eds.).
Creatore [International Conference on Artificial Intelligence and Computational Intelligence (2011 : Taiyuan Shi, China)]
Estensione 1 online resource (xviii, 609 pages) : illustrations (some color).
Disciplina 006.3
Accesso persona Deng, Hepu
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Computer software
Information storage and retrieval systems
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Information Storage and Retrieval
ISBN 9783642242823
3642242820
9783642242816
3642242812
9781642242823
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-005710733
[International Conference on Artificial Intelligence and Computational Intelligence (2011 : Taiyuan Shi, China)]  
Materiale a stampa
Lo trovi qui: New York University
High performance networking, computing, and communication systems : Second International Conference, ICHCC 2011, Singapore, May 5-6, 2011 : selected papers / Yanwen Wu (ed.).
High performance networking, computing, and communication systems : Second International Conference, ICHCC 2011, Singapore, May 5-6, 2011 : selected papers / Yanwen Wu (ed.).
Creatore [ICHCC 2011 (2011 : Singapore)]
Estensione 1 online resource (xv, 617 pages) : illustrations (some color).
Disciplina 004.1/1
Accesso persona Wu, Yanwen
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data structures (Computer science)
Computational complexity
Information storage and retrieval systems
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
Discrete Mathematics in Computer Science
Computation by Abstract Devices
Data Structures, Cryptology and Information Theory
ISBN 9783642250026
3642250025
9783642250019
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-005711148
[ICHCC 2011 (2011 : Singapore)]  
Materiale a stampa
Lo trovi qui: New York University
Results and Trends in Theoretical Computer Science [electronic resource] : Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings / by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg
Results and Trends in Theoretical Computer Science [electronic resource] : Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings / by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg
Creatore [Karhumäki, J. (Juliani)]
Accesso persona Maurer, Hermann
Rozenberg, Grzegorz
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Combinatorics
Computation by Abstract Devices
Data Encryption
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
ISBN 9783540581314
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355227
[Karhumäki, J. (Juliani)]  
Software
Lo trovi qui: University of Chicago
Distributed Algorithms [electronic resource] : 8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings / by Gerard Tel, Paul Vitanyi
Distributed Algorithms [electronic resource] : 8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings / by Gerard Tel, Paul Vitanyi
Creatore [Tel, Gerard]
Accesso persona Vitanyi, Paul
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Computer Communication Networks
Operating Systems
Programming Techniques
Special Purpose and Application-Based Systems
ISBN 9783540584490
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355270
[Tel, Gerard]  
Software
Lo trovi qui: University of Chicago
Database Theory - ICDT '95 [electronic resource] : 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings / by Georg Gottlob, Moshe Y. Vardi
Database Theory - ICDT '95 [electronic resource] : 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings / by Georg Gottlob, Moshe Y. Vardi
Creatore [Gottlob, G. (Georg)]
Accesso persona Vardi, Moshe Y.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Database Management
Mathematical Logic and Formal Languages
ISBN 9783540589075
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355306
[Gottlob, G. (Georg)]  
Software
Lo trovi qui: University of Chicago
Automated Modeling of Physical Systems [electronic resource] / by P. Pandurang Nayak
Automated Modeling of Physical Systems [electronic resource] / by P. Pandurang Nayak
Creatore [Nayak, P. Pandurang]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Control Engineering
Electronics and Microelectronics, Instrumentation
Simulation and Modeling
Systems and Information Theory in Engineering
ISBN 9783540606413
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355427
[Nayak, P. Pandurang]  
Software
Lo trovi qui: University of Chicago