標題: Titlebook: Horizons of the Mind. A Tribute to Prakash Panangaden; Essays Dedicated to Franck Breugel,Elham Kashefi,Jan Rutten Book 2014 Springer Inte [打印本頁] 作者: 本義 時間: 2025-3-21 17:27
書目名稱Horizons of the Mind. A Tribute to Prakash Panangaden影響因子(影響力)
書目名稱Horizons of the Mind. A Tribute to Prakash Panangaden影響因子(影響力)學科排名
書目名稱Horizons of the Mind. A Tribute to Prakash Panangaden網絡公開度
書目名稱Horizons of the Mind. A Tribute to Prakash Panangaden網絡公開度學科排名
書目名稱Horizons of the Mind. A Tribute to Prakash Panangaden被引頻次
書目名稱Horizons of the Mind. A Tribute to Prakash Panangaden被引頻次學科排名
書目名稱Horizons of the Mind. A Tribute to Prakash Panangaden年度引用
書目名稱Horizons of the Mind. A Tribute to Prakash Panangaden年度引用學科排名
書目名稱Horizons of the Mind. A Tribute to Prakash Panangaden讀者反饋
書目名稱Horizons of the Mind. A Tribute to Prakash Panangaden讀者反饋學科排名
作者: Torrid 時間: 2025-3-21 22:21
Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs,efined as the least upper bound of two constraints with respect to the entailment relation) and, and finally, existential quantification of variables..The main contribution of this paper is a . proof theory based on traces of input/output constraints for reasoning about the correctness of concurrent constraint programs.作者: 撕裂皮肉 時間: 2025-3-22 01:45 作者: 外貌 時間: 2025-3-22 06:39
Bisimulation on Markov Processes over Arbitrary Measurable Spaces,ulation of Danos et al. (i.e., cocongruence) by means of a formal adjunction between the category of bisimulations and a (full sub)category of cocongruences, which gives new insights about the real categorical nature of their results. As a corollary, we obtain sufficient conditions under which state and event bisimilarity coincide.作者: Pigeon 時間: 2025-3-22 09:28
Fractal Sets as Final Coalgebras Obtained by Completing an Initial Algebra, connection of final coalgebras and initial algebras; this is an alternative development to one of his central contributions, working with resolutions.Second, we are interested in the metric space aspects of fractal sets. We work mainly with two examples: the unit interval [0,1] and the Sierpiński gasket . as a subset of ?..作者: 譏諷 時間: 2025-3-22 14:29 作者: 思考而得 時間: 2025-3-22 17:17
Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars,ed compact closed categories. The latter have been invoked to analyze quantum protocols in the work of Abramsky and Coecke. Sanskrit was the ancient official language of India and remains one of its main religious and literary languages.作者: 蚊帳 時間: 2025-3-22 21:36 作者: 破布 時間: 2025-3-23 03:23
Random Measurable Selections,vel problem. We then extend this to the case of IT automata, namely, non-deterministic (infinite) automata with a history-dependent transition relation. Throughout, we strive to make our assumptions minimal.作者: 決定性 時間: 2025-3-23 06:46 作者: anthesis 時間: 2025-3-23 11:34 作者: 組成 時間: 2025-3-23 16:47
0302-9743 nd a real-valued interpretation of the logic to capture equivalence of probabilistic processes quantitatively. The 25 papers included in this volume were carefully reviewed. They cover a large variety of topics in theoretical computer science.978-3-319-06879-4978-3-319-06880-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 共同給與 時間: 2025-3-23 18:29 作者: 憤憤不平 時間: 2025-3-23 23:56 作者: Outmoded 時間: 2025-3-24 03:26
,(Co)Algebraic Characterizations of Signal?Flow?Graphs,recursive stream functions computed by signal flow graphs: one algebraic in terms of localization of modules of polynomials, and another coalgebraic in terms of Mealy machines. Our main result is that the two characterizations coincide.作者: compose 時間: 2025-3-24 09:29
From Haar to Lebesgue via Domain Theory, map onto the unit interval that is monotone, and hence sends intervals in . to subintervals of the unit interval. Using techniques from domain theory, we show this implies this map sends Haar measure on . to Lebesgue measure on the interval, and we then use this to prove any two group structures on . have the same Haar measure.作者: 旁觀者 時間: 2025-3-24 13:20
Book 2014elebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and duality and quantum information and computation. Despite the enormous breadth of his research, he has made significant and deep contributions. For exa作者: 濃縮 時間: 2025-3-24 14:52 作者: FER 時間: 2025-3-24 21:50 作者: 不合 時間: 2025-3-25 02:19 作者: 犬儒主義者 時間: 2025-3-25 04:28 作者: 斜坡 時間: 2025-3-25 07:28 作者: Priapism 時間: 2025-3-25 12:39 作者: 注意力集中 時間: 2025-3-25 18:12 作者: Pudendal-Nerve 時間: 2025-3-25 21:40
Jean Goubault-Larrecq,Roberto Segalaften non-Markovian—with greater ease of expression and interpretation than scalar reward signals. When .-automata were first proposed in model-free RL, deterministic Rabin acceptance conditions were used in an attempt to provide a direct translation from .-automata to finite state “reward” machines 作者: Bouquet 時間: 2025-3-26 02:43
Helle Hvid Hansen,Clemens Kupke,Jan Rutten,Joost Winterften non-Markovian—with greater ease of expression and interpretation than scalar reward signals. When .-automata were first proposed in model-free RL, deterministic Rabin acceptance conditions were used in an attempt to provide a direct translation from .-automata to finite state “reward” machines 作者: 無可非議 時間: 2025-3-26 07:21 作者: Leaven 時間: 2025-3-26 10:55
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations,nd colleagues. Motivated by the practical application of the LMP framework, we study its formal semantics and the relationship to similar models formulated in control theory. We consider notions of (exact and approximate) probabilistic bisimulation over LMPs and, drawing on methods from both formal 作者: oblique 時間: 2025-3-26 14:29
An Operational Interpretation of Negative Probabilities and No-Signalling Models,es are allowed on the hidden variables, the class of probability models which can be captured by local hidden-variable models are exactly the no-signalling models. However, the question remains of how negative probabilities are to be interpreted. In this paper, we present an operational interpretati作者: 破譯 時間: 2025-3-26 17:10
Bisimulation on Markov Processes over Arbitrary Measurable Spaces,f bisimulation is proven to coincide with the coalgebraic definition of Aczel and Mendler in terms of the Giry functor, which associates with a measurable space its collection of (sub)probability measures. This coalgebraic formulation allows one to relate the concepts of bisimulation and event bisim作者: 紳士 時間: 2025-3-26 21:23 作者: Dorsal 時間: 2025-3-27 01:18 作者: 悶熱 時間: 2025-3-27 05:44 作者: Temporal-Lobe 時間: 2025-3-27 11:26
Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs,algebraic representation of first-order logic. It features a (binary) entailment relation, a binary union operation for adding information (formally defined as the least upper bound of two constraints with respect to the entailment relation) and, and finally, existential quantification of variables.作者: 雄偉 時間: 2025-3-27 17:37 作者: 反復無常 時間: 2025-3-27 21:49 作者: IRS 時間: 2025-3-28 01:02
From Haar to Lebesgue via Domain Theory,aar measure to Lebesgue measure on the interval. In fact, . admits many distinct topological group structures. In this note, we show that the Haar measures induced by these distinct group structures are all the same. We prove this by showing that Haar measure for any group structure is the same as H作者: Impugn 時間: 2025-3-28 03:28 作者: 大看臺 時間: 2025-3-28 09:19
The Logic of Entanglement, flow of information’ in protocols such as teleportation. We use this theorem to re-design and analyze known protocols (e.g.?logic gate teleportation and entanglement swapping) and show how to produce some new ones (e.g.?parallel composition of logic gates). We also show how our results extend to th作者: 灰心喪氣 時間: 2025-3-28 14:27 作者: arcane 時間: 2025-3-28 14:46 作者: Spinal-Tap 時間: 2025-3-28 19:54 作者: 四目在模仿 時間: 2025-3-29 02:18
Bisimulation for Markov Decision Processes through Families of Functional Expressions,tion takes the form of a pseudometric on the system states, cast in terms of the equivalence of a family of functional expressions evaluated on those states and interpreted as a real-valued modal logic. Our proof amounts to a slight modification of previous techniques [2,3] used to prove equivalence作者: conception 時間: 2025-3-29 06:39
Random Measurable Selections,mized schedulers by averages of pure schedulers. Here, we explore the case of measurable multifunctions and their measurable selections. This involves constructing probability measures on the measurable space of measurable selections of a given measurable multifunction, which seems to be a fairly no作者: 最低點 時間: 2025-3-29 07:46
A Final Coalgebra for ,-regular Sequences,a final coalgebra, we obtain characterizations of .-regular sequences in terms of finite weighted automata, finite systems of behavioral differential equations, and recognizable power series. The latter characterization is obtained via an isomorphism of final coalgebras based on the .-adic numeratio作者: 襲擊 時間: 2025-3-29 15:23
The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata,istances are rational and that both approximation and exact computation of distances are in .. In the proofs, a generalization of the classical game-theoretic characterization of bisimilarity, given in terms of simple stochastic games, plays a central role.作者: 一小塊 時間: 2025-3-29 17:03 作者: Jocose 時間: 2025-3-29 19:49 作者: 驚惶 時間: 2025-3-29 23:58 作者: 弄皺 時間: 2025-3-30 06:34 作者: Commonwealth 時間: 2025-3-30 09:24 作者: FLOUR 時間: 2025-3-30 13:31 作者: Tracheotomy 時間: 2025-3-30 16:50 作者: 業(yè)余愛好者 時間: 2025-3-31 00:40
Free Energy of Petri Nets,ginal chain..To see how the benefits of the construction come about, and fix a few notations which we will re-use in the main development, we start with a simple class of ‘urn models’. These are traditionally introduced as discrete models of diffusion.作者: 六邊形 時間: 2025-3-31 00:58 作者: Oligarchy 時間: 2025-3-31 07:14 作者: Affluence 時間: 2025-3-31 12:41
Will Brian,Michael Mislove various domains. When properly analyzed, these taxonomies can play a vital role for science, engineering, business intelligence, policy design, e-commerce, and more. Intuitive examples are used throughout enab978-3-031-11407-6978-3-031-11405-2Series ISSN 2151-0067 Series E-ISSN 2151-0075 作者: 與野獸博斗者 時間: 2025-3-31 16:18
Alessandro Abate,Marta Kwiatkowska,Gethin Norman,David Parker作者: mechanical 時間: 2025-3-31 20:51
Giorgio Bacci,Giovanni Bacci,Kim Guldstrand Larsen,Radu Mardare作者: 帶來的感覺 時間: 2025-3-31 22:59
Christel Baier,Clemens Dubslaff,Joachim Klein,Sascha Klüppelholz,Sascha Wunderlich作者: 會犯錯誤 時間: 2025-4-1 02:23
Henning Basold,Marcello Bonsangue,Helle Hvid Hansen,Jan Rutten作者: 他一致 時間: 2025-4-1 06:54
Prasit Bhattacharya,Lawrence S. Moss,Jayampathy Ratnayake,Robert Rose
