skip to content
Computer science -- theory and applications : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006 : proceedings Preview this item
ClosePreview this item
Checking...

Computer science -- theory and applications : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006 : proceedings

Author: Dima Grigoriev; J Harrison; Edward A Hirsch
Publisher: Berlin ; New York : Springer, 2006.
Series: Lecture notes in computer science, 3967.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
"The International Symposium on Computer Science in Russia (CSR 2006) was held on June 8-12, 2006 in St. Petersburg, Russia, hosted by the Steklov Institute of Mathematics at St. Petersburg."
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Print version:
International Computer Science Symposium in Russia (1st : 2006 : Saint Petersburg, Russia).
Computer science -- theory and applications.
Berlin ; New York : Springer, 2006
(DLC) 2006925113
(OCoLC)69983484
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Dima Grigoriev; J Harrison; Edward A Hirsch
ISBN: 9783540341680 3540341684 3540341668 9783540341666
OCLC Number: 262692353
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (xvi, 684 pages) : illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: Invited Papers.- Non-black-box Techniques in Cryptography.- Complexity of Polynomial Multiplication over Finite Fields.- Synchronous Elastic Circuits.- Theory Track.- SZK Proofs for Black-Box Group Problems.- Canonical Decomposition of a Regular Factorial Language.- Acyclic Bidirected and Skew-Symmetric Graphs: Algorithms and Structure.- Inductive Type Schemas as Functors.- Unfolding Synthesis of Asynchronous Automata.- Conjugacy and Equivalence of Weighted Automata and Functional Transducers.- Applications of the Linear Matroid Parity Algorithm to Approximating Steiner Trees.- Tuples of Disjoint NP-Sets.- Constructive Equivalence Relations on Computable Probability Measures.- Planar Dimer Tilings.- The Complexity of Equality Constraint Languages.- Window Subsequence Problems for Compressed Texts.- Efficient Algorithms in Zero-Characteristic for a New Model of Representation of Algebraic Varieties.- Relativisation Provides Natural Separations for Resolution-Based Proof Systems.- Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems.- Isolation and Reducibility Properties and the Collapse Result.- Incremental Branching Programs.- Logic of Proofs for Bounded Arithmetic.- On a Maximal NFA Without Mergible States.- Expressiveness of Metric Modalities for Continuous Time.- Extending Dijkstra's Algorithm to Maximize the Shortest Path by Node-Wise Limited Arc Interdiction.- Weighted Logics for Traces.- On Nonforgetting Restarting Automata That Are Deterministic and/or Monotone.- Unwinding a Non-effective Cut Elimination Proof.- Enumerate and Expand: Improved Algorithms for Connected Vertex Cover and Tree Cover.- Shannon Entropy vs. Kolmogorov Complexity.- Language Equations with Symmetric Difference.- On Primitive Recursive Realizabilities.- Evidence Reconstruction of Epistemic Modal Logic S5.- Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms.- On the Frequency of Letters in Morphic Sequences.- Functional Equations in Shostak Theories.- All Semi-local Longest Common Subsequences in Subquadratic Time.- Non-approximability of the Randomness Deficiency Function.- Multi-agent Explicit Knowledge.- Applications and Technology Track.- Polarized Subtyping for Sized Types.- Neural-Network Based Physical Fields Modeling Techniques.- Approximate Methods for Constrained Total Variation Minimization.- Dynamic Isoline Extraction for Visualization of Streaming Data.- Improved Technique of IP Address Fragmentation Strategies for DoS Attack Traceback.- Performance Comparison Between Backpropagation, Neuro-Fuzzy Network, and SVM.- Evolutionary Multi-objective Optimisation by Diversity Control.- 3D Facial Recognition Using Eigenface and Cascade Fuzzy Neural Networks: Normalized Facial Image Approach.- A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity.- Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition.- A Shortest Path Algorithm Based on Limited Search Heuristics.- A New Hybrid Directory Scheme for Shared Memory Multi-processors.- Manipulator Path Planning in 3-Dimensional Space.- Least Likely to Use: A New Page Replacement Strategy for Improving Database Management System Response Time.- Nonlinear Visualization of Incomplete Data Sets.- A Review of Race Detection Mechanisms.- Fuzzy-Q Knowledge Sharing Techniques with Expertness Measures: Comparison and Analysis.- Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics.- Analytic Modeling of Channel Traffic in n-Cubes.- Capturing an Intruder in the Pyramid.- Speech Enhancement in Short-Wave Channel Based on Empirical Mode Decomposition.- Extended Resolution Proofs for Conjoining BDDs.- Optimal Difference Systems of Sets with Multipliers.- Authentication Mechanism Using One-Time Password for 802.11 Wireless LAN.- Optimizing Personalized Retrieval System Based on Web Ranking.- Instruction Selection for ARM/Thumb Processors Based on a Multi-objective Ant Algorithm.- A New Flow Control Algorithm for High Speed Computer Network.- Nonlinear Systems Modeling and Control Using Support Vector Machine Technique.- Fast Motif Search in Protein Sequence Databases.
Series Title: Lecture notes in computer science, 3967.
Other Titles: First International Computer Science Symposium in Russia
International Computer Science Symposium in Russia
CSR 2006
Responsibility: Dima Grigoriev, John Harrison, Edward A. Hirsch (eds.).

Abstract:

This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. The 35 revised full theory papers and 29 revised application papers  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/262692353> # Computer science -- theory and applications : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006 : proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "262692353" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/341673224#Topic/computers_computer_literacy> ; # COMPUTERS--Computer Literacy
    schema:about <http://dewey.info/class/004/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/341673224#Topic/computers_information_technology> ; # COMPUTERS--Information Technology
    schema:about <http://experiment.worldcat.org/entity/work/data/341673224#Topic/computers_machine_theory> ; # COMPUTERS--Machine Theory
    schema:about <http://experiment.worldcat.org/entity/work/data/341673224#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/341673224#Topic/computers_reference> ; # COMPUTERS--Reference
    schema:about <http://experiment.worldcat.org/entity/work/data/341673224#Topic/computers_computer_science> ; # COMPUTERS--Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/341673224#Topic/computers_data_processing> ; # COMPUTERS--Data Processing
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/341673224#Topic/computers_hardware_general> ; # COMPUTERS--Hardware--General
    schema:about <http://experiment.worldcat.org/entity/work/data/341673224#Topic/informatique> ; # Informatique
    schema:alternateName "First International Computer Science Symposium in Russia" ;
    schema:alternateName "CSR 2006" ;
    schema:alternateName "International Computer Science Symposium in Russia" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/74496916> ; # Dima Grigoriev
    schema:contributor <http://viaf.org/viaf/115375740> ; # John Harrison
    schema:contributor <http://viaf.org/viaf/47985842> ; # Edward A. Hirsch
    schema:creator <http://experiment.worldcat.org/entity/work/data/341673224#Meeting/international_computer_science_symposium_in_russia_1st_2006_saint_petersburg_russia> ; # International Computer Science Symposium in Russia (1st : 2006 : Saint Petersburg, Russia)
    schema:datePublished "2006" ;
    schema:description ""The International Symposium on Computer Science in Russia (CSR 2006) was held on June 8-12, 2006 in St. Petersburg, Russia, hosted by the Steklov Institute of Mathematics at St. Petersburg.""@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/341673224> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9742> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/69983484> ;
    schema:name "Computer science -- theory and applications : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006 : proceedings"@en ;
    schema:productID "262692353" ;
    schema:url <http://www.myilibrary.com?id=138782> ;
    schema:url <http://dx.doi.org/10.1007/11753728> ;
    schema:url <http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3967> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=183574> ;
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/69983484.html> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3967> ;
    schema:url <http://site.ebrary.com/id/10530474> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/11753728> ;
    schema:url <http://link.springer.com/10.1007/11753728> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=3-540-34166-8> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/11753728> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/11753728> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3068222> ;
    schema:workExample <http://worldcat.org/isbn/9783540341666> ;
    schema:workExample <http://worldcat.org/isbn/9783540341680> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262692353> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/341673224#Meeting/international_computer_science_symposium_in_russia_1st_2006_saint_petersburg_russia> # International Computer Science Symposium in Russia (1st : 2006 : Saint Petersburg, Russia)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/341673224#Place/saint_petersburg_russia> ; # Saint Petersburg, Russia)
    schema:name "International Computer Science Symposium in Russia (1st : 2006 : Saint Petersburg, Russia)" ;
    .

<http://experiment.worldcat.org/entity/work/data/341673224#Place/saint_petersburg_russia> # Saint Petersburg, Russia)
    a schema:Place ;
    schema:name "Saint Petersburg, Russia)" ;
    .

<http://experiment.worldcat.org/entity/work/data/341673224#Topic/computers_computer_literacy> # COMPUTERS--Computer Literacy
    a schema:Intangible ;
    schema:name "COMPUTERS--Computer Literacy"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/341673224#Topic/computers_computer_science> # COMPUTERS--Computer Science
    a schema:Intangible ;
    schema:name "COMPUTERS--Computer Science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/341673224#Topic/computers_data_processing> # COMPUTERS--Data Processing
    a schema:Intangible ;
    schema:name "COMPUTERS--Data Processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/341673224#Topic/computers_hardware_general> # COMPUTERS--Hardware--General
    a schema:Intangible ;
    schema:name "COMPUTERS--Hardware--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/341673224#Topic/computers_information_technology> # COMPUTERS--Information Technology
    a schema:Intangible ;
    schema:name "COMPUTERS--Information Technology"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/341673224#Topic/computers_machine_theory> # COMPUTERS--Machine Theory
    a schema:Intangible ;
    schema:name "COMPUTERS--Machine Theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/341673224#Topic/computers_reference> # COMPUTERS--Reference
    a schema:Intangible ;
    schema:name "COMPUTERS--Reference"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/341673224#Topic/informatique> # Informatique
    a schema:Intangible ;
    schema:name "Informatique"@en ;
    schema:name "Informatique"@fr ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://link.springer.com/10.1007/11753728>
    rdfs:comment "View this e-book online" ;
    .

<http://viaf.org/viaf/115375740> # John Harrison
    a schema:Person ;
    schema:birthDate "1966" ;
    schema:familyName "Harrison" ;
    schema:givenName "John" ;
    schema:givenName "J." ;
    schema:name "John Harrison" ;
    .

<http://viaf.org/viaf/47985842> # Edward A. Hirsch
    a schema:Person ;
    schema:familyName "Hirsch" ;
    schema:givenName "Edward A." ;
    schema:name "Edward A. Hirsch" ;
    .

<http://viaf.org/viaf/74496916> # Dima Grigoriev
    a schema:Person ;
    schema:familyName "Grigoriev" ;
    schema:givenName "Dima" ;
    schema:name "Dima Grigoriev" ;
    .

<http://worldcat.org/isbn/9783540341666>
    a schema:ProductModel ;
    schema:isbn "3540341668" ;
    schema:isbn "9783540341666" ;
    .

<http://worldcat.org/isbn/9783540341680>
    a schema:ProductModel ;
    schema:isbn "3540341684" ;
    schema:isbn "9783540341680" ;
    .

<http://worldcat.org/issn/0302-9742> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262692353> ; # Computer science -- theory and applications : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006 : proceedings
    schema:issn "0302-9742" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/69983484>
    a schema:CreativeWork ;
    rdfs:label "Computer science -- theory and applications." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262692353> ; # Computer science -- theory and applications : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/262692353>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/262692353> ; # Computer science -- theory and applications : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006 : proceedings
    schema:dateModified "2018-01-05" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.