| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996394645903316 |
|
|
Autore |
Moore Thomas, Senior |
|
|
Titolo |
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : printed by J. C. for Livewel Chapman, at the Crown in Popes-head-Alley, 1657 |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996466453903316 |
|
|
Titolo |
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
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. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910438058903321 |
|
|
Autore |
Canelas Antonio, M.L. |
|
|
Titolo |
Investment strategies optimization based on a SAX-GA methodology / / Antonio M.L. Canelas, Rui F.M.F. Neves, Nuno C.G. Horta |
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Soggetti |
|
Portfolio management |
Investments |
Genetic algorithms |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
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. |
|
|
|
|
|
|
|
| |