|
Records |
Links |
|
Author |
Jacobsen, R.H.; Torring, N.; Danielsen, B.V.; Hansen, M.T.; Pedersen, E.B. |

|
|
Title  |
Towards an app platform for data concentrators |
Type |
|
|
Year |
2014 |
Publication |
Innovative Smart Grid Technologies Conference (ISGT), 2014 IEEE PES |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
1-5 |
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
45 |
|
Permanent link to this record |
|
|
|
|
Author |
Terkelsen, Anders Franz |

|
|
Title  |
The Lost Children of Smart Grid |
Type |
|
|
Year |
2013 |
Publication |
Pan European Networks: Government |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
07 |
Pages |
p- 230 |
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
30 |
|
Permanent link to this record |
|
|
|
|
Author |
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |

|
|
Title  |
Synthesizing Control Software from Boolean Relations |
Type |
|
|
Year |
2012 |
Publication |
International Journal on Advances in Software |
Abbreviated Journal |
|
|
|
Volume |
vol. 5, nr 3&4 |
Issue |
|
Pages |
212-223 |
|
|
Keywords |
Control Software Synthesis; Embedded Systems; Model Checking |
|
|
Abstract |
Many software as well digital hardware automaticsynthesis methods define the set ofimplementations meeting the given systemspecifications with a boolean relation K. Insuch a context a fundamental step in the software(hardware) synthesis process is finding effectivesolutions to the functional equation defined byK. This entails finding a (set of) booleanfunction(s) F (typically represented usingOBDDs, Ordered Binary Decision Diagrams)such that: 1) for all x for which K issatisfiable, K(x, F(x)) = 1 holds; 2) theimplementation of F is efficient with respectto given implementation parameters such as codesize or execution time. While this problem hasbeen widely studied in digital hardware synthesis,little has been done in a software synthesiscontext. Unfortunately, the approaches developedfor hardware synthesis cannot be directly used ina software context. This motivates investigationof effective methods to solve the above problemwhen F has to be implemented with software. Inthis paper, we present an algorithm that, from anOBDD representation for K, generates a C codeimplementation for F that has the same size asthe OBDD for F and a worst case execution timelinear in nr, being n = |x| the number ofinput arguments for functions in F and r thenumber of functions in F. Moreover, a formalproof of the proposed algorithm correctness isalso shown. Finally, we present experimentalresults showing effectiveness of the proposedalgorithm. |
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
Iaria |
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
1942-2628 |
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ Mari_etal2012 |
Serial |
26 |
|
Permanent link to this record |
|
|
|
|
Author |
Gruber, Jorn Klaas; Fernández Mínguez, José Luis |

|
|
Title  |
Supply mix optimization for decentralized energy systems |
Type |
|
|
Year |
2013 |
Publication |
2013 International Conference on Smart Grid (ICSG 2013) – Open Journal of Applied Sciences |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
5-11 |
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
38 |
|
Permanent link to this record |
|
|
|
|
Author |
Pluyta, S.; Levchenko, S.; Pluyta, A. |
|
|
Title  |
Standards application in smart energy |
Type |
|
|
Year |
2014 |
Publication |
Proceedings of the A.V. Luikov Heat and Mass Transfer Institute HEATMASSTRANSFER – 2013 |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
43-47 |
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
40 |
|
Permanent link to this record |
|
|
|
|
Author |
Levchenko, S. A.; Pluyta, S. V. |
|
|
Title  |
Smart grids concept for sustainable development of Belarus energy system |
Type |
|
|
Year |
2014 |
Publication |
Proceedings of the National academy of sciences of Belarus |
Abbreviated Journal |
|
|
|
Volume |
3 |
Issue |
|
Pages |
91-97 |
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
44 |
|
Permanent link to this record |
|
|
|
|
Author |
Krivenko, E. V.; Levchenko, S. A.; Lutsenko, V. I. |
|
|
Title  |
Smart grid technology as a basis for modernisation of water supply system for the future sustainable society development |
Type |
|
|
Year |
2014 |
Publication |
Proceedings of the International Humboldt conference: Science and technology as a basis of modernization for future sustainable development |
Abbreviated Journal |
SSF-2014 |
|
|
Volume |
|
Issue |
|
Pages |
57-61 |
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
42 |
|
Permanent link to this record |
|
|
|
|
Author |
Levchenko, S.; Unfried, J.; Schackmann, V. |
|
|
Title  |
Smart Grid Services for Optimized Production and Integration of Bio-Energy into Regional Electricity-, Gas- and DistrictHeating- Grids |
Type |
|
|
Year |
2014 |
Publication |
Proceedings of 22nd European Biomass Conference and Exhibition |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
|
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
41 |
|
Permanent link to this record |
|
|
|
|
Author |
Levchenko, S. A.; Pluyta, S. V. |
|
|
Title  |
Service control system of smart electric grids by fuzzy model in conditions of initial data lacking |
Type |
|
|
Year |
2014 |
Publication |
Proceedings of the International Humboldt conference: Science and technology as a basis of modernization for future sustainable development |
Abbreviated Journal |
SSF-2014 |
|
|
Volume |
|
Issue |
|
Pages |
31-32 |
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ |
Serial |
43 |
|
Permanent link to this record |
|
|
|
|
Author |
Gruber, Jorn Klaas; Prodanovic, Milan |

|
|
Title  |
Residential Energy Load Profile Generation Using a Probabilistic Approach |
Type |
|
|
Year |
2012 |
Publication |
Sixth UKSim/AMSS European Symposium on Computer Modeling and Simulation (EMS 2012) |
Abbreviated Journal |
|
|
|
Volume |
|
Issue |
|
Pages |
317-322 |
|
|
Keywords |
|
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
Ieee |
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
978-1-4673-4977-2 |
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
|
|
|
Call Number |
UNIROMA1 @ davi @ DBLP:conf/ems/GruberP12 |
Serial |
35 |
|
Permanent link to this record |