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.
Brookings trade forum
| Brookings trade forum |
| Pubbl/distr/stampa | Washington, D.C. : , : Brookings Institution Press, , [1998]- |
| Disciplina | 382 |
| Soggetto topico |
International trade
International economic relations International Economics Außenhandel Handelspolitiek |
| Soggetto genere / forma |
Periodicals.
Kongress. |
| ISSN | 1534-0635 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Trade forum |
| Record Nr. | UNISA-996218564803316 |
| Washington, D.C. : , : Brookings Institution Press, , [1998]- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Brookings trade forum
| Brookings trade forum |
| Pubbl/distr/stampa | Washington, D.C. : , : Brookings Institution Press, , [1998]- |
| Disciplina | 382 |
| Soggetto topico |
International trade
International economic relations International Economics Außenhandel Handelspolitiek |
| Soggetto genere / forma |
Periodicals.
Kongress. |
| ISSN | 1534-0635 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Trade forum |
| Record Nr. | UNINA-9910133982603321 |
| Washington, D.C. : , : Brookings Institution Press, , [1998]- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cloud Computing [[electronic resource] ] : First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009, Proceedings / / edited by Martin Gilje Jaatun, Gansen Zhao, Chunming Rong
| Cloud Computing [[electronic resource] ] : First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009, Proceedings / / edited by Martin Gilje Jaatun, Gansen Zhao, Chunming Rong |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XX, 707 p.) |
| Disciplina | 004.67/82 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Computer organization Computer system failures Computer software—Reusability Architecture, Computer Software engineering Computer Communication Networks Computer Systems Organization and Communication Networks System Performance and Evaluation Performance and Reliability Computer System Implementation Software Engineering/Programming and Operating Systems |
| Soggetto genere / forma |
Kongress.
Online-Publikation Peking (2009) |
| ISBN | 3-642-10665-X |
| Classificazione |
DAT 060f
DAT 250f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- The Many Colors and Shapes of Cloud -- Biomedical Case Studies in Data Intensive Computing -- An Industrial Cloud: Integrated Operations in Oil and Gas in the Norwegian Continental Shelf -- Cloudbus Toolkit for Market-Oriented Cloud Computing -- Full Papers -- Self-healing and Hybrid Diagnosis in Cloud Computing -- Snow Leopard Cloud: A Multi-national Education Training and Experimentation Cloud and Its Security Challenges -- Trust Model to Enhance Security and Interoperability of Cloud Environment -- Dynamic Malicious Code Detection Based on Binary Translator -- A Privacy Manager for Cloud Computing -- Privacy in a Semantic Cloud: What’s Trust Got to Do with It? -- Data Protection-Aware Design for Cloud Services -- Accountability as a Way Forward for Privacy Protection in the Cloud -- Towards an Approach of Semantic Access Control for Cloud Computing -- Identity-Based Authentication for Cloud Computing -- Strengthen Cloud Computing Security with Federal Identity Management Using Hierarchical Identity-Based Cryptography -- Availability Analysis of a Scalable Intrusion Tolerant Architecture with Two Detection Modes -- Data Center Consolidation: A Step towards Infrastructure Clouds -- Decentralized Service Allocation in a Broker Overlay Based Grid -- DisTec: Towards a Distributed System for Telecom Computing -- Cloud Computing Boosts Business Intelligence of Telecommunication Industry -- Composable IO: A Novel Resource Sharing Platform in Personal Clouds -- SLA-Driven Adaptive Resource Management for Web Applications on a Heterogeneous Compute Cloud -- Cost of Virtual Machine Live Migration in Clouds: A Performance Evaluation -- Cloud-Oriented Virtual Machine Management with MLN -- A Systematic Process for Developing High Quality SaaS Cloud Services -- Cloud Computing Service Composition and Search Based on Semantic -- Deploying Mobile Computation in Cloud Service -- A Novel Method for Mining SaaS Software Tag via Community Detection in Software Services Network -- Retrieving and Indexing Spatial Data in the Cloud Computing Environment -- Search Engine Prototype System Based on Cloud Computing -- Distributed Structured Database System HugeTable -- Cloud Computing: A Statistics Aspect of Users -- An Efficient Cloud Computing-Based Architecture for Freight System Application in China Railway -- Web Server Farm in the Cloud: Performance Evaluation and Dynamic Architecture -- SPECI, a Simulation Tool Exploring Cloud-Scale Data Centres -- CloudWF: A Computational Workflow System for Clouds Based on Hadoop -- A Novel Multipath Load Balancing Algorithm in Fat-Tree Data Center -- Scheduling Active Services in Clustered JBI Environment -- Task Parallel Scheduling over Multi-core System -- Cost-Minimizing Scheduling of Workflows on a Cloud of Memory Managed Multicore Machines -- Green Cloud on the Horizon -- Industrial Cloud: Toward Inter-enterprise Integration -- Community Cloud Computing -- A Semantic Grid Oriented to E-Tourism -- Irregular Community Discovery for Social CRM in Cloud Computing -- A Contextual Information Acquisition Approach Based on Semantics and Mashup Technology -- Evaluating MapReduce on Virtual Machines: The Hadoop Case -- APFA: Asynchronous Parallel Finite Automaton for Deep Packet Inspection in Cloud Computing -- Short Papers -- Secure Document Service for Cloud Computing -- Privacy of Value-Added Context-Aware Service Cloud -- A Simple Technique for Securing Data at Rest Stored in a Computing Cloud -- Access Control of Cloud Service Based on UCON -- Replica Replacement Strategy Evaluation Based on Grid Locality -- Performance Evaluation of Cloud Service Considering Fault Recovery -- BlueSky Cloud Framework: An E-Learning Framework Embracing Cloud Computing -- Cloud Infrastructure & Applications – CloudIA -- One Program Model for Cloud Computing -- Enterprise Cloud Architecture for Chinese Ministry of Railway -- Research on Cloud Computing Based on Deep Analysis to Typical Platforms -- Automatic Construction of SP Problem-Solving Resource Space -- An Idea of Special Cloud Computing in Forest Pests’ Control -- IBM Cloud Computing Powering a Smarter Planet -- Cloud Computing: An Overview -- Integrating Cloud-Computing-Specific Model into Aircraft Design -- Towards a Theory of Universally Composable Cloud Computing -- A Service-Oriented Qos-Assured and Multi-Agent Cloud Computing Architecture -- Price-Oriented Trading Optimization for Grid Resource -- A Requirements Recommendation Method Based on Service Description -- Extending YML to Be a Middleware for Scientific Cloud Computing -- Power-Aware Management in Cloud Data Centers -- Parallel K-Means Clustering Based on MapReduce -- Storage and Retrieval of Large RDF Graph Using Hadoop and MapReduce -- Distributed Scheduling Extension on Hadoop -- A Data Distribution Aware Task Scheduling Strategy for MapReduce System -- Cloud Computing Based Internet Data Center. |
| Record Nr. | UNISA-996465582703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coding and Cryptology [[electronic resource] ] : Second International Workshop, IWCC 2009 / / edited by Yeow Meng Chee, Chao Li, San Ling, Huaxiong Wang, Chaoping Xing
| Coding and Cryptology [[electronic resource] ] : Second International Workshop, IWCC 2009 / / edited by Yeow Meng Chee, Chao Li, San Ling, Huaxiong Wang, Chaoping Xing |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VIII, 275 p.) |
| Disciplina | 005.82 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Coding theory Information theory Computer science—Mathematics Computer communication systems Cryptology Coding and Information Theory Discrete Mathematics in Computer Science Computer Communication Networks |
| Soggetto genere / forma |
Kongress.
Zhangjiajie (2009) |
| ISBN | 3-642-01877-7 |
| Classificazione |
DAT 465f
DAT 580f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Infinite Class of Balanced Vectorial Boolean Functions with Optimum Algebraic Immunity and Good Nonlinearity -- Separation and Witnesses -- Binary Covering Arrays and Existentially Closed Graphs -- A Class of Three-Weight and Four-Weight Codes -- Equal-Weight Fingerprinting Codes -- Problems on Two-Dimensional Synchronization Patterns -- A New Client-to-Client Password-Authenticated Key Agreement Protocol -- Elliptic Twin Prime Conjecture -- Hunting for Curves with Many Points -- List Decoding of Binary Codes–A Brief Survey of Some Recent Results -- Recent Developments in Low-Density Parity-Check Codes -- On the Applicability of Combinatorial Designs to Key Predistribution for Wireless Sensor Networks -- On Weierstrass Semigroups of Some Triples on Norm-Trace Curves -- ERINDALE: A Polynomial Based Hashing Algorithm -- A Survey of Algebraic Unitary Codes -- New Family of Non-Cartesian Perfect Authentication Codes -- On the Impossibility of Strong Encryption Over -- Minimum Distance between Bent and Resilient Boolean Functions -- Unconditionally Secure Approximate Message Authentication -- Multiplexing Realizations of the Decimation-Hadamard Transform of Two-Level Autocorrelation Sequences -- On Cayley Graphs, Surface Codes, and the Limits of Homological Coding for Quantum Error Correction. |
| Record Nr. | UNISA-996465845203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Combinatorial Image Analysis [[electronic resource] ] : 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009, Proceedings / / edited by Petra Wiederhold, Reneta P. Barneva
| Combinatorial Image Analysis [[electronic resource] ] : 13th International Workshop, IWCIA 2009, Playa del Carmen, Mexico, November 24-27, 2009, Proceedings / / edited by Petra Wiederhold, Reneta P. Barneva |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XV, 437 p.) |
| Disciplina | 004n/a |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Optical data processing
Computer programming Computers Pattern recognition Computer graphics Algorithms Image Processing and Computer Vision Programming Techniques Theory of Computation Pattern Recognition Computer Graphics Algorithm Analysis and Problem Complexity |
| Soggetto genere / forma |
Kongress.
Playa del Carmen (2009) |
| ISBN | 3-642-10210-7 |
| Classificazione |
DAT 756f
DAT 760f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Digital Circularity and Its Applications -- Digital Geometry - Curves, Straightness, and Convexity -- On the Convex Hull of the Integer Points in a Bi-circular Region -- Multi-primitive Analysis of Digital Curves -- What Does Digital Straightness Tell about Digital Convexity? -- Digital Geometry - Geometric Transformations, Metrics, Distance Transforms, and Skeletons -- Hierarchical Discrete Medial Axis for Sphere-Tree Construction -- Quasi-Affine Transformation in 3-D: Theory and Algorithms -- Farey Sequences and the Planar Euclidean Medial Axis Test Mask -- Neighborhood Sequences on nD Hexagonal/Face-Centered-Cubic Grids -- Neighborhood Sequences in the Diamond Grid – Algorithms with Four Neighbors -- Hinge Angles for 3D Discrete Rotations -- Segmentation, Thinning and Skeletonization -- Surface Thinning in 3D Cubical Complexes -- A General Bayesian Markov Random Field Model for Probabilistic Image Segmentation -- An Order–Independent Sequential Thinning Algorithm -- Blurred Segments in Gray Level Images for Interactive Line Extraction -- Multi-scale Analysis of Discrete Contours for Unsupervised Noise Detection -- Sub-pixel Segmentation with the Image Foresting Transform -- Image Representation, Processing, Analysis, Reconstruction and Recognition - Algorithms and Applications -- Phase-Correlation Guided Search for Realtime Stereo Vision -- PCIF: An Algorithm for Lossless True Color Image Compression -- Ego-Vehicle Corridors for Vision-Based Driver Assistance -- Adaptive Pixel Resizing for Multiscale Recognition and Reconstruction -- Contour Reconstruction for Multiple 2D Regions Based on Adaptive Boundary Samples -- Digital Tomography -- Reconstruction of Canonical hv-Convex Discrete Sets from Horizontal and Vertical Projections -- About the Complexity of Timetables and 3-Dimensional Discrete Tomography: A Short Proof of NP-Hardness -- Image Models Based on Geometry, Combinatorics, Arithmetics, Algebra, Mathematical Morphology, Topology and Grammars -- Theoretical Issues of Cluster Pattern Interfaces -- ?-Arithmetization: A Discrete Multi-resolution Representation of Real Functions -- Tree-Based Encoding for Cancellations on Morse Complexes -- Parallel Contextual Hexagonal Array Grammars and Languages -- Connected Viscous Filters -- Signatures of Combinatorial Maps -- Digital Topology and its Applications to Image Modeling and Analysis -- Using Membrane Computing for Obtaining Homology Groups of Binary 2D Digital Images -- Collapses and Watersheds in Pseudomanifolds -- The Inscribed Square Conjecture in the Digital Plane -- Convenient Closure Operators on . |
| Record Nr. | UNISA-996466360803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Comparative Genomics [[electronic resource] ] : International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009, Proceedings / / edited by Francesca D. Ciccarelli, István Miklós
| Comparative Genomics [[electronic resource] ] : International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009, Proceedings / / edited by Francesca D. Ciccarelli, István Miklós |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VIII, 241 p.) |
| Disciplina | 570 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Life sciences
Bioinformatics Bioinformatics Computational biology Computer science—Mathematics Life Sciences, general Computational Biology/Bioinformatics Computer Appl. in Life Sciences Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science |
| Soggetto genere / forma |
Budapest (2009)
Kongress. |
| ISBN | 3-642-04744-0 |
| Classificazione |
BIO 110f
BIO 180f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Yeast Ancestral Genome Reconstructions: The Possibilities of Computational Methods -- Natural Parameter Values for Generalized Gene Adjacency -- Parking Functions, Labeled Trees and DCJ Sorting Scenarios -- Counting All DCJ Sorting Scenarios -- Minimal Conflicting Sets for the Consecutive Ones Property in Ancestral Genome Reconstruction -- Finding Nested Common Intervals Efficiently -- DCJ Median Problems on Linear Multichromosomal Genomes: Graph Representation and Fast Exact Solutions -- Rearrangement Models and Single-Cut Operations -- Aligning Two Genomic Sequences That Contain Duplications -- Inferring the Recent Duplication History of a Gene Cluster -- Pseudo Boolean Programming for Partially Ordered Genomes -- Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization -- Reconstructing Histories of Complex Gene Clusters on a Phylogeny -- Co-evolutionary Models for Reconstructing Ancestral Genomic Sequences: Computational Issues and Biological Examples -- Whole-Genome Analysis of Gene Conversion Events -- A Statistically Fair Comparison of Ancestral Genome Reconstructions, Based on Breakpoint and Rearrangement Distances -- Comparative Genomics and Extensive Recombinations in Phage Communities -- Properties of Sequence Conservation in Upstream Regulatory and Protein Coding Sequences among Paralogs in Arabidopsis thaliana -- Transcription Factor Binding Probabilities in Orthologous Promoters: An Alignment-Free Approach to the Inference of Functional Regulatory Targets. |
| Record Nr. | UNISA-996465660703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Component-Based Software Engineering [[electronic resource] ] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister
| Component-Based Software Engineering [[electronic resource] ] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 275 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer software—Reusability Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Performance and Reliability Logics and Meanings of Programs |
| Soggetto genere / forma | Kongress. |
| ISBN | 3-642-02414-9 |
| Classificazione |
DAT 315f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component Models: Taxonomies and Applications -- On Component Identification Approaches – Classification, State of the Art, and Comparison -- Domain-Specific Software Component Models -- A Model-Driven Engineering Framework for Component Models Interoperability -- Component Integration: Patterns and Profiling -- Process Patterns for Component-Based Software Development -- Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support -- Extracting Behavior Specification of Components in Legacy Applications -- Towards Dynamic Component Isolation in a Service Oriented Platform -- Communication and Composition -- Control Encapsulation: A Calculus for Exogenous Composition of Software Components -- Component Specification Using Event Classes -- Integrating Functional and Architectural Views of Reactive Systems -- Extra-Functional Analysis -- Integration of Extra-Functional Properties in Component Models -- Modelling Layered Component Execution Environments for Performance Prediction -- Component-Based Real-Time Operating System for Embedded Applications -- Components within the Development Life Cycle -- Services + Components = Data Intensive Scientific Workflow Applications with MeDICi -- Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations -- Unit Testing of Software Components with Inter-component Dependencies. |
| Record Nr. | UNISA-996465527303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / / edited by Jürgen Dix, Michael Fisher, Peter Novák
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / / edited by Jürgen Dix, Michael Fisher, Peter Novák |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 197 p. 40 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer communication systems Software engineering Application software Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Computer Communication Networks Software Engineering Information Systems Applications (incl. Internet) Logics and Meanings of Programs |
| Soggetto genere / forma | Kongress. |
| ISBN |
1-280-39027-1
9786613568199 3-642-16867-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Planning for Multiagent Using ASP-Prolog -- Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL -- Reasoning about Multi-agent Domains Using Action Language : A Preliminary Study -- Model Checking Normative Agent Organisations -- Operational Semantics for BDI Modules in Multi-agent Programming -- InstQL: A Query Language for Virtual Institutions Using Answer Set Programming -- Interacting Answer Sets -- Argumentation-Based Preference Modelling with Incomplete Information -- A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier -- On the Implementation of Speculative Constraint Processing. |
| Record Nr. | UNISA-996465689803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Logic in Multi-Agent Systems [[electronic resource] ] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / / edited by Michael Fisher, Fariba Sadri, Michael Thielscher
| Computational Logic in Multi-Agent Systems [[electronic resource] ] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / / edited by Michael Fisher, Fariba Sadri, Michael Thielscher |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (IX, 173 p.) |
| Disciplina | 004n/a |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Mathematical logic
Computer logic Computers Data structures (Computer science) Computer science—Mathematics Mathematical Logic and Formal Languages Logics and Meanings of Programs Theory of Computation Data Structures and Information Theory Mathematics of Computing Models and Principles |
| Soggetto genere / forma |
Dresden (2008)
Kongress. |
| ISBN | 3-642-02734-2 |
| Classificazione |
DAT 540f
DAT 709f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Easy Yet Hard: Model Checking Strategies of Agents -- Programming Multi-agent Systems -- Regular Papers -- Verifying Agents’ Conformance with Multiparty Protocols -- Run-Time Semantics of a Language for Programming Social Processes -- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic -- Bounded-Resource Reasoning as (Strong or Classical) Planning -- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems -- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall -- Contracts Violation: Justification via Argumentation -- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant. |
| Record Nr. | UNISA-996465732403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Methods in Systems Biology [[electronic resource] ] : 7th International Conference, CMSB 2009 / / edited by Pierpaolo Degano, Roberto Gorrieri
| Computational Methods in Systems Biology [[electronic resource] ] : 7th International Conference, CMSB 2009 / / edited by Pierpaolo Degano, Roberto Gorrieri |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 329 p.) |
| Disciplina | 570 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Life sciences
Computers Bioinformatics Computer simulation Numerical analysis Life Sciences, general Theory of Computation Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Numeric Computing |
| Soggetto genere / forma |
Bologna (2009)
Kongress. |
| ISBN | 3-642-03845-X |
| Classificazione |
BIO 110f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction Networks -- The Equivalence between Biology and Computation -- BlenX4Bio – BlenX for Biologists -- Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network -- Quantitative Pathway Logic for Computational Biology -- A Prize-Collecting Steiner Tree Approach for Transduction Network Inference -- Formal Analysis of the Genetic Toggle -- Control Strategies for the Regulation of the Eukaryotic Heat Shock Response -- Computing Reachable States for Nonlinear Biological Models -- On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle -- The ?-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages -- Approximation of Event Probabilities in Noisy Cellular Processes -- Equivalence and Discretisation in Bio-PEPA -- Improved Parameter Estimation for Completely Observed Ordinary Differential Equations with Application to Biological Systems -- A Bayesian Approach to Model Checking Biological Systems -- Dynamic Compartments in the Imperative ?-Calculus -- Probabilistic Approximations of Signaling Pathway Dynamics -- A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties -- On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process -- CSL Model Checking of Biochemical Networks with Interval Decision Diagrams -- Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models. |
| Record Nr. | UNISA-996465732503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
