Browse ORBi by ORBi project

- Background
- Content
- Benefits and challenges
- Legal aspects
- Functions and services
- Team
- Help and tutorials

Logic implementations using a single nanoparticle-protein hybrid ; ; et al in Nature Nanotechnology (2010), 5 Detailed reference viewed: 56 (14 ULg)Logic operations in a doped solid driven by stimulated Raman adiabatic passage ; ; Remacle, Françoise et al in Physical Review A (2011), 83 Detailed reference viewed: 23 (3 ULg)Logic reversibility and thermodynamic irreversibility demonstrated by DNAzyme-based Toffoli and Fredkin logic gates ; Remacle, Françoise ; et al in Proceedings of the National Academy of Sciences (2012), 109(52), 21228-21233 The Toffoli and Fredkin gates were suggested as a means to exhibit logic reversibility and thereby reduce energy dissipation associated with logic operations in dense computing circuits. We present a ... [more ▼] The Toffoli and Fredkin gates were suggested as a means to exhibit logic reversibility and thereby reduce energy dissipation associated with logic operations in dense computing circuits. We present a construction of the logically reversible Toffoli and Fredkin gates by implementing a library of predesigned Mg2+-dependent DNAzymes and their respective substrates. Although the logical reversibility, for which each set of inputs uniquely correlates to a set of outputs, is demonstrated, the systems manifest thermodynamic irreversibility originating from two quite distinct and nonrelated phenomena. (i) The physical readout of the gates is by fluorescence that depletes the population of the final state of the machine. This irreversible, heat-releasing process is needed for the generation of the output. (ii) The DNAzyme-powered logic gates are made to operate at a finite rate by invoking downhill energy-releasing processes. Even though the three bits of Toffoli’s and Fredkin’s logically reversible gates manifest thermodynamic irreversibility, we suggest that these gates could have important practical implication in future nanomedicine. [less ▲] Detailed reference viewed: 20 (1 ULg)Logic, Knowledge and Language, 14-15 March Leclercq, Bruno in The Reasoner (2013), 7 Detailed reference viewed: 46 (3 ULg)Logic, mathematics, ontology. Alfred North Whitehead's early work Leclercq, Bruno ; Deroo, Emeline in Logique et Analyse (2011), 54(213), Detailed reference viewed: 118 (8 ULg)Logica dell’intenzionalità vs. logica delle idee. Franz Brentano e i limiti del rappresentazionalismo cartesiano: il caso dell’immaginazione Boccaccini, Federico Conference (2008) Detailed reference viewed: 24 (1 ULg)Logica en esthetica. Notities bij ‘Het bordeel van Ika Loch’ van Paul van Ostaijen Spinoy, Erik in Spiegel der Letteren (1995), 37(2-3), 89-128 This article is an innovative rereading of Van Ostaijen's grotesque story 'Ikla Loch's Brothel', in light of the author's late philosophical views. Detailed reference viewed: 43 (0 ULg)Logica en esthetica. Notities bij ‘Het bordeel van Ika Loch’ van Paul van Ostaijen Spinoy, Erik in Digitale Biblioitheek der Nederlandse Letteren (2005) This article rereads Van Ostaijen's grotesque story within the context of Kantian philosophy, one of Van Ostaijen's primary sources of theoretical inspiration. Detailed reference viewed: 22 (1 ULg)Logica vetus Adam, Renaud in de Vos, Wim; Cahen-Delhaye, Anne (Eds.) België : de tien instellingen van het Federaal Wetenschapsbeleid (2005) Detailed reference viewed: 3 (0 ULg)Logical analysis and its ontological consequences : Rise, fall and resurgence of intensional objects in contemporary philosophy Leclercq, Bruno in Petrov, Vesselin (Ed.) Ontological landscapes. Recent thought on conceptual interfaces between science and philosophy (2010) The aim of this paper will be to show how significant the logical theories of judgement which were worked out at the end of the nineteenth century have been for the ontological thought during the ... [more ▼] The aim of this paper will be to show how significant the logical theories of judgement which were worked out at the end of the nineteenth century have been for the ontological thought during the twentieth century. Against the classical - Aristotelian and Scholastic - analysis of predicative judgement, Franz Brentano on one hand and Gottlob Frege on the other hand have leveled two different criticisms, which then generated two radically divergent ontological paradigms. On one side, despite Brentano’s own nominalistic stands, there was a tremendous extension of the general category of “object” as well as of the notion of “being” with, as a consequence, the exceptionnally luxuriant ontologies of Brentano’s heirs. On the other side, notwithstanding Frege’s own Platonistic affinities, there was a drastic deflation of the realm of objects to the benefit of the realm of concepts taken as classifying functions, and therefore a strong nominalistic trend among Frege’s heirs. The development of quantified modal logics at the middle of twentieth century however forced contemporary ontology to reconsider this simple alternative in order to give place to some hybrid entities such as individual concepts or other kinds of “intensional objects”. [less ▲] Detailed reference viewed: 129 (6 ULg)Logical Analysis of Data and Classification Crama, Yves Conference (2010, March 25) Detailed reference viewed: 11 (0 ULg)Logical Analysis of Data: Classification with justification ; Crama, Yves ; et al in Annals of Operations Research (2011), 188 Learning from examples is a frequently arising challenge, with a large number of algorithms proposed in the classification, data mining and machine learning literature. The evaluation of the quality of ... [more ▼] Learning from examples is a frequently arising challenge, with a large number of algorithms proposed in the classification, data mining and machine learning literature. The evaluation of the quality of such algorithms is frequently carried out ex post, on an experimental basis: their performance is measured either by cross validation on benchmark data sets, or by clinical trials. Few of these approaches evaluate the learning process ex ante, on its own merits. In this paper, we dis- cuss a property of rule-based classifiers which we call "justifiability", and which focuses on the type of information extracted from the given training set in order to classify new observations. We investigate some interesting mathematical properties of justifiable classifiers. In partic- ular, we establish the existence of justifiable classifiers, and we show that several well-known learning approaches, such as decision trees or nearest neighbor based methods, automatically provide justifiable clas- sifiers. We also identify maximal subsets of observations which must be classified in the same way by every justifiable classifier. Finally, we illustrate by a numerical example that using classifiers based on "most justifiable" rules does not seem to lead to over fitting, even though it involves an element of optimization. [less ▲] Detailed reference viewed: 60 (5 ULg)Logical characterization of recognizable sets of polynomials over a finite field Rigo, Michel ; in International Journal of Foundations of Computer Science (2011), 22(7), 1549-1563 The ring of integers and the ring of polynomials over a finite field share a lot of properties. Using a bounded number of polynomial coefficients, any polynomial can be decomposed as a linear combination ... [more ▼] The ring of integers and the ring of polynomials over a finite field share a lot of properties. Using a bounded number of polynomial coefficients, any polynomial can be decomposed as a linear combination of powers of a non-constant polynomial P playing the role of the base of the numeration. Having in mind the theorem of Cobham from 1969 about recognizable sets of integers, it is natural to study $P$-recognizable sets of polynomials. Based on the results obtained in the Ph.D. thesis of the second author, we study the logical characterization of such sets and related properties like decidability of the corresponding first-order theory. [less ▲] Detailed reference viewed: 123 (14 ULg)Logical description of bovine herpesvirus type 1 latent infection. Pastoret, Paul-Pierre ; Thiry, Etienne ; in Journal of General Virology (The) (1986), 67 ( Pt 5) Description of the interactions between bovine herpesvirus type 1 (BHV-1) and cattle was performed by the method known as kinetic logic. This logical formalization uses variables with two possible values ... [more ▼] Description of the interactions between bovine herpesvirus type 1 (BHV-1) and cattle was performed by the method known as kinetic logic. This logical formalization uses variables with two possible values, 1 and 0, which tell whether an element is present or not at a significant level. To each variable is associated a function which tells if the element is being produced at a significant rate. The temporal relation between a variable and its associated function is given by specific time delays. The BHV-1 infection system is described by a set of five logical equations which tell in what conditions each function is on or off. The five functions are: V, development of viral multiplication; R, development of reactivation of the latent virus; A, development of an immune response; G, establishment of the viral genome; M, development of a memory of a first immune response. Several examples are detailed in a dynamic analysis, in connection with known experimental data. [less ▲] Detailed reference viewed: 16 (0 ULg)Logiciel d’aide à l’annotation morphologique de textes en grec ancien Pietquin, Paul Software (2013) Detailed reference viewed: 37 (0 ULg)Logiciel d'aide à la détermination détaillée du poids et du bilan électrique d'un navire Marchal, Jean ; Hage, André ; in Bulletin de l'Association Technique Maritime et Aéronautique (1994) Detailed reference viewed: 27 (4 ULg)Logiciel de calcul de l'équilibre calcocarbonique des eaux, adapté pour calculatrice. ; Marcoen, Jean Marie in Annales de Gembloux (1992), 98 Detailed reference viewed: 272 (4 ULg)Un logiciel de cartographie assistée par micro-ordinateur Donnay, Jean-Paul in Actes du sixième Symposium sur la cartographie automatisée : Auto-Carto Six (1983) Detailed reference viewed: 14 (0 ULg)Un logiciel de cartographie assistée par micro-ordinateur Donnay, Jean-Paul in Cartographica (1984), 21(2 & 3), 93-100 Detailed reference viewed: 31 (3 ULg)Logiciel de cubage G-CUBE (version 1.1) Lejeune, Philippe ; Rondeux, Jacques Poster (2006, July 31) Logiciel développé dans le cadre de recherches visant à valoriser les potentialités de la forêt privée et assurer la durabilité de sa gestion. Detailed reference viewed: 339 (17 ULg) |
||