|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 19 keywords
|
|
|
Results
Found 127 publication records. Showing 118 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
145 | Gilberto Filé |
Tree Automata and Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbrücken, Germany, January 3-5, 1985, Proceedings, pp. 119-130, 1985, Springer, 3-540-13912-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
109 | Bin Li 0020, Ming Li, Susmita Ghose, Carol S. Smidts |
Integrating Software into PRA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA, pp. 457-467, 2003, IEEE Computer Society, 0-7695-2007-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
103 | Jincheol Yoo, Daegyu Lee, Kyusun Choi, Jongsoo Kim |
A power and resolution adaptive flash analog-to-digital converter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2002 International Symposium on Low Power Electronics and Design, 2002, Monterey, California, USA, August 12-14, 2002, pp. 233-236, 2002, ACM, 1-58113-475-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers, pp. 407-421, 2001, Springer, 3-540-43309-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
83 | Norbert Fuhr, Thomas Rölleke |
A Probabilistic Relational Algebra for the Integration of Information Retrieval and Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 15(1), pp. 32-66, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 8(6), pp. 3226-3239, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 8(6), pp. 2776-2782, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 17(1), pp. 5-37, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 8th Annual International Conference, COCOON 2002, Singapore, August 15-17, 2002, Proceedings, pp. 574-583, 2002, Springer, 3-540-43996-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France, pp. 391-402, 2004, IEEE Computer Society, 0-7695-2215-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(7), pp. 737-745, 1976. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 52(4), pp. 1053-1080, August 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 198(1), pp. 49-85, July 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Haptics ![In: IEEE Trans. Haptics 16(4), pp. 543-548, October - December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Haptics ![In: IEEE Trans. Haptics 16(1), pp. 23-32, January - March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Haptics ![In: IEEE Trans. Haptics 16(4), pp. 518-523, October - December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Stefano Bonzio, Michele Pra Baldi |
Containment logics: Algebraic Counterparts and Reduced Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 32(4), pp. 808-831, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RO-MAN ![In: 31st IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2022, Napoli, Italy, August 29 - Sept. 2, 2022, pp. 179-184, 2022, IEEE, 978-1-7281-8859-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAPTICS ![In: 2022 IEEE Haptics Symposium, HAPTICS 2022, Santa Barbara, CA, USA, March 21-24, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-2029-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Davide Fazio, Michele Pra Baldi |
On a Logico-Algebraic Approach to AGM Belief Contraction Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 50(5), pp. 911-938, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Stefano Bonzio, Michele Pra Baldi |
Containment Logics: Algebraic Completeness and Axiomatization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 109(5), pp. 969-994, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.06667, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
31 | Stefano Bonzio, Tommaso Moraschini, Michele Pra Baldi |
Logics of left variable inclusion and Płonka sums of matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 60(1-2), pp. 49-76, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Francesco Paoli, Michele Pra Baldi |
Extensions of paraconsistent weak Kleene logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 29(5), pp. 798-822, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Haptics ![In: IEEE Trans. Haptics 14(2), pp. 273-278, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Silvia Regina Veronezi Correia, Cristina Dai Prá Martens |
Critical Success Factors in Cloud Computing Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMCIS ![In: 27th Americas Conference on Information Systems, AMCIS 2021, Virtual Conference, August 9-13, 2021, 2021, Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
31 | Yuri De Pra, Federico Fontana, Stefano Papetti |
Endless Knob with Programmable Resistive Force Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (4) ![In: Human-Computer Interaction - INTERACT 2021 - 18th IFIP TC 13 International Conference, Bari, Italy, August 30 - September 3, 2021, Proceedings, Part IV, pp. 580-589, 2021, Springer, 978-3-030-85609-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAFx ![In: 24th International Conference on Digital Audio Effects, DAFx 2021, Vienna, Austria, September 8-10, 2021, pp. 113-120, 2021, IEEE, 978-3-200-08378-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Multimodal User Interfaces ![In: J. Multimodal User Interfaces 14(3), pp. 255-269, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Francesco Paoli, Michele Pra Baldi |
Proof Theory of Paraconsistent Weak Kleene Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 108(4), pp. 779-802, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Appl. Percept. ![In: ACM Trans. Appl. Percept. 17(2), pp. 8:1-8:17, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Michele Pra Baldi |
Logics of variable inclusion and the lattice of consequence relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 30(4), pp. 367-381, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dyn. Games Appl. ![In: Dyn. Games Appl. 9(4), pp. 1061-1075, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Antonio Ledda, Francesco Paoli, Michele Pra Baldi |
Algebraic Analysis of Demodalised Analytic Implication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 48(6), pp. 957-979, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 57(4), pp. 2443-2466, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Stefano Bonzio, Michele Pra Baldi, Diego Valota |
Counting Finite Linearly Ordered Involutive Bisemilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings, pp. 166-183, 2018, Springer, 978-3-030-02148-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Marco Del Pra, Alessio Fumagalli, Anna Scotti |
Well Posedness of Fully Coupled Fracture/Bulk Darcy Flow with XFEM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 55(2), pp. 785-811, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1707.06403, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
31 | Zhi-Sheng Ye 0001, D. N. Pra Murthy |
Warranty menu design for a two-dimensional warranty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 155, pp. 21-29, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Real Time Image Process. ![In: J. Real Time Image Process. 11(3), pp. 535-545, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.07970, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Intell. Syst. ![In: Int. J. Comput. Intell. Syst. 8(sup2), pp. 28-40, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Ana Lucía Dai Pra, Lucía Isabel Passoni |
Rough-Fuzzy Granularity in the Study of Optical Phenomena. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLinAI@IJCAI ![In: Proceedings of the Workshop on Fuzzy Logic in AI, FLinAI 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25, 2015., 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
31 | Paolo Dai Pra, Pierre-Yves Louis, Ida G. Minelli |
Synchronization via Interacting Reinforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Probab. ![In: J. Appl. Probab. 51(2), pp. 556-568, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1408.3818, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
31 | Yuri De Pra, Federico Fontana, Linmi Tao |
Infrared vs. Ultrasonic Finger Detection on a Virtual Piano Keyboard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Music Technology meets Philosophy - From Digital Echos to Virtual Ethos: Joint Proceedings of the 40th International Computer Music Conference, ICMC 2014, and the 11th Sound and Music Computing Conference, SMC 2014, Athens, Greece, September 14-20, 2014, 2014, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
31 | Paolo Dai Pra, Michele Pavon, Neeraja Sahasrabudhe |
A Maximum Entropy Approach to the Realizability of Spin Correlation Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 15(6), pp. 2448-2463, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Bermawi P. Iskandar, Nat Jack, D. N. Pra Murthy |
Two New Servicing Strategies for Products sold with warranty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia Pac. J. Oper. Res. ![In: Asia Pac. J. Oper. Res. 29(3), 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Grid Comput. ![In: J. Grid Comput. 10(4), pp. 743-767, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection VI - 6th IFIP WG 11.10 International Conference, ICCIP 2012, Washington, DC, USA, March 19-21, 2012, Revised Selected Papers, pp. 217-233, 2012, Springer, 978-3-642-35763-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSOM ![In: Advances in Self-Organizing Maps - 9th International Workshop, WSOM 2012, Santiago, Chile, December 12-14, 2012, Proceedings, pp. 163-171, 2012, Springer, 978-3-642-35229-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications - 17th Iberoamerican Congress, CIARP 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings, pp. 495-502, 2012, Springer, 978-3-642-33274-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prax. Inf.verarb. Kommun. ![In: Prax. Inf.verarb. Kommun. 34(1), pp. 31-36, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSG-Life ![In: Proceedings of the 3rd International Workshop on Science Gateways for Life Sciences, London, United Kingdom, June 8-10, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 89(3), pp. 266-274, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-9, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATW ![In: 10th Latin American Test Workshop, LATW 2009, Rio de Janeiro, Brazil, March 2-5, 2009, pp. 1-6, 2009, IEEE, 978-1-4244-4206-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 47(5), pp. 2598-2615, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECON ![In: Grid Economics and Business Models, 5th International Workshop, GECON 2008, Las Palmas de Gran Canaria, Spain, August 26, 2008. Proceedings, pp. 208-216, 2008, Springer, 978-3-540-85484-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 49(3), pp. 386-395, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBSI ![In: Proceedings of the 1st Brazilian Symposium on Information Systems, SBSI 2004, Porto Alegre, Brazil, October 13-14, 2004., pp. 255-262, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Giovanni Colombo, Paolo Dai Pra, Vlastimil Krivan, Ivo Vrkoc |
Stochastic Processes for Bounded Noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Control. Signals Syst. ![In: Math. Control. Signals Syst. 16(2-3), pp. 95-119, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Ana Lucía Dai Pra |
A study about dimensional change of industrial parts using fuzzy rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 139(1), pp. 227-237, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Control. Signals Syst. ![In: Math. Control. Signals Syst. 14(1), pp. 1-28, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Paolo Dai Pra, Giovanni B. Di Masi, Barbara Trivellato |
Pathwise Optimality in Stochastic Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 39(5), pp. 1540-1557, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 88, pp. 161-171, 1999. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Methods Oper. Res. ![In: Math. Methods Oper. Res. 45(1), pp. 81-107, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
31 | Paolo Dai Pra, Lorenzo Meneghini, Wolfgang J. Runggaldier |
Connections between stochastic control and dynamic games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Control. Signals Syst. ![In: Math. Control. Signals Syst. 9(4), pp. 303-326, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Francesca Albertini, Paolo Dai Pra |
Forward accessibility for recurrent neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 40(11), pp. 1962-1968, 1995. The full citation details ...](Pics/full.jpeg) |
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€. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 111(3), pp. 521-524, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 157, pp. 106589, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Debraj Ray, Nathan R. Sturtevant |
Navigation in Adversarial Environments Guided by PRA* and a Local RL Planner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIIDE ![In: Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, October 08-12, 2023, Salt Lake City, UT, USA, pp. 343-351, 2023, AAAI Press, 978-1-57735-883-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Commun. Image Represent. ![In: J. Vis. Commun. Image Represent. 87, pp. 103589, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bus. Process. Manag. J. ![In: Bus. Process. Manag. J. 28(2), pp. 508-531, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Caroline A. Johnson, Roger Flage, Seth D. Guikema |
Feasibility study of PRA for critical infrastructure risk analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 212, pp. 107643, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.04903, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 30, pp. 4436-4448, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Ramin Moradi, Katrina M. Groth |
Modernizing risk assessment: A systematic integration of PRA and PHM techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 204, pp. 107194, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Martin A. Wortman, Ernest Kee, Paul Nelson |
Characterizing the Probability Law on Time Until Core Damage With PRA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.00208, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Luiz Paulo Carvalho, Claudia Cappelli, Flávia Maria Santoro |
BPMN pra GERAL, business process models in a citizen language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBSI ![In: SBSI'20: XVI Brazilian Symposium on Information Systems, São Bernardo do Campo, Brazil, November 3-6, 2020, pp. 23:1-23:8, 2020, ACM, 978-1-4503-8873-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 185, pp. 303-317, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 145, pp. 262-276, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
27 | Nobuo Mitomo, Chihiro Nishizaki, Kenji Nishizaki |
Development of a method for marine accident analysis with concepts of PRA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: 2014 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2014, San Diego, CA, USA, October 5-8, 2014, pp. 1527-1531, 2014, IEEE, 978-1-4799-3840-7. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF (Online Working Notes/Labs/Workshop) ![In: CLEF 2012 Evaluation Labs and Workshop, Online Working Notes, Rome, Italy, September 17-20, 2012, 2012, CEUR-WS.org, 978-88-904810-3-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
27 | Monika Huhndorf, Arya Nabavi |
Analyse prä-, intra- und post-operativer MRT-Daten bei Gliompatienten mit einem "Open Source" Programm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CURAC ![In: 11. Jahrestagung der Deutschen Gesellschaft für Computer- und Roboterassistierte Chirurgie, November 15-16, 2012, Düsseldorf, Germany, pp. 103-106, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
27 | Joost J. Joosten |
Consistency statements and iterations of computable functions in ISigma1 and PRA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 49(7-8), pp. 773-798, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Josh Dubrau, Mark Havryliv |
P[a]ra[pra]xis: Towards Genuine Realtime 'Audiopoetry'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 10th International Conference on New Interfaces for Musical Expression, NIME 2010, Sydney, Australia, June 15-18, 2010, pp. 467-468, 2010, nime.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 94(5), pp. 1000-1018, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Kilyoo Kim, Sanghoon Han |
A study on importance measures and a quantification algorithm in a fire PRA model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 94(5), pp. 969-972, 2009. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 44(3), pp. 679-691, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Marta Bílková, Dick de Jongh, Joost J. Joosten |
Interpretability in PRA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 161(2), pp. 128-138, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Jan Egger |
Prä- und postoperative Segmentierung und virtuelles Stenting von Aneurysmen und Stenosen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
27 | Josh Dubrau, Mark Havryliv |
P[a]ra[pra]xis: Poetry in Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 8th International Conference on New Interfaces for Musical Expression, NIME 2008, Genova, Italy, June 5-7, 2008, pp. 164-167, 2008, nime.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bildverarbeitung für die Medizin ![In: Bildverarbeitung für die Medizin 2006, Algorithmen, Systeme, Anwendungen, Proceedings des Workshops vom 19. - 21. März 2006 in Hamburg, pp. 196-200, 2006, Springer, 978-3-540-32136-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Steve Epstein, Antoine Rauzy |
Can we trust PRA? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 88(3), pp. 195-205, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Joost J. Joosten |
The Closed Fragment of the Interpretability Logic of PRA with a Constant for. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 46(2), pp. 127-146, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Infrastructures ![In: Int. J. Crit. Infrastructures 1(2/3), pp. 281-286, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Infrastructures ![In: Int. J. Crit. Infrastructures 1(2/3), pp. 287-292, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | M. Schirn, K. G. Niebergal |
Finitism = PRA? On a Thesis of W. W. Tait. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 39, pp. 3-24, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 118 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|