Results for 'Carlos Alvarez-Pereira'

1000+ found
Order:
  1.  31
    Transforming Knowledge Systems for Life on Earth: Visions of Future Systems and How to Get There.Ioan Fazey, Niko Schäpke, Guido Caniglia, Anthony Hodgson, Ian Kendrick, Christopher Lyon, Glenn Page, James Patterson, Chris Riedy, Tim Strasser, Stephan Verveen, David Adams, Bruce Goldstein, Matthias Klaes, Graham Leicester, Alison Linyard, Adrienne McCurdy, Paul Ryan, Bill Sharpe, Giorgia Silvestri, Ali Yansyah Abdurrahim, David Abson, Olufemi Samson Adetunji, Paulina Aldunce, Carlos Alvarez-Pereira, Jennifer Marie Amparo, Helene Amundsen, Lakin Anderson, Lotta Andersson, Michael Asquith, Karoline Augenstein, Jack Barrie, David Bent, Julia Bentz, Arvid Bergsten, Carol Berzonsky, Olivia Bina, Kirsty Blackstock, Joanna Boehnert, Hilary Bradbury, Christine Brand, Jessica Böhme, Marianne Mille Bøjer, Esther Carmen, Lakshmi Charli-Joseph, Sarah Choudhury, Supot Chunhachoti-Ananta, Jessica Cockburn, John Colvin, Irena L. C. Connon & Rosalind Cornforth - 2020 - Energy Research and Social Science 70.
    Formalised knowledge systems, including universities and research institutes, are important for contemporary societies. They are, however, also arguably failing humanity when their impact is measured against the level of progress being made in stimulating the societal changes needed to address challenges like climate change. In this research we used a novel futures-oriented and participatory approach that asked what future envisioned knowledge systems might need to look like and how we might get there. Findings suggest that envisioned future systems will need (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  5
    Presentation – Inhabiting the Frontiers of Thought: The Contribution of Jesuit Philosophers to 20 Th Century Philosophy.Andreas Gonçalves Lind, Bruno Nobre & João Carlos Onofre Pinto - 2020 - Revista Portuguesa de Filosofia 76 (4):1249-1252.
    The contribution of Jesuits to the different fields of knowledge, including philosophy, is historically well known. In fact, since the foundation of the Society of Jesus, in the 16th century, Jesuits from different generations and cultures have taken part in the philosophical debates of their time and their different contexts. Since the foundation of the Society of Jesus, in 1540, the Jesuits, individually and as a body, have engaged in a fruitful dialogue between the Christian tradition and different dimensions of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  17
    El nuevo paradigma energético en el marco de un desarrollo sostenible.Carlos Alvarez Bel - 2009 - Contrastes: Revista Cultural 56:92-99.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  7
    Carlos Alvarez Maia (1945-2019), A Present Historian.Gabriel Da Costa Ávila - 2020 - Transversal: International Journal for the Historiography of Science 8:148.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Los cambios en la gestión de cuerpo humano.Juan Carlos Alvarez Pérez - 2004 - Critica 54 (915):16-19.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  48
    Filosofia e História da Biologia.Antonio Carlos Sequeira Fernandes, Ricardo Pereira, Ismar de Souza Carvalho, Débora de Almeida Azevedo, Fernando Dias de Avila-Pires, Gerda Maísa Jensen, Maria Elice Brzezinski Prestes, Lilian Al-Chueyr Pereira Martins, Lourdes Della Justina & Ana Maria de Andrade Caldeira - 2010 - Filosofia 5 (1).
  7.  11
    An Encompassing Framework for Paraconsistent Logic Programs.João Alcântara, Carlos Viegas Damásio & Luís Moniz Pereira - 2005 - Journal of Applied Logic 3 (1):67-95.
  8.  47
    Hybrid Probabilistic Logic Programs as Residuated Logic Programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
    In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  1
    Apreciação Dubitativa Do Realismo E Seu Impacto Sobre a Cosmologia Cristã Realista.Carlos Eduardo Pereira Oliveira - 2012 - Cadernos Espinosanos 26:81.
    O presente artigo deseja expor a apreciação dubitativa do realismo na Primeira Meditação, no intuito de mostrar o impacto dessa ação cartesiana sobre a doutrina da creatio ex nihilo, consolidada filosoficamente por Tomás de Aquino como autêntica cosmologia cristã, em substituição à cosmologia pagã erguida sobre o princípio ex nihilo nihil fit. Faremos, primeiramente, uma breve exposição dos fundamentos realistas que embasam as provas da criação elaboradas pelo Aquinate. Em seguida, apresentaremos como a submissão do realismo ao método cartesiano da (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  1
    O Racionalismo Cartesiano Posto Em Questão.Carlos Eduardo Pereira Oliveira - 2009 - Cadernos Espinosanos 21:140.
    No cartesianismo contemporâneo, devido à retomada da teoria da livre criação das verdades eternas, alguns intérpretes trazem ao debate internacional um interessante viés interpretativo do pensamento de Descartes. Segundo eles, ao apresentar a indiferença da vontade como atributo de Deus, Descartes instaura uma concepção totalmente perigosa, da qual derivam a incompatibilidade entre a indiferença divina e o sistema cartesiano, deflagrando, enfim, um irracionalismo radical.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  2
    Burnout and Stress Measurement in Police Officers: Literature Review and a Study With the Operational Police Stress Questionnaire.Cristina Queirós, Fernando Passos, Ana Bártolo, António José Marques, Carlos Fernandes da Silva & Anabela Pereira - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  3
    Neutralidad axiológica de la ciencia. Contribución a la reflexión.Carlos del Risco Turiño, Jorge Álvarez Vázquez, Antonio Gutiérrez Laborit & Diana del Risco Veloz - 2006 - Humanidades Médicas 6 (1):0-0.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  5
    A Self-Applied Multi-Component Psychological Online Intervention Based on UX, for the Prevention of Complicated Grief Disorder in the Mexican Population During the COVID-19 Outbreak: Protocol of a Randomized Clinical Trial.Alejandro Dominguez-Rodriguez, Sofia Cristina Martínez-Luna, María Jesús Hernández Jiménez, Anabel De La Rosa-Gómez, Paulina Arenas-Landgrave, Esteban Eugenio Esquivel Santoveña, Carlos Arzola-Sánchez, Joabián Alvarez Silva, Arantza Mariel Solis Nicolas, Ana Marisa Colmenero Guadián, Flor Rocio Ramírez-Martínez & Rosa Olimpia Castellanos Vargas - 2021 - Frontiers in Psychology 12.
    Background: COVID-19 has taken many lives worldwide and due to this, millions of persons are in grief. When the grief process lasts longer than 6 months, the person is in risk of developing Complicated Grief Disorder. The CGD is related to serious health consequences. To reduce the probability of developing CGD a preventive intervention could be applied. In developing countries like Mexico, the psychological services are scarce, self-applied interventions could provide support to solve this problem and reduce the health impact (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  5
    Evangélicos E Conservadorismo – Afinidades Eletivas: As Novas Configurações da Democracia No Brasil.Paulo Gracino de Souza Junior & Carlos Henrique Pereira de Souza - forthcoming - Horizonte:1188.
    Neste artigo partimos da hipótese de que a afinidade que atrai evangélicos e conservadorismo está muito mais ligada às condições discursivas que engendram os sujeitos e suas subjetividades, do que as características intrínsecas à teologia cristã ou, especificamente, evangélica pentecostal. Com isso não queremos dizer que conformações teológicas específicas não ensejaram discursos religiosos regressivos, que a maioria de nós classificaria como conservador. Assim, chamamos a atenção, tanto para o caráter relacional, posicional das identidades evangélicas, que engendram o discurso conservador, quanto (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. As Doutrinas Estéticas Em Portugal Do Romantismo à Presença.José Carlos Francisco Pereira - 2011 - Editorial Hespéria.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Doce Tesis Sobre la Política.Pereira Menaut & Antonio Carlos - 2000 - Universidad Nacional Autónoma de México.
  17. ¿Cristianismo Posmoderno o Postsecular?: Por Una Interpretación Teológica de la Modernidad Tardía.Carlos Mendoza Álvarez Mendoza (ed.) - 2008 - Universidad Iberoamericana, Ciudad de México, Departamento de Ciencias Religiosas.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. A.“Citizenship And.Luiz Carlos Bresser Pereira - forthcoming - Res Publica.
     
    Export citation  
     
    Bookmark  
  19. Cidadania e.Luiz Carlos Bresser Pereira - forthcoming - Res Publica.
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  26
    Carlos Estepa Díez, Ignacio Álvarez Borge, and José María Santamarta Luengos, Poder real y sociedad: Estudios sobre el reinado de Alfonso VIII, 1158–1214. León: Universidad de León, 2011. Paper. Pp. 345; map. €24. ISBN: 9788497735728. [REVIEW]Peter Linehan - 2013 - Speculum 88 (3):794-795.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. “O Mais Perigoso Dos Bens...”: Heidegger E a Ambiguidade da Linguagem.Carlos Arthur Resende Pereira - 2014 - Cadernos Do Pet Filosofia 4 (8):72-83.
    Em uma conferência de 1936, intitulada Hölderlin e a Essência da Poesia, o filósofo alemão Martin Heidegger comenta um escrito do poeta Friedrich Hölderlin, que caracteriza a linguagem como “o mais perigoso de todos os bens”. Na leitura de Heidegger, linguagem é, enquanto força de exposição do ser, também o principal perigo para o próprio ser. Isto porque, uma vez que o ser expõe-se por meio dos entes, ele jamais se deixa apreender enquanto tal, abrindo a possibilidade de se tomar (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  12
    Historical Models and Economic Syllogisms.Luiz Carlos Bresser-Pereira - 2018 - Journal of Economic Methodology 25 (1):68-82.
    This paper proposes a classification of economic models into three types: historical, axiomatic and conditional. Historical or empirical models utilize the historical-deductive method, and are generalizations from the economic regularities and tendencies that we find in the real world. Axiomatic models utilize the hypothetical-deductive method; they are syllogisms whose major premise is an axiom – a self-evident truth; they are appropriate for methodological sciences such as mathematics and econometrics. Conditional economic models are likewise syllogisms, but they are suitable for economics (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  23.  9
    Impact of Family and Friends on Antisocial Adolescent Behavior: The Mediating Role of Impulsivity and Empathy.David Álvarez-García, Paloma González-Castro, José Carlos Núñez, Celestino Rodríguez & Rebeca Cerezo - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Del disciplinamiento a la indisciplina: Una lectura de la escuela desde la Concepción foucaultiana de liberalismo.Juan Carlos Echeverri Álvarez - 2009 - Escritos 17 (38):170-198.
    El artículo, con base en un argumento de Michel Foucault: la vigencia –desde el siglo XVIII hasta hoy- de las estrategias liberales del poder para el gobierno de la población, hace una reflexión sobre la escuela actual. Argumenta que la democracia, en cuanto concreción visible de esas estrategias de poder, comporta procesos específicos en la escuela que son nombrados aquí, provisionalmente, como el tránsito desde una escuela disciplinada hasta otra conflictiva, violenta, terapéutica y falta de autoridad, es decir, indisciplinada. Pero, (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  31
    Alvarez. 2010. Kinds of Reasons. An Essay in the Philosophy of Action. [REVIEW]Carlos J. Moya - 2011 - Theoria : An International Journal for Theory, History and Fundations of Science 26 (2):245-247.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  26. «Vivir hasta la muerte» Reflexión filosófico-teológica sobre la compasión.Carlos Mendoza-Alvarez - 2012 - Ciencia Tomista 139 (1):19-33.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. PEREIRA, R. H. S. (2012). Averróis – A Arte de Governar. São Paulo, Editora Perspectiva. 335 p.Carlos Arthur Ribeiro do Nascimento - 2013 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 11:157-158.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  2
    Biased Affective Forecasting: A Potential Mechanism That Enhances Resilience and Well-Being.Desirée Colombo, Javier Fernández-Álvarez, Carlos Suso-Ribera, Pietro Cipresso, Azucena García-Palacios, Giuseppe Riva & Cristina Botella - 2020 - Frontiers in Psychology 11.
  29.  38
    Normalization, Soundness and Completeness for the Propositional Fragment of Prawitz’ Ecumenical System.Luiz Carlos Pereira & Ricardo Oscar Rodriguez - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1153-1168.
    In 2015 Dag Prawitz proposed an Ecumenical system where classical and intuitionistic logic could coexist in peace. The classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation and the constant for the absurd, but they would each have their own existential quantifier, disjunction and implication, with different meanings. Prawitz’ main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. The aim of the present paper is [1] (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  19
    Subjetividad posmoderna e identidad reconciliada: una recepción teológica de la teoría mimética.Carlos Mendoza-Álvarez - 2010 - Universitas Philosophica 27 (55):149-158.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  18
    Postmodern Subjectivity and Reconciled Identity: A Theological Reception of Mimetic Theory.Carlos Mendoza-Álvarez - 2010 - Universitas Philosophica 27 (55):149-158.
  32.  53
    Hacia una filosofía “practicante”. La acción en las obras menores de Maurice Blondel y su aporte al pensamiento contemporáneo.Carlos Andrés Gómez Rodas & Jorge Iván Álvarez Gómez - 2013 - Escritos 21 (46):111-143.
    Después de la publicación de su tesis doctoral titulada La acción (1893), el filósofo francés Maurice Blondel escribió algunas obras en las que trató asuntos de enorme importancia, tanto en el campo filosófico como teológico, que desarrollaron las temáticas centrales de La acción, obra que a finales del siglo XIX generó tanto revuelo en el ambiente filosófico francés. Con la conciencia de su actualidad y su inmenso valor para una perspectiva novedosa de la metafísica y el diálogo fe-razón, se pretende (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  3
    Politique et culture dans le Brésil contemporain. L'expérience des élections présidentielles de 1989.Carlos A. Messeder Pereira - 1991 - Hermes 8.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  14
    Proof, Logic and Formalization.Luiz Carlos Pereira - 1997 - Erkenntnis 47 (2):245-254.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  28
    Carlos Mendoza-Álvarez, Deus absconditus. Désir, mémoire et imagination eschatologique. Essai de théologie fondamentale postmoderne.Préface de Rosino Gibellini. Paris, Les Éditions du Cerf, 2011, iii-307 p.Carlos Mendoza-Álvarez, Deus absconditus. Désir, mémoire et imagination eschatologique. Essai de théologie fondamentale postmoderne.Préface de Rosino Gibellini. Paris, Les Éditions du Cerf, 2011, iii-307 p. [REVIEW]Nestor Turcotte - 2013 - Laval Théologique et Philosophique 69 (1):177-178.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  29
    Full Bayesian Significance Test Applied to Multivariate Normal Structure Models.Marcelo de Souza Lauretto, Carlos Alberto de Braganca Pereira, Julio Michael Stern & Shelemiahu Zacks - 2003 - Brazilian Journal of Probability and Statistics 17:147-168.
    Abstract: The Pull Bayesian Significance Test (FBST) for precise hy- potheses is applied to a Multivariate Normal Structure (MNS) model. In the FBST we compute the evidence against the precise hypothesis. This evi- dence is the probability of the Highest Relative Surprise Set (HRSS) tangent to the sub-manifold (of the parameter space) that defines the null hypothesis. The MNS model we present appears when testing equivalence conditions for genetic expression measurements, using micro-array technology.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  57
    Can a Significance Test Be Genuinely Bayesian?Julio Michael Stern, Carlos Alberto de Braganca Pereira & Sergio Wechsler - 2008 - Bayesian Analysis 3 (1):79-100.
    The Full Bayesian Significance Test, FBST, is extensively reviewed. Its test statistic, a genuine Bayesian measure of evidence, is discussed in detail. Its behavior in some problems of statistical inference like testing for independence in contingency tables is discussed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  2
    Tiempo mesiánico y narración Para una interpretación teológica de las prácticas narrativas de las víctimas.Carlos Mendoza-Álvarez - 2021 - Teología y Vida 62 (1):9-35.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  2
    GÓMEZ, Carlos: El deber y la ilusión (Ética, Política, Literatura), Dykinson, Madrid, 2020, 397p.Jorge Álvarez Yágüez - 2021 - Agora 40 (2):283-290.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. Pequeño Chacho Ilustrado.Horacio Redondo, Gregorio Vilá & Carlos Alvarez - 1995 - Editorial Cinco Continentes.
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  93
    On What There Must Be: Existence in Logic and Some Related Riddles.Paulo A. S. Veloso, Luiz Carlos Pereira & E. Hermann Haeusler - 2012 - Disputatio 4 (34):889-910.
    Veloso-Pereira-Haeusler_On-what-there-must-be.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  20
    FBST Regularization and Model Selection.Julio Michael Stern & Carlos Alberto de Braganca Pereira - 2001 - In Annals of the 7th International Conference on Information Systems Analysis and Synthesis. Orlando FL: pp. 7: 60-65..
    We show how the Full Bayesian Significance Test (FBST) can be used as a model selection criterion. The FBST was presented by Pereira and Stern as a coherent Bayesian significance test. Key Words: Bayesian test; Evidence; Global optimization; Information; Model selection; Numerical integration; Posterior density; Precise hypothesis; Regularization. AMS: 62A15; 62F15; 62H15.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  48
    Evidence and Credibility: Full Bayesian Significance Test for Precise Hypotheses.Julio Michael Stern & Carlos Alberto de Braganca Pereira - 1999 - Entropy 1 (1):69-80.
    A Bayesian measure of evidence for precise hypotheses is presented. The intention is to give a Bayesian alternative to significance tests or, equivalently, to p-values. In fact, a set is defined in the parameter space and the posterior probability, its credibility, is evaluated. This set is the “Highest Posterior Density Region” that is “tangent” to the set that defines the null hypothesis. Our measure of evidence is the complement of the credibility of the “tangent” region.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  31
    Validades Existenciais e Enigmas Relacionados.Paulo A. S. Veloso, Luiz Carlos Pereira & Edward H. Haeusler - 2009 - Dois Pontos 6 (2).
    Logic does not have purely existential theorems: the only existential sentences that are valid are those with valid universal analogues. Here, we show indeed this is so, when properly interpreted: every existential validity has a simple universal analogue, which is also valid. We also characterize existential and universal validities in terms of tautologies.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  45.  26
    An Ecumenical Notion of Entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - 2019 - Synthese 198 (S22):5391-5413.
    Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system. We call Prawitz’ proposal the Ecumenical System, following the terminology introduced by Pereira and Rodriguez. In this work we present an Ecumenical sequent calculus, as opposed to the original natural deduction version, and state some proof theoretical properties of the system. We reason (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46. On the History of Souslin's Problem.Carlos Alvarez - 1999 - Archive for History of Exact Sciences 54 (3):181-242.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  47.  13
    [Recensão a] PEREIRA, R. H. S. - Averróis: A Arte de Governar.Carlos Arthur Ribeiro do Nascimento - 2013 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 11:157-158.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  68
    A Dynamic Software Certification and Verification Procedure.Julio Michael Stern & Carlos Alberto de Braganca Pereira - 1998 - SCI’99 Proceedings 2:426-435.
    in Oct-14-1998 ordinance INDESP-IO4 established the federal software certification and verification requirements for gaming machines in Brazil. The authors present the rationale behind these criteria, whose basic principles can find applications in several other software authentication applications.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  54
    TORC3: Token-Ring Clearing Heuristic for Currency Circulation.Julio Michael Stern, Carlos Humes, Marcelo de Souza Lauretto, Fabio Nakano, Carlos Alberto de Braganca Pereira & Guilherme Frederico Gazineu Rafare - 2012 - AIP Conference Proceedings 1490:179-188.
    Clearing algorithms are at the core of modern payment systems, facilitating the settling of multilateral credit messages with (near) minimum transfers of currency. Traditional clearing procedures use batch processing based on MILP - mixed-integer linear programming algorithms. The MILP approach demands intensive computational resources; moreover, it is also vulnerable to operational risks generated by possible defaults during the inter-batch period. This paper presents TORC3 - the Token-Ring Clearing Algorithm for Currency Circulation. In contrast to the MILP approach, TORC3 is a (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  4
    A Formalization Of Sambins's Normalization For Gl.Edward Hauesler & Luiz Carlos Pereira - 1993 - Mathematical Logic Quarterly 39 (1):133-142.
    Sambin [6] proved the normalization theorem for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a normalization proof for GL using reductions. Indeed, Sambin's proof is a decision procedure which builds cut-free proofs. In this work we formalize this procedure as a recursive function and prove its recursiveness in an arithmetically (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000