Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Effects of Consumption of Oat Milk, Soya Milk, or Cow’s Milk on Plasma Lipids and Antioxidative Capacity in Healthy Subjects

Autor: Önning, G., Åkesson, B., Öste, R., Lundquist, I.

Publikováno v: Annals of Nutrition & Metabolism, 1998 Jan 01. 42(4), 211-220.

Externí odkaz: https://www.jstor.org/stable/48514575

Changes in Plasma Insulin, Enterostatin, and Lipoprotein Levels during an Energy-Restricted Dietary Regimen Including a New Oat-Based Liquid Food

Autor: Rytter, E., Erlanson-Albertsson, C., Lindahl, L., Lundquist, I., Viberg, U., Åkesson, B., Öste, R.

Publikováno v: Annals of Nutrition & Metabolism, 1996 Jul 01. 40(4), 212-220.

Externí odkaz: https://www.jstor.org/stable/45199307

Synthetic Portnet Generation with Controllable Complexity for Testing and Benchmarking

Autor: Diallo, M., Akesson, B., Bera, D., Begeer, R., Köhler-Bussmeier, M., Kindler, E., Rölke, H.

Publikováno v: Proceedings of the International Workshop on Petri Nets and Software Engineering 2021: co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021) : Paris, France, June 25th, 2021 (due to COVID-19: virtual conference), 195-212
STARTPAGE=195;ENDPAGE=212;TITLE=Proceedings of the International Workshop on Petri Nets and Software Engineering 2021

There are many classes of Petri nets for describing communicating systems. Some of these guarantee important properties, such as termination in the case of portnets. There are also many methods and tools available for their analysis and synthesis. Ho

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9a085248026baea326719884916f103f
https://dare.uva.nl/personal/pure/en/publications/synthetic-portnet-generation-with-controllable-complexity-for-testing-and-benchmarking(6ea84f1f-3133-4e23-a03c-5640340d11b0).html

PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report

Autor: Rouxel, B., Schultz, U.P., Akesson, B., Holst, J., Jørgensen, O., Grelck, C., Erwig, M., Gray, J.

Publikováno v: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
GPCE '20: proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : November 16-17, 2020, Virtual, USA, 70-83
STARTPAGE=70;ENDPAGE=83;TITLE=GPCE '20
GPCE
Rouxel, B, Schultz, U P, Akesson, B, Holst, J, Jørgensen, O & Grelck, C 2020, PReGO : A generative methodology for satisfying real-time requirements on COTS-based systems: Definition and experience report . in M Erwig & J Gray (eds), GPCE 2020-Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming : Concepts and Experiences, Co-located with SPLASH 2020 . Association for Computing Machinery, pp. 70-83, 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2020-Co-located with SPLASH 2020, Virtual, Online, United States, 16/11/2020 . https://doi.org/10.1145/3425898.3426954

Satisfying real-time requirements in cyber-physical systems is challenging as timing behaviour depends on the application software, the embedded hardware, as well as the execution environment. This challenge is exacerbated as real-world, industrial s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee268f7980ea148b2faca6eddb10bcad