A treatise of the person of Christ [[electronic resource] ] : and therein, a discourse about the knowledge of God, who and what a one He is. Of the Son of God, who and what a one He is. Of the first promise of Christ, & first publication of the mystery of Him. Of the times and years of the first fathers, &c. Of the account of years, from the creation to the flood, and from both to the first coming of Christ, and probably to His second coming. Of the evidences demonstrating that Jesus is the Christ. Of the mystery of Christ, as revealed since His first coming. Of election. By Thomas Moore, Senior

• Record Nr.: UNISA996394645903316
• Autore: Moore Thomas, Senior
• Pubbl/distr/stampa: London, : printed by J. C. for Livewel Chapman, at the Crown in Popes-head-Alley, 1657
• Descrizione fisica: [6], 178, 189-249, [3] p
• Soggetti: Election (Theology)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Title words "of God, .. Of election." joined by left brace.; With a final errata leaf.; Text apparently continuous despite pagination; register lacking quires Aa-Bb⁴.
• Sommario/riassunto: eebo-0018

Canzonets or Litle short aers to fiue and sixe voices. By Thomas Morley gentleman of her Highnesse chappell [[electronic resource]]

• Record Nr.: UNISA996396010903316
• Autore: Morley Thomas <1557-1603?>
• Pubbl/distr/stampa: London, : Printed by Peter Short dwelling on Bredstreet hil at the signe of the Star, M.D.XCVII. [1597]
• Descrizione fisica: [160] p. : music
• Soggetti: Songs, English; Part-songs; Songs with lute
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Five partbooks containing seven parts, each with separate dated title page and register. At head of title, part 1, "Cantus." (includes lute tablature for most pieces); part 2, "Altus."; part 3, "Tenor." (includes the Sextus); part 4, "Bassus."; part 5, "Quintus.".; Signatures: [A]⁴ B-E⁴ F² ; [A]⁴ B-C⁴ D² ; [A]⁴ B-D⁴; [A]⁴ B-C⁴ D² ; [A]⁴ B-C⁴ D² .; Reproduction of the original in the Henry E. Huntington Library and Art Gallery.
• Sommario/riassunto: eebo-0113

Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers / / edited by José Luiz Fiadeiro, Ionuț Țuțu

• Record Nr.: UNISA996466453903316
• Pubbl/distr/stampa: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
• ISBN: 3-030-23220-4
• Edizione: [1st ed. 2019.]
• Descrizione fisica: 1 online resource (IX, 175 p. 849 illus., 7 illus. in color.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 11563
• Disciplina: 005.1
• Soggetti: Computer science; Computer Science Logic and Foundations of Programming
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Includes index.
• Nota di contenuto: Role-based Development of Dynamically Evolving Esembles -- Parameterized Strategies Specication in Maude -- An Algebraic Theory for Data Linkage -- Institutions for SQL Database Schemas and Datasets -- Finite Limits and Anti-Unication in Substitution Categories -- A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs -- Term Charters -- Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories -- Structuring Theories with Implicit Morphisms.
• Sommario/riassunto: This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The contributed presentations covered a range of topics: specification and modelling languages such as CASL, Event-B, Maude, MMT, and SRML; foundations of system specification such as graph transformation, categorical semantics, fuzzy and temporal logics, institutions, module systems and parameterization, refinement, static analysis, and substitutions; and applications including categorical programming, communicating finite state ; machines, neuralsymbolic integration, relational databases, and service-oriented computing.

Investment strategies optimization based on a SAX-GA methodology / / Antonio M.L. Canelas, Rui F.M.F. Neves, Nuno C.G. Horta

• Record Nr.: UNINA9910438058903321
• Autore: Canelas Antonio, M.L.
• Pubbl/distr/stampa: New York, : Springer, 2013
• ISBN: 9781283909037; 1283909030; 9783642331107; 3642331106
• Edizione: [1st ed. 2013.]
• Descrizione fisica: 1 online resource (89 p.)
• Collana: SpringerBriefs in applied sciences and technology. Computational intelligence
• Altri autori (Persone): NevesRui F. M. F; HortaNuno C. G
• Disciplina: 332.60285
• Soggetti: Portfolio management; Investments; Genetic algorithms
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references.
• Nota di contenuto: Introduction -- Market Analysis Background and Related Work -- SAX-GA Approach -- Results -- Conclusions and Future Work.
• Sommario/riassunto: This book presents a new computational finance approach combining a Symbolic Aggregate approXimation (SAX) technique with an optimization kernel based on genetic algorithms (GA). While the SAX representation is used to describe the financial time series, the evolutionary optimization kernel is used in order to identify the most relevant patterns and generate investment rules. The proposed approach considers several different chromosomes structures in order to achieve better results on the trading platform The methodology presented in this book has great potential on investment markets.