Filters








12,658 Hits in 4.6 sec

Complex Coordinate-Based Meta-Analysis with Probabilistic Programming [article]

Valentin Iovene
2021 arXiv   pre-print
Coordinate-based meta-analysis (CBMA) databases are built by automatically extracting both coordinates of reported peak activations and term associations using natural language processing (NLP) techniques  ...  We encode a CBMA database into a probabilistic program.  ...  Soon, an ecosystem of coordinate-based meta-analysis Copyright © 2021, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.  ... 
arXiv:2012.01303v2 fatcat:o3prgvoo6vgz3kge4w7egd5epi

Meta-Analysis of the Functional Neuroimaging Literature with Probabilistic Logic Programming [article]

Majd Abdallah, Valentin Iovene, Gaston Zanitti, Demian Wassermann
2022 biorxiv/medrxiv   pre-print
Here, we expand the scope of neuroimaging meta-analysis by designing NeuroLang: a domain-specific language to express and test hypotheses using probabilistic first-order logic programming.  ...  However, existing meta-analysis tools are limited to investigating simple neuroscience concepts and expressing a restricted range of questions.  ...  We are grateful to Guillaume Favelier who helped with some of our visualisations.  ... 
doi:10.1101/2022.02.25.481931 fatcat:p3onpteo3zbf7j26adhacfx7mq

Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001–2005)

Donald Sannella, Vladimiro Sassone
2007 Theoretical Computer Science  
Preface Global computing refers to systems of interacting computational agents exhibiting the following characteristics: • they are autonomous, in that their activity is not centrally coordinated; • they  ...  MIKADO -which can also be seen as belonging to the 'Analysis' cluster -researched formal programming models for global computing based on the notion of "domain", and delivered new prototype programming  ...  This work sits quite well with the research approaches of both the clusters Languages and Programming Environments and Analysis of Systems and Security.  ... 
doi:10.1016/j.tcs.2007.09.017 fatcat:rfgqaf7lkbe7rd3fyjqfejoe6a

Functional gradients in the human lateral prefrontal cortex revealed by a comprehensive coordinate-based meta-analysis [article]

Majd Abdallah, Gaston E Zanitti, Valentin Iovene, Demian Wassermann
2022 bioRxiv   pre-print
Here, we adopt NeuroLang, a novel approach to meta-analysis based on first-order probabilistic logic programming, to infer the organizing principles of the LPFC with greater specificity from 14,371 neuroimaging  ...  The latter short-coming hinders the complexity of questions that can be expressed in a meta-analysis and hence limits the specificity of structure-function associations.  ...  The goal is to declare these tables as predicates in a probabilistic logic program that solves complex queries on them.  ... 
doi:10.1101/2022.01.21.477198 fatcat:izz3x3gx75crjjcnmi77n3mluu

A Multi-Modeling Approach to the Study of Animal Behavior [chapter]

Jeffrey Schank, Sanjay Joshi, Christopher May, Jonathan T. Tran, Randy Bish
2011 Unifying Themes in Complex Systems  
The use of tools is typically coordinated for the best success. For example, to drill a precise hole in a sheet of metal several tools  ...  Animals and their behavior are paradigms of complex systems. To understand biobehavioral systems we must use models.  ...  For probabilistic and reactive architectures, we plan to use genetic algorithms or simulated annealing as with individual-based probabilistic models (Schank, 2001a) .  ... 
doi:10.1007/978-3-642-17635-7_37 fatcat:jbjc4bwaofb2zegy2jj3c7h2ra

The Next-to-Last Word on Meta-Analysis

Gene V. Glass
1995 Contemporary Psychology  
Smith, of Meta-Analysis in Social Research. he Handbook of Research Synthesis T is the third volume of a coordinated publication program on meta-analysis sponsored by the Russell Sage Founda- tion.  ...  Inferential statistics has little role to play in a meta-analysis: ““The probability con- clusions of inferential statistics depend on something like probabilistic sampling, or else they make no sense”  ... 
doi:10.1037/003858 fatcat:gnvtkdgmpbgdfmejr6d4bjzm4q

Thermal effects compensation and associated uncertainty for large magnet assembly precision alignment

I. Doytchinov, P. Shore, B. Nicquevert, X. Tonnellier, A. Heather, M. Modena
2019 Precision engineering  
The analysis of the results further showed how using this method a 'digital twin' of the engineering structure can be calibrated with known uncertainty of the thermal deformation behaviour predictions  ...  A novel methodology was developed by which a mixture of probabilistic modelling and high precision traceable reference measurements were used to quantify the uncertainty of the various thermal expansion  ...  Acknowledgements The research leading to these results has been coordinated by CERN and Cranfield University under the PACMAN project [62] framework.  ... 
doi:10.1016/j.precisioneng.2019.06.005 fatcat:j43to53rpvhjhdlawq5rtfod3y

Computational challenges and analysis under increasingly dynamic and uncertain electric power system conditions

S. Grijalva
2012 2012 IEEE Power and Energy Society General Meeting  
This task is developing real-time PMU-based tools for helping operators with operational reliability issues: a) System loadability condition monitoring, b) Transient stability analysis, and c) Real-time  ...  The proposed framework covers the relevant spatial and temporal scales, addresses decision complexity, and acknowledges meta-decision makers at the level of community of actors and government institutions  ...  Framework Figure 3 : 3 Solving the Equilibrium Bilevel Program Figure 5 : 5 Line Loadability Analysis Model Figure 6 : 6 Line Loadability Analysis Model with Parallel Path Table of Contents of  ... 
doi:10.1109/pesgm.2012.6344771 fatcat:7xjyk44ltndkjezvre6n4ysjiy

Petri net based simulation of construction schedules

Anil Sawhney
1997 Proceedings of the 29th conference on Winter simulation - WSC '97  
Petri Nets are graphical and mathematical modeling tools that can be used to perform static and dynamic analysis of systems.  ...  The objective of this paper is to illustrate the dynamic simulation capabilities of the proposed Petri Net based construction scheduling technique.  ...  This is accomplished with the help of a probabilistic arc. The project network consists of the "site condition analysis" work task.  ... 
doi:10.1145/268437.268747 fatcat:rh7aizgvpzac7mzydqjrb3yryq

Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond

Alessandro Aldini
2020 Electronic Proceedings in Theoretical Computer Science  
In the same period, they represented the central theme of the series of workshops entitled Quantitative Aspects of Programming Languages and Systems (QAPL) and born in 2001.  ...  In the setting of constraint logic programming language, a general complexity meta-theorem for the worst-case time complexity of programs is known [69] .  ...  Moreover, PRISM has been extended to deal with large, complex systems, by using, e.g., game-based abstractions [91] and efficient algorithms based on linear programming for the analysis of Markov decision  ... 
doi:10.4204/eptcs.312.1 fatcat:4fjvygbppjbq3k5ury2kvue3nq

Quantifying the Variability of Neural Activation in Working Memory: A Functional Probabilistic Atlas

Chen Chen, Ying Zhang, Zonglei Zhen, Yiying Song, Siyuan Hu, Jia Liu
2021 NeuroImage  
A functional probabilistic atlas was created to quantify individual variability in working memory regions.  ...  Taken together, our functional probabilistic atlas quantified variabilities of neural activation in working memory, providing a robust spatial reference for standardization of functional localization.  ...  Acknowledgments This study was funded by the National Natural Science Foundation of China ( 31861143039 , 31771251 , 31872786 ) and the National Basic Research Program of China ( 2018YFC0810602 ).  ... 
doi:10.1016/j.neuroimage.2021.118301 pmid:34171499 fatcat:syq7zod7lfhg5pj4blwp7irdsq

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442)

José Hernández-Orallo, Stephen H. Muggleton, Ute Schmid, Benjamin Zorn, Marc Herbstritt
2016 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 15442 "Approaches and Applications of Inductive Programming".  ...  After a short introduction to the state of the art to inductive programming research, an overview of the talks and the outcomes of discussion groups is given.  ...  We then contrasted probabilistic analysis in Inductive Programming with Machine Learning and Probabilistic Programming.  ... 
doi:10.4230/dagrep.5.10.89 dblp:journals/dagstuhl-reports/Hernandez-Orallo15 fatcat:rjhdhhlxhrhdnjpugov2jc23ha

The BrainMap strategy for standardization, sharing, and meta-analysis of neuroimaging data

Angela R Laird, Simon B Eickhoff, P Mickle Fox, Angela M Uecker, Kimberly L Ray, Juan J Saenz, D Reese McKay, Danilo Bzdok, Robert W Laird, Jennifer L Robinson, Jessica A Turner, Peter E Turkeltaub (+2 others)
2011 BMC Research Notes  
Capitalizing on these standards, the BrainMap project offers databases, software applications, and other associated tools for supporting and promoting quantitative coordinate-based meta-analysis of the  ...  Neuroimaging researchers have developed rigorous community data and metadata standards that encourage meta-analysis as a method for establishing robust and meaningful convergence of knowledge of human  ...  The Anatomy Toolbox is a MATLAB-based software tool [48] that allows the comparison of statistical images, including meta-analysis results, with probabilistic cytoarchitectonic maps of the human brain  ... 
doi:10.1186/1756-0500-4-349 pmid:21906305 pmcid:PMC3180707 fatcat:cm5lksssevbzvbionshmcsgebi

Soft Computing Techniques for Dependable Cyber-Physical Systems

Muhammad Atif, Siddique Latif, Rizwan Ahmad, Adnan K. Kiani, Junaid Qadir, Adeel Baig, Hisao Ishibuchi, Waseem Abbas
2019 IEEE Access  
We present a comprehensive contemporary review of soft computing techniques for CPS dependability modeling, analysis, and improvement.  ...  In this regard, soft computing is an emerging paradigm that can help to manage the unreliability of CPS by using techniques, including fuzzy systems, neural networks, evolutionary computation, probabilistic  ...  PROBABILISTIC REASONING The emerging paradigm of probabilistic programming and probabilistic programming languages provide a formal framework to apply probabilistic inference to uncertainty related problems  ... 
doi:10.1109/access.2019.2920317 fatcat:2fzbaxsknfbylhcky4qxmj2a64

Reliability analysis of a satellite structure with a parametric and a non-parametric probabilistic model

M. Pellissetti, E. Capiez-Lernout, H. Pradlwarter, C. Soize, G.I. Schuëller
2008 Computer Methods in Applied Mechanics and Engineering  
The reliability of a satellite structure subjected to harmonic base excitation in the low frequency range is analyzed with respect to the exceedance of critical frequency response thresholds.  ...  To reduce the computational cost of the parametric model, a suitable meta-model is used instead.  ...  Reliability analysis of a satellite structure subjected to base excitation General remarks The purpose of the following analysis is to study the reliability of a satellite structure subjected to a base  ... 
doi:10.1016/j.cma.2008.08.004 fatcat:6xajdrroarc3tkhlsfzmkuh5re
« Previous Showing results 1 — 15 out of 12,658 results