|
Showing 1 - 3 of
3 matches in All Departments
This interdisciplinary book covers a wide range of subjects, from
pure mathematics (knots, braids, homotopy theory, number theory) to
more applied mathematics (cryptography, algebraic specification of
algorithms, dynamical systems) and concrete applications (modeling
of polymers and ionic liquids, video, music and medical imaging).
The main mathematical focus throughout the book is on algebraic
modeling with particular emphasis on braid groups. The research
methods include algebraic modeling using topological structures,
such as knots, 3-manifolds, classical homotopy groups, and braid
groups. The applications address the simulation of polymer chains
and ionic liquids, as well as the modeling of natural phenomena via
topological surgery. The treatment of computational structures,
including finite fields and cryptography, focuses on the
development of novel techniques. These techniques can be applied to
the design of algebraic specifications for systems modeling and
verification. This book is the outcome of a workshop in connection
with the research project Thales on Algebraic Modeling of
Topological and Computational Structures and Applications, held at
the National Technical University of Athens, Greece in July 2015.
The reader will benefit from the innovative approaches to tackling
difficult questions in topology, applications and interrelated
research areas, which largely employ algebraic tools.
This interdisciplinary book covers a wide range of subjects, from
pure mathematics (knots, braids, homotopy theory, number theory) to
more applied mathematics (cryptography, algebraic specification of
algorithms, dynamical systems) and concrete applications (modeling
of polymers and ionic liquids, video, music and medical imaging).
The main mathematical focus throughout the book is on algebraic
modeling with particular emphasis on braid groups. The research
methods include algebraic modeling using topological structures,
such as knots, 3-manifolds, classical homotopy groups, and braid
groups. The applications address the simulation of polymer chains
and ionic liquids, as well as the modeling of natural phenomena via
topological surgery. The treatment of computational structures,
including finite fields and cryptography, focuses on the
development of novel techniques. These techniques can be applied to
the design of algebraic specifications for systems modeling and
verification. This book is the outcome of a workshop in connection
with the research project Thales on Algebraic Modeling of
Topological and Computational Structures and Applications, held at
the National Technical University of Athens, Greece in July 2015.
The reader will benefit from the innovative approaches to tackling
difficult questions in topology, applications and interrelated
research areas, which largely employ algebraic tools.
|
Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings (Paperback, 2013 ed.)
Leora Morgenstern, Petros Stefaneas, Francois Levy, Adam Wyner, Adrian Paschke
|
R1,429
Discovery Miles 14 290
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 7th
International RuleML Symposium, RuleML 2013, held in Seattle, WA,
USA, in July 2013 - collocated with the 27th AAAI 2013. The 22 full
papers,12 technical papers in main track, 3 technical papers in
human language technology track, and 4 tutorials presented together
with 3 invited talks were carefully reviewed and selected from
numerous submissions. The accepted papers address topics such as
rule-based programming and rule-based systems including production
rules systems, logic programming rule engines, and business rules
engines/business rules management systems; Semantic Web rule
languages and rule standards; rule-based event processing languages
(EPLs) and technologies; and research on inference rules,
transformation rules, decision rules, production rules, and ECA
rules.
|
|