AI 2019: Advances in Artificial Intelligence [[electronic resource] ] : 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2–5, 2019, Proceedings / / edited by Jixue Liu, James Bailey |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (622 pages) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computers Application software Optical data processing Computer organization Artificial Intelligence Information Systems and Communication Service Computer Applications Computer Imaging, Vision, Pattern Recognition and Graphics Computer Systems Organization and Communication Networks Theory of Computation |
ISBN | 3-030-35288-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Game and multiagent systems -- Knowledge acquisition, representation, reasoning -- Machine learning and applications -- Natural language processing and text analytics -- Optimization and evolutionary computing -- Image processing. |
Record Nr. | UNINA-9910357841403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algebraic Frames for the Perception-Action Cycle [[electronic resource] ] : International Workshop, AFPAC'97, Kiel, Germany, September 8-9, 1997, Proceedings / / edited by Gerald Sommer, Jan J. Koenderink |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (VIII, 404 p.) |
Disciplina | 006.3/7 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Optical data processing
Application software Computer graphics Artificial intelligence Pattern recognition Control engineering Robotics Mechatronics Image Processing and Computer Vision Computer Applications Computer Graphics Artificial Intelligence Pattern Recognition Control, Robotics, Mechatronics |
ISBN | 3-540-69589-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algebraic aspects of designing behavior based systems -- From multidimensional signals to the generation of responses -- Perception and action using multilinear forms -- Local image operators and iconic structure -- On automatic selection of temporal scales in time-causal scale-space -- Some applications of representations of lie algebras and lie groups -- A systematic approach to geometry-based grouping and non-accidentalness -- Multi-dimensional signal processing using an algebraically extended signal representation -- On Hestenes' formalization for describing linear image transforms -- Fractal basis functions for pattern recognition -- Trilinear tensor: The fundamental construct of multiple-view geometry and its applications -- Algebraic and geometric tools to compute projective and permutation invariants -- A unified language for computer vision and robotics -- Structure from translational observer motion -- The geometry of visual space distortion -- The cascaded Hough transform as support for grouping and finding vanishing points and lines -- Visual perception strategies for 3D reconstruction -- Statistical optimization and geometric visual inference -- Path prediction and classification based on non-linear filtering -- Bottom-up derivation of the qualitatively different behaviors of a car across varying spatio-temporal scales: A study in abstraction of goal-directed motion -- Neural network approaches for perception and action -- Geometric neural networks. |
Record Nr. | UNISA-996465494603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algebraic Frames for the Perception-Action Cycle [[electronic resource] ] : International Workshop, AFPAC'97, Kiel, Germany, September 8-9, 1997, Proceedings / / edited by Gerald Sommer, Jan J. Koenderink |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (VIII, 404 p.) |
Disciplina | 006.3/7 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Optical data processing
Application software Computer graphics Artificial intelligence Pattern recognition Control engineering Robotics Mechatronics Image Processing and Computer Vision Computer Applications Computer Graphics Artificial Intelligence Pattern Recognition Control, Robotics, Mechatronics |
ISBN | 3-540-69589-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algebraic aspects of designing behavior based systems -- From multidimensional signals to the generation of responses -- Perception and action using multilinear forms -- Local image operators and iconic structure -- On automatic selection of temporal scales in time-causal scale-space -- Some applications of representations of lie algebras and lie groups -- A systematic approach to geometry-based grouping and non-accidentalness -- Multi-dimensional signal processing using an algebraically extended signal representation -- On Hestenes' formalization for describing linear image transforms -- Fractal basis functions for pattern recognition -- Trilinear tensor: The fundamental construct of multiple-view geometry and its applications -- Algebraic and geometric tools to compute projective and permutation invariants -- A unified language for computer vision and robotics -- Structure from translational observer motion -- The geometry of visual space distortion -- The cascaded Hough transform as support for grouping and finding vanishing points and lines -- Visual perception strategies for 3D reconstruction -- Statistical optimization and geometric visual inference -- Path prediction and classification based on non-linear filtering -- Bottom-up derivation of the qualitatively different behaviors of a car across varying spatio-temporal scales: A study in abstraction of goal-directed motion -- Neural network approaches for perception and action -- Geometric neural networks. |
Record Nr. | UNINA-9910768183303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algorithmic Decision Theory [[electronic resource] ] : 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings / / edited by Saša Pekeč, Kristen Brent Venable |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (VIII, 181 p. 578 illus., 18 illus. in color.) |
Disciplina | 658.403 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Application software Artificial Intelligence Mathematics of Computing Computer Applications |
ISBN | 3-030-31489-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910392724603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algorithmic Decision Theory [[electronic resource] ] : 6th International Conference, ADT 2019, Durham, NC, USA, October 25–27, 2019, Proceedings / / edited by Saša Pekeč, Kristen Brent Venable |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (VIII, 181 p. 578 illus., 18 illus. in color.) |
Disciplina | 658.403 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer science—Mathematics Application software Artificial Intelligence Mathematics of Computing Computer Applications |
ISBN | 3-030-31489-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466422503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithms - ESA 2000 [[electronic resource] ] : 8th Annual European Symposium Saarbrücken, Germany, September 5-8, 2000 Proceedings / / edited by Mike Paterson |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 450 p.) |
Disciplina | 004.015118 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Data structures (Computer science) Application software Algorithms Computer graphics Programming Techniques Data Structures and Information Theory Computer Applications Algorithm Analysis and Problem Complexity Data Structures Computer Graphics |
ISBN | 3-540-45253-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Web Information Retrieval - an Algorithmic Perspective -- Computational Biology — Algorithms and More -- Contributed Papers -- Polygon Decomposition for Efficient Construction of Minkowski Sums -- An Approximation Algorithm for Hypergraph Max k-Cut with Given Sizes of Parts -- Offline List Update is NP-hard -- Computing Largest Common Point Sets under Approximate Congruence -- Online Algorithms for Caching Multimedia Streams -- On Recognizing Cayley Graphs -- Fast Algorithms for Even/Odd Minimum Cuts and Generalizations -- Efficient Algorithms for Centers and Medians in Interval and Circular-Arc Graphs -- Exact Point Pattern Matching and the Number of Congruent Triangles in a Three-Dimensional Pointset -- Range Searching over Tree Cross Products -- A 2 1/10-Approximation Algorithm for a Generalization of the Weighted Edge-Dominating Set Problem -- The Minimum Range Assignment Problem on Linear Radio Networks -- Property Testing in Computational Geometry -- On R-Trees with Low Stabbing Number -- K-D Trees Are Better when Cut on the Longest Side -- On Multicriteria Online Problems -- Online Scheduling Revisited -- Constant Ratio Approximation Algorithms for the Rectangle Stabbing Problem and the Rectilinear Partitioning Problem -- I/O-Efficient Well-Separated Pair Decomposition and Its Applications -- Higher Order Delaunay Triangulations -- On Representations of Algebraic-Geometric Codes for List Decoding -- Minimizing a Convex Cost Closure Set -- Preemptive Scheduling with Rejection -- Simpler and Faster Vertex-Connectivity Augmentation Algorithms -- Scheduling Broadcasts in Wireless Networks -- Jitter Regulation in an Internet Router with Delay Consideration -- Approximation of Curvature-Constrained Shortest Paths through a Sequence of Points -- Resource Constrained Shortest Paths -- On the Competitiveness of Linear Search -- Maintaining a Minimum Spanning Tree under Transient Node Failures -- Minimum Depth Graph Embedding -- New Algorithms for Two-Label Point Labeling -- Analysing the Cache Behaviour of Non-uniform Distribution Sorting Algorithms -- How Helpers Hasten h-Relations -- Computing Optimal Linear Layouts of Trees in Linear Time -- Coloring Sparse Random Graphs in Polynomial Average Time -- Restarts Can Help in the On-Line Minimization of the Maximum Delivery Time on a Single Machine -- Collision Detection Using Bounding Boxes: Convexity Helps. |
Record Nr. | UNINA-9910143623603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Algorithms - ESA 2000 [[electronic resource] ] : 8th Annual European Symposium Saarbrücken, Germany, September 5-8, 2000 Proceedings / / edited by Mike Paterson |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 450 p.) |
Disciplina | 004.015118 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Data structures (Computer science) Application software Algorithms Computer graphics Programming Techniques Data Structures and Information Theory Computer Applications Algorithm Analysis and Problem Complexity Data Structures Computer Graphics |
ISBN | 3-540-45253-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Web Information Retrieval - an Algorithmic Perspective -- Computational Biology — Algorithms and More -- Contributed Papers -- Polygon Decomposition for Efficient Construction of Minkowski Sums -- An Approximation Algorithm for Hypergraph Max k-Cut with Given Sizes of Parts -- Offline List Update is NP-hard -- Computing Largest Common Point Sets under Approximate Congruence -- Online Algorithms for Caching Multimedia Streams -- On Recognizing Cayley Graphs -- Fast Algorithms for Even/Odd Minimum Cuts and Generalizations -- Efficient Algorithms for Centers and Medians in Interval and Circular-Arc Graphs -- Exact Point Pattern Matching and the Number of Congruent Triangles in a Three-Dimensional Pointset -- Range Searching over Tree Cross Products -- A 2 1/10-Approximation Algorithm for a Generalization of the Weighted Edge-Dominating Set Problem -- The Minimum Range Assignment Problem on Linear Radio Networks -- Property Testing in Computational Geometry -- On R-Trees with Low Stabbing Number -- K-D Trees Are Better when Cut on the Longest Side -- On Multicriteria Online Problems -- Online Scheduling Revisited -- Constant Ratio Approximation Algorithms for the Rectangle Stabbing Problem and the Rectilinear Partitioning Problem -- I/O-Efficient Well-Separated Pair Decomposition and Its Applications -- Higher Order Delaunay Triangulations -- On Representations of Algebraic-Geometric Codes for List Decoding -- Minimizing a Convex Cost Closure Set -- Preemptive Scheduling with Rejection -- Simpler and Faster Vertex-Connectivity Augmentation Algorithms -- Scheduling Broadcasts in Wireless Networks -- Jitter Regulation in an Internet Router with Delay Consideration -- Approximation of Curvature-Constrained Shortest Paths through a Sequence of Points -- Resource Constrained Shortest Paths -- On the Competitiveness of Linear Search -- Maintaining a Minimum Spanning Tree under Transient Node Failures -- Minimum Depth Graph Embedding -- New Algorithms for Two-Label Point Labeling -- Analysing the Cache Behaviour of Non-uniform Distribution Sorting Algorithms -- How Helpers Hasten h-Relations -- Computing Optimal Linear Layouts of Trees in Linear Time -- Coloring Sparse Random Graphs in Polynomial Average Time -- Restarts Can Help in the On-Line Minimization of the Maximum Delivery Time on a Single Machine -- Collision Detection Using Bounding Boxes: Convexity Helps. |
Record Nr. | UNISA-996465408103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Analysis of biological processes [[electronic resource] ] : Verbal description, schemes, and mathematical models / / by Alfonsas Juška |
Autore | Juška Alfonsas |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (170 p.) |
Disciplina | 610 |
Soggetto topico |
Medicine
Bioinformatics Applied mathematics Engineering mathematics Application software Biomedicine, general Applications of Mathematics Computer Applications |
ISBN | 94-017-7373-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Preface; Contents; 1 Introduction; 1.1 Formulation and Formalisation of the Problem; 1.2 The Problems Analyzed in the Book; 1.3 Summary; References; Part I Analysis, Modeling, Model Fitting and Verification; 2 Analysis & Modeling; 2.1 Introduction; 2.2 Analysis; 2.3 Modeling; 2.3.1 Unidirectional Transitions; 2.3.2 Feedback; 2.3.3 Non-Temporary Action of External Stimuli on the Transitions; 2.4 Preparation of the Data Set to Compare It with the Model; 2.5 Discussion; 2.6 Conclusions; References; 3 Model Fitting & Verification; 3.1 Introduction
3.2 Model Fitting (Comparing the Model with Experimental Data)3.3 Verification (Further Comparing); 3.4 Discussion; 3.5 Conclusions; References; Part II The Processes; 4 Transitions; 4.1 Introduction; 4.2 Transitions; 4.2.1 Unidirectional Single-Step Transitions; 4.2.2 Ion Leakage via Cellular Membranes; 4.2.3 Unidirectional Multi-Step Transitions; 4.2.4 Simple Bi-Directional Transitions; 4.3 Discussion; References; 5 Non-Controlled Ion Fluxes Between Cellular Compartments; 5.1 Introduction; 5.2 Modeling; 5.3 Discussion; 5.3.1 Intra-Cellular Calcium Re-Distribution 5.3.2 Possible Mechanisms and Pathways of the Fluxes not Considered HereReferences; 6 Controlled Ion Fluxes Between Cellular Compartments; 6.1 Introduction; 6.2 Modeling; 6.2.1 Choride Efflux via the Exchanger; 6.2.2 Calcium Extrusion from the Cytosol of Platelets; 6.3 Discussion; References; 7 Growth and Decline of Microbial Populations; 7.1 Introduction; 7.2 General Considerations and Simplest Models; 7.2.1 Analysis of the Rate of Change in Population Size; 7.2.2 Further Change in Population Size; 7.2.3 Mathematical Models and Model Comparing with Experimental Data 7.3 Discussion, Model Modifications and Further Fitting7.4 Conclusions; Appendix A; References; Part III Non-Temporal Dependences; 8 (Bio)Chemical Kinetics; 8.1 Introduction; 8.2 Modeling; 8.2.1 One Ligand (Model A); 8.2.2 Two Ligands; 8.3 Discussion; 8.3.1 Two Ligands: The Ternary Complex; 8.3.2 Two Ligands: Three-States Models of the Transitions; 8.4 Conclusions; References; 9 Non-Classical (Bio)Chemical Kinetics not Requiring Multitude of Structural Ligand-Binding Sites; 9.1 Introduction; 9.2 Modelling and Analysis; 9.2.1 Main Assumptions 9.2.2 No Restrictions Imposed on Ligand Concentration9.2.3 High Ligand Concentration; 9.2.3.1 Formal Model; 9.2.3.2 Model Based on Recovery; 9.3 Model Analysis; 9.3.1 Model A; 9.3.2 Models B and C; 9.3.2.1 Enzyme Kinetics; 9.3.2.2 Receptor Kinetics; 9.3.2.3 Ligand-Binding Site(s); 9.3.2.4 Implications of the Model; 9.4 Conclusions; References; 10 The Deviations from Classical Kinetics Determined by Multitude of Binding Sites; 10.1 Introduction; 10.2 General Considerations; 10.2.1 Conformational States of the (Macro)molecule, Transitions and Dose-response; 10.2.2 Main Assumptions 10.3 Modelling and Analysis |
Record Nr. | UNINA-9910298449203321 |
Juška Alfonsas
![]() |
||
Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Android Fragments [[electronic resource] /] / by Dave MacLean, Satya Komatineni |
Autore | MacLean Dave |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2014 |
Descrizione fisica | 1 online resource (131 p.) |
Disciplina | 005.1 |
Soggetto topico |
Mobile computing
Application software Mobile Computing Computer Applications |
ISBN | 1-4842-0853-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910300477403321 |
MacLean Dave
![]() |
||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Android Game Recipes / / by Jerome DiMarzio |
Autore | DiMarzio Jerome |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2013 |
Descrizione fisica | 1 online resource (XIX, 256 p. 31 illus.) |
Disciplina | 004 |
Soggetto topico |
Computer games—Programming
Application software Game Development Computer Applications |
ISBN | 1-4302-5765-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910437973903321 |
DiMarzio Jerome
![]() |
||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|