| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910452576803321 |
|
|
Autore |
Schurz Christine |
|
|
Titolo |
Contextual approaches to truth and the strengthened liar paradox [[electronic resource] /] / Christine Schurz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Heusenstamm [Germany], : ontos verlag, 2012 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (145 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Truth |
Liar paradox |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- Preface -- Contents -- 1. Introduction -- 2. The Problem of Truth and the Liar Paradox in Formal Languages -- 3. Theories of Partial Truth -- 4. The Contextual Approach to the Strengthened Liar Problem -- 5. Contextual Approaches by Iterating Partial Truth Predicates -- 6. Summary and Conclusions -- Subject Index -- Bibliography |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910554817603321 |
|
|
Titolo |
Position, navigation, and timing technologies in the 21st Century . Volume 2 : integrated satellite navigation, sensor systems, and civil applications / edited by Y. Jade Morton [and three others] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hoboken, New Jersey, : John Wiley & Sons, Incorporated, , [2021] |
|
©2021 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-119-45853-6 |
1-119-45851-X |
1-119-45855-2 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
Navegación - Electrónica |
Global Positioning System (GPS) |
Electronic navigation equipment industry |
Libros electrónicos |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
Part D: Position, Navigation, and Timing Using Radio Signals-of-Opportunity -- 35. Overview of Volume 2: Integrated PNT Technologies and Applications /John F. Raquet, Air Force Institute of Technology, US -- 36. Non-Linear Recursive Estimation for Integrated Navigation Systems /Michael J. Veth, Veth Research Associates, US -- 37. Overview of Indoor Navigation Techniques /Sudeep Pasricha, Colorado State University, US -- 38. Navigation with Cellular Signals-of-Opportunity /Zak Kassas, University of California Irvine, US -- 39. Navigation with Dedicated Metropolitan Beacon Systems /Subbu Meiyappan, NextNav LLC, US /Arun Raghupathy, NextNav LLC, US /Ganesh Pattabiraman, NextNav LLC, US -- 40. Navigation with Terrestrial Digital Broadcast Signals /Chun Yang, SigTem Technology Inc., US -- 41. Navigation with Low Frequency Radio Signals /Wouter Pelgrum, Blue Origin, US /Charles Schue, III, Ursa Nav., US -- 42. Adaptive Radar Navigation System /Kyle Kauffman, Air Force Institute of Technology, US -- 43. Navigation from Low Earth Orbit /Tyler G. R. Reid, Stanford University., US /Todd Walter, |
|
|
|
|
|
|
|
|
|
|
Stanford University, US /Per Enge, Stanford University, US /David Lawrence, Satelles, US /H. Stewart Cobb, Satelles, US /Greg Gutt, Satelles, US /Michael O'Conner, Satelles, US /David Whelan, University of California San Diego, US -- Part E: Position, Navigation, and Timing Using Non-Radio Signals-of-Opportunity -- 44. Inertial Navigation Sensors /Stephen Smith, Draper Laboratory, US -- 45. MEMS Inertial Sensors /Alissa M. Fitzgerald, A.M. Fitzgerald & Associates, LLC, US -- 46. GNSS-INS Integration /Andrey Soloviev, QuNav, US /James L. Farrell, Vigil Inc., US /Maarten Uijt de Haag, Ohio University, US -- 47. Atomic Clock for GNSS /Leo Hollberg, Stanford University, US -- 48. Positioning Using Magnetic Fields /Aaron Canciani, Air Force Institute of Technology, US /John F. Raquet, Air Force Institute of Technology, US -- 49. Laser-Based Navigation /Maarten Uijt de Haag, Ohio University /Zhen Zhu, East Carolina University, US /Jacob Campbell, Air Force Research Laboratory, US. |
50. Image-Aided Navigation - Concept and Applications /Michael J. Veth, Veth Research Associates, US /John F. Raquet, Air Force Institute of Technology, US -- 51. Digital Photogrammetry /Charles Toth, the Ohio State University, US /Zoltan Koppanyi, the Ohio State University, US -- 52. Navigation Using Pulsars and Other Variable Celestial Sources /Suneel Sheikh, ASTER Labs, Inc., US -- 53. Neuroscience of Navigation /Meredith E. Minear, University of Wyoming, US /Tes K. Sensibaugh, University of Wyoming, US -- 54. Orientation and Navigation in the Animal World /Gillian Durieux, Max Plank Institute for Evolutionary Biology, Germany /Miriam Liedvogel, Max Plank Institute for Evolutionary Biology, Germany -- Part F: Position, Navigation, and Timing for Consumer and Commercial Applications -- 55. GNSS Applications in Surveying and Mobile Mapping /Naser El-Sheimy, University of Calgary, Canada /Zahra Lari, University of Calgary, Canada -- 56. Precision Agriculture /Arthur F. Lange, Trimble Navigation, US /John Peake, Trimble Navigation, US -- 57. Wearables /Mark Gretton, TomTom, US /Peter Franks Pauwels, TomTom, US -- 58. Navigation in Advanced Driver-Assisted Systems and Automated Driving /David Bevly, Auburn University, US /Scott Martin, Auburn University, US -- 59. Train Control and Rail Traffic Management Systems /Alessandro Neri, University of Roma TRE, Italy -- 60. Commercial Unmanned Aircraft Systems /Maarten Uijt de Haag, Ohio University, US /Evan Dill, National Aeronautics and Space Administration, US /Steven D. Young, National Aeronautics and Space Administration, US /Mathieu Joerger, Virginia Tech, US -- 61. Navigation for Aviation /Sherman Lo, Stanford University, US -- 62. Orbit Determination with GNSS /Yoaz Bar-Sever, Jet Propulsion Lab, US -- 63. Satellite Formation Flying and Rendezvous /Simone D'Amico, Stanford University, US /J. Russell Carpenter, National Aeronautics and Space Administration, US -- 64. Navigation in the Arctic /Tyler G. R. Reid, Stanford University, US /Todd Walter, Stanford University, US /Robert Guinness, Finnish Geospatial Research Institute, Finland /Sarang Thombre, Finnish Geospatial Research Institute, Finland /Heidi Kuusniemi, Finnish Geospatial Research Institute, Finland /Norvald Kjerstad, Norwegian University of Science and Technology, Norway. |
|
|
|
|
|
| |