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 | ||
|
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 | ||
|
Immunogenetics [[electronic resource] ] : Methods and Protocols / / edited by Anton W. Langerak |
Autore | Langerak Anton W |
Edizione | [1st ed. 2022.] |
Pubbl/distr/stampa | New York, NY, : Springer Nature, 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 |
Soggetto non controllato |
The immunome
Adaptive immune cells Antigen receptors Immunoinformatics T-cell receptors Lymphocytes |
ISBN | 1-0716-2115-7 |
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 Nature, 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 |
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 | ||
|
Les limites du soi : immunologie et identité biologique / / Thomas Pradeu |
Autore | Pradeu Thomas |
Pubbl/distr/stampa | Presses de l’Université de Montréal, 2010 |
Descrizione fisica | 1 online resource (395 p.) |
Disciplina | 571.9/6 |
Collana | Analytiques |
Soggetto topico |
Immunospecificity
Immunology Immunity |
Soggetto non controllato |
organisme
immunité immunologie philosophie du vivant |
ISBN |
2-7606-3069-2
2-8218-9497-X 2-7606-2582-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Nota di contenuto | Comment définir l'immunologie et ses deux concepts centraux, le soi et le non-soi? -- Que signifient les termes "soi" et "non-soi" en immunologie -- Pourquoi la théorie du soi et du non-soi s'est-elle imposée à l'immunologie? -- Les insuffisances de la théorie du soi et du non-soi -- Fondements et détails de la théorie de la continuité -- La théorie de la continuité face aux autres théories immunologiques -- Qu'est-ce qu'un organisme? L'immunité et l'individualité de l'organisme -- L'intérieur et l'extérieur : l'apport de l'immunologie à la thèse co-constructionniste -- Conclusion générale. |
Record Nr. | UNINA-9910252741803321 |
Pradeu Thomas | ||
Presses de l’Université de Montréal, 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Molecular and cellular mechanisms of antibody activity / / Falk Nimmerjahn, editor |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | New York, : Springer, 2013 |
Descrizione fisica | 1 online resource (300 p.) |
Disciplina | 616.0798 |
Altri autori (Persone) | NimmerjahnFalk |
Soggetto topico |
Antigen-antibody reactions
Immunospecificity Binding sites (Biochemistry) |
ISBN | 1-4614-7107-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | IgM and IgD in infection and inflammatory diseases -- Immunoglobulin A – molecular mechanisms of function and role in immune defense -- Crystal structures of human IgG Fc-fragments and their complexes with Fc Receptors -- The role of IgG in immune responses -- Molecular and cellular pathways involved in the anti-inflammatory activity of IgG -- Example of the Pathogenic Potential of Two Sets of Autoantibodies: Anti-RBC and IgG3 RF Cryoglobulins -- Cross-talk between antibodies, IgG Fc receptors and the complement system -- Regulation of immunological responses by the neonatal Fc receptor for IgG, FcRn -- Antibody mediated regulation of humoral immunity -- Engineered antibody derivatives in preclinical and clinical development. |
Record Nr. | UNINA-9910437843403321 |
New York, : Springer, 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
PI3K and AKT Isoforms in Immunity : Mechanisms and Therapeutic Opportunities / / edited by Margarita Dominguez-Villar |
Edizione | [1st ed. 2022.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
Descrizione fisica | 1 online resource (462 pages) |
Disciplina | 616.079 |
Collana | Current Topics in Microbiology and Immunology |
Soggetto topico |
Immunology
Immune system Cellular signal transduction Cytology Autoimmunity Immunospecificity Immune Cell Signalling Cell Biology Adaptive Immunity Fosfatidilinositols Immunitat cel·lular |
Soggetto genere / forma | Llibres electrònics |
ISBN |
9783031065668
9783031065651 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Class I PI3K biology -- Class II PI3K biology -- Class III PI3K biology -- PTEN in immunity -- PHLPP Signaling in Immune Cells -- PHLPP Signaling in Immune Cells -- PI3K isoforms in cell signalling and innate immune cell responses -- AKT isoforms in macrophage activation, polarization and survival -- Control of CD4+ T cell Differentiation and Function by PI3K isoforms. -- PI3K isoforms in CD8+ T cell development and function -- PI3K isoforms in B cells -- PI3K isoform signalling in platelets -- PI3K isoforms in vascular biology, a focus on the vascular system-immune response connection -- PI3K and AKT at the Interface of Signaling and Metabolism -- The Role of PI3K Isoforms in Autoimmune Disease -- AKT Isoforms in the Immune Response in Cancer -- PI3K isoform immunotherapy for solid tumours -- PI3K targeting in non-solid cancer -- AKT isoforms as a target in cancer and immunotherapy -- Developing PI3K Inhibitors for Respiratory Diseases. |
Record Nr. | UNINA-9910617304203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|