• Refine your search:
  • 
    Keyword:
    
    • [INFO.INFO-LO]Computer Science [cs] / Logic in Computer Science [cs.LO] (3)
    • [MATH.MATH-LO]Mathematics [math] / Logic [math.LO] (3)
    • [SHS.LANGUE]Humanities and Social Sciences / Linguistics (3)
    • AMS (2)
    • AMS 03B15 (2)
    • AMS 03B65 (2)
    • Secondary (2)
    • [MATH.MATH-AP]Mathematics [math] / Analysis of PDEs [math.AP] (2)
    • type theory (2)
    • *PROGRAMMING LANGUAGES (1)
    •   more
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (6)
    • Laboratoire Bordelais de Recherche en Informatique (LaBRI) (4)
    • Linguistic signs, grammar and meaning: computational logic for natural language (SIGNES) (4)
    • Retoré, Christian (4)
    • Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) (4)
    • INRIA Futurs (2)
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Sciences et Technologies - Bordeaux 1-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Université Bordeaux Montaigne-Centre National de la Recherche Scientifique (CNRS) (2)
    • Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS) (2)
    • P.J.M. Frederiks (2)
    • Th.P. van der Weide (2)
    •   more
  • 
    Year:
    
    • 2021 (1)
    • 2017 (1)
    • 2016 (1)
    • 2015 (2)
    • 2011 (2)
    • 2007 (3)
    • 2006 (1)
    • 2000 (1)
    • 1996 (3)
    • 1993 (1)
  • 
    Medium
  • 
    Type:
    
    • Article (13)
    • Miscellaneous (4)
    • Book (1)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 18 of 18 1 Constrained control of gene-flow models Mazari, Idriss; Ruiz-Balet, Domènec; Zuazua, Enrique In: https://hal.archives-ouvertes.fr/hal-02373668 ; 2021 (2021) BASE Show details 2 The effect of literacy in the speech temporal modulation structure Araújo, João Pedro Fonseca de. - 2017 BASE Show details 3 Phase distortion resulting in a just noticeable difference in the perceived quality of speech Chappel, Roger; Schwerin, Belinda; Paliwal, Kuldip. - : Elsevier BV * North-Holland, 2016 BASE Show details 4 Self-Determination Theory as a Predictor of Students’ Motivation and Academic Performance Sturges, Diana; Maurer, Trent W.; Allen, Deborah... In: SoTL Commons Conference (2015) BASE Show details 5 Developing Writing Skills in The Classroom: A Corpus-based Analysis of Multi-Genre Structures Casañ-Pitarch, Ricardo; Calvo-Ferrer, José Ramón. - : Elsevier, 2015 BASE Show details 6 On the system F as a glue language for natural-language compositional-semantics Retoré, Christian In: https://hal.inria.fr/inria-00616704 ; 2011 (2011) BASE Show details 7 Specimens: "most of" generic NPs in a contextually flexible type theory Retoré, Christian In: Genius III ; https://hal.inria.fr/inria-00637326 ; Genius III, Dec 2011, Paris, France (2011) BASE Show details 8 Dynamics of Nonlocal Fisher concentration points: a nonlinear analysis of Turing patterns Perthame, Benoît; Génieys, Stéphane In: https://hal.archives-ouvertes.fr/hal-00128250 ; 2007 (2007) BASE Show details 9 On the trees underlying natural language sentences Retoré, Christian In: Colloquium in honor of Gérard Huet ; https://hal.archives-ouvertes.fr/hal-00416232 ; Colloquium in honor of Gérard Huet, Jun 2007, Paris, France (2007) BASE Show details 10 Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product Amblard, Maxime; Retoré, Christian In: Computation and Logic in the Real World (Computing in Europe 2007) ; https://hal.archives-ouvertes.fr/hal-00409486 ; Computation and Logic in the Real World (Computing in Europe 2007), Jun 2007, Siena, Italy. pp.28--44 (2007) BASE Show details 11 Adding Scalability to IBIS by Using AMS Languages Fernando, Paul. - 2006 BASE Show details 12 Boolean Normal Forms, Shellability, And Reliability Computations Endre Boros; Yves Crama; Oya Ekin; Peter L. Hammer; Toshihide Ibaraki; Alexander Kogan In: http://rutcor.rutgers.edu/~boros/Papers/BCEHIK00-SIDMA.pdf (2000) Abstract: . Orthogonal forms of positive Boolean functions play an important role in reliability theory, since the probability that they take value 1 can be easily computed. However, few classes of disjunctive normal forms are known for which orthogonalization can be e#ciently performed. An interesting class with this property is the class of shellable disjunctive normal forms (DNFs). In this paper, we present some new results about shellability. We establish that every positive Boolean function can be represented by a shellable DNF, we propose a polynomial procedure to compute the dual of a shellable DNF, and we prove that testing the so-called lexico-exchange (LE) property (a strengthening of shellability) is NP-complete. Ke words. Boolean functions, orthogonal DNFs, dualization, shellability, reliability AMS sub je classifications. Primary, 90B25; Secondary, 05C65, 68R05 PII. S089548019732180X 1. Introduction. A classicalprobic of Boolean theory is to derive an orthogonal form, or disjoint pr. Keyword: 05C65; 68R05 PII. S089548019732180X; 90B25; dualization; Key words. Boolean functions; orthogonal DNFs; reliability AMS subject classifications. Primary; Secondary; shellability URL: http://rutcor.rutgers.edu/~boros/Papers/BCEHIK00-SIDMA.pdf http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.7623 BASE Hide details 13 Cognitive Requirements for Natural Language Based Conceptual Modeling P.J.M. Frederiks; Th.P. van der Weide In: ftp://ftp.cs.kun.nl/pub/SoftwEng.InfSyst/articles/CogNL.ps.Z (1996) BASE Show details 14 Paraphrasing as a Technique to Support Object-Oriented Analysis C. F. Derksen; P.J.M. Frederiks; Th.P. van der Weide In: ftp://ftp.cs.kun.nl/pub/CSI/SoftwEng.InfSyst/articles/OOAParaphr.ps.Z (1996) BASE Show details 15 Analog Hardware Description Language (AHDL). Collins, Robert A.; Hirsch, Herbert L. In: DTIC AND NTIS (1996) BASE Show details 16 Quantum complexity theory Ethan Bernstein; Umesh Vazirani In: http://hexagon.physics.wisc.edu/teaching/2014f+ph805+quantum+information/papers/bernstein+vazirani+algorithm+siam+jc+1997.pdf (1993) BASE Show details 17 THE NUMBER OF PERMUTATIONS REALIZED BY A SHIFT Sergi Elizalde In: http://arxiv.org/pdf/0909.2274v1.pdf (909) BASE Show details 18 Markov Denise Duarte Antonio Galves Nancy In: http://www.ime.usp.br/~galves /artigos/uvlmc.pdf BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 18 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0