Autor: "Collins, Pieter" - OpacWWW

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Collins, Pieter"" wg kryterium: Autor

Wyświetlanie 1-20 z 77

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: Rigorous Continuous Evolution of Uncertain Systems
Autorzy:: Geretti, Luca
Živanović Gonzalez, Sanja
Collins, Pieter
Bresolin, Davide
Villa, Tiziano; Pokaż więcej
Źródło:: Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings. 11652:60-75

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Simultaneous Ensemble Generation and Hyperparameter Optimization for Regression
Autorzy:: Roschewitz, David
Driessens, Kurt
Collins, Pieter; Pokaż więcej
Źródło:: Artificial Intelligence : 29th Benelux Conference, BNAIC 2017, Groningen, The Netherlands, November 8–9, 2017, Revised Selected Papers. 823:116-130

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Heterogeneous Domain Adaptation Based on Class Decomposition Schemes
Autorzy:: Ismailoglu, Firat
Smirnov, Evgueni
Peeters, Ralf
Zhou, Shuang
Collins, Pieter; Pokaż więcej
Źródło:: Advances in Knowledge Discovery and Data Mining : 22nd Pacific-Asia Conference, PAKDD 2018, Melbourne, VIC, Australia, June 3-6, 2018, Proceedings, Part I. 10937:169-182

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Graph Duality in Surface Dynamics
Autorzy:: Collins, Pieter
Mitchell, Kevin A.; Pokaż więcej
Źródło:: Journal of Nonlinear Science. 29(5):2103-2135

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 5.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne
Autorzy:: Geretti, Luca
Bresolin, Davide
Collins, Pieter
Gonzalez, Sanja Zivanovic
Villa, Tiziano; Pokaż więcej
Źródło:: Testing Software and Systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings. 10533:313-319

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Computing Reachable Sets of Differential Inclusions
Autorzy:: Živanović Gonzalez, Sanja
Collins, Pieter; Pokaż więcej
Źródło:: Coordination Control of Distributed Systems. 456:357-365

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: An Introduction to the Verification of Hybrid Systems Using Ariadne
Autorzy:: Bresolin, Davide
Geretti, Luca
Villa, Tiziano
Collins, Pieter; Pokaż więcej
Źródło:: Coordination Control of Distributed Systems. 456:339-346

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Counterexample Generation for Hybrid Automata
Autorzy:: Nellen, Johanna
Ábrahám, Erika
Chen, Xin
Collins, Pieter; Pokaż więcej
Źródło:: Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers. 419:88-106

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Model-Checking in Systems Biology - From Micro to Macro
Autorzy:: Collins, Pieter; Pokaż więcej
Źródło:: Formal Methods in Macro-Biology : First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings. 8738:1-22

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Predicting changes to INa from missense mutations in human SCN5A
Autorzy:: Clerx, MichaelAff1, Aff2
Heijman, Jordi
Collins, Pieter
Volders, Paul G. A.; Pokaż więcej
Źródło:: Scientific Reports. 8(1)

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 12.

Tytuł:: Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
Autorzy:: Benvenuti, Luca
Bresolin, Davide
Collins, Pieter
Ferrari, Alberto
Geretti, Luca
Villa, Tiziano; Pokaż więcej
Źródło:: Reachability Problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings. 7550:79-91

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems
Autorzy:: Collins, Pieter
Zapreev, Ivan S.; Pokaż więcej
Źródło:: Reachability Problems : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings. 5797:107-119

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
Autorzy:: Sella, Lorenzo
Collins, Pieter; Pokaż więcej
Źródło:: Hybrid Systems: Computation and Control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings. 4981:486-499

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Effective Computation for Nonlinear Systems
Autorzy:: Collins, Pieter; Pokaż więcej
Źródło:: Computation and Logic in the Real World : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings. 4497:169-178

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Noisy Turing Machines
Autorzy:: Asarin, Eugene
Collins, Pieter; Pokaż więcej
Źródło:: Automata, Languages and Programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings. 3580:1031-1042

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Observability of Piecewise-Affine Hybrid Systems
Autorzy:: Collins, Pieter
van Schuppen, Jan H.; Pokaż więcej
Źródło:: Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings. 2993:265-279

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Computation of symbolic dynamics for one-dimensional maps
Autorzy:: Sella, Lorenzo
Collins, Pieter; Pokaż więcej
Źródło:: In Journal of Computational and Applied Mathematics 2010 234(2):418-436

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Special issue on control, communication, and complexity
Autorzy:: Charalambous, Charalambos D.
Collins, Pieter
Colonius, Fritz; Pokaż więcej
Źródło:: Mathematics of Control, Signals, and Systems. December 2013 25(4):433-436

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 20.

Tytuł:: Evolutionary Games and Periodic Fitness
Autorzy:: Uyttendaele, Philippe
Thuijsman, Frank
Collins, Pieter
Peeters, Ralf
Schoenmakers, Gijs
Westra, Ronald; Pokaż więcej
Źródło:: Dynamic Games and Applications. September 2012 2(3):335-345

Czasopismo naukowe

na półce

Szczegóły

Wyświetlanie 1-20 z 77

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę ""Collins, Pieter"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji