標(biāo)題: Titlebook: Quantitative Evaluation of Systems; 15th International C Annabelle McIver,Andras Horvath Conference proceedings 2018 Springer Nature Switze [打印本頁] 作者: 使作嘔 時(shí)間: 2025-3-21 16:51
書目名稱Quantitative Evaluation of Systems影響因子(影響力)
書目名稱Quantitative Evaluation of Systems影響因子(影響力)學(xué)科排名
書目名稱Quantitative Evaluation of Systems網(wǎng)絡(luò)公開度
書目名稱Quantitative Evaluation of Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Quantitative Evaluation of Systems被引頻次
書目名稱Quantitative Evaluation of Systems被引頻次學(xué)科排名
書目名稱Quantitative Evaluation of Systems年度引用
書目名稱Quantitative Evaluation of Systems年度引用學(xué)科排名
書目名稱Quantitative Evaluation of Systems讀者反饋
書目名稱Quantitative Evaluation of Systems讀者反饋學(xué)科排名
作者: 退潮 時(shí)間: 2025-3-21 20:20 作者: 磨坊 時(shí)間: 2025-3-22 01:01 作者: artifice 時(shí)間: 2025-3-22 07:47 作者: Cholecystokinin 時(shí)間: 2025-3-22 12:18 作者: RADE 時(shí)間: 2025-3-22 13:29
Parameter-Independent Strategies for pMDPs via POMDPs,s in POMDPs..We evaluate our method experimentally on several benchmarks: a motivating (repeated) .; a series of benchmarks of varying configurations of a robot moving on a grid; and a consensus protocol.作者: Provenance 時(shí)間: 2025-3-22 19:05
Incremental Verification of Parametric and Reconfigurable Markov Chains,imilarity between instances of parametrised systems. When the parameter grows, the system for the smaller parameter is, broadly speaking, present in the larger system. We use this observation to guide the elegant state-elimination method for parametric Markov chains in such a way, that the model tra作者: Alopecia-Areata 時(shí)間: 2025-3-23 00:24 作者: instulate 時(shí)間: 2025-3-23 04:57 作者: 構(gòu)成 時(shí)間: 2025-3-23 08:34 作者: 密切關(guān)系 時(shí)間: 2025-3-23 09:48 作者: fiscal 時(shí)間: 2025-3-23 16:26 作者: 浪蕩子 時(shí)間: 2025-3-23 19:32 作者: 運(yùn)動(dòng)的我 時(shí)間: 2025-3-23 23:27
Konstantinos Chatzikokolakis fishes must rely upon a detailed and precise insight of their biology. The Chapman and Hall Fish and Fisheries Series aims to present timely volumes reviewing important aspects of fish biology. Most volumes will be of interest to research workers in biology, zoology, ecology and physiology, but an 作者: Ptosis 時(shí)間: 2025-3-24 04:46 作者: 烤架 時(shí)間: 2025-3-24 10:18 作者: Diskectomy 時(shí)間: 2025-3-24 11:24
Sebastian Arming,Ezio Bartocci,Krishnendu Chatterjee,Joost-Pieter Katoen,Ana Sokolovat adverse environmental exposures during critical .in-utero. and early postnatal stages of development may permanently change physiological responses and cause functional impairments and disorders in adult life. .In this book, the contributing authors and leading experts from around the world, descr作者: CURT 時(shí)間: 2025-3-24 18:56 作者: 陶器 時(shí)間: 2025-3-24 21:45 作者: Orthodontics 時(shí)間: 2025-3-24 23:11
Luca Cardelli,Mirco Tribastone,Max Tschaikowski,Andrea Vandins slow or rapid growth, is now considered to be a primary factor in terms of body composition and health. This chapter will describe the relationship between poor growth in utero and early childhood as a risk factor for adult chronic diseases based on epidemiologic and clinical studies. As well, the作者: bibliophile 時(shí)間: 2025-3-25 05:23
Hongfei Fu,Yi Li,Jianlin Lit adverse environmental exposures during critical .in-utero. and early postnatal stages of development may permanently change physiological responses and cause functional impairments and disorders in adult life. .In this book, the contributing authors and leading experts from around the world, descr作者: SSRIS 時(shí)間: 2025-3-25 10:08
Gerrit Gro?mann,Charalampos Kyriakopoulos,Luca Bortolussi,Verena Wolflogical rather than neurodevelopmental paradigms, if these programmed changes in neuromotor function and the mechanisms responsible are to be fully understood. We also introduce the idea that the impact on the individual of maladaptive neuromotor programming might be reduced by the development of ea作者: Orthodontics 時(shí)間: 2025-3-25 12:34 作者: 讓步 時(shí)間: 2025-3-25 16:45 作者: Malaise 時(shí)間: 2025-3-25 23:08
Sebastian Junges,Nils Jansen,Joost-Pieter Katoen,Ufuk Topcu,Ruohan Zhang,Mary Hayhoenition is required which is tailored towards evidence that may feasibly be retrieved from the rock record. Namely that fossil life is “ a complex structure that encodes evidence of biological behaviour and processing (e.g., growth, decay, and community tiering), and who‘s distribution and abundance 作者: CHASE 時(shí)間: 2025-3-26 03:50
Marta Kwiatkowska,Gethin Norman,David Parker,Gabriel Santosorings show slight constrictions along their margins suggestive of colonisation by individual cells (Fig. B43). The microborings do not extend into adjacent grains nor into the microcrystalline silica cement. Nano-scale geochemical mapping shows enrichments of carbon and nitrogen within and/or along作者: 男學(xué)院 時(shí)間: 2025-3-26 06:25
Ratan Lal,Pavithra Prabhakars and draping chert layers. Their distribution could simply reflect the supply of supersaturated solutions from which they precipitated. Robust micro-textural and isotopic evidence for the involvement of any kinds of microbes in the growth of these stromatolites is still lacking.作者: 哀求 時(shí)間: 2025-3-26 11:52
Andrea Marin,Sabina Rossi,Matteo Sottanaorings show slight constrictions along their margins suggestive of colonisation by individual cells (Fig. B43). The microborings do not extend into adjacent grains nor into the microcrystalline silica cement. Nano-scale geochemical mapping shows enrichments of carbon and nitrogen within and/or along作者: 強(qiáng)所 時(shí)間: 2025-3-26 16:42
Dimitrios Milios,Guido Sanguinetti,David Schnoerrs and draping chert layers. Their distribution could simply reflect the supply of supersaturated solutions from which they precipitated. Robust micro-textural and isotopic evidence for the involvement of any kinds of microbes in the growth of these stromatolites is still lacking.作者: 使聲音降低 時(shí)間: 2025-3-26 20:48 作者: Countermand 時(shí)間: 2025-3-27 00:35 作者: 拱墻 時(shí)間: 2025-3-27 03:43
Biased Processor Sharing in Fork-Join Queues, provide a methodology to derive the relevant performance indices. Explicit closed-form expressions for the expected response time and join-queue length are given for the cases of jobs consisting of two, three and four tasks.作者: patella 時(shí)間: 2025-3-27 08:31
Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference,inspired by a recent result in statistical physics which derived closed-form differential equations for the first-passage time distribution of stochastic processes. We show on a number of non-trivial case studies that our method achieves both high accuracy and significant computational gains compared to statistical model checking.作者: 多山 時(shí)間: 2025-3-27 12:03
Hospital Inventory Management Through Markov Decision Processes @runtime,me iteratively synthesizes and solves the MDP over a finite horizon, applies the first action of the best policy found, and then moves the horizon forward by one day. Experiments show the convenience of the proposed approach with respect to baseline inventory management policies.作者: 按等級 時(shí)間: 2025-3-27 17:08
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis,formal certificate on the quality of the approximation as an error bound, computed as an over-approximation of the reachable set of the perturbed model. Finally, we apply approximate differential equivalences to study the effect of parametric tolerances in models of symmetric electric circuits.作者: 綠州 時(shí)間: 2025-3-27 19:51 作者: GET 時(shí)間: 2025-3-28 01:17 作者: 睨視 時(shí)間: 2025-3-28 02:42
Automated Verification of Concurrent Stochastic Games,rity, networks and finance, showing that we can analyse systems with probabilistic, cooperative and competitive behaviour between concurrent components, including many scenarios that cannot be analysed with turn-based models.作者: 成績上升 時(shí)間: 2025-3-28 06:55
Bounded Verification of Reachability of Probabilistic Hybrid Systems,ity modulo theory (SMT) constraints..We have implemented analysis algorithms in a Python toolbox, and use the Z3opt optimization solver at the backend. We report the results of experimentation on a case study involving the analysis of the probability of the depletion of the charge in a battery used in the nano-satellite.作者: Orthodontics 時(shí)間: 2025-3-28 13:10
On the Additive Capacity Problem for Quantitative Information Flow,ossible. It becomes then desirable to . the severity of such leaks and establish bounds on the threat they impose. Aiming at developing measures that are . wrt a variety of operational conditions, a theory of channel . for the .-leakage model was developed in [.], providing solutions for several sce作者: 道學(xué)氣 時(shí)間: 2025-3-28 16:31 作者: WITH 時(shí)間: 2025-3-28 21:30
How Fast Is MQTT?,tions in various settings. We present a model-based performance testing approach that allows a fast simulation of specific usage scenarios in order to perform a quantitative analysis of the latency. Out of automatically generated log-data, we learn the distributions of latencies and apply statistica作者: IVORY 時(shí)間: 2025-3-29 01:18 作者: 熱心 時(shí)間: 2025-3-29 05:50
On the Verification of Weighted Kripke Structures Under Uncertainty,n of weighted Kripke structures, namely (i) ., having transitions weights modelled as affine maps over a set of parameters and, (ii) ., having transition labelled by real-valued random variables as opposed to precise real valued weights..We address this problem by using ., a symbolic extension of de作者: EWE 時(shí)間: 2025-3-29 08:51
Hospital Inventory Management Through Markov Decision Processes @runtime,ient care as well as on purchasing and logistics costs. We?address daily drug ordering in a ward of an Italian public hospital, where patient admission/discharge and drug consumption during the sojourn are subject to uncertainty. To derive optimal control policies minimizing the overall purchasing a作者: 無法破譯 時(shí)間: 2025-3-29 14:46
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis,hly sensitive to the specific choice of parameters. In this paper we consider this problem for nonlinear ordinary differential equations (ODEs) with polynomial derivatives. We introduce approximate differential equivalence as a more permissive variant of a recently developed exact counterpart, allow作者: CRATE 時(shí)間: 2025-3-29 18:24
Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties,a wide range of applications that involve both stochastic and timed behaviours. In this work, we consider the problem of model-checking linear . properties over PTAs. In particular, we study linear dense-time properties that can be encoded by TAs with infinite acceptance criterion. First, we show th作者: 饑荒 時(shí)間: 2025-3-29 23:42
Incremental Verification of Parametric and Reconfigurable Markov Chains,y. This is partly because it is much harder: while there are beautiful cut-off results for non-stochastic systems that allow to focus only on small instances, there is little hope that such approaches extend to the quantitative analysis of probabilistic systems, as the probabilities depend on the si作者: 集合 時(shí)間: 2025-3-30 03:06
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks,y of emerging phenomena such as the dynamics of an epidemic or the spreading of information on complex networks. In recent years, mean-field type approximations gained widespread attention as a tool to analyze and understand complex network dynamics. They reduce the model’s complexity by assuming th作者: brother 時(shí)間: 2025-3-30 07:38 作者: LUDE 時(shí)間: 2025-3-30 10:45 作者: 領(lǐng)袖氣質(zhì) 時(shí)間: 2025-3-30 13:50 作者: Sleep-Paralysis 時(shí)間: 2025-3-30 19:02
Automated Verification of Concurrent Stochastic Games,e adapt the temporal logic rPATL (probabilistic alternating-time temporal logic with rewards), originally introduced for the simpler model of turn-based games, which enables quantitative reasoning about the ability of coalitions of players to achieve goals related to the probability of an event or r作者: 冬眠 時(shí)間: 2025-3-30 22:29 作者: FADE 時(shí)間: 2025-3-31 03:36 作者: myriad 時(shí)間: 2025-3-31 07:26
Biased Processor Sharing in Fork-Join Queues,ng disciplines of the fork- and join- queues are First Come First Served. At each epoch, at most . tasks are in service while the others wait in the fork-queues. We propose an algorithm with a very simple implementation that allocates the computational resources in a way that aims at minimizing the 作者: ectropion 時(shí)間: 2025-3-31 12:05
Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference,ations. Numerical algorithms require an explicit representation of the state space, while statistical approaches require a large number of samples to estimate the desired properties with high confidence. Here, we show how model checking of time-bounded path properties can be recast exactly as a Baye作者: 鐵砧 時(shí)間: 2025-3-31 13:38 作者: RENIN 時(shí)間: 2025-3-31 19:13 作者: exostosis 時(shí)間: 2025-4-1 00:12 作者: Hallowed 時(shí)間: 2025-4-1 05:28 作者: Comedienne 時(shí)間: 2025-4-1 06:03 作者: 廢墟 時(shí)間: 2025-4-1 10:43
Conference proceedings 2018September 2018...The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of?quantitative evaluation and verification of computer systems and networks through stochastic models and measurements?emphasizing two frontier topics in rese作者: 六邊形 時(shí)間: 2025-4-1 18:15 作者: 背心 時(shí)間: 2025-4-1 21:59 作者: AGATE 時(shí)間: 2025-4-2 02:32
