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 (September 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 (November 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 (June 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 (August 3, 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 assessment focused on executive function and declarative memory which also included a measure of SA and functional independence. Two separated linear models were performed including functional independence, SA, and two neuropsychological factors (declarative memory and executive function) derived from a previous principal component analysis. Results Moderation analysis show a significant interaction between SA and executive function, reflecting an association between lower executive functioning and poorer functional outcome, only in participants with low levels of SA. Notwithstanding, declarative memory do not show a significant interaction with SA, even though higher declarative memory scores were associated with better functional independence. Conclusions SA seems to play a moderator effect between executive function, but not declarative memory, and functional independence. Accordingly, participants with executive deficits and low levels of SA might benefit from receiving specific SA interventions in the first instance, which would in turn positively impact on their functional independence.
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 (August 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 (August 14, 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 descriptive analysis. Data are taken from the novel The Little Prince by Antoine de Saint Exupery. After analyzing the data, it can be concluded that the all data are included into the declarative mood in this research, two data are included into constituent the nominal group as theme, and one data is included include into constituent prepositional phrase as theme in this research.
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 they suspect are incorrect. It also deemphasizes such responses’ being answers to questions while emphasizing their being presented for teacher evaluation.
APA, Harvard, Vancouver, ISO, and other styles
9

Seymour, Leslie G. "Declarative Consciousness for Reconstruction." Journal of Artificial General Intelligence 4, no. 3 (December 1, 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 conditions. An IT model of the neocortex is maintained, which is then updated each time new stimuli are received from the LifeLog data stream; new information is gained from brain signal measurements; and new functional dependencies are discovered between live persona consumed/produced signals
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.
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 participants with (HR+) and without psychotic symptoms (HR-), those who are now ill (Scz) and controls (C ), using one-way ANOVAs and repeated measures ANCOVAs. Aspects of verbal and non-verbal memory were also compared between the HR and C in the first 100 participants to undergo an fMRI scan using one-way ANOVAs. In the same participants, differences between groups in blood oxygen level dependent (BOLD) fMRI brain responses during an event related verbal encoding (word classification) and retrieval task were investigated using fixed and random effects general linear models. Results: On a test of verbal learning at baseline, Scz performed significantly less well than HR. However, there were no significant interactions of time by group, and HR showed stable impairments relative to C on immediate and delayed prose recall, delayed list recall and response suppression across both assessments before and after controlling for IQ. Measures of genetic liability were inversely correlated with delayed prose recall over time. HR showed poorer cued delayed recall, and less word retention between short and long delay recall trials on a verbal learning test. A visual recognition test also significantly discriminated between HR and C. Behavioural analysis of the fMRI verbal memory task revealed no differences between groups in reaction time or accuracy. However, during encoding there was a greater BOLD response in the right inferior frontal lobe (BA45/44) in HR relative to C, and in the right inferior parietal lobule (BA7/40) in HR+ relative to C and HR-. During correct recognition compared to correct rejection responses there was a greater bilateral cerebellar and left inferior frontal response in HR relative to C, and an increased thalamus response in HR-relative to HR+. Conclusions: Stable differences in NP performance over time suggest a trait deficit, which is relatively unaffected by the presence of psychotic symptoms and schizophrenia onset, although small numbers might be have been precluded detection significant time by group interactions. Poorer verbal memory performance overall in Scz suggests that this deficit is more pronounced in those who go on to develop schizophrenia. Non-verbal learning impairments reflect encoding deficits, while verbal learning impairments reflect encoding and retention difficulties in the HR group.
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, et contrôle la morphogénèse de divers tissus dont les tissus épithéliaux et mésenchymateux, ainsi que pour les tissues cardiaques, osseux, pulmonaire ou encore rénaux, mais aussi le système nerveux pour n'en citer que quelques‐uns.Afin d'identifier le rôle de vangl2, un des gènes centraux de la PCP, dans la mise en place de la circuiterie hippocampale, nous avons créé un modèle murin où vangl2 est supprimé de façon conditionnelle (cKO) dans le télencéphale à des stades précoces de l’embryogénèse. J’ai d'abord montré que Vangl2 est enrichi dans les neurones immatures de la zone sous granulaire du DG, ainsi que dans l’arborisation des neurites (axones et dendrites) des cellules granulaires (CG) du gyrus denté (DG) de l’hippocampe. Ainsi, Vangl2 est enrichi dans le stratum lucidum (sl), une région dense en contacts synaptiques entre le DG et le CA3. Dans cette région a lieu une synapse très particulière entre l'axone des CG, la fibre moussue (Mf) qui forme des boutons géants (MfB) et les excroissances épineuse (TE) issues de la partie proximale des dendrites apicaux. L'analyse structurale et ultra structurale de ces épines démontre que l'élargissement et la complexification de la synapse MfB/TE est bloquée dans nos mutants, alors que les zones actives (PSD) des épines sont présentes, mais réorganisées. De façon intéressante,dans une zone plus distale des dendrites des neurones du CA3 (sl), les épines sont, elles, plus grosses, suggérant un remodelage complexe du réseau en l'absence de vangl2. Enfin, j’ai pu montrer que ces défauts morphologiques étaient corrélés à des problèmes de mémoire complexe (mémoire déclarative) qui dépendent de l’hippocampe mais aussi du cortex. Cette étude montre pour la première fois l’importance du signal PCP dans maturation in vivo d’un circuit hippocampique spécifique ainsi que ces conséquences cognitives. D'autres résultats in vitro montrent que la suppression de vangl2 augmente la vitesse de déplacement des cônes de croissance sur des substrats de N‐cadhérine. J’ai utilisé la microscopie en super résolution spt‐PALM‐TIRF pour montrer que cette augmentation de croissance est inversement proportionnelle à la vitesse du flux rétrograde d’actine. Des expériences de FRAP permettent de suggérer que les molécules de N‐cadhérine engagées dans des interactions hémophiliques (adhésion) est plus importante dans les mutants vangl2 Je propose que Vangl2 contrôle le recyclage et la stabilité des protéines N‐cadhérine dans les sites d’adhésion afin de réguler localement les dynamiques d’actine et par conséquent la croissance neuronale
Planar Cell Polarity (PCP) is a signaling pathway originally known for its role in the establishment of cellular asymmetry perpendicular to the apico‐basal axis, in the plane of an epithelium. PCPsignaling has been shown to be crucial for many tissue patterning, including epithelial and mesenchymal tissue, but also cardiac, lung, bone, or kidney tissues, to cite a few. PCP signaling controls the regulation of cellular movement via the control of adhesion turnover and cytoskeleton reorganization. Vangl2 is one of the most upstream core PCP proteins that has been implicated in the recent years in various neuronal mechanisms, such as axonal guidance, dendrite morphogenesis or synaptogenesis. However, most of these studies rely on acute downregulation of the gene in vitro or in the use of a mouse presenting a spontaneous mutation of this gene, called Loop‐tail (Vangl2Lp) which causes the death of the embryo at birth. Moreover, the Vangl2Lp form of this protein has been described has a dominant‐negative form, making it difficult to untangle the molecular mechanism leading to the many phenotypes (included neuronal ones) reported inhomozygotes Looptail mice. To bypass this problem we created a conditional knockout (cKO) mouse in which vangl2 is deleted in the telencephalon during early embryogenesis. First, I analyzed the profile of expression of the protein during the first 3 weeks after birth, and I show that Vangl2 is specifically targeted to the arborization of granular cells (GC) of the dentate gyrus (DG) of the hippocampus, and excluded from cell bodies. Also, the protein was highly enriched in immature neurons of the subgranular zone of the DG, and in the stratum lucidum, a region of high‐density contacts between the GC and the CA3. In this region, a special type of synapse is formed: the Mossy Fiber Bouton (MfB) / Thorny Excrescence (TE) synapse. These synapses are bigger and more complex than conventional synapses. I then performed a structural and ultrastructural analysis of the DG/CA3 circuit in the Vangl2 cKO mice in order to understand the role of Vangl2 in the hippocampus maturation. For this, I used stereotaxic mice infection viruses, and Serial block face scanning electron microscopy (SBFsEM) with 3D reconstruction. Results show that in cKO mice, Mfs fasciculation is mildly impacted, and that the enlargement and complexification of the MfB/TE synapse is arrested, with TEs almost absent. I was able to link these morphological abnormalities to deficits in complex hippocampal‐dependent learning tasks. This work demonstrates for the first time the importance of PCP signaling for the in vivo maturation of a specific hippocampal circuit and its specific cognitive consequences. Next, I attempted to identify the functional consequences of vangl2 deletion on young hippocampal neuron maturation. My results confirm that Vangl2 is expressed in young hippocampal neurons and that the deletion of the gene affected neurite outgrowth on Ncadherin substrate. I used spt‐PALM‐TIRF super‐resolution microscopy to show that this increased neurite outgrowth was inversely proportional to a decrease in actin retrograde flowand to a decrease in the number of directed actin trajectories. These results strongly suggest that N‐cadherin adhesions are affected by Vangl2 deletion. FRAP experiments demonstratedthat in Vangl2 cKO neurons the recovery of N‐cadherin molecules engaged in homophilicbindings (adhesion) was decreased, suggesting that the turnover of N‐cadherin involved inadhesion is reduced. Altogether, I propose that Vangl2 controls the turnover/stability of Ncadherin proteins at adhesion sites to regulate local actin dynamics and consequently neuronal outgrowth
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, no studies assessing how these brain regions are working together in a recollection or a familiarity network, respectively. Additionally, there are almost no studies to date, which directly searched for overlapping regions. Therefore, in study I of the current thesis, brain regions associated to both recognition processes are searched investigated. Additionally, a connectivity analysis will search for functional correlated brain activations that either build a recollection or a familiarity network. It is undoubtable that the Brain Derived Neurotrophic Factor (BDNF) is strongly involved in synaptic plasticity in the hippocampus (Bramham & Messaoudi, 2005) and there is evidence that a genetic variant of this neurotrophin (BDNF 66Met) is related to poorer memory performance (Egan, et al., 2003). Therefore, in study II of the current thesis, the effect of BDNF Val66Met on recollection and familiarity performance and related brain activations is investigated. Finally, one could summarize, that serotonin, like BDNF, is strongly involved in brain development and plasticity as well as in learning and memory processes (Vizi, 2008). More precisely, there is evidence for alterations in the structure of brain regions, which are known to be involved in emotional memory formation and retrieval, like amygdala and hippocampus (Frodl, et al., 2008; Munafo, Brown, & Hariri, 2008; Pezawas, et al., 2005). One study found an slight epistatic effect of BDNF and 5-HTTLPR on the grey matter volume of the amygdala (Pezawas, et al., 2008). Therefore, in study III, it is investigated if such an interaction effect could be substantiated for the amygdala and additionally revealed for the hippocampus. The results of the current thesis allow further comprehension of recollection, hence episodic memory, and point to a special role of the BDNF in temporal and prefrontal brain regions. Additionally, the finding of an epistatic effect between BDNF and serotonin transporter function point to the need of analyzing interactions between genes and also between genes and environmental factors which reveals more information than the study of main effects alone. In conclusion, analyzing behavioral and neural correlates of episodic memory reveal allowed insights in brain functions that may serve as guideline for future studies in clinical populations with memory deficits, including susceptibility factors such as good or bad environment, as well as promising gene variants that influence episodic memory.
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 too strong to observe a glucose slowing effect. Here participants performed a greater number of training trials and stimuli were arguably mapped more directly to a response compared to study 2. In study 3 we tested the hypothesis that glucose slows sensorimotor function when S-R associations are weak. Here we used a letter version of the Eriksen flanker task and kept S-R association consistently low by changing the stimulus set to a novel pair of letters every 80 trials. We found that glucose constantly slowed RTs for the duration of this task, a result which is congruent with the hypothesis that glucose slows sensorimotor function when S-R associations are weak. In study 4 we focused on the effects of glucose administration on declarative memory function and sought to determine whether glucose affected the encoding of stimuli in a word recognition task. Here we used ERPs as an online measure of encoding processes. Our findings were that glucose enhanced recognition performance, replicating the well established effect that glucose- facilitates declarative memory. Furthermore, during encoding, glucose affected ERP components associated with early sensory processing, visual word-form generation, lexical/semantic access and long-term memory encoding/consolidation. Furthermore there was a correlation between recognition performance and the degree to which glucose amplified the N400 component, an ERP potential associated with lexical/semantic access. The results of this study therefore indicate that glucose modulates encoding processes and that these effects may, at least partially, underlie the glucose facilitation of declarative memory.
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 least slightly advanced in the field of information technologies. The paper is divided into a theoretical and practical parts. Theoretical part is covered by chapters 3-8. Theoretical part describes motivation for introduction of the new elements, describes functional programming and its basic principles, then it shows basic principles of the newly introducted elements and ends with the description of the java.util.stream package. Pactical part is covered by chapters 9 and 10. Practical part concerns with stream oper-ations and extension design of existing functionality.
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. Stanford, Calif: 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. New York, N.Y: 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. Washington, D.C: 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 object as having them is mistaken, in the light of the earlier analysis of collective acceptance as a matter of members of a community having appropriate we-intentions or conditional we-intentions directed at the relevant things.
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 distribution of these orders and showing that further research is needed to arrive at a more adequate understanding of their function in the discourse. The chapter closes up with the discussion of the later development of verb-initial declaratives in German, sketching the controversial treatments of this question in the literature on German diachronic syntax.
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 complementizer morpheme is syntactically active. The basic template for complementizers that I argue for is F4 > F3 > F2 > F1. Evidence in favor of this template comes from crosslinguistic patterns of syncretism and featural Relativized Minimality (Starke 2001; Rizzi 2004; Haegeman 2010, among others). Evidence in favor of different realizations of the complementizer is provided by means of long-distance extractions across declarative embedded clauses.
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 investigation of human cognitive functions. This article emphasizes the fact that higher cognitive functions provide an example as to how underlying physiological mechanisms cannot be fully disclosed by investigations based on a single technique. Studies to develop a true multimodal approach are being undertaken. In this light, behavioural interference studies will gain new power in combination with disruptive and correlational methodologies, establishing causality in a more sophisticated manner.
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 learning—the loss by stimuli of their ability to elicit approach and other responses. Dopamine-related diseases including schizophrenia, Parkinson’s, attention deficit hyperactivity disorder, and drug abuse involve altered incentive learning. Incentive and inverse incentive learning may occur by the actions of dopamine, adenosine, and endocannabinoids at dendritic spines of striatal medium spiny neurons that have had recent glutamate input. Activity in dopaminergic neurons in humans appears to affect mental experience.
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, 273–308. Berlin, Heidelberg: 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, 232–51. Cham: 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, 376–90. Berlin, Heidelberg: 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, 420–21. Berlin, Heidelberg: 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, 427–28. Berlin, Heidelberg: 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, 20–34. London: 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, 124–38. Cham: 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, 3–19. Cham: 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, 16–31. Berlin, Heidelberg: 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, 193–208. Berlin, Heidelberg: 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. New York, NY, USA: 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. New York, New York, USA: 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. New York, NY, USA: 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. New York, New York, USA: 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. New York, New York, USA: 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. New York, NY, USA: 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. New York, New York, USA: 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. New York, NY, USA: 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