Faculteit Wiskunde & Informatica

Onderzoeksoutput 1950 2020

Filter
Boek
2019

Complexity science: an introduction

Peletier, M. A., van Santen, R. A. & Steur, E., 20 mrt 2019, World Scientific. 409 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Chemistry
Biology
Epidemiology
Social Sciences
Self-organization

Data science for healthcare: methodologies and applications

Consoli, S. (redactie), Recupero, D. R. (redactie) & Petković, M. (redactie), 1 jan 2019, Cham: Springer International Publishing Switzerland. 367 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Delivery of Health Care
Semantic Web
Computer vision
Pattern recognition
Artificial intelligence
2018

Organic and amorphous-metal-oxide flexible analogue electronics

Pecunia, V., Fattori, M., Abdinia, S., Sirringhaus, H. & Cantatore, E., 2018, Cambridge: Cambridge University Press. 138 blz. (Cambridge Elements)

Onderzoeksoutput: Boek/rapportBoekAcademic

sensor
metal oxide
electronics

Querying graphs

Bonifati, A., Fletcher, G. H. L., Voigt, H. & Yakovets, N., 2018, Williston: Morgan & Claypool Publishers. 184 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Data structures
Query processing
Life cycle
Query languages
Information management
2017
3 Citaties (Scopus)

Codes, cryptography and curves with computer algebra

Pellikaan, G. R., Wu, X. W., Bulygin, S. & Jurrius, R. P. M. J., nov 2017, Cambridge: Cambridge University Press. 606 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Computer Algebra
Cryptography
Algebraic-geometry Codes
Engineering
Curve

Period Maps and Period Domains

Müller-Stach, S. & Carlson, J., aug 2017, 2e editie redactie Cambridge: Cambridge University Press. 576 blz. (Cambridge Studies in Advanced Mathematics; vol. 168)

Onderzoeksoutput: Boek/rapportBoekAcademic

Progress in high-dimensional percolation and random graphs

Heydenreich, M. O. & van der Hofstad, R. W., 1 dec 2017, Dordrecht: Springer. 285 blz. (CRM Short Courses)

Onderzoeksoutput: Boek/rapportBoekAcademic

85 Citaties (Scopus)

Random graphs and complex networks

van der Hofstad, R. W., 1 jan 2017, Cambridge: Cambridge University Press. 321 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Random Graphs
Complex Networks
A.s. Convergence
Branching process
Martingale
2016
423 Citaties (Scopus)

Process mining: data science in action

Van der Aalst, W. M. P., 1 jan 2016, Dordrecht: Springer. 467 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Data mining
Industry
Flow control
Managers
Students
2015
1 Citaat (Scopus)

Continuum modeling : an approach through practical examples

Muntean, A., 2015, Cham: Springer. 83 blz. (SpringerBriefs in Mathematical Methods)

Onderzoeksoutput: Boek/rapportBoekAcademic

Continuum
Microwave Heating
Pure mathematics
Energy Harvesting
Constitutive Law

Process mining in healthcare: evaluating and exploiting operational healthcare processes

Mans, R. S., Aalst, van der, W. M. P. & Vanwersch, R. J. B., 2015, Cham: Springer. 91 blz. (SpringerBriefs in Business Process Management,)

Onderzoeksoutput: Boek/rapportBoekAcademic

Process mining
Healthcare
Reference model
Data mining
Health care system
2014

Advanced statistical techniques for process monitoring

Di Bucchianico, A. & Heuvel, van den, E. R., 2014, New York: Wiley. 600 blz. (Wiley Series in Probability and Statistics Series)

Onderzoeksoutput: Boek/rapportBoekAcademic

Process Monitoring
Control Charts
Monitoring
Necessary

Modeling and analysis of communicating systems

Groote, J. F. & Mousavi, M. R., 2014, London: MIT Press. 376 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Computer systems
Specifications
Computer simulation
Abstract data types
Computer networks

Proceedings of the International Workshop on Meta-learning and Algorithm Selection, Prague, Czech Republic, August 19, 2014

Vanschoren, J., Brazdil, P., Soares, C. & Kotthoff, L., 2014, CEUR-WS.org.

Onderzoeksoutput: Boek/rapportBoekAcademic

7 Citaties (Scopus)

Type theory and formal proof : an introduction

Nederpelt, R. P. & Geuvers, J. H., 2014, Cambridge: Cambridge University Press. 436 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Formal Proof
Type Theory
Lambda Calculus
Type Systems
Exercise
2013
14 Citaties (Scopus)

Diagram geometry : related to classical groups and buildings

Buekenhout, F. & Cohen, A. M., 2013, Berlin: Springer. 592 blz. (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge; vol. 57)

Onderzoeksoutput: Boek/rapportBoekAcademic

Diagram Geometry
Classical Groups
Coxeter Group
Affine geometry
Projective geometry

Fundamentals of business process management

Dumas, M., La Rosa, M., Mendling, J. & Reijers, H. A., 2013, Berlin: Springer. 399 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Business process management
2012

Code generation with templates

Arnoldus, B. J., Brand, van den, M. G. J., Serebrenik, A. & Brunekreef, J. J., 2012, Amsterdam: Atlantis Press. (Atlantis studies in computing; vol. 1)

Onderzoeksoutput: Boek/rapportBoekAcademic

Engines
Code generation

De zeven grootste raadsels van de wiskunde

Brandhof, van den, A., Veen, van der, R., Craats, van de, J. & Koren, B., 2012, Amsterdam: Bert Bakker. 184 blz.

Onderzoeksoutput: Boek/rapportBoekPopulair

Spectra of graphs

Brouwer, A. E. & Haemers, W. H., 2012, New York: Springer. 250 blz. (Universitext)

Onderzoeksoutput: Boek/rapportBoekAcademic

2011

Elementaire getaltheorie en asymmetrische cryptografie

Weger, de, B. M. M., 2011, gew. 2e redactie Utrecht: Epsilon. (Epsilon uitgaven; vol. 63)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Homogenization method and multiscale modeling

Muntean, A. & Chalupecky, V., 2011, Fukuoka: Kyuskhu University. 72 blz. (COE lecture note series; vol. 34)

Onderzoeksoutput: Boek/rapportBoekAcademic

Logical reasoning : a first course

Nederpelt, R. P. & Kamareddine, F., 2011, 2nd rev. redactie London: King's College Publications. 386 blz. (Texts in computing; vol. 3)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Modeling business processes : a Petri net-oriented approach

Aalst, van der, W. M. P. & Stahl, C., 2011, Cambridge MA: MIT Press. 400 blz. (Information Systems)

Onderzoeksoutput: Boek/rapportBoekAcademic

Business Process Modeling
Petri Nets
Exercise
Information Systems
Formal Modeling

Networks for pervasive services : six ways to upgrade the internet

Liotta, A. & Exarchakos, G., 2011, Berlin: Springer. 178 blz. (Lecture notes in electrical engineering; vol. 92)

Onderzoeksoutput: Boek/rapportBoekAcademic

Internet

Process mining : discovery, conformance and enhancement of business processes

Aalst, van der, W. M. P., 2011, Berlin: Springer. 352 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Data mining
Industry
Flow control
Information systems
Managers
2010

Process algebra : equational theories of communicating processes

Baeten, J. C. M., Basten, T. & Reniers, M. A., 2010, Cambridge: Cambridge University Press. 460 blz. (Cambridge tracts in theoretical computer science; vol. 50)

Onderzoeksoutput: Boek/rapportBoekAcademic

Equational Theory
Process Algebra
Notation
Distributed Systems
Mutual Exclusion
2009

Elementaire getaltheorie en asymmetrische cryptografie

Weger, de, B. M. M., 2009, Utrecht: Epsilon. 180 blz. (Epsilon uitgaven; vol. 63)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Requirements engineering
Modeling languages

Tegen de stroom in : de Nederlandse rol in de ICT

Rem, M., 2009, Den Haag: ICTRegie.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

2008

Battery management systems : accurate state-of-charge indication for battery-powered applications

Pop, V., Bergveld, H. J., Danilov, D., Notten, P. H. L. & Regtien, P. P. L., 2008, Dordrecht: Springer. (Philips research book series; vol. 9)

Onderzoeksoutput: Boek/rapportBoekAcademic

Battery management systems
2106 Citaties (Scopus)

Computational geometry : algorithms and applications

Berg, de, M., Cheong, O., Kreveld, van, M. J. & Overmars, M. H., 2008, 3rd ed redactie Berlin: Springer. 386 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Computational geometry
Open Access
Bestand

Multiaccess, reservations & queues

Denteneer, T. J. J. & Leeuwaarden, van, J. S. H., 2008, Berlin: Springer. 254 blz. (Philips research book series; vol. 10)

Onderzoeksoutput: Boek/rapportBoekAcademic

Data communication systems
Cables
Telecommunication networks
Mathematical models
2007

De achterkant van sudoku : oplossen, programmeren en ontwerpen

Zantema, H., 2007, Haarlem: Aramith. 144 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

De menselijke maat in ICT

Jacobs, B. P. F., 2007, Nijmegen: Radboud Universiteit Nijmegen. 129 blz.

Onderzoeksoutput: Boek/rapportBoekPopulair

Open Access
Bestand
1 Citaat (Scopus)

Filtering theory : with applications to fault detection, isolation, and estimation

Saberi, A., Stoorvogel, A. A. & Sannuti, P., 2007, Boston: Birkhäuser Verlag. 723 blz. (Systems and control : foundations and applications)

Onderzoeksoutput: Boek/rapportBoekAcademic

Fault detection
State space methods
Riccati equations
Technical presentations
Linear matrix inequalities
Open Access
Bestand

Theoretical aspects of local search

Michiels, W. P. A. J., Aarts, E. H. L. & Korst, J. H. M., 2007, Berlin: Springer. (Monographs in theoretical computer science)

Onderzoeksoutput: Boek/rapportBoekAcademic

inspiration
optimization
readers
2006

Ambient lifestyle: from concept to experience

Aarts, E. H. L. & Diederiks, E., 2006, Amsterdam: BIS Publishers. 213 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

Electromagnetic field matter interactions in thermoelastic solids and viscous fluids

Hutter, K., Ven, van de, A. A. F. & Ursescu, A., 2006, 2nd, substantially enl. ed. redactie Berlin: Springer. 403 blz. (Lecture notes in physics; vol. 710)

Onderzoeksoutput: Boek/rapportBoekAcademic

viscous fluids
electromagnetic fields
fluids
electromechanics
interactions

Fundamentals of cryptology : vocational guidance and interactive tutorial

Tilborg, van, H. C. A., 2006, Moscow: Mir. 472 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

2005

A modern perspective on type theory : from its origins until today

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2005, Dordrecht: Kluwer Academic Publishers. 357 blz. (Applied logic series. APLS; vol. 29)

Onderzoeksoutput: Boek/rapportBoekAcademic

Partial differential equations : modeling, analysis, computation

Mattheij, R. M. M., Rienstra, S. W. & Thije Boonkkamp, ten, J. H. M., 2005, Philadelphia: SIAM Press. 665 blz. (SIAM monographs on mathematical modeling and computation; vol. 10)

Onderzoeksoutput: Boek/rapportBoekProfessioneel

72 Citaties (Scopus)

Second generation wavelets and applications

Jansen, M. H. & Oonincx, P. J., 2005, London: Springer. 138 blz.

Onderzoeksoutput: Boek/rapportBoekAcademic

wavelet
2004

Creating adaptive applications with AHA! : tutorial for AHA! version 3.0

De Bra, P. M. E., Stash, N. & Smits, D., 2004, Eindhoven: Technische Universiteit Eindhoven. 23 blz. (Computer science reports; vol. 0420)

Onderzoeksoutput: Boek/rapportBoekAcademic

Open Access
Bestand

Infinite divisibility of probability distributions on the real line

Steutel, F. W. & Harn, van, K., 2004, Basel: Marcel Dekker Inc.546 blz. (Pure and applied mathematics : a series of monographs and textbooks; vol. 259)

Onderzoeksoutput: Boek/rapportBoekAcademic

Inzicht door wiskunde

Brands, J. J. A. M., 2004, Nuenen: J.J.A.M. Brands. 300 blz.

Onderzoeksoutput: Boek/rapportBoekProfessioneel

Logical reasoning : a first course

Nederpelt, R. P. & Kamareddine, F., 2004, London: King's College Publications. 410 blz. (Texts in computing; vol. 3)

Onderzoeksoutput: Boek/rapportBoekProfessioneel