Zobrazeno 1 - 10
of 927
pro vyhledávání: '"Buchs, D."'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Sager, W., Hoernle, K., Höfig, T. W., Avery, A. J., Bhutani, R., Buchs, D. M., Carvallo, C. A., Class, C., Dai, Y., Valle, G. Dalla, Del Gaudio, A. V., Fielding, S., Gaastra, K. M., Han, S., Homrighausen, S., Kubota, Y., Li, C.-F., Nelson, W. R., Petrou, E., Potter, K. E.
Publikováno v:
Proceedings of the International Ocean Discovery Program, Expedition Reports; 10/11/2023, Issue 391, p1-66, 66p
Autor:
Sager, W., Hoernle, K., Höfig, T. W., Avery, A. J., Bhutani, R., Buchs, D. M., Carvallo, C. A., Class, C., Dai, Y., Valle, G. Dalla, Del Gaudio, A. V., Fielding, S., Gaastra, K. M., Han, S., Homrighausen, S., Kubota, Y., Li, C.-F., Nelson, W. R., Petrou, E., Potter, K. E.
Publikováno v:
Proceedings of the International Ocean Discovery Program, Expedition Reports; 10/11/2023, Issue 391, p1-58, 58p
Autor:
Sager, W., Hoernle, K., Höfig, T. W., Avery, A. J., Bhutani, R., Buchs, D. M., Carvallo, C. A., Class, C., Dai, Y., Valle, G. Dalla, Del Gaudio, A. V., Fielding, S., Gaastra, K. M., Han, S., Homrighausen, S., Kubota, Y., Li, C.-F., Nelson, W. R., Petrou, E., Potter, K. E.
Publikováno v:
Proceedings of the International Ocean Discovery Program, Expedition Reports; 10/11/2023, Issue 391, p1-65, 65p
Autor:
Kordon, F., Linard, A., Buchs, D., Colange, M., Evangelista, S., Fronc, L., Hillah, L. M., Lohmann, N., Paviot-Adet, E., Pommereau, F, Rohr, C., Thierry-Mieg, Y., Wimmel, H., Wolf, K.
This article presents the results of the Model Checking Contest held at Petri Nets 2012 in Hambourg. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the second e
Externí odkaz:
http://arxiv.org/abs/1209.2382
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Many described subduction complexes (or mélanges) exhumed from seismogenic depths comprise thick, turbidite-dominated sequences with deformed zones containing clasts or boudins of more competent sandstone and/or basalt. In contrast, many active subd
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______101::bd7225b38d1501321df97793b9ce8893
https://dspace.library.uu.nl/handle/1874/425340
https://dspace.library.uu.nl/handle/1874/425340
Autor:
Leah H; School of Earth and Environmental Sciences Cardiff University Cardiff UK., Fagereng Å; School of Earth and Environmental Sciences Cardiff University Cardiff UK., Groome N; School of Earth and Environmental Sciences Cardiff University Cardiff UK., Buchs D; School of Earth and Environmental Sciences Cardiff University Cardiff UK., Eijsink A; MARUM Center for Marine Environmental Sciences University of Bremen Bremen Germany.; Department of Energy and Mineral Engineering and EMS Energy Institute The Pennsylvania State University University Park PA USA., Niemeijer A; Department of Earth Sciences Utrecht University HPT Laboratory Utrecht The Netherlands.
Publikováno v:
Journal of geophysical research. Solid earth [J Geophys Res Solid Earth] 2022 Aug; Vol. 127 (8), pp. e2022JB024353. Date of Electronic Publication: 2022 Aug 20.
Publikováno v:
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets and the 18th International Conference on Application of Concurrency to System Design ACSD pp. 35-56
Scopus-Elsevier
Scopus-Elsevier
Petri nets are a family of formalisms dedicated to the representation of concurrent systems. Their strength is the compact modeling of complex behaviors using very simple rules. Despite this simplicity, many teachers observe that students often requi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a524ea8e514568d6cae58e4fc28c5fc5
https://archive-ouverte.unige.ch/unige:138195
https://archive-ouverte.unige.ch/unige:138195
Publikováno v:
1st Int. Workshop on Collaborative Modelling in MDE
1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Scopus-Elsevier
Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), October 4, 2016, St. Malo, France / Muccini, Henry [edit.]; et al.
1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France
Scopus-Elsevier
Proceedings of the 1st International Workshop on Collaborative Modelling in MDE (COMMitMDE 2016) co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), October 4, 2016, St. Malo, France / Muccini, Henry [edit.]; et al.
Due to the increase of their complexity, currently engineered systems cannot be developed by one individual, but are a product of a collaboration between multiple stakeholders who develop the system from different domain-specific views. Inconsistenci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2639de9f1376faa41c47bf99c603d963
https://hal.telecom-paris.fr/hal-02287520
https://hal.telecom-paris.fr/hal-02287520