Search Results - Bailaor~
Suggested Topics within your search.
Suggested Topics within your search.
- Humorous stories, English 13
- Sailors -- Juvenile fiction 9
- History of engineering & technology 8
- Medicine 8
- Research & information: general 5
- Sailors -- Fiction 5
- Technology: general issues 5
- Humanities 4
- Sea stories 4
- Adventure and adventurers -- Fiction 3
- Biography & True Stories 3
- Biology, life sciences 3
- Christian life -- Juvenile fiction 3
- Fiction 3
- History of the Americas 3
- Management 3
- Sociology 3
- Adventure stories 2
- Agriculture 2
- Archiving, preservation & digitisation 2
- Artificial Intelligence 2
- Artificial intelligence 2
- Australasian & Pacific history 2
- Chemistry 2
- Climate change 2
- Computer science 2
- Conduct of life -- Juvenile fiction 2
- Data protection 2
- Electronic data processing 2
- Environmental Economics 2
-
1461
-
1462
-
1463
Estratégias da medicina preventiva de Geoffrey Rose
Published 2015Connect to this object online.
Book -
1464
Managing Elevated Risk Global Liquidity, Capital Flows, and Macroprudential Policy-An Asian Perspective /
Published 2015Table of Contents: “…Contents -- Foreword -- Chapter 1: Introduction and Overview -- Chapter 2: The Three Phases of Global Liquidity -- 2.1: Conceptual and Measurement Issues -- 2.2: First Phase of Global Liquidity -- 2.2.1: Round-trip Bank Flows to the US -- 2.2.2: Banking Sector Flows to the Rest of the World -- 2.2.3: Exchange Rates and Leverage -- 2.3: Second Phase of Global Liquidity -- 2.4: The Case of Emerging Asia -- 2.5: Third Phase and Onward -- 2.6: References -- Chapter 3: Early Warning Indicators for Financial Vulnerabilities -- 3.1: Principles for Selection of Early Warning Indicators -- 3.2: Core and Noncore Liabilities -- 3.3: References -- Chapter 4: Emerging Asia's Noncore Liabilities and Policy Effectiveness -- 4.1: Bank-led Flows, Noncore Liabilities, and Credit Growth -- 4.2: Reassessing Monetary Policy -- 4.3: Appendix -- 4.4: References -- Chapter 5: Capital Flows and Income Distribution -- 5.1: National Policy Remains Key -- 5.2: How Capital Flows Affect Income Inequality -- 5.3: Prioritization for a Multi-Objective Goal -- 5.4: Appendix -- 5.5: References -- Chapter 6: Policy Implications -- 6.1 Tailoring Policies to Vulnerabilities -- 6.2 Macroprudential Tools -- 6.2.1 Bank Capital-Oriented Tools -- 6.2.1.1 Capital Requirements that Adjust Over the Cycle -- 6.2.1.2 Forward-Looking Provisioning -- 6.2.1.3: Leverage caps -- 6.2.1.4: Loan-To-Value and Debt-Service-To-Income Caps -- 6.2.1.5: Loan-to-Deposit caps -- 6.2.1.6: Levy on Noncore Liabilities -- 6.2.1.7: Unremunerated Reserve Requirements -- 6.2.2: Relative Merits of URR versus Levies/Taxes -- 6.2.3: Relationship with other Stabilization Policies -- 6.3: Financial Integration and Institutional Design -- 6.4: Policy Choices -- 6.5: References.…”
Link to Metadata
Electronic eBook -
1465
Digital Transformation of the Design, Construction and Management Processes of the Built Environment
Published 2020Table of Contents: “…PART I: INTEROPERABLE MANAGEMENT OF THE PROCESS, National BIM digital platform for construction (INNOVance project) -- From cloud to BIM model of the built environment: the digitized process for competitive tender, project, construction and management -- The construction contract execution through the integration of Blockchain technology -- The BIMReL Project, the BIM interoperable library in the Lombardy Region -- Life cycle BIM-oriented data collection: a framework for supporting practitioners -- Decision-making BIM platform for chemical building products -- BIM electrical objects plug-in for industry 4.0 -- Da.Ma.Tra: Material Traceability Database -- Natural language processing for information and project management -- Structure of a general Exchange Information Requirements (EIR) for tenders according to the UNI 11337:2017 standard -- PART II: DESIGN STAGE, Clash detection and code checking BIM platform for the Italian market -- Digital tool for optimization -- Performance-based designapproach for tailored acoustic surfaces -- Do Smart City policies work? …”
Link to Metadata
Electronic eBook -
1466
Nanoscale Photonic Imaging
Published 2020Table of Contents: “…Ropers) -- Nonlinear Light Generation in Localized Fields Using Gases and Tailored Solids (M. Sivis and C. Ropers) -- Wavefront and Coherence Characteristics of Extreme UV and Soft X-ray Sources (B. …”
Link to Metadata
Electronic eBook -
1467
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata
Electronic eBook -
1468
-
1469
-
1470
-
1471
Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers /
Published 2020Table of Contents: “…Tactics in Support of FaaS Migrations -- Predictable performance for QoS-sensitive, scalable, multi-tenant Function-as-a-Service deployments -- On the use of Web Assembly in a Serverless Context -- Second International Workshop on Agile Transformations -- Agile Transformation (ATRANS) Workshop: A Summary and Research Agenda -- Agile Transformation: How Employees Experience and Cope with Transformative Change -- Strategy-focused agile transformation: acase study -- Shifting conceptualization of control in Agile Transformations -- It's not Easy Being Agile: Unpacking Paradoxes in Agile Environments -- First International Workshop on Agility with Microservices Programming -- Summary of the First International Workshop on Agility with Microservices Programming -- Improving agility by managing shared libraries in microservices -- Certification as a service -- Third International Workshop on Autonomous Agile Teams -- A decade of research on autonomous agile teams: A summary of the third international workshop at XP2020 -- Dependencies of Agile Teams - An Analysis of the Scaled Agile Framework -- Understanding Work Practices of Autonomous Agile Teams: A Social-Psychological Review -- Spotify Tailoring for Architectural Governance -- Enabling Team Autonomy in a Large Organization -- Defining TestOps: Collaborative Behaviors and Technology-driven Workflows Seen as Enablers of Effective Software Testing in DevOps -- Doctoral Symposium -- Investigating Agile Adoption in Saudi Arabian Mobile Application Development -- Crowd Agile Model for Effective Software Development -- Continuous Information Monitoring in Software Startups -- Agile Education and Training Track -- Is it Possible to Apply Agile Methods to Contribute to the Linux Kernel -- Forming and Assessing Student Teams in Software Engineering Courses -- Panel -- Covid-19's Influence on the Future of Agile.…”
Link to Metadata
Electronic eBook -
1472
-
1473
-
1474
-
1475
-
1476
-
1477
-
1478
Échanges internationaux en Europe et apprentissages
Published 2011Connect to this object online.
Book -
1479
-
1480