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.
Cryptography and coding : 13th IMA International Conference, IMACC 2011, Oxford, UK, December 12-15, 2011 : proceedings / Liqun Chen (ed.).
Cryptography and coding : 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 pages) : illustrations.
Accesso persona Chen, Liqun
Genere/Forma Electronic books
Conference papers and proceedings
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
3642255167
9783642255151
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076374
[IMA International Conference (13th : 2011 : Oxford, England)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Advances in cryptology-- ASIACRYPT 2011 : 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011, proceedings / edited by Dong Hoon Lee, Xiaoyun Wang
Advances in cryptology-- ASIACRYPT 2011 : 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011, proceedings / edited by Dong Hoon Lee, Xiaoyun Wang
Creatore [International Conference on the Theory and Application of Cryptology and Information Security (17th : 2011 : Seoul, Korea)]
Estensione 1 online resource (xiv, 760 pages).
Accesso persona Lee, Dong Hoon
Wang, Xiaoyun, 1966-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Data protection
Data encryption (Computer science)
Computer software
Computational complexity
Information Systems
Management of Computing and Information Systems
Systems and Data Security
ISBN 9783642253850
3642253857
9783642253843
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076380
[International Conference on the Theory and Application of Cryptology and Information Security (17th : 2011 : Seoul, Korea)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Languages alive : essays dedicated to Jürgen Dassow on the occasion of his 65th birthday / Henning Bordihn, Martin Kutrib, Bianca Truthe (eds.).
Languages alive : essays dedicated to Jürgen Dassow on the occasion of his 65th birthday / Henning Bordihn, Martin Kutrib, Bianca Truthe (eds.).
Estensione 1 online resource (x, 290 pages) : illustrations, color portrait.
Accesso persona Bordihn, Henning
Kutrib, Martin
Truthe, Bianca
Genere/Forma Electronic books
Soggetto non controllato Computer science
Information theory
Computational complexity
Electronic data processing
Theory of Computation
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Computing Methodologies
ISBN 9783642316449
3642316441
9783642316432
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Peptide Computers / M. Sakthi Balan and Helmut Jürgensen -- On the Power of Randomness versus Advice in Online Computation / Hans-Joachim Böckenhauer, Juraj Hromkovič, Dennis Komm, Richard Královič and Peter Rossmanith -- Relevance of Entities in Reaction Systems / Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny and Grzegorz Rozenberg -- Generalized Random Context Picture Grammars: The State of the Art / Sigrid Ewert and Max Rabkin -- Cooperating Distributed Tree Automata / Henning Fernau -- A Note on Combined Derivation Modes for Cooperating Distributed Grammar Systems / Markus Holzer -- Equations in the Partial Semigroup of Words with Overlapping Products / Mari Huova and Juhani Karhumäki -- On CD-Systems of Stateless Deterministic Two-Phase RR(1)-Automata / Martin Kutrib and Friedrich Otto -- The Boolean Formula Value Problem as Formal Language / Klaus-Jörn Lange -- Hairpin Lengthening and Shortening of Regular Languages / Florin Manea, Robert Mercas and Victor Mitrana -- One-Sided Random Context Grammars with Leftmost Derivations / Alexander Meduna and Petr Zemek -- Earley's Parsing Algorithm and k-Petri Net Controlled Grammars / Taishin Y. Nishida -- Descriptional Complexity of Input-Driven Pushdown Automata / Alexander Okhotin, Xiaoxue Piao and Kai Salomaa -- Towards "Fypercomputations" (in Membrane Computing) / Gheorghe Păun -- Undecidability of State Complexities Using Mirror Images / Arto Salomaa -- Asymptotic Subword Complexity / Ludwig Staiger -- On Grammars Controlled by Parikh Vectors / Ralf Stiebe -- On the Nonterminal Complexity of Tree Controlled Grammars / György Vaszil -- One-Way Finite Automata with Quantum and Classical States / Shenggen Zheng, Daowen Qiu, Lvzhou Li and Jozef Gruska.
Record Nr. UCHICAGO-11077074
Materiale a stampa
Lo trovi qui: University of Chicago
Algorithms and complexity : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings / Paul G. Spirakis, Maria Serna (eds.).
Algorithms and complexity : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings / Paul G. Spirakis, Maria Serna (eds.).
Creatore [International Conference on Algorithms and Complexity (8th : 2013 : Barcelona, Spain)]
Estensione 1 online resource.
Accesso persona Spirakis, P. G. (Paul G.), 1955-
Serna, Maria, 1959-
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
Soggetto non controllato Computer science
Computer Communication Networks
Data structures (Computer science)
Computer software
Electronic data processing
Computational complexity
Computer graphics
Discrete Mathematics in Computer Science
Numeric Computing
ISBN 9783642382338
3642382339
3642382320
9783642382321
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Approximation Algorithms for Disjoint st-Paths with Minimum Activation Cost / Hasna Mohsen Alqahtani, Thomas Erlebach -- Parameterized Complexity and Kernel Bounds for Hard Planning Problems / Christer Bäckström, Peter Jonsson, Sebastian Ordyniak -- Selfish Resource Allocation in Optical Networks / Evangelos Bampas, Aris Pagourtzis, George Pierrakos -- Average Optimal String Matching in Packed Strings / Djamal Belazzougui, Mathieu Raffinot -- Parameterized Complexity of DAG Partitioning / René van Bevern [and others] -- Four Measures of Nonlinearity / Joan Boyar, Magnus Find, René Peralta -- On the Characterization of Plane Bus Graphs / Till Bruckdorfer, Stefan Felsner, Michael Kaufmann -- Online Multi-dimensional Dynamic Bin Packing of Unit-Fraction Items / Mihai Burcea, Prudence W.H. Wong, Fencol C.C. Yung -- A Greedy Approximation Algorithm for Minimum-Gap Scheduling / Marek Chrobak, Uriel Feige, Mohammad Taghi Hajiaghayi -- Exponential Complexity of Satisfiability Testing for Linear-Size Boolean Formulas / Evgeny Dantsin, Alexander Wolpert.
Linear Time Distributed Swap Edge Algorithms / Ajoy K. Datta, Lawrence L. Larmore, Linda Pagli -- Decentralized Throughput Scheduling / Jasper de Jong, Marc Uetz, Andreas Wombacher -- New Results on Stabbing Segments with a Polygon / José Miguel Díaz-Báñez, Matias Korman, Pablo Pérez-Lantero -- Improving the H k -Bound on the Price of Stability in Undirected Shapley Network Design Games / Yann Disser [and others] -- Complexity of Barrier Coverage with Relocatable Sensors in the Plane / Stefan Dobrev, Stephane Durocher, Mohsen Eftekhari -- Succinct Permanent Is NEXP-Hard with Many Hard Instances / Shlomi Dolev, Nova Fandina, Dan Gutfreund -- Money-Based Coordination of Network Packets / Pavlos S. Efraimidis, Remous-Aris Koutsiamanis -- Truthful Many-to-Many Assignment with Private Weights / Bruno Escoffier, Jérôme Monnot, Fanny Pascual -- Competitive Online Clique Clustering / Aleksander Fabijan, Bengt J. Nilsson, Mia Persson -- Optimal Network Decontamination with Threshold Immunity / Paola Flocchini [and others].
Finding All Convex Cuts of a Plane Graph in Cubic Time / Roland Glantz, Henning Meyerhenke -- Shortest Paths with Bundles and Non-additive Weights Is Hard / Paul W. Goldberg, Antony McCabe -- Cliques and Clubs / Petr A. Golovach, Pinar Heggernes, Dieter Kratsch -- List Coloring in the Absence of Two Subgraphs / Petr A. Golovach, Daniël Paulusma -- Query Complexity of Matroids / Raghav Kulkarni, Miklos Santha -- A New Dynamic Graph Structure for Large-Scale Transportation Networks / Georgia Mali, Panagiotis Michail, Andreas Paraskevopoulos -- Capacitated Rank-Maximal Matchings / Katarzyna Paluch -- A Faster CREW PRAM Algorithm for Computing Cartesian Trees / Chung Keung Poon, Hao Yuan -- Advice Complexity of the Online Coloring Problem / Sebastian Seibert, Andreas Sprock, Walter Unger -- Sparse Linear Complementarity Problems / Hanna Sumita, Naonori Kakimura, Kazuhisa Makino -- LP-Rounding Algorithms for the Fault-Tolerant Facility Placement Problem / Li Yan, Marek Chrobak.
Record Nr. UCHICAGO-11078621
[International Conference on Algorithms and Complexity (8th : 2013 : Barcelona, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
SOFSEM 2013: Theory and practice of computer science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings / Peter van Emde Boas...[et al.] (eds.).
SOFSEM 2013: Theory and practice of computer science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings / Peter van Emde Boas...[et al.] (eds.).
Creatore [SOFSEM (Conference) (39th : 2013 : Špindlerův Mlýn, Czech Republic)]
Estensione 1 online resource.
Disciplina 004
Accesso persona Emde Boas, P. van.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Data structures (Computer science)
Computer software
Computational complexity
Artificial intelligence
Discrete Mathematics in Computer Science
Algorithm Analysis and Problem Complexity
Information Storage and Retrieval
ISBN 9783642358432 (electronic bk.)
3642358438 (electronic bk.)
9783642358425
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Major Achievements in Software Studies -- Theory of Multi Core Hypervisor Verification / Ernie Cohen, Wolfgang Paul, Sabine Schmaltz -- Software Components in Computer Assisted Living? / Frantisek Plasil, Tomas Bures -- Foundations of Computer Science -- Engineering Algorithms for Large Data Sets / Peter Sanders -- Core Stability in Hedonic Coalition Formation / Gerhard J. Woeginger -- Software and Web Engineering -- Software Production: A New Paradigm for Software Engineering Research / Sjaak Brinkkemper -- A Model of the Commit Size Distribution of Open Source / Carsten Kolassa, Dirk Riehle, Michel A. Salim -- Data, Information and Knowledge Engineering -- ISICIL: Semantics and Social Networks for Business Intelligence / Michel Buffa, Nicolas Delaforge, Guillaume Erétéo, Fabien Gandon, Alain Giboin -- A Multi-dimensional Comparison of Ontology Design Patterns for Representing n-ary Relations / Aldo Gangemi, Valentina Presutti -- Social Computing and Human Factors -- Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence / Michael Beetz --
Searching Things in Large Sets of Images / Arnold Smeulders -- Regular Papers -- Foundations of Computer Science -- SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators / Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir -- Worst Case Analysis of Non-local Games / Andris Ambainis, Artūrs Bačkurs, Kaspars Balodis, Agnis Škuškovniks, Juris Smotrovs -- Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory / Marcella Anselmo, Dora Giammarresi, Maria Madonia -- Flow Decompositions in External Memory / Maxim Babenko -- Improved Approximations for Ordered TSP on Near-Metric Graphs, Hans-Joachim Böckenhauer, Monika Steinová -- Asymptotic Risk Analysis for Trust and Reputation Systems / Michele Boreale, Alessandro Celestini -- Being Caught between a Rock and a Hard Place in an Election - Voter Deterrence by Deletion of Candidates / Britta Dorn, Dominikus Krüger -- Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences / Feodor F. Dragan, Muad Abu-Ata --
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks / Stijn de Gouw, Frank de Boer, Wolfgang Ahrendt, Richard Bubel -- Generalising and Unifying SLUR and Unit-Refutation Completeness / Matthew Gwynne, Oliver Kullmann -- On Structural Parameterizations for the 2-Club Problem / Sepp Hartung, Christian Komusiewicz, André Nichterlein -- On Languages of One-Dimensional Overlapping Tiles / David Janin -- An Exact Algorithm to Check the Existence of (Elementary) Paths and a Generalisation of the Cut Problem in Graphs with Forbidden Transitions / Mamadou Moustapha Kanté, Christian Laforest, Benjamin Momège -- Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs / Mamadou Moustapha Kanté, Lhouari Nourine -- Permuted Pattern Matching on Multi-track Strings / Takashi Katsura, Kazuyuki Narisawa, Ayumi Shinohara, Hideo Bannai, Shunsuke Inenaga -- Online and Quasi-online Colorings of Wedges and Intervals / Balázs Keszegh, Nathan Lemons, Dömötör Pálvölgyi --
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages / Violetta Lonati, Dino Mandrioli, Matteo Pradella -- Incomplete Transition Complexity of Some Basic Operations / Eva Maia, Nelma Moreira, Rogério Reis -- Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs / George B. Mertzios, Paul G. Spirakis -- Approximating the k-Splittable Capacitated Network Design Problem / Ehab Morsy -- Mixed Hypergraphs for Linear-Time Construction of Denser Hashing-Based Data Structures / Michael Rink -- Coalgebraic Bisimulation-Up-To / Jurriaan Rot, Marcello Bonsangue, Jan Rutten -- Software and Web Engineering -- A Model Transformation Language Based on Logic Programming / Jesús M. Almendros-Jiménez, Luis Iribarne -- Hypermodelling Reporting: Towards Cockpits for Code Structure / Tim Frey, Matthias Gräf -- Search in Source Code Based on Identifying Popular Fragments / Eduard Kuric, Mária Bieliková -- SimCo - Hybrid Simulator for Testing of Component Based Applications / Richard Lipka, Tomáš Potužák, Premek Brada, Pavel Herout --
Refinement Inference for Sequence Diagrams / Lunjin Lu, Dae-Kyoo Kim -- Improving Relevance of Keyword Extraction from the Web Utilizing Visual Style Information / Milan Lučanský, Marián Šimko -- Utilizing Microblogs for Web Page Relevant Term Acquisition / Tomáš Uherčík, Marián Šimko, Mária Bieliková -- State Coverage: An Empirical Analysis Based on a User Study / Dries Vanoverberghe, Emma Eyckmans, Frank Piessens -- Surrogate Model for Mixed-Variables Evolutionary Optimization Based on GLM and RBF Networks / Lukáš Bajer, Martin Holeňa -- Computing Semantic Similarity Using Large Static Corpora / András Dobó, János Csirik -- The Orchestra of Multiple Model Repositories / Sergejs Kozlovics -- An Ontology-Driven Fuzzy Workflow System / Václav Slavíček -- Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework / Ondřej Šváb-Zamazal, Anne Schlicht, Heiner Stuckenschmidt, Vojtěch Svátek -- Social Computing and Human Factors -- Tempo Adaptation within Interactive Music Instruments in Mobile Phone / Marek Takáč, Alena Kovárová -- Dynamic Voting Interface in Social Media: Does it Affect Individual Votes? / Michail Tsikerdekis.
Record Nr. UPENN-9960103713503681
[SOFSEM (Conference) (39th : 2013 : Špindlerův Mlýn, Czech Republic)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
The nature of computation [electronic resource] : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.).
The nature of computation [electronic resource] : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.).
Creatore [Conference on Computability in Europe (9th : 2013 : Milan, Italy)]
Estensione 1 online resource.
Disciplina 511.3/52
Accesso persona Bonizzoni, Paola
Brattka, Vasco, 1966-
Löwe, Benedikt
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Logic, Symbolic and mathematical
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
Math Applications in Computer Science
Mathematical Logic and Foundations
ISBN 9783642390531 (electronic bk.)
3642390536 (electronic bk.)
9783642390524
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960107353503681
[Conference on Computability in Europe (9th : 2013 : Milan, Italy)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
WALCOM: Algorithms and computation [electronic resource] : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings / Subir Kumar Ghosh, Takeshi Tokuyama (eds.).
WALCOM: Algorithms and computation [electronic resource] : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings / Subir Kumar Ghosh, Takeshi Tokuyama (eds.).
Creatore [WALCOM 2013 (2013 : Kharagpur, India)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Ghosh, Subir Kumar
Tokuyama, Takeshi
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Computational complexity
Algebra -- Data processing
Discrete Mathematics in Computer Science
Math Applications in Computer Science
Symbolic and Algebraic Manipulation
ISBN 9783642360657 (electronic bk.)
3642360653 (electronic bk.)
9783642360640
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Mobility and Computations: Some Open Research Directions / Nicola Santoro -- Adversarial Prediction: Lossless Predictors and Fractal Like Adversaries / Rina Panigrahy -- Computational Geometry -- A Novel Efficient Approach for Solving the Art Gallery Problem / Alexander Kröller, Mahdi Moeini, Christiane Schmidt -- Fixed-Orientation Equilateral Triangle Matching of Point Sets / Jasine Babu, Ahmad Biniaz, Anil Maheshwari, Michiel Smid -- Online Exploration and Triangulation in Orthogonal Polygonal Regions / Sándor P. Fekete, Sophia Rex, Christiane Schmidt -- A Competitive Strategy for Distance-Aware Online Shape Allocation / Sándor P. Fekete, Nils Schweer, Jan-Marc Reinhardt -- Base Location Problems for Base-Monotone Regions / Jinhee Chun, Takashi Horiyama, Takehiro Ito, Natsuda Kaothanthong, Hirotaka Ono -- Counting Maximal Points in a Query Orthogonal Rectangle / Ananda Swarup Das, Prosenjit Gupta, Kannan Srinathan --
Voronoi Game on Graphs / Sayan Bandyapadhyay, Aritra Banik, Sandip Das, Hirak Sarkar -- Approximation and Randomized Algorithms -- Approximation Schemes for Covering and Packing / Rom Aschner, Matthew J. Katz, Gila Morgenstern, Yelena Yuditsky -- A Randomised Approximation Algorithm for the Hitting Set Problem / Mourad El Ouali, Helena Fohlin, Anand Srivastav -- Exact and Approximation Algorithms for Densest k-Subgraph / Nicolas Bourgeois, Aristotelis Giannakos, Giorgio Lucarelli, Ioannis Milis -- Linear-Time Constant-Ratio Approximation Algorithm and Tight Bounds for the Contiguity of Cographs / Christophe Crespelle, Philippe Gambette -- Approximation Algorithms for the Partition Vertex Cover Problem / Suman Kalyan Bera, Shalmoli Gupta, Amit Kumar, Sambuddha Roy -- Parallel and Distributed Computing -- Daemon Conversions in Distributed Self-stabilizing Algorithms / Wayne Goddard, Pradip K. Srimani --
Broadcasting in Conflict-Aware Multi-channel Networks / Francisco Claude, Reza Dorrigiv, Shahin Kamali, Alejandro López-Ortiz, Paweł Prałat -- Shared-Memory Parallel Frontier-Based Search / Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto, Shin-ichi Minato -- Graph Algorithms -- Smoothed Analysis of Belief Propagation for Minimum-Cost Flow and Matching / Tobias Brunsch, Kamiel Cornelissen, Bodo Manthey, Heiko Röglin -- Triangle-Partitioning Edges of Planar Graphs, Toroidal Graphs and k-Planar Graphs / Jiawei Gao, Ton Kloks, Sheung-Hung Poon -- Alliances and Bisection Width for Planar Graphs / Martin Olsen, Morten Revsbæk -- The Cyclical Scheduling Problem / Binay Bhattacharya, Soudipta Chakraborty, Ehsan Iranmanesh, Ramesh Krishnamurti -- Complexity and Bounds -- Generalized Rainbow Connectivity of Graphs / Kei Uchizawa, Takanori Aoki, Takehiro Ito, Xiao Zhou --
Fixed-Parameter Tractability of Error Correction in Graphical Linear Systems / Peter Damaschke, Ömer Eğecioğlu, Leonid Molokov -- Lower Bounds for Ramsey Numbers for Complete Bipartite and 3-Uniform Tripartite Subgraphs / Tapas Kumar Mishra, Sudebkumar Prasant Pal -- Improved Fixed-Parameter Algorithm for the Minimum Weight 3-SAT Problem / Venkatesh Raman, Bal Sri Shankar -- On Directed Tree Realizations of Degree Sets / Prasun Kumar, M. N. Jayalal Sarma, Saurabh Sawlani -- An FPT Algorithm for Tree Deletion Set / Venkatesh Raman, Saket Saurabh, Ondřej Suchý -- Graph Drawing -- Circular Graph Drawings with Large Crossing Angles / Hooman Reisi Dehkordi, Quan Nguyen, Peter Eades, Seok-Hee Hong -- On Graphs That Are Not PCGs / Stephane Durocher, Debajyoti Mondal, Md. Saidur Rahman -- On Embedding of Certain Recursive Trees and Stars into Hypercube / Indhumathi Raman -- Box-Rectangular Drawings of Planar Graphs / Md. Manzurul Hasan, Md. Saidur Rahman, Md. Rezaul Karim.
Record Nr. UPENN-9960103743503681
[WALCOM 2013 (2013 : Kharagpur, India)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Conceptual structures for STEM research and education [electronic resource] : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings / Heather D. Pfeiffer [and others] (eds.).
Conceptual structures for STEM research and education [electronic resource] : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings / Heather D. Pfeiffer [and others] (eds.).
Creatore [International Conference on Conceptual Structures (20th : 2013 : Mumbai, India)]
Estensione 1 online resource.
Disciplina 003/.54
Accesso persona Pfeiffer, Heather D.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computational complexity
Database management
Artificial intelligence
Optical pattern recognition
Discrete Mathematics in Computer Science
Information Storage and Retrieval
Pattern Recognition
ISBN 9783642357862 (electronic bk.)
3642357865 (electronic bk.)
3642357857 (print)
9783642357855 (print)
9783642357855
Classificazione 54.72
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Conceptual Structures for STEM Data / Su White -- Relating Language to Perception, Action, and Feelings / Arun K. Majumdar, John F. Sowa -- PurposeNet: A Knowledge Base Organized around Purpose / Rajeev Sangal, Soma Paul, P. Kiran Mayee -- Accepted Papers -- Classical Syllogisms in Logic Teaching / Peter Øhrstrøm, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, Thomas Ploug -- A Model to Compare and Manipulate Situations Represented as Semantically Labeled Graphs / Michał K. Szczerbak, Ahmed Bouabdallah, François Toutain, Jean-Marie Bonnin -- Analyzing Clusters and Constellations from Untwisting Shortened Links on Twitter Using Conceptual Graphs / Emma L. Tonkin, Heather D. Pfeiffer, Gregory J.L. Tourte -- Taking SPARQL 1.1 Extensions into Account in the SWIP System / Fabien Amarger, Ollivier Haemmerlé, Nathalie Hernandez, Camille Pradel -- System Architecture to Implement a Conceptual Graphs Storage in an RDF Quad Store / Khalil Ben Mohamed, Benjamin Chu Min Xian, Dickson Lukose.
Medical Archetypes and Information Extraction Templates in Automatic Processing of Clinical Narratives / Ivelina Nikolova, Galia Angelova, Dimitar Tcharaktchiev, Svetla Boytcheva -- Using Conceptual Structures in the Design of Computer-Based Assessment Software / Uta Priss, Nils Jensen, Oliver Rod -- Modeling Ontological Structures with Type Classes in Coq / Richard Dapoigny, Patrick Barlatier -- Parse Thicket Representation for Multi-sentence Search / Boris A. Galitsky, Sergei O. Kuznetsov, Daniel Usikov -- FCA-Based Models and a Prototype Data Analysis System for Crowdsourcing Platforms / Dmitry I. Ignatov, Alexandra Yu. Kaminskaya, Anastasya A. Bezzubtseva -- Toward a Peircean Theory of Human Learning: Revealing the Misconception of Belief Revision / Mary Keeler, Uta Priss -- The First-Order Logical Environment / Robert E. Kent -- Designing Learning to Research the Formal Concept Analysis of Transactional Data / Martin Watmough, Simon Polovina, Simon Andrews.
Cross-Domain Inference Using Conceptual Graphs in Context of Laws of Science / Shreya Inamdar -- Summarizing Conceptual Graphs for Automatic Summarization Task / Sabino Miranda-Jiménez, Alexander Gelbukh, Grigori Sidorov -- Logical Form vs. Logical Form: How Does the Difference Matter for Semantic Computationality? / Prakash Mondal -- Model for Knowledge Representation of Multidimensional Measurements Processing Results in the Environment of Intelligent GIS / Alexander Vitol, Nataly Zhukova, Andrey Pankin -- Accepted Papers -- Transformation of SBVR Business Rules to UML Class Model / Stuti Awasthi, Ashalatha Nayak -- Representation of the Event Bush Approach in Terms of Directed Hypergraphs / Cyril A. Pshenichny, Dmity I. Mouromtsev -- Concept Lattices of a Relational Structure / Jens Kötters -- Representing Median Networks with Concept Lattices / Uta Priss -- Txt2vz: A New Tool for Generating Graph Clouds / Laurie Hirsch, David Tian.
Record Nr. UPENN-9960103313503681
[International Conference on Conceptual Structures (20th : 2013 : Mumbai, India)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Automated deduction in geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.).
Automated deduction in geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers / Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.).
Creatore [International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany)]
Estensione 1 online resource (x, 258 p.)
Disciplina 516.00285
Accesso persona Schreck, Pascal
Narboux, Julien
Richter-Gebert, Jürgen, 1963-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Computational complexity
Artificial intelligence
Computer graphics
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Discrete Mathematics in Computer Science
ISBN 9783642250705 (electronic bk.)
364225070X (electronic bk.)
9783642250699
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960089503503681
[International Workshop on Automated Deduction in Geometry (8th : 2010 : Munich, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Descriptional complexity of formal systems [electronic resource] : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / Helmut Jürgensen, Rogério Reis (eds.).
Descriptional complexity of formal systems [electronic resource] : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / Helmut Jürgensen, Rogério Reis (eds.).
Creatore [DCFS (Workshop) (15th : 2013 : London, Ontario)]
Estensione 1 online resource.
Disciplina 004.01/51
Accesso persona Jürgensen, Helmut
Reis, Rogério (Cryptographer)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Discrete Mathematics in Computer Science
ISBN 9783642393105 (electronic bk.)
3642393101 (electronic bk.)
3642393098 (Print)
9783642393099 (Print)
9783642393099
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960107953503681
[DCFS (Workshop) (15th : 2013 : London, Ontario)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania