Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Capítulo de Livro
|
![]() |
Towards Personalization of Diabetes Therapy Using Computerized Decision Support and Machine Learning: Some Open Problems and ChallengesDonsa, Klaus ; Spat, Stephan ; Beck, Peter ; Pieber, Thomas R. ; Holzinger, Andreas Holzinger, Andreas ; Ziefle, Martina ; Röcker, CarstenSmart Health, 2015, p.237-260 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
12 |
Material Type: Capítulo de Livro
|
![]() |
Diffusion of Innovative Digital Work PracticesAndersen, Synnøve ThomassenLecture notes in computer science, 2022 [Periódico revisado por pares]SpringerTexto completo disponível |
13 |
Material Type: Capítulo de Livro
|
![]() |
The Role of the Person in Modern Constitutional Law: How State-inflicted Harms Become PersonalMailey, RichardInterrupting the Legal Person, 2022, Vol.87A, p.73-88Bingley: Emerald Publishing LimitedTexto completo disponível |
14 |
Material Type: Capítulo de Livro
|
![]() |
The boundaries of instance-based learning theory for explaining decisions from experienceGonzalez, CleotildeDecision Making : Neural and Behavioural Approaches, 2013, Vol.202, p.73-98 [Periódico revisado por pares]Netherlands: Elsevier Science & TechnologyTexto completo disponível |
15 |
Material Type: Capítulo de Livro
|
![]() |
Multiobjective Optimization by Decision DiagramsBergman, David ; Cire, Andre A. Rueher, MichelPrinciples and Practice of Constraint Programming, p.86-95 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
16 |
Material Type: Capítulo de Livro
|
![]() |
Determining the Veracity of Rumours on TwitterGiasemidis, Georgios ; Singleton, Colin ; Agrafiotis, Ioannis ; Nurse, Jason R. C. ; Pilgrim, Alan ; Willis, Chris ; Greetham, D. V. Spiro, Emma ; Ahn, Yong-YeolSocial Informatics, p.185-205 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
17 |
Material Type: Capítulo de Livro
|
![]() |
EAGLE: Efficient Active Learning of Link Specifications Using Genetic ProgrammingNgonga Ngomo, Axel-Cyrille ; Lyko, Klaus Simperl, Elena ; Polleres, Axel ; Corcho, Oscar ; Presutti, Valentina ; Cimiano, PhilippThe Semantic Web: Research and Applications, p.149-163 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
18 |
Material Type: Capítulo de Livro
|
![]() |
Validation of Decentralised Smart Contracts Through Game Theory and Formal MethodsBigi, Giancarlo ; Bracciali, Andrea ; Meacci, Giovanni ; Tuosto, Emilio Ferrari, Gianluigi ; Priami, Corrado ; Bodei, ChiaraProgramming Languages with Applications to Biology and Security, 2015, Vol.9465, p.142-161 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
19 |
Material Type: Capítulo de Livro
|
![]() |
Comparing and Integrating Argumentation-Based with Matrix-Based Decision Support in Arg&DecAurisicchio, Marco ; Baroni, Pietro ; Pellegrini, Dario ; Toni, Francesca Black, Elizabeth ; Modgil, Sanjay ; Oren, NirTheory and Applications of Formal Argumentation, 2016, Vol.9524, p.1-20 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
20 |
Material Type: Capítulo de Livro
|
![]() |
Design and synthesis of synchronization skeletons using branching time temporal logicClarke, Edmund M. ; Emerson, E. Allen Kozen, DexterLogics of Programs, 2005, p.52-71 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |