scholarly journals LBM-HPC - An Open-Source Tool for Fluid Simulations. Case Study: Unified Parallel C (UPC-PGAS)

2015 ◽  
Author(s):  
Pedro Valero-Lara ◽  
Johan Jansson
Keyword(s):  
Open Source ◽  
Open Source Tool ◽  
Unified Parallel C

scholarly journals Rewrite rule inference using equality saturation

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-28
Author(s):  
Chandrakana Nandi ◽  
Max Willsey ◽  
Amy Zhu ◽  
Yisu Remy Wang ◽  
Brett Saiki ◽  
...  
Keyword(s):  
Open Source ◽  
Promising Technique ◽  
Rule Based ◽  
Domain Experts ◽  
Open Source Tool ◽  
Theorem Provers ◽  
Large Sets ◽  
Rewrite Rules ◽  
Rule Inference

Many compilers, synthesizers, and theorem provers rely on rewrite rules to simplify expressions or prove equivalences. Developing rewrite rules can be difficult: rules may be subtly incorrect, profitable rules are easy to miss, and rulesets must be rechecked or extended whenever semantics are tweaked. Large rulesets can also be challenging to apply: redundant rules slow down rule-based search and frustrate debugging. This paper explores how equality saturation, a promising technique that uses e-graphs to apply rewrite rules, can also be used to infer rewrite rules. E-graphs can compactly represent the exponentially large sets of enumerated terms and potential rewrite rules. We show that equality saturation efficiently shrinks both sets, leading to faster synthesis of smaller, more general rulesets. We prototyped these strategies in a tool dubbed Ruler. Compared to a similar tool built on CVC4, Ruler synthesizes 5.8× smaller rulesets 25× faster without compromising on proving power. In an end-to-end case study, we show Ruler-synthesized rules which perform as well as those crafted by domain experts, and addressed a longstanding issue in a popular open source tool.

scholarly journals LecoS - A QGIS plugin for automated landscape ecology analysis

2013 ◽  
Author(s):  
Martin Jung
Keyword(s):  
Landscape Ecology ◽  
Open Source ◽  
Satellite Data ◽  
Landscape Metrics ◽  
Ecological Analysis ◽  
Open Source Tool ◽  
Potential Case ◽  
Complex Models ◽  
Processing Framework

The quantification of landscape structures is an important part in many ecological analysis dealing with GIS derived satellite data. This paper introduces a new free and open-source tool for conducting landscape ecology analysis. LecoS is able to compute a variety of basic and advanced landscape metrics in an automatized way by iterating through an optional provided vector layer. It is integrated into the QGIS processing framework and can thus be used as a stand-alone tool or within bigger complex models. Finally a potential case-study is demonstrated, which tries to quantify pollinators responses on landscape derived metrics at various scales.

scholarly journals Remote Controlled Hybrid Educational Platform: Case Study

2019 ◽  
Author(s):  
Abdelmoula Abouhilal ◽  
Amine Moulay Taj ◽  
Naîma Tafi ◽  
Abdessamad Malaoui
Keyword(s):  
Open Source ◽  
Real Time ◽  
Educational System ◽  
Open Source Tool ◽  
Theoretical Part ◽  
Two Systems ◽  
Embedded Electronics

This paper presents a remote controlled educational system. This system consists of two subsystems: a videoconference subsystem to present the theoretical part of the course and a practical subsystem to show students the manipulations in real time. The videoconferencing part is based on the open-source tool BigBlueButton, while the second part is based on embedded electronics. A detailed description of the merger of the two systems is presented in this work.

scholarly journals LecoS - A QGIS plugin for automated landscape ecology analysis

2013 ◽  
Author(s):  
Martin Jung
Keyword(s):  
Landscape Ecology ◽  
Open Source ◽  
Satellite Data ◽  
Landscape Metrics ◽  
Ecological Analysis ◽  
Open Source Tool ◽  
Potential Case ◽  
Complex Models ◽  
Processing Framework

The quantification of landscape structures is an important part in many ecological analysis dealing with GIS derived satellite data. This paper introduces a new free and open-source tool for conducting landscape ecology analysis. LecoS is able to compute a variety of basic and advanced landscape metrics in an automatized way by iterating through an optional provided vector layer. It is integrated into the QGIS processing framework and can thus be used as a stand-alone tool or within bigger complex models. Finally a potential case-study is demonstrated, which tries to quantify pollinators responses on landscape derived metrics at various scales.

Performance Comparison of Web Backend And Database: A Case Study Of Node.JS, Golang and MySQL, MongoDB

2019 ◽  
Vol 13 ◽  
Author(s):  
Faried Effendy ◽  
Taufik ◽  
Bramantyo Adhilaksono
Keyword(s):  
Response Time ◽  
Open Source ◽  
Poisson Distribution ◽  
Mobile Application ◽  
Web Applications ◽  
Performance Comparison ◽  
Memory Usage ◽  
Data Traffic ◽  
Cpu Utilization

: Substantial research has been conducted to compare web servers or to compare databases, but very limited research combines the two. Node.js and Golang (Go) are popular platforms for both web and mobile application back-ends, whereas MySQL and Go are among the best open source databases with different characters. Using MySQL and MongoDB as databases, this study aims to compare the performance of Go and Node.js as web applications back-end regarding response time, CPU utilization, and memory usage. To simulate the actual web server workload, the flow of data traffic on the server follows the Poisson distribution. The result shows that the combination of Go and MySQL is superior in CPU utilization and memory usage, while the Node.js and MySQL combination is superior in response time.

scholarly journals Assessment of the regionalised demand response potential in Germany using an open source tool and dataset

2020 ◽  
pp. 100001
Author(s):  
Wilko Heitkoetter ◽  
Bruno U. Schyska ◽  
Danielle Schmidt ◽  
Wided Medjroubi ◽  
Thomas Vogt ◽  
...  
Keyword(s):  
Open Source ◽  
Demand Response ◽  
Open Source Tool

scholarly journals Vehicle Energy Consumption in Python (VencoPy): Presenting and Demonstrating an Open-Source Tool to Calculate Electric Vehicle Charging Flexibility

Energies ◽  
2021 ◽  
Vol 14 (14) ◽  
pp. 4349
Author(s):  
Niklas Wulff ◽  
Fabia Miorelli ◽  
Hans Christian Gils ◽  
Patrick Jochem
Keyword(s):  
Open Source ◽  
Electric Vehicle ◽  
Full Range ◽  
Mobility Patterns ◽  
Electric Vehicle Charging ◽  
Survey Results ◽  
Vehicle Demand ◽  
Vehicle Fleet ◽  
Electric Loads

As electric vehicle fleets grow, rising electric loads necessitate energy systems models to incorporate their respective demand and potential flexibility. Recently, a small number of tools for electric vehicle demand and flexibility modeling have been released under open source licenses. These usually sample discrete trips based on aggregate mobility statistics. However, the full range of variables of travel surveys cannot be accessed in this way and sub-national mobility patterns cannot be modeled. Therefore, a tool is proposed to estimate future electric vehicle fleet charging flexibility while being able to directly access detailed survey results. The framework is applied in a case study involving two recent German national travel surveys (from the years 2008 and 2017) to exemplify the implications of different mobility patterns of motorized individual vehicles on load shifting potential of electric vehicle fleets. The results show that different mobility patterns, have a significant impact on the resulting load flexibilites. Most obviously, an increased daily mileage results in higher electricty demand. A reduced number of trips per day, on the other hand, leads to correspondingly higher grid connectivity of the vehicle fleet. VencoPy is an open source, well-documented and maintained tool, capable of assessing electric vehicle fleet scenarios based on national travel surveys. To scrutinize the tool, a validation of the simulated charging by empirically observed electric vehicle fleet charging is advised.

Sign in / Sign up

Export Citation Format

Share Document