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.
Computers and Games [[electronic resource] ] : 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers / / edited by H. Jaap van den Herik, Yngvi Björnsson, Nathan S. Netanyahu
| Computers and Games [[electronic resource] ] : 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers / / edited by H. Jaap van den Herik, Yngvi Björnsson, Nathan S. Netanyahu |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XIV, 334 p.) |
| Disciplina | 000 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer science—Mathematics Discrete mathematics Numerical analysis Mathematical statistics Artificial intelligence Algorithms Computer Science Discrete Mathematics in Computer Science Numerical Analysis Probability and Statistics in Computer Science Artificial Intelligence |
| ISBN | 3-540-32489-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Efficient Control of Selective Simulations -- Game-Tree Search with Adaptation in Stochastic Imperfect-Information Games -- Rediscovering *-Minimax Search -- *-Minimax Performance in Backgammon -- Associating Shallow and Selective Global Tree Search with Monte Carlo for 9 × 9 Go -- Learning to Estimate Potential Territory in the Game of Go -- An Improved Safety Solver for Computer Go -- Searching for Compound Goals Using Relevancy Zones in the Game of Go -- Rule-Tolerant Verification Algorithms for Completeness of Chinese-Chess Endgame Databases -- An External-Memory Retrograde Analysis Algorithm -- Generating an Opening Book for Amazons -- Building a World-Champion Arimaa Program -- Blockage Detection in Pawn Endings -- Dao: A Benchmark Game -- Incremental Transpositions -- Kayles on the Way to the Stars -- Searching over Metapositions in Kriegspiel -- The Relative History Heuristic -- Locally Informed Global Search for Sums of Combinatorial Games -- Current Challenges in Multi-player Game Search -- Preventing Look-Ahead Cheating with Active Objects -- Strategic Interactions in the TAC 2003 Supply Chain Tournament. |
| Record Nr. | UNINA-9910483512803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computers and Games [[electronic resource] ] : Third International Conference, CG 2002, Edmonton, Canada, July 25-27, 2002, Revised Papers / / edited by Jonathan Schaeffer, Martin Müller, Yngvi Björnsson
| Computers and Games [[electronic resource] ] : Third International Conference, CG 2002, Edmonton, Canada, July 25-27, 2002, Revised Papers / / edited by Jonathan Schaeffer, Martin Müller, Yngvi Björnsson |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 436 p.) |
| Disciplina | 794.8/1416 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computer science—Mathematics Data structures (Computer science) Algorithms Numerical analysis Mathematical statistics Popular Computer Science Discrete Mathematics in Computer Science Data Structures Algorithm Analysis and Problem Complexity Numeric Computing Probability and Statistics in Computer Science |
| ISBN | 3-540-40031-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1: Evaluation and Learning -- Distinguishing Gamblers from Investors at the Blackjack Table -- MOUSE(?): A Self-teaching Algorithm that Achieved Master-Strength at Othello -- Investigation of an Adaptive Cribbage Player -- Learning a Game Strategy Using Pattern-Weights and Self-play -- 2: Search -- PDS-PN: A New Proof-Number Search Algorithm -- A Generalized Threats Search Algorithm -- Proof-Set Search -- A Comparison of Algorithms for Multi-player Games -- Selective Search in an Amazons Program -- Playing Games with Multiple Choice Systems -- The Neural MoveMap Heuristic in Chess -- Board Maps and Hill-Climbing for Opening and Middle Game Play in Shogi -- 3: Combinatorial Games/Theory -- Solitaire Clobber -- Complexity of Error-Correcting Codes Derived from Combinatorial Games -- Analysis of Composite Corridors -- 4: Opening/Endgame Databases -- New Winning and Losing Positions for 7×7 Hex -- Position-Value Representation in Opening Books -- Indefinite Sequence of Moves in Chinese Chess Endgames -- 5: Commercial Games -- ORTS: A Hack-Free RTS Game Environment -- Causal Normalization: A Methodology for Coherent Story Logic Design in Computer Role-Playing Games -- A Structure for Modern Computer Narratives -- 6: Single-Agent Search/Planning -- Tackling Post’s Correspondence Problem -- Perimeter Search Performance -- Using Abstraction for Planning in Sokoban -- 7: Computer Go -- A Small Go Board Study of Metric and Dimensional Evaluation Functions -- Local Move Prediction in Go -- Evaluating Kos in a Neutral Threat Environment: Preliminary Results. |
| Record Nr. | UNINA-9910144213003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computers and Games [[electronic resource] ] : Third International Conference, CG 2002, Edmonton, Canada, July 25-27, 2002, Revised Papers / / edited by Jonathan Schaeffer, Martin Müller, Yngvi Björnsson
| Computers and Games [[electronic resource] ] : Third International Conference, CG 2002, Edmonton, Canada, July 25-27, 2002, Revised Papers / / edited by Jonathan Schaeffer, Martin Müller, Yngvi Björnsson |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 436 p.) |
| Disciplina | 794.8/1416 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computer science—Mathematics Data structures (Computer science) Algorithms Numerical analysis Mathematical statistics Popular Computer Science Discrete Mathematics in Computer Science Data Structures Algorithm Analysis and Problem Complexity Numeric Computing Probability and Statistics in Computer Science |
| ISBN | 3-540-40031-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1: Evaluation and Learning -- Distinguishing Gamblers from Investors at the Blackjack Table -- MOUSE(?): A Self-teaching Algorithm that Achieved Master-Strength at Othello -- Investigation of an Adaptive Cribbage Player -- Learning a Game Strategy Using Pattern-Weights and Self-play -- 2: Search -- PDS-PN: A New Proof-Number Search Algorithm -- A Generalized Threats Search Algorithm -- Proof-Set Search -- A Comparison of Algorithms for Multi-player Games -- Selective Search in an Amazons Program -- Playing Games with Multiple Choice Systems -- The Neural MoveMap Heuristic in Chess -- Board Maps and Hill-Climbing for Opening and Middle Game Play in Shogi -- 3: Combinatorial Games/Theory -- Solitaire Clobber -- Complexity of Error-Correcting Codes Derived from Combinatorial Games -- Analysis of Composite Corridors -- 4: Opening/Endgame Databases -- New Winning and Losing Positions for 7×7 Hex -- Position-Value Representation in Opening Books -- Indefinite Sequence of Moves in Chinese Chess Endgames -- 5: Commercial Games -- ORTS: A Hack-Free RTS Game Environment -- Causal Normalization: A Methodology for Coherent Story Logic Design in Computer Role-Playing Games -- A Structure for Modern Computer Narratives -- 6: Single-Agent Search/Planning -- Tackling Post’s Correspondence Problem -- Perimeter Search Performance -- Using Abstraction for Planning in Sokoban -- 7: Computer Go -- A Small Go Board Study of Metric and Dimensional Evaluation Functions -- Local Move Prediction in Go -- Evaluating Kos in a Neutral Threat Environment: Preliminary Results. |
| Record Nr. | UNISA-996465812403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
CONCUR 2013 -- Concurrency Theory [[electronic resource] ] : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Pedro R. D'Argenio, Hernan Melgratti
| CONCUR 2013 -- Concurrency Theory [[electronic resource] ] : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Pedro R. D'Argenio, Hernan Melgratti |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 562 p. 83 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Computer Science Logic and Foundations of Programming Software Engineering Probability and Statistics in Computer Science |
| ISBN | 3-642-40184-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Process Semantics and Modal Transition Systems.- VAS and Pushdown Systems.- Pi Calculus and Interaction Nets -- Linearizability and Verification of Concurrent Programs -- Verification of Infinite Models, Model Measure and Reversibility.- Stochastic Models.- Message-Based Interacting Processes.- Principles of Automatic Verification -- Games and Control Synthesis. |
| Record Nr. | UNISA-996466032403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
CONCUR 2013 -- Concurrency Theory [[electronic resource] ] : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Pedro R. D'Argenio, Hernan Melgratti
| CONCUR 2013 -- Concurrency Theory [[electronic resource] ] : 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Pedro R. D'Argenio, Hernan Melgratti |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 562 p. 83 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Computer Science Logic and Foundations of Programming Software Engineering Probability and Statistics in Computer Science |
| ISBN | 3-642-40184-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Process Semantics and Modal Transition Systems.- VAS and Pushdown Systems.- Pi Calculus and Interaction Nets -- Linearizability and Verification of Concurrent Programs -- Verification of Infinite Models, Model Measure and Reversibility.- Stochastic Models.- Message-Based Interacting Processes.- Principles of Automatic Verification -- Games and Control Synthesis. |
| Record Nr. | UNINA-9910484318803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CONCUR 2014 – Concurrency Theory [[electronic resource] ] : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
| CONCUR 2014 – Concurrency Theory [[electronic resource] ] : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXII, 594 p. 90 illus.) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Machine theory Computer Science Logic and Foundations of Programming Software Engineering Probability and Statistics in Computer Science Formal Languages and Automata Theory |
| ISBN | 3-662-44584-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Laws of Programming: The Algebraic Unification of Theories of Concurrency -- The Benefits of Sometimes Not Being Discrete -- Deterministic Negotiations: Concurrency for Free -- Generalized Bisimulation Metrics -- Choreographies, Logically -- Deadlock Analysis of Unbounded Process Networks -- Trees from Functions as Processes -- Bisimulations Up-to: Beyond First-Order Transition Systems -- Parameterized Model Checking of Rendezvous Systems -- On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability -- Lost in Abstraction: Monotonicity in Multi-threaded Programs -- Synthesis from Component Libraries with Costs -- Compositional Controller Synthesis for Stochastic Games -- Synchronizing Strategies under Partial Observability -- Probabilistic Robust Timed Games -- Perturbation Analysis in Verification of Discrete-Time Markov Chains -- Robust Synchronization in Markov Decision Processes -- Probabilistic Bisimulation: Naturally on Distributions -- Averaging in LTL -- Decidable Topologies for Communicating Automata with FIFO and Bag Channels -- Controllers for the Verification of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking -- A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups -- A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman’s Algorithm -- Bounds on Mobility -- Typing Messages for Free in Security Protocols: The Case of Equivalence Properties -- Using Higher-Order Contracts to Model Session Types (Extended Abstract) -- A Semantic Deconstruction of Session Types -- Timed Multiparty Session Types -- A Categorical Semantics of Signal Flow Graphs -- Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices -- A General Framework for Well-Structured Graph Transformation Systems -- (Un)decidable Problems about Reachability of Quantum Systems -- Ordered Navigation on Multi-attributed Data Words -- Verification for Timed Automata Extended with Unbounded Discrete Data Structures -- Reducing Clocks in Timed Automata while Preserving Bisimulation -- Qualitative Concurrent Parity Games: Bounded Rationality -- Adding Negative Prices to Priced Timed Games -- Tight Game Abstractions of Probabilistic Automata. |
| Record Nr. | UNISA-996202528103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
CONCUR 2014 – Concurrency Theory [[electronic resource] ] : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
| CONCUR 2014 – Concurrency Theory [[electronic resource] ] : 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXII, 594 p. 90 illus.) |
| Disciplina | 004.35 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Computer science—Mathematics Mathematical statistics Machine theory Computer Science Logic and Foundations of Programming Software Engineering Probability and Statistics in Computer Science Formal Languages and Automata Theory |
| ISBN | 3-662-44584-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Laws of Programming: The Algebraic Unification of Theories of Concurrency -- The Benefits of Sometimes Not Being Discrete -- Deterministic Negotiations: Concurrency for Free -- Generalized Bisimulation Metrics -- Choreographies, Logically -- Deadlock Analysis of Unbounded Process Networks -- Trees from Functions as Processes -- Bisimulations Up-to: Beyond First-Order Transition Systems -- Parameterized Model Checking of Rendezvous Systems -- On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability -- Lost in Abstraction: Monotonicity in Multi-threaded Programs -- Synthesis from Component Libraries with Costs -- Compositional Controller Synthesis for Stochastic Games -- Synchronizing Strategies under Partial Observability -- Probabilistic Robust Timed Games -- Perturbation Analysis in Verification of Discrete-Time Markov Chains -- Robust Synchronization in Markov Decision Processes -- Probabilistic Bisimulation: Naturally on Distributions -- Averaging in LTL -- Decidable Topologies for Communicating Automata with FIFO and Bag Channels -- Controllers for the Verification of Communicating Multi-pushdown Systems -- Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking -- A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups -- A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman’s Algorithm -- Bounds on Mobility -- Typing Messages for Free in Security Protocols: The Case of Equivalence Properties -- Using Higher-Order Contracts to Model Session Types (Extended Abstract) -- A Semantic Deconstruction of Session Types -- Timed Multiparty Session Types -- A Categorical Semantics of Signal Flow Graphs -- Generic Forward and Backward Simulations III: Quantitative Simulations by Matrices -- A General Framework for Well-Structured Graph Transformation Systems -- (Un)decidable Problems about Reachability of Quantum Systems -- Ordered Navigation on Multi-attributed Data Words -- Verification for Timed Automata Extended with Unbounded Discrete Data Structures -- Reducing Clocks in Timed Automata while Preserving Bisimulation -- Qualitative Concurrent Parity Games: Bounded Rationality -- Adding Negative Prices to Priced Timed Games -- Tight Game Abstractions of Probabilistic Automata. |
| Record Nr. | UNINA-9910484824503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Connectomics in NeuroImaging [[electronic resource] ] : Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings / / edited by Guorong Wu, Islem Rekik, Markus D. Schirmer, Ai Wern Chung, Brent Munsell
| Connectomics in NeuroImaging [[electronic resource] ] : Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings / / edited by Guorong Wu, Islem Rekik, Markus D. Schirmer, Ai Wern Chung, Brent Munsell |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 147 p. 56 illus.) |
| Disciplina | 612.82 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Artificial intelligence
Optical data processing Arithmetic and logic units, Computer Mathematical statistics Artificial Intelligence Image Processing and Computer Vision Arithmetic and Logic Structures Probability and Statistics in Computer Science |
| ISBN | 3-030-00755-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards Ultra-high Resolution 3D Reconstruction of a Whole Rat Brain from 3D-PLI Data -- FOD-based Registration for Susceptibility Distortion Correction in Connectome Imaging -- GIFE: Efficient and Robust Group-wise Isometric Fiber Embedding -- Multi-Modal Brain Tensor Factorization: Preliminary Results with AD Patients -- Intact Connectional Morphometricity Learning Using Multi-View Morphological Brain Networks with Application to Autism Spectrum Disorder -- Neonatal Morphometric Similarity Networks Predict Atypical Brain Development Associated with Preterm Birth -- Heritability Estimation of Reliable Connectomic Features -- Topological Data Analysis of Functional MRI Connectivity in Time and Space Domains -- Riemannian Regression and Classification Models of Brain Networks Applied to Autism -- Defining Patient Specific Functional Parcellations in Lesional Cohorts via Markov Random Fields -- Data-Specific Feature Selection Method Identification for Most Reproducible Connectomic Feature Discovery Fingerprinting Brain States -- Towards Effective Functional Connectome Fingerprinting -- Connectivity-Driven Brain Parcellation via Consensus Clustering -- GRAND: Unbiased Connectome Atlas of Brain Network by Groupwise Graph Shrinkage and Network Diffusion -- Structural Subnetwork Evolution Across the Lifespan: Rich-club, Feeder, Seeder. |
| Record Nr. | UNINA-9910349404903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Connectomics in NeuroImaging [[electronic resource] ] : Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings / / edited by Guorong Wu, Islem Rekik, Markus D. Schirmer, Ai Wern Chung, Brent Munsell
| Connectomics in NeuroImaging [[electronic resource] ] : Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings / / edited by Guorong Wu, Islem Rekik, Markus D. Schirmer, Ai Wern Chung, Brent Munsell |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 147 p. 56 illus.) |
| Disciplina | 612.82 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Artificial intelligence
Optical data processing Arithmetic and logic units, Computer Mathematical statistics Artificial Intelligence Image Processing and Computer Vision Arithmetic and Logic Structures Probability and Statistics in Computer Science |
| ISBN | 3-030-00755-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards Ultra-high Resolution 3D Reconstruction of a Whole Rat Brain from 3D-PLI Data -- FOD-based Registration for Susceptibility Distortion Correction in Connectome Imaging -- GIFE: Efficient and Robust Group-wise Isometric Fiber Embedding -- Multi-Modal Brain Tensor Factorization: Preliminary Results with AD Patients -- Intact Connectional Morphometricity Learning Using Multi-View Morphological Brain Networks with Application to Autism Spectrum Disorder -- Neonatal Morphometric Similarity Networks Predict Atypical Brain Development Associated with Preterm Birth -- Heritability Estimation of Reliable Connectomic Features -- Topological Data Analysis of Functional MRI Connectivity in Time and Space Domains -- Riemannian Regression and Classification Models of Brain Networks Applied to Autism -- Defining Patient Specific Functional Parcellations in Lesional Cohorts via Markov Random Fields -- Data-Specific Feature Selection Method Identification for Most Reproducible Connectomic Feature Discovery Fingerprinting Brain States -- Towards Effective Functional Connectome Fingerprinting -- Connectivity-Driven Brain Parcellation via Consensus Clustering -- GRAND: Unbiased Connectome Atlas of Brain Network by Groupwise Graph Shrinkage and Network Diffusion -- Structural Subnetwork Evolution Across the Lifespan: Rich-club, Feeder, Seeder. |
| Record Nr. | UNISA-996466205503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Contributions to Sampling Statistics [[electronic resource] /] / edited by Fulvia Mecatti, Pier Luigi Conti, Maria Giovanna Ranalli
| Contributions to Sampling Statistics [[electronic resource] /] / edited by Fulvia Mecatti, Pier Luigi Conti, Maria Giovanna Ranalli |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (236 p.) |
| Disciplina | 519.52 |
| Collana | Contributions to Statistics |
| Soggetto topico |
Actuarial science
Statistics Mathematics Social sciences Mathematical statistics Actuarial Sciences Statistical Theory and Methods Statistics for Social Sciences, Humanities, Law Mathematics in the Humanities and Social Sciences Methodology of the Social Sciences Probability and Statistics in Computer Science |
| ISBN | 3-319-05320-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 P.S. Kott: Calibration Weighting When Model and Calibration Variables Can Differ -- 2 M. Pratesi: M-quantile small area models for measuring poverty at a local level -- 3 A.C. Singh -- 4 J.F. Beaumont: The Analysis of Survey Data using the Bootstrap -- 5 Y.G. Berger, O. De La Riva Torres: Empirical likelihood confidence intervals: an application to the EU-SILC household surveys -- 6 A. Bianchi, S. Biffignandi: Responsive design for economic data in mixedmode panels -- 7 P.M. Chiodini, M.Zenga: Comparing the efficiency of sample plans for symmetric and non-symmetric distributions in auditing -- 8 C. De Vitiis, S.Falorsi, F. Inglese: Implementing the First ISTAT Survey of Homeless Population by Indirect Sampling and Weight Sharing Method -- 9 D. Marella, P.Vicard: Modelling measurement errors by object-oriented Bayesian Networks: an application to 2008 SHIW -- 10 G.E. Montanari, G. Cicchitelli: Sampling theory and Geostatistics: a way of Reconciliation -- 11 N. Nangsue, Y.G. Berger: Optimal regression estimator for stratified two-stage Sampling -- 12 F. Piersimoni, P. Postiglione, R. Benedetti: Spatial sampling for agricultural data -- 13 M. Polisicchio, F.Porro: A multi-proportion randomized response model using the inverse sampling -- 14 P. Righi, S. Falorsi, A. Fasulo: A modified Extended Delete a Group Jackknife variance estimator under random hot deck imputation in business surveys. |
| Record Nr. | UNINA-9910299967203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
