Drugie międzynarodowe warsztaty nt. analizy statycznej i biologii systemów, Wenecja, Włochy :: Wydarzenia / Polski Serwis Naukowy

Polecamy również:

Szósta międzynarodowa konferencja nt. zintegrowanego modelowania i analizy w sterowaniu i automatyce stosowanej, Wiedeń, Austria

Konferencja nt. prognozowania, modelowania i analizy dynamiki systemów złożonych, Ostrawa, Czechy

Drugie, międzynarodowe warsztaty nt. konstruktywnej analizy kanałów bocznych i bezpiecznych projektów, Darmstadt, Niemcy

Pierwsze międzynarodowe warsztaty nt. analizy w czasie rzeczywistym i eksploatacji strumieni społecznościowych, Dublin, Irlandia

Warsztaty nt. wybierania i analizy danych w portalach społecznościowych, Waszyngton, USA

Trzecie międzynarodowe warsztaty na temat analizy i opisywania obrazów medycznych w systemach diagnostycznych, Algarve, Portugalia

Dnia 13 września 2011 r. w Wenecji, Włochy, odbędą się drugie, międzynarodowe warsztaty nt. analizy statycznej i biologii systemów.

Wiele modeli biologicznych charakteryzuje się wysoką złożonością kombinatoryczną. Proponowano już rozmaite metody radzenia sobie z tą złożonością. Niektóre z nich są nieformalne i potwierdzane eksperymentalnie. Z kolei statyczne metody skalowalne oparte na analizie są w stanie zapewnić formalną charakterystykę tego, co stanowi przedmiot obliczeń. Automatyczne, łatwe do powtórnego wykorzystania i zapewniające formalne kryteria trafności, analizy statystyczne mogą pomóc w projektowaniu i testowaniu modeli w kontekście danych eksperymentalnych oraz w przewidywaniu zachowania systemu będącego przedmiotem modelowania.

Warsztaty mają na celu pobudzenie dyskusji i współpracy między biologami (specjalistami od modelowania), informatykami (zajmującymi się analizą statyczną) i ekspertami w dziedzinie matematyki stosowanej wokół projektowania i stosowania metod analizy statycznej w modelach biologicznych. W czasie wydarzenia mają zostać poruszone następujące tematy:
- wyzwania związane z wąskimi gardłami analizy statycznej na potrzeby modeli biologicznych;
- nowe ramy analizy statycznej;
- doświadczenia z modelowaniem przy wykorzystaniu analizy statycznej;
- metody nieformalne (które mogą stać się kandydatami do formalizacji i automatyzacji).

Za: CORDIS

komentuj publikację

Czy wiesz że...?

wersja BETA

Profiler - w inżynierii oprogramowania, to forma dynamicznej analizy programu (w przeciwieństwie do statycznej analizy kodu). Jest to badanie zachowania programu używając informacji zdobytych podczas jego wykonywania. Zwykle przeprowadza się je by dowiedzieć się, które części programu zoptymalizować, by zwiększyć jego ogólną prędkość lub zmniejszyć wymagania pamięci. pełny tekst

Astek (Analiza STatytstyczna Danych EKsperymentalnych) język programowania opracowany w Instytucie Maszyn Matematycznych z Warszawy i zrealizowany dla komputerów ZAM-41 pracujących pod systemem operacyjnym stosowanym na tych komputerach: SO-141. Język przeznaczony był do statystycznej analizy: statycznej i dynamicznej, danych eksperymentalnych. W języku tym dokonywano opisu oraz obróbki danych uzyskanych z rzeczywistego procesu. Można było wykorzystywać metody: regresji, korelacji, analizy widmowej. Na język składał się zbiór instrukcji obejmujący operacje dotyczące działania na zbiorach, operacje arytmetyczne, operacje logiczne umożliwiające między innymi podejmowanie decyzji i selekcji danych pomiarowych, parametrów, czy wariantów analizy, oraz instrukcje specjalne obejmujące elementy analizy statystycznej, w tym między innymi operacje dotyczące wspomnianych wyżej metod analizy, tj. instrukcje: REGRESJA, KORELACJA, FTEST (test F. Fishera), FFT (Fast Fourier Transform), WIDMO i inne. Używany był w Polsce między innymi w instytutach związanych z przemysłem chemicznym. pełny tekst

Guido Fubini (ur. 19 stycznia 1879 w Wenecji, zm. 6 czerwca 1943 w Nowym Jorku) - wybitny włoski matematyk znany za wkład w rozwój równań różniczkowych, analizy funkcjonalnej, analizy zespolonej i geometrii różniczkowej. pełny tekst

FxCop to darmowe narzędzie firmy Microsoft do statycznej analizy kodu programów napisanych dla platformy .NET, sprawdzające zgodność z wytycznymi .NET Framework Design Guidelines. W przeciwieństwie do Lint dla języka C, FxCop analizuje skompilowany kod pośredni, a nie kod źródłowy. Narzędzie potrafi wykryć ponad 200 różnych defektów w następujących kategoriach: pełny tekst

Moduł "Czy wiesz że...?" (wersja testowa, beta): definicje/pojęcia wygenerowane w obrębie tego modułu pochodzą z Wikipedii i udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń. Dostęp do pełnej wersji każdego hasła (oraz dokładnch informacji na temat licencji, autora oraz edycji) możliwy jest po kliknięciu w odnośnik opisany jako "pełny tekst".