Zobrazeno 1 - 10
of 23
pro vyhledávání: '"M.C.J.D. van Eekelen"'
Autor:
Ugo Dal Lago, M.C.J.D. van Eekelen
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319465586
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::41081c27bc714345576fbefddaea81a0
https://doi.org/10.1007/978-3-319-46559-3
https://doi.org/10.1007/978-3-319-46559-3
Autor:
Olha Shkaravska, M.C.J.D. van Eekelen
Publikováno v:
Journal of Symbolic Computation, 60, pp. 15-28
Journal of Symbolic Computation
Journal of Symbolic Computation, 60, 15-28
Journal of Symbolic Computation, 60, 15-28. ACADEMIC PRESS LTD-ELSEVIER SCIENCE LTD
Shkaravska, O & van Eekelen, M 2014, ' Univariate polynomial solutions of algebraic difference equations ', Journal of Symbolic Computation, vol. 60, pp. 15-28 . https://doi.org/10.1016/j.jsc.2013.10.010
Journal of Symbolic Computation
Journal of Symbolic Computation, 60, 15-28
Journal of Symbolic Computation, 60, 15-28. ACADEMIC PRESS LTD-ELSEVIER SCIENCE LTD
Shkaravska, O & van Eekelen, M 2014, ' Univariate polynomial solutions of algebraic difference equations ', Journal of Symbolic Computation, vol. 60, pp. 15-28 . https://doi.org/10.1016/j.jsc.2013.10.010
Contrary to linear difference equations, there is no general theory of difference equations of the form G(P(x-@t"1),...,P(x-@t"s))+G"0(x)=0, with @t"i@?K, G(x"1,...,x"s)@?K[x"1,...,x"s] of total degree D>=2 and G"0(x)@?K[x], where K is a field of cha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d47de112a69fe687496436e5adc40835
https://hdl.handle.net/2066/126229
https://hdl.handle.net/2066/126229
Publikováno v:
Journal of Higher Education / Yüksekögretim Dergisi, 4, 83-90
Open Universiteit
Journal of Higher Education / Yüksekögretim Dergisi, 4, 2, pp. 83-90
Yükseköğretim Dergisi (Journal of Higher Education-Turkey), 4(2), 83-90
Haag, J, Witte, C, Karsch, S, Vranken, H P E & van Eekelen, M C J D 2014, ' Evaluation of Students' Learning Behaviour and Success as a Prerequisite for Modernizing Practical on Campus Networking Courses in Higher Education ', Yükseköğretim Dergisi (Journal of Higher Education-Turkey), vol. 4, no. 2, pp. 83-90 . < http://www.yuksekogretim.org/en/abstract_2014002004.asp >
Open Universiteit
Journal of Higher Education / Yüksekögretim Dergisi, 4, 2, pp. 83-90
Yükseköğretim Dergisi (Journal of Higher Education-Turkey), 4(2), 83-90
Haag, J, Witte, C, Karsch, S, Vranken, H P E & van Eekelen, M C J D 2014, ' Evaluation of Students' Learning Behaviour and Success as a Prerequisite for Modernizing Practical on Campus Networking Courses in Higher Education ', Yükseköğretim Dergisi (Journal of Higher Education-Turkey), vol. 4, no. 2, pp. 83-90 . < http://www.yuksekogretim.org/en/abstract_2014002004.asp >
C omputer science curricula for students at universities nowadays include courses on networking and information technology (IT) security. Teaching theory on networking and IT security is usually done by means of textbooks and classes (either face-to-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::821fd9aa9bbe7dcd9e8a823248aac5f9
http://hdl.handle.net/2066/129946
http://hdl.handle.net/2066/129946
Publikováno v:
Science of Computer Programming, 111, 3, pp. 363-364
Science of Computer Programming, 111, 363-364
Shkaravska, O, Della Rocca, S R & van Eekelen, M 2015, ' Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011 ', Science of computer programming, vol. 111, no. Part 3, pp. 363-364 . https://doi.org/10.1016/j.scico.2015.08.008
Science of Computer Programming, 111, 363-364
Shkaravska, O, Della Rocca, S R & van Eekelen, M 2015, ' Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011 ', Science of computer programming, vol. 111, no. Part 3, pp. 363-364 . https://doi.org/10.1016/j.scico.2015.08.008
Contains fulltext : 147342.pdf (Publisher’s version ) (Closed access)
Autor:
Han Slootweg, D. Geldtmeijer, D. Van Leersum, H. Rooden, J. Kohlmann, C. Montes Portela, M.C.J.D. van Eekelen
Publikováno v:
Proceedings of the 22nd International Conference on Electricity Distribution (CIRED2013), 10-13 June 2013, Stockholm, Sweden
CIRED 2013 : proceedings of the 22nd International Conference on Electricity Distribution, Date 10-13 June 2013, Stockholm, 0241(1)-0241(4). Los Alamitos : IEEE
STARTPAGE=0241(1);ENDPAGE=0241(4);TITLE=CIRED 2013 : proceedings of the 22nd International Conference on Electricity Distribution, Date 10-13 June 2013, Stockholm
CIRED 2013 : proceedings of the 22nd International Conference on Electricity Distribution, Date 10-13 June 2013, Stockholm, pp. 0241(1)-0241(4)
CIRED 2013 : proceedings of the 22nd International Conference on Electricity Distribution, Date 10-13 June 2013, Stockholm, 0241(1)-0241(4). Los Alamitos : IEEE
STARTPAGE=0241(1);ENDPAGE=0241(4);TITLE=CIRED 2013 : proceedings of the 22nd International Conference on Electricity Distribution, Date 10-13 June 2013, Stockholm
CIRED 2013 : proceedings of the 22nd International Conference on Electricity Distribution, Date 10-13 June 2013, Stockholm, pp. 0241(1)-0241(4)
This paper presents the ICT architecture for a Smart Grid project with consumer interaction in the city of Zwolle, the Netherlands. It describes the privacy and security enhancing measures applied to ensure a positive sum of necessary functionality a
Publikováno v:
Software: Practice and Experience. 25:463-499
This paper advocates the use functional programming languages for the formal specification of (abstract) machines. The presented description method describes machines by a two-level model. At the bottom layer machine components and the micro instruct
In this paper, we introduce program transformations as a method to turn high level functional specifications of neural networks into efficient sequential and parallel programs. Due to the semantics preserving properties of the applied program transfo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac922682d6a9a763a84eb269066baab1
https://doi.org/10.1016/b978-0-444-89488-5.50096-8
https://doi.org/10.1016/b978-0-444-89488-5.50096-8
Functional programming languages have been successfully employed to make executable neural network descriptions. For the sake of efficiency, the programs are mixtures between descriptions of the behaviour and the data-flow needed to obtain an efficie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e28f141006a25ea6294a300a7fffac5
https://doi.org/10.1016/b978-0-444-89178-5.50118-4
https://doi.org/10.1016/b978-0-444-89178-5.50118-4
Publikováno v:
International Neural Network Conference ISBN: 9780792308317
In this paper the use of functional programming languages is proposed for the formal specification of neural networks. A formal specification written in a functional programming language has many advantages. First of all, a very high-level, compact,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::456590a2ea55f6f55afcc93b83571fd4
https://doi.org/10.1007/978-94-009-0643-3_55
https://doi.org/10.1007/978-94-009-0643-3_55