{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":49,"n_cols":5,"rows_kept":49,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[10,2,10,3],[11,2,11,3],[14,2,14,3],[18,2,18,3],[18,4,18,5],[19,2,19,3],[19,4,19,5],[20,2,20,3],[21,2,21,3],[22,2,22,3],[23,2,23,3],[24,2,24,3],[25,2,25,3],[27,2,27,3],[28,2,28,3],[41,2,41,3],[42,2,42,3],[46,2,46,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910164132303321"]
[null,null,"Titolo",null,"Everything about gravity : second LeCosPA International Symposium : LeCosPA, NTU, Taiwan, 14-18 December 2015 / / editor, Pisin Chen"]
[null,null,"Pubbl/distr/stampa",null,"New Jersey : , : World Scientific, , 2017"]
[{"$nulls":4},"©2017"]
[null,null,"ISBN",null,"981-320-395-1"]
[null,null,"Descrizione fisica",null,"1 online resource (681 pages) : illustrations, photographs"]
[null,null,"Disciplina",null,"539.7/54"]
[null,null,"Soggetti",null,"Quantum gravity"]
[{"$nulls":4},"Gravity"]
[{"$nulls":4},"General relativity (Physics)"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Quasi-local energy in presence of gravitational radiation / P.-N. Chen, M.-T. Wang and S.-T. Yau -- Gravity: a gauge theory perspective / J.M. Nester and C.-M. Chen -- From binaries to backgrounds: pulsar timing and general relativity / M. Kerr -- Unclothed firewalls / P. Chen, Y.C. Ong, D.N. Page, M. Sasaki and D.-H. Yeom -- A quantized spacetime based on spin(3,1) symmetry / P. Chen, H.-W. Chiang and Y.-C. Hu -- Schwinger effect, Hawking radiation, and Unruh effect / S.P. Kim -- Conformal frames in cosmology / G. Domènech and M. Sasaki -- Surprises with nonrelativistic naturalness / P. Hořava -- Quantum geometrodynamics with intrinsic time development / C. Soo -- Birth of the inflationary universe and tensor fluctuations / J. Yokoyama -- Emergent spacetime for quantum gravity / H.S. Yang -- Understanding strongly coupling magnetism from holographic duality / R.-G. Cai and R.-Q. Yang -- Direct dark matter searches and the CDEX research program / H.T. Wong, Q. Yue and K. Kang -- Design and implementation of the TAROGE experiment / J.W. Nam, C.-C. Chen, C.-H. Chen, C.-W. Chen, P. Chen, Y.-C. Chen, S.-Y. Hsu, J.-J. Huang,M.-H. A. Huang, T.-C. Liu, J. Rípa, Y.-S. Shiao, M.-Z. Wang, S.-H. Wang -- Time to move on? / J. Ellis -- Dilaton, IR effects in dS space and IR-driven inflation / C.-S. Chu and Y. Koyama -- Stochastic dynamics of infrared fluctuations in accelerating universe / G. Cho and C.H. Kim and H. Kitamoto -- Inflationary electroweak/particle phase transitions and new classical gravitational waves on CMB / S. Sun -- Gauge fields in "]
[{"$nulls":4},"loop quantum gravity and their semiclassical limit / J. Bilski, F. Cianfrani, P. Dona and A. Marcianò -- Intrinsic time quantum gravity / H.-L. Yu -- Cosmic inflation from emergent spacetime picture / H.S. Yang -- Cosmology of f(T) teleparallel gravity / Y. Cai -- Non-additive entropies in ... gravity? / N. Kalogeropoulos -- Black holes and thunderbolt singularities with Lifshitz scaling terms / Y. Misonoh and K.-I. Maeda -- Charged Q-balls in gauge mediated SUSY breaking models / J.-P. Hong, M. Kawasaki and M. Yamada -- Directional dependence of the local estimation of H0 and the non-perturbative effects of primordial curvature perturbations / A.E. Romano -- The fate of dark energy with non-minimal coupling to gravity / C.-Q. Geng, C.-C. Lee and Y.-P. Wu -- Cosmology with an adapted system of coordinates / F. Nugier -- Gravitational waves from bubble collisions in the early universe / D.-H. Kim -- Search for gravitational waves from binary black hole mergers: parameter estimation and Fisher matrix / H.S. Cho -- Primordial black holes as a novel probe of primordial gravitational waves / T. Suyama -- Resonant amplification of primordial gravitational waves / C. Lin and M. Sasaki -- Directed searches for broadband gravitational-wave emission in energetic core-collapse supernovae / M. Van Putten -- Particle physics and cosmology with alpha magnetic spectrometer / S. Haino -- Profile of third flight of the Antarctic impulsive transient antenna (ANITA) during 2014-2015 / T.-C. Liu -- Searching ultra-high energy cosmic neutrinos and flavor identification with ARA detector / C.-H. Chen -- Feasibility of determining diffuse ultra-high energy cosmic neutrino flavor ratio through ARA neutrino observatory / S.-H. Wang, P. Chen, J. Nam and M. Huang -- Gamma-ray bursts and their relation to astroparticle physics and cosmology / J. Rípa -- QED correction to magnetic dipole radiation / T. Hayashinaka and T. Suyama -- Gaining confidence on general relativity with cosmic polarization rotation / S. di Serego Alighieri -- New constraints on cosmic polarization rotation including SPTpol B-mode polarization observations / W.-P. Pan, S. di Serego Alighieri, W.-T. Ni, and L. Xu -- GINGER / A.D.V. Di Virgilio, N. Beverini, J. Belfi and A. Ortolan -- Observing the black hole shadow of M87 and the Greenland Telescope Project: GR test in the strong gravity regime / H.-Y. Pu -- Causality, hyperbolicity and shock formation in Lovelock theories / N. Tanahashi, H.S. Reall and B. Way -- Boundary effect of anomaly-induced action in curved spacetime / C.-M. Shen, K. Izumi and P. Chen -- Quantum gravity corrections to the standard model Higgs in Einstein and R2 gravity / Y. Abe, M. Horikoshi and T. Inami -- Modified gravity inside astrophysical bodies / R. Saito, D. Langlois, D. Yamauchi, S. Mizuno and J. Gleyzes -- Tree-unitarity and renormalizability in Lifshitz-scaling theory as a toy model of Hořava's gravity theory / T. Fujimori, T. Inami, K. Izumi and T. Kitamura -- Bigravity from gradient expansion in DGP 2-brane model / Y. Yamashita and T. Tanaka -- The two faces of mimetic Horndeski gravity: disformal transformations and Lagrange multiplier / F. Arroja -- Telaparallel gravity in five dimensions / L.-W. Luo -- Gravitational particle production after inflation with extended gravity models / K. Nakayama -- Bounce inflation: towards a nonsingular inflationary universe / T. Qiu -- Matter creation in generalized Galilean genesis / S. Nishi and T. Kobayashi -- Saddle point inflation from non-supersymmetric string-inspired theory / Y. Hamada -- Cosmology with a heavy Polonyi field / T. Hayakawa -- Aspects of multi-field models of inflation / T. Takahashi -- Probing the primordial universe using massive fields / X. Chen, M. H. Namjoo and Y. Wang -- Cosmological implications of Fubini type instanton / B.-H. Lee, W.W. Lee and D.H. Ro -- Growing isocurvature in the Lifshitz regime of Hořava gravity / S. Arai -- Bulk local operators and D-"]
[{"$nulls":4},"instantons in pp-wave holography / N. Kim -- Testing the validity of cosmic censorship in the rotating anti-de Sitter black hole / B. Gwak and B.-H. Lee -- Application of AdS/CFT correspondence to studies on non-equilibrium steady states / S. Nakamura -- Holographic thermalization with initial long range correlation / S. Lin -- Rindler fluid and Petrov type I condition / Q. Yang and Y.-L. Zhang -- Brief review on the entanglement entropy bound / C. Park -- Entanglement renormalization and integral geometry / F.-L. Lin -- BTZ remnant in quantum gravity / W.-Y. Wen -- Reflections on a black mirror / M.R.R. Good -- Information loss problem and roles of instantons / D.-H. Yeom -- Stationary bubbles: information loss paradox? / G. Domènech and M. Sasaki -- Black hole: the interior spacetime / Y.C. Ong -- Unruh radiation produced by a uniformly accelerating charged particle in thermal random motions / N. Oshita, K. Yamamoto and S. Zhang -- Thin-shell instanton tunneling: something-to-something or nothing-to-something? / P. Chen, Y.-C. Hu and D.-H. Yeom -- Hamiltonian reduction of Einstein's equations in the (2+2) formalism under no isometry assumptions / J.H. Yoon -- Schwarzschild solution in the (2+2) Hamiltonian reduction / S.H. Oh and J. H. Yoon -- When isolated horizons met near horizon geometrie / J. Lewandowski, A. Szereszewski and P. Waluk -- Covariant Hamiltonian boundary term: reference and quasi-local quantities / G. Sun, C.-M. Chen, J.-L. Liu and J.M. Nester."]
[null,null,null,"Sommario/riassunto","\"The proceedings of the 2nd LeCosPA International Symposium, \"Everything about Gravity\", collects 78 papers contributed by the symposium's Plenary Session and Parallel Session speakers. Organizers of the Parallel Sessions have in addition prepared summaries for their own sessions. The topics range from quasi-local energy in GR in the presence of gravitational radiations, a gauge theory perspective of gravity, naked black hole firewalls related to the black hole information loss paradox, a new theory of spacetime quantization, relations between the Schwinger effect and the Hawking radiation and Unruh effect, conformal frames in cosmology, surprises in nonrelativistic naturalness, inflation and tensor fluctuations, emergent spacetime for quantum gravity, understanding strongly coupled magnetism through holographic principle, the detections of dark matter, ultra-high energy cosmic neutrinos and cosmic rays, etc. Last but not least, the closing remark delivered by John Ellis raised the following question: Does cosmological inflation require a modification of Einstein's gravity? After 100 years of remarkable success of Einstein's general relativity, the development of a successful quantum theory of gravity has become a major goal in physics in the 21st century. This volume serves as a valuable reference for scientists who are interested in frontier research topics of gravity\"--"]
[null,"2.","Record Nr.",null,"UNINA9910484027903321"]
[null,null,"Titolo",null,"Hybrid Systems: Computation and Control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings / / edited by Rupak Majumdar, Paulo Tabuada"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009"]
[null,null,"ISBN",null,"3-642-00602-7"]
[null,null,"Edizione",null,"[1st ed. 2009.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 492 p.)"]
[null,null,"Collana",null,"Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5469"]
[null,null,"Classificazione",null,"DAT 240f"]
[{"$nulls":4},"SS 4800"]
[null,null,"Disciplina",null,"004.19"]
[null,null,"Soggetti",null,"Computer networks"]
[{"$nulls":4},"Computer systems"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computers, Special purpose"]
[{"$nulls":4},"Microprocessors"]
[{"$nulls":4},"Computer architecture"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Computer Communication Networks"]
[{"$nulls":4},"Computer System Implementation"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Special Purpose and Application-Based Systems"]
[{"$nulls":4},"Processor Architectures"]
[{"$nulls":4},"Computer Science Logic and Foundations of Programming"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","International conference proceedings."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Regular Papers -- Applications of MetiTarski in the Verification of Control and Hybrid Systems -- Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach -- Safe and Secure Networked Control Systems under Denial-of-Service Attacks -- Actors without Directors: A Kahnian View of Heterogeneous Systems -- Simultaneous Optimal Control and Discrete Stochastic Sensor Selection -- Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks -- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study -- Local Identification of Piecewise Deterministic Models of Genetic Networks -- Distributed Wombling by "]
[{"$nulls":4},"Robotic Sensor Networks -- Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces -- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach -- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models -- Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem -- Finite Automata as Time-Inv Linear Systems Observability, Reachability and More -- Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions -- Trajectory Based Verification Using Local Finite-Time Invariance -- Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program -- Uniform Consensus among Self-driven Particles -- Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes -- Decompositional Construction of Lyapunov Functions for Hybrid Systems -- Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems -- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems -- Hybrid Modeling, Identification, and Predictive Control: An Application toHybrid Electric Vehicle Energy Management -- On Event Based State Estimation -- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer -- Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays -- Specification and Analysis of Network Resource Requirements of Control Systems -- Periodically Controlled Hybrid Systems -- Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach -- Bounded and Unbounded Safety Verification Using Bisimulation Metrics -- Short Papers -- The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers -- Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems -- An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata -- Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract) -- Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting -- Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets -- Distributed Tree Rearrangements for Reachability and Robust Connectivity -- The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters -- STORMED Hybrid Games -- Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems."]