Search Results - cywil~
Suggested Topics within your search.
Suggested Topics within your search.
- Civil engineering, surveying & building 289
- Technology: general issues 264
- History of engineering & technology 248
- Politics & government 226
- Research & information: general 177
- History 164
- Civil codes / Civil law 132
- Sociology 132
- Society & social sciences 123
- Political science & theory 116
- Law 110
- International relations 109
- History of the Americas 108
- Biology, life sciences 107
- Civil rights & citizenship 101
- Human rights 101
- Warfare & defence 88
- United States -- History -- Civil War, 1861-1865 -- Fiction 83
- European history 82
- United States -- History -- Civil War, 1861-1865 -- Personal narratives 80
- Political structure & processes 79
- Environmental science, engineering & technology 74
- Humanities 74
- Literature: history & criticism 73
- Comparative law 72
- United States -- History -- Civil War, 1861-1865 -- Regimental histories 72
- Political activism 70
- Jurisprudence & general issues 69
- Civil defence 66
- Central government policies 63
-
19681
-
19682
-
19683
-
19684
Brain and Human Body Modeling Computational Human Modeling at EMBC 2018 /
Published 2019Table of Contents: “…FEM Human Body Model with Embedded Respiratory Cycles for Antenna and E&M Simulations -- Chapter 19. …”
Link to Metadata
Electronic eBook -
19685
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 -
19686
Financial Crisis Management and Democracy Lessons from Europe and Latin America /
Published 2021Table of Contents: “…Chapter 1: Introduction -- Part I: Global Economic Crisis -- Chapter 2: The Road from Prosperity into the Crisis: The Long Cycle of Post-War Economic, Social and Political Development -- Chapter 3: The Systemic Nature of the Global Crisis and Some Principles for Tackling it -- Part II: Regional Governance and Crisis Management in Europe and Latin America -- Chapter 4: EU's Double Democratic Deficit -- Chapter 5: European Union's Democratic Legitimacy after the MoUs: The Political Legacy of an Economic Crisis -- Chapter 6: Finance Capitalism and Democracy: The Case of the Financial Transactions Tax -- Chapter 7: Regional Governance and Macroeconomic Crisis Management in Latin America -- Part III: Impact of the Crisis in Europe and Latin America: National Level -- Chapter 8: Managing the Crisis in Greece: The Missing Link Between External Conditionality and Domestic Political Economy -- Chapter 9: The Crisis, its Management and Impact on Equity and Democracy in Portugal and Possible Consequences for the EU -- Chapter 10: The 2011 Crisis in Italy: A Story of Deep Rooted (and Still Unresolved) Economic and Political Weaknesses -- Chapter 11: Latin American Economic Crises and Populist Bids: Argentina, Brazil and Mexico -- Chapter 12: The Fall of a Giant: Greed, Corruption and Abuse of Power Undermining Democracy in Brazil -- Chapter 13: Venezuela in Crisis - Governance, Equity and Democracy -- Part IV: Impact of the Crisis in Europe and Latin America: Regional Level -- Chapter 14: The Rise of Right-wing Populism in Europe: A Psychoanalytical Contribution -- Chapter 15: European Economic Governance and Rising Sovereignism -- Chapter 16: Eurozone Crisis Management and the Growth of Opposition to European Integration -- Chapter 17: A 'Pink Tide' Than a 'Turn to the Right': Populisms and Extremism in Latin America in the 21st Century -- Chapter 18: The Impact of the Global Financial Crisis on Latin American Regionalism and Beyond -- Part V: Conclusions -- Chapter 19: Comparing the Crises in Europe and Latin America: Causes, Management and Consequences -- Part VI: Reform Proposals -- Chapter 20: Financial Instability, Climate Change and the 'Digital Colonization' of Europe: Some Unconventional Proposals -- Chapter 21: Promoting Investment in the European Union, Evaluating the Junker Plan -- Chapter 22: Proposal for a Pact for National Responsibility Through EU Solidarity within the Present EU Architecture -- Chapter 23: Proposals for Reforms and Democratization of the EMU -- Chapter 24: Operational Proposal for an EU-CELAC Strategic Alliance -- Chapter 25: Epilogue - Financial Crises, Regionalism and Domestic Adjustment.…”
Link to Metadata
Electronic eBook -
19687
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata
Electronic eBook -
19688
Train the trainers. Reflections on teacher training
Published 2006Connect to this object online.
Book -
19689
-
19690
-
19691
-
19692
-
19693
-
19694
-
19695
-
19696
-
19697
-
19698
-
19699
-
19700