Mostrando 9,181 - 9,200 Resultados de 14,368 Para Buscar 'Tranent~', tiempo de consulta: 1.57s Limitar resultados
  1. 9181
    Publicado 2011
    Tabla de Contenidos: “…; Primera tendència: la pèrdua de l'exclusivitat tecnològica de l' e-learning; Segona tendència: l'a.orament de l'aprenentatge informal; Tercera tendència: més social i col·laboratiu que mai…”
    Libro electrónico
  2. 9182
  3. 9183
    Publicado 2001
    Tabla de Contenidos: “…NINO -- Network Troubleshooting Primer -- ping -- ipconfig and ifconfig -- arp -- netstat -- traceroute and tracert -- nslookup and dig -- whois -- Ethereal -- Index…”
    Libro electrónico
  4. 9184
    Publicado 2023
    Tabla de Contenidos: “…Cover; Foreword; Preface; Notation; Contents; Part A Fundamentals; I Riemannian and Lorentzian geometry; I.1 Introduction; I.2 Differentiable manifolds and mappings; I.2.1 Differentiable manifolds; I.2.2 Differentiable mappings; I.2.3 Submanifolds; I.2.4 Tangent and cotangent spaces; I.2.5 Vector fields and 1-forms; I.2.6 Moving frames; I.3 Tensors and tensor fields; I.3.1 Tensors, products and contraction; I.3.2 Tensor fields. …”
    Libro electrónico
  5. 9185
    Publicado 2011
    Tabla de Contenidos: “…Analysis of the chloroplast protein kinase Stt7 during state transitions / Sylvain Lemeille ... [et al.] -- 13. A rapid, non-invasive procedure for quantitative assessment of drought survival using chlorophyll fluorescence / Nick S. …”
    Enlace del recurso
    Libro electrónico
  6. 9186
    Publicado 2008
    Tabla de Contenidos: “…Teaching suggestions for students and legal professionals / Manuela Visigalli -- Teaching Italian culture: Visual literacy: teaching Italian culture through images / A visual socio-cultural approach to Italian women's studies / Building an intercultural identity in a cross-cultural transition: a short term stay case study / Evaluating cultural proficiency in an upper level Italian culture course / Cultural acquisition and language learning: the IVC, Chiavi di Lettura Project / From the past to the present: history of the Italian culture / Teaching Italian culture through film: Italian language and culture in close-up: using film at all levels of proficiency / Teaching visual thinking, in and out of the Italian canon / Memory on the margins: reflections on Italy (1938-1943) in Scola's Una giornata particolare & Ozpetek's La finestra di fronte / Teaching Italian culture through songs: Teaching Italian culture through songs: "non solo canzonette" / Italian freaks and punks: history of Italian culture from 1950s to 2005 retold by protest songs…”
    Enlace del recurso
    Libro electrónico
  7. 9187
    por Barbosa Correa, Rodrigo
    Publicado 2016
    Tabla de Contenidos: “…Estados de una cadena de Markov -- 3.1 Estados alcanzables y comunicables -- 3.2 Cadenas de Markov irreducibles -- 3.3 Periodicidad de una cadena de Markov -- 3.4 Tiempos de transición -- 3.5 Estados recurrentes y transientes -- 3.6 Estados absorbentes -- 3.7 Matriz fundamental -- 3.8 Distribuciones estacionarias -- Ejercicios -- 4. …”
    Libro electrónico
  8. 9188
    por Faust, Avi
    Publicado 2012
    Tabla de Contenidos: “…s Structure""; ""History of Historical Inquiry on Israelite Society: Summary of Previous Research""; ""A Few Preliminary Notes""; ""Traditional Social Organization""; ""Social Organization at the End of the Monarchy""; ""Processes of Change in Israelite Society""; ""Did Changes Occur in the Transition from Settlement to Monarchy?""; ""Summary""; ""History of Archaeological Study on Israelite Society""; ""General Studies""…”
    Click para texto completo desde fuera UPSA
    Click para texto completo desde UPSA
    Libro electrónico
  9. 9189
    Publicado 2016
    Tabla de Contenidos: “…-- Chapter 7: Milan, a City Lost in the Transition from the Growth Machine Paradigm Towards a Social Innovation Approach -- Chapter 8: Poor but Sexy? …”
    Libro electrónico
  10. 9190
    por Attarpour, Samira
    Publicado 2020
    Tabla de Contenidos: “…The Contribution of women to trade and production in Elam society / Iran and Central Asia : The Grand'Route of Khorasan (Great Khorasan Road) during the third millennium BC and the "dark stone" artefacts / Bronze Age interaction on the Iranian Plateau : From Kerman to the Oxus through seals / Prestige objects in South East of Iran during the Bronze Age in the National Museum of Iran / Exchanges and trade during the Bronze Age in Iran / The biography of a dagger type : The diachronic transformation of the dagers with the crescent-shaped guard / The Transition to Iron Age. The Bronze Age and the Iron Age on the Central Iranian Plateau : Two successive cultures or the appearance of a new culture? …”
    Electrónico
  11. 9191
    Publicado 2010
    Tabla de Contenidos: “…Abril septiembre 2010 ; Índice; Presentación; Internacionalización y europeización de la Educación Superior en Derecho: campus universitarios internacionales y programas transfronterizos de educación superior; Educación Superior en Derecho sin fronteras: "Transnational Legal Studies: Word Wide Study. Higher Education for international students and international Instructors"; Sección monográfica; El Máster Europeo Conjunto en Acción Internacional Humanitaria: un máster basado en competencias…”
    Libro electrónico
  12. 9192
    Publicado 2014
    Tabla de Contenidos: “…Transformation through transportation: Some early impacts of Bus Rapid Transit in Orlando, Soweto -- Section C: Spatial identities. 23. …”
    Libro electrónico
  13. 9193
    Publicado 2017
    Tabla de Contenidos: “…Exploring the Interaction of Space and Networks in the Creation of Knowledge: An Introduction: Johannes Glückler, Emmanuel Lazega, and Ingmar Hammer -- I: The Significance of Knowledge About Networks: The Relational Dimension as a Bridging Principle Between Economic, Social, and Geographic Issues: Reversing the Instrumentality of the Social for the Economic: A Critical Agenda for 21st-Century Knowledge Networks: Nancy Ettlinger -- Interpersonal Networks in Foreign Assignments and Intercultural Learning Processes: Erika Spieß -- Family Networks for Learning and Knowledge Creation in Developing Regions: Pengfei Li -- Studying Networks Geographically: World Political Regionalization in the United Nations General Assembly (1985–2010): Laurent Beauguitte -- (Post)graduate Education Markets and the Formation of Mobile Transnational Economic Elites: Sarah Hall -- II: Relational Opportunity: Network Evolution and Its Impact on Individuals and Regions: Organized Mobility and Relational Turnover as Context for Social Mechanisms: A Dynamic Invariant at the Heart of Stability from Movement: Emmanuel Lazega -- Trajectory Types Across Network Positions: Jazz Evolution from 1930 to 1969: Charles Kirschbaum -- Topology and Evolution of Collaboration Networks: The Case of a Policy-anchored District: Laura Prota, Maria Prosperina Vitale, and Maria Rosaria D’Esposito -- Platforming for Path-Breaking? …”
    Libro electrónico
  14. 9194
    por Groote, Jan Friso
    Publicado 2021
    Tabla de Contenidos: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)…”
    Libro electrónico
  15. 9195
    por OECD
    Publicado 2019
    Tabla de Contenidos: “…Intro -- Résumé -- Le dynamisme de l'économie s'est accentué à la faveur de la forte hausse des exportations -- Réformer la fiscalité pourrait promouvoir la croissance -- Une refonte de la protection sociale est nécessaire pour stimuler l'emploi tout en protégeant les personnes vulnérables -- Évaluation et recommandations -- La forte reprise des exportations stimule la croissance -- La solidité des résultats économiques et la faiblesse des inégalités favorisent le bien-être -- Des réalisations et des ambitions fortes dans le domaine de l'environnement -- Des facteurs de vulnérabilité structurelle subsistent dans le secteur financier -- Les finances publiques sont sous tension du fait du vieillissement de la population -- Réformer la fiscalité permettrait de stimuler la croissance -- Accroître les impôts fonciers et évoluer vers une fiscalité du logement qui soit neutre au regard du mode d'occupation des logements -- Réduire le champ d'application des taux de TVA réduits -- La coopération internationale doit permettre d'éviter un nivellement par le bas de l'imposition des entreprises -- Il faut renforcer les incitations au travail tout en conservant une solide protection sociale -- Effets pervers des incitations et pièges liés aux pesanteurs administratives dans le système actuel -- La protection sociale doit être adaptée au monde du travail de demain -- Trouver un cap pour la réforme du système de prestations -- Réforme : les priorités dans le système actuel -- Renforcer l'attrait financier du travail pour les parents -- Réduire le « tunnel du chômage » pour les travailleurs plus âgés -- Assurer une transition en douceur entre le travail et les prestations -- Politiques actives du marché du travail -- Conclusions des simulations portant sur les prestations…”
    Libro electrónico
  16. 9196
    Tabla de Contenidos: “…Intro -- Basic statistics of Estonia, 2018 -- Executive summary -- 1 Key Policy Insights -- Introduction -- A strong economy raises incomes and improves social outcomes -- Public finances are in good shape -- Pro-cyclicality in fiscal policy should be avoided -- Savings should be kept in the second pillar of the pension fund but with higher returns -- The revenue and spending structures are relatively growth friendly -- The banking sector is well capitalised -- Nine wellbeing challenges for the coming decade -- The demographic clock is ticking Flexible life-long learning should be based on people's needs -- Digital user skills could improve -- Boosting adult education and training and increasing business participation -- Smart businesses should become new drivers of growth -- The ICT sector needs to be strengthened -- The right framework conditions, regulations and incentives would spur digitalisation -- Access to finance is crucial to fund the digital transition -- Infrastructure investment is crucial for future productivity growth -- Inequalities have multiple dimensions -- Health is a top development need Ensuring safety and security -- Keeping a clean natural environment -- Smart public governance in cooperation with people -- References -- 2 Seizing the productive potential of digital change -- Productivity needs a boost, and digital technologies can help -- Better utilising productivity potential of advanced digital technologies -- Digital foundations are strong -- Broadband infrastructure is of high quality, but under-utilised by companies -- E-government and core digital infrastructure excel globally -- Security in key digital systems is high, but users should be more aware Estonian companies lag behind peers in the adoption of digital technologies -- The ICT sector is dynamic, but has room for improvement -- Making the most out of skills -- Basic skills form the foundation for the effective use of digital tools -- Digital user skills could be improved -- Specialised ICT skills are concentrated in a small number of companies -- Management skills and high-performing work practices -- Automation and changing skill demands pose challenges -- Boosting digital dissemination in a market-friendly environment -- Regulations are lean, but with some weaknesses Overcoming lack of scale and increasing awareness of digital potential -- Easier access to capital would foster productivity growth through digitalisation -- Innovation and R&D policies to foster digitalisation -- References…”
    Libro electrónico
  17. 9197
    Tabla de Contenidos: “…Work implementation -Introduction -Work process control: division of responsibilities -Access control systems -Remote monitoring systems -Control of contamination -Avoidance of unnecessary does and reduction of transit exposure -Avoidance of rework -Waste management -Collection of feedback during work implementation -Summary 8. …”
    Libro electrónico
  18. 9198
    Tabla de Contenidos: “…The supply of tertiary education in Antioquia --  2.4. The transition from secondary to tertiary education --  2.5. …”
    Libro electrónico
  19. 9199
    por Parhizgar, Kamal Dean
    Publicado 2002
    Tabla de Contenidos: “…An Overview: Multicultural Behavior and Global Business Environments""; ""Chapter Objectives""; ""Introduction""; ""Historical Transitions in International Business""…”
    Libro electrónico
  20. 9200
    Publicado 2017
    Tabla de Contenidos: “…The Practice of Linear Structure Sound and Image Transitions Live Editing Postproduction Editing Digital Nonlinear Editing Issues of Convergence and Compatibility Conclusion Putting It into Practice Key Concepts 12. …”
    Libro electrónico