| Records |
| 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. 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 |
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 |
Mari, Federico; Melatti, Igor; Tronci, Enrico; Finzi, Alberto |
| Title |
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET |
Type |
|
| Year |
2013 |
Publication |
Mobile Information Systems |
Abbreviated Journal |
|
| Volume |
3 |
Issue |
9 |
Pages |
261-280 |
| Keywords |
|
| Abstract |
|
| Address |
|
| Corporate Author |
|
Thesis |
|
| Publisher |
IOS Press |
Place of Publication |
|
Editor |
|
| Language |
|
Summary Language |
|
Original Title |
|
| Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
| Series Volume |
|
Series Issue |
|
Edition |
|
| ISSN |
1574-017x (Print) 1875-905X (Online) |
ISBN |
|
Medium |
|
| Area |
|
Expedition |
|
Conference |
|
| Notes |
|
Approved |
|
| Call Number |
UNIROMA1 @ davi @ Mari_etal2013_4 |
Serial |
24 |
| Permanent link to this record |
| |
|
| |
| Author |
Kuijpers, Ed; Carotenuto, Luigi; Malapert, Jean-Cristophe; Markov-Vetter, Daniela; Melatti, Igor; Orlandini, Andrea; Pinchuk, Ranni |
| Title |
Collaboration on ISS Experiment Data and Knowledge Representation |
Type |
|
| Year |
2012 |
Publication |
Proc. of IAC 2012 |
Abbreviated Journal |
|
| Volume |
D.5.11 |
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 @ Kuijpers_etal2012 |
Serial |
25 |
| 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 |
Levchenko, Sergei |
| Title |
Modern trends and technology for energy efficiency based on integrated smart grids in Belarus |
Type |
|
| Year |
2012 |
Publication |
Proc. of International conference “Energy of Moldova – 2012. Aspects of regional development” |
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 |
29 |
| 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 |
Della Penna, Giuseppe; Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico |
| Title |
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems |
Type |
|
| Year |
2013 |
Publication |
European Journal of Control |
Abbreviated Journal |
|
| Volume |
19 |
Issue |
1 |
Pages |
14-36 |
| Keywords |
|
| Abstract |
|
| Address |
|
| Corporate Author |
|
Thesis |
|
| Publisher |
Elsevier North-Holland, Inc. |
Place of Publication |
|
Editor |
|
| Language |
|
Summary Language |
|
Original Title |
|
| Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
| Series Volume |
|
Series Issue |
|
Edition |
|
| ISSN |
0947-3580 |
ISBN |
|
Medium |
|
| Area |
|
Expedition |
|
Conference |
|
| Notes |
|
Approved |
|
| Call Number |
UNIROMA1 @ davi @ DellaPenna_etal2013 |
Serial |
31 |
| 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 |
