Mostrando 461 - 480 Resultados de 1,389 Para Buscar '".mu"', tiempo de consulta: 0.06s Limitar resultados
  1. 461
    Publicado 2010
    Libro electrónico
  2. 462
  3. 463
    Publicado 2019
    Tabla de Contenidos: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching…”
    Libro electrónico
  4. 464
    Publicado 2022
    Tabla de Contenidos: “…La poesia di Domenico Rea -- Domenico rea, l'editoria nazionale e l'editoria campana -- Annalisa Carbone, Figurazioni di Pulcinella: Eduardo e Domenico Rea -- Apollonia Striano, In margine all'editoria napoletana del 1900 -- Andrea Tramontana, Domenico Rea e il rilancio di un autore del Novecento, un lavoro imperfetto -- Domenico rea tra storia, antropologia, giornalismo e fotografia -- Marcello Ravveduto, Domenico Rea e l'Agro sarnese nocerino tra storia e racconto -- Vincenzo Esposito, L'antropologia implicita di Domenico Rea come atteggiamento antropopoietico -- Generoso Picone, Domenico Rea giornalista -- Rosario Petrosino, Le fotografie di Domenico Rea nelle collezioni del MuDiF -- Domenico rea tra vecchio e nuovo continente: la lingua, la letteratura -- Massimo Arcangeli, Lingua, letteratura e popolo: il "domabile furore" di Domenico Rea -- Maria Rosaria Corvino, Testimone di una lontana terra: gli scritti brasiliani di Domenico Rea -- Sebastiano Martelli, Domenico Rea e l'emigrazione transoceanica: viaggi reali e immaginari…”
    Libro electrónico
  5. 465
    Publicado 2025
    Tabla de Contenidos: “…Cover -- Half Title -- Series -- Title -- Copyright -- Contents -- About the Editors -- List of Contributors -- Chapter 1 A Comprehensive Research Look on Opportunities and Challenges in Advanced Wireless Communication -- Chapter 2 Opportunities and Challenges in Advanced Wireless Communication -- Chapter 3 Millimetre Wave for Next-Generation Networks: Opportunities, Challenges, and Possible Solutions -- Chapter 4 Cognitive Radio: A Key Enabling Technology for 5G and Beyond Communication -- Chapter 5 Device-to-Device Communication: Cooperative Device-to-Device Communication -- Chapter 6 UAV-Assisted Communication: Unmanned Aerial Vehicles in Vehicle-to-Everything Communication Networks -- Chapter 7 A Flight from 5G to 6G with UAV-Enabled Communications: A Case Study -- Chapter 8 Development and Analysis of an RF-Powered Rechargeable Wireless Sensor Network for LR-WPAN -- Chapter 9 Cooperative NOMA with Hybrid PTS-Based Energy Harvesting Relay -- Chapter 10 Full-Duplex Energy Harvesting-Based Cooperative NOMA Network -- Chapter 11 Design of Efficient Signal Detection Schemes for Large-Scale MU-MIMO System -- Chapter 12 Flexible Antennas - A New Frontier in 5G Technology: A Review -- Chapter 13 Flexible MIMO Antennas for UWB Applications -- Chapter 14 Design of Inset-Fed Microstrip Patch Antenna Using Surrogate Model-Assisted Differential Evolution -- Chapter 15 Millimetre Wave Antenna Design for 5G Applications -- Chapter 16 Machine Learning Algorithms for Optimization and Intelligence in Wireless Networks: WSNs, MANETs, VANETs, and USNs -- Chapter 17 An Efficient Localization for Resource Management in UAV-Assisted Wireless Networks Using Deep Learning -- Chapter 18 A Smartphone-Based Context-Aware Driver Rating System for Cities in Developing Economies -- Index…”
    Libro electrónico
  6. 466
    por Comati, Sigrun
    Publicado 1988
    Tabla de Contenidos: “…Трембовольский, Минск: МОЛЧАНИЕ И ТЕКСТ - M i c h a e l F l e i s c h e r , Bochum: DAS FRAGMENT UND DIE BEDEUTUNG ( EI NE BESONDERE TEXTSORTE)- Wo l f g a n g G i r k e , M a i n z : AGENSLOSES PASSIV IM RUSSISCHEN K l a u s H a r t e n s t e i n , Bochum: DIE FUNKTIONSVERBGEFOGE DES MODERNEN RUSSISCHEN - ÜBERLEGUNGEN ZUR DEFI NI TI ON EINES WORTVERBINDUNGSTYPS - Ro l a n d Har weg, Bochum: RAHMENHALTIGE UND RAHMENLOSE UND-HAL- TIGE SATZKOORDINATIONEN - He l mu t J a c h n ó w, Bochum: ZUR NOTWENDIGKEIT EINER PHÄNOTYPISCH ORIENTIERTEN TEXTLI NGUI STI K UND EI NI GE VORÜBERLE- GUNGEN ZUR ANALYSE DER SEMANTISCHEN TEXTVERWEIS- STRUKTUR DES IGORLI EDES - C h r i s t i a n Sa p pok , Bochum: TEXTANALYSE AUF PSYCHOL INGUI ST I SCHER GRUNDLAGE (ANHAND VON MATERIAL AUS EINEM POLNISCHEN TAGEBUCH)…”
    Libro electrónico
  7. 467
    por Moreno Castro, Jorge
    Publicado 2018
    Tabla de Contenidos: “….) -- USO LEGÍTIMO DE LA FUERZA POR FFCCSS -- GENERALIDADES DEL BASTÓN POLICIAL -- LEGISLACIÓN -- LO QUE HEMOS APRENDIDO -- TEST -- TEMA 5 CONTROLES, CONDUCCIONES Y PROYECCIONES -- DEFENSA EXTENSIBLE -- CONTROLES, CONDUCCIONES Y PROYECCIONES -- LO QUE HEMOS APRENDIDO -- TEST -- TEMA 6 BASTÓN POLICIAL Y DEFENSA PERSONAL -- BASTÓN POLICIAL -- HISTORIA DE LA DEFENSA PERSONAL POLICIAL -- POSICIÓN DE SEGURIDAD -- PUNTOS ANATÓMICOS VITALES -- TÉCNICAS DE GOLPE -- BLOQUEOS -- ESQUIVAS -- DESPLAZAMIENTOS -- CAÍDAS -- TÉCNICAS DE LUXACIÓN -- CHOSON MU SUL. HAPKIDO POLICIAL -- EL AIKIDO EN LAS FUERZAS DE SEGURIDAD -- PRINCIPALES SISTEMAS DEFENSIVOS UTILIZADOS (...) -- EL COMIENZO DE LOS EQUIPOS ESPECIALES -- LA PREPARACIÓN DE LOS EQUIPOS ESPECIALES -- EL PRIMER EQUIPO DE RESCATE -- LO QUE HEMOS APRENDIDO -- TEST -- SOLUCIONARIOS -- SOLUCIONARIOS TEST -- ANEXOS -- GLOSARIO -- BIBLIOGRAFÍA…”
    Libro electrónico
  8. 468
    Publicado 2009
    Tabla de Contenidos: “…DESPEDIDANOCHE OTOÑAL EN LA MONTAÑA; CONTESTACIÓN AL ALCALDE DE ZHAN; REGRESO DE ZUN NAN; LU CHAI; REMEMORACIÓN FAMILIAR; DU MU; PASANDO POR EL PALACIO IMPERIAL; EL RÍO CHI HUAI; EL PASEO POR LA MONTAÑA; CHIBI; LI SHAN YIN; SIN TÍTULO; SUBIDA A LA COLINA; CHAR ER; PREOCUPACIONES DE FAVORITAS OLVIDADAS; OTROS GRANDES POETAS; HO CHI ZHAN; IMPRESIONES DE UN REGRESO; MON HAO RAN; MADRUGADA; HO LAN ZHIN-MIN; DIFICULTADES DE LA VIDA; WANG CHAN LING; NOSTALGIA FEMENINA; GAO SHI; VÍSPERA DEL AÑO NUEVO; ZHANG WEI; UN ANCIANO NOS CONTÓ; DAI SHU LUN; DOS MUCHACHAS EN LA ERA; GENG WEI…”
    Libro electrónico
  9. 469
    Publicado 2009
    “…Con él pasa ratos muy divertidos, pero un día Otto se pone enfermo y mu ere al cabo de un tiempo. A Lisa le cuesta acostumbrarse a su ausencia. …”
    Libro
  10. 470
    Publicado 2023
    “…Su contenido es la base de la muestra "Diseño y salud" organizada por el MuVIM (Museu Valencià de la l·lustració i de la Modernitat)…”
    Libro
  11. 471
    Publicado 2019
    Disco de vídeo
  12. 472
  13. 473
    Publicado 2014
    Libro
  14. 474
    Publicado 2010
    Libro
  15. 475
    Publicado 2016
    Libro electrónico
  16. 476
    Publicado 2012
    Libro electrónico
  17. 477
    Publicado 2021
    Libro electrónico
  18. 478
    Publicado 2011
    “…Robust control has been a topic of active research in the last three decades culminating in H_2/H_\infty and \mu design methods followed by research on parametric robustness, initially motivated by Kharitonov's theorem, the extension to non-linear time delay systems, and other more recent methods. …”
    Libro electrónico
  19. 479
    Publicado 2011
    “…Robust control has been a topic of active research in the last three decades culminating in H_2/H_\infty and \mu design methods followed by research on parametric robustness, initially motivated by Kharitonov's theorem, the extension to non-linear time delay systems, and other more recent methods. …”
    Libro electrónico
  20. 480
    Publicado 2012
    Libro electrónico