Lista de

Computation theory
33
"WAdS3/CFT2 correspondence in presence of bulk massive gravitons" (2018) Donnay, L.;Giribet, G.;Ruffini R. (...)Jantzen R.T. 14th Marcel Grossman Meeting On Recent Developments in Theoretical and Experimental General Relativity, Astrophysics and Relativistic Field Theories:4216-4221
"Factoring Derivation Spaces via Intersection Types" (2018) Barenbaum, P.; Ciruelos, G.; Ryu S. 16th Asian Symposium on Programming Languages and Systems, APLAS 2018. 11275 LNCS:24-44
"Stability and Vapor Pressure of Aqueous Aggregates and Aerosols Containing a Monovalent Ion" (2017) Perez Sirkin, Y.A.; Factorovich, M.H.; Molinero, V.; Scherlis, D.A. Journal of Physical Chemistry A. 121(13):2597-2602
"Crystallographic and computational study of a network composed of [ZnCl4]2- anions and triply protonated 4′-functionalized terpyridine cations" (2017) Granifo, J.; Suárez, S.; Boubeta, F.; Baggio, R. Acta Crystallographica Section C: Structural Chemistry. 73(12):1121-1130
"Logics of repeating values on data trees and branching counter systems" (2017) Abriola, S.;Figueira, D.;Figueira, S. (...)Murawski A.S. 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017. 10203 LNCS:196-212
"Helicity, topology, and Kelvin waves in reconnecting quantum knots" (2016) Clark di Leoni, P.; Mininni, P.D.; Brachet, M.E. Physical Review A. 94(4)
"Algorithmic Pseudorandomness in Quantum Setups" (2016) Bendersky, A.;De La Torre, G.;Senno, G. (...)Acín, A. Physical Review Letters. 116(23)
"Numerical Simulation of the Diffusion Processes in Nanoelectrode Arrays Using an Axial Neighbor Symmetry Approximation" (2016) Peinetti, A.S.;Gilardoni, R.S.;Mizrahi, M. (...)Battaglini, F. Analytical Chemistry. 88(11):5752-5759
"Energetics of neutral and deprotonated (Z)-cinnamic acid" (2016) Dávalos, J.Z.;Lima, C.F.R.A.C.;Silva, A.M.S. (...)Salum, M.L. Journal of Chemical Thermodynamics. 95:195-201
"A full operational semantics for asynchronous relational networks" (2015) Vissani, I.;Pombo, C.G.L.;Jose, J.L.F. (...)Diaconescu, R. 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014. 9463:131-150
"A normal form for stateful connectors" (2015) Bruni, R.;Melgratti, H.;Montanari, U. (...)Marti-Oliet N. Conference on Logic, Rewriting and Concurrency dedicated to Jose Meseguer on the Occasion of his 65th Birthday, 2015. 9200:205-227
"Loop-tree duality and quantum field theory in four dimensions" (2015) Sborlini, G.F.R. 12th International Symposium on Radiative Corrections, Radcor 2015 and LoopFest XIV (Radiative Corrections for the LHC and Future Colliders)
"Synthesis, characterization, X-ray crystal structure, DFT calculation, DNA binding, and antimicrobial assays of two new mixed-ligand copper(II) complexes" (2015) Ebrahimipour, S.Y.;Sheikhshoaie, I.;Mohamadi, M. (...)Mostafavi, A. Spectrochimica Acta - Part A: Molecular and Biomolecular Spectroscopy. 142:410-422
"Learning from vacuously satisfiable scenario-based specifications" (2012) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012. 7212 LNCS:377-393
"Antonio Monteiro: A pioneer of theoretical computational studies in Argentina" (2012) Carnota, R.; Rodriguez, R. 38th Latin America Conference on Informatics, CLEI 2012
"On the expressive power of IF-logic with classical negation" (2011) Figueira, S.;Gorín, D.;Grimson, R. (...)Queiroz R. 18th International Workshop on Logic, Language, Information and Computation, WoLLIC 2011. 6642 LNAI:135-145
"Ackermannian and primitive-recursive bounds with Dickson's Lemma" (2011) Figueira, D.; Figueira, S.; Schmitz, S.; Schnoebelen, P. 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011:269-278
"Basic model theory for memory logics" (2011) Areces, C.;Carreiro, F.;Figueira, S. (...)Queiroz R. 18th International Workshop on Logic, Language, Information and Computation, WoLLIC 2011. 6642 LNAI:20-34
"Interaction of a two-level cyclic XY n-spin model with a two-mode cavity field in off-resonant states" (2008) Grinberg, H. International Journal of Quantum Chemistry. 108(2):210-218
"Prediction of wavelet transform coefficients using neural networks applied to lossless compression of multispectral images" (2007) Acevedo, D.G.; Ruedin, A.M.C.; Seijas, L.M. Satellite Data Compression, Communications, and Archiving III. 6683
"Hylleraas-like functions with the correct cusp conditions: K-shell electrons for the neutral atoms" (2007) Rodriguez, K.V.; Gasaneo, G.; Mitnik, D.M.; Miraglia, J.E. Journal of Electron Spectroscopy and Related Phenomena. 161(1-3 SPEC ISS):204-206
"Geometric phases in open systems: A model to study how they are corrected by decoherence" (2006) Lombardo, F.C.; Villar, P.I. Physical Review A - Atomic, Molecular, and Optical Physics. 74(4)
"On Multi-threaded Metrical Task Systems" (2006) Feuerstein, E.; Seiden, S.S.; Strejilevich de Loma, A. Journal of Discrete Algorithms. 4(3):401-413
"On the complexity of the resolvent representation of some prime differential ideals" (2006) D'Alfonso, L.; Jeronimo, G.; Solernó, P. Journal of Complexity. 22(3):396-430
"Weighted projections and Riesz frames" (2005) Antezana, J.; Corach, G.; Ruiz, M.; Stojanoff, D. Linear Algebra and Its Applications. 402(1-3):367-389
"Implementing parallel Cell-DEVS" (2003) Troccoli, A.; Wainer, G.; Society for Modeling and Simulation International 36th Annual Simulation Symposium, ANSS 2003. 2003-January:273-280
"Low probability of controlling transient chaos near crisis" (2002) Casaubon, J.I. Complexity International. 9
"Zeus: A distributed timed model-checker based on Kronos" (2002) Braberman, V.; Olivero, A.; Schapachnik, F. PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002). 68(4):503-522
"Unveiling the topological structure of chaotic flows from data" (2001) Sciamarella, D.; Mindlin, G.B. Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. 64(3 II):362091-362099
"Factoring in a dissipative quantum computer" (1996) Miquel, C.; Paz, J.P.; Perazzo, R. Physical Review A - Atomic, Molecular, and Optical Physics. 54(4):2605-2613
"A geometrical bound for integer programming with polynomial constraints" (1991) Bank, B.;Krick, T.;Mandel, R. (...)Budach L. 8th International Conference on Fundamentals of Computation Theory, FCT 1991. 529 LNCS:121-125