| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465572103316 |
|
|
Titolo |
Principles and Practice of Semantic Web Reasoning [[electronic resource] ] : Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings / / edited by Hans J. Ohlbach, Sebastian Schaffert |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2004.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VII, 163 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 3208 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Database management |
Application software |
Information storage and retrieval |
Artificial intelligence |
Mathematical logic |
Popular Computer Science |
Database Management |
Information Systems Applications (incl. Internet) |
Information Storage and Retrieval |
Artificial Intelligence |
Mathematical Logic and Formal Languages |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
On Subtyping of Tree-Structured Data: A Polynomial Approach -- Towards Generic Query, Update, and Event Languages for the Semantic Web -- Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach -- Rules and Queries with Ontologies: A Unified Logical Framework -- Semantic Web Reasoning for Ontology-Based Integration of Resources -- Static Type-Checking of Datalog with Ontologies -- Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming -- Towards a Multi-calendar |
|
|
|
|
|
|
|
|
|
|
|
Temporal Type System for (Semantic) Web Query Languages -- Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals -- DR-DEVICE: A Defeasible Logic System for the Semantic Web -- A PDDL Based Tool for Automatic Web Service Composition. |
|
|
|
|
|
|
Sommario/riassunto |
|
The best informal de?nition of the Semantic Web is maybe found in the May 2001Scienti?cAmericanarticle“TheSemanticWeb”(Berners-Leeetal. ),which says“TheSemanticWebisanextensionofthecurrentWebinwhichinformation is given well-de?ned meaning, better enabling computers and people to work in cooperation. ” People who work on the Semantic Web quite often base their work on the famous “semantic web tower”, a product of Tim Berners-Lee’s inspiring drawing on whiteboards. The lowest level is the level of character representation (Unicode) and the identi?cation of resources on the Web (URIs). The highest level concerns the problem of trusting information on the Web. Somewhere in the middle of the tower is the logic level. It addresses the problem of represe- ing information on the Web in a way so that inference rules can derive implicit information from explicitly stated information. The workshop “Principles and Practices of Semantic Web Reasoning” (PPSWR 2004) addressed problems on this level. It took place in September 2004 as a satellite event of the 20th Int- national Conference on Logic Programming (ICLP) in St. Malo, France. After PPSWR 2003 in Mumbai, India, it was the second workshop in this series. This book contains the articles presented at the workshop. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910553083803321 |
|
|
Titolo |
Perspectives on string phenomenology / / edited by Bobby Acharya, King's College London, UK, Gordon Kane, University of Michigan, USA, Piyush Kumar, Yale University, USA |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New Jersey : , : World Scientific, , [2015] |
|
©2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (446 p.) |
|
|
|
|
|
|
Collana |
|
Advanced series on directions in high energy physics, , 1793-1339 ; ; volume 22 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
1. What is an electron? / M. J. Perry -- 2. The what and why of moduli / J. Conlon -- 3. Perspective on the weakly coupled heterotic string / M. K. Gaillard -- 4. Geography of fields in extra dimensions: String theory lessons for particle physics / H. P. Nilles and P. K. S. Vaudrevange -- 5. The string landscape: A personal perspective / K. R. Dienes -- 6. Mathematics for string phenomenology / M. R. Douglas -- 7. The string theory landscape / A. N. Schellekens -- 8. Local string models and moduli stabilisation / F. Quevedo -- 9. F-theory: From geometry to phenomenology / S. Schafer-Nameki -- 10. Compactified string theories - Generic predictions for particle physics / P. Kumar -- 11. How could (should) we make contact between string/M theory and our four-dimensional world? / G. Kane -- 12. String cosmology - large-field inflation in string theory / A. Westphal -- 13. Dark energy in string theory / B. Greene and G. Shiu -- 14. Cosmological SUSY breaking and the pyramid scheme / T. Banks. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The remarkable recent discovery of the Higgs boson at the CERN Large Hadron Collider completed the Standard Model of particle physics and has paved the way for understanding the physics which may lie beyond it. String/M theory has emerged as a broad framework for describing a plethora of diverse physical systems, which includes condensed matter systems, gravitational systems as well as elementary particle physics |
|
|
|
|
|
|
|
|
|
|
|
|
|
interactions. If string/M theory is to be considered as a candidate theory of Nature, it must contain an effectively four-dimensional universe among its solutions that is indistinguishable from our own. In these solutions, the extra dimensions of string/M theory are "compactified" on tiny scales which are often comparable to the Planck length. String phenomenology is the branch of string/M theory that studies such solutions, relates their properties to data, and aims to answer many of the outstanding questions of particle physics beyond the Standard Model. This book contains perspectives on string phenomenology from some of the leading experts in the field. Contributions will range from pedagogical general overviews and perspectives to more technical reviews. We hope that the reader will get a sense of the significant progress that has been made in the field in recent years (e.g. in the topic of moduli stabilization) as well as the topics currently being researched, outstanding problems and some perspectives for the future. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910409988203321 |
|
|
Autore |
Aspin Adam |
|
|
Titolo |
Pro Power BI Desktop : Self-Service Analytics and Data Visualization for the Power User / / by Adam Aspin |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2020 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[3rd ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xxxiv, 898 pages) : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Microsoft software |
Microsoft .NET Framework |
Database management |
Microsoft and .NET |
Database Management |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
1. Discovering and Loading Data with Power BI Desktop -- 2. |
|
|
|
|
|
|
|
|
|
|
|
Discovering and Loading File-Based Data with Power BI Desktop -- 3. Loading Data from Databases and Data Warehouses -- 4. DirectQuery and Connect Live -- 5. Loading Data from the Web and the Cloud -- 6. Loading Data from Other Data Sources -- 7. Structuring Imported Data -- 8. Data Transformation and Cleansing -- 9. Restructuring Data -- 10. Complex Data Loads -- 11. Organizing, Managing, and Parameterizing Queries -- 12. The M Language -- 13. Creating a Data Model -- 14. Table Visuals -- 15. Matrix and Card Visuals -- 16. Charts in Power BI Desktop -- 17. Formatting Charts in Power BI Desktop -- 18. Other Types of Visuals -- 19. Third-Party Visuals -- 20. Maps in Power BI Desktop -- 21. Filtering Data -- 22. Using Slicers -- 23. Enhancing Dashboards -- 24. Advanced Dashboarding Techniques -- 25. Appendix A: Sample Data. |
|
|
|
|
|
|
Sommario/riassunto |
|
Deliver eye-catching and insightful business intelligence with Microsoft Power BI Desktop. This new edition has been updated to cover all the latest features of Microsoft’s continually evolving visualization product. New in this edition is help with storytelling—adapted to PCs, tablets, and smartphones—and the building of a data narrative. You will find coverage of templates and JSON style sheets, data model annotations, and the use of composite data sources. Also provided is an introduction to incorporating Python visuals and the much awaited Decomposition Tree visual. Pro Power BI Desktop shows you how to use source data to produce stunning dashboards and compelling reports that you mold into a data narrative to seize your audience’s attention. Slice and dice the data with remarkable ease and then add metrics and KPIs to project the insights that create your competitive advantage. Convert raw data into clear, accurate, and interactive information with Microsoft’s free self-service BI tool. This book shows you how to choose from a wide range of built-in and third-party visualization types so that your message is always enhanced. You will be able to deliver those results on PCs, tablets, and smartphones, as well as share results via the cloud. The book helps you save time by preparing the underlying data correctly without needing an IT department to prepare it for you. You will: Deliver attention-grabbing information, turning data into insight Find new insights as you chop and tweak your data as never before Build a data narrative through interactive reports with drill-through and cross-page slicing Mash up data from multiple sources into a cleansed and coherent data model Build interdependent charts, maps, and tables to deliver visually stunning information Create dashboards that help in monitoring key performance indicators of your business Adapt delivery to mobile devices such as phones and tablets. |
|
|
|
|
|
|
|
| |