| Records |
| Author |
Prodanovic, Milan; Téllez Molina, Maria Belén; Gallo, Alessandro; Aguilar, José González |
Title  |
Proactive Management for Smart Buildings – Resource Management Strategy |
Type |
|
| Year |
2013 |
Publication |
SMARTGREENS 2013 – Proceedings of the 2nd International Conference on Smart Grids and Green IT Systems |
Abbreviated Journal |
|
| Volume |
|
Issue |
|
Pages |
165-170 |
| 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 @ DBLP:conf/smartgreens/ProdanovicMGA13 |
Serial |
37 |
| 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 |
| |
|
| |
| 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 |
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 |
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. 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 |
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 |
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 |
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 |
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 |
