784 Hits in 4.0 sec

Oblivious bounds on the probability of boolean functions

Wolfgang Gatterbauer, Dan Suciu
2014 ACM Transactions on Database Systems  
Our motivation comes from the weighted model counting problem (or, equivalently, the problem of computing the probability of a Boolean function), which is #P-hard in general.  ...  Our new bounds shed light on the connection between previous relaxation-based and model-based approximations and unify them as concrete choices in a larger design space.  ...  We would also like to thank Vibhav Gogate for helpful discussions on quantization and guidance for using his tool SampleSearch, Alexandra Meliou for suggesting the name "dissociation," and the reviewers  ... 
doi:10.1145/2532641 fatcat:6lehdkydyndzflh7rkerohgelq

Approximate lifted inference with probabilistic databases

Wolfgang Gatterbauer, Dan Suciu
2015 Proceedings of the VLDB Endowment  
This paper proposes a new approach for approximate evaluation of #P-hard queries with probabilistic databases.  ...  In our approach, every query is evaluated entirely in the database engine by evaluating a fixed number of query plans, each providing an upper bound on the true probability, then taking their minimum.  ...  WG would also like to thank Manfred Hauswirth for a small comment in 2007 that was crucial for the development of the ideas in this paper.  ... 
doi:10.14778/2735479.2735494 fatcat:safh6aiiwfdlxpitp3bipdxg7y

Approximate Lifted Inference with Probabilistic Databases [article]

Wolfgang Gatterbauer, Dan Suciu
2014 arXiv   pre-print
This paper proposes a new approach for approximate evaluation of #P-hard queries with probabilistic databases.  ...  In our approach, every query is evaluated entirely in the database engine by evaluating a fixed number of query plans, each providing an upper bound on the true probability, then taking their minimum.  ...  WG would also like to thank Manfred Hauswirth for a small comment in 2007 that was crucial for the development of the ideas in this paper.  ... 
arXiv:1412.1069v1 fatcat:pqzm45dp5rh6njv5wrybpdj3xq

Dissociation and Propagation for Approximate Lifted Inference with Standard Relational Database Management Systems [article]

Wolfgang Gatterbauer, Dan Suciu
2016 arXiv   pre-print
by evaluating a fixed number of query plans, each providing an upper bound on the true probability, then taking their minimum.  ...  Probabilistic inference over large data sets is a challenging data management problem since exact inference is generally #P-hard and is most often solved approximately with sampling-based methods today  ...  We like to thank Abhay Jha for help with the experiments in the workshop version of this paper, Alexandra Meliou for suggesting the name "dissociation", and Vibhav Gogate for guidance in using his tool  ... 
arXiv:1310.6257v4 fatcat:ematfjcsdbavzd7siv3q2bikza

ARGO: Aging-aware GPGPU register file allocation

Majid Namaki-Shoushtari, Abbas Rahimi, Nikil Dutt, Puneet Gupta, Rajesh K. Gupta
2013 2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)  
Furthermore, we estimate a simultaneous reduction in leakage power of 54% by providing sleep states for unused banks.  ...  State-of-the-art general-purpose graphic processing units (GPGPUs) implemented in nanoscale CMOS technologies offer very high computational throughput for highly-parallel applications using hundreds of  ...  Instead we need a watch-dog timer per each compute unit to count for intervals that incur area and power overheads.  ... 
doi:10.1109/codes-isss.2013.6659017 dblp:conf/codes/Namaki-ShoushtariRDGG13 fatcat:azcvxemq6vhf7erxgqazlo7nyq

Hamiltonian Simulation by Qubitization [article]

Guang Hao Low, Isaac L. Chuang
2017 arXiv   pre-print
We show that this can be done with query complexity O(t+(1/ϵ)/(1/ϵ)) to Ĝ,Û that is optimal, not just in asymptotic limits, but for all values t,ϵ.  ...  subsumes important prior art considering Hamiltonians which are d-sparse or a linear combination of unitaries, leading to significant improvements in space complexity, as well as a quadratic speed-up for  ...  Bond Length (R) / Å Gate Cost Estimate Figure 2 : Estimated gate counts for achieving chemical accuracy in simulating the hydrogen dissociation Hamiltonian of Eq. 26.  ... 
arXiv:1610.06546v2 fatcat:iilep2jp5veijli4ekyexdp5qi

The density of reactive levels in NO2 unimolecular decomposition

S. I. Ionov, H. F. Davis, K. Mikhaylichenko, L. Valachovic, R. A. Beaudet, C. Wittig
1994 Journal of Chemical Physics  
Laser induced fluorescence spectra of expansion-cooled NO*/Ne samples (I and 2 K) are reported for transitions that originate from the lowest rovibronic levels and terminate on levels near D,.  ...  For example, at Et=500 cm-' the dissociation rate is known to be almost 1012 s-l.  ...  The wave number scale is approximate. levels are counted relative to Da-40 cm-'.  ... 
doi:10.1063/1.467403 fatcat:xqsbvfgzgjcoha6hbyqtopqjpy

METRO: A Software-Hardware Co-Design of Interconnections for Spatial DNN Accelerators [article]

Zhao Wang, Guangyu Sun, Jingchen Zhu, Zhe Zhou, Yijiang Guo, Zhihang Yuan
2021 arXiv   pre-print
In particular, interconnections between tiles are critical for high performance in these tile-based architectures.  ...  We evaluate the co-design using different flit sizes for synthetic study, illustrating its effectiveness under various hardware resource constraints, in addition to a wide range of DNN models selected  ...  Workload Model We manually assign the tile numbers for layers, and we adopt the NVLDA-like weight stationary as the default dataflow.  ... 
arXiv:2108.10570v1 fatcat:b5od3uzu7reknnrm6lx3ie35hy

On Computing Min-Degree Elimination Orderings [article]

Matthew Fahrbach, Gary L. Miller, Richard Peng, Saurabh Sawlani, Junxing Wang, Shen Chen Xu
2017 arXiv   pre-print
To address this, we provide a method for generating a pseudo-deterministic access sequence, which then allows the incorporation of data structures that only work under the oblivious adversary model.  ...  This ordering is based on viewing the non-zero elements of a symmetric positive definite matrix as edges of an undirected graph, and aims at reducing the additional non-zeros (fill) in the matrix by repeatedly  ...  Acknowledgements We thank Animesh Fatehpuria and John Gilbert for many helpful discussions regarding various topics in this paper.  ... 
arXiv:1711.08446v1 fatcat:mxxwubsb6jcovilrovohf2gvzm

Dissociation of quantifiers and object nouns in speech in focal neurodegenerative disease

Sharon Ash, Kylie Ternes, Teagan Bisbing, Nam Eun Min, Eileen Moran, Collin York, Corey T. McMillan, David J. Irwin, Murray Grossman
2016 Neuropsychologia  
These findings imply that partially dissociable representations in semantic memory may underlie different segments of the lexicon.  ...  nouns in all patient groups was related to disease in inferior temporal regions important for representations of visual feature knowledge of objects.  ...  A pronoun was counted as a quantifier if it denoted a quantity, not merely serving as a pronominal replacement for "Determiner + Noun," which does not express number knowledge.  ... 
doi:10.1016/j.neuropsychologia.2016.06.013 pmid:27301638 pmcid:PMC4996733 fatcat:xyyqzgk5hbfqfn73zlr5mbzeze

A Unified Approach to Mapping and Routing on a Network-on-Chip for Both Best-Effort and Guaranteed Service Traffic

Andreas Hansson, Kees Goossens, Andrei Rădulescu
2007 VLSI design (Print)  
One of the key steps in Network-on-Chip-based design is spatial mapping of cores and routing of the communication between those cores.  ...  Besides being applicable to any topology, this algorithm bounds the accumulated prohibited turn weight to 1/2 of the total weight.  ...  For every flow the worst-case latency is derived using the model in [5] .  ... 
doi:10.1155/2007/68432 fatcat:faqmoogr6fgxni2nvpix7dg7jy

α-Asarone Attenuates Cognitive Deficit in a Pilocarpine-Induced Status Epilepticus Rat Model via a Decrease in the Nuclear Factor-κB Activation and Reduction in Microglia Neuroinflammation

Hui-juan Liu, Xin Lai, Yan Xu, Jing-kun Miao, Chun Li, Jing-ying Liu, Yuan-yuan Hua, Qian Ma, Qixiong Chen
2017 Frontiers in Neurology  
the prevention and treatment of microglia-mediated neuroinflammatory conditions including TLE, for which further assessment studies are pertinent.  ...  )] and kappa B-beta (IκB-β) kinase in both the SE rats and in primary cultured microglial cells. conclusion: Taken together, these data demonstrate that α-asarone is a promising neuroprotective agent for  ...  Based on these findings, we investigated the NF-κB expression levels in a SE rats model.  ... 
doi:10.3389/fneur.2017.00661 pmid:29312110 pmcid:PMC5735142 fatcat:jdrlendguzaulfahjjwvfrds24

High-resolution crystal structures leverage protein binding affinity predictions

Simon Marillet, Pierre Boudinot, Frédéric Cazals
2015 Proteins: Structure, Function, and Bioinformatics  
For the whole dataset, we present a model predicting K d within one and two orders of magnitude for 48% and 79% of cases, respectively.  ...  Using the structure-affinity-benchmark (SAB, 144 cases with bound/unbound crystal structures and experimental affinity measurements), prediction has been undertaken either by fitting a model using a handfull  ...  In a nearby vein, a scoring function based model using statistical potential, for a total of 1092 parameters, was proposed in [51] .  ... 
doi:10.1002/prot.24946 pmid:26471944 fatcat:laodirubxvd3dl5x3y54tbgyi4

Firebug! Dissociative Identity Disorder? Malingering? Or …? An Intensive Case Study of an Arsonist

Richard J. Loewenstein
2020 Psychological Injury and Law  
The Discrete Behavioral States (DBS) model of DID avoids reification of the DID self states and their conflation as separate "people."  ...  This model supports evaluating the defendant at the level of specific self states, the self-state system, and that of the whole human being.  ...  The SDT model appears to be based on reasoning backwards from observations of adult DID and other severely dissociative complex trauma patients.  ... 
doi:10.1007/s12207-020-09377-8 fatcat:yiw2fy7gsvgn5ny2o4delc5sxa

Subjective confidence reveals the hierarchical nature of learning under uncertainty [article]

Micha Heilbron, Florent Meyniel
2018 bioRxiv   pre-print
previously proposed qualitative signatures which relied on reports of learned quantities or choices in simple experiments are insufficient to categorically distinguish hierarchical from non-hierarchical models  ...  Hierarchical processing is pervasive in the brain, but its computational significance for learning in real-world conditions, with uncertainty and changes, is disputed.  ...  ACKNOWLEDGEMENTS We wish to thank Stefano Palminteri, Maxime Maheu, Peter Latham and Alexandre Pouget for useful comments on this work, and Bas Cornelissen for his help with Figure 3 .  ... 
doi:10.1101/256016 fatcat:of7wfigpp5bbvhfibd4uuuh2m4
« Previous Showing results 1 — 15 out of 784 results