Filters








14,935 Hits in 4.1 sec

Probabilistic Analysis of Binary Sessions

Omar Inverso, Hernán Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto, Laura Kovács, Igor Konnov
2020 International Conference on Concurrency Theory  
We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains.  ...  To this aim, the type system needs to track the propagation of probabilistic choices across different sessions.  ...  This is doable provided that R uses the session safely, namely if it does not delegate the session before it becomes aware of the probabilistic choice (cf. Section 4).  ... 
doi:10.4230/lipics.concur.2020.14 dblp:conf/concur/InversoMPTT20 fatcat:grsalndp5fholme5dtbl7l5h4i

CARP: Context-Aware Resource Provisioning for Multimedia over 4G Wireless Networks [chapter]

Navrati Saxena, Abhishek Roy, Jitae Shin
2007 Lecture Notes in Computer Science  
In this paper a context-aware resource provisioning framework is developed for multi-system, heterogeneous 4G wireless networks.  ...  This helps in proactive resource management along the MU's future paths and locations providing the optimal resource (e.g., bandwidth) reservation.  ...  , with increasing session arrival rates.  ... 
doi:10.1007/978-3-540-72584-8_87 fatcat:sisjqxli3reqzpbaybflkhlagy

THE AMARANTH FRAMEWORK: POLICY-BASED QUALITY OF SERVICE MANAGEMENT FOR HIGH-ASSURANCE COMPUTING

CAROL L. HOOVER, JEFFERY HANSEN, PHILIP KOOPMAN, SANDEEP TAMBOLI
2001 International Journal of Reliability, Quality and Safety Engineering (IJRQSE)  
Keywords: quality of service (QoS) management, resource management, probabilistic assurances of service, system management for high-assurance computing.  ...  The Amaranth Project at Carnegie Mellon is researching and developing a framework for allocating shared resources to support multiple quality of service (QoS) dimensions and to provide probabilistic assurances  ...  RPM analyzes the resources allocated across sessions and uses their probabilistic resource requirements to determine the probability that each session will receive its contracted resources.  ... 
doi:10.1142/s0218539301000554 fatcat:fjg25k5jf5ebtm4ubpnoptepvq

Perceptual sequence learning in a serial reaction time task

Sunbin Song, James H. Howard, Darlene V. Howard
2008 Experimental Brain Research  
The present experiments use probabilistic sequences to prevent the spontaneous development of explicit awareness.  ...  Thus, observation alone can support implicit sequence learning, even of higher order probabilistic sequences.  ...  Second, to prevent the development of spontaneous explicit awareness, probabilistic sequences were used instead of Wxed ones.  ... 
doi:10.1007/s00221-008-1411-z pmid:18478209 pmcid:PMC2672106 fatcat:vug3z6eqozay3dxj7whl626od4

Probabilistic Analysis of Binary Sessions [article]

Omar Inverso, Hernán Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
2020 arXiv   pre-print
We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains.  ...  To this aim, the type system needs to track the propagation of probabilistic choices across different sessions.  ...  Iterative distribution-aware sampling for probabilistic symbolic execution.  ... 
arXiv:2007.11832v1 fatcat:lm3en6xenvhphoeqpf3xzpzz44

Probabilistic Analysis of Binary Sessions

Omar Inverso, Hernán Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
2020 Zenodo  
We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains.  ...  To this aim, the type system needs to track the propagation of probabilistic choices across different sessions.  ...  Iterative distribution-aware sampling for probabilistic symbolic execution.  ... 
doi:10.5281/zenodo.3951066 fatcat:ysb4xxrd5ffjddrxkpcb35db3y

Probabilistic Analysis of Binary Sessions

Omar Inverso, Hernán Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
2020 Zenodo  
We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains.  ...  To this aim, the type system needs to track the propagation of probabilistic choices across different sessions.  ...  This is doable provided that R uses the session safely, namely if it does not delegate the session before it becomes aware of the probabilistic choice (cf. Section 4).  ... 
doi:10.5281/zenodo.3951067 fatcat:c5yxpcs4ong4he4xoynee6fyke

Comparison of Implicit and Explicit Learning Processes in a Probabilistic Task

Thomas D. Green, John H. Flowers
2003 Perceptual and Motor Skills  
This pattern strongly suggests substantial performance costs associated with attempting to discover or apply probabilistic rules.  ...  This experiment compared the performance with explicit (rule-application and rule-discovery) and implicit (nonrule-instructed) learning approaches on the performance of a probabilistic video game task  ...  The remaining factors were session (1-5), pathway type (4 levels), Glitch feature (present, absent), and Fade feature (present, absent).  ... 
doi:10.2466/pms.2003.97.1.299 pmid:14604053 fatcat:yydf7hv37fdzbmvhawflw2pr3q

COMPARISON OF IMPLICIT AND EXPLICIT LEARNING PROCESSES IN A PROBABILISTIC TASK

THOMAS D. GREEN
2003 Perceptual and Motor Skills  
This pattern strongly suggests substantial performance costs associated with attempting to discover or apply probabilistic rules.  ...  This experiment compared the performance with explicit (rule-application and rule-discovery) and implicit (nonrule-instructed) learning approaches on the performance of a probabilistic video game task  ...  The remaining factors were session (1-5), pathway type (4 levels), Glitch feature (present, absent), and Fade feature (present, absent).  ... 
doi:10.2466/pms.97.5.299-314 fatcat:ac2bowvkzbfv5c6of5a7v7m36e

COMPARISON OF IMPLICIT AND EXPLICIT LEARNING PROCESSES IN A PROBABILISTIC TASK

THOMAS D. GREEN
2003 Perceptual and Motor Skills  
This pattern strongly suggests substantial performance costs associated with attempting to discover or apply probabilistic rules.  ...  This experiment compared the performance with explicit (rule-application and rule-discovery) and implicit (nonrule-instructed) learning approaches on the performance of a probabilistic video game task  ...  The remaining factors were session (1-5), pathway type (4 levels), Glitch feature (present, absent), and Fade feature (present, absent).  ... 
doi:10.2466/pms.97.4.299-314 pmid:14604053 fatcat:7rpy7nzxdza4roczlj5wcjdqje

If Numbers Can Speak, Who Listens? Creating Engagement and Learning for Effective Uptake of DRR Investment in Developing Countries

Junko Mochizuki, Adriana Keating, Reinhard Mechler, Callahan Egan, Stefan Hochrainer-Stigler
2016 PLOS Currents  
principle, it should not create an unrealistic expectation that the state-of-the art methods must be used in all cases, especially for small scale DRR interventions in developing countries, where data and resource  ...  principle, it should not create an unrealistic expectation that the state-of-the art methods must be used in all cases, especially for small scale DRR interventions in developing countries, where data and resource  ...  awareness for, an increased investment in ex-ante DRR 13 .  ... 
doi:10.1371/currents.dis.ab5922892b54a68f7315e967f6dd3406 pmid:27366584 pmcid:PMC4915768 fatcat:46p6m5lnmvh4toac5mqi4kxh4i

Implicit probabilistic sequence learning is independent of explicit awareness

S. Song, J. H. Howard, D. V. Howard
2007 Learning & memory (Cold Spring Harbor, N.Y.)  
This interaction was ex-plained as reflecting competition for frontal lobe resources.  ...  Dual task studies using probabilistic paradigms have also shown reaction time and accuracy dissociations, although no explicit awareness was gained (Schvaneveldt and Gomez 1998; Jimenez and Mendez 1999  ... 
doi:10.1101/lm.437407 pmid:17351140 pmcid:PMC1838558 fatcat:lopgu35k2jeypmz7inhmvg6rnq

A Sampling-Aware Interpretation of Linear Logic: Syntax and Categorical Semantics [article]

Pedro H. Azevedo de Amorim
2022 arXiv   pre-print
In this work we show how in probabilistic models of linear logic the correct resource interpretation should be sampling, i.e. the linear arrow should be read as "the output may only sample once from its  ...  The usual resource interpretation of linear logic says that variables have to be used exactly once. However, there are models of linear logic where this interpretation is too restrictive.  ...  Linear logic is a resource-aware logic that has found numerous applications in Computer Science. In particular, some of its models have been used to give semantics to probabilistic computation.  ... 
arXiv:2202.00142v1 fatcat:q4fgw3dehndyjgtokkee4or7n4

Deficits in the Statistical and Probabilistic Literacy of Citizens: Effects in a World in Crisis

Laura Muñiz-Rodríguez, Luis J. Rodríguez-Muñiz, Ángel Alsina
2020 Mathematics  
The main ideas that emerged from the results indicated the need to reinforce the use of real data, technological resources to handle the visualization of information, the elaboration of different types  ...  Participants were asked to reflect on their actions when promoting statistical and probabilistic literacy by considering a range of topics (data science, didactic resources, and methodological approaches  ...  Acknowledgments: The authors want to express their sincere gratitude to the teachers that participated in the study for their collaboration, as well as to the Center for Teachers and Resources (CPR) Gijón-Oriente  ... 
doi:10.3390/math8111872 fatcat:tks7yexdcvfjdjeg6iwtlebgd4

Network session 4. Special session on model-based therapy

Thomas Neumuth
2017 Biomedical Engineering  
As a result, the systems will enable the combination of multimodal information sources, sensors and databases and the application of situation-aware and context-adaptive therapy support systems.  ...  An important model type with specific demands on visualization is probabilistic models.  ...  Hence, frameworks for context-aware assistance need to support both perspectvies.  ... 
doi:10.1515/bmt-2017-5085 fatcat:5vzs6zcd6zcelcx4h5p2xatpxi
« Previous Showing results 1 — 15 out of 14,935 results