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.
Graph-theoretic concepts in computer science [electronic resource] : 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011 : revised papers / Petr Kolman, Jan Kratochvíl (eds.).
Graph-theoretic concepts in computer science [electronic resource] : 37th International Workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011 : revised papers / Petr Kolman, Jan Kratochvíl (eds.).
Creatore [International Workshop WG (37th : 2011 : Teplá, Czech Republic)]
Estensione 1 online resource (xi, 344 p.) : ill. (some col.
Disciplina 511/.5
Accesso persona Kolman, Petr
Kratochvíl, Jan.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Data structures (Computer science)
Computer software
Computational complexity
Algorithms
Geometry
Discrete Mathematics in Computer Science
Algorithm Analysis and Problem Complexity
Data Structures
ISBN 9783642258701 (electronic bk.)
3642258700 (electronic bk.)
9783642258695
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960090133503681
[International Workshop WG (37th : 2011 : Teplá, Czech Republic)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Computer safety, reliability, and security [electronic resource] : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings / Frank Ortmeier, Peter Daniel (eds.).
Computer safety, reliability, and security [electronic resource] : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings / Frank Ortmeier, Peter Daniel (eds.).
Creatore [SAFECOMP 2012 (2012 : Magdeburg, Germany)]
Estensione 1 online resource.
Disciplina 005
Accesso persona Ortmeier, Frank
Daniel, Peter, 1950-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Data protection
Computer software
Systems and Data Security
Algorithm Analysis and Problem Complexity
Computers and Society
Special Purpose and Application-Based Systems
ISBN 9783642336782 (electronic bk.)
3642336787 (electronic bk.)
9783642336775
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Lightweight Methodology for Safety Case Assembly / Ewen Denney and Ganesh Pai -- A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production / André Alexandersen Hauge and Ketil Stølen -- Risk Assessment for Airworthiness Security / Silvia Gil Casals, Philippe Owezarski and Gilles Descargues -- A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations , / Christoph Läsche, Eckard Böde and Thomas Peikenkamp -- Risk Analysis and Software Integrity Protection for 4G Network Elements in ASMONIA / Manfred Schäfer -- Applying Industrial-Strength Testing Techniques to Critical Care Medical Equipment / Christoph Woskowski -- Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components, / Viacheslav Izosimov, Urban Ingelsson and Andreas Wallin -- Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile / Jan Krause, Elke Hintze, Stephan Magnus and Christian Diedrich -- Quantification of Priority-OR Gates in Temporal Fault Trees / Ernest Edifor, Martin Walker and Neil Gordon --
Cross-Level Compositional Reliability Analysis for Embedded Systems / Michael Gla€, Heng Yu, Felix Reimann and Jürgen Teich -- IT-Forensic Automotive Investigations on the Example of Route Reconstruction on Automotive System and Communication Data / Tobias Hoppe, Sven Kuhlmann, Stefan Kiltz and Jana Dittmann -- Towards an IT Security Protection Profile for Safety-Related Communication in Railway Automation / Hans-Hermann Bock, Jens Braband, Birgit Milius and Hendrik Schäbe -- Towards Secure Fieldbus Communication / Felix Wieczorek, Christoph Krau€, Frank Schiller and Claudia Eckert -- Extracting EFSMs of Web Applications for Formal Requirements Specification / Andrey Zakonov and Anatoly Shalyto -- An Ontological Approach to Systematization of SW-FMEA / Irene Bicchierai, Giacomo Bucci, Carlo Nocentini and Enrico Vicario -- Online Black-Box Failure Prediction for Mission Critical Distributed Systems / Roberto Baldoni, Giorgia Lodi, Luca Montanari, Guido Mariotta and Marco Rizzuto -- On the Impact of Hardware Faults - An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions / Domenico Di Leo, Fatemeh Ayatolahi, Behrooz Sangchoolie, Johan Karlsson and Roger Johansson --
Formal Development and Assessment of a Reconfigurable On-board Satellite System / Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Timo Latvala and Laura Nummila -- Impact of Soft Errors in a Jet Engine Controller / Olof Hannius and Johan Karlsson -- Which Automata for Which Safety Assessment Step of Satellite FDIR? / Ludovic Pintard, Christel Seguin and Jean-Paul Blanquart -- A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context / Carl Bergenhem, Rolf Johansson and Henrik Lönn -- Reviewing Software Models in Compliance with ISO 26262 / Ingo Stürmer, Elke Salecker and Hartmut Pohlheim -- Software Architecture of a Safety-Related Actuator in Traffic Management Systems / Thomas Novak and Christoph Stoegerer -- Approximate Reliability Algebra for Architecture Optimization / Philipp Helle, Michael Masin and Lev Greenberg -- On the Formal Verification of Systems of Synchronous Software Components / Henning Günther, Stefan Milius and Oliver Möller --
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments / Anaheed Ayoub, BaekGyu Kim, Insup Lee and Oleg Sokolsky -- Determining Potential Errors in Tool Chains: Strategies to Reach Tool Confidence According to ISO 26262 / Martin Wildmoser, Jan Philipps and Oscar Slotosch -- Safety-Focused Deployment Optimization in Open Integrated Architectures / Bastian Zimmer, Susanne Bürklen, Jens Höfflinger, Mario Trapp and Peter Liggesmeyer -- Qualifying Software Tools, a Systems Approach / Fredrik Asplund, Jad El-khoury and Martin Törngren -- Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems / Rosana T. Vaccare Braga, Onofre Trindade Junior, Kalinka Regina Castelo Branco, Luciano De Oliveira Neris and Jaejoon Lee -- Combining Failure Mode and Functional Resonance Analyses in Healthcare Settings / Mark-Alexander Sujan and Massimo Felici -- A STAMP Analysis on the China-Yongwen Railway Accident / Tian Song, Deming Zhong and Hang Zhong -- Efficient Software Component Reuse in Safety-Critical Systems - An Empirical Study / Rikard Land, Mikael Åkerholm and Jan Carlson.
Record Nr. UPENN-9960099773503681
[SAFECOMP 2012 (2012 : Magdeburg, Germany)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Runtime verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings / Axel Legay, Saddek Bensalem (eds.).
Runtime verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings / Axel Legay, Saddek Bensalem (eds.).
Creatore [RV (Conference) (4th : 2013 : Rennes, France)]
Estensione 1 online resource (xvii, 426 pages)
Disciplina 005.1/4
Accesso persona Legay, Axel, editor of compilation
Bensalem, Saddek, editor of compilation
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Computer software
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642407871 (electronic bk.)
3642407870 (electronic bk.)
3642407862 (print)
9783642407864 (print)
9783642407864
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960998233503681
[RV (Conference) (4th : 2013 : Rennes, France)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Discovery science [electronic resource] : 14th International Conference, DS 2011, Espoo, Finland, October 5-7, 2011 : proceedings / Tapio Elomaa, Jaakko Hollmén, Heikki Mannila (eds.).
Discovery science [electronic resource] : 14th International Conference, DS 2011, Espoo, Finland, October 5-7, 2011 : proceedings / Tapio Elomaa, Jaakko Hollmén, Heikki Mannila (eds.).
Creatore [International Conference on Discovery Science (14th : 2011 : Espoo, Finland)]
Estensione 1 online resource (xiii, 379 p.) : ill. (some col.
Disciplina 501
Accesso persona Elomaa, Tapio, 1963-
Hollmén, Jaakko
Mannila, Heikki
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Database management
Data mining
Information storage and retrieval systems
Artificial intelligence
Artificial Intelligence (incl. Robotics)
Information Storage and Retrieval
Information Systems Applications (incl. Internet)
Data Mining and Knowledge Discovery
Algorithm Analysis and Problem Complexity
ISBN 9783642244773 (electronic bk.)
3642244777 (electronic bk.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960086613503681
[International Conference on Discovery Science (14th : 2011 : Espoo, Finland)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Advances in bioinformatics and computational biology [electronic resource] : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings / Marcilio C. P. de Souto, Maricel G. Kann (eds.).
Advances in bioinformatics and computational biology [electronic resource] : 7th Brazilian Symposium on Bioinformatics, BSB 2012, Campo Grande, Brazil, August 15-17, 2012. Proceedings / Marcilio C. P. de Souto, Maricel G. Kann (eds.).
Creatore [Brazilian Symposium on Bioinformatics (7th : 2012 : Campo Grande (Mato Grosso do Sul), Brazil)]
Estensione 1 online resource (xii, 204 p.) : ill
Disciplina 570.285
Accesso persona Souto, Marcilio C. P. de.
Kann, Maricel G.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Database management
Artificial intelligence
Optical pattern recognition
Bioinformatics
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Computational Biology/Bioinformatics
ISBN 9783642319273 (electronic bk.)
3642319270 (electronic bk.)
9783642319266
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Transposition Diameter and Lonely Permutations / Luís Felipe I. Cunha, Luis Antonio B. Kowada, Rodrigo de A. Hausen and Celina M. H. de Figueiredo -- Extending the Algebraic Formalism for Genome Rearrangements to Include Linear Chromosomes / Pedro Feijao and Joao Meidanis -- On the Approximation Ratio of Algorithms for Sorting by Transpositions without Using Cycle Graphs / Gustavo Rodrigues Galvão and Zanoni Dias -- A Comparison of Three Heuristic Methods for Solving the Parsing Problem for Tandem Repeats / A. A. Matroud, C. P. Tuffley, D. Bryant and M. D. Hendy -- RNA Folding Algorithms with G-Quadruplexes / Ronny Lorenz, Stephan H. Bernhart, Fabian Externbrink, Jing Qin and Christian Höner zu Siederdissen, et al. -- Molecular Dynamics for Simulating the Protein Folding Process Using the 3D AB Off-Lattice Model / César Manuel Vargas Benítez and Heitor Silvério Lopes -- A Bioconductor Based Workflow for Z-DNA Region Detection and Biological Inference / Halian Vilela, Tainá Raiol, Andrea Queiroz Maranhão, Maria Emília Walter and Marcelo M. Brígido -- A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na+/K+-ATPase / Fernando A. F. Braz, Jader S. Cruz, Alessandra C. Faria-Campos and Sérgio V. A. Campos -- RFMirTarget: A Random Forest Classifier for Human miRNA Target Gene Prediction / Mariana R. Mendoza, Guilherme C. da Fonseca, Guilherme L. de Morais, Ronnie Alves and Ana L. C. Bazzan, et al. --
Prediction of Transcription Factor Binding Sites by Integrating DNase Digestion and Histone Modification / Eduardo G. Gusmão, Christoph Dieterich and Ivan G. Costa -- Evaluating Correlation Coefficients for Clustering Gene Expression Profiles of Cancer / Pablo A. Jaskowiak, Ricardo J. G. B. Campello and Ivan G. Costa -- Associating Genotype Sequence Properties to Haplotype Inference Errors / Rogério S. Rosa, Rafael H. S. Santos and Katia S. Guimarães -- Design and Implementation of ProteinWorldDB / Sérgio Lifschitz, Carlos Juliano M. Viana, Cristian Tristão, Marcos Catanho and Wim M. Degrave, et al. -- A Comparative Analysis of Public Ligand Databases Based on Molecular Descriptors / Ana T. Winck, Christian V. Quevedo, Karina S. Machado, Osmar Norberto de Souza and Duncan D. Ruiz -- Phylogenetic Distance Computation Using CUDA / Wellington S. Martins, Thiago F. Rangel, Divino C. S. Lucas, Elias B. Ferreira and Edson N. Caceres -- Exploring Molecular Evolution Reconstruction Using a Parallel Cloud Based Scientific Workflow / Kary A. C. S. Ocaña, Daniel de Oliveira, Felipe Horta, Jonas Dias and Eduardo Ogasawara, et al. -- How Bioinformatics Enables Livestock Applied Sciences in the Genomic Era / José Fernando Garcia, Adriana Santana do Carmo, Yuri Tani Utsunomiya, Haroldo Henrique de Rezende Neves and Roberto Carvalheiro, et al.
Record Nr. UPENN-9960097933503681
[Brazilian Symposium on Bioinformatics (7th : 2012 : Campo Grande (Mato Grosso do Sul), Brazil)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Selected areas in cryptography [electronic resource] : 18th International Workshop, SAC 2011, Toronto, ON, Canada, August 11-12, 2011, Revised selected papers / Ali Miri, Serge Vaudenay (eds.).
Selected areas in cryptography [electronic resource] : 18th International Workshop, SAC 2011, Toronto, ON, Canada, August 11-12, 2011, Revised selected papers / Ali Miri, Serge Vaudenay (eds.).
Creatore [SAC (Conference) (18th : 2011 : Toronto, Ont.)]
Estensione 1 online resource (xiii, 430 p.)
Disciplina 005.8/2
Accesso persona Miri, Ali.
Vaudenay, Serge
Genere/Forma Electronic books
Soggetto non controllato Computer Communication Networks
Data protection
Data encryption (Computer science)
Computer software
Systems and Data Security
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
Computer Imaging, Vision, Pattern Recognition and Graphics
ISBN 9783642284960 (electronic bk.)
3642284965 (electronic bk.)
3642284957
9783642284953
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Boomerang Distinguishers on MD4-Family: First Practical Results on Full 5-Pass HAVAL -- Improved Analysis of ECHO-256 -- Provable Chosen-Target-Forced-Midfix Preimage Resistance -- On CCA-Secure Somewhat Homomorphic Encryption -- Efficient Schemes for Anonymous Yet Authorized and Bounded Use of Cloud Resources -- Group Law Computations on Jacobians of Hyperelliptic Curves -- Cryptographic Analysis of All 4 x 4-Bit S-Boxes -- The Cryptographic Power of Random Selection -- Proof of Empirical RC4 Biases and New Key Correlations -- Combined Differential and Linear Cryptanalysis of Reduced-Round PRINTcipher -- Practical Attack on the Full MMB Block Cipher -- Conditional Differential Cryptanalysis of Trivium and KATAN -- Some Instant- and Practical-Time Related-Key Attacks on KTANTAN32/48/64 -- Analysis of the Initial and Modified Versions of the Candidate 3GPP Integrity Algorithm 128-EIA3 -- New Insights on Impossible Differential Cryptanalysis -- A Unified Framework for Small Secret Exponent Attack on RSA -- Very Compact Hardware Implementations of the Blockcipher CLEFIA -- Another Look at Tightness -- Duplexing the Sponge: Single-Pass Authenticated Encryption and Other Applications -- Blockcipher-Based Double-Length Hash Functions for Pseudorandom Oracles -- ASC-1: An Authenticated Encryption Stream Cipher -- On Various Families of Twisted Jacobi Quartics -- Improved Three-Way Split Formulas for Binary Polynomial Multiplication -- Sublinear Scalar Multiplication on Hyperelliptic Koblitz Curves -- Faster Hashing to \mathbb G2G2.
Record Nr. UPENN-9960092453503681
[SAC (Conference) (18th : 2011 : Toronto, Ont.)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Theory and practice of natural computing [electronic resource] : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Theory and practice of natural computing [electronic resource] : first International Conference, TPNC 2012, Tarragona, Spain, October 2-4, 2012. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe
Creatore [TPNC (Conference) (1st : 2012 : Tarragona, Spain)]
Estensione 1 online resource.
Disciplina 004/.3
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
Truthe, Bianca
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Artificial intelligence
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Information Systems Applications (incl. Internet)
ISBN 9783642338601 (electronic bk.)
3642338607 (electronic bk.)
9783642338595
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Hybrid Metaheuristics in Combinatorial Optimization: A Tutorial / Christian Blum -- Theory and Applications of DNA Codeword Design / Max H. Garzon -- Scalable Neuroevolution for Reinforcement Learning / Faustino Gomez -- Differential Evolution Algorithm: Recent Advances / Ponnuthurai Nagaratnam Suganthan -- The Fragility of Quantum Information? / Barbara M. Terhal -- Computational Intelligence in Astronomy - A Win-Win Situation / Peter Tiňo and Somak Raychaudhury -- A Multi-objective Approach to Solve the Location Areas Problem / Víctor Berrocal-Plaza, Miguel A. Vega-Rodríguez, Juan M. Sánchez-Pérez and Juan A. Gómez-Pulido -- Nature-Inspired Algorithms Applied to an Efficient and Self-adaptive Resources Selection Model for Grid Applications / María Botón-Fernández, Francisco Prieto Castrillo and Miguel A. Vega-Rodríguez -- Attacks on Fixed Apparatus Quantum Key Distribution Schemes / Michel Boyer, Ran Gelles and Tal Mor -- Cellular Automaton Based Motion Planning Algorithms for Mobile Sensor Networks / Salimur Choudhury, Kai Salomaa and Selim G. Akl --
An Easy Automata Based Algorithm for Testing Coding Properties of Infinite Sets of (DNA) Words / Michelangelo Cianciulli, Rocco Zaccagnino and Rosalba Zizza -- On the Security of Interferometric Quantum Key Distribution / Ran Gelles and Tal Mor -- Generating DNA Code Words Using Forbidding and Enforcing Systems / Daniela Genova and Kalpana Mahalingam -- Wolbachia Infection Improves Genetic Algorithms as Optimization Procedure / Mauricio Guevara-Souza and Edgar E. Vallejo -- Neural Networks Solving Free Final Time Optimal Control Problem / Tibor Kmet and Maria Kmetova -- Comparing Different Operators and Models to Improve a Multiobjective Artificial Bee Colony Algorithm for Inferring Phylogenies / Sergio Santander-Jiménez, Miguel A. Vega-Rodríguez, Juan A. Gómez-Pulido and Juan M. Sánchez-Pérez -- Tissue P Systems with Cell Separation: Upper Bound by PSPACE / Petr Sosík and Luděk Cienciala -- Maze Exploration with Molecular-Scale Walkers / Darko Stefanovic.
Record Nr. UPENN-9960101163503681
[TPNC (Conference) (1st : 2012 : Tarragona, Spain)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Graph Theory and Algorithms [electronic resource] : 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980. Proceedings / by N. Saito, T. Nishizeki
Graph Theory and Algorithms [electronic resource] : 17th Symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980. Proceedings / by N. Saito, T. Nishizeki
Creatore [Saito, N.]
Accesso persona Nishizeki, T.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
ISBN 9783540107040
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7353867
[Saito, N.]  
Software
Lo trovi qui: University of Chicago
Mathematical Foundations of Computer Science 1981 [electronic resource] : 10th Symposium Strbske Pleso, Czechoslovakia, August 31- September 4, 1981. Proceedings / by J. Gruska, M. Chytil
Mathematical Foundations of Computer Science 1981 [electronic resource] : 10th Symposium Strbske Pleso, Czechoslovakia, August 31- September 4, 1981. Proceedings / by J. Gruska, M. Chytil
Creatore [Gruska, J.]
Accesso persona Chytil, M.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
ISBN 9783540108566
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7353877
[Gruska, J.]  
Software
Lo trovi qui: University of Chicago
Algorithms in Modern Mathematics and Computer Science [electronic resource] : Proceedings, Urgench, Uzbek SSR September 16-22, 1979 / by A. P. Ershov, D. E. Knuth
Algorithms in Modern Mathematics and Computer Science [electronic resource] : Proceedings, Urgench, Uzbek SSR September 16-22, 1979 / by A. P. Ershov, D. E. Knuth
Creatore [Ershov, A. P.]
Accesso persona Knuth, D. E.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
ISBN 9783540111573
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7353883
[Ershov, A. P.]  
Software
Lo trovi qui: University of Chicago