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.
Advances in rule interchange and applications : international symposium, ruleml 2007, orlando, florida, october 25-26, 2007 ; proceedings / / edited by Adrian Paschke, Yevgen Biletskiy
| Advances in rule interchange and applications : international symposium, ruleml 2007, orlando, florida, october 25-26, 2007 ; proceedings / / edited by Adrian Paschke, Yevgen Biletskiy |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XI, 248 p.) |
| Disciplina | 006.74 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Metadata - Standards
Decision making - Data processing Semantic Web Management information systems Document markup languages |
| ISBN | 3-540-75975-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- How Ontologies and Rules Help to Advance Automobile Development -- Are Your Rules Online? Four Web Rule Essentials -- Session: Business Process, Policy and IT Service Management and Modeling -- KISS – Knowledge-Intensive Service Support: An Approach for Agile Process Management -- Specifying Process-Aware Access Control Rules in SBVR -- A Rule-Based Approach to Prioritization of IT Work Requests Maximizing Net Benefit to the Business -- Session: Rule Languages and Interchange Standards -- A Generic Module System for Web Rule Languages: Divide and Rule -- Towards Semantically Grounded Decision Rules Using ORM?+? -- Towards Ontological Commitments with ?-RIDL Markup Language -- Session: Business Rules, Rule Engines and Applications -- Recovering Business Rules from Legacy Source Code for System Modernization -- An Approach for Bridging the Gap Between Business Rules and the Semantic Web -- Take - A Rule Compiler for Derivation Rules -- Session: RuleML-2007 Challenge -- The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering -- Querying the Semantic Web with SWRL -- Implementation of Production Rules for a RIF Dialect: A MISMO Proof-of-Concept for Loan Rates -- Session: Rules, Reasoning, and Ontologies -- Adapting the Rete-Algorithm to Evaluate F-Logic Rules -- Rule Definition for Managing Ontology Development -- Integrating Rules and Description Logics with Circumscription for the Semantic Web -- XML Data Compatibility from the Ground Up -- Session: Reaction Rules and Rule Applications -- Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages -- The Use of Ontologies and Rules to Assist in Academic Advising -- Towards Knowledge Extraction from Weblogs and Rule-Based Semantic Querying -- Complex Information Management Using a Framework Supported by ECA Rules in XML -- AIM: An XML-Based ECA Rule Language for Supporting a Framework for Managing Complex Information. |
| Record Nr. | UNINA-9910484350303321 |
| Berlin, Germany ; ; New York, United States : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in rule interchange and applications : international symposium, ruleml 2007, orlando, florida, october 25-26, 2007 ; proceedings / / edited by Adrian Paschke, Yevgen Biletskiy
| Advances in rule interchange and applications : international symposium, ruleml 2007, orlando, florida, october 25-26, 2007 ; proceedings / / edited by Adrian Paschke, Yevgen Biletskiy |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XI, 248 p.) |
| Disciplina | 006.74 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Metadata - Standards
Decision making - Data processing Semantic Web Management information systems Document markup languages |
| ISBN | 3-540-75975-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- How Ontologies and Rules Help to Advance Automobile Development -- Are Your Rules Online? Four Web Rule Essentials -- Session: Business Process, Policy and IT Service Management and Modeling -- KISS – Knowledge-Intensive Service Support: An Approach for Agile Process Management -- Specifying Process-Aware Access Control Rules in SBVR -- A Rule-Based Approach to Prioritization of IT Work Requests Maximizing Net Benefit to the Business -- Session: Rule Languages and Interchange Standards -- A Generic Module System for Web Rule Languages: Divide and Rule -- Towards Semantically Grounded Decision Rules Using ORM?+? -- Towards Ontological Commitments with ?-RIDL Markup Language -- Session: Business Rules, Rule Engines and Applications -- Recovering Business Rules from Legacy Source Code for System Modernization -- An Approach for Bridging the Gap Between Business Rules and the Semantic Web -- Take - A Rule Compiler for Derivation Rules -- Session: RuleML-2007 Challenge -- The OO jDREW Engine of Rule Responder: Naf Hornlog RuleML Query Answering -- Querying the Semantic Web with SWRL -- Implementation of Production Rules for a RIF Dialect: A MISMO Proof-of-Concept for Loan Rates -- Session: Rules, Reasoning, and Ontologies -- Adapting the Rete-Algorithm to Evaluate F-Logic Rules -- Rule Definition for Managing Ontology Development -- Integrating Rules and Description Logics with Circumscription for the Semantic Web -- XML Data Compatibility from the Ground Up -- Session: Reaction Rules and Rule Applications -- Exploiting E-C-A Rules for Defining and Processing Context-Aware Push Messages -- The Use of Ontologies and Rules to Assist in Academic Advising -- Towards Knowledge Extraction from Weblogs and Rule-Based Semantic Querying -- Complex Information Management Using a Framework Supported by ECA Rules in XML -- AIM: An XML-Based ECA Rule Language for Supporting a Framework for Managing Complex Information. |
| Record Nr. | UNISA-996465548103316 |
| Berlin, Germany ; ; New York, United States : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Flight simulation model exchange / / Daniel G. Murri, E. Bruce Jackson
| Flight simulation model exchange / / Daniel G. Murri, E. Bruce Jackson |
| Autore | Murri Daniel G |
| Pubbl/distr/stampa | Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] |
| Descrizione fisica | 1 online resource (2 volumes) : color illustrations |
| Altri autori (Persone) | JacksonE. Bruce |
| Collana | NASA/TM |
| Soggetto topico |
Navigation
Document markup languages Safety management Guidance (motion) Flight simulation Aerodynamic characteristics Lifting bodies Lessons learned |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910713401403321 |
Murri Daniel G
|
||
| Hampton, Va. : , : National Aeronautics and Space Administration, Langley Research Center, , [2011] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
LaTeX beginner's guide [[electronic resource] ] : create high-quality and professional-looking texts, articles, and books for business and science using LaTeX / / Stefan Kottwitz
| LaTeX beginner's guide [[electronic resource] ] : create high-quality and professional-looking texts, articles, and books for business and science using LaTeX / / Stefan Kottwitz |
| Autore | Kottwitz Stefan |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Olton, Birmingham, : Packt Pub., 2011 |
| Descrizione fisica | 1 online resource (336 p.) |
| Disciplina | 006.74 |
| Collana | Learn by doing : less theory, more results |
| Soggetto topico |
Document markup languages
Computerized typesetting |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-283-37659-8
9786613376596 1-84719-987-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Copyright; Credits; About the Author; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: Getting Started with LaTeX; What is LaTeX?; How we can benefit; The virtues of open source; Separation of form and content; Portability; Protection for your work; Comparing it to word processor software; What are the challenges?; Installing LaTeX; Time for action-installing TeX Live using the net; installer wizard; Time for action - installing TeX Live offline; Installation on other operating systems; Creating our first document
Time for action - writing our first document with TeXworksSummary; Chapter 2: Formatting Words, Lines, and Paragraphs; Understanding logical formatting; Time for action - titling your document; Exploring the document structure; Understanding LaTeX commands; How LaTeX reads your input; Time for action - trying out the effect of spaces, line; breaks, and empty lines; Commenting your source text; Printing out special symbols; Time for action - writing special characters in our text; Formatting text-fonts, shapes, and styles; Time for action - tuning the font shape; Choosing the font family Time for action - switching to sans-serif and to typewriter fontsSwitching fonts; Time for action - switching the font family; Summarizing font commands and declarations; Delimiting the effect of commands; Time for action - exploring grouping by braces; Time for action - exploring font sizes; Using environments; Time for action - using an environment to adjust the font size; Saving time and effort-creating your own commands; Time for action - creating our first command using it as an; abbreviation; Gentle spacing after commands; Time for action - adding intelligent spacing to command output Creating more universal commands-using argumentsTime for action - creating a macro for formatting keywords; Using optional arguments; Time for action - marking keywords with optional formatting; Using boxes to limit the width of paragraphs; Time for action - creating a narrow text column; Common paragraph boxes; Boxes containing more text; Time for action - using the minipage environment; Understanding environments; Breaking lines and paragraphs; Improving hyphenation; Time for action - stating division points for words; Improving the justification further; Time for action - using microtype Breaking lines manuallyTime for action - using line breaks; Preventing linebreaks; Managing line breaks wisely; Exploring the fine details; Time for action - exploring ligatures; Understanding ligatures; Choosing the right dash; Setting dots; Time for action - using differently spaced dots; Time for action - comparing dots to ellipsis; Setting accents; Time for action - experimenting with accents; Using special characters directly in the editor; Time for action - using accents directly; Turning off full justification; Time for action - justifying a paragraph to the left Creating ragged-left text |
| Record Nr. | UNINA-9910460126903321 |
|
Kottwitz Stefan
|
||
| Olton, Birmingham, : Packt Pub., 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
LaTeX beginner's guide [[electronic resource] ] : create high-quality and professional-looking texts, articles, and books for business and science using LaTeX / / Stefan Kottwitz
| LaTeX beginner's guide [[electronic resource] ] : create high-quality and professional-looking texts, articles, and books for business and science using LaTeX / / Stefan Kottwitz |
| Autore | Kottwitz Stefan |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Olton, Birmingham, : Packt Pub., 2011 |
| Descrizione fisica | 1 online resource (336 p.) |
| Disciplina | 006.74 |
| Collana | Learn by doing : less theory, more results |
| Soggetto topico |
Document markup languages
Computerized typesetting |
| ISBN |
1-283-37659-8
9786613376596 1-84719-987-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Copyright; Credits; About the Author; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: Getting Started with LaTeX; What is LaTeX?; How we can benefit; The virtues of open source; Separation of form and content; Portability; Protection for your work; Comparing it to word processor software; What are the challenges?; Installing LaTeX; Time for action-installing TeX Live using the net; installer wizard; Time for action - installing TeX Live offline; Installation on other operating systems; Creating our first document
Time for action - writing our first document with TeXworksSummary; Chapter 2: Formatting Words, Lines, and Paragraphs; Understanding logical formatting; Time for action - titling your document; Exploring the document structure; Understanding LaTeX commands; How LaTeX reads your input; Time for action - trying out the effect of spaces, line; breaks, and empty lines; Commenting your source text; Printing out special symbols; Time for action - writing special characters in our text; Formatting text-fonts, shapes, and styles; Time for action - tuning the font shape; Choosing the font family Time for action - switching to sans-serif and to typewriter fontsSwitching fonts; Time for action - switching the font family; Summarizing font commands and declarations; Delimiting the effect of commands; Time for action - exploring grouping by braces; Time for action - exploring font sizes; Using environments; Time for action - using an environment to adjust the font size; Saving time and effort-creating your own commands; Time for action - creating our first command using it as an; abbreviation; Gentle spacing after commands; Time for action - adding intelligent spacing to command output Creating more universal commands-using argumentsTime for action - creating a macro for formatting keywords; Using optional arguments; Time for action - marking keywords with optional formatting; Using boxes to limit the width of paragraphs; Time for action - creating a narrow text column; Common paragraph boxes; Boxes containing more text; Time for action - using the minipage environment; Understanding environments; Breaking lines and paragraphs; Improving hyphenation; Time for action - stating division points for words; Improving the justification further; Time for action - using microtype Breaking lines manuallyTime for action - using line breaks; Preventing linebreaks; Managing line breaks wisely; Exploring the fine details; Time for action - exploring ligatures; Understanding ligatures; Choosing the right dash; Setting dots; Time for action - using differently spaced dots; Time for action - comparing dots to ellipsis; Setting accents; Time for action - experimenting with accents; Using special characters directly in the editor; Time for action - using accents directly; Turning off full justification; Time for action - justifying a paragraph to the left Creating ragged-left text |
| Record Nr. | UNINA-9910790081603321 |
|
Kottwitz Stefan
|
||
| Olton, Birmingham, : Packt Pub., 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Latex for Linux : a vade mecum / Bernice Sacks Lipkin
| Latex for Linux : a vade mecum / Bernice Sacks Lipkin |
| Autore | Lipkin, Bernice Sacks |
| Pubbl/distr/stampa | New York : Springer, c1999 |
| Descrizione fisica | xxxi, 568 p. : ill. ; 24 cm. |
| Disciplina | 686.22544 |
| Soggetto topico |
Computerized typesetting
Desktop publishing Document markup languages LaTeX (Computer file) Linux |
| ISBN | 0387987088 |
| Classificazione | AMS 00A20 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001058559707536 |
|
Lipkin, Bernice Sacks
|
||
| New York : Springer, c1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Markup languages : theory and practice
| Markup languages : theory and practice |
| Pubbl/distr/stampa | Cambridge, Mass., : MIT Press, 1999- |
| Disciplina | 004 |
| Soggetto topico | Document markup languages |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1537-2626 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910339056303321 |
| Cambridge, Mass., : MIT Press, 1999- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
MDDL and the quest for a market data standard [[electronic resource] ] : explanation, rationale and implementation / / Martin Christopher Sexton
| MDDL and the quest for a market data standard [[electronic resource] ] : explanation, rationale and implementation / / Martin Christopher Sexton |
| Autore | Sexton Martin Christopher |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; London, : Butterworth-Heinemann, 2008 |
| Descrizione fisica | 1 online resource (321 p.) |
| Disciplina | 332.10285674 |
| Collana | Elsevier world capital markets series |
| Soggetto topico |
Financial services industry - Data processing - Standards
Document markup languages |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-03499-1
9786611034993 0-08-055177-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; MDDL and the Quest for a Market Data Standard; Copyright page; Table of Contents; Series Editor's preface; Chapter 1 Introduction; Audience of this book; Structure of the book; Chapter 2 What is market data?; Chapter 3 Executive summary; The Vision; Linking MDDL to corporate goals; The business benefits of using MDDL; MDDL opportunities; Chapter 4 The financial standards landscape; Industry standards; Market data is everywhere; Chapter 5 Self-describing data and XML basics; Elements, attributes and hierarchy; Chapter 6 Evolution of MDDL; MDDL versioning; Why use schemas?
Chapter 7 How MDDL works Synopsis of the MDDL hierarchy; MDDL domains; Classes and subclasses; Containers; Properties; MDDL property types; Industry standards used in content; Creation of new types; Classification of properties; Controlled vocabulary; Top-level wrappers; Instance headers; Inheritance; MDDL extensions; Naming convention; Creating an extension schema; Defining code lists (controlled vocabulary); Chapter 8 The life of a financial instrument; Issuance; Pricing and reporting; General pricing and volumes; Historical pricing; Book management; Trade reporting; Time and sales Reconciliation Portfolio valuation; Chapter 9 Regulatory adherence; Reference data terms; Best execution; Regulatory reporting; Data vendors and end of concentration rules; Chapter 10 Reference data management; Business entities; Indices, rates and indicators; Corporate action events; Security definitions; Alternative solutions to securities definitions; Change mechanism; Chapter 11 Industry standards - mix and match; MDDL to FIX, FIX to MDDL; MDDL and FIXml; FpML; RIXML; XBRL; SDMX; ISO standards in the financial sector; ISO 19312 and MDDL; ISO 20022 and MDDL; Chapter 12 MDDL as payload MDDL and SOAPMDDL as a FIX payload; MDDL as ebXML or OAGIS payload; Chapter 13 'Build-your-own' - MDDL equivalent schema; Chapter 14 UML to XML schema generation; Chapter 15 Undertaking a mapping exercise?; Data mapping process; Data mapping pointers; Chapter 16 Compression; xtcMessage (fisdMessage); FASTSM; Chapter 17 A final tribute to Jonathan Castaing; Appendices; Appendix A: Glossary and acronyms; Appendix B: MiFID terms; References and further reading; Index |
| Record Nr. | UNINA-9910457676903321 |
|
Sexton Martin Christopher
|
||
| Amsterdam ; ; London, : Butterworth-Heinemann, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
MDDL and the quest for a market data standard [[electronic resource] ] : explanation, rationale and implementation / / Martin Christopher Sexton
| MDDL and the quest for a market data standard [[electronic resource] ] : explanation, rationale and implementation / / Martin Christopher Sexton |
| Autore | Sexton Martin Christopher |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Amsterdam ; ; London, : Butterworth-Heinemann, 2008 |
| Descrizione fisica | 1 online resource (321 p.) |
| Disciplina | 332.10285674 |
| Collana | Elsevier world capital markets series |
| Soggetto topico |
Financial services industry - Data processing - Standards
Document markup languages |
| ISBN |
1-281-03499-1
9786611034993 0-08-055177-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; MDDL and the Quest for a Market Data Standard; Copyright page; Table of Contents; Series Editor's preface; Chapter 1 Introduction; Audience of this book; Structure of the book; Chapter 2 What is market data?; Chapter 3 Executive summary; The Vision; Linking MDDL to corporate goals; The business benefits of using MDDL; MDDL opportunities; Chapter 4 The financial standards landscape; Industry standards; Market data is everywhere; Chapter 5 Self-describing data and XML basics; Elements, attributes and hierarchy; Chapter 6 Evolution of MDDL; MDDL versioning; Why use schemas?
Chapter 7 How MDDL works Synopsis of the MDDL hierarchy; MDDL domains; Classes and subclasses; Containers; Properties; MDDL property types; Industry standards used in content; Creation of new types; Classification of properties; Controlled vocabulary; Top-level wrappers; Instance headers; Inheritance; MDDL extensions; Naming convention; Creating an extension schema; Defining code lists (controlled vocabulary); Chapter 8 The life of a financial instrument; Issuance; Pricing and reporting; General pricing and volumes; Historical pricing; Book management; Trade reporting; Time and sales Reconciliation Portfolio valuation; Chapter 9 Regulatory adherence; Reference data terms; Best execution; Regulatory reporting; Data vendors and end of concentration rules; Chapter 10 Reference data management; Business entities; Indices, rates and indicators; Corporate action events; Security definitions; Alternative solutions to securities definitions; Change mechanism; Chapter 11 Industry standards - mix and match; MDDL to FIX, FIX to MDDL; MDDL and FIXml; FpML; RIXML; XBRL; SDMX; ISO standards in the financial sector; ISO 19312 and MDDL; ISO 20022 and MDDL; Chapter 12 MDDL as payload MDDL and SOAPMDDL as a FIX payload; MDDL as ebXML or OAGIS payload; Chapter 13 'Build-your-own' - MDDL equivalent schema; Chapter 14 UML to XML schema generation; Chapter 15 Undertaking a mapping exercise?; Data mapping process; Data mapping pointers; Chapter 16 Compression; xtcMessage (fisdMessage); FASTSM; Chapter 17 A final tribute to Jonathan Castaing; Appendices; Appendix A: Glossary and acronyms; Appendix B: MiFID terms; References and further reading; Index |
| Record Nr. | UNINA-9910784461203321 |
|
Sexton Martin Christopher
|
||
| Amsterdam ; ; London, : Butterworth-Heinemann, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
On the power of fuzzy markup language / / Giovanni Acampora ... [et al.] (eds.)
| On the power of fuzzy markup language / / Giovanni Acampora ... [et al.] (eds.) |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2013 |
| Descrizione fisica | 1 online resource (XX, 188 p.) |
| Disciplina | 006.7/4 |
| Altri autori (Persone) | AcamporaGiovanni |
| Collana | Studies in fuzziness and soft computing |
| Soggetto topico |
Fuzzy languages
Document markup languages |
| ISBN | 3-642-35488-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910437773503321 |
| Berlin ; ; New York, : Springer, c2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
