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.
Antibody-Drug Conjugates and Immunotoxins : From Pre-Clinical Development to Therapeutic Applications / / edited by Gail Lewis Phillips
| Antibody-Drug Conjugates and Immunotoxins : From Pre-Clinical Development to Therapeutic Applications / / edited by Gail Lewis Phillips |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Humana, , 2013 |
| Descrizione fisica | 1 online resource (369 p.) |
| Disciplina |
615.37
615.373 |
| Altri autori (Persone) | PhillipsGail Lewis |
| Collana | Cancer Drug Discovery and Development |
| Soggetto topico |
Cancer
Medicine - Research Biology - Research Immunospecificity Cancer Biology Biomedical Research Adaptive Immunity |
| ISBN |
1-283-93413-2
1-4614-5456-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Antibody Directed Delivery for Treatment of Cancer: Antibody Drug Conjugates and Immunotoxins -- Antibody-Drug Conjugate Development -- Components of ADC Development: Assay Methodologies and Challenges -- Clinical Pharmacology Strategies in the Development of Antibody-Drug Conjugates -- Predictive Biomarkers for Antibody-Drug Conjugates -- Factors Involved in the Design of Cytotoxic Payloads for Antibody-Drug Conjugates -- Linker Technology and Impact of Linker Design on ADC Properties -- Antibody-drug conjugates for the treatment of B-cell malignancies -- Targeting CD19 with SAR3419, an anti-CD19-Maytansinoid Conjugate for the Treatment of B Cell Malignancies -- Brentuximab Vedotin (SGN-35) for CD30 Positive Malignancies -- Trastuzumab Emtansine (T-DM1) for the Treatment of HER2-Positive Cancer -- CDX-011 (Glembatumumab Vedotin, CR011-vcMMAE) -- Case Study: An Antibody-Drug Conjugate Targeting MUC16 for Ovarian Cancer -- EphA2 Immunoconjugate -- Anti-PSMA Antibody-Drug Conjugates -- Targeting CD56 (NCAM)-expressing Neoplasms with Lorvotuzumab Mertansine -- Studies on the Metabolism of Antibody-Drug Conjugates -- Design, Development and Characterization of Recombinant Immunotoxins Targeting HER2/neu -- The Preclinical and Clinical Evaluation of VB6-845: An Immunotoxin with a De-Immunized Payload for the Systemic Treatment of Solid Tumors -- Index. |
| Record Nr. | UNINA-9910437996003321 |
| New York, NY : , : Springer New York : , : Imprint : Humana, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of Evolutionary Computation [[electronic resource] ] : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II / / edited by Cecilia Di Chio, Anthony Brabazon, Marc Ebner, Muddassar Farooq, Andreas Fink, Jörn Grahl, Gary Greenfield, Penousal Machado, Michael O'Neill, Ernesto Tarantino, Neil Urquhart
| Applications of Evolutionary Computation [[electronic resource] ] : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II / / edited by Cecilia Di Chio, Anthony Brabazon, Marc Ebner, Muddassar Farooq, Andreas Fink, Jörn Grahl, Gary Greenfield, Penousal Machado, Michael O'Neill, Ernesto Tarantino, Neil Urquhart |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXXII, 476 p. 150 illus.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Software engineering Application software Immunospecificity Operating systems (Computers) Algorithms Computer Communication Networks Software Engineering Computer and Information Systems Applications Adaptive Immunity Operating Systems |
| ISBN |
1-280-38607-X
9786613563996 3-642-12242-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired Multiobjective Evolutionary Algorithm -- Performance Evaluation of an Artificial Neural Network-Based Adaptive Antenna Array System -- Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol for Vehicular Ad-Hoc Networks -- WiMAX Network Planning Using Adaptive-Population-Size Genetic Algorithm -- Markov Chain Models for Genetic Algorithm Based Topology Control in MANETs -- Particle Swarm Optimization for Coverage Maximization and Energy Conservation in Wireless Sensor Networks -- Efficient Load Balancing for a Resilient Packet Ring Using Artificial Bee Colony -- TCP Modification Robust to Packet Reordering in Ant Routing Networks -- Solving the Physical Impairment Aware Routing and Wavelength Assignment Problem in Optical WDM Networks Using a Tabu Search Based Hyper-Heuristic Approach -- A Generalized, Location-Based Model of Connections in Ad-Hoc Networks Improving the Performance of Ant Routing -- Using Code Bloat to Obfuscate Evolved Network Traffic -- ABC Supported Handoff Decision Scheme Based on Population Migration -- EvoENVIRONMENT Contributions -- A Hyper-Heuristic Approach for the Unit Commitment Problem -- Application of Genetic Programming Classification in an Industrial Process Resulting in Greenhouse Gas Emission Reductions -- Influence of Topology and Payload on CO2 Optimised Vehicle Routing -- Start-Up Optimisation of a Combined Cycle Power Plant with Multiobjective Evolutionary Algorithms -- EvoFIN Contributions -- A Study of Nature-Inspired Methods for Financial Trend Reversal Detection -- Outperforming Buy-and-Hold with Evolved Technical Trading Rules: Daily, Weekly and Monthly Trading -- Evolutionary Multi-stage Financial Scenario Tree Generation -- Evolving Dynamic Trade Execution Strategies Using Grammatical Evolution -- Modesty Is the Best Policy: Automatic Discovery of Viable Forecasting Goals in Financial Data -- Threshold Recurrent Reinforcement Learning Model for Automated Trading -- Active Portfolio Management from a Fuzzy Multi-objective Programming Perspective -- Evolutionary Monte Carlo Based Techniques for First Passage Time Problems in Credit Risk and Other Applications in Finance -- Calibrating the Heston Model with Differential Evolution -- Evolving Trading Rule-Based Policies -- EvoMUSART Contributions -- Evolving Artistic Styles through Visual Dialogues -- Graph-Based Evolution of Visual Languages -- Refinement Techniques for Animated Evolutionary Photomosaics Using Limited Tile Collections -- Generative Art and Evolutionary Refinement -- Aesthetic Learning in an Interactive Evolutionary Art System -- Comparing Aesthetic Measures for Evolutionary Art -- The Problem with Evolutionary Art Is ... -- Learning to Dance through Interactive Evolution -- Jive: A Generative, Interactive, Virtual, Evolutionary Music System -- A Neural Network for Bass Functional Harmonization -- Combining Musical Constraints with Markov Transition Probabilities to Improve the Generation of Creative Musical Structures -- Dynamic Musical Orchestration Using Genetic Algorithms and a Spectro-Temporal Description of Musical Instruments -- Evolutionary Sound Synthesis: Rendering Spectrograms from Cellular Automata Histograms -- Sound Agents -- From Evolutionary Composition to Robotic Sonification -- Musical Composer Identification through Probabilistic and Feedforward Neural Networks -- EvoTRANSLOG Contributions -- Using an Evolutionary Algorithm to Discover Low CO2 Tours within a Travelling Salesman Problem -- A Genetic Algorithm for the Traveling Salesman Problem with Pickup and Delivery Using Depot Removal and Insertion Moves -- Fast Approximation Heuristics for Multi-Objective Vehicle Routing Problems -- Particle Swarm Optimization and an Agent-Based Algorithm for a Problem of Staff Scheduling -- A Math-Heuristic for the Multi-Level Capacitated Lot Sizing Problem with Carryover. |
| Record Nr. | UNISA-996465299403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applications of Evolutionary Computation : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II / / edited by Cecilia Di Chio, Anthony Brabazon, Marc Ebner, Muddassar Farooq, Andreas Fink, Jörn Grahl, Gary Greenfield, Penousal Machado, Michael O'Neill, Ernesto Tarantino, Neil Urquhart
| Applications of Evolutionary Computation : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II / / edited by Cecilia Di Chio, Anthony Brabazon, Marc Ebner, Muddassar Farooq, Andreas Fink, Jörn Grahl, Gary Greenfield, Penousal Machado, Michael O'Neill, Ernesto Tarantino, Neil Urquhart |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXXII, 476 p. 150 illus.) |
| Disciplina | 004.6 |
| Altri autori (Persone) | Di ChioCecilia |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Software engineering Application software Immunospecificity Operating systems (Computers) Algorithms Computer Communication Networks Software Engineering Computer and Information Systems Applications Adaptive Immunity Operating Systems |
| ISBN |
1-280-38607-X
9786613563996 3-642-12242-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired Multiobjective Evolutionary Algorithm -- Performance Evaluation of an Artificial Neural Network-Based Adaptive Antenna Array System -- Automatic Parameter Tuning with Metaheuristics of the AODV Routing Protocol for Vehicular Ad-Hoc Networks -- WiMAX Network Planning Using Adaptive-Population-Size Genetic Algorithm -- Markov Chain Models for Genetic Algorithm Based Topology Control in MANETs -- Particle Swarm Optimization for Coverage Maximization and Energy Conservation in Wireless Sensor Networks -- Efficient Load Balancing for a Resilient Packet Ring Using Artificial Bee Colony -- TCP Modification Robust to Packet Reordering in Ant Routing Networks -- Solving the Physical Impairment Aware Routing and Wavelength Assignment Problem in Optical WDM Networks Using a Tabu Search Based Hyper-Heuristic Approach -- A Generalized, Location-Based Model of Connections in Ad-Hoc Networks Improving the Performance of Ant Routing -- Using Code Bloat to Obfuscate Evolved Network Traffic -- ABC Supported Handoff Decision Scheme Based on Population Migration -- EvoENVIRONMENT Contributions -- A Hyper-Heuristic Approach for the Unit Commitment Problem -- Application of Genetic Programming Classification in an Industrial Process Resulting in Greenhouse Gas Emission Reductions -- Influence of Topology and Payload on CO2 Optimised Vehicle Routing -- Start-Up Optimisation of a Combined Cycle Power Plant with Multiobjective Evolutionary Algorithms -- EvoFIN Contributions -- A Study of Nature-Inspired Methods for Financial Trend Reversal Detection -- Outperforming Buy-and-Hold with Evolved Technical Trading Rules: Daily, Weekly and Monthly Trading -- Evolutionary Multi-stage Financial Scenario Tree Generation -- EvolvingDynamic Trade Execution Strategies Using Grammatical Evolution -- Modesty Is the Best Policy: Automatic Discovery of Viable Forecasting Goals in Financial Data -- Threshold Recurrent Reinforcement Learning Model for Automated Trading -- Active Portfolio Management from a Fuzzy Multi-objective Programming Perspective -- Evolutionary Monte Carlo Based Techniques for First Passage Time Problems in Credit Risk and Other Applications in Finance -- Calibrating the Heston Model with Differential Evolution -- Evolving Trading Rule-Based Policies -- EvoMUSART Contributions -- Evolving Artistic Styles through Visual Dialogues -- Graph-Based Evolution of Visual Languages -- Refinement Techniques for Animated Evolutionary Photomosaics Using Limited Tile Collections -- Generative Art and Evolutionary Refinement -- Aesthetic Learning in an Interactive Evolutionary Art System -- Comparing Aesthetic Measures for Evolutionary Art -- The Problem with Evolutionary Art Is ... -- Learning to Dance through Interactive Evolution -- Jive: A Generative, Interactive, Virtual, Evolutionary Music System -- A Neural Network for Bass Functional Harmonization -- Combining Musical Constraints with Markov Transition Probabilities to Improve the Generation of Creative Musical Structures -- Dynamic Musical Orchestration Using Genetic Algorithms and a Spectro-Temporal Description of Musical Instruments -- Evolutionary Sound Synthesis: Rendering Spectrograms from Cellular Automata Histograms -- Sound Agents -- From Evolutionary Composition to Robotic Sonification -- Musical Composer Identification through Probabilistic and Feedforward Neural Networks -- EvoTRANSLOG Contributions -- Using an Evolutionary Algorithm to Discover Low CO2 Tours within a Travelling Salesman Problem -- A Genetic Algorithm for the Traveling Salesman Problemwith Pickup and Delivery Using Depot Removal and Insertion Moves -- Fast Approximation Heuristics for Multi-Objective Vehicle Routing Problems -- Particle Swarm Optimization and an Agent-Based Algorithm for a Problem of Staff Scheduling -- A Math-Heuristic for the Multi-Level Capacitated Lot Sizing Problem with Carryover. |
| Record Nr. | UNINA-9910484501603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ECOOP 2010 -- Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings / / edited by Theo D'Hondt
| ECOOP 2010 -- Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings / / edited by Theo D'Hondt |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 599 p. 196 illus.) |
| Disciplina | 005.1/17 |
| Altri autori (Persone) | D'HondtTheo |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Computer networks Immunospecificity Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Computer Communication Networks Adaptive Immunity |
| ISBN |
1-280-38767-X
9786613565594 3-642-14107-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote 1 -- Code Roots -- Programming Environments and Tools -- Detecting Missing Method Calls in Object-Oriented Software -- Debugging Model-Transformation Failures Using Dynamic Tainting -- Automatically Extracting Class Diagrams from Spreadsheets -- Theoretical Foundations of Programming Languages -- Adding Dynamic Types to C -- Essential AOP: The A Calculus -- The Essence of JavaScript -- Formal Methods -- Verifying Executable Object-Oriented Specifications with Separation Logic -- Verifying Generics and Delegates -- Recency Types for Analyzing Scripting Languages -- Concurrency Models in Java -- Correct Refactoring of Concurrent Java Code -- Programming Coordinated Behavior in Java -- JCoBox: Generalizing Active Objects to Concurrent Components -- Special Session: Empirical Methods -- Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study -- Type Systems -- A Type System for Data-Centric Synchronization -- Type-Safe Eventful Sessions in Java -- Capabilities for Uniqueness and Borrowing -- Keynote 2 -- Secret Valley -- Language Design and Implementation -- Embedding Languages without Breaking Tools -- Modules as Objects in Newspeak -- Inline Caching Meets Quickening -- Concurrency Abstractions -- Self-Replicating Objects for Multicore Platforms -- Reasoning about the Implementation of Concurrency Abstractions on x86-TSO -- Concurrent Abstract Predicates -- Experiences -- The Use of Overloading in Java Programs -- Falling Back on Executable Specifications -- Contract-Based Data Structure Repair Using Alloy. |
| Record Nr. | UNINA-9910483571003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IgE Antibodies: Generation and Function / / edited by Juan J. Lafaille, Maria A. Curotto de Lafaille
| IgE Antibodies: Generation and Function / / edited by Juan J. Lafaille, Maria A. Curotto de Lafaille |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (157 p.) |
| Disciplina | 616.0795 |
| Collana | Current Topics in Microbiology and Immunology |
| Soggetto topico |
Immunospecificity
Medicine - Research Biology - Research Allergy Parasitology Adaptive Immunity Biomedical Research Allergology |
| ISBN | 3-319-13725-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Biology of IgE Production: IgE Cell Differentiation and the Memory of IgE Responses -- Molecular Mechanisms of IgE Class Switch Recombination -- Anti-IgE Therapy: Clinical Utility and Mechanistic Insights -- New Insights on the Signaling and Function of the High Affinity Receptor for IgE -- Helminth-Induced IgE and Protection Against Allergic Disorders -- IgE Immunotherapy Against Cancer. |
| Record Nr. | UNINA-9910298272103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Immunocytochemistry of Plant Cells / / by Kevin Vaughn
| Immunocytochemistry of Plant Cells / / by Kevin Vaughn |
| Autore | Vaughn Kevin |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (xi, 131 pages) : illustrations (some color) |
| Disciplina | 575.396 |
| Collana | Gale eBooks |
| Soggetto topico |
Plants - Development
Immunospecificity Cytology Biology - Technique Plant Development Adaptive Immunity Cell Biology Biological Techniques |
| ISBN |
9789400760615
9400760612 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- 1. Immunocytochemical Techniques -- 2. Chloroplast proteins -- 3. Peroxisomes -- 4. Cell Walls and Golgi -- 5. The Nucleus -- 6. The Cytoskeleton -- 7. Protein Bodies/ Vacuoles and Cytoplasm -- Index. |
| Record Nr. | UNINA-9910437825303321 |
Vaughn Kevin
|
||
| Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Immunogenetics : Methods and Protocols / / edited by Anton W. Langerak
| Immunogenetics : Methods and Protocols / / edited by Anton W. Langerak |
| Autore | Langerak Anton W |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | New York, NY : , : Springer US : , : Imprint : Humana, , 2022 |
| Descrizione fisica | 1 online resource (XVI, 607 p. 132 illus., 121 illus. in color.) |
| Disciplina |
571.9648
616.0796 |
| Collana | Methods in Molecular Biology |
| Soggetto topico |
Immunogenetics
Immunospecificity Adaptive Immunity Immunogenètica Receptors cel·lulars Manuals de laboratori |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9781071621158
1071621157 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Advent of Precision Immunology: Immunogenetics at the Center of Immune Cell Analysis in Health and Disease -- Next-Generation Sequencing-Based Clonality Detection of Immunoglobulin Gene Rearrangements in B-Cell Lymphoma -- One-Step Next Generation Sequencing of Immunoglobulin and T-Cell Receptor Gene Recombinations for MRD Marker Identification in Acute Lymphoblastic Leukemia -- Immunoglobulin/T-Cell Receptor Gene Rearrangement Analysis Using RNA-Seq -- Minimal Residual Disease Analysis by Monitoring Immunoglobulin and T-Cell Receptor Gene Rearrangements by Quantitative PCR and Droplet Digital PCR -- Quality Control for IG/TR Marker Identification and MRD Analysis -- cfDNA-Based NGS IG Analysis in Lymphoma -- Targeted Locus Amplification as Marker Screening Approach to Detect Immunoglobulin (IG) Translocations in B-Cell Non-Hodgkin Lymphomas -- Immunoglobulin/T-Cell Receptor Capture Strategy for Comprehensive Immunogenetics -- Immunoglobulin Gene Mutational Status Assessment by Next Generation Sequencing in Chronic Lymphocytic Leukemia -- NGS-Based B-Cell Receptor Repertoire Analysis in the Context of Inborn Errors of Immunity -- Generic Multiplex Digital PCR for Accurate Quantification of T-Cells in Copy Number Stable and Unstable DNA Samples -- Gene Engineering T-Cells with T-Cell Receptor for Adoptive Therapy -- Combined Analysis of Transcriptome and T-Cell Receptor Alpha Beta (TRA/TRB) Repertoire in Paucicellular Samples at the Single Cell Level -- AIRR Community Guide to Planning and Performing AIRR-Seq Experiments -- Adaptive Immune Receptor Repertoires (AIRR) Community Guide to TR and IG Gene Annotation -- Adaptive Immune Receptor Repertoires (AIRR) Community Guide to Repertoire Analysis -- Bulk gDNA Sequencing of Antibody Heavy Chain Gene Rearrangements for Detection and Analysis of B-Cell Clone Distribution: A Method by the AIRR Community -- Bulk Sequencing from mRNA with UMI for Evaluation of B-Cell Isotype and Clonal Evolution: A Method by the AIRR Community -- Single Cell Analysis and Tracking of Antigen-Specific T-Cells: Integrating Paired-Chain AIRR-Seq and Transcriptome Sequencing: A Method by the AIRR Community -- Quality Control: Chain Pairing Precision and Monitoring of Cross-Sample Contamination: A Method by the AIRR Community -- Immune Repertoire Analysis on High-Performance Computing Using VDJServer V1: A Method by the AIRR Community -- Data Sharing and Re-Use: A Method by the AIRR Community -- IMGT® Immunoinformatics Tools for Standardized V-DOMAIN Analysis -- IMGT/3Dstructure-DB: T-Cell Receptor TR Paratope and Peptide/Major Histocompatibility pMH Contact Sites and Epitope -- ARResT/Interrogate Immunoprofiling Platform: Concepts, Workflows, and Insights -- Purpose-Built Immunoinformatics for BcR IG/TR Repertoire Data Analysis. |
| Record Nr. | UNINA-9910576888603321 |
|
Langerak Anton W
|
||
| New York, NY : , : Springer US : , : Imprint : Humana, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Interactive Theorem Proving [[electronic resource] ] : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings / / edited by Matt Kaufmann, Lawrence C. Paulson
| Interactive Theorem Proving [[electronic resource] ] : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings / / edited by Matt Kaufmann, Lawrence C. Paulson |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XI, 495 p. 82 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Machine theory Compilers (Computer programs) Artificial intelligence Immunospecificity Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Compilers and Interpreters Artificial Intelligence Adaptive Immunity |
| ISBN |
1-280-38759-9
9786613565518 3-642-14052-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A Formally Verified OS Kernel. Now What? -- Proof Assistants as Teaching Assistants: A View from the Trenches -- Proof Pearls -- A Certified Denotational Abstract Interpreter -- Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure -- A New Foundation for Nominal Isabelle -- (Nominal) Unification by Recursive Descent with Triangular Substitutions -- A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks -- Regular Papers -- Extending Coq with Imperative Features and Its Application to SAT Verification -- A Tactic Language for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder -- Formal Proof of a Wave Equation Resolution Scheme: The Method Error -- An Efficient Coq Tactic for Deciding Kleene Algebras -- Fast LCF-Style Proof Reconstruction for Z3 -- The Optimal Fixed Point Combinator -- Formal Study of Plane Delaunay Triangulation -- Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison -- A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture -- Automated Machine-Checked Hybrid System Safety Proofs -- Coverset Induction with Partiality and Subsorts: A Powerlist Case Study -- Case-Analysis for Rippling and Inductive Proof -- Importing HOL Light into Coq -- A Mechanized Translation from Higher-Order Logic to Set Theory -- The Isabelle Collections Framework -- Interactive Termination Proofs Using Termination Cores -- A Framework for Formal Verification of Compiler Optimizations -- On the Formalization of the Lebesgue Integration Theory in HOL -- From Total Store Order to Sequential Consistency: A Practical Reduction Theorem -- Equations: A Dependent Pattern-Matching Compiler -- A Mechanically Verified AIG-to-BDD Conversion Algorithm -- Inductive Consequences in the Calculus of Constructions -- Validating QBF Invalidity in HOL4 -- Rough Diamonds -- Higher-Order Abstract Syntax in Isabelle/HOL -- Separation Logic Adapted for Proofs by Rewriting -- Developing the Algebraic Hierarchy with Type Classes in Coq. |
| Record Nr. | UNISA-996465785003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings / / edited by Matt Kaufmann, Lawrence C. Paulson
| Interactive Theorem Proving : First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings / / edited by Matt Kaufmann, Lawrence C. Paulson |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XI, 495 p. 82 illus.) |
| Disciplina | 005.1015113 |
| Altri autori (Persone) |
KaufmannMatt
PaulsonLawrence C |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Machine theory Compilers (Computer programs) Artificial intelligence Immunospecificity Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Compilers and Interpreters Artificial Intelligence Adaptive Immunity |
| ISBN |
1-280-38759-9
9786613565518 3-642-14052-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A Formally Verified OS Kernel. Now What? -- Proof Assistants as Teaching Assistants: A View from the Trenches -- Proof Pearls -- A Certified Denotational Abstract Interpreter -- Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure -- A New Foundation for Nominal Isabelle -- (Nominal) Unification by Recursive Descent with Triangular Substitutions -- A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks -- Regular Papers -- Extending Coq with Imperative Features and Its Application to SAT Verification -- A Tactic Language for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder -- Formal Proof of a Wave Equation Resolution Scheme: The Method Error -- An Efficient Coq Tactic for Deciding Kleene Algebras -- Fast LCF-Style Proof Reconstruction for Z3 -- The Optimal Fixed Point Combinator -- Formal Study of Plane Delaunay Triangulation -- Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison -- A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture -- Automated Machine-Checked Hybrid System Safety Proofs -- Coverset Induction with Partiality and Subsorts: A Powerlist Case Study -- Case-Analysis for Rippling and Inductive Proof -- Importing HOL Light into Coq -- A Mechanized Translation from Higher-Order Logic to Set Theory -- The Isabelle Collections Framework -- Interactive Termination Proofs Using Termination Cores -- A Framework for Formal Verification of Compiler Optimizations -- On the Formalization of the Lebesgue Integration Theory in HOL -- From Total Store Order to Sequential Consistency: A Practical Reduction Theorem -- Equations: A Dependent Pattern-Matching Compiler -- A Mechanically Verified AIG-to-BDD Conversion Algorithm -- Inductive Consequences in the Calculus of Constructions -- Validating QBF Invalidity in HOL4 -- Rough Diamonds -- Higher-Order Abstract Syntax in Isabelle/HOL -- Separation Logic Adapted for Proofs by Rewriting -- Developing the Algebraic Hierarchy with Type Classes in Coq. |
| Record Nr. | UNINA-9910483708703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lymphocyte activation
| Lymphocyte activation |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | [Place of publication not identified], : Karger, 1994 |
| Descrizione fisica | 1 online resource (XII + 220 pages) : : 30 figures |
| Collana | Issn Series |
| Soggetto topico |
Biochemical Phenomena
Cell Physiological Phenomena Immunologic Tests Immune System Phenomena Immunity, Cellular Adaptive Immunity Chemical Phenomena Laboratory Techniques and Procedures Immunologic Techniques Phenomena and Processes Investigative Techniques Immunity Diagnosis Analytical, Diagnostic and Therapeutic Techniques and Equipment Signal Transduction Lymphocyte Activation |
| ISBN |
9783318018981
3318018988 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910155288203321 |
| [Place of publication not identified], : Karger, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
