Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Virus-Like Particles for Antigen Delivery at Mucosal SurfacesSchneider-Ohrum, K. ; Ross, T. M.Current topics in microbiology and immunology, 2012, Vol.354, p.53-73 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
2 |
Material Type: Capítulo de Livro
|
Shifting Impacts of Climate Change: Long-Term Patterns of Plant Response to Elevated CO2, Drought, and Warming Across EcosystemsAndresen, Louise C. ; Müller, Christoph ; Dato, Giovanbattista de ; Dukes, Jeffrey S ; Emmett, Bridget A ; Estiarte, Marc ; Jentsch, Anke ; Kröel-Dulay, György ; Andreas, Lüscher ; Niu, Shuli ; Peñuelas, Josep ; Reich, Peter B ; Reinsch, Sabine ; Ogaya, Roma ; Schmidt, Inger K ; Schneider, Manuel K ; Sternberg, Marcelo ; Tietema, Albert ; Zhu, Kai ; Bilton, Mark CLarge-Scale Ecology: Model Systems to Global Perspectives, 2016 [Periódico revisado por pares]Texto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Dissipative Heating, Fatigue and Fracture Behaviour of Rubber Under Multiaxial LoadingHeinrich, Gert ; Kipscholl, Reinhold ; Stoček, RadekFatigue Crack Growth in Rubber Materials, 2021, Vol.286, p.421-443 [Periódico revisado por pares]Switzerland: Springer International Publishing AGSem texto completo |
|
4 |
Material Type: Capítulo de Livro
|
Cavitation in Rubber Vulcanizates Subjected to Constrained Tensile DeformationHeinrich, Gert ; Kipscholl, Reinhold ; Stoček, RadekFatigue Crack Growth in Rubber Materials, 2021, Vol.286, p.203-224 [Periódico revisado por pares]Switzerland: Springer International Publishing AGSem texto completo |
|
5 |
Material Type: Capítulo de Livro
|
Techniques for Improving the Performance of Naive Bayes for Text ClassificationSchneider, Karl-MichaelComputational Linguistics and Intelligent Text Processing, Vol.3406, p.682-693 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
6 |
Material Type: Capítulo de Livro
|
Using Three-Valued Logic to Specify and Verify Algorithms of Computational GeometryBrandt, Jens ; Schneider, KlausFormal Methods and Software Engineering, 2005, p.405-420 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
7 |
Material Type: Capítulo de Livro
|
Dependable Polygon-Processing Algorithms for Safety-Critical Embedded SystemsBrandt, Jens ; Schneider, KlausEmbedded and Ubiquitous Computing – EUC 2005, 2005, p.405-417 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
8 |
Material Type: Capítulo de Livro
|
Yet Another Look at LTL Model CheckingSchneider, KlausCorrect Hardware Design and Verification Methods, 1999, p.321-326 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Introducing Mutual Exclusion in EsterelSchneider, Klaus ; Sabelfeld, ViktorPerspectives of System Informatics, p.445-459 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Learning to Filter Junk E-Mail from Positive and Unlabeled ExamplesSchneider, Karl-MichaelNatural Language Processing – IJCNLP 2004, p.426-435 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |