Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Simon Bischof"'
Publikováno v:
Energies, Vol 14, Iss 13, p 3733 (2021)
The growing share of renewable energies in power production and the rise of the market share of battery electric vehicles increase the demand for battery technologies. In both fields, a predictable operation requires knowledge of the internal battery
Externí odkaz:
https://doaj.org/article/06ff13395c464f80a036829f5f1b9f1a
Publikováno v:
Journal of Computer Security. 26:335-366
Publikováno v:
e-Energy
Efficient energy storage is crucial in future energy systems. The management of lithium-ion based batteries is a challenging topic of research in this area. To improve management systems, monitoring data is indispensable, be it for single battery cel
Publikováno v:
e-Energy
Battery systems can reduce the peak electrical consumption through proper charging and discharging strategies. To this end, consumers often rely on historic consumption data to select a cost-efficient battery system. However, historic data is an impe
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783030024499
ICFEM
ICFEM
Information flow control (IFC) is a category of techniques for enforcing information flow properties. In this paper we present the Combined Approach, a novel IFC technique that combines a scalable system-dependence-graph-based (SDG-based) approach wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a56a1ba1d73703c462ab31db8d885c02
Publikováno v:
Principled Software Development ISBN: 9783319980461
Principled Software Development
Principled Software Development
We present two new results in machine-checked formalizations of programming languages. (1) Probabilistic Noninterference is a central notion in software security analysis. We present the first Isabelle formalization of low-security observational dete
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::234f220a380435877ae311d97a8d15e7
https://doi.org/10.1007/978-3-319-98047-8_17
https://doi.org/10.1007/978-3-319-98047-8_17
Publikováno v:
SSCI
The vehicle routing problem is a well-researched problem with various solutions. Although this problem has been solved many times, there is rarely a case where a solution covers a real-life situation completely. In this paper, a particular dynamic ve
Publikováno v:
SBCCI
Networks on Chip (NoC) have emerged as a promising interconnection technology for scalable many-core architectures. Proposed NoC-architectures and topologies often assume uniform distribution of traffic, where all tiles produce and consume the same a