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.
An Introduction to the Language of Mathematics / Frédéric Mynard
| An Introduction to the Language of Mathematics / Frédéric Mynard |
| Autore | Mynard, Frédéric |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xii, 185 p. : ill. ; 24 cm |
| Soggetto topico |
11Axx - Elementary number theory [MSC 2020]
03E25 - Axiom of choice and related propositions [MSC 2020] 06A06 - Partial order, general [MSC 2020] 11A51 - Factorization; primality [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03Bxx - General logic [MSC 2020] 03F07 - Structure of proofs [MSC 2020] 97Exx - Education of foundations of mathematics [MSC 2020] |
| Soggetto non controllato |
Equivalence relations
Infinite cardinality Mathematical induction Order relation Proofs Propositional logic Relations Set Theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124569 |
Mynard, Frédéric
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Introduction to the Language of Mathematics / Frédéric Mynard
| An Introduction to the Language of Mathematics / Frédéric Mynard |
| Autore | Mynard, Frédéric |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xii, 185 p. : ill. ; 24 cm |
| Soggetto topico |
03Bxx - General logic [MSC 2020]
03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03E25 - Axiom of choice and related propositions [MSC 2020] 03F07 - Structure of proofs [MSC 2020] 06A06 - Partial order, general [MSC 2020] 11A51 - Factorization; primality [MSC 2020] 11Axx - Elementary number theory [MSC 2020] 97Exx - Education of foundations of mathematics [MSC 2020] |
| Soggetto non controllato |
Equivalence relations
Infinite cardinality Mathematical induction Order relation Proofs Propositional logic Relations Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124569 |
|
Mynard, Frédéric
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Between state and church : confessional relations from reformation to enlightenment : Poland - Lithuania - Germany - Netherlands / / Wojciech Kriegseisen ; translated by Bartosz Wójcik ; and copy-edited by Alexa Shannon
| Between state and church : confessional relations from reformation to enlightenment : Poland - Lithuania - Germany - Netherlands / / Wojciech Kriegseisen ; translated by Bartosz Wójcik ; and copy-edited by Alexa Shannon |
| Autore | Kriegseisen Wojciech |
| Pubbl/distr/stampa | Bern, : Peter Lang International Academic Publishing Group, 2016 |
| Descrizione fisica | 1 online resource (628 p.) |
| Disciplina | 322/.109409031 |
| Collana | Polish studies - transdisciplinary perspectives |
| Soggetto topico |
Church and state - Poland
Church and state - Lithuania Church and state - Germany Church and state - Netherlands |
| Soggetto non controllato |
Church
Church-state relations Confessional Denominational relations Enlightenment Germany Humanist and political theory Kriegseisen Lithuania Netherlands Poland Protestant and Catholic reformers Reform Reformation Relations State |
| ISBN |
3-653-99902-2
3-653-02375-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Table of Contents; Part I. Introduction; Chapter 1: Terminology and periodization; a)Terminological problems; b) Problems of periodization; Chapter 2: Before the Reformation; Part II: Conceptions; Chapter 1: Reformers, or Salvation ; a) Martin Luther and Lutherans; b) Philipp Melanchthon; c) Ulrich Zwingli; d) John Calvin and Calvinists; e) Catholic Reformers; Chapter 2: Humanists, or Understanding ; Chapter 3:Politicians, or ""ius resistentiae versus ratio status""; Part III: Religious Relations in Western European Federal States; Chapter 1: The Holy Roman Empire
Chapter 2:The United Provinces of the Northern Netherlands Part IV: The Kingdom of Poland and the Grand Duchy of Lithuania- The Polish-Lithuanian Commonwealth; Chapter 1: The Twilight of the Middle Ages; a) The Kingdom of Poland; b) The Grand Duchy of Lithuania; Chapter 2: On the Eve of the Reformation (1520-1548) ; Chapter 3: The Reformation (1548-1573); Chapter 4: Political Programmes of the Reformation; Chapter 5: Equal Rights (1573-1606); Chapter 6: Toleration of non-Catholic Minorities (1606-1658); Chapter 7:The Belated Catholic Confessionalization After 1658; Conclusion |
| Record Nr. | UNINA-9910485585003321 |
|
Kriegseisen Wojciech
|
||
| Bern, : Peter Lang International Academic Publishing Group, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Learning Ontology Relations by Combining Corpus-Based Techniques and Reasoning on Data from Semantic Web Sources
| Learning Ontology Relations by Combining Corpus-Based Techniques and Reasoning on Data from Semantic Web Sources |
| Autore | Wohlgenannt Gerhard |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Frankfurt am Main : , : Peter Lang GmbH, Internationaler Verlag der Wissenschaften, , 2011 |
| Descrizione fisica | 1 online resource (222 pages) |
| Collana | Forschungsergebnisse der Wirtschaftsuniversitaet Wien |
| Soggetto topico |
Social ethics - Information technology
Business enterprises Computer software |
| Soggetto non controllato |
Based
Combining Corpus Data from Learning machine learning natural language learning Ontology Reasoning relation labeling Relations Semantic Sources Techniques Wohlgenannt |
| ISBN | 3-631-75384-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover -- 1 Introduction -- 2 The Semantic Web -- 2.1 Overview -- 2.1.1 Background and Vision -- 2.1.2 Features -- 2.1.3 Misconceptions and Criticism -- 2.2 Applications -- 3 Ontologies -- 3.1 Fundamentals -- 3.1.1 Purpose -- 3.1.2 Structure and Entities -- 3.1.3 Ontology Research Fields -- 3.2 Representation -- 3.2.1 Resource Description Framework -- 3.2.2 RDF Schema -- 3.2.3 Web Ontology Language -- 3.3 Querying and Reasoning -- 3.3.1 SPARQL and RDQL -- 3.3.2 Reasoning with Jena -- 3.3.3 Redland -- 3.4 Public Datasets and Ontologies -- 3.4.1 DBpedia -- 3.4.2 Freebase -- 3.4.3 OpenCyc -- 4 Methodology -- 4.1 Ontology Learning -- 4.2 Methods for Learning Semantic Associations -- 4.2.1 Natural Language Processing Techniques -- 4.2.2 Lexico-syntactic Patterns -- 4.2.3 Relevant Statistical and Information Retrieval Measures and Methods -- 4.2.4 Machine Learning Paradigms -- 4.3 Literature Review -- 4.3.1 Domain Text and Semantic Associations -- 4.3.2 The Web and Semantic Associations -- 4.3.3 Domain Text and Linguistic Patterns -- 4.3.4 The Web and Linguistic Patterns -- 4.3.5 Semantic Web Data and Reasoning -- 4.3.6 Selected Work from SemEval2007 -- 4.3.7 Learning of Qualia Structures -- 4.4 webLyzard Ontology Learning System -- 4.4.1 System Overview -- 4.4.2 Major Components of the Framework -- 4.4.3 Identification of the Most Relevant Concepts -- 4.4.4 Concept Positioning and Taxonomy Discovery -- 4.5 A Novel Method to Detect Relations -- 4.5.1 Relation Labeling Based on Vector Space Similarity -- 4.5.2 Ontological Restrictions and Integration of External Knowledge -- 4.5.3 The Knowledge Base -- 4.5.4 A Hybrid Method for Relation Labeling -- 4.5.5 Integration of User Feedback -- 4.6 Implementation of the Method -- 4.6.1 Training -- 4.6.2 Compute Vector Space Similarities -- 4.6.3 Ontological Restrictions and Concept Grounding -- 4.6.4 Scarlet.
4.6.5 Evaluation -- 5 Results and Evaluation -- 5.1 Domain Relations and Domain Corpus -- 5.2 Evaluation of the Vector Space Model -- 5.2.1 Evaluation Baselines -- 5.2.2 Configuration Parameters -- 5.2.3 Average Ranking Precision -- 5.2.4 First Guess Correct -- 5.2.5 Second Guess Correct -- 5.3 Concept Grounding -- 5.4 Scarlet -- 5.5 Evaluation of Integrated Data Sources -- 5.5.1 Average Ranking Precision -- 5.5.2 First Guess Correct -- 5.5.3 Second Guess Correct -- 5.5.4 Individual Predicates -- 5.5.5 Summary and Interpretation -- 6 Conclusions and Outlook -- Bibliography. |
| Record Nr. | UNINA-9910297042203321 |
|
Wohlgenannt Gerhard
|
||
| Frankfurt am Main : , : Peter Lang GmbH, Internationaler Verlag der Wissenschaften, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Leśmian internationally : contextual relations / / Żaneta Nalewajk ; translated by Klara Naszkowska and Alan Lockwood
| Leśmian internationally : contextual relations / / Żaneta Nalewajk ; translated by Klara Naszkowska and Alan Lockwood |
| Autore | Nalewajk Żaneta |
| Pubbl/distr/stampa | Bern, : Peter Lang International Academic Publishing Group, 2020 |
| Descrizione fisica | 1 online resource (350 pages) : illustrations |
| Disciplina | 368 |
| Collana | Polish studies transdisciplinary perspectives |
| Soggetto topico | International relations |
| Soggetto genere / forma | Criticism, interpretation, etc. |
| Soggetto non controllato |
Boleslaw
Bolesław Leśmian Comparative Comparative research Comparative studies Contextual Contextual relations Internationally Leśmian Nalewajk Polish literature Relations Slavic literature Studies Study Turecka |
| ISBN |
3-631-82247-2
3-631-82246-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910513705603321 |
|
Nalewajk Żaneta
|
||
| Bern, : Peter Lang International Academic Publishing Group, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Part 1.: Sets, Functions, Limits, Derivatives, Integrals, Sequences and Series / Tomasz Radożycki
| Part 1.: Sets, Functions, Limits, Derivatives, Integrals, Sequences and Series / Tomasz Radożycki |
| Autore | Radożycki, Tomasz |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xii, 369 p. : ill. ; 24 cm |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
26A03 - Foundations: limits and generalizations, elementary topology of the line [MSC 2020] 40-XX - Sequences, series, summability [MSC 2020] 00A07 - Problem books [MSC 2020] 26A06 - One-variable calculus [MSC 2020] 00-XX - General and overarching topics; collections [MSC 2020] |
| Soggetto non controllato |
Calculus
Differentiable functions Functional sequences Functional series Functions Indefinite integrals Metric spaces Relations Sequences Series Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249774 |
|
Radożycki, Tomasz
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Part 1.: Sets, Functions, Limits, Derivatives, Integrals, Sequences and Series / Tomasz Radożycki
| Part 1.: Sets, Functions, Limits, Derivatives, Integrals, Sequences and Series / Tomasz Radożycki |
| Autore | Radożycki, Tomasz |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xii, 369 p. : ill. ; 24 cm |
| Soggetto topico |
00-XX - General and overarching topics; collections [MSC 2020]
00A07 - Problem books [MSC 2020] 03Exx - Set theory [MSC 2020] 26A03 - Foundations: limits and generalizations, elementary topology of the line [MSC 2020] 26A06 - One-variable calculus [MSC 2020] 40-XX - Sequences, series, summability [MSC 2020] |
| Soggetto non controllato |
Calculus
Differentiable functions Functional sequences Functional series Functions Indefinite integrals Metric spaces Relations Sequences Series Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00249774 |
|
Radożycki, Tomasz
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Las relaciones internacionales regionales de Chile hacia 1904 / Cristián Garay Vera y Claudio Tapia Figueroa, editores
| Las relaciones internacionales regionales de Chile hacia 1904 / Cristián Garay Vera y Claudio Tapia Figueroa, editores |
| Autore | Garay Cristián |
| Edizione | [Primera edición.] |
| Pubbl/distr/stampa | Santiago, : Ariadna Ediciones, 2021 |
| Descrizione fisica | 1 online resource (217 pages) |
| Soggetto topico | History of the Americas |
| Soggetto genere / forma | Electronic books. |
| Soggetto non controllato |
Relations
History War of the Pacific International Treaties |
| ISBN | 979-1-03-652720-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | spa |
| Nota di contenuto | La política exterior de Argentina y Estanislao Zeballos / Pablo Lacoste -- El factor naval en la controversia argentino-chilena de límites de 1976-1881: los casos de Jeanne Amelie y Devonshire / Diego Jimenez -- El impacto en la Armada y Ejercito de Chile de la carrera armamentista con Argentina, 1892-1902 / Luis Cáceres -- El Mercurio de Valparaíso y el Pacto de Tregua de 1884 con Bolivia / Cristián Garay y Ana Solíz de Stange -- Chile y Brasil, la "estrecha amistad" en la epoca del Barón de Rio Branco (1902-1905) / Marión Guerrero -- Relaciones Chileno-Colombianas a inicios del siglo XX. La reforma militar en Colombia, 1904-1915 / Mayra Rey -- Ecuador en la política exterior de Chile: un escenario paravecinal en el tránsito del siglo XIX al XX / Claudio Tapia Figueroa -- Incidencia del Tratado de 1904 en el proceso de chilenización de Arica / Jose Miguel Concha. |
| Record Nr. | UNINA-9910493728203321 |
|
Garay Cristián
|
||
| Santiago, : Ariadna Ediciones, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reshaping Glocal Dynamics of the Caribbean
| Reshaping Glocal Dynamics of the Caribbean |
| Autore | Bandau Anja |
| Pubbl/distr/stampa | Heidelberg, : Heidelberg University Publishing (heiUP), 2018 |
| Descrizione fisica | 1 online resource (508) |
| Soggetto topico | History of art / art & design styles |
| Soggetto non controllato |
Caribbean
History Relations Interculturality Karibik Geschichte Beziehungen Interkulturalität |
| ISBN | 3-947732-14-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910315228003321 |
|
Bandau Anja
|
||
| Heidelberg, : Heidelberg University Publishing (heiUP), 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||