| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996390135203316 |
|
|
Autore |
Ussher James <1581-1656.> |
|
|
Titolo |
Jacobi Usserii Armaghani Annales [[electronic resource] ] : In quibus, præter Maccabaicam et Novi Testamenti historiam, Imperii Romanorum Cæsarum sub C. Julio & Octaviano ortus, rerʹumque in Asiâ & Ægypto gestarum continentur chronicon: ab Antiochi epiphanis regni exordio, usque ad Imperii Vespasiani initia atque extremum Templi & Reipublicæ Judaicæ excidium, deductum |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Londini, : typis J. Flesher, impensis Johannis Crook : apud quem prostant sub insigni Navis in Cœmeterio Paulino, M DC LIV. [1654] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
History, Ancient |
Chronology, Historical |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Includes index. |
Reproduction of original in the University of Illinois (Urbana-Champaign Campus). Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996466457603316 |
|
|
Titolo |
Scalable Uncertainty Management [[electronic resource] ] : 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings / / edited by Christoph Beierle, Alex Dekhtyar |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2015.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIX, 421 p. 77 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 9310 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Application software |
Information storage and retrieval |
Computer communication systems |
Database management |
Data mining |
Artificial Intelligence |
Information Systems Applications (incl. Internet) |
Information Storage and Retrieval |
Computer Communication Networks |
Database Management |
Data Mining and Knowledge Discovery |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
The mysterious world of normal numbers -- Bayesian Networks -- Probabilistic Query Answering in the Bayesian Description Logic BEL -- The Complexity of Plate Probabilistic Models -- DL-Lite Bayesian Networks: A Tractable Probabilistic Graphical Model -- Probabilistic Models -- State Space Search with Stochastic Costs and Risk Aversion -- On the Impact of Junction-Tree Topology on Weighted Model Counting -- A System for Probabilistic Inductive Answer Set Programming -- Towards Large-Scale Probabilistic OBDA -- Reasoning |
|
|
|
|
|
|
|
|
|
|
|
over Linear Probabilistic Knowledge Bases with Priorities -- Intelligent Data Analytics -- Evenness-based reasoning with logical proportions applied to classification -- Multivariate Cluster-Based Discretization for Bayesian Network Structure Learning -- Modeling and Forecasting Time Series of Compositional Data: A Generalized Dirichlet Power Steady Model -- Linguistic and Graphical Explanation of a Cluster-based Data Structure -- Possibility Theory, Belief Functions and Transformations -- Probability-possibility transformations: Application to credal networks -- Planning in Partially Observable Domains with Fuzzy Epistemic States and Probabilistic Dynamics -- Propagation of Belief Functions in Singly-Connected Hybrid Directed Evidential Networks -- Uncertain logical gates in possibilistic networks. An application to human geography -- Argumentation -- Undercutting in argumentation systems -- Formalizing Explanatory Dialogues -- Towards a dual process cognitive model for argument evaluation -- Change in abstract bipolar argumentation systems -- On argumentation with purely defeasible rules -- Dealing with Inconsistency -- A possibilistic analysis of inconsistency -- First-Order Under-Approximations of Consistent Query Answers -- Using Rules of Thumb for Repairing Inconsistent Answer Set Program -- Applications -- Fuzzy XPath for the Automatic Search of Fuzzy Formulae Models -- ERBlox: Combining Matching Dependencies with Machine Learning for Entity Resolution -- Matching uncertain identities against sparse knowledge. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 9th International Conference on Scalable Uncertainty Management, SUM 2015, held in Québec City, QC, Canada, in September 2015. The 25 regular papers and 3 short papers were carefully reviewed and selected from 49 submissions. The call for papers for SUM 2015 solicited submissions in all areas of managing and reasoning with substantial and complex kinds of uncertain, incomplete or inconsistent information. These include applications in decision support systems, risk analysis, machine learning, belief networks, logics of uncertainty, belief revision and update, argumentation, negotiation technologies, semantic web applications, search engines, ontology systems, information fusion, information retrieval, natural language processing, information extraction, image recognition, vision systems, data and text mining, and the consideration of issues such as provenance, trust, heterogeneity, and complexity of data and knowledge. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910409664703321 |
|
|
Titolo |
Developments in Language Theory : 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings / / edited by Nataša Jonoska, Dmytro Savchuk |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (342 pages) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 12086 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Computer science |
Natural language processing (Computer science) |
Computer science - Mathematics |
Computer networks |
Logic programming |
Computer Science Logic and Foundations of Programming |
Natural Language Processing (NLP) |
Mathematics of Computing |
Computer Communication Networks |
Logic in AI |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Equational Theories of Scattered and Countable Series-parallel Posets -- Scattered Factor-Universality of Words -- On Normalish Subgroups of the R. Thompson’s Groups -- Computing the Shortest String and the Edit-Distance for Parsing Expression Languages -- An Approach to the Herzog-Schonheim Conjecture Using Automata -- On the Fine Grained Complexity of Finite Automata Non-Emptiness of Intersection -- The State Complexity of Lexicographically Smallest Words and Computing Successors -- Reconstructing Words from Right-Bounded-Block Words -- A Study of a Simple Class of Modifiers : Product Modifiers -- Operations on Permutation Automata -- Space Complexity of Stack |
|
|
|
|
|
|
|
|
|
|
|
Automata Models -- Descriptional Complexity of Semi-Simple Splicing Systems -- On the Degeneracy of Random Expressions Specified by Systems of Combinatorial Equations -- Dynamics of Cellular Automata on Beta-Shifts and Direct Topological Factorizations -- Avoidability of Additive Cubes over Alphabets of Four Numbers -- Equivalence of Linear Tree Transducers with Output in the Free Group -- On the Balancedness of Tree-to-word Transducers -- On Tree Substitution Grammars -- Sublinear-Time Language Recognition and Decision by One-Dimensional Cellular Automata -- Complexity of Searching for 2 by 2 Submatrices in Boolean Matrices -- Avoiding 5/4-powers on the Alphabet of Nonnegative Integers (Extended Abstract) -- Transition Property for α-Power Free Languages with α ≥ 2 and k ≥ 3 Letters -- Context-Freeness of Word-MIX Languages -- The Characterization of the Minimal Paths in the Christoffel Tree According to a Second-order Balancedness. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 24th International Conference on Developments in Language Theory, DLT 2020, which was due to be held in Tampa, Florida, USA, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 24 full papers presented were carefully reviewed and selected from 38 submissions. The papers present current developments in language theory, formal languages, automata theory and related areas, such as algorithmic, combinatorial, and algebraic properties of words and languages, cellular automata, algorithms on words, etc. |
|
|
|
|
|
|
|
| |