Relevant bibliographies by topics / Declarative; Functional

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Declarative; Functional'

Author: Grafiati
Published: 4 June 2021
Last updated: 15 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Declarative; Functional.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Declarative; Functional"

1

Boute, Raymond. "Functional declarative language design and predicate calculus." ACM Transactions on Programming Languages and Systems 27, no. 5 (2005): 988–1047. http://dx.doi.org/10.1145/1086642.1086647.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Mancini, Toni, and Marco Cadoli. "Exploiting functional dependencies in declarative problem specifications." Artificial Intelligence 171, no. 16-17 (2007): 985–1010. http://dx.doi.org/10.1016/j.artint.2007.04.017.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Caballero, R., N. Martí-Oliet, A. Riesco, and A. Verdejo. "A Declarative Debugger for Maude Functional Modules." Electronic Notes in Theoretical Computer Science 238, no. 3 (2009): 63–81. http://dx.doi.org/10.1016/j.entcs.2009.05.013.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Villalobos, Dolores, José M. Caperos, Álvaro Bilbao, Umberto Bivona, Rita Formisano, and Javier Pacios. "Self-Awareness Moderates the Association Between Executive Dysfunction and Functional Independence After Acquired Brain Injury." Archives of Clinical Neuropsychology 35, no. 7 (2020): 1059–68. http://dx.doi.org/10.1093/arclin/acaa048.

Full text
Abstract:
Abstract Objective Impaired self-awareness (SA) is a common symptom after suffering acquired brain injury (ABI) which interferes with patient’s rehabilitation and their functional independence. SA is associated with executive function and declarative memory, two cognitive functions that are related to participants’ daily living functionality. Through this observational study, we aim to explore whether SA may play a moderator role in the relation between these two cognitive processes and functional independence. Method A sample of 69 participants with ABI completed a neuropsychological assessme
APA, Harvard, Vancouver, ISO, and other styles
5

Takahashi, Naohisa, and Satoshi Ono. "DDS: A declarative debugging system for functional programs." Systems and Computers in Japan 21, no. 11 (1990): 21–32. http://dx.doi.org/10.1002/scj.4690211103.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Eichenbaum, Howard. "Remembering: Functional Organization of the Declarative Memory System." Current Biology 16, no. 16 (2006): R643—R645. http://dx.doi.org/10.1016/j.cub.2006.07.026.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Istiqomah, Yulia. "DECLARATIVE MOOD OF IDEATIONAL THEME IN “EXUPERY’S THE LITTLE PRINCE: A FUNCTIONAL GRAMMAR ANALYSIS." Apollo Project: Jurnal Ilmiah Program Studi Sastra Inggris 8, no. 2 (2019): 69–75. http://dx.doi.org/10.34010/apollo.v8i2.2113.

Full text
Abstract:
This research entitled “Declarative mood of Ideational Theme in “Exupery’s The Little Prince” (A Functional Grammar Analysis) discusses declarative mood in ideational theme in the position of clause used in novel. The purpose of this research is to analyze declarative mood and to analyze the constituents used in the novel The Little Prince. To analyze the issues, this research uses the theory of mood types: declarative mood by M.A.K Halliday and Christian Matthiessen (2004) as the grand theory while Linda Gerot dan Peter Wignell (1994) as supporting theory. The method used in this research is
APA, Harvard, Vancouver, ISO, and other styles
8

Shepherd, Michael A. "Functional significance of rising-intonation declaratives in settings with special discursive norms." LSA Annual Meeting Extended Abstracts 2 (July 6, 2011): 10. http://dx.doi.org/10.3765/exabs.v0i0.544.

Full text
Abstract:
Rising intonation in English declaratives (aka “uptalk”) is generally regarded as a solidarity marker (Warren 2005). However, its functions in settings with special discursive norms, such as classrooms, remain unexplored. Analysis of third-graders’ declarative responses to teachers’ questions reveals that students use rising intonation when they anticipate rejection, arguably making it a pragmatic face-saving strategy (Goffman 1982). Specifically, rising intonation functions as a marker of idea positioning (Eckert & McConnell-Ginet 2003), lessening students’ commitment to responses the
APA, Harvard, Vancouver, ISO, and other styles
9

Seymour, Leslie G. "Declarative Consciousness for Reconstruction." Journal of Artificial General Intelligence 4, no. 3 (2013): 89–129. http://dx.doi.org/10.2478/jagi-2013-0007.

Full text
Abstract:
Abstract Existing information technology tools are harnessed and integrated to provide digital specification of human consciousness of individual persons. An incremental compilation technology is proposed as a transformation of LifeLog derived persona specifications into a Canonical representation of the neocortex architecture of the human brain. The primary purpose is to gain an understanding of the semantical allocation of the neocortex capacity. Novel neocortex content allocation simulators with browsers are proposed to experiment with various approaches of relieving the brain from overload
APA, Harvard, Vancouver, ISO, and other styles
10

Caballero, Rafael, and Mario Rodríguez-Artalejo. "A Declarative Debugging System for Lazy Functional Logic Programs." Electronic Notes in Theoretical Computer Science 64 (September 2002): 113–75. http://dx.doi.org/10.1016/s1571-0661(04)80349-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Declarative; Functional"

1

Gold, Jeffrey Joseph. "Functional neuroanatomy of human declarative memory." Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2006. http://wwwlib.umi.com/cr/ucsd/fullcit?p3208010.

Full text
Abstract:
Thesis (Ph. D.)--University of California, San Diego, 2006.<br>Title from first page of PDF file (viewed May 18, 2006). Available via ProQuest Digital Dissertations. Vita. Includes bibliographical references (p. 125-138).
APA, Harvard, Vancouver, ISO, and other styles
2

Taylor, Frank Stephen. "Parallel functional programming by declarative partitioning." Thesis, Imperial College London, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.264268.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Seres, Silvija. "The algebra of logic programming." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365466.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Whyte, Marie-Claire. "Neuropsychological assessment and functional magnetic resonance imaging of verbal declarative memory performance in relatives of schizophrenia patients and controls." Thesis, University of Edinburgh, 2005. http://hdl.handle.net/1842/27660.

Full text
Abstract:
The Edinburgh High Risk Study recruited 162 young adults with at least one first or second degree relative with schizophrenia and 43 closely matched controls. A broad neuropsychological (NP) and clinical assessment battery was administered every 18-24 months over 10 years, while participants underwent between 1 and 3 functional magnetic resonance imaging (fMRI) scans during a verbal memory and executive function task over 5 years. Methods: Baseline predictors of schizophrenia, performance changes over 2 NP assessments, and the influence of genetic liability were examined in high risk participa
APA, Harvard, Vancouver, ISO, and other styles
5

Marklund, Petter. "Cross-functional brain imaging of attention, memory and executive functions : unity and diversity of neurocognitive component processes /." Doctoral thesis, Umeå : Department of Psychology, Umeå University, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-805.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Dos, Santos Carvalho Steve Francois. "Morpho-functional impact of Vangl2 on hippocampus development." Thesis, Bordeaux, 2016. http://www.theses.fr/2016BORD0276/document.

Full text
Abstract:
La Polarité Cellulaire Planaire (PCP) est une voie de signalisation originellement identifiée chez les invertébrés pour son rôle dans l’établissement d’une asymétrie cellulaire perpendiculaire à l’axe apico‐basal. Elle définit une polarité dans le plan d’un épithélium et coordonne cette polarité dans tout l'épithélium. L'activation de la voie PCP conduit à une réorganisation ducyto squelette en passant par une modulation des zones d'adhésion, régulant ainsi la forme et les mouvements des cellules. La voie de signalisation de la PCP est conservée tout au long de l'évolution jusqu'au mammifères,
APA, Harvard, Vancouver, ISO, and other styles
7

Dörfel, Denise. "Functional Investigations into the Recognition Memory Network, its Association with Genetic Polymorphisms and Implications for Disorders of Emotional Memory." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-39423.

Full text
Abstract:
Recent research, that has been focused on recognition memory, has revealed that two processes contribute to recognition of previously encountered items: recollection and familiarity (Aggleton & Brown, 1999; Eichenbaum, 2006; Eichenbaum, Yonelinas, & Ranganath, 2007; Rugg & Yonelinas, 2003; Skinner & Fernandes, 2007; Squire, Stark, & Clark, 2004; Wixted, 2007a; Yonelinas, 2001a; Yonelinas, 2002). The findings of neural correlates of recollection and familiarity lead to the assumption that there are different brain regions activated in either process, but there are, to the best of my knowledge,
APA, Harvard, Vancouver, ISO, and other styles
8

Hope, Christopher. "Glucose administration effects on sensorimotor function and declarative memory." Thesis, University of Surrey, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.580354.

Full text
Abstract:
This thesis aimed to examine the effects of glucose drink administration on sensorimotor function (studies 1 - 3) and declarative memory (study 4). Glucose had no effect on a modified version of the Hick task in study 1. However in study 2 we observed that glucose slowed reaction times (RTs) during the initial performance of the Eriksen flanker task. One possible reason for this effect is that glucose only slows sensorimotor function when a response is weakly associated with a stimulus, such as at the beginning of task performance. In study 1 stimulus-response (S-R) associations may have been
APA, Harvard, Vancouver, ISO, and other styles
9

Rytych, Maxim. "Možnosti deklarativního programování v jazyku Java 8." Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-202113.

Full text
Abstract:
This paper concerns itself with possibilities of declarative programming in the new version of Java 8 language, specifically using elements adopted from the domain of functional programming languages: function as a value and lazy streams of data. The goal of this paper is to demonstrate possibilities of declarative programming using these elements, analyze its implementation and design own extensions. The contribution lies particularly in showing possibilities of the new elements, implementation analysis and design of a new functionality. The output can be used by a Czech reader, who is at lea
APA, Harvard, Vancouver, ISO, and other styles
10

Petter, Donna. "Exodus 34:6-7 the function and meaning of the declaration /." Theological Research Exchange Network (TREN), 1997. http://www.tren.com.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Declarative; Functional"

1

Kuhn, Jonas. Optimality-theoretic syntax: A declarative approach. CSLI Publications, Center for the Study of Language and Information, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

ACM, SIGPLAN Workshop on Functional and Declarative Programming in Education (2005 Tallinn Estonia). FDPE '05: Proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education, September 25, 2005, Tallinn, Estonia. Association for Computing Machinery, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Office, General Accounting. Disaster assistance: Improvement needed in disaster declaration criteria and eligibility assurance procedures : report to the Subcommittee on VA, HUD, and Independent Agencies, Committee on Appropriations, U.S. Senate. The Office, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Fdpe '05: Proceedings of the ACM Sigplan 2005 Workshop on Functional and Declarative Programming in Education, September 25, 200. Association for Computing Machinery (ACM), 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ludwig, Kirk. Declarations and Status Functions. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198789994.003.0012.

Full text
Abstract:
Chapter 12 evaluates, in the light of the analysis of status functions in previous chapters, a recent claim by Searle that all institutional facts, and so all status functions, are created by declarative speech acts. An example of a declaration is an employer saying “You’re fired” to an employee and thereby making it the case that he is fired. The chapter argues that while declarations are often used, given background conventions in a community, to impose status functions on objects, they are not necessary, and that more generally the idea that status functions are imposed by representing that
APA, Harvard, Vancouver, ISO, and other styles
6

Petrova, Svetlana. Verb-initial declaratives in Old High German and in later German. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198813545.003.0004.

Full text
Abstract:
This chapter investigates the syntactic properties and the pragmatic behaviour of verb-initial declarative clauses in the history of German. The focus is on OHG because in this period, verb-initial declaratives represent a frequent, well-known alternative to canonical verb-second main clauses. It is argued that verb-initial declaratives are native in origin, and that they are derivable under a special interpretation of the verb-second rule. The main part of the chapter deals with the pragmatic properties of verb-initial declaratives in OHG, summarizing the various attempts at explaining the di
APA, Harvard, Vancouver, ISO, and other styles
7

Baunaz, Lena. Decomposing Complementizers. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190876746.003.0006.

Full text
Abstract:
This chapter discusses the morphosyntax of French, Modern Greek, Serbo-Croatian, and Bulgarian complementizers equivalent to English that. From long-distance wh-extractions across complementizers in these languages, it is shown that (i) the morpheme complementizer is composed of features that are hierarchically ordered according to a functional sequence (fseq) (see Baunaz 2015, 2016a; Baunaz and Lander to appear); (ii) the complementizer morpheme lexicalizes structures of different sizes; (iii) the distribution of complementizers is governed by veridicality (see Baunaz 2015, 2016a); (iv) the c
APA, Harvard, Vancouver, ISO, and other styles
8

Rossi, Simone, Stefano F. Cappa, and Paolo Maria Rossini. Higher cognitive functions: memory and reasoning. Edited by Charles M. Epstein, Eric M. Wassermann, and Ulf Ziemann. Oxford University Press, 2012. http://dx.doi.org/10.1093/oxfordhb/9780198568926.013.0032.

Full text
Abstract:
Transcranial magnetic stimulation (TMS) is a sophisticated approach for interfering with human memory and reasoning due to its ability to transiently interfere with the functions of the specialized cortical network, especially when applied as repetitive (r)TMS. This article reviews TMS studies dealing with short-term retention, working memory, and with the episodic component of declarative memory. It also considers certain aspects of semantic memory and nonverbal reasoning. Furthermore, it discusses methodological considerations about the experimental designs, which can be used for the investi
APA, Harvard, Vancouver, ISO, and other styles
9

Beninger, Richard J. Introduction. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198824091.003.0001.

Full text
Abstract:
The Introduction provides a brief overview of the book. The central theme is dopamine-mediated reward-related incentive learning—the acquisition by neutral stimuli of an increased ability to elicit approach and other responses. The brain has multiple memory systems defined as “declarative” and “non-declarative”; incentive learning produces one form of non-declarative memory. Once incentive learning is established it is gradually lost when the rewarding stimulus is no longer available or when dopamine function is reduced. Decreases in dopaminergic neurotransmission may produce inverse incentive
APA, Harvard, Vancouver, ISO, and other styles
10

(Foreword), J. T. Schwartz, ed. Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science). Springer, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Declarative; Functional"

1

Pope, Bernard. "Declarative Debugging with Buddha." In Advanced Functional Programming. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11546382_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

van Delft, Andre, and Anatoliy Kmetyuk. "Declarative Programming with Algebra." In Functional and Logic Programming. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-29604-3_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Nilsson, Henrik, John Peterson, and Paul Hudak. "Functional Hybrid Modeling." In Practical Aspects of Declarative Languages. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36388-2_25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Mantsivoda, A., and V. Petukhin. "Implementation of the functional-logic language flang." In Processing Declarative Knowledge. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/bfb0013553.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Asperti, Andrea. "Optimal reduction of functional expressions." In Principles of Declarative Programming. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0056630.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Darlington, John, Yike Guo, and Helen Pull. "Introducing Constraint Functional Logic Programming." In Declarative Programming, Sasbachwalden 1991. Springer London, 1992. http://dx.doi.org/10.1007/978-1-4471-3794-8_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Mu, Shin-Cheng, and Tsung-Ju Chiang. "Declarative Pearl: Deriving Monadic Quicksort." In Functional and Logic Programming. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-59025-3_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Dylus, Sandra, Jan Christiansen, and Finn Teegen. "Probabilistic Functional Logic Programming." In Practical Aspects of Declarative Languages. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-73305-0_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Peterson, John, Valery Trifonov, and Andrei Serjantov. "Parallel Functional Reactive Programming." In Practical Aspects of Declarative Languages. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-46584-7_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Braßel, Bernd, Olaf Chitil, Michael Hanus, and Frank Huch. "Observing Functional Logic Computations." In Practical Aspects of Declarative Languages. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-24836-1_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Declarative; Functional"

1

Mourad, Benjamin, and Matteo Cimini. "A Declarative Gradualizer with Language Transformations." In IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages. ACM, 2020. http://dx.doi.org/10.1145/3462172.3462190.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bailes, Paul A., Dan Johnston, Eric Salzman, and Li Wang. "Full functional programming in a declarative Ada dialect." In the conference. ACM Press, 1992. http://dx.doi.org/10.1145/143557.143975.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Murphy, Jeffrey C., Bhargav Shivkumar, and Lukasz Ziarek. "Real-time capabilities in functional languages." In 2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS). IEEE, 2016. http://dx.doi.org/10.1109/dcps.2016.7588296.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Giantsios, Aggelos, Nikolaos Papaspyrou, and Konstantinos Sagonas. "Concolic testing for functional languages." In PPDP '15: 17th International Symposium on Principles and Practice of Declarative Programming. ACM, 2015. http://dx.doi.org/10.1145/2790449.2790519.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Kristensen, Thomas Greve. "Exploring melody space in a live context using declarative functional programming." In the 2nd ACM SIGPLAN international workshop. ACM Press, 2014. http://dx.doi.org/10.1145/2633638.2633646.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Caballero, Rafael. "A declarative debugger of incorrect answers for constraint functional-logic programs." In the 2005 ACM SIGPLAN workshop. ACM Press, 2005. http://dx.doi.org/10.1145/1085099.1085102.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Sarkar, Abhiroop, and Mary Sheeran. "Hailstorm: A Statically-Typed, Purely Functional Language for IoT Applications." In PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming. ACM, 2020. http://dx.doi.org/10.1145/3414080.3414092.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Papantonakis, Anthony, and Peter J. H. King. "Gql, a declarative graphical query language based on the functional data model." In the workshop. ACM Press, 1994. http://dx.doi.org/10.1145/192309.192336.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

"A DECLARATIVE EXECUTABLE MODEL FOR OBJECT-BASED SYSTEMS BASED ON FUNCTIONAL DECOMPOSITION." In 1st International Conference on Software and Data Technologies. SciTePress - Science and and Technology Publications, 2006. http://dx.doi.org/10.5220/0001317300630068.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Schmidt-Schauß, Manfred, David Sabel, and Nils Dallmeyer. "Sequential and Parallel Improvements in a Concurrent Functional Programming Language." In PPDP '18: The 20th International Symposium on Principles and Practice of Declarative Programming. ACM, 2018. http://dx.doi.org/10.1145/3236950.3236952.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Declarative; Functional' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography