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.
Privacy in Social Networks / Elena Zheleva, Evimaria Terzi, Lise Getoor
| Privacy in Social Networks / Elena Zheleva, Evimaria Terzi, Lise Getoor |
| Autore | Zheleva, Elena |
| Pubbl/distr/stampa | Milton Keynes : Morgan & Claypool Publishers, c2012 |
| Descrizione fisica | IX, 75 p. ; 24 cm |
| Disciplina | 342 |
| Altri autori (Persone) | Terzi, Evimaria |
| Collana | Synthesis Lecutres on Data Mining and Knowledge Discovery |
| ISBN | 978-1-60845-862-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009637090403321 |
Zheleva, Elena
|
||
| Milton Keynes : Morgan & Claypool Publishers, c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Probabilistic and Causal Inference / : The Works of Judea Pearl / / Hector Geffner, Rina Dechter, Joseph Y. Halpern
| Probabilistic and Causal Inference / : The Works of Judea Pearl / / Hector Geffner, Rina Dechter, Joseph Y. Halpern |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | San Rafael : , : Morgan & Claypool Publishers, , 2022 |
| Descrizione fisica | xxvii, 916 s : ill |
| Altri autori (Persone) |
GeffnerHector
DechterRina HalpernJoseph |
| Collana | ACM Bks. |
| Soggetto topico |
Probability learning
Mathematical logic Artificial intelligence Cognitive Science Philosophy |
| ISBN | 1-4503-9589-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Probabilistic and Causal Inference: The Works of Judea Pearl -- Contents -- Preface -- Credits -- I INTRODUCTION -- 1 Biography of Judea Pearl by Stuart J. Russell -- References -- 2 Turing Award Lecture -- References -- 3 Interview by Martin Ford -- References -- 4 An Interview with Ron Wassertein on How The Book of Why Transforms Statistics -- 5 Selected Annotated Bibliography by Judea Pearl -- Search and Heuristics -- Bayesian Networks -- Causality -- Causal, Casual, and Curious -- II HEURISTICS -- 6 Introduction by Judea Pearl -- References -- 7 Asymptotic Properties of Minimax Trees and Game-Searching Procedures -- Abstract -- 7.1 The Probability of Winning a Standard h-level Game Tree with Random WIN Positions -- 7.2 Game Trees with an Arbitrary Distribution of Terminal Values -- 7.3 The Mean Complexity of Solving (h, d, P0)-game -- 7.4 Solving, Testing, and Evaluating Game Trees -- 7.5 Test and, if Necessary, Evaluate-The SCOUT Algorithm -- 7.6 Analysis of SCOUT's Expected Performance -- 7.7 On the Branching Factor of the ALPHA-BETA (α-β) procedure -- References -- 8 The Solution for the Branching Factor of the Alpha-Beta Pruning Algorithm and its Optimality -- 8.1 Introduction -- 8.1.1 Informal Description of the α-β Procedure -- 8.1.2 Previous Analytical Results -- 8.2 Analysis -- 8.2.1 An Integral Formula for Nn,d -- 8.2.2 Evaluation of Rα-β -- 8.3 Conclusions -- References -- 9 On the Discovery and Generation of Certain Heuristics -- Abstract -- 9.1 Introduction: Typical Uses of Heuristics -- 9.1.1 The Traveling Salesman Problem (TSP) -- 9.1.2 Some Properties of Heuristics -- 9.1.3 Where do these Heuristics Come from? -- 9.2 Mechanical Generation of Admissible Heuristics -- 9.3 Can a Program Tell an Easy Problem When It Sees One? -- 9.4 Conclusions -- 9.4.1 Bibliographical and Historical Remarks -- References.
III PROBABILITIES -- 10 Introduction by Judea Pearl -- References -- 11 Reverend Bayes on Inference Engines: A Distributed Hierarchical Approach -- Abstract -- 11.1 Introduction -- 11.2 Definitions and Nomenclature -- 11.3 Structural Assumptions -- 11.4 Combining Top and Bottom Evidences -- 11.5 Propagation of Information Through the Network -- 11.6 A Token Game Illustration -- 11.7 Properties of the Updating Scheme -- 11.8 A Summary of Proofs -- 11.9 Conclusions -- References -- 12 Fusion, Propagation, and Structuring in Belief Networks -- Abstract -- 12.1 Introduction -- 12.1.1 Belief Networks -- 12.1.2 Conditional Independence and Graph Separability -- 12.1.3 An Outline and Summary of Results -- 12.2 Fusion and Propagation -- 12.2.1 Autonomous Propagation as a Computational Paradigm -- 12.2.2 Belief Propagation in Trees -- 12.2.2.1 Data Fusion -- 12.2.2.2 Propagation Mechanism -- 12.2.2.3 Illustrating the Flow of Belief -- 12.2.2.4 Properties of the Updating Scheme -- 12.2.3 Propagation in Singly Connected Networks -- 12.2.3.1 Fusion Equations -- 12.2.3.2 Propagation Equation -- 12.2.4 Summary and Extensions for Multiply Connected Networks -- 12.3 Structuring Causal Trees -- 12.3.1 Causality, Conditional Independence, and Tree Architecture -- 12.3.2 Problem Definition and Nomenclature -- 12.3.3 Star-Decomposable Triplets -- 12.3.4 A Tree-Reconstruction Procedure -- 12.3.5 Conclusions and Open Questions -- 12.A Appendix A. Derivation of the Updating Rules for Singly Connected Networks -- 12.A.1 Updating BEL -- 12.A.2 Updating π -- 12.A.3 Updating λ -- 12.B Appendix B. Conditions for Star-decomposability -- Acknowledgments -- References -- 13 GRAPHOIDS: Graph-Based Logic for Reasoning about Relevance Relations Or When Would x Tell You More about y If You Already Know z? -- Abstract -- 13.1 Introduction. 13.2 Probabilistic Dependencies and their Graphical Representation -- 13.3 GRAPHOIDS -- 13.4 Special Graphoids and Open Problems -- 13.4.1 Graph-induced Graphoids -- 13.4.2 Probabilistic Graphoids -- 13.4.3 Correlational Graphoids -- 13.5 Conclusions -- References -- 14 System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning -- Abstract -- 14.1 Description -- 14.2 Consequence Relations -- 14.3 Illustrations -- 14.4 The Maximum Entropy Approach -- 14.5 Conditional Entailment -- 14.6 Conclusions -- Acknowledgments -- 14.I Appendix I: Uniqueness of The Minimal Ranking Function -- 14.II Appendix II: Rational Monotony of Admissible Rankings -- References -- IV CAUSALITY 1988-2001 -- 15 Introduction by Judea Pearl -- References -- 16 Equivalence and Synthesis of Causal Models -- Abstract -- 16.1 Introduction -- 16.2 Patterns of Causal Models -- 16.3 Embedded Causal Models -- 16.4 Applications to the Synthesis of Causal Models -- IC-Algorithm (Inductive Causation) -- Acknowledgments -- References -- 17 Probabilistic Evaluation of Counterfactual Queries -- Abstract -- 17.1 Introduction -- 17.2 Notation -- 17.3 Party Example -- 17.4 Probabilistic vs. Functional Specification -- 17.5 Evaluating Counterfactual Queries -- 17.6 Party Again -- 17.7 Special Case: Linear-Normal Models -- 17.8 Conclusion -- Acknowledgments -- References -- 18 Causal Diagrams for Empirical Research (With Discussions) -- Summary -- Some key words -- 18.1 Introduction -- 18.2 Graphical Models and the Manipulative Account of Causation -- 18.2.1 Graphs and Conditional Independence -- 18.2.2 Graphs as Models of Interventions -- 18.3 Controlling Confounding Bias -- 18.3.1 The Back-Door Criterion -- 18.3.2 The Front-Door Criteria -- 18.4 A Calculus of Intervention -- 18.4.1 General -- 18.4.2 Preliminary Notation -- 18.4.3 Inference Rules. 18.4.4 Symbolic Derivation of Causal Effects: An Example -- 18.4.5 Causal Inference by Surrogate Experiments -- 18.5 Graphical Tests of Identifiability -- 18.5.1 General -- 18.5.2 Identifying Models -- 18.5.3 Nonidentifying Models -- 18.6 Discussion -- Acknowledgments -- 18.A Appendix -- Proof of Theorem 18.3 -- References -- 18.I Discussion of 'Causal Diagrams for Empirical Research' by J. Pearl -- 18.II Discussion of 'Causal Diagrams for Empirical Research' by J. Pearl -- 18.III Discussion of 'Causal Diagrams for Empirical Research' by J. Pearl -- 18.IV Discussion of 'Causal Diagrams for Empirical Research' by J. Pearl -- 18.V Discussion of 'Causal Diagrams for Empirical Research' by J. Pearl -- 18.VI Discussion of 'Causal Diagrams for Empirical Research' by J. Pearl -- 18.VI.A Introduction -- 18.VI.B Task 1 -- 18.VI.B.1 General -- 18.VI.B.2 A Causal Model -- 18.VI.B.3 Relationship with Pearl's Work -- 18.VI.C Task 2 -- 18.VII Discussion of 'Causal Diagrams for Empirical Research' by J. Pearl -- 18.VII.A Successful and Unsuccessful Causal Inference: Some Examples -- 18.VII.B Warranted Inferences -- 18.VIII Discussion of 'Causal Diagrams for Empirical Research' by J. Pearl -- 18.IX Discussion of 'Causal Diagrams for Empirical Research' by J. Pearl -- 18.IX.A Introduction -- 18.IX.B Ignorability and the Back-Door Criterion -- 18.X Rejoinder to Discussions of 'Causal Diagrams for Empirical Research' -- 18.X.A General -- 18.X.B Graphs, Structural Equations and Counterfactuals -- 18.X.C The Equivalence of Counterfactual and Structural Analyses -- 18.X.D Practical Versus Hypothetical Interventions -- 18.X.E Intervention as Conditionalisation -- 18.X.F Testing Versus using Assumptions -- 18.X.G Causation Versus Dependence -- 18.X.H Exemplifying Modelling Errors -- 18.X.I The Myth of Dangerous Graphs -- Additional References. 19 Probabilities of Causation: Three Counterfactual Interpretations and Their Identification -- Abstract -- 19.1 Introduction -- 19.2 Structural Model Semantics (A Review) -- 19.2.1 Definitions: Causal Models, Actions and Counterfactuals -- 19.2.2 Examples -- 19.2.3 Relation to Lewis' Counterfactuals -- 19.2.4 Relation to Probabilistic Causality -- 19.2.5 Relation to Neyman-Rubin Model -- 19.3 Necessary and Sufficient Causes: Conditions of Identification -- 19.3.1 Definitions, Notations, and Basic Relationships -- 19.3.2 Bounds and Basic Relationships under Exogeneity -- 19.3.3 Identifiability under Monotonicity and Exogeneity -- 19.3.4 Identifiability under Monotonicity and Non-Exogeneity -- 19.4 Examples and Applications -- 19.4.1 Example 1: Betting against a Fair Coin -- 19.4.2 Example 2: The Firing Squad -- 19.4.3 Example 3: The Effect of Radiation on Leukemia -- 19.4.4 Example 4: Legal Responsibility from Experimental and Nonexperimental Data -- 19.5 Identification in Non-Monotonic Models -- 19.6 From Necessity and Sufficiency to "Actual Cause" -- 19.6.1 The Role of Structural Information -- 19.6.2 Singular Sufficient Causes -- 19.6.3 Example: The Desert Traveler (after P. Suppes) -- 19.6.3.1 Necessity and Sufficiency Ignoring Internal Structure -- 19.6.3.2 Sufficiency and Necessity given Forensic Reports -- 19.6.3.3 Necessity Given Forensic Reports -- 19.7 Conclusion -- 19.A Appendix: The Empirical Content of Counterfactuals -- References -- 20 Direct and Indirect Effects -- Abstract -- 20.1 Introduction -- 20.2 Conceptual Analysis -- 20.2.1 Direct versus Total Effects -- 20.2.2 Descriptive versus Prescriptive Interpretation -- 20.2.3 Policy Implications of the Descriptive Interpretation -- 20.2.4 Descriptive Interpretation of Indirect Effects -- 20.3 Formal Analysis -- 20.3.1 Notation -- 20.3.2 Controlled Direct Effects (review). 20.3.3 Natural Direct Effects: Formulation. |
| Record Nr. | UNINA-9910861960403321 |
| San Rafael : , : Morgan & Claypool Publishers, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Providing Sound Foundations for Cryptography : On the Work of Shafi Goldwasser and Silvio Micali
| Providing Sound Foundations for Cryptography : On the Work of Shafi Goldwasser and Silvio Micali |
| Autore | Goldreich Oded |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | San Rafael : , : Morgan & Claypool Publishers, , 2019 |
| Descrizione fisica | 1 online resource (838 pages) |
| Disciplina | 005.824 |
| Collana | ACM Bks. |
| Soggetto topico |
Algorithms
Computer algorithms Computer scientists |
| ISBN | 1-4503-7269-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Contents -- Preface -- Acknowledgments -- Photo and Text Credits -- PART I. BIOGRAPHIES, INTERVIEWS, AND AWARD LECTURES -- 1. A Story Behind Every Problem: A Brief Biography of Shafi Goldwasser -- 2. One Obsession at a Time: A Brief Biography of Silvio Micali -- 3. An Interview with Shafi Goldwasser -- 4. An Interview with Silvio Micali -- 5. The Cryptographic Lens: Shafi Goldwasser'sTuring Lecture -- 6. Proofs, According to Silvio: Silvio Micali's Turing Lecture -- PART II. ORIGINAL PAPERS -- 7. Probabilistic Encryption -- 8. The Knowledge Complexity of Interactive Proof Systems -- 9. How to Generate Cryptographically Strong Sequences of Pseudorandom Bits -- 10. How to Construct Random Functions -- 11. A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks -- 12. Proofs that Yield Nothing but Their Validity or All Languages in NP Have Zero-Knowledge Proof Systems -- 13. How to Play Any Mental Game: A Completeness Theorem for Protocols with Honest Majority -- 14. Non-Interactive Zero-Knowledge (NIZK) Proof Systems -- 15. Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation -- 16. Multi-Prover Interactive Proofs: How to Remove Intractability Assumptions -- PART III. PERSPECTIVES -- 17. On the Foundations of Cryptography -- 18. On the Impact of Cryptography on Complexity Theory -- 19. On Some Noncryptographic Works of Goldwasser and Micali -- 20. Fundamentals of Fully Homomorphic Encryption -- 21. Interactive Proofs for Lattice Problems -- 22. Following a Tangent of Proofs -- 23. A Tutorial on Concurrent Zero-Knowledge -- 24. Doubly Efficient Interactive Proofs -- 25. Computational Entropy -- 26. A Survey of Leakage-Resilient Cryptography -- Editor and Author Biographies -- Blank Page. |
| Altri titoli varianti | Providing Sound Foundations for Cryptography |
| Record Nr. | UNINA-9910838221303321 |
|
Goldreich Oded
|
||
| San Rafael : , : Morgan & Claypool Publishers, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantic Web for the Working Ontologist, Third Edition : Effective Modeling for Linked Data, RDFS and OWL
| Semantic Web for the Working Ontologist, Third Edition : Effective Modeling for Linked Data, RDFS and OWL |
| Autore | Hendler James |
| Edizione | [3rd ed.] |
| Pubbl/distr/stampa | San Rafael : , : Morgan & Claypool Publishers, , 2020 |
| Descrizione fisica | 1 online resource (512 pages) |
| Disciplina | 025.0427 |
| Altri autori (Persone) |
GandonFabien
AllemangDean |
| Soggetto topico |
Linked data
Metadata OWL (Web ontology language) |
| ISBN | 1-4503-7615-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Semantic Web for the Working Ontologist -- Contents -- Preface -- 1 What Is the Semantic Web? -- 1.1 What Is a Web? -- 1.2 Communicating with Data -- 1.3 Distributed Data -- 1.4 Summary -- 2 Semantic Modeling -- 2.1 Modeling for Human Communication -- 2.2 Explanation and Prediction -- 2.3 Mediating Variability -- 2.4 Expressivity in Modeling -- 2.5 Summary -- 3 RDF-The Basis of the Semantic Web -- 3.1 Distributing Data Across the Web -- 3.2 Merging Data from Multiple Sources -- 3.3 Namespaces, URIs, and Identity -- 3.4 Identifiers in the RDF Namespace -- 3.5 CHALLENGES: RDF and Tabular Data -- 3.6 Higher-Order Relationships -- 3.7 Naming RDF Graphs -- 3.8 Alternatives for Serialization -- 3.9 Blank Nodes -- 3.10 Summary -- 4 Semantic Web Application Architecture -- 4.1 RDF Parser/Serializer -- 4.2 RDF Store -- 4.3 Application Code -- 4.4 Data Federation -- 4.5 Summary -- 5 Linked Data -- 5.1 Weaving a Web of Data -- 5.2 HTTP and the Architecture of the Web -- 5.3 Hash or Slash -- 5.4 See It for Yourself… -- 5.5 Summary -- 6 Querying the Semantic Web-SPARQL -- 6.1 Tell-and-Ask Systems -- 6.2 RDF as a Tell-and-Ask System -- 6.3 SPARQL-Query Language for RDF -- 6.4 CONSTRUCT Queries in SPARQL -- 6.5 Using Results of CONSTRUCT Queries -- 6.6 SPARQL Rules-Using SPARQL as a Rule Language -- 6.7 Transitive queries (SPARQL 1.1) -- 6.8 Advanced Features of SPARQL -- 6.9 Summary -- 7 Extending RDF: RDFS and SCHACL -- 7.1 Inference in RDF with RDFS -- 7.2 Where are the Smarts? -- 7.3 When Does Inferencing Happen? -- 7.4 Expectation in RDF -- 7.5 Summary -- 8 RDF Schema -- 8.1 Schema Languages and Their Functions -- 8.2 The RDF Schema Language -- 8.3 RDFS Modeling Combinations and Patterns -- 8.4 Challenges -- 8.5 Modeling with Domains and Ranges -- 8.6 Nonmodeling Properties in RDFS -- 8.7 Summary -- 9 RDFS-Plus -- 9.1 Inverse.
9.2 Managing Networks of Dependencies -- 9.3 Equivalence -- 9.4 Merging Data from Different Databases -- 9.5 Computing Sameness: Functional Properties -- 9.6 A Few More Constructs -- 9.7 Summary -- 10 Using RDFS-Plus in the Wild -- 10.1 Schema.org -- 10.2 Open Government Data -- 10.3 FOAF -- 10.4 Facebook's Open Graph Protocol -- 10.5 Summary -- 11 SKOS-Managing Vocabularies with RDFS-Plus -- 11.1 Simple Knowledge Organization System (SKOS) -- 11.2 Semantic Relations in SKOS -- 11.3 Concept Schemes -- 11.4 SKOS Integrity -- 11.5 SKOS in Action -- 11.6 Summary -- 12 Basic OWL -- 12.1 Restrictions -- 12.2 Challenge Problems -- 12.3 Alternative Descriptions of Restrictions -- 12.4 Summary -- 13 Counting and Sets in OWL -- 13.1 Unions and Intersections -- 13.2 Differentiating Multiple Individuals -- 13.3 Cardinality -- 13.4 Set Complement -- 13.5 Disjoint Sets -- 13.6 Prerequisites Revisited -- 13.7 Contradictions -- 13.8 Unsatisfiable Classes -- 13.9 Inferring Class Relationships -- 13.10 Reasoning with Individuals and with Classes -- 13.11 Summary -- 14 Ontologies on the Web-Putting It All Together -- 14.1 Ontology Architecture -- 14.2 Quantities, Units, Dimensions, and Types -- 14.3 Biological Ontologies -- 14.4 FIBO-The Financial Industry Business Ontology -- 14.5 Summary -- 15 Good and Bad Modeling Practices -- 15.1 Getting Started -- 15.2 Good Naming Practices -- 15.3 Common Modeling Errors -- 15.4 Summary -- 16 Expert Modeling in OWL -- 16.1 OWL Subsets and Modeling Philosophy -- 16.2 OWL 2 Modeling Capabilities -- 16.3 Summary -- 17 Conclusions and Future Work -- Bibliography -- Authors' Biographies -- Index. |
| Altri titoli varianti | Semantic Web for the Working Ontologist |
| Record Nr. | UNINA-9910838221103321 |
|
Hendler James
|
||
| San Rafael : , : Morgan & Claypool Publishers, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Smarter Than Their Machines : Oral Histories of Pioneers in Interactive Computing
| Smarter Than Their Machines : Oral Histories of Pioneers in Interactive Computing |
| Autore | Cullinane John |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | San Rafael : , : Morgan & Claypool Publishers, , 2015 |
| Descrizione fisica | 1 online resource (218 pages) |
| Disciplina | 004.0922 |
| Collana | ACM Bks. |
| Soggetto topico | Computer scientists |
| Soggetto non controllato | Computer Scientists |
| ISBN | 1-62705-550-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Smarter Than Their Machines |
| Record Nr. | UNINA-9910838353403321 |
|
Cullinane John
|
||
| San Rafael : , : Morgan & Claypool Publishers, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Sparse Fourier Transform : Theory and Practice
| The Sparse Fourier Transform : Theory and Practice |
| Autore | Hassanieh Haitham |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | San Rafael : , : Morgan & Claypool Publishers, , 2018 |
| Descrizione fisica | 1 online resource |
| Disciplina | 515/.723 |
| Collana | ACM books |
| Soggetto topico |
Fourier transformations
Sparse matrices |
| ISBN | 1-947487-04-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Contents -- Preface -- 1. Introduction -- PART I. THEORY OF THE SPARSE FOURIER TRANSFORM -- 2. Preliminaries -- 3. Simple and Practical Algorithm -- 4. Optimizing Runtime Complexity -- 5. Optimizing Sample Complexity -- 6. Numerical Evaluation -- PART II. APPLICATIONS OF THE SPARSE FOURIER TRANSFORM -- 7. GHz-Wide Spectrum Sensing and Decoding -- 8. Faster GPS Synchronization -- 9. Light Field Reconstruction -- 10. Fast In-Vivo MRS Acquisition with Artifact Suppression -- 11. Fast Mu1ti-Dimensional NMR Acquisition and Processing -- 12. Conclusion -- A. Proofs -- B. The Optimality of the Exactly k-Sparse Algorithm 4.1 -- C. Lower Bound of the Sparse Fourier Transform in the General Case -- D. Efficient Constructions of Window Functions -- E. Sample Lower Bound for the Bernoulli Distribution -- F. Analysis of the QuickSync System -- G. A 0.75 Million Point Sparse Fourier Transform Chip -- References -- Author Biography. |
| Record Nr. | UNINA-9910838231703321 |
|
Hassanieh Haitham
|
||
| San Rafael : , : Morgan & Claypool Publishers, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verified Functional Programming in Agda
| Verified Functional Programming in Agda |
| Autore | Stump Aaron |
| Pubbl/distr/stampa | San Rafael : , : Morgan & Claypool Publishers, , 2016 |
| Descrizione fisica | 1 online resource (285 pages) |
| Disciplina | 005.114 |
| Collana | ACM Bks. |
| ISBN |
1-970001-26-7
1-970001-25-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910861976203321 |
|
Stump Aaron
|
||
| San Rafael : , : Morgan & Claypool Publishers, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Weaving fire into form : aspirations for tangible and embodied interaction
| Weaving fire into form : aspirations for tangible and embodied interaction |
| Autore | Ullmer Brygg |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | San Rafael : , : Morgan & Claypool Publishers, , 2022 |
| Descrizione fisica | 1 online resource (556 pages) |
| Disciplina | 004.019 |
| Altri autori (Persone) |
HummelsCaroline
ShaerOrit MazalekAli |
| Collana | ACM Bks. |
| Soggetto topico | User interfaces (Computer systems) |
| Soggetto non controllato | Mathematics |
| ISBN | 1-4503-9770-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910862084903321 |
|
Ullmer Brygg
|
||
| San Rafael : , : Morgan & Claypool Publishers, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web indicators for research evaluation : a practical guide / / Michael Thelwall
| Web indicators for research evaluation : a practical guide / / Michael Thelwall |
| Autore | Thelwall Michael |
| Pubbl/distr/stampa | [San Rafael, California] : , : Morgan & Claypool Publishers, , 2017 |
| Descrizione fisica | 1 online resource (171 pages) |
| Disciplina | 016.02504 |
| Collana | Synthesis Lectures on Information Concepts, Retrieval, and Services |
| Soggetto topico | Information storage and retrieval systems |
| ISBN | 1-62705-971-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
1. Introduction: 1.1. Indicator terminology and interpretation; 1.2. Metrics and indicators; 1.3. Web indicators; 1.4. Book-specific indicators; 1.5. Indicators for non-standard scholarly outputs; 1.6. Disciplinary and time differences; 1.7. Overview and intended audience -- 2. Evaluating indicators: 2.1. Evaluation methods; 2.2. Deliberate and accidental manipulation of results; 2.3. Summary and recommendations -- 3. Usage, popularity and attention indicators: 3.1. General Web citations; 3.2. Article download and view counts; 3.3. ResearchGate and Academia.edu download and view counts; 3.4. View, access or download counts for other scholarly outputs; 3.5. Likes and ratings for all scholarly outputs; 3.6. Citations and links from Twitter and Weibo; 3.7. Citations in general social network sites: Facebook, Google+; 3.8. Book review counts and ratings; 3.9. Book sales; 3.10. Library holdings for books; 3.11. Advanced Web server log file analysis; 3.12. Summary -- 4. Academic, commercial and organisational Web indicators: 4.1. Mendeley and social bookmarking/reader counts; 4.2. Google Books citations; 4.3. Citations from blogs; 4.4. Citations from patents; 4.5. Citations from the grey literature? PDF and doc files; 4.6. Book publisher prestige; 4.7. Summary -- 5. Educational impact indicators: 5.1. Syllabus mentions; 5.2. Citations in PowerPoint files; 5.3. Citations in Wikipedia; 5.4. Summary --
6. Medical impact indicators: 6.1. F1000Prime recommendations; 6.2. Citations in clinical guidelines; 6.3. Citations in clinical trials; 6.4. Summary -- 7. Applications: 7.1. Publishers and literature searchers; 7.2. Individual authors; 7.3. Assessing academic departments and research groups: individual outputs; 7.4. Academic departments and research groups: sets of publications; 7.5. Institutions; 7.6. Funding agencies; 7.7. Countries; 7.8. Journals; 7.9. Non-academic organisations; 7.10. Research administrators and managers; 7.11. Academic librarians; 7.12. Scholarly communication and science and technology studies researchers; 7.13. Summary -- 8. Collecting data for sets of documents: 8.1. Overview of Webometric Analyst; 8.2. Formatting sets of journal articles for Webometric Analyst; 8.3. Formatting sets of books for Webometric Analyst; 8.4. Mendeley readers; 8.5. Grey literature citations; 8.6. Patent citations; 8.7. PowerPoint citations; 8.8. Wikipedia citations; 8.9. Blog citations; 8.10. Syllabus citations; 8.11. General Web citations; 8.12. Tweet mentions via DOIs or links; 8.13. Google Books citation counts; 8.14. WorldCat library holdings; 8.15. Amazon reviews, ratings and sales ranks; 8.16. Goodreads reviews; 8.17. Extracting data from websites via SocSciBot crawls; 8.18. Summary -- 9. Indicator formulae and experimental considerations: 9.1. Basic indicator formulae; 9.2. Citation windows and the influence of time on indicators; 9.3. Disciplinary and time differences; 9.4. Correlation tests; 9.5. The geometric mean; 9.6. MNLCS: field- and year-normalised indicators; 9.7. Proportion of non-zero values; 9.8. NPC: normalised proportion cited; 9.9. Regression analyses; 9.10. Comparing recently published articles: the sign test; 9.11. Summary -- 10. Calculating indicators with Webometric Analyst: 10.1. Indicators from Bing search data; 10.2. Indicators from Mendeley reader data; 10.3. Indicators from other data sources; 10.4. Summary -- 11. Conclusions: 11.1. Web indicators for books; 11.2. Web indicators for other scholarly outputs; 11.3. Responsibly interpreting Web indicators; 11.4. The future of Web indicators -- Bibliography -- Author biography. |
| Record Nr. | UNINA-9910136026903321 |
|
Thelwall Michael
|
||
| [San Rafael, California] : , : Morgan & Claypool Publishers, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
