Internet Archive Scholar
Filters
























12,658 Hits in 4.6 sec

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

Valentin Iovene
2021 arXiv   pre-print

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (374.6 kB)
https://web.archive.org/web/20201205212009/https://arxiv.org/pdf/2012.01303v1.pdf

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.

Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:

2020 pre-print arXiv:2012.01303v1 fatcat:nsjtdb2upnbqdlgyp5teq6vdfu
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
Multiple Versions
Citation

Valentin Iovene. "Complex Coordinate-Based Meta-Analysis with Probabilistic Programming." arXiv (2021)

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

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (25.2 MB)
https://web.archive.org/web/20220528005317/https://hal.archives-ouvertes.fr/hal-03590714/document

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.

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
Citation

Majd Abdallah, Valentin Iovene, Gaston Zanitti, Demian Wassermann. "Meta-Analysis of the Functional Neuroimaging Literature with Probabilistic Logic Programming." biorxiv/medrxiv (2022)

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (359.2 kB)
https://web.archive.org/web/20190415152224/https://core.ac.uk/download/pdf/82830831.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL. The file type is application/pdf.

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
Szczepanski
Citation

Donald Sannella, Vladimiro Sassone. "Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001–2005)." Theoretical Computer Science 389.3 (2007) 337-340

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

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (37.2 MB)
https://web.archive.org/web/20220527134521/https://www.biorxiv.org/content/biorxiv/early/2022/01/23/2022.01.21.477198.full.pdf

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.

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
Citation

Majd Abdallah, Gaston E Zanitti, Valentin Iovene, Demian Wassermann. "Functional gradients in the human lateral prefrontal cortex revealed by a comprehensive coordinate-based meta-analysis." bioRxiv (2022)

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (297.6 kB)
https://web.archive.org/web/20170809144538/http://www.necsi.edu/events/iccs/openconf/author/papers/f206.pdf

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 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
Citation

Jeffrey Schank, Sanjay Joshi, Christopher May, Jonathan T. Tran, Randy Bish. "A Multi-Modeling Approach to the Study of Animal Behavior." Unifying Themes in Complex Systems (2011) 304-312

The Next-to-Last Word on Meta-Analysis

Gene V. Glass
1995 Contemporary Psychology  

Preserved Fulltext

fulltext thumbnail
Digitized Microfilm
https://archive.org/details/sim_contemporary-psychology_1995-08_40_8/page/736

The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.

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
Citation

Gene V. Glass. "The Next-to-Last Word on Meta-Analysis." Contemporary Psychology 40.8 (1995) 736-738

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (4.5 MB)
https://web.archive.org/web/20200310001753/https://dspace.lib.cranfield.ac.uk/bitstream/handle/1826/14639/Thermal_effects_compensation_and_associated_uncertainty-2019.pdf;jsessionid=9820F8343148178DBFF1284BB4829DDF?sequence=1

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 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
Citation

I. Doytchinov, P. Shore, B. Nicquevert, X. Tonnellier, A. Heather, M. Modena. "Thermal effects compensation and associated uncertainty for large magnet assembly precision alignment." Precision engineering (2019) 134-149

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

S. Grijalva
2012 2012 IEEE Power and Energy Society General Meeting  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (754.4 kB)
https://web.archive.org/web/20170809100624/https://pserc.wisc.edu/documents/publications/papers/fgwhitepapers/Grijalva_PSERC_Future_Grid_TA5_May_2012.pdf

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 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
Citation

S. Grijalva. "Computational challenges and analysis under increasingly dynamic and uncertain electric power system conditions." 2012 IEEE Power and Energy Society General Meeting (2012)

Petri net based simulation of construction schedules

Anil Sawhney
1997 Proceedings of the 29th conference on Winter simulation - WSC '97  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (146.5 kB)
https://web.archive.org/web/20010922102728/http://www.informs-cs.org:80/wsc97papers/1111.PDF

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2001; you can also visit the original URL. The file type is application/pdf.

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
Citation

Anil Sawhney. "Petri net based simulation of construction schedules." Proceedings of the 29th conference on Winter simulation - WSC '97 (1997)

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

Alessandro Aldini
2020 Electronic Proceedings in Theoretical Computer Science  

Preserved Fulltext

Web Archive Capture PDF (263.5 kB)
https://web.archive.org/web/20200321053532/https://arxiv.org/pdf/2001.06942v1.pdf

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.

Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:

2020 pre-print arXiv:2001.06942v1 fatcat:6c7lsfalb5fanluvezt7nvsqkq
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
DOAJ Multiple Versions
Citation

Alessandro Aldini. "Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond." Electronic Proceedings in Theoretical Computer Science (2020) 1-19

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (2.7 MB)
https://web.archive.org/web/20210729020453/https://pdf.sciencedirectassets.com/272508/1-s2.0-S1053811921X00122/1-s2.0-S1053811921005772/main.pdf?X-Amz-Security-Token=IQoJb3JpZ2luX2VjEHoaCXVzLWVhc3QtMSJHMEUCIFSqg2lMGASblZU4%2BtB%2Bjv0gx9yjsSN7d9jmxumKjKzVAiEA5uxuICgDPZXuFyh4d5I%2BwEgDoy2siAdJxcjR17VdUDAqgwQIgv%2F%2F%2F%2F%2F%2F%2F%2F%2F%2FARAEGgwwNTkwMDM1NDY4NjUiDBwoe2ZjHJKSDPEtbSrXA2mwRj%2B4Pu4cx2ntu5tzapw%2Ft%2FJuS%2FdQ7pHNEp%2BtKX5j%2Flx2vSH9RvP52smN2MpKfqnRckCnQeDcPFs4RZH5mYOHPV7X0Y%2F3AfWFFSEURzr1jvEyl0V5cUpc6QSEwkTweUDiXELt%2FiZoM4TjsWF7RhEuTC%2BZWLWESuDucCSJGk9PPskNx1AEn2xg0nYuuktSqYkaa6F4iSd%2Fk%2FkX2rkTlDMNRa4ul7Oaxcu4YwbN%2FH7QHyvNiQc71y%2FBwvoFPH6%2B7CaumXb9wXxnofXRVCofV0PolR1ZS44fthWGjoFPFaTU4h38Zcs5NZx%2By%2B8LQvbeVd7A4KU%2BkmwlJyjSN0c4xqUGp2bHb7vRtkfzuIr5JkqJJIxPwS2TBlCg%2BDVH4o5jE9bRV%2F2SBkfDy8MRONb9ci5WmYgn%2B4AKJb8u9vdPpRn4%2FyQugxfNSLuzOuzuwuV28oqHIjtx4mzAGAjT1oQchFgFHB%2B5WuJbLwpg5TXXm0Cg6FsYreL3WqQWEw%2BZCwZhBI2JlggnsTgMqxnuBFdaCXmKUKxMBPYPGZOrRE291EYlS%2FbyYSI%2BseWG0bAr741UVCbQNiAoXh1nwg52c4fF7raCEjF2XxC7Fqtg59EPQosXSsWG0siySjCDg4iIBjqlAYt9NZzpiMJpRp1lUBAcB5drt%2BqIIkE7Ya8uXkzsYfoJzS2fz3ONrZjc3xE6zXfsaJDr%2FoIDvvjXdkJgiW6RPSZIde9nAFT1iMbMrUSff4aUDXbzLyvLCIW%2Fo2XWSt0vk%2Fj4WbnBLGRAoRCrcVy%2Fcbk3iCap1KC5CImkpFPIGevBNs6bwg7QsGbHEsoI0zDLJpSBSzuWGUeGxob82JOnos5PbHPjbg%3D%3D&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Date=20210729T020451Z&X-Amz-SignedHeaders=host&X-Amz-Expires=300&X-Amz-Credential=ASIAQ3PHCVTYZ6ENFAFD%2F20210729%2Fus-east-1%2Fs3%2Faws4_request&X-Amz-Signature=54efe4032077d7cb31198ac958220ee31d7ef92b05f0fc87f45675315e12d230&hash=bc3f0f39f5196d430f897e42aac8e0946c806d38baa97d891dddd3e5dbf1606f&host=68042c943591013ac2b2430a89b270f6af2c76d8dfd086a07176afe7c76c2c61&pii=S1053811921005772&tid=spdf-e78a5fdb-0afb-46d5-9262-d03c27f9d51f&sid=a467f89b25143745155b7a13221b962f7986gxrqa&type=client

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

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
DOAJ
Citation

Chen Chen, Ying Zhang, Zonglei Zhen, Yiying Song, Siyuan Hu, Jia Liu. "Quantifying the Variability of Neural Activation in Working Memory: A Functional Probabilistic Atlas." NeuroImage (2021) 118301

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (951.7 kB)
https://web.archive.org/web/20220120074752/https://drops.dagstuhl.de/opus/volltexte/2016/5700/pdf/dagrep_v005_i010_p089_s15442.pdf

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.

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
Citation

José Hernández-Orallo, Stephen H. Muggleton, Ute Schmid, Benjamin Zorn, Marc Herbstritt. "Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442)." Dagstuhl Reports (2016) 89-111

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (1.6 MB)
https://web.archive.org/web/20190428225027/http://publications.rwth-aachen.de/record/150056/files/13_art_10.1186_1756-0500-4-349.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL. The file type is application/pdf.

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
DOAJ
Citation

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, Jack L Lancaster, Peter T Fox. "The BrainMap strategy for standardization, sharing, and meta-analysis of neuroimaging data." BMC Research Notes 4.1 (2011) 349

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (2.8 MB)
https://web.archive.org/web/20210429140630/https://ieeexplore.ieee.org/ielx7/6287639/8600701/08727458.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

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
DOAJ
Citation

Muhammad Atif, Siddique Latif, Rizwan Ahmad, Adnan K. Kiani, Junaid Qadir, Adeel Baig, Hisao Ishibuchi, Waseem Abbas. "Soft Computing Techniques for Dependable Cyber-Physical Systems." IEEE Access (2019) 1-1

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  

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (482.7 kB)
https://web.archive.org/web/20120515001300/http://hal-univ-mlv.archives-ouvertes.fr/docs/00/68/61/39/PDF/publi-2008-CMAME-198_2_344-357-pellissitti-capiez-pradlwarter-soize-schueller-preprint.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL. The file type is application/pdf.

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
Citation

M. Pellissetti, E. Capiez-Lernout, H. Pradlwarter, C. Soize, G.I. Schuëller. "Reliability analysis of a satellite structure with a parametric and a non-parametric probabilistic model." Computer Methods in Applied Mechanics and Engineering 198.2 (2008) 344-357

« Previous Showing results 1 — 15 out of 12,658 results