A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Probabilistic Analysis of Binary Sessions
2020
International Conference on Concurrency Theory
Preserved Fulltext
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]
2007
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2001
International Journal of Reliability, Quality and Safety Engineering (IJRQSE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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
2008
Experimental Brain Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2003
Perceptual and Motor Skills
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
Perceptual and Motor Skills
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2003
Perceptual and Motor Skills
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
PLOS Currents
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2007
Learning & memory (Cold Spring Harbor, N.Y.)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2020
Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2017
Biomedical Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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