| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910787095703321 |
|
|
Titolo |
Logic, computation, hierarchies / / edited by Vasco Brattka, Hannes Diener, Dieter Spreen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Boston : , : De Gruyter, , [2014] |
|
©2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-61451-940-4 |
1-61451-804-1 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (424 p.) |
|
|
|
|
|
|
Collana |
|
Ontos mathematical logic, , 2198-2341 ; ; volume 4 |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
Algebra, Boolean |
Quasi-metric spaces |
Petri nets |
Set theory |
|
|
|
|
|
|
|
|
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 and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Front matter -- Preface -- Contents -- The life and work of Victor L. Selivanov / Spreen, Dieter -- Tight extensions of T0-quasi-metric spaces / Agyingi, Collins Amburo / Haihambo, Paulus / Künzi, Hans-Peter A. -- On the strongly bounded turing degrees of simple sets / Ambos-Spies, Klaus -- Levels of discontinuity, limit-computability, and jump operators / de Brecht, Matthew -- The wadge hierarchy of Petri Nets ω-languages / Duparc, Jacques / Finkel, Olivier / Ressayre, Jean-Pierre -- Diophantine properties of brownian motion: recursive aspects / Fouché, Willem L. -- The completeness of isomorphism / Sy-David, Friedman -- Complexity issues for Preorders on finite labeled forests / Hertling, Peter / Selivanov, Victor -- Boolean algebras of regular quasi-aperiodic languages / Konovalov, Anton -- A simple indeterminate infinite game / Kopczynski, Eryk / Niwinski, Damian -- Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces / Motto Ros, Luca / Schlicht, Philipp -- ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC / Odintsov, Sergey -- COMPUTING CLEBSCH-GORDAN MATRICES WITH |
|
|
|
|
|
|
|
|
|
|
|
|
|
APPLICATIONS IN ELASTICITY THEORY / Selivanova, Svetlana -- AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) / Shilov, Nikolay V. -- PARTIAL NUMBERINGS AND PRECOMPLETENESS / Spreen, Dieter -- AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS / Spreen, Dieter -- TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES / Staiger, Ludwig -- SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS / Zhukov, Anton V. -- INDEX |
|
|
|
|
|
|
Sommario/riassunto |
|
Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910299684503321 |
|
|
Autore |
Dias Gonçalo |
|
|
Titolo |
The Science of Golf Putting : A Complete Guide for Researchers, Players and Coaches / / by Gonçalo Dias, Micael S. Couceiro |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2015.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (93 p.) |
|
|
|
|
|
|
Collana |
|
SpringerBriefs in Applied Sciences and Technology, , 2191-5318 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Biomedical engineering |
Mathematical physics |
Computer simulation |
Biomedical Engineering and Bioengineering |
Mathematical Physics |
Computer Modelling |
|
|
|
|
|
|
|
|
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: Pendulum-Like Motion in Sports -- Golf Putting -- Setting Up the Experimental Design -- Performance Metrics for the Putting Product -- Performance Metrics for the Putting Process -- Conclusions. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This SpringerBrief explores the motor performance and biomechanics of golf putting, providing methodologies, studies and approaches to this concept. Presenting outcomes of research published over the past six years, it offers guidelines from a scientifically oriented perspective, and employs new technologies and mathematical methods to assess golf putting. The chapters cover aspects such as pendulum-like motion in sports, setting up the experimental design, and performance metrics for putting variables. Paving the way for an improved understanding of what leads to failure and success in golf putting, this book offers an invaluable reference source for sports scientists, engineers and mathematicians, as well as golfers. |
|
|
|
|
|
|
|
| |