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.
2018 MATRIX Annals [[electronic resource] /] / edited by Jan de Gier, Cheryl E. Praeger, Terence Tao
| 2018 MATRIX Annals [[electronic resource] /] / edited by Jan de Gier, Cheryl E. Praeger, Terence Tao |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXXII, 427 p. 5 illus., 4 illus. in color.) |
| Disciplina | 510 |
| Collana | MATRIX Book Series |
| Soggetto topico |
Algebraic geometry
Dynamics Ergodic theory Partial differential equations Category theory (Mathematics) Homological algebra Bioinformatics Computer science—Mathematics Algebraic Geometry Dynamical Systems and Ergodic Theory Partial Differential Equations Category Theory, Homological Algebra Computational Biology/Bioinformatics Mathematics of Computing |
| ISBN | 3-030-38230-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Non-Equilibrium Systems and Special Functions -- Algebraic Geometry, Approximation and Optimisation -- On the Frontiers of High Dimensional Computation -- Month of Mathematical Biology -- Dynamics, Foliations, and Geometry In Dimension 3 -- Recent Trends on Nonlinear PDEs of Elliptic and Parabolic Type -- Functional Data Analysis and Beyond -- Geometric and Categorical Representation Theory. . |
| Record Nr. | UNISA-996418268103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2018 MATRIX Annals / / edited by Jan de Gier, Cheryl E. Praeger, Terence Tao
| 2018 MATRIX Annals / / edited by Jan de Gier, Cheryl E. Praeger, Terence Tao |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXXII, 427 p. 5 illus., 4 illus. in color.) |
| Disciplina | 510 |
| Collana | MATRIX Book Series |
| Soggetto topico |
Algebraic geometry
Dynamics Ergodic theory Partial differential equations Category theory (Mathematics) Homological algebra Bioinformatics Computer science—Mathematics Algebraic Geometry Dynamical Systems and Ergodic Theory Partial Differential Equations Category Theory, Homological Algebra Computational Biology/Bioinformatics Mathematics of Computing |
| ISBN | 3-030-38230-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Non-Equilibrium Systems and Special Functions -- Algebraic Geometry, Approximation and Optimisation -- On the Frontiers of High Dimensional Computation -- Month of Mathematical Biology -- Dynamics, Foliations, and Geometry In Dimension 3 -- Recent Trends on Nonlinear PDEs of Elliptic and Parabolic Type -- Functional Data Analysis and Beyond -- Geometric and Categorical Representation Theory. . |
| Record Nr. | UNINA-9910483564303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli
| A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 329 p. 21 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Computer logic Computer programming Computer science—Mathematics Computers Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Mathematics of Computing Theory of Computation |
| ISBN |
1-280-38788-2
9786613565808 3-642-14309-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Twenty-Five Years of Logic Programming in Italy -- Logic Programming in Italy: A Historical Perspective -- Theoretical Foundations and Semantics of Logic Programming -- Theory-Specific Automated Reasoning -- Constraint Logic Programming -- Knowledge Representation and Non-monotonic Reasoning -- The Transformational Approach to Program Development -- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming -- Answer Set Programming -- Logic Programming Languages for Databases and the Web -- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic Programming in Italy. |
| Record Nr. | UNISA-996465635203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli
| A 25-Year Perspective on Logic Programming : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 329 p. 21 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Computer logic Computer programming Computer science—Mathematics Computers Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Mathematics of Computing Theory of Computation |
| ISBN |
1-280-38788-2
9786613565808 3-642-14309-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Twenty-Five Years of Logic Programming in Italy -- Logic Programming in Italy: A Historical Perspective -- Theoretical Foundations and Semantics of Logic Programming -- Theory-Specific Automated Reasoning -- Constraint Logic Programming -- Knowledge Representation and Non-monotonic Reasoning -- The Transformational Approach to Program Development -- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming -- Answer Set Programming -- Logic Programming Languages for Databases and the Web -- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic Programming in Italy. |
| Record Nr. | UNINA-9910483881603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract State Machines, Alloy, B and Z [[electronic resource] ] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings / / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
| Abstract State Machines, Alloy, B and Z [[electronic resource] ] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings / / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 416 p. 95 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Computer science—Mathematics Theory of Computation Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Mathematics of Computing |
| ISBN |
1-280-38571-5
9786613563637 3-642-11811-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A Structure for Dependability Arguments -- Formal Probabilistic Analysis: A Higher-Order Logic Based Approach -- ASM Papers -- Synchronous Message Passing and Semaphores: An Equivalence Proof -- AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps -- Bârun: A Scripting Language for CoreASM -- AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications -- An Executable Semantics of the SystemC UML Profile -- Alloy Papers -- Specifying Self-configurable Component-Based Systems with FracToy -- Trace Specifications in Alloy -- An Imperative Extension to Alloy -- Towards Formalizing Network Architectural Descriptions -- Lightweight Modeling of Java Virtual Machine Security Constraints -- Alloy+HotCore: A Fast Approximation to Unsat Core -- B Papers -- Supporting Reuse in Event B Development: Modularisation Approach -- Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance -- Applying the B Method for the Rigorous Development of Smart Card Applications -- Automatic Verification for a Class of Proof Obligations with SMT-Solvers -- A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking -- Development of a Synchronous Subset of AADL -- Matelas: A Predicate Calculus Common Formal Definition for Social Networking -- Structured Event-B Models and Proofs -- Refinement-Animation for Event-B — Towards a Method of Validation -- Reactivising Classical B -- Event-B Decomposition for Parallel Programs -- Z Papers -- Communication Systems in ClawZ -- Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods -- Towards Formally Templated Relational Database Representations in Z -- Translating Z to Alloy -- ABZ Short Papers (Abstracts) -- B-ASM: Specification of ASM à la B -- A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking -- On the Modelling and Analysis of Amazon Web Services Access Policies -- Architecture as an Independent Variable for Aspect-Oriented Application Descriptions -- ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models -- Introducing Specification-Based Data Structure Repair Using Alloy -- Secrecy UML Method for Model Transformations -- Improving Traceability between KAOS Requirements Models and B Specifications -- Code Synthesis for Timed Automata: A Comparison Using Case Study -- Towards Validation of Requirements Models -- A Proof Based Approach for Formal Verification of Transactional BPEL Web Services -- On an Extensible Rule-Based Prover for Event-B -- B Model Abstraction Combining Syntactic and Semantic Methods -- A Basis for Feature-Oriented Modelling in Event-B -- Using Event-B to Verify the Kmelia Components and Their Assemblies -- Starting B Specifications from Use Cases -- Integrating SMT-Solvers in Z and B Tools -- Formal Analysis in Model Management: Exploiting the Power of CZT. |
| Record Nr. | UNISA-996465641803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings / / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
| Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings / / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 416 p. 95 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Computer science—Mathematics Theory of Computation Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Mathematics of Computing |
| ISBN |
1-280-38571-5
9786613563637 3-642-11811-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A Structure for Dependability Arguments -- Formal Probabilistic Analysis: A Higher-Order Logic Based Approach -- ASM Papers -- Synchronous Message Passing and Semaphores: An Equivalence Proof -- AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps -- Bârun: A Scripting Language for CoreASM -- AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications -- An Executable Semantics of the SystemC UML Profile -- Alloy Papers -- Specifying Self-configurable Component-Based Systems with FracToy -- Trace Specifications in Alloy -- An Imperative Extension to Alloy -- Towards Formalizing Network Architectural Descriptions -- Lightweight Modeling of Java Virtual Machine Security Constraints -- Alloy+HotCore: A Fast Approximation to Unsat Core -- B Papers -- Supporting Reuse in Event B Development: Modularisation Approach -- Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance -- Applying the B Method for the Rigorous Development of Smart Card Applications -- Automatic Verification for a Class of Proof Obligations with SMT-Solvers -- A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking -- Development of a Synchronous Subset of AADL -- Matelas: A Predicate Calculus Common Formal Definition for Social Networking -- Structured Event-B Models and Proofs -- Refinement-Animation for Event-B — Towards a Method of Validation -- Reactivising Classical B -- Event-B Decomposition for Parallel Programs -- Z Papers -- Communication Systems in ClawZ -- Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods -- Towards Formally Templated Relational Database Representations in Z -- Translating Z to Alloy -- ABZ Short Papers (Abstracts) -- B-ASM: Specification of ASM à la B -- A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking -- On the Modelling and Analysis of Amazon Web Services Access Policies -- Architecture as an Independent Variable for Aspect-Oriented Application Descriptions -- ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models -- Introducing Specification-Based Data Structure Repair Using Alloy -- Secrecy UML Method for Model Transformations -- Improving Traceability between KAOS Requirements Models and B Specifications -- Code Synthesis for Timed Automata: A Comparison Using Case Study -- Towards Validation of Requirements Models -- A Proof Based Approach for Formal Verification of Transactional BPEL Web Services -- On an Extensible Rule-Based Prover for Event-B -- B Model Abstraction Combining Syntactic and Semantic Methods -- A Basis for Feature-Oriented Modelling in Event-B -- Using Event-B to Verify the Kmelia Components and Their Assemblies -- Starting B Specifications from Use Cases -- Integrating SMT-Solvers in Z and B Tools -- Formal Analysis in Model Management: Exploiting the Power of CZT. |
| Record Nr. | UNINA-9910483437903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract State Machines, Alloy, B, VDM, and Z [[electronic resource] ] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene
| Abstract State Machines, Alloy, B, VDM, and Z [[electronic resource] ] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XV, 378 p. 133 illus.) |
| Disciplina | 006.3/1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Theory of Computation Mathematics of Computing Discrete Mathematics in Computer Science |
| ISBN | 3-642-30885-6 |
| Classificazione | 54.53 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Contribution to a Rigorous Analysis of Web Application Frameworks / Egon Börger, Antonio Cisternino and Vincenzo Gervasi -- Integrated Operational Semantics: Small-Step, Big-Step and Multi-step / Ian J. Hayes and Robert J. Colvin -- Test Generation for Sequential Nets of Abstract State Machines / Paolo Arcaini, Francesco Bolis and Angelo Gargantini -- ASM and Controller Synthesis / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- Continuous ASM, and a Pacemaker Sensing Fragment / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- An ASM Model of Concurrency in a Web Browser / Vincenzo Gervasi -- Modeling the Supervisory Control Theory with Alloy / Benoît Fraikin, Marc Frappier and Richard St-Denis -- Preventing Arithmetic Overflows in Alloy / Aleksandar Milicevic and Daniel Jackson -- Extending Alloy with Partial Instances / Vajih Montaghami and Derek Rayside -- Toward a More Complete Alloy / Timothy Nelson, Daniel J. Dougherty, Kathi Fisler and Shriram Krishnamurthi -- Temporal Logic Model Checking in Alloy / Amirhossein Vakili and Nancy A. Day -- Active Attacking Multicast Key Management Protocol Using Alloy / Ting Wang and Dongyao Ji -- Formalizing Hybrid Systems with Event-B / Jean-Raymond Abrial, Wen Su and Huibiao Zhu -- SMT Solvers for Rodin / David Déharbe, Pascal Fontaine, Yoann Guyot and Laurent Voisin -- Refinement Plans for Informed Formal Design / Gudmund Grov, Andrew Ireland and Maria Teresa Llano -- Refinement by Interface Instantiation / Stefan Hallerstede and Thai Son Hoang -- Discharging Proof Obligations from Atelier B Using Multiple Automated Provers / David Mentré, Claude Marché, Jean-Christophe Filliâtre and Masashi Asuka -- A Semantic Analysis of Logics That Cope with Partial Terms / Cliff B. Jones, Matthew J. Lovert and L. Jason Steggles -- Combining VDM with Executable Code / Claus Ballegaard Nielsen, Kenneth Lausdahl and Peter Gorm Larsen -- Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions / Maximiliano Cristiá and Claudia Frydman -- A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams / Chris Marriott, Frank Zeyda and Ana Cavalcanti -- Verification of Hardware Interaction Properties of Software / Ramsay Taylor -- Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System / Matthes Elstermann, Detlef Seese and Albert Fleischmann -- A Unified Processor Model for Compiler Verification and Simulation Using ASM / Roland Lezuo and Andreas Krall -- Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs / Andrea Luzzana, Mattia Rossetti, Paolo Righettini and Patrizia Scandurra -- A Reliability Prediction Method for Abstract State Machines / Raffaela Mirandola, Pasqualina Potena and Patrizia Scandurra -- A Simplified Parallel ASM Thesis / Klaus-Dieter Schewe and Qing Wang -- Refactoring Abstract State Machine Models / Hamed Yaghoubi Shahir, Roozbeh Farahbod and Uwe Glässer -- Continuous Behaviour in Event-B: A Sketch / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- Formal Verification of PLC Programs Using the B Method / Haniel Barbosa and David Déharbe -- A Practical Event-B Refinement Method Based on a UML-Driven Development Process / Thiago C. de Sousa, Paulo Sérgio Muniz Silva and Colin F. Snook -- Learn and Test for Event-B -- A Rodin Plugin / Ionut Dinca, Florentin Ipate, Laurentiu Mierla and Alin Stefanescu -- Event-B Code Generation: Type Extension with Theories / Andrew Edmunds, Michael Butler, Issam Maamria, Renato Silva and Chris Lovell -- Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project / Denis Sabatier, Lilian Burdy, Antoine Requet and Jérôme Guéry -- A Pattern for Modelling Fault Tolerant Systems in Event-B / Gintautas Sulskus and Michael Poppleton. |
| Record Nr. | UNISA-996465312903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Computing Technologies and Applications [[electronic resource] ] : Proceedings of 2nd International Conference on Advanced Computing Technologies and Applications—ICACTA 2020 / / edited by Hari Vasudevan, Antonis Michalas, Narendra Shekokar, Meera Narvekar
| Advanced Computing Technologies and Applications [[electronic resource] ] : Proceedings of 2nd International Conference on Advanced Computing Technologies and Applications—ICACTA 2020 / / edited by Hari Vasudevan, Antonis Michalas, Narendra Shekokar, Meera Narvekar |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVIII, 701 p. 336 illus., 240 illus. in color.) |
| Disciplina | 004 |
| Collana | Algorithms for Intelligent Systems |
| Soggetto topico |
Applied mathematics
Engineering mathematics Statistics Computer science—Mathematics Robotics Mathematical and Computational Engineering Statistics and Computing/Statistics Programs Mathematics of Computing |
| ISBN | 981-15-3242-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Career counselling chatbot using cognitive science and artificial intelligence -- IndoorNet: Generating Indoor Layouts from a Single Panorama Image -- Area Analysis for Dengue Prediction -- Chest pathology detection using medical imaging -- Proposed Infrastructure for Census Enumeration and Internet Voting Application in Digital India with Multichain Blockchain -- Deep Learning Challenges in Medical Imaging -- A Brief Survey of Sentiment Analysis -- Efficacy Analysis of Technology Approaches towards Auto Assignment of Clinical Codes to the US Patient Medical Record -- Reference Model Storage Covert channel for Secure Communications -- Automated Scoring System for Online Discussion Forum using Machine Learning and Similarity Measure -- Blockchain Powered Real Estate System -- A Novel Design for Voice-Enabled Home Automation and Personalized Recommendation System. |
| Record Nr. | UNINA-9910403766903321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Concepts for Intelligent Vision Systems [[electronic resource] ] : 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings / / edited by Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders
| Advanced Concepts for Intelligent Vision Systems [[electronic resource] ] : 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings / / edited by Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 635 p. 275 illus.) |
| Disciplina | 006.37 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Optical data processing
Artificial intelligence Computers Data structures (Computer science) Software engineering Computer science—Mathematics Image Processing and Computer Vision Artificial Intelligence Information Systems and Communication Service Data Structures and Information Theory Software Engineering/Programming and Operating Systems Mathematics of Computing |
| ISBN | 3-030-01449-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Video Analysis -- Improving a Switched Vector Field Model for Pedestrian Motion Analysis -- Matrix Descriptor of Changes (MDC): Activity Recognition Based on Skeleton -- Person Re-identification with a Body Orientation-Specific Convolutional Neural Network -- Distributed Estimation of Vector Fields -- Clustering Based Reference Normal Pose for Improved Expression Recognition -- Detecting and Recognizing Salient Object in Videos -- Directional Beams of Dense Trajectories for Dynamic Texture Recognition -- Intrinsic Calibration of a Camera to a Line-Structured Light using a Single View of Two Spheres -- 3D Object-Camera and 3D Face-Camera Pose Estimation For Quadcopter Control: Application To Remote Labs -- Orthogonally-Divergent Fisheye Stereo -- Two-Camera Synchronization and Trajectory Reconstruction for a Touch Screen Usability Experiment -- Segmentation and classification -- Comparison of Co-segmentation Methods for Wildlife Photo-identification -- An Efficient Agglomerative Algorithm Cooperating with Louvain Method for Implementing Image Segmentation -- Robust Feature Descriptors For Object Segmentation Using Active Shape Models -- Foreground Background Segmentation in Front of Changing Footage on a Video Screen -- Multi-organ Segmentation of Chest CT Images in Radiation Oncology: Comparison of Standard and Dilated UNet -- Diffuse Low Grade Glioma NMR Assessment for Better Intra-operative Targeting Using Fuzzy Logic -- Identification of Saimaa rRnged Seal Individuals using Transfer Learning -- Remote sensing -- Enhanced Codebook Model and Fusion for Object Detection with Multispectral Images -- Unsupervised Perception Model for UAVs Landing Target Detection and Recognition -- Parallel and Distributed Local Fisher Discriminant Analysis to reduce Hyperspectral Images on Cloud Computing Architectures -- Bayesian Vehicle Detection using Optical Remote Sensing Images -- Integrating UAV in IoT for RoI Classification in Remote Images -- Biometrics -- Enhanced Line Local Binary Patterns (EL-LBP): An Efficient Image Representation for Face Recognition -- Single Sample Face Recognition by Sparse Recovery of Deep-learned Ida Features -- Recursive Chaining of Reversible Image-to-image Translators for Face Aging -- Automatically Selecting the Best Pictures for an Individualized Child Photo Album -- Face Detection in Painting using Deep Convolutional Neural Networks -- Robust Geodesic Skeleton Estimation from Body Single Depth -- Deep Learning -- Analysis of Neural Codes for Near-Duplicate Detection -- Optimum Network/Framework Selection from High-Level Specifications in Embedded Deep Learning Vision Applications -- Contour Propagation in CT scans with Convolutional Neural Networks -- Person Re-identification using Group Context -- Fingerprint Classification using Conic Radon Transform and Convolutional Neural Networks -- NoiseNet: Signal-dependent Noise Variance Estimation with Convolutional Neural Network -- Effective Training of Convolutional Neural Networks for Insect Image Recognition -- A Deep Learning Approach to Hair Segmentation and Color Extraction from Facial Images -- Learning Morphological Operators for Depth Completion -- Dealing with Topological Information within a Fully Convolutional Neural Network -- Coding and Compression -- L-infinite Predictive Coding of Depth -- An Application of Data Compression Models to Handwritten Digit Classification -- A Global Decoding Strategy with a Reduced-reference Metric Designed for the Wireless Transmission of JPWL -- Reconfigurable FPGA Implementation of the AVC Quantiser and Dequantiser Blocks -- Image Restauration and Reconstruction -- Large Parallax Image Stitching Using an Edge-Preserving Diffeomorphic Warping Process -- A Wavelet Based Image Fusion Method using Local Multiscale Image Regularity -- Optimising Data for Exemplar-based Inpainting -- Fast Light Field inpainting Propagation using Angular Warping and Color-guided Disparity Interpolation -- Fusing Omnidirectional Visual Data for Probability Matching Prediction -- Derivative Half Gaussian Kernels and Shock Filter -- Scanner Model Identification of Official Documents Using Noise Parameters Estimation in the Wavelet Domain -- Relocated Colour Contrast Occurrence Matrix and Adapted Similarity Measure for Colour Texture Retrieval -- I-HAZE: a Dehazing Benchmark with Real Hazy and Haze-free Indoor Images. |
| Record Nr. | UNISA-996466180803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Concepts for Intelligent Vision Systems : 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings / / edited by Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders
| Advanced Concepts for Intelligent Vision Systems : 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings / / edited by Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 635 p. 275 illus.) |
| Disciplina | 006.37 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Optical data processing
Artificial intelligence Computers Data structures (Computer science) Software engineering Computer science—Mathematics Image Processing and Computer Vision Artificial Intelligence Information Systems and Communication Service Data Structures and Information Theory Software Engineering/Programming and Operating Systems Mathematics of Computing |
| ISBN | 3-030-01449-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Video Analysis -- Improving a Switched Vector Field Model for Pedestrian Motion Analysis -- Matrix Descriptor of Changes (MDC): Activity Recognition Based on Skeleton -- Person Re-identification with a Body Orientation-Specific Convolutional Neural Network -- Distributed Estimation of Vector Fields -- Clustering Based Reference Normal Pose for Improved Expression Recognition -- Detecting and Recognizing Salient Object in Videos -- Directional Beams of Dense Trajectories for Dynamic Texture Recognition -- Intrinsic Calibration of a Camera to a Line-Structured Light using a Single View of Two Spheres -- 3D Object-Camera and 3D Face-Camera Pose Estimation For Quadcopter Control: Application To Remote Labs -- Orthogonally-Divergent Fisheye Stereo -- Two-Camera Synchronization and Trajectory Reconstruction for a Touch Screen Usability Experiment -- Segmentation and classification -- Comparison of Co-segmentation Methods for Wildlife Photo-identification -- An Efficient Agglomerative Algorithm Cooperating with Louvain Method for Implementing Image Segmentation -- Robust Feature Descriptors For Object Segmentation Using Active Shape Models -- Foreground Background Segmentation in Front of Changing Footage on a Video Screen -- Multi-organ Segmentation of Chest CT Images in Radiation Oncology: Comparison of Standard and Dilated UNet -- Diffuse Low Grade Glioma NMR Assessment for Better Intra-operative Targeting Using Fuzzy Logic -- Identification of Saimaa rRnged Seal Individuals using Transfer Learning -- Remote sensing -- Enhanced Codebook Model and Fusion for Object Detection with Multispectral Images -- Unsupervised Perception Model for UAVs Landing Target Detection and Recognition -- Parallel and Distributed Local Fisher Discriminant Analysis to reduce Hyperspectral Images on Cloud Computing Architectures -- Bayesian Vehicle Detection using Optical Remote Sensing Images -- Integrating UAV in IoT for RoI Classification in Remote Images -- Biometrics -- Enhanced Line Local Binary Patterns (EL-LBP): An Efficient Image Representation for Face Recognition -- Single Sample Face Recognition by Sparse Recovery of Deep-learned Ida Features -- Recursive Chaining of Reversible Image-to-image Translators for Face Aging -- Automatically Selecting the Best Pictures for an Individualized Child Photo Album -- Face Detection in Painting using Deep Convolutional Neural Networks -- Robust Geodesic Skeleton Estimation from Body Single Depth -- Deep Learning -- Analysis of Neural Codes for Near-Duplicate Detection -- Optimum Network/Framework Selection from High-Level Specifications in Embedded Deep Learning Vision Applications -- Contour Propagation in CT scans with Convolutional Neural Networks -- Person Re-identification using Group Context -- Fingerprint Classification using Conic Radon Transform and Convolutional Neural Networks -- NoiseNet: Signal-dependent Noise Variance Estimation with Convolutional Neural Network -- Effective Training of Convolutional Neural Networks for Insect Image Recognition -- A Deep Learning Approach to Hair Segmentation and Color Extraction from Facial Images -- Learning Morphological Operators for Depth Completion -- Dealing with Topological Information within a Fully Convolutional Neural Network -- Coding and Compression -- L-infinite Predictive Coding of Depth -- An Application of Data Compression Models to Handwritten Digit Classification -- A Global Decoding Strategy with a Reduced-reference Metric Designed for the Wireless Transmission of JPWL -- Reconfigurable FPGA Implementation of the AVC Quantiser and Dequantiser Blocks -- Image Restauration and Reconstruction -- Large Parallax Image Stitching Using an Edge-Preserving Diffeomorphic Warping Process -- A Wavelet Based Image Fusion Method using Local Multiscale Image Regularity -- Optimising Data for Exemplar-based Inpainting -- Fast Light Field inpainting Propagation using Angular Warping and Color-guided Disparity Interpolation -- Fusing Omnidirectional Visual Data for Probability Matching Prediction -- Derivative Half Gaussian Kernels and Shock Filter -- Scanner Model Identification of Official Documents Using Noise Parameters Estimation in the Wavelet Domain -- Relocated Colour Contrast Occurrence Matrix and Adapted Similarity Measure for Colour Texture Retrieval -- I-HAZE: a Dehazing Benchmark with Real Hazy and Haze-free Indoor Images. |
| Record Nr. | UNINA-9910349406003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Mathematics of Computing
(1050)
- Computer science—Mathematics (885)
- Artificial Intelligence (463)
- Artificial intelligence (463)
- Theory of Computation (433)