No Inv.: 141991-141995/P/Perp/14/5c
This book presents the new development of computation intelligence for traffic, transportation and mobility, the main contents include traffic safety, mobility analysis, intelligent transportation system, smart vehicle, transportation behavior, driver modeling and assistance, transportation risk analysis and reliability system analysis, vehicle operation and active safety, urban traffic managem…
This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the propert…
Sergei Kuznetsov is one of the top experts on measure valued branching processes (also known as “superprocessesâ€) and their connection to nonlinear partial differential operators. His research interests range from stochastic processes and partial differential equations to mathematical statistics, time series analysis and statistical software; he has over 90 papers publishe…
Bibliografi : hlm. 101-104 No Inv.: 142316-142320/P/Perp/14/5c
No Inv.: 142381-142383/P/Perp/14/3c
No Inv.: 2897-2902/P/Perp/98/6c
No Inv.: 10941-10950/P/Perp/98/10c
No Inv.: 127/P/Perp/99/1c~3763/P/Perp/99/1c
No Inv.: 9216-9225/P/Perp/97/10c