feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    UID:
    gbv_1647262429
    Format: Online-Ressource (digital)
    ISBN: 9783540710806
    Series Statement: Lecture Notes in Computer Science 4404
    Content: Visual Data Mining: An Introduction and Overview -- Visual Data Mining: An Introduction and Overview -- 1 – Theory and Methodologies -- The 3DVDM Approach: A Case Study with Clickstream Data -- Form-Semantics-Function – A Framework for Designing Visual Data Representations for Visual Data Mining -- A Methodology for Exploring Association Models -- Visual Exploration of Frequent Itemsets and Association Rules -- Visual Analytics: Scope and Challenges -- 2 – Techniques -- Using Nested Surfaces for Visual Detection of Structures in Databases -- Visual Mining of Association Rules -- Interactive Decision Tree Construction for Interval and Taxonomical Data -- Visual Methods for Examining SVM Classifiers -- Text Visualization for Visual Text Analytics -- Visual Discovery of Network Patterns of Interaction between Attributes -- Mining Patterns for Visual Interpretation in a Multiple-Views Environment -- Using 2D Hierarchical Heavy Hitters to Investigate Binary Relationships -- Complementing Visual Data Mining with the Sound Dimension: Sonification of Time Dependent Data -- Context Visualization for Visual Data Mining -- Assisting Human Cognition in Visual Data Mining -- 3 – Tools and Applications -- Immersive Visual Data Mining: The 3DVDM Approach -- DataJewel: Integrating Visualization with Temporal Data Mining -- A Visual Data Mining Environment -- Integrative Visual Data Mining of Biomedical Data: Investigating Cases in Chronic Fatigue Syndrome and Acute Lymphoblastic Leukaemia -- Towards Effective Visual Data Mining with Cooperative Approaches.
    Content: The importance of visual data mining, as a strong sub-discipline of data mining, had already been recognized in the beginning of the decade. In 2005 a panel of renowned individuals met to address the shortcomings and drawbacks of the current state of visual information processing. The need for a systematic and methodological development of visual analytics was detected. This book aims at addressing this need. Through a collection of 21 contributions selected from more than 46 submissions, it offers a systematic presentation of the state of the art in the field. The volume is structured in three parts on theory and methodologies, techniques, and tools and applications.
    Additional Edition: ISBN 9783540710790
    Additional Edition: Buchausg. u.d.T. Visual data mining Berlin : Springer, 2008 ISBN 3540710795
    Additional Edition: ISBN 9783540710790
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Data Mining ; Visualisierung ; Aufsatzsammlung
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Böhlen, Michael 1964-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    gbv_1647258995
    Format: Online-Ressource (digital)
    ISBN: 9783540705529
    Series Statement: Lecture Notes in Computer Science 4970
    Content: Goals, Approach, Functionality of Resulting Tools, and Project Structure -- A Model-Driven Approach for A-posteriori Tool Integration -- A Scenario Demonstrating Design Support in Chemical Engineering -- The Interdisciplinary IMPROVE Project -- Application Domain Modeling -- An Introduction to Application Domain Modeling -- Product Data Models -- Document Models -- Work Process Models -- Decision Models -- Integrated Application Domain Models for Chemical Engineering -- New Tool Functionality and Underlying Concepts -- Using Developers’ Experience in Cooperative Design Processes -- Incremental and Interactive Integrator Tools for Design Product Consistency -- Multimedia and VR Support for Direct Communication of Designers -- An Adaptive and Reactive Management System for Project Coordination -- Platform Functionality -- Goal-Oriented Information Flow Management in Development Processes -- Service Management for Development Tools -- Integration Aspects -- Scenario-Based Analysis of Industrial Work Processes -- Integrative Simulation of Work Processes -- An Integrated Environment for Heterogeneous Process Modeling and Simulation -- Design Support of Reaction and Compounding Extruders -- Synergy by Integrating New Functionality -- Usability Engineering -- Software Integration and Framework Development -- Steps towards a Formal Process/Product Model -- From Application Domain Models to Tools: The Sketch of a Layered Process/Product Model -- Work Processes and Process-Centered Models and Tools -- Model Dependencies, Fine-Grained Relations, and Integrator Tools -- Administration Models and Management Tools -- Process/Product Model: Status and Open Problems -- Transfer to Practice -- Industrial Cooperation Resulting in Transfer -- Ontology-Based Integration and Management of Distributed Design Data -- Computer-Assisted Work Process Modeling in Chemical Engineering -- Simulation-Supported Workflow Optimization in Process Engineering -- Management and Reuse of Experience Knowledge in Extrusion Processes -- Tools for Consistency Management between Design Products -- Dynamic Process Management Based upon Existing Systems -- Service-Oriented Architectures and Application Integration -- Evaluation -- Review from a Design Process Perspective -- Review from a Tools’ Perspective -- Review from an Industrial Perspective -- Review from Academic Success Perspective.
    Content: IMPROVE stands for "Information Technology Support for Collaborative and Distributed Design Processes in Chemical Engineering" and is a large joint project of research institutions at RWTH Aachen University. This volume summarizes the results after 9 years of cooperative research work. The focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical engineering. In particular, IMPROVE focuses on conceptual design and basic engineering, where the fundamental decisions concerning the design or redesign of a chemical plant are undertaken. Design processes are analyzed and evaluated in collaboration with industrial partners.
    Additional Edition: ISBN 9783540705512
    Additional Edition: Buchausg. u.d.T. Collaborative and distributed chemical engineering Berlin : Springer, 2008 ISBN 3540705511
    Additional Edition: ISBN 9783540705512
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Chemische Verfahrenstechnik ; Prozessentwicklung ; Computerunterstütztes Verfahren ; Aufsatzsammlung
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    gbv_1647396328
    Format: Online-Ressource (digital)
    ISBN: 9783540852896
    Series Statement: Lecture Notes in Computer Science 5153
    Content: CoCoTA – Common Component Task -- CoCoME - The Common Component Modeling Example -- Modeling Components and Component-Based Systems in KobrA -- A Rich Services Approach to CoCoME -- Modelling with Relational Calculus of Object and Component Systems - rCOS -- Component-Interaction Automata Approach (CoIn) -- Service-Oriented Modeling of CoCoME with Focus and AutoFocus -- Modelling the CoCoME with the Java/A Component Model -- Linking Programs to Architectures: An Object-Oriented Hierarchical Software Model Based on Boxes -- Modelling the CoCoME with DisCComp -- Palladio – Prediction of Performance Properties -- KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability -- CoCoME in Fractal -- CoCoME in SOFA -- A Specification Language for Distributed Components Implemented in GCM/ProActive -- CoCoME Jury Evaluation and Conclusion.
    Content: This volume defines a common example for modelling approaches of component based systems. It is based on the Dagstuhl research seminar CoCoME (Common Component Modelling Example), which was held from August 1-3, 2007, at Schloss Dagstuhl, Germany. The Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. It serves as a platform for the classification of existing models and approaches and the interchange of research ideas, enabling researchers to focus and to tackle aspects less frequently dealt with. The CoCoME project is an ongoing venture, one of the aims of which is the adoption of the Common Component Modelling Example by the entire component community as a means of comparing and validating their approaches.
    Additional Edition: ISBN 9783540852889
    Additional Edition: Buchausg. u.d.T. The common component modeling example Berlin : Springer, 2008 ISBN 3540852883
    Additional Edition: ISBN 9783540852889
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Komponentenmodell ; Vergleich ; CCA ; Modellierung ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    Author information: Reussner, Ralf
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    gbv_1647744318
    Format: Online-Ressource (digital)
    ISBN: 9783642008672
    Series Statement: Lecture Notes in Computer Science 5454
    Content: Formal Reasoning about Fault Tolerant Systems and Protocols -- Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols -- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic -- Temporal Verification of Fault-Tolerant Protocols -- Design and Verification of Fault-Tolerant Components -- Dynamically Detecting Faults via Integrity Constraints -- Fault Tolerance: Modelling in B -- Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction -- Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems -- Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B -- Model-Based Testing Using Scenarios and Event-B Refinements -- Fault Tolerance in System Development Process -- Recording Process Documentation in the Presence of Failures -- DREP: A Requirements Engineering Process for Dependable Reactive Systems -- Documenting the Progress of the System Development -- Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process -- Fault Tolerant Applications -- Step-Wise Development of Resilient Ambient Campus Scenarios -- Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability.
    Content: The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design methods together with fault-tolerant design techniques help to achieve this. Therefore, there is a clear need for methods that enable rigorous modeling and the development of complex fault-tolerant systems. This book is an outcome of the workshop on Methods, Models and Tools for Fault Tolerance, MeMoT 2007, held in conjunction with the 6th international conference on Integrated Formal Methods, iFM 2007, in Oxford, UK, in July 2007. The authors of the best workshop papers were asked to enhance and expand their work, and a number of well-established researchers working in the area contributed invited chapters in addition. From the 15 refereed and revised papers presented, 12 are versions reworked from the workshop and 3 papers are invited. The articles are organized in four topical sections on: formal reasoning about fault-tolerant systems and protocols; fault tolerance: modelling in B; fault tolerance in system development process; and fault-tolerant applications.
    Note: Literaturangaben
    Additional Edition: ISBN 9783642008665
    Additional Edition: Buchausg. u.d.T. Methods, models and tools for fault tolerance Berlin : Springer, 2009 ISBN 3642008666
    Additional Edition: ISBN 9783642008665
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Fehlertoleranz ; Fehlertoleranz ; Aufsatzsammlung ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Jones, Cliff B. 1944-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    gbv_1647269679
    Format: Online-Ressource (digital)
    ISBN: 9783540850748
    Series Statement: Lecture Notes in Computer Science 5111
    Content: Overview of Security Protocol Analysis -- Formal Analysis of Secure Transaction Protocols -- Model Checking in Security Protocol Analysis -- Uncertainty Issues in Secure Messages -- Applications of Data Mining in Protocol Analysis -- Detection Models of Collusion Attacks -- Conclusion and Future Works.
    Content: The present volume arose from the need for a comprehensive coverage of the state of the art in security protocol analysis. It aims to serve as an overall course-aid and to provide self-study material for researchers and students in formal methods theory and applications in e-commerce, data analysis and data mining. The volume will also be useful to anyone interested in secure e-commerce. The book is organized in eight chapters covering the main approaches and tools in formal methods for security protocol analysis. It starts with an introductory chapter presenting the fundamentals and background knowledge with respect to formal methods and security protocol analysis. Chapter 2 provides an overview of related work in this area, including basic concepts and terminology. Chapters 3 and 4 show a logical framework and a model checker for analyzing secure transaction protocols. Chapter 5 explains how to deal with uncertainty issues in secure messages, including inconsistent messages and conflicting beliefs in messages. Chapter 6 integrates data mining with security protocol analysis, and Chapter 7 develops a new technique for detecting collusion attack in security protocols. Chapter 8 gives a summary of the chapters and presents a brief discussion of some emerging issues in the field.
    Additional Edition: ISBN 9783540850731
    Additional Edition: Buchausg. u.d.T. Chen, Qingfeng Secure transaction protocol analysis Berlin : Springer, 2008 ISBN 3540850732
    Additional Edition: ISBN 9783540850731
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Sicherheitsprotokoll ; Formale Methode ; Electronic Commerce ; Datensicherung ; Sicherheitsprotokoll
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Nierstrasz, Oscar 1957-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    gbv_1647672201
    Format: Online-Ressource (digital)
    ISBN: 9783540708728
    Series Statement: Lecture Notes in Computer Science 5042
    Content: - Static and Dynamic Processing of Faces, Facial Expressions, and Gaze -- Data Mining Spontaneous Facial Behavior with Automatic Expression Coding -- Ekfrasis: A Formal Language for Representing and Generating Sequences of Facial Patterns for Studying Emotional Behavior -- On the Relevance of Facial Expressions for Biometric Recognition -- Biometric Face Recognition with Different Training and Testing Databases -- Combining Features for Recognizing Emotional Facial Expressions in Static Images -- Mutually Coordinated Anticipatory Multimodal Interaction -- Affordances and Cognitive Walkthrough for Analyzing Human-Virtual Human Interaction -- - Emotional Speech Synthesis and Recognition: Applications to Telecommunication Systems -- Individual Traits of Speaking Style and Speech Rhythm in a Spoken Discourse -- The Organization of a Neurocomputational Control Model for Articulatory Speech Synthesis -- Automatic Speech Recognition Used for Intelligibility Assessment of Text-to-Speech Systems -- ECESS Platform for Web Based TTS Modules and Systems Evaluation -- Towards Slovak Broadcast News Automatic Recording and Transcribing Service -- Computational Stylometry: Who’s in a Play? -- The Acoustic Front-End in Scenarios of Interaction Research -- Application of Expressive Speech in TTS System with Cepstral Description -- Speech Emotion Perception by Human and Machine -- Expressive Speech Synthesis Using Emotion-Specific Speech Inventories -- Study on Speaker-Independent Emotion Recognition from Speech on Real-World Data -- Exploiting a Vowel Based Approach for Acted Emotion Recognition -- Towards Annotation of Nonverbal Vocal Gestures in Slovak -- The CineLingua Approach: Verbal and Non-verbal Features in Second Language Acquisition. Film Narrative to Anchor Comprehension and Production.
    Content: This book constitutes the refereed proceedings of the COST 2102 International Conference on Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction, held in Patras, Greece, October 29 -31, 2007 The 21 revised full papers were carefully reviewed and selected. The papers are organized in topical sections on static and dynamic processing of faces, facial expressions and gaze as well as emotional speech synthesis and recognition.
    Additional Edition: ISBN 9783540708711
    Additional Edition: Buchausg. u.d.T. Verbal and nonverbal features of human-human and human-machine interaction Berlin : Springer, 2008 ISBN 3540708715
    Additional Edition: ISBN 9783540708711
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Multimodales System ; Nichtverbale Kommunikation ; Mündliche Kommunikation ; Gefühl ; Identifikation ; Sprachproduktion ; Gefühl ; Automatische Spracherkennung ; Telekommunikation ; Gesicht ; Mimik ; Blick ; Mustererkennung ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Wahlster, Wolfgang 1953-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    gbv_1647674409
    Format: Online-Ressource (digital)
    ISBN: 9783540894544
    Series Statement: Lecture Notes in Computer Science 5334
    Content: Future Perspectives on Interactive Digital Storytelling (Keynotes) -- Embracing the Combinatorial Explosion: A Brief Prescription for Interactive Story R&D -- Interactive Narrative, Plot Types, and Interpersonal Relations -- The IRIS Network of Excellence: Integrating Research in Interactive Storytelling -- Interactive Storytelling Applications -- Mobile Urban Drama – Setting the Stage with Location Based Technologies -- Say Anything: A Massively Collaborative Open Domain Story Writing Companion -- Locating Drama: A Demonstration of Location-Aware Audio Drama -- Lies and Seductions -- Animation-Based Interactive Storytelling System -- Dear Esther: An Interactive Ghost Story Built Using the Source Engine -- Walking the Edit – A Research Project of the Master Cinema Network in Switzerland -- Virtual Characters and Agents -- 3D Immersion in Virtual Agents Education -- Exploring Non-verbal Behavior Models for Believable Characters -- Revisiting Character-Based Affective Storytelling under a Narrative BDI Framework -- VirtualActor: Endowing Virtual Characters with a Repertoire for Acting -- Steps towards a Generic Interface between Interactive Storytelling Applications and Character Animation Engines -- User Experience and Dramatic Immersion -- Looking at the Interactive Narrative Experience through the Eyes of the Participants -- Play and Narration as Patterns of Meaning Construction: Theoretical Foundation and Empirical Evaluation of the User Experience of Interactive Films -- Trying to Get Trapped in the Past – Exploring the Illusion of Presence in Virtual Drama -- The Functions of Music in Interactive Media -- Adaptive Musical Expression from Automatic Realtime Orchestration and Performance -- Architectures for Story Generation -- Narrative Generation for Suspense: Modeling and Evaluation -- A Use of Flashback and Foreshadowing for Surprise Arousal in Narrative Using a Plan-Based Approach -- Story Planning with Vignettes: Toward Overcoming the Content Production Bottleneck -- Schemas in Directed Emergent Drama -- Developing a Drama Management Architecture for Interactive Fiction Games -- Planning and Interaction Levels for TV Storytelling -- Exploiting Structure and Conventions of Movie Scripts for Information Retrieval and Text Mining -- Generation of Dilemma-Based Narratives: Method and Turing Test Evaluation -- Models for Drama Management and Interacting with Stories -- Emergent Stories Facilitated -- Making Stories Player-Specific: Delayed Authoring in Interactive Storytelling -- Verbal Communication of Story Facilitators in Multi-player Role-Playing Games -- Improvisation and Performance as Models for Interacting with Stories -- Let’s Pretend I Had a Sword -- On the Use of Computational Models of Influence for Managing Interactive Virtual Experiences -- Authoring and Creation of Interactive Narratives -- Purposeful Authoring for Emergent Narrative -- From Debugging to Authoring: Adapting Productivity Tools to Narrative Content Description -- PRISM: A Framework for Authoring Interactive Narratives -- Tales for the Many: Process and Authorial Control in Multi-player Role-Playing Games -- An Intelligent Plot-Centric Interface for Mastering Computer Role-Playing Games -- StoryTec: A Digital Storytelling Platform for the Authoring and Experiencing of Interactive and Non-linear Stories -- Workshop: Impro Theatre -- Workshop: Pen-and-Paper Role-Playing -- Workshop and Panel: The Authoring Process in Interactive Storytelling.
    Content: This book constitutes the refereed proceedings of the First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, held in Erfurt, Germany, in November 2008. The 19 revised full papers, 5 revised short papers, and 5 poster papers presented together with 3 invited lectures and 8 demo papers were carefully reviewed and selected from 62 submission. The papers are organized in topical sections on future perspectives on interactive digital storytelling, interactive storytelling applications, virtual characters and agents, user experience and dramatic immersion, architectures for story generation, models for drama management and interacting with stories, as well as authoring and creation of interactive narrative.
    Additional Edition: ISBN 9783540894247
    Additional Edition: Buchausg. u.d.T. Interactive storytelling Berlin : Springer, 2008 ISBN 3540894241
    Additional Edition: ISBN 9783540894247
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Interaktive Medien ; Virtuelle Realität ; Erzählen ; Softwareplattform ; Interaktive Medien ; Drama ; Immersion ; Interaktive Medien ; Virtuelle Realität ; Charakter ; Agent ; Interaktive Medien ; Virtuelle Realität ; Rollenspiel ; Autorensystem ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    gbv_164767428X
    Format: Online-Ressource (digital)
    ISBN: 9783540892557
    Series Statement: Lecture Notes in Computer Science 5350
    Content: Multi-Party Computation -- MPC vs. SFE : Unconditional and Computational Security -- Strongly Multiplicative and 3-Multiplicative Linear Secret Sharing Schemes -- Graph Design for Secure Multiparty Computation over Non-Abelian Groups -- Invited Talk -- Some Perspectives on Complexity-Based Cryptography -- Cryptographic Protocols I -- A Modular Security Analysis of the TLS Handshake Protocol -- Ambiguous Optimistic Fair Exchange -- Compact Proofs of Retrievability -- On the Security of HB# against a Man-in-the-Middle Attack -- Cryptographic Hash Functions I -- Hash Functions from Sigma Protocols and Improvements to VSH -- Slide Attacks on a Class of Hash Functions -- Basing PRFs on Constant-Query Weak PRFs: Minimizing Assumptions for Efficient Symmetric Cryptography -- Cryptographic Protocols II -- Universally Composable Adaptive Oblivious Transfer -- A Linked-List Approach to Cryptographically Secure Elections Using Instant Runoff Voting -- Towards Robust Computation on Encrypted Data -- Efficient Protocols for Set Membership and Range Proofs -- Cryptographic Hash Functions II -- Preimage Attacks on 3, 4, and 5-Pass HAVAL -- How to Fill Up Merkle-Damgård Hash Functions -- Limits of Constructive Security Proofs -- Public-Key Cryptography I -- Efficient Chosen Ciphertext Secure Public Key Encryption under the Computational Diffie-Hellman Assumption -- Twisted Edwards Curves Revisited -- On the Validity of the ?-Hiding Assumption in Cryptographic Protocols -- Chosen Ciphertext Security with Optimal Ciphertext Overhead -- Lattice-Based Cryptography -- Concurrently Secure Identification Schemes Based on the Worst-Case Hardness of Lattice Problems -- Rigorous and Efficient Short Lattice Vectors Enumeration -- Solving Linear Equations Modulo Divisors: On Factoring Given Any Bits -- Private-Key Cryptography -- An Infinite Class of Balanced Functions with Optimal Algebraic Immunity, Good Immunity to Fast Algebraic Attacks and Good Nonlinearity -- An Improved Impossible Differential Attack on MISTY1 -- Public-Key Cryptography II -- Generalized Identity Based and Broadcast Encryption Schemes -- Speeding Up the Pollard Rho Method on Prime Fields -- Sufficient Conditions for Intractability over Black-Box Groups: Generic Lower Bounds for Generalized DL and DH Problems -- OAEP Is Secure under Key-Dependent Messages -- Analysis of Stream Ciphers -- Cryptanalysis of Sosemanuk and SNOW 2.0 Using Linear Masks -- A New Attack on the LEX Stream Cipher -- Breaking the F-FCSR-H Stream Cipher in Real Time.
    Content: This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2008, held in Melbourne, Australia, in December 2008. The 33 revised full papers presented together with the abstract of 1 invited lecture were carefully reviewed and selected from 208 submissions. The papers are organized in topical sections on muliti-party computation, cryptographic protocols, cryptographic hash functions, public-key cryptograhy, lattice-based cryptography, private-key cryptograhy, and analysis of stream ciphers.
    Additional Edition: ISBN 9783540892540
    Additional Edition: Buchausg. u.d.T. Advances in cryptology - ASIACRYPT 2008 Berlin : Springer, 2008 ISBN 3540892540
    Additional Edition: ISBN 9783540892540
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Kryptologie ; Kryptosystem ; Kryptoanalyse ; Sicherheitsprotokoll ; Hash-Algorithmus ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    gbv_1648311105
    Format: Online-Ressource (digital)
    ISBN: 9783642029769
    Series Statement: Lecture Notes in Computer Science 5651
    Content: Invited Talks -- Discovering Novel Adverse Drug Events Using Natural Language Processing and Mining of the Electronic Health Record -- Computer Vision: A Plea for a Constructivist View -- Temporal Reasoning and Temporal Data Mining -- Mining Healthcare Data with Temporal Association Rules: Improvements and Assessment for a Practical Use -- A Temporal Data Mining Approach for Discovering Knowledge on the Changes of the Patient’s Physiology -- Severity Evaluation Support for Burns Unit Patients Based on Temporal Episodic Knowledge Retrieval -- Using Temporal Constraints to Integrate Signal Analysis and Domain Knowledge in Medical Event Detection -- Temporal Data Mining of HIV Registries: Results from a 25 Years Follow-Up -- Therapy Planning, Scheduling and Guideline-Based Care -- Modeling Clinical Guidelines through Petri Nets -- Optimization of Online Patient Scheduling with Urgencies and Preferences -- Towards the Merging of Multiple Clinical Protocols and Guidelines via Ontology-Driven Modeling -- Analysing Clinical Guidelines’ Contents with Deontic and Rhetorical Structures -- A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance -- Goal-Based Decisions for Dynamic Planning -- Genetic Algorithm Based Scheduling of Radiotherapy Treatments for Cancer Patients -- Case-Based Reasoning -- Feasibility of Case-Based Beam Generation for Robotic Radiosurgery -- Conversational Case-Based Reasoning in Medical Classification and Diagnosis -- Medical Imaging -- Histopathology Image Classification Using Bag of Features and Kernel Functions -- Improving Probabilistic Interpretation of Medical Diagnoses with Multi-resolution Image Parameterization: A Case Study -- Segmentation of Lung Tumours in Positron Emission Tomography Scans: A Machine Learning Approach -- A System for the Acquisition, Interactive Exploration and Annotation of Stereoscopic Images -- Knowledge-Based and Decision-Support Systems -- Implementing a Clinical Decision Support System for Glucose Control for the Intensive Cardiac Care -- Steps on the Road to Clinical Application of Decision Support – Example TREAT -- Integrating Healthcare Knowledge Artifacts for Clinical Decision Support: Towards Semantic Web Based Healthcare Knowledge Morphing -- A Knowledge-Based System to Support Emergency Medical Services for Disabled Patients -- A Mobile Clinical Decision Support System for Clubfoot Treatment -- An Ambient Intelligent Agent for Relapse and Recurrence Monitoring in Unipolar Depression -- An Advanced Platform for Managing Complications of Chronic Diseases -- One Telemedical Solution in Bulgaria -- A Novel Multilingual Report Generation System for Medical Applications -- Ontologies, Terminologies and Natural Language -- CORAAL – Towards Deep Exploitation of Textual Resources in Life Sciences -- Detecting Intuitive Mentions of Diseases in Narrative Clinical Text -- Using Existing Biomedical Resources to Detect and Ground Terms in Biomedical Literature -- An Ontology for the Care of the Elder at Home -- Ontology-Based Personalization and Modulation of Computerized Cognitive Exercises -- HomeNL: Homecare Assistance in Natural Language. An Intelligent Conversational Agent for Hypertensive Patients Management -- Explaining Anomalous Responses to Treatment in the Intensive Care Unit -- Multiple Terminologies in a Health Portal: Automatic Indexing and Information Retrieval -- CodeSlinger: An Interactive Biomedical Ontology Browser -- Data Mining, Machine Learning, Classification and Prediction -- Subgroup Discovery in Data Sets with Multi–dimensional Responses: A Method and a Case Study in Traumatology -- A Framework for Multi-class Learning in Micro-array Data Analysis -- Mining Safety Signals in Spontaneous Reports Database Using Concept Analysis -- Mealtime Blood Glucose Classifier Based on Fuzzy Logic for the DIABTel Telemedicine System -- Providing Objective Feedback on Skill Assessment in a Dental Surgical Training Simulator -- Voice Pathology Classification by Using Features from High-Speed Videos -- Analysis of EEG Epileptic Signals with Rough Sets and Support Vector Machines -- Automatic Detecting Documents Containing Personal Health Information -- Segmentation of Text and Non-text in On-Line Handwritten Patient Record Based on Spatio-Temporal Analysis -- An Ontology-Based Method to Link Database Integration and Data Mining within a Biomedical Distributed KDD -- Subgroup Discovery for Weight Learning in Breast Cancer Diagnosis -- Mining Discriminant Sequential Patterns for Aging Brain -- The Role of Biomedical Dataset in Classification -- Online Prediction of Ovarian Cancer -- Prediction of Mechanical Lung Parameters Using Gaussian Process Models -- Learning Approach to Analyze Tumour Heterogeneity in DCE-MRI Data During Anti-cancer Treatment -- Predicting the Need to Perform Life-Saving Interventions in Trauma Patients by Using New Vital Signs and Artificial Neural Networks -- Probabilistic Modeling and Reasoning -- Causal Probabilistic Modelling for Two-View Mammographic Analysis -- Modelling Screening Mammography Images: A Probabilistic Relational Approach -- Data-Efficient Information-Theoretic Test Selection -- Gene and Protein Data -- Effect of Background Correction on Cancer Classification with Gene Expression Data -- On Quality of Different Annotation Sources for Gene Expression Analysis -- An Architecture for Automated Reasoning Systems for Genome-Wide Studies -- A Mutual Information Approach to Data Integration for Alzheimer’s Disease Patients.
    Content: This book constitutes the refereed proceedings of the 12th Conference on Artificial Intelligence in Medicine in Europe, AIME 2009, held in Verona, Italy in July 2009. The 24 revised long papers and 36 revised short papers presented together with 2 invited talks were carefully reviewed and selected from 140 submissions. The papers are organized in topical sections on agent-based systems, temporal data mining, machine learning and knowledge discovery, text mining, natural language processing and generation, ontologies, decision support systems, applications of AI-based image processing techniques, protocols and guidelines, as well as workflow systems.
    Additional Edition: ISBN 9783642029752
    Additional Edition: Erscheint auch als Druck-Ausgabe Artificial intelligence in medicine Berlin : Springer, 2009 ISBN 3642029752
    Additional Edition: ISBN 9783642029752
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Medizin ; Künstliche Intelligenz ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Wahlster, Wolfgang 1953-
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    gbv_1647815827
    Format: Online-Ressource (digital)
    ISBN: 9783642013386
    Series Statement: Lecture Notes in Computer Science 5386
    Content: Multi-agent Organizations -- Model-Driven Integration of Organizational Models -- MAS Modeling Based on Organizations -- A Systemic Approach to the Validation of Self–Organizing Dynamics within MAS -- Method Engineering and Software Development Processes -- Using and Extending the SPEM Specifications to Represent Agent Oriented Methodologies -- Definition of Process Models for Agent-Based Development -- Methodology Fragments Definition in SPEM for Designing Adaptive Methodology: A First Step -- A MAS Metamodel-Driven Approach to Process Fragments Selection -- An Evaluation Framework for MAS Modeling Languages Based on Metamodel Metrics -- A Unified Graphical Notation for AOSE -- Prometheus and INGENIAS Agent Methodologies: A Complementary Approach -- The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems -- Evaluating an Agent-Oriented Approach for Change Propagation -- Testing and Debugging -- Goal-Oriented Agent Testing Revisited -- Experimental Evaluation of Ontology-Based Test Generation for Multi-agent Systems -- Testing and Debugging of MAS Interactions with INGENIAS -- Tools and Case Studies -- PASSI Methodology in the Design of Software Framework: A Study Case of the Passenger Transportation Enterprise -- Developing and Evolving a Multi-agent System Product Line: An Exploratory Study -- Combining JADE and Repast for the Complex Simulation of Enterprise Value-Adding Networks -- OperA and Brahms: A Symphony? -- Support for Analysis, Design, and Implementation Stages with MASDK.
    Content: Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are important for the design and development of such applications. This book provides a diverse and interesting overview of the work that is currently being undertaken by a growing number of researchers in the area of Agent-Oriented Software Engineering. The papers represent a state-of-the-art report of current research in this field, which is of critical importance in facilitating industry take-up of powerful agent technologies. This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Agent-Oriented Software Engineering, AOSE 2008, held in Estoril, Portugal, in May 2008 as part of AAMAS 2008. The 20 revised full papers were carefully selected from 50 initial submissions during two rounds of reviewing and improvement. The papers have been organized into four sections on: multi-agent organizations, method engineering and software development processes, testing and debugging, as well as tools and case studies.
    Additional Edition: ISBN 9783642013379
    Additional Edition: Erscheint auch als Druck-Ausgabe Agent-oriented software engineering IX Berlin [u.a.] : Springer, 2009 ISBN 3642013376
    Additional Edition: ISBN 9783642013379
    Additional Edition: Erscheint auch als Druck-Ausgabe Agent-oriented software engineering ; 9: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12 - 13, 2008; revised selected papers Berlin : Springer, 2009 ISBN 9783642013379
    Additional Edition: ISBN 3642013376
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Software Engineering ; Mehragentensystem ; Autonomer Agent ; Softwareplattform ; Mehragentensystem ; Testen ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Author information: Pandu Rangan, C. 1955-
    Author information: Mattern, Friedemann 1955-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages