Search results for "PRA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
145	Gilberto Filé	Tree Automata and Logic Programs.	STACS	1985	DBLP DOI BibTeX RDF
109	Bin Li 0020, Ming Li, Susmita Ghose, Carol S. Smidts	Integrating Software into PRA.	ISSRE	2003	DBLP DOI BibTeX RDF
103	Jincheol Yoo, Daegyu Lee, Kyusun Choi, Jongsoo Kim	A power and resolution adaptive flash analog-to-digital converter.	ISLPED	2002	DBLP DOI BibTeX RDF	TIQ comparator, flash ADC, inverter quantization, adaptive, threshold, analog-to-digital converter
83	Christian A. Duncan, Stephen G. Kobourov	Polar Coordinate Drawing of Planar Graphs with Good Angular Resolution.	GD	2001	DBLP DOI BibTeX RDF
83	Norbert Fuhr, Thomas Rölleke	A Probabilistic Relational Algebra for the Integration of Information Retrieval and Database Systems.	ACM Trans. Inf. Syst.	1997	DBLP DOI BibTeX RDF	hypertext retrieval, logical retrieval model, uncortain data, vague predicates, relational data model, probabilistic retrieval, imprecise data
62	Chin Keong Ho, Job Oostveen, Jean-Paul M. G. Linnartz	Rate adaptation using acknowledgement feedback in finite-state markov channels with collisions.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
41	Kwang Soon Kim, Yun Hee Kim	Variable power and rate allocation using simple CQI for multiuser OFDMA-CDM systems.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
41	Thomas Rölleke, Hengzhi Wu, Jun Wang 0032, Hany Azzam	Modelling retrieval models in a probabilistic relational algebra with a new operator: the relational Bayes.	VLDB J.	2008	DBLP DOI BibTeX RDF	DB + IR integration, Probabilistic databases, Retrieval models, Probabilistic relational modelling
41	Marats Golovkins, Maksim Kravtsev	Probabilistic Reversible Automata and Quantum Automata.	COCOON	2002	DBLP DOI BibTeX RDF
34	Martin S. Feather	Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System Interface.	ISSRE	2004	DBLP DOI BibTeX RDF	FMECA, SFMECA, FTA, PRA, Risk-informed decision-making, Cost-benefit tradeoffs, Probabilistic Risk Reduction, FMEA, Failure Modes
33	Oleg I. Aven, Leonid B. Boguslavsky, Yakov A. Kogan	Some Results on Distribution-Free Analysis of Paging Algorithms.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	page fault rates, page replacement algorithms (PRA's), Markov chains, memory hierarchies, storage allocation
31	Stefano Bonzio, Vincenzo Fano, Pierluigi Graziani, Michele Pra Baldi	A Logical Modeling of Severe Ignorance.	J. Philos. Log.	2023	DBLP DOI BibTeX RDF
31	Paolo Dai Pra, Elena Sartori, Marco Tolotti	Polarization and Coherence in Mean Field Games Driven by Private and Social Utility.	J. Optim. Theory Appl.	2023	DBLP DOI BibTeX RDF
31	Simone Fani, Simone Ciotti, Giulia Pagnanelli, Alessandro Moscatelli, Yuri De Pra, Matteo Bianchi 0002	Modulating the Perceived Softness of Real Objects Through Wearable Haptics.	IEEE Trans. Haptics	2023	DBLP DOI BibTeX RDF
31	Yuri De Pra, Stefano Papetti, Hanna Järveläinen, Matteo Bianchi 0002, Federico Fontana	Effects of Vibration Direction and Pressing Force on Finger Vibrotactile Perception and Force Control.	IEEE Trans. Haptics	2023	DBLP DOI BibTeX RDF
31	Yuri De Pra, Vincenzo Catrambone, Virginie van Wassenhove, Alessandro Moscatelli, Gaetano Valenza, Matteo Bianchi 0002	Altering Time Perception in Virtual Reality Through Multimodal Visual-Tactile Kappa Effect.	IEEE Trans. Haptics	2023	DBLP DOI BibTeX RDF
31	Stefano Bonzio, Michele Pra Baldi	Containment logics: Algebraic Counterparts and Reduced Models.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
31	Yuri De Pra, Vincenzo Catrambone, Virginie van Wassenhove, Gaetano Valenza, Matteo Bianchi 0002	Toward the manipulation of time and space in extended reality: a preliminary study on multimodal Tau and Kappa illusions in the visual-tactile domain.	RO-MAN	2022	DBLP DOI BibTeX RDF
31	Yuri De Pra, Federico Fontana, Hanna Järveläinen, Stefano Papetti, Matteo Bianchi 0002, Mauro Sonego	Evaluation of rotation gestures in rotary vs. motionless knobs.	HAPTICS	2022	DBLP DOI BibTeX RDF
31	Davide Fazio, Michele Pra Baldi	On a Logico-Algebraic Approach to AGM Belief Contraction Theory.	J. Philos. Log.	2021	DBLP DOI BibTeX RDF
31	Stefano Bonzio, Michele Pra Baldi	Containment Logics: Algebraic Completeness and Axiomatization.	Stud Logica	2021	DBLP DOI BibTeX RDF
31	Paolo Dai Pra, Elena Sartori, Marco Tolotti	Polarization and coherence in mean field games driven by private and social utility.	CoRR	2021	DBLP BibTeX RDF
31	Stefano Bonzio, Tommaso Moraschini, Michele Pra Baldi	Logics of left variable inclusion and Płonka sums of matrices.	Arch. Math. Log.	2021	DBLP DOI BibTeX RDF
31	Francesco Paoli, Michele Pra Baldi	Extensions of paraconsistent weak Kleene logic.	Log. J. IGPL	2021	DBLP DOI BibTeX RDF
31	Yuri De Pra, Stefano Papetti, Federico Fontana, Emidio Tiberi	An Open-Source Robotic Tool for the Simulation of Quasi-Static Finger Pressing on Stationary and Vibrating Surfaces.	IEEE Trans. Haptics	2021	DBLP DOI BibTeX RDF
31	Silvia Regina Veronezi Correia, Cristina Dai Prá Martens	Critical Success Factors in Cloud Computing Projects.	AMCIS	2021	DBLP BibTeX RDF
31	Yuri De Pra, Federico Fontana, Stefano Papetti	Endless Knob with Programmable Resistive Force Feedback.	INTERACT (4)	2021	DBLP DOI BibTeX RDF
31	Yuri De Pra, Federico Fontana, Stefano Papetti	Interacting with Digital Audio Effects Through a Haptic Knob with Programmable Resistance.	DAFx	2021	DBLP DOI BibTeX RDF
31	Yuri De Pra, Stefano Papetti, Federico Fontana, Hanna Järveläinen, Michele Simonato	Tactile discrimination of material properties: application to virtual buttons for professional appliances.	J. Multimodal User Interfaces	2020	DBLP DOI BibTeX RDF
31	Francesco Paoli, Michele Pra Baldi	Proof Theory of Paraconsistent Weak Kleene Logic.	Stud Logica	2020	DBLP DOI BibTeX RDF
31	Yuri De Pra, Federico Fontana, Hanna Järveläinen, Stefano Papetti, Michele Simonato	Does It Ping or Pong? Auditory and Tactile Classification of Materials by Bouncing Events.	ACM Trans. Appl. Percept.	2020	DBLP DOI BibTeX RDF
31	Michele Pra Baldi	Logics of variable inclusion and the lattice of consequence relations.	J. Appl. Non Class. Logics	2020	DBLP DOI BibTeX RDF
31	Paolo Dai Pra, Elena Sartori, Marco Tolotti	Climb on the Bandwagon: Consensus and Periodicity in a Lifetime Utility Model with Strategic Interactions.	Dyn. Games Appl.	2019	DBLP DOI BibTeX RDF
31	Antonio Ledda, Francesco Paoli, Michele Pra Baldi	Algebraic Analysis of Demodalised Analytic Implication.	J. Philos. Log.	2019	DBLP DOI BibTeX RDF
31	Alekos Cecchin, Paolo Dai Pra, Markus Fischer, Guglielmo Pelino	On the Convergence Problem in Mean Field Games: A Two State Model without Uniqueness.	SIAM J. Control. Optim.	2019	DBLP DOI BibTeX RDF
31	Stefano Bonzio, Michele Pra Baldi, Diego Valota	Counting Finite Linearly Ordered Involutive Bisemilattices.	RAMiCS	2018	DBLP DOI BibTeX RDF
31	Marco Del Pra, Alessio Fumagalli, Anna Scotti	Well Posedness of Fully Coupled Fracture/Bulk Darcy Flow with XFEM.	SIAM J. Numer. Anal.	2017	DBLP DOI BibTeX RDF
31	Álvaro López García, Lisa Zangrando, Massimo Sgaravatto, Vincent Llorens, Sara Vallero, Valentina Zaccolo, Stefano Bagnasco, Sonia Taneja, Stefano Dal Pra, Davide Salomoni, Giacinto Donvito	Improved Cloud resource allocation: how INDIGO-DataCloud is overcoming the current limitations in Cloud schedulers.	CoRR	2017	DBLP BibTeX RDF
31	Zhi-Sheng Ye 0001, D. N. Pra Murthy	Warranty menu design for a two-dimensional warranty.	Reliab. Eng. Syst. Saf.	2016	DBLP DOI BibTeX RDF
31	Elias Todorovich, Ana Lucía Dai Pra, Lucía Isabel Passoni, Martín Vázquez 0001, Ezequiel Cozzolino, Fernando Ferrara, Gery Bioul	Real-time speckle image processing.	J. Real Time Image Process.	2016	DBLP DOI BibTeX RDF
31	Paolo Dai Pra, Pierre-Yves Louis, Sylvie Roelly	Stationary measures and phase transition for a class of probabilistic cellular automata.	CoRR	2016	DBLP BibTeX RDF
31	Ana Lucía Dai Pra, Lucía Isabel Passoni, G. Hernan Sendra, Marcelo Trivi, Héctor Rabal	Signal Feature Extraction Using Granular Computing. Comparative Analysis with Frequency and Time Descriptors Applied to Dynamic Laser Speckle Patterns.	Int. J. Comput. Intell. Syst.	2015	DBLP DOI BibTeX RDF
31	Ana Lucía Dai Pra, Lucía Isabel Passoni	Rough-Fuzzy Granularity in the Study of Optical Phenomena.	FLinAI@IJCAI	2015	DBLP BibTeX RDF
31	Paolo Dai Pra, Pierre-Yves Louis, Ida G. Minelli	Synchronization via Interacting Reinforcement.	J. Appl. Probab.	2014	DBLP DOI BibTeX RDF
31	Lucía Isabel Passoni, Ana Lucía Dai Pra, Gustavo J. Meschino, Marcelo Guzmán, Christian Weber, Héctor Rabal, Marcelo Trivi	Unsupervised learning segmentation for dynamic speckle activity images.	CoRR	2014	DBLP BibTeX RDF
31	Yuri De Pra, Federico Fontana, Linmi Tao	Infrared vs. Ultrasonic Finger Detection on a Virtual Piano Keyboard.	ICMC	2014	DBLP BibTeX RDF
31	Paolo Dai Pra, Michele Pavon, Neeraja Sahasrabudhe	A Maximum Entropy Approach to the Realizability of Spin Correlation Matrices.	Entropy	2013	DBLP DOI BibTeX RDF
31	Bermawi P. Iskandar, Nat Jack, D. N. Pra Murthy	Two New Servicing Strategies for Products sold with warranty.	Asia Pac. J. Oper. Res.	2012	DBLP DOI BibTeX RDF
31	Tsjerk A. Wassenaar, Marc van Dijk, Nuno Loureiro-Ferreira, Gijs van der Schot, Sjoerd Jacob de Vries, Christophe Schmitz, Johan van der Zwan, Rolf Boelens, Andrea Giachetti 0002, Lucio Ferella, Antonio Rosato, Ivano Bertini, Torsten Herrmann, Hendrik R. A. Jonker, Anurag Bagaria, Victor Jaravine, Peter Güntert, Harald Schwalbe, Wim F. Vranken, Jurgen F. Doreleijers, Gert Vriend, Geerten W. Vuister, Daniel Franke, Alexey Kikhney, Dmitri I. Svergun, Rasmus H. Fogh, John M. C. Ionides, Ernest D. Laue, Chris A. E. M. Spronk, Simonas Jurksa, Marco Verlato, Simone Badoer, Stefano Dal Pra, Mirco Mazzucato, Eric Frizziero, Alexandre M. J. J. Bonvin	WeNMR: Structural Biology on the Grid.	J. Grid Comput.	2012	DBLP DOI BibTeX RDF
31	Christos Siaterlis, Béla Genge, Marc Hohenadel, Marco Del Pra	Enabling the Exploration of Operating Procedures in Critical Infrastructures.	Critical Infrastructure Protection	2012	DBLP DOI BibTeX RDF
31	Lucía Isabel Passoni, Ana Lucía Dai Pra, Adriana G. Scandurra, Gustavo J. Meschino, Christian Weber, Marcelo Guzmán, Héctor Rabal, Marcelo Trivi	Improvements in the Visualization of Segmented Areas of Patterns of Dynamic Laser Speckle.	WSOM	2012	DBLP DOI BibTeX RDF
31	Marco Benalcázar, Marcel Brun, Virginia L. Ballarin, Lucía Isabel Passoni, Gustavo J. Meschino, Ana Lucía Dai Pra	Automatic Design of Binary W-Operators Using Artificial Feed-Forward Neural Networks Based on the Weighted Mean Square Error Cost Function.	CIARP	2012	DBLP DOI BibTeX RDF
31	Alessandro Cavalli, Stefano Dal Pra, Luca dell'Agnello, A. Fella, D. Gregori, Luigi Li Gioi, Barbara Martelli, A. Prosperini, P. P. Ricci, Vladimir Sapunenko, V. Vagnoni	Experience with Hierarchical Storage Management based on GPFS and TSM at INFN-CNAF.	Prax. Inf.verarb. Kommun.	2011	DBLP DOI BibTeX RDF
31	Tsjerk A. Wassenaar, Marc van Dijk, Nuno Loureiro-Ferreira, Gijs van der Schot, Sjoerd Jacob de Vries, Christophe Schmitz, Johan van der Zwan, Rolf Boelens, Andrea Giachetti 0002, Lucio Ferella, Antonio Rosato, Ivano Bertini, Torsten Herrmann, Hendrik R. A. Jonker, Anurag Bagaria, Victor Jaravine, Peter Güntert, Harald Schwalbe, Wim F. Vranken, Jurgen F. Doreleijers, Gert Vriend, Geerten W. Vuister, Daniel Franke, Alexey Kikhney, Dmitri I. Svergun, Rasmus H. Fogh, John M. C. Ionides, Ernest D. Laue, Chris A. E. M. Spronk, Marco Verlato, Simone Badoer, Stefano Dal Pra, Mirco Mazzucato, Eric Frizziero, Alexandre M. J. J. Bonvin	WeNMR: Structural Biology on the Grid.	IWSG-Life	2011	DBLP BibTeX RDF
31	Ana Lucía Dai Pra, Lucía Isabel Passoni, Héctor Rabal	Evaluation of laser dynamic speckle signals applying granular computing.	Signal Process.	2009	DBLP DOI BibTeX RDF
31	Marco Bencivenni, Marco Canaparo, F. Capannini, Luciana Carota, Michele Carpenè, Alessandro Cavalli, Andrea Ceccanti, Marco Cecchi, Daniele Cesini, Andrea Chierici, Vincenzo Ciaschini, A. Cristofori, Stefano Dal Pra, Luca dell'Agnello, D. De Girolamo, M. Donatelli, Danilo N. Dongiovanni, Enrico Fattibene, Tiziana Ferrari, Andrea Ferraro, Alberto Forti, Antonia Ghiselli, D. Gregori, G. Guizzunti, Alessandro Italiano, Luca Magnoni, Barbara Martelli, Mirco Mazzucato, Giuseppe Misurelli, M. Onofri, A. Paolini, A. Prosperini, P. P. Ricci, Elisabetta Ronchieri, F. Rosso, Davide Salomoni, Vladimir Sapunenko, Valerio Venturi, R. Veraldi, Paolo Veronesi, Maria Cristina Vistoli, D. Vitlacil, S. Zani, Riccardo Zappi	INFN-CNAF activity in the TIER-1 and GRID for LHC experiments.	IPDPS	2009	DBLP DOI BibTeX RDF
31	Lucieli Tolfo Beque, Thiago Dai Pra, Érika F. Cota	Testing requirements for an embedded operating system: The exception handling case study.	LATW	2009	DBLP DOI BibTeX RDF
31	Patrick Cattiaux, Paolo Dai Pra, Sylvie Roelly	A Constructive Approach to a Class of Ergodic HJB Equations with Unbounded and Nonsmooth Cost.	SIAM J. Control. Optim.	2008	DBLP DOI BibTeX RDF
31	Jan Wiebelitz, Stefano Dal Pra, Wolfgang Müller 0008, Gabriele von Voigt	The German Grid Initiative: A Uniform Accounting Service in Multiple Middleware Environments.	GECON	2008	DBLP DOI BibTeX RDF	D-Grid, DGAS, HLRmon, Grid, Accounting
31	Paolo Dai Pra, Wolfgang J. Runggaldier, Marco Tolotti	Pathwise optimality for benchmark tracking.	IEEE Trans. Autom. Control.	2004	DBLP DOI BibTeX RDF
31	Henrique Freitas, Cristina Dai Prá Martens, Fernando Kuhn Andriotti, Ricardo Simm Costa	Perfil da Tecnologia da Informação em organizações gaúchas.	SBSI	2004	DBLP DOI BibTeX RDF
31	Giovanni Colombo, Paolo Dai Pra, Vlastimil Krivan, Ivo Vrkoc	Stochastic Processes for Bounded Noise.	Math. Control. Signals Syst.	2003	DBLP DOI BibTeX RDF
31	Ana Lucía Dai Pra	A study about dimensional change of industrial parts using fuzzy rules.	Fuzzy Sets Syst.	2003	DBLP DOI BibTeX RDF
31	Francesca Albertini, Paolo Dai Pra, Chiara Prior	Small Parameter Limit for Ergodic, Discrete-Time, Partially Observed, Risk-Sensitive Control Problems.	Math. Control. Signals Syst.	2001	DBLP DOI BibTeX RDF
31	Paolo Dai Pra, Giovanni B. Di Masi, Barbara Trivellato	Pathwise Optimality in Stochastic Control.	SIAM J. Control. Optim.	2000	DBLP DOI BibTeX RDF
31	Paolo Dai Pra, Giovanni B. Di Masi, Barbara Trivellato	Almost sure optimality and optimality in probabilityfor stochastic control problems over aninfinite time horizon.	Ann. Oper. Res.	1999	DBLP DOI BibTeX RDF
31	Paolo Dai Pra, Wolfgang J. Runggaldier, Cristina Rudari	On dynamic programming for sequential decision problems under a general form of uncertainty.	Math. Methods Oper. Res.	1997	DBLP DOI BibTeX RDF
31	Paolo Dai Pra, Lorenzo Meneghini, Wolfgang J. Runggaldier	Connections between stochastic control and dynamic games.	Math. Control. Signals Syst.	1996	DBLP DOI BibTeX RDF
31	Francesca Albertini, Paolo Dai Pra	Forward accessibility for recurrent neural networks.	IEEE Trans. Autom. Control.	1995	DBLP DOI BibTeX RDF
27	Nicolò Zamperlin	Stefano Bonzio, Francesco Paoli, Michele Pra Baldi, Logics of Variable Inclusion, vol. 59 of Trends in Logic, Springer, 2022, pp. 221+x; ISBN: 978-3-031-04296-6 (Hardcover) 106.99€, ISBN: 978-3-031-04299-7 (eBook) 85.59€.	Stud Logica	2023	DBLP DOI BibTeX RDF
27	Zhenyu Liu, Xiaoyan Yuan, Yutong Li, Zixuan Shangguan, Li Zhou, Bin Hu 0001	PRA-Net: Part-and-Relation Attention Network for depression recognition from facial expression.	Comput. Biol. Medicine	2023	DBLP DOI BibTeX RDF
27	Debraj Ray, Nathan R. Sturtevant	Navigation in Adversarial Environments Guided by PRA* and a Local RL Planner.	AIIDE	2023	DBLP DOI BibTeX RDF
27	Xi Ye, Yushu Zhang, Ruoyu Zhao, Rushi Lan, Yong Xiang 0001	PRA-TPE: Perfectly Recoverable Approximate Thumbnail-Preserving Image Encryption.	J. Vis. Commun. Image Represent.	2022	DBLP DOI BibTeX RDF
27	Luiz Paulo Carvalho, Claudia Cappelli, Flávia Maria Santoro	BPMN pra GERAL: a framework to translate BPMN to a citizen language.	Bus. Process. Manag. J.	2022	DBLP DOI BibTeX RDF
27	Caroline A. Johnson, Roger Flage, Seth D. Guikema	Feasibility study of PRA for critical infrastructure risk analysis.	Reliab. Eng. Syst. Saf.	2021	DBLP DOI BibTeX RDF
27	Silin Cheng, Xiwu Chen, Xinwei He, Zhe Liu 0033, Xiang Bai	PRA-Net: Point Relation-Aware Network for 3D Point Cloud Analysis.	CoRR	2021	DBLP BibTeX RDF
27	Silin Cheng, Xiwu Chen, Xinwei He, Zhe Liu 0033, Xiang Bai	PRA-Net: Point Relation-Aware Network for 3D Point Cloud Analysis.	IEEE Trans. Image Process.	2021	DBLP DOI BibTeX RDF
27	Ramin Moradi, Katrina M. Groth	Modernizing risk assessment: A systematic integration of PRA and PHM techniques.	Reliab. Eng. Syst. Saf.	2020	DBLP DOI BibTeX RDF
27	Martin A. Wortman, Ernest Kee, Paul Nelson	Characterizing the Probability Law on Time Until Core Damage With PRA.	CoRR	2020	DBLP BibTeX RDF
27	Luiz Paulo Carvalho, Claudia Cappelli, Flávia Maria Santoro	BPMN pra GERAL, business process models in a citizen language.	SBSI	2020	DBLP DOI BibTeX RDF
27	Diego Mandelli, Carlo Parisi, Andrea Alfonsi, Dan Maljovec, Ronald L. Boring, Sarah M. Ewing, Shawn St Germain, Curtis L. Smith, Cristian Rabiti, Martin Rasmussen 0001	Multi-unit dynamic PRA.	Reliab. Eng. Syst. Saf.	2019	DBLP DOI BibTeX RDF
27	Dan Maljovec, Shusen Liu 0001, Bei Wang 0001, Diego Mandelli, Peer-Timo Bremer, Valerio Pascucci, Curtis L. Smith	Analyzing simulation-based PRA data through traditional and topological clustering: A BWR station blackout case study.	Reliab. Eng. Syst. Saf.	2016	DBLP DOI BibTeX RDF
27	Ariane Fernandes da Conceição	Internet pra quê?: a construção de capacidades e as TIC no processo de desenvolvimento rural.		2016	RDF
27	Nobuo Mitomo, Chihiro Nishizaki, Kenji Nishizaki	Development of a method for marine accident analysis with concepts of PRA.	SMC	2014	DBLP DOI BibTeX RDF
27	Luca Piras 0001, Roberto Tronci, Gabriele Murgia, Giorgio Giacinto	The PRA and AmILAB at ImageCLEF 2012 Photo Flickr Annotation Task. (PDF / PS)	CLEF (Online Working Notes/Labs/Workshop)	2012	DBLP BibTeX RDF
27	Monika Huhndorf, Arya Nabavi	Analyse prä-, intra- und post-operativer MRT-Daten bei Gliompatienten mit einem "Open Source" Programm.	CURAC	2012	DBLP BibTeX RDF
27	Joost J. Joosten	Consistency statements and iterations of computable functions in ISigma1 and PRA.	Arch. Math. Log.	2010	DBLP DOI BibTeX RDF
27	Josh Dubrau, Mark Havryliv	P[a]ra[pra]xis: Towards Genuine Realtime 'Audiopoetry'.	NIME	2010	DBLP DOI BibTeX RDF
27	Zahra Mohaghegh, Reza Kazemi, Ali Mosleh 0001	Incorporating organizational factors into Probabilistic Risk Assessment (PRA) of complex socio-technical systems: A hybrid technique formalization.	Reliab. Eng. Syst. Saf.	2009	DBLP DOI BibTeX RDF
27	Kilyoo Kim, Sanghoon Han	A study on importance measures and a quantification algorithm in a fire PRA model.	Reliab. Eng. Syst. Saf.	2009	DBLP DOI BibTeX RDF
27	Yves Leclercq, Evelyne Balteau, Thanh Dang-Vu, Manuel Schabus, André Luxen, Pierre Maquet, Christophe Phillips	Rejection of pulse related artefact (PRA) from continuous electroencephalographic (EEG) time series recorded during functional magnetic resonance imaging (fMRI) using constraint independent component analysis (cICA).	NeuroImage	2009	DBLP DOI BibTeX RDF
27	Marta Bílková, Dick de Jongh, Joost J. Joosten	Interpretability in PRA.	Ann. Pure Appl. Log.	2009	DBLP DOI BibTeX RDF
27	Jan Egger	Prä- und postoperative Segmentierung und virtuelles Stenting von Aneurysmen und Stenosen.		2009	RDF
27	Josh Dubrau, Mark Havryliv	P[a]ra[pra]xis: Poetry in Motion.	NIME	2008	DBLP DOI BibTeX RDF
27	Susanne Winter, Bernhard Brendel, Ioannis Pechlivanis, Kirsten Schmieder	Registrierung verschiedener Knochenstrukturen in Ultraschall- und CT-Daten anhand von prä und intraoperativen Patientendatensätzen.	Bildverarbeitung für die Medizin	2006	DBLP DOI BibTeX RDF
27	Steve Epstein, Antoine Rauzy	Can we trust PRA?	Reliab. Eng. Syst. Saf.	2005	DBLP DOI BibTeX RDF
27	Joost J. Joosten	The Closed Fragment of the Interpretability Logic of PRA with a Constant for.	Notre Dame J. Formal Log.	2005	DBLP DOI BibTeX RDF
27	Dan Serbanescu	Some insights on issues related to specifics of the use of probability, risk, uncertainty and logic in PRA studies.	Int. J. Crit. Infrastructures	2005	DBLP DOI BibTeX RDF
27	Henriette Van Graan, Dan Serbanescu, Louis Eloff, Yolanda Combrink	Some lessons learnt from the use of PRA during the design phase.	Int. J. Crit. Infrastructures	2005	DBLP DOI BibTeX RDF
27	M. Schirn, K. G. Niebergal	Finitism = PRA? On a Thesis of W. W. Tait.	Reports Math. Log.	2005	DBLP BibTeX RDF