Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
In this paper, we survey recent progress in CyberCardia project, a CPS Frontier project funded by the National Science Foundation. The CyberCardia project will lead to significant advances in the state of the art for system verification and cardiac therapies based on the use of formal methods and closed-loop control and verification. The animating vision for the work is to enable the development of...
In modern taxi networks, large amount of real-time taxi occupancy and location data are collected from networked in-vehicle sensors. They provide knowledge of system models on passenger demand and taxi supply for efficient dispatch control and coordinating strategies. Such dispatch approaches face a new challenge: how to deal with future customer demand uncertainties while fulfilling system's performance...
In this present study, the orthotropic with secant modulus constitutive law of concrete has been proposed. And those developed the nonlinear layered finite element model and program to predict the data from experiments. The proposed finite element solutions result in close correlation with experimental data available for RC slab.
A new-product recommendation system supports users in making buying decisions. The method representing recommending results in accordance with users' preferences is one of the crucial technologies for persuading users to adopt the recommendations. A body of literature proposes technical improvements in recommendation systems (RS). However, the research that investigates users' behaviour toward adopting...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.