Search results: Found 6

Listing 1 - 6 of 6
Sort by
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Author:
Book Series: Theoretical Computer Science and General Issues Series ISBN: 9783319898834 9783319898841 Year: Volume: 10801 Pages: 1058 DOI: https://doi.org/10.1007/978-3-319-89884-1 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-29 15:05:43
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319899626 9783319899633 Year: Volume: 10806 Pages: 465 DOI: https://doi.org/10.1007/978-3-319-89963-3 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-07-19 14:26:47
License:

Loading...
Export citation

Choose an application

Abstract

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.

Supercomputing Frontiers: 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319699523 9783319699530 Year: Volume: 10776 Pages: 293 DOI: https://doi.org/10.1007/978-3-319-69953-0 Language: English
Publisher: Springer Nature Grant: National Supercomputing Centre (NSCC), Singapore
Subject: Computer Science
Added to DOAB on : 2018-07-20 15:24:25
License:

Loading...
Export citation

Choose an application

Abstract

It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore in March 2018. Supercomputing Frontiers will be rebranded as Supercomputing Frontiers Asia (SCFA), which serves as the technical programme for SCA18. The technical programme for SCA18 consists of four tracks: Application, Algorithms & LibrariesProgramming System SoftwareArchitecture, Network/Communications & ManagementData, Storage & VisualisationThe 20 papers presented in this volume were carefully reviewed nd selected from 60 submissions.

Supercomputing Frontiers

Author:
Book Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ISBN: 9783030488420 Year: Pages: 139 DOI: 10.1007/978-3-030-48842-0 Language: English
Publisher: Springer Nature
Subject: Computer Science
Added to DOAB on : 2020-06-16 23:58:55
License:

Loading...
Export citation

Choose an application

Abstract

This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled due to the COVID-19 pandemic. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.

Advances in Food and Non-Food Biomass Production, Processing and Use in Sub-Saharan Africa: Towards a Basis for a Regional Bioeconomy

Authors: --- --- ---
ISBN: 9783039286683 / 9783039286690 Year: Pages: 446 DOI: 10.3390/books978-3-03928-669-0 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Science (General) --- Biology --- Agriculture (General)
Added to DOAB on : 2020-06-09 16:38:57
License:

Loading...
Export citation

Choose an application

Abstract

The bioeconomy concept aims to add sustainability to the production, transformation, and trade of biological goods. Though implemented around the world, the development of national bioeconomies is uneven, especially in the global South, where major challenges exist in Sub-Saharan Africa. In this context, the international BiomassWeb project aimed to underpin the bioeconomy concept by applying the value web approach, which seeks to uncover complex interlinked value webs instead of linear value chains. The project also aimed to develop intervention options to strengthen and optimize the synergies and trade-offs among different value chains. The Special Issue “Advances in Food and Non-Food Biomass Production, Processing and Use in Sub-Saharan Africa: Toward a Basis for a Regional Bioeconomy"" compiles 23 articles produced in this framework. The articles are grouped in four sections: the value web approach; the production side; processing, transformation and trade; and global views.

Keywords

contract farming --- contract design --- cassava --- bioeconomy --- Ghana --- adoption --- land-use --- deforestation --- food security --- renewable energy --- collaboration --- leadership --- push–pull technology --- sustainability --- transdisciplinary research --- Ethiopia --- demand-driven research --- Biomass --- innovation --- Ghana --- husk --- pulp --- parchment --- mucilage --- methane --- renewable energy --- bioeconomy --- green economy --- sustainable development --- bioproductivity --- high-tech bioeconomy --- knowledge-based bioeconomy --- primary sector --- typology --- cluster analysis --- food and non-food benefit --- homegarden --- multipurpose tree on farmland --- multistorey coffee system --- multi-functionality --- traditional agroforestry --- Yayu Biosphere Reserve --- yellow cassava --- sustainability --- cassava variants --- cassava processing --- carotenoids retention --- amylose --- bioeconomy --- governance --- development policy --- innovation --- technology --- bio-based --- mixed methods --- richness --- edible --- food bearing --- neighborhoods --- maize --- Policy Analysis Matrix --- comparative advantage --- probit --- Ghana --- cassava farmers --- value addition --- productivity differentials --- impact --- endogenous switching regression --- plantain residues --- fiber --- value web --- bioeconomy --- Ghana --- biochar --- crop residue --- corncob --- germination --- phytotoxicity --- self-purging pyrolysis --- soil amendment --- biomass --- value web --- bioeconomy --- bamboo --- Ethiopia --- sustainability --- intensification options --- maize --- groundnut --- crop residue --- crop model --- cassava processors --- smallholders --- solid waste --- pollution --- value-added --- willingness to pay --- biomass utilization --- intensity --- cassava smallholders --- Nigeria --- availability --- access --- Ghana --- Nigeria --- Ethiopia --- value chain --- CGE --- fertilizer-yield-response --- productivity --- welfare --- Ethiopia --- family farming --- farmland --- food security --- rural development --- biomass scenarios --- global biomass --- bioenergy --- sustainability --- food security --- basic needs --- intragenerational justice --- equity --- fairness --- development --- Biomass-based value web --- biological goods --- bio-based economy --- food and non-food --- circular economy

Multilevel Converters: Analysis, Modulation, Topologies, and Applications

Authors: ---
ISBN: 9783039214815 9783039214822 Year: Pages: 548 DOI: 10.3390/books978-3-03921-482-2 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering --- Electrical and Nuclear Engineering
Added to DOAB on : 2019-12-09 11:49:15
License:

Loading...
Export citation

Choose an application

Abstract

This book is a collection of scientific papers concerning multilevel inverters examined from different points of view. Many applications are considered, such as renewable energy interface, power conditioning systems, electric drives, and chargers for electric vehicles. Different topologies have been examined in both new configurations and well-established structures, introducing novel and particular modulation strategies, and examining the effect of modulation techniques on voltage and current harmonics and the total harmonic distortion.

Keywords

DC–DC conversion --- interleaved buck --- parasitic switching states --- three-level converter --- simplified PWM strategy --- redundant switching combination --- voltage balance control --- modular multilevel converter --- IGBT short-circuit --- fault detection --- fault location --- Differential Comparison Low-Voltage Detection Method (DCLVDM) --- Continuous Wavelet Transform --- digital controller --- digital signal processors (DSP) --- modular multilevel converters (MMC) --- multi-terminal DC network (MTDC) --- MMC-MTDC --- hybrid modulated model predictive control --- optimal output voltage level --- multi-point DC control --- neutral-point-clamped (NPC) inverter --- dc-link capacitor voltage balance --- offset voltage injection --- harmonic component --- modular multilevel converters --- capacitor voltage balancing --- sorting networks --- field-programmable gate array --- low-harmonic DC ice-melting device --- transmission line --- voltage fluctuation --- harmonic --- dynamic reactive --- substation’s voltage stability --- alternating current (AC) motor drive --- current estimation --- current reconstruction method --- current unmeasurable areas --- total harmonic distortion (THD) --- single shunt resistor --- space vector pulse width modulation (SVPWM) --- shift method --- minimum voltage injection (MVI) method --- three-level neutral point clamped inverter (NPCI) --- three-level boost --- automatic current balance --- three-loop --- voltage imbalance --- DC-link voltage balancing --- field-oriented control --- field-programmable gate array --- multilevel active-clamped converter --- motor drive --- buck-chopper --- PV-simulator --- T-type converter --- real time simulator --- three-level boost DC-DC converter --- small signal modeling --- voltage balance control --- multilevel converter --- selected harmonic elimination --- genetic algorithm --- imperialist competitive algorithm --- voltage ripple --- voltage source inverter --- three-phase inverter --- DC-link capacitor design --- Cascaded H-bridge multilevel inverter (CHBMI) --- field-programmable gate array --- total harmonic distortion (THD) --- modulation techniques --- multilevel converter --- electric vehicle --- on-board battery charger --- power factor correction --- power quality --- smart grid --- model predictive control --- single-phase three-level NPC converter --- commutation --- modular multilevel converter (MMC) --- Sub-module (SM) fault --- fault-tolerant control --- Phase Disposition PWM --- finite control set model predictive control --- T-type inverter --- computational cost --- LC filter --- DC-link capacitor voltage balancing --- multilevel converter --- DC side fault blocking --- predictive control --- battery energy storage system (BESS) --- modular multilevel converter (MMC) --- state-of-charge (SOC) balancing control --- tolerance for battery power unbalance --- model predictive control (MPC) --- computational burden --- reverse prediction --- modular multilevel converter (MMC) --- multilevel inverters --- total harmonic distortion --- level-shifted PWM --- phase-shifted PWM --- electrical drives --- energy saving --- multilevel power converters --- permanent magnet synchronous generator --- open-end winding configuration --- voltage balancing --- power factor --- improved PQ algorithm --- power flow analysis --- three-phase to single-phase cascaded converter --- ACTPSS --- NPC/H Bridge --- five-level --- Balance of capacitor voltage --- Suppression of CMV --- SVPWM --- multilevel converter --- multi-motor drive --- harmonic mitigation --- active filter --- open end winding motor --- high efficiency drive --- high reliability applications

Listing 1 - 6 of 6
Sort by
Narrow your search