01213cam--2200409---450 99000298402020331620210525135316.0978-88-430-4002-5000298402USA01000298402(ALEPH)000298402USA0100029840220071008d2007----km-y0itay5003----baitaIT||||||||001yyLogiche non classicheun'introduzioneDario Palladino, Claudia PalladinoRomaCarocci2007186 p.22 cmQuality paperbacks1942001Quality paperbacks194LogicaSec. 20.BNCF160PALLADINO,Dario45082PALLADINO,Claudia326361ITsalbcISBD990002984020203316II.1.D. 4532200875 L.M.II.1.00161101II.1.D. 4532a91684 G.II.1.538897160 PAL 240252 Sci.16000332174BKUMASCIRIVELLI9020071008USA011143RIVELLI9020071008USA011144Logiche non classiche856404UNISA01940nam0 22004573i 450 VAN0028596420250402032506.928N978303130780520250130d2023 |0itac50 baengCH|||| |||||i e bcrˆAn ‰Introduction to Modern Timekeeping and Time TransferParameswar Banerjee, Demetrios MatsakisChamSpringer2023xvii, 303 p.ill.24 cm001VAN001248482001 Springer Series in Measurement Science and Technology210 Berlin [etc.]Springer00A79 (77-XX)Physics [MSC 2020]VANC023182MF81V45Atomic physics [MSC 2020]VANC023266MFAtomic clocksKW:KFrequency StabilityKW:KGlobal Navigation Satellite SystemsKW:KNetwork Time ProtocolKW:KPrecise Time ProtocolKW:KTime and Frequency MeasurementsKW:KTwo Way Satellite Time and Frequency TransferKW:KUncertainty DeterminationKW:KCHChamVANL001889BanerjeeParameswarVANV2399031427217MatsakisDemetriosVANV2399041427218Springer <editore>VANV108073650ITSOL20250404RICAhttps://doi.org/10.1007/978-3-031-30780-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00285964BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 10508 08eMF10508 20250212 Introduction to Modern Timekeeping and Time Transfer4310642UNICAMPANIA03937nam 22005655 450 991099387170332120250411151618.09789819638703981963870410.1007/978-981-96-3870-3(CKB)38338157100041(DE-He213)978-981-96-3870-3(MiAaPQ)EBC32077077(Au-PeEL)EBL32077077(EXLCZ)993833815710004120250411d2025 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierBiological Computing /by Jin Xu1st ed. 2025.Singapore :Springer Nature Singapore :Imprint: Springer,2025.1 online resource (XVII, 329 p. 144 illus., 110 illus. in color.) 9789819638697 9819638690 Chapter 1 Introduction -- Chapter 2 Graphs and Computational Complexity -- Chapter 3 Biocomputing -- Data -- Chapter 4 Biological Computing Operators -- Enzymes and Biochemical Operations -- Chapter 5 DNA Coding Theory and Algorithms -- Chapter 6 Enumerative DNA Computing Model -- Chapter 7 Non-enumerative DNA Computing Model for Graph Vertex Coloring -- Chapter 8 Parallel Vertex Coloring DNA Computing Model -- Chapter 9 Probe Machine -- Chapter 10 DNA Algorithmic Self-Assembly -- Chapter 11 RNA Computing -- Chapter 12 Protein Computing.This open access book comprehensively introduces biocomputing, focusing on its foundational theories, experimental operations, and computational models. Biocomputing represents an innovative computational paradigm that leverages biomolecules as a carrier for processing and storing information. As a core enabler of human progress, computational tools serve as critical benchmarks of societal advancement and are key drivers of technological innovation. While electronic computers currently dominate as the primary instruments for information processing, their underlying manufacturing technologies are approaching physical and practical limits. This has prompted the search for alternative computational models and tools to meet the demands of future advancements. Over recent decades, scientists have explored various fields to develop novel computational frameworks. These efforts have led to the emergence of groundbreaking paradigms, such as artificial neural networks inspired by brain-like information processing, evolutionary computing based on genetic mechanisms, biocomputing utilizing the unique properties of biomolecules, quantum computing exploiting quantum phenomena, and optical computing leveraging the properties of light. Designed as an essential resource for readers interested in the principles and applications of biocomputing, this book establishes a foundational understanding of the subject while serving as a bridge to more advanced theoretical and practical exploration. A basic knowledge of molecular biology is recommended for readers to engage with the material fully. The translation was done using artificial intelligence. Subsequently, a human revision was done primarily in terms of content.Computer scienceComputer systemsComputersModels of ComputationComputer System ImplementationHardware Performance and ReliabilityComputer science.Computer systems.Computers.Models of Computation.Computer System Implementation.Hardware Performance and Reliability.004.0151Xu Jinauthttp://id.loc.gov/vocabulary/relators/aut1784601MiAaPQMiAaPQMiAaPQBOOK9910993871703321Biological Computing4374122UNINA