E-LIB Suche - Ergebnisse für: Hansen, Michael R

1

Linear Time-Invariant Modelling of Electrohydraulic Cylinde..:

, In: 2022 International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME),

Goytil, Petter H. ; Padovani, Damiano ; Hansen, Michael R. - p. 1-6 , 2022

2

Electronic effects in profluorescent benzotriazinyl radical..:

Exner, Jessica ; Maisuls, Iván ; Massolle, Anja...
Physical Chemistry Chemical Physics. 23 (2021) 4 - p. 2999-3007 , 2021

Link: https://doi.org/10.1039/..

3

Effective Solid Electrolyte Interphase Formation on Lithium..:

Wellmann, Julia ; Brinkmann, Jan-Paul ; Wankmiller, Björn...
ACS Applied Materials & Interfaces. 13 (2021) 29 - p. 34227-34237 , 2021

Link: https://doi.org/10.1021/..

4

Manipulation of a cation-π sandwich reveals conformational ..:

Arturo, Emilia C. ; Merkel, George W. ; Hansen, Michael R....
Biochimie. 183 (2021) - p. 63-77 , 2021

Link: https://doi.org/10.1016/..

5

A Novel Solution for the Elimination of Mode Switching in P..:

Gøytil, Petter H. ; Padovani, Damiano ; Hansen, Michael R.
Actuators. 9 (2020) 1 - p. 20 , 2020

Link: https://doi.org/10.3390/..

6

Biophysical characterization of full-length human phenylala..:

Arturo, Emilia C. ; Gupta, Kushol ; Hansen, Michael R...
Journal of Biological Chemistry. 294 (2019) 26 - p. 10131-10145 , 2019

Link: https://doi.org/10.1074/..

7

Simulations of the regulatory ACT domain of human phenylala..:

Ge, Yunhui ; Borne, Elias ; Stewart, Shannon...
Journal of Biological Chemistry. 293 (2018) 51 - p. 19532-19543 , 2018

Link: https://doi.org/10.1074/..

8

Single-residue variants of phenylalanine hydroxylase help t..:

Arturo, Emilia C. ; Hansen, Michael R. ; Borne, Elias.
Acta Crystallographica Section A Foundations and Advances. 74 (2018) a1 - p. a216-a216 , 2018

Link: https://doi.org/10.1107/..

9

Synthesis of Railway-Signaling Plans using Reachability Gam..:

, In: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages,

Kasting, Patrick ; Hansen, Michael R. ; Vester, Steen - p. 1-13 , 2016

Link: https://dl.acm.org/doi/1..

10

An approach to multicore parallelism using functional progr..:

Phan, Anh-Dung ; Hansen, Michael R.
Journal of Logical and Algebraic Methods in Programming. 84 (2015) 1 - p. 2-18 , 2015

Link: https://doi.org/10.1016/..

11

Numerical and experimental verification of new method for c..:

Henriksen, Jan ; Nordhagen, Håkon O. ; Hoang, Hieu Nguyen..
Journal of Materials Processing Technology. 220 (2015) - p. 215-223 , 2015

Link: https://doi.org/10.1016/..

12

Functional programming using F#:

Hansen, Michael R. ; Rischel, Hans , 2013

Link: https://doi.org/10.1017/..

Copies: Zentrale:E02 a inf 331/534

13

A practical approach to model checking Duration Calculus us..:

Hansen, Michael R. ; Phan, Anh-Dung ; Brekling, Aske W.
Annals of Mathematics and Artificial Intelligence. 71 (2013) 1-3 - p. 251-278 , 2013

Link: https://doi.org/10.1007/..

14

Suspension system performance optimization with discrete de..:

Langer, Thomas H. ; Iversen, Thorkil K. ; Mouritsen, Ole Ø...
Structural and Multidisciplinary Optimization. 47 (2013) 4 - p. 621-630 , 2013

Link: https://doi.org/10.1007/..

15

Functional programming in F♯:

Hansen, Michael R ; Rischel, Hans , 2013

Link: https://search.ebscohost..