To see the other types of publications on this topic, follow the link: Higher Order Information.

Dissertations / Theses on the topic 'Higher Order Information'

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Higher Order Information.'

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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Alexiou, Ioannis. "Complex filters and higher-order spatial information for image categorization." Thesis, Imperial College London, 2013. http://hdl.handle.net/10044/1/14488.

Full text
Abstract:
This Thesis applies complex spatial filters to the front end filtering to a computer vision framework for object recognition and scene categorization. This involves careful filter design in the Fourier domain based on discrete frame properties. Biological plausibility of the suggested filtering is compared against a common model found in the computer vision literature. The designed complex filter bank is equipped with focus-of-attention operators. Specifically, two possible keypoint detection methodologies are examined and compared with state of the art keypoint detection methods. This includes an investigation of scale-estimation methods. In addition, three image patch descriptor arrangements are proposed to sample the complex filter responses, and an initial evaluation of categorization performance is undertaken. Next, the spatial pooling arrangement of the best performing descriptor is further optimised and the performance of different complex filter bandwidths is examined in class separation tasks. A further study is conducted on the effects of a Winner-Take-All (WTA) approach to modifying filter responses before pooling. A thorough evaluation of descriptor performance is undertaken to reveal any advantages or disadvantages from a variety of perspectives. Next, the clustering behaviour of descriptors of various types is inspected in the descriptor feature space. A reverse look-up of visual words attempts to relate clustering behaviour to descriptor performance. Typical grouping approaches, such as spatial pyramids, are then compared with a novel method for coupling visual words in which a linear kernel SVM learns class separability. A final evaluation on this stage is presented and discussed, leading to conclusive arguments about the importance of careful approaches to word-pairing for good-quality categorization.
APA, Harvard, Vancouver, ISO, and other styles
2

Helvik, Torbjørn. "Dynamical systems of interacting units : Information transport and higher order structures." Doctoral thesis, Norwegian University of Science and Technology, Faculty of Information Technology, Mathematics and Electrical Engineering, 2006. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-715.

Full text
Abstract:
<p>How can one model, characterize and analyse systems consisting of a large number of interacting units? This thesis addresses various related aspects of this issue using dynamical systems theory. The thesis is constituted by four papers presenting the main findings as well as an introductory part giving the context of the work.</p><p>In Paper I, we use evolutionary game theory to study a social dilemma where a group can obtain a collective benefit, but only if a threshold on the number of members willing to cooperate at a personal cost is met. The replicator dynamics of our model has interesting features, including catastrophic events. We also generalize the analysis to other n-player games.</p><p>In Paper II, we introduce several new concepts and principles for describing and studying hierarchicalmultilevel systems with interactions both between groups and among individual units. We illustrate these concepts through defining a class of systems called higher order cellular automata, and discuss new phenomena and patterns of behaviour found in these systems.</p><p>In Paper III, we introduce a local information measure for one-dimensional lattice systems in order to characterize the coherent structures emerging from the dynamics of higher order cellular automata as well as ordinary cellular automata. A further objective is to investigate to what extent information can be viewed as a local quantity in such systems. We demonstrate the applicability of our informationmeasure to these problems.</p><p>Paper IV is a continuation of Paper III. We show that local information is a locally conserved quantity in the important class of surjective cellular automata and provide bounds on the information transport.</p><p>The novel concepts and findings of the thesis may lead to an improved understanding of various phenomena found in systems of interacting units, and in particular systems with amultilevel dynamics.</p><br>Paper I: reprinted with kind permission of Elsevier, sciencedirect. com Paper II: reprinted from "Advances in Complex Systems", Vol. 8, nos. 2-3. Baas, Na and Helvik T. Higher Order Cellular Automata, 169-192, 2005, with permission from World Scientific Publishing Co. Pte. Ltd. Singapore.
APA, Harvard, Vancouver, ISO, and other styles
3

Collins, Gary Wayne. "Information communication technology as a cognitive tool to facilitate higher-order thinking." Thesis, University of Pretoria, 2012. http://hdl.handle.net/2263/24075.

Full text
Abstract:
Digital educational technology is capable of contributing supplementary strategies that can be used to address various educational challenges faced by higher education. Foremost among these challenges is the widespread lack of academic preparedness of students who enter South African higher education institutions. The legacy of Apartheid, teachers' poor domain knowledge and command of the language of instruction, together with a lack of commitment to the cognitive development of learners are some of the reasons why students have not developed the cognitive skills required to engage in meaningful learning. Meaningful learning requires a high level of conceptual engagement and development. To assist in the learning process, educators must focus on student learning rather than on the instructor and the technology used in the instruction. A powerful means of supporting meaningful learning is through a process of model building. Computer technology can effectively be used to facilitate the building of conceptual models. By encouraging students to use computer technology to build models that represent their personal understanding, the students are performing the role of designer and the technology is used as a cognitive tool. Using digital technology as a cognitive tool allows students to engage in critical thinking and higher-order learning. An expert system shell is one way in which technology can be used as a cognitive tool. When students build expert systems they are required to demonstrate the reasoning of an expert and to exhibit an understanding of causal relationships and procedural knowledge. There is very little evidence of research concerning the application of expert systems as a cognitive tool in education. The primary aim of this study is to formulate design principles in the form of conjectures and principles related to a learning environment that uses technology as a cognitive tool in the form of an expert system shell to promote higher-order thinking skills. The second aim of this study is to explore the experiences of students who are exposed to a learning environment based on the conjectures and principles formulated during the design phase of the research. The conjectures and principles formulated during this study are expressed in terms of the characteristics, procedures and arguments associated with a learning environment that uses technology in the form of an expert system shell to facilitate higher-order thinking. These conjectures and principles were separated into seven interrelated clusters that can be summarised as follows: <ul><li> initial exposure;</li><li> guided discovery learning;</li><li> designing the expert system on paper;</li><li> creating domain awareness;</li><li> linking conceptual understanding to a representation of that understanding;</li><li> hands-on development; and</li><li> problem engagement.</il></ul> These conjectures and principles could guide similar endeavours undertaken by lecturers or instructional designers.<br>Thesis (PhD)--University of Pretoria, 2012.<br>Science, Mathematics and Technology Education<br>unrestricted
APA, Harvard, Vancouver, ISO, and other styles
4

Peters, Mathias, and del Valle Jaime Armijo. "Kunskap om, användande av och vilja att använda higher-order functions i industrin och i akademia." Thesis, Uppsala universitet, Institutionen för informatik och media, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-301401.

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

Win, Maung Nyan Parker Carl Stevens Smolke Christina D. "Engineering RNA devices for gene regulation, biosensing, and higher-order cellular information processing /." Diss., Pasadena, Calif. : Caltech, 2008. http://resolver.caltech.edu/CaltechETD:etd-05282008-142750.

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

Dube, Sibusisiwe. "A paradox of the second order digital divide in higher education institutions of developing countries: case of Zimbabwe." Doctoral thesis, Faculty of Commerce, 2021. http://hdl.handle.net/11427/33697.

Full text
Abstract:
Although this is not a new research phenomenon, the literature has often associated the digital divide (second order or otherwise) with sociodemographic, sociocultural and socioeconomical factors as reasons for the digital divide. However, there is little presence in the literature into the underlying structures (physical or abstract arrangement) leading to the divide. This means that the underlying structures leading to this problem have so far been ignored and require scholarly attention. This study, therefore, identifies and explains the structures leading to the second order digital divide, a problem relating to the unequal use of information and communication technologies (ICTs) which is more prevalent in the higher education institutions (HEIs) of developing countries. Before the structures that lead to the second order digital divide could be explained the interlocking dynamics of ICT adoption needed to be identified. Structuration Theory was employed as a sensitising tool for collecting, analysing, and interpreting qualitative data for this interpretivist research. Novel qualitative data were collected from a purposive sample drawn from a single HEI of Zimbabwe, a developing country of high literacy. Directed content analysis generated insightful explanations of the structures leading to the second order digital divide at the HEI case. Preliminary analysis based on a deductive logic approach identified signification, domination, and legitimation as some of the structures leading to the second order digital divide at the HEI case. Further analysis based on an inductive logic approach revealed additional belief, institutional and governance structures which manifested from the interlocking dynamics of ICT adoption, involving resources, leadership, adoption behaviours and empowerment. These findings contributed to practice by explaining the underlying structures of the second order digital divide, for the benefit of ICT4D researchers, and by suggesting interventions to HEI policy-makers for reducing the second order digital divide. The results also make an iv explanatory contribution to theory by presenting a model of the interlocking dynamics of ICT adoption for theorising about the complex second order digital divide.
APA, Harvard, Vancouver, ISO, and other styles
7

Huppe, Alicia. "An Exploratory Study of Students' Use of Facebook and Other Communication Modalities in Order to Receive Student Affairs Information." Thesis, University of North Texas, 2011. https://digital.library.unt.edu/ark:/67531/metadc67992/.

Full text
Abstract:
This qualitative study explored Facebook as a communication tool for student affairs and compared it as a source with other communication modalities to describe the 18-24 year old student preference on receiving information about student affairs departments and activities. The research questions were designed to provide feedback on the current purpose[s] of student use of Facebook for student affairs services as well as reporting additional services and activities that would be considered through the use of Facebook. Differences in use among institutional types were also explored. The results of 395 online survey responses were compared to focus groups consisting of student ambassadors at a two-year public, four-year private, and four-year public institution. The online survey participants were asked to respond to specific modes of communication based upon each service or activity. The focus groups were asked the same questions in an open-ended format and the results were compared to the online results. The results indicate that depending on the event or activity, the students preferred a different method of communication, not necessarily Facebook for information on student affairs programming. These results also differed among institutional types. Two-year institutions have the greatest potential to increase their presence on Facebook. One theme that emerged from the open-ended response question in the online survey was that institutions participating on Facebook should limit content so that it is more social in nature and leave academically related issues to institutionally driven communication modalities. There are numerous options to communicate information to students and finding the best one may be more challenging than actually disseminating the information. With the administrative challenges and lack of student responses encouraging Facebook usage, institutions of higher education are not encouraged to spend enormous resources in this one particular communication modality. Given the high number of responses from the online survey combined with feedback from the focus groups, enhanced email options or web portal content might serve the current needs.
APA, Harvard, Vancouver, ISO, and other styles
8

Conley, Thomas A. "Effective Programmatic Analysis of Network Flow Data for Security and Visualization using Higher-order Statistics and Domain Specific Embedded Languages." Ohio University / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou1336482912.

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

Wong, Chi-kong. "A structured learning activity : using web browsing & publishing for the development of independent learning, IT competence & higher-order thinking /." Hong Kong : University of Hong Kong, 1998. http://sunzi.lib.hku.hk/hkuto/record.jsp?B20058007.

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

Mohamed, Abdul Cader Akmal Jahan. "Finger biometric system using bispectral invariants and information fusion techniques." Thesis, Queensland University of Technology, 2019. https://eprints.qut.edu.au/134464/1/Akmal%20Jahan_Mohamed%20Abdul%20Cader_Thesis.pdf.

Full text
Abstract:
Contactless hand biometric systems are better accepted than contact prints as they are hygienic and accelerate data acquisition. This research is one of the few investigating contactless biometrics of the full hand by proposing a novel algorithm based on ridge orientation information along lines connecting key points, higher order spectral features, and fusion. It was investigated with contactless finger images acquired from 81 users, and found to be robust to hand orientation and image size, and provide acceptable performance using two fingers with fusion. The algorithm has potential to use in high throughput applications where contact sensing may be slow.
APA, Harvard, Vancouver, ISO, and other styles
11

Yip, Wing-shun, and 葉榮信. "The difference between traditional learning environment and information enriched learning environment on the acquisition andtransfer of higher order thinking skills in a biological context." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1998. http://hub.hku.hk/bib/B31960595.

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

Becker, Sebastian Josef Albrecht. "Perspectives on what to believe : the information-sensitivity of the doxastic 'should' and its implications for normative epistemology." Thesis, University of St Andrews, 2016. http://hdl.handle.net/10023/9890.

Full text
Abstract:
This thesis explores the extent to which the doxastic ‘should' is information-sensitive and the implications of this for a number of debates in normative epistemology. The doxastic ‘should' is a special case of the deontic modal ‘should' and occurs in sentences such as ‘You shouldn't believe everything you read online'. In the recent semantics literature, it has been suggested that the deontic ‘should' is information-sensitive, meaning that sentences of the form ‘S should do A' are relativized to information-states. After a short introductory chapter, I survey the relevant semantics literature in chapter 2 and provide a simplified contextualist semantics for the doxastic ‘should', according to which the truth-conditions of sentences containing the doxastic ‘should' vary with the information-state provided by their context of utterance. In chapters 3 to 6, I discuss the different kinds of information-states the doxastic ‘should' can be relativized to and how the respective relativization matters for normative epistemology. Chapter 3 argues that the doxastic ‘should' has a subjective and an objective sense and that this distinction solves the apparent conflict between subjective epistemic norms and the truth norm for belief. Chapter 4 addresses the question of how one should react to misleading higher-order evidence. I propose that two seemingly opposing views on this issue, Steadfastness and Concilliationism, are both correct. In a sense of ‘should' that is relativized to one's first-order evidence, one should remain steadfast in the face of misleading higher-order evidence, but in another sense, which is relativized to one's higher-order evidence, one shouldn't. In chapters 5 and 6, I argue that when we advise others on what they should believe, we talk about what they should believe in light of their and our joint evidence. Chapter 7 concludes this thesis with a defence of contextualist semantics for the doxastic ‘should' against truth-relativist challenges.
APA, Harvard, Vancouver, ISO, and other styles
13

Yip, Wing-shun. "The difference between traditional learning environment and information enriched learning environment on the acquisition and transfer of higher order thinking skills in a biological context." Hong Kong : University of Hong Kong, 1998. http://sunzi.lib.hku.hk/hkuto/record.jsp?B20057441.

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

Wong, Chi-kong, and 黃志剛. "A structured learning activity: using web browsing & publishing for the development of independent learning, ITcompetence & higher-order thinking." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1998. http://hub.hku.hk/bib/B31960510.

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

Keil, Roman Matthias [Verfasser], and Peter [Akademischer Betreuer] Thiemann. "Higher-order contracts for JavaScript." Freiburg : Universität, 2018. http://d-nb.info/1173615822/34.

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

Perez, Parra Jorge Andres <1983&gt. "Higher-Order Concurrency: Expressiveness and Decidability Results." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amsdottorato.unibo.it/2285/1/perezparra_jorgeandres_tesi.pdf.

Full text
Abstract:
Higher-order process calculi are formalisms for concurrency in which processes can be passed around in communications. Higher-order (or process-passing) concurrency is often presented as an alternative paradigm to the first order (or name-passing) concurrency of the pi-calculus for the description of mobile systems. These calculi are inspired by, and formally close to, the lambda-calculus, whose basic computational step ---beta-reduction--- involves term instantiation. The theory of higher-order process calculi is more complex than that of first-order process calculi. This shows up in, for instance, the definition of behavioral equivalences. A long-standing approach to overcome this burden is to define encodings of higher-order processes into a first-order setting, so as to transfer the theory of the first-order paradigm to the higher-order one. While satisfactory in the case of calculi with basic (higher-order) primitives, this indirect approach falls short in the case of higher-order process calculi featuring constructs for phenomena such as, e.g., localities and dynamic system reconfiguration, which are frequent in modern distributed systems. Indeed, for higher-order process calculi involving little more than traditional process communication, encodings into some first-order language are difficult to handle or do not exist. We then observe that foundational studies for higher-order process calculi must be carried out directly on them and exploit their peculiarities. This dissertation contributes to such foundational studies for higher-order process calculi. We concentrate on two closely interwoven issues in process calculi: expressiveness and decidability. Surprisingly, these issues have been little explored in the higher-order setting. Our research is centered around a core calculus for higher-order concurrency in which only the operators strictly necessary to obtain higher-order communication are retained. We develop the basic theory of this core calculus and rely on it to study the expressive power of issues universally accepted as basic in process calculi, namely synchrony, forwarding, and polyadic communication.
APA, Harvard, Vancouver, ISO, and other styles
17

Perez, Parra Jorge Andres <1983&gt. "Higher-Order Concurrency: Expressiveness and Decidability Results." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amsdottorato.unibo.it/2285/.

Full text
Abstract:
Higher-order process calculi are formalisms for concurrency in which processes can be passed around in communications. Higher-order (or process-passing) concurrency is often presented as an alternative paradigm to the first order (or name-passing) concurrency of the pi-calculus for the description of mobile systems. These calculi are inspired by, and formally close to, the lambda-calculus, whose basic computational step ---beta-reduction--- involves term instantiation. The theory of higher-order process calculi is more complex than that of first-order process calculi. This shows up in, for instance, the definition of behavioral equivalences. A long-standing approach to overcome this burden is to define encodings of higher-order processes into a first-order setting, so as to transfer the theory of the first-order paradigm to the higher-order one. While satisfactory in the case of calculi with basic (higher-order) primitives, this indirect approach falls short in the case of higher-order process calculi featuring constructs for phenomena such as, e.g., localities and dynamic system reconfiguration, which are frequent in modern distributed systems. Indeed, for higher-order process calculi involving little more than traditional process communication, encodings into some first-order language are difficult to handle or do not exist. We then observe that foundational studies for higher-order process calculi must be carried out directly on them and exploit their peculiarities. This dissertation contributes to such foundational studies for higher-order process calculi. We concentrate on two closely interwoven issues in process calculi: expressiveness and decidability. Surprisingly, these issues have been little explored in the higher-order setting. Our research is centered around a core calculus for higher-order concurrency in which only the operators strictly necessary to obtain higher-order communication are retained. We develop the basic theory of this core calculus and rely on it to study the expressive power of issues universally accepted as basic in process calculi, namely synchrony, forwarding, and polyadic communication.
APA, Harvard, Vancouver, ISO, and other styles
18

Vignudelli, Valeria <1985&gt. "Behavioral Equivalences for Higher-Order Languages with Probabilities." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amsdottorato.unibo.it/7968/7/Vignudelli_Valeria_tesi.pdf.

Full text
Abstract:
Higher-order languages, whose paradigmatic example is the lambda-calculus, are languages with powerful operators that are capable of manipulating and exchanging programs themselves. This thesis studies behavioral equivalences for programs with higher-order and probabilistic features. Behavioral equivalence is formalized as a contextual, or testing, equivalence, and two main lines of research are pursued in the thesis. The first part of the thesis focuses on contextual equivalence as a way of investigating the expressiveness of different languages. The discriminating powers offered by higher-order concurrent languages (Higher-Order pi-calculi) are compared with those offered by higher-order sequential languages (à la lambda-calculus) and by first-order concurrent languages (à la CCS). The comparison is carried out by examining the contextual equivalences induced by the languages on two classes of first-order processes, namely nondeterministic and probabilistic processes. As a result, the spectrum of the discriminating powers of several varieties of higher-order and first-order languages is obtained, both in a nondeterministic and in a probabilistic setting. The second part of the thesis is devoted to proof techniques for contextual equivalence in probabilistic lambda-calculi. Bisimulation-based proof techniques are studied, with particular focus on deriving bisimulations that are fully abstract for contextual equivalence (i.e., coincide with it). As a first result, full abstraction of applicative bisimilarity and similarity are proved for a call-by-value probabilistic lambda-calculus with a parallel disjunction operator. Applicative bisimulations are however known not to scale to richer languages. Hence, more robust notions of bisimulations for probabilistic calculi are considered, in the form of environmental bisimulations. Environmental bisimulations are defined for pure call-by-name and call-by-value probabilistic lambda-calculi, and for a (call-by-value) probabilistic lambda-calculus extended with references (i.e., a store). In each case, full abstraction results are derived.
APA, Harvard, Vancouver, ISO, and other styles
19

Bruse, Florian [Verfasser]. "Extremal fixpoints for higher-order modal logic / Florian Bruse." Kassel : Universitätsbibliothek Kassel, 2020. http://d-nb.info/1220854093/34.

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

Ferone, A. "EXPLOITING HIGHER ORDER UNCERTAINTY IN IMAGE ANALYSIS." Doctoral thesis, Università degli Studi di Milano, 2011. http://hdl.handle.net/2434/155479.

Full text
Abstract:
Soft computing is a group of methodologies that works synergistically to provide flexible information processing capability for handling real-life ambiguous situations. Its aim is to exploit the tolerance for imprecision, uncertainty, approximate reasoning, and partial truth in order to achieve tractability, robustness, and low-cost solutions. Soft computing methodologies (involving fuzzy sets, neural networks, genetic algorithms, and rough sets) have been successfully employed in various image processing tasks including image segmentation, enhancement and classification, both individually or in combination with other soft computing techniques. The reason of such success has its motivation in the fact that soft computing techniques provide a powerful tools to describe uncertainty, naturally embedded in images, which can be exploited in various image processing tasks. The main contribution of this thesis is to present tools for handling uncertainty by means of a rough-fuzzy framework for exploiting feature level uncertainty. The first contribution is the definition of a general framework based on the hybridization of rough and fuzzy sets, along with a new operator called RF-product, as an effective solution to some problems in image analysis. The second and third contributions are devoted to prove the effectiveness of the proposed framework, by presenting a compression method based on vector quantization and its compression capabilities and an HSV color image segmentation technique.
APA, Harvard, Vancouver, ISO, and other styles
21

Happe, Lucia [Verfasser]. "Configurable Software Performance Completions through Higher-Order Model Transformations / Lucia Happe." Karlsruhe : KIT Scientific Publishing, 2014. http://www.ksp.kit.edu.

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

Gavazzo, Francesco <1989&gt. "Coinductive Equivalences and Metrics for Higher-order Languages with Algebraic Effects." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amsdottorato.unibo.it/9075/1/main.pdf.

Full text
Abstract:
This dissertation investigates notions of program equivalence and metric for higher-order sequential languages with algebraic effects. Computational effects are those aspects of computation that involve forms of interaction with the environment. Due to such an interactive behaviour, reasoning about effectful programs is well-known to be hard. This is especially true for higher-order effectful languages, where programs can be passed as input to, and returned as output by other programs, as well as perform side-effects. Additionally, when dealing with effectful languages, program equivalence is oftentimes too coarse, not allowing, for instance, to quantify the observable differences between programs. A natural way to overcome this problem is to re ne the notion of a program equivalence into the one of a program distance or program metric, this way allowing for a finer, quantitative analysis of program behaviour. A proper account of program distance, however, requires a more sophisticated theory than program equivalence, both conceptually and mathematically. This often makes the study of program distance way more di cult than the corresponding study of program equivalence.
APA, Harvard, Vancouver, ISO, and other styles
23

Neubauer, Johannes [Verfasser], Bernhard [Akademischer Betreuer] Steffen, and Mike [Gutachter] Hinchey. "Higher order process engineering / Johannes Neubauer. Betreuer: Bernhard Steffen. Gutachter: Mike Hinchey." Dortmund : Universitätsbibliothek Dortmund, 2014. http://d-nb.info/1104738368/34.

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

Heithausen, Cordula [Verfasser]. "Coding of Higher Order Motion Parameters for Video Compression / Cordula Heithausen." Aachen : Shaker, 2018. http://d-nb.info/1159836019/34.

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

Rajani, Vineet [Verfasser], and Deepak [Akademischer Betreuer] Garg. "A type-theory for higher-order amortized analysis / Vineet Rajani ; Betreuer: Deepak Garg." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2020. http://d-nb.info/1209947382/34.

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

Schollmeyer, Andre Verfasser], Bernd [Akademischer Betreuer] [Fröhlich, Bernd [Gutachter] Fröhlich, and Michael [Gutachter] Guthe. "Efficient and High-Quality Rendering of Higher-Order Geometric Data Representations / Andre Schollmeyer ; Gutachter: Bernd Fröhlich, Michael Guthe ; Betreuer: Bernd Fröhlich." Weimar : Professur Systeme der Virtuellen Realität, 2018. http://d-nb.info/1176126504/34.

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

Schollmeyer, Andre [Verfasser], Bernd [Akademischer Betreuer] Fröhlich, Bernd [Gutachter] Fröhlich, and Michael [Gutachter] Guthe. "Efficient and High-Quality Rendering of Higher-Order Geometric Data Representations / Andre Schollmeyer ; Gutachter: Bernd Fröhlich, Michael Guthe ; Betreuer: Bernd Fröhlich." Weimar : Professur Systeme der Virtuellen Realität, 2018. http://d-nb.info/1176126504/34.

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

Happe, Lucia [Verfasser], and R. H. [Akademischer Betreuer] Reussner. "Configurable Software Performance Completions through Higher-Order Model Transformations / Lucia Happe. Betreuer: R. H. Reussner." Karlsruhe : KIT-Bibliothek, 2011. http://d-nb.info/1028567146/34.

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

Slaats, Michaela [Verfasser]. "Infinite regular games in the higher-order pushdown and the parametrized setting / Michaela Slaats." Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012. http://d-nb.info/1019646411/34.

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

Giarrusso, Paolo G. [Verfasser], and Klaus [Akademischer Betreuer] Ostermann. "Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation / Paolo Giosuè Giarrusso ; Betreuer: Klaus Ostermann." Tübingen : Universitätsbibliothek Tübingen, 2020. http://d-nb.info/1205313524/34.

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

Giarrusso, Paolo Giosuè [Verfasser], and Klaus [Akademischer Betreuer] Ostermann. "Optimizing and Incrementalizing Higher-order Collection Queries by AST Transformation / Paolo Giosuè Giarrusso ; Betreuer: Klaus Ostermann." Tübingen : Universitätsbibliothek Tübingen, 2020. http://d-nb.info/1205313524/34.

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

Mohnen, Markus [Verfasser]. "Optimising the memory management of higher order functional programs / [RWTH Aachen, Fachgruppe Informatik]. Vorgelegt von Markus Mohnen." Aachen : RWTH, Fachgruppe Informatik, 1997. http://d-nb.info/970713789/34.

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

Lincoln, Mary Elizabeth. "Academic rigour in science assessment tasks." Thesis, Queensland University of Technology, 2010. https://eprints.qut.edu.au/33209/2/Mary_Lincoln_Citation.pdf.

Full text
Abstract:
The critical problem of student disengagement and underachievement in the middle years of schooling (Years 4 . 9) has focussed attention on the quality of educational programs in schools, in Australia and elsewhere. The loss of enthusiasm for science in the middle years is particularly problematic given the growing demand for science professionals. Reshaping middle years programs has included an emphasis on integrating Information and Communication Technologies (ICTs) and improving assessment practices to engage students in higher cognitive processes and enhance academic rigour. Understanding the nature of academic rigour and how to embed it in students. science assessment tasks that incorporate the use of ICTs could enable teachers to optimise the quality of the learning environment. However, academic rigour is not clearly described or defined in the literature and there is little empirical evidence upon which researchers and teachers could draw to enhance understandings. This study used a collective case study design to explore teachers' understandings of academic rigour within science assessment tasks. The research design is based on a conceptual framework that is underpinned by socio-cultural theory. Three methods were used to collect data from six middle years teachers and their students. These methods were a survey, focus group discussion with teachers and a group of students and individual semi-structured interviews with teachers. Findings of the case study revealed six criteria of academic rigour, namely, higher order thinking, alignment, building on prior knowledge, scaffolding, knowledge construction and creativity. Results showed that the middle years teachers held rich understandings of academic rigour that led to effective utilisation of ICTs in science assessment tasks. Findings also indicated that teachers could further enhance their understandings of academic rigour in some aspects of each of the criteria. In particular, this study found that academic rigour could have been further optimised by: promoting more thoughtful discourse and interaction to foster higher order thinking; increasing alignment between curriculum, pedagogy, and assessment, and students. prior knowledge; placing greater emphasis on identifying, activating and building on prior knowledge; better differentiating the level of scaffolding provided and applying it more judiciously; fostering creativity throughout tasks; enhancing teachers‟ content knowledge and pedagogical content knowledge, and providing more in-depth coverage of fewer topics to support knowledge construction. Key contributions of this study are a definition and a model which clarify the nature of academic rigour.
APA, Harvard, Vancouver, ISO, and other styles
34

Winter, Stefan [Verfasser], Neeraj [Akademischer Betreuer] Suri, and Domenico [Akademischer Betreuer] Cotroneo. "On the Utility of Higher Order Fault Models for Fault Injections / Stefan Winter. Betreuer: Neeraj Suri ; Domenico Cotroneo." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015. http://d-nb.info/1112268782/34.

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

Krasowski, Nikola Enrico [Verfasser], and Fred A. [Akademischer Betreuer] Hamprecht. "Automated Segmentation for Connectomics Utilizing Higher-Order Biological Priors / Nikola Enrico Krasowski ; Betreuer: Fred A. Hamprecht." Heidelberg : Universitätsbibliothek Heidelberg, 2016. http://d-nb.info/1180616405/34.

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

Krasowski, Nikola Enrico [Verfasser], and Fred [Akademischer Betreuer] Hamprecht. "Automated Segmentation for Connectomics Utilizing Higher-Order Biological Priors / Nikola Enrico Krasowski ; Betreuer: Fred A. Hamprecht." Heidelberg : Universitätsbibliothek Heidelberg, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:16-heidok-216173.

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

Lincke, Daniel [Verfasser], and Sibylle [Akademischer Betreuer] Schupp. "A transformational approach to generic software development based on higher-order, typed functional signatures / Daniel Lincke. Betreuer: Sibylle Schupp." Hamburg-Harburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg, 2012. http://d-nb.info/1048542858/34.

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

Blanchette, Jasmin Christian Verfasser], Tobias [Akademischer Betreuer] [Nipkow, and Koen [Akademischer Betreuer] Claessen. "Automatic Proofs and Refutations for Higher-Order Logic / Jasmin Christian Blanchette. Gutachter: Tobias Nipkow ; Koen Claessen. Betreuer: Tobias Nipkow." München : Universitätsbibliothek der TU München, 2012. http://d-nb.info/1024354997/34.

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

Karcher, David S. [Verfasser], Uwe [Akademischer Betreuer] Nestmann, Uwe [Gutachter] Nestmann, Sabine [Gutachter] Glesner, and Thomas [Gutachter] Hildebrandt. "Event structures with higher-order dynamics / David S. Karcher ; Gutachter: Uwe Nestmann, Sabine Glesner, Thomas Hildebrandt ; Betreuer: Uwe Nestmann." Berlin : Universitätsverlag der TU Berlin, 2019. http://d-nb.info/1182424058/34.

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

Lincke, Daniel Verfasser], and Sibylle [Akademischer Betreuer] [Schupp. "A transformational approach to generic software development based on higher-order, typed functional signatures / Daniel Lincke. Betreuer: Sibylle Schupp." Hamburg-Harburg : Universitätsbibliothek der Technischen Universität Hamburg-Harburg, 2012. http://nbn-resolving.de/urn:nbn:de:gbv:830-tubdok-11682.

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

Blanchette, Jasmin [Verfasser], Tobias [Akademischer Betreuer] Nipkow, and Koen [Akademischer Betreuer] Claessen. "Automatic Proofs and Refutations for Higher-Order Logic / Jasmin Christian Blanchette. Gutachter: Tobias Nipkow ; Koen Claessen. Betreuer: Tobias Nipkow." München : Universitätsbibliothek der TU München, 2012. http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20120628-1097834-1-6.

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

Kunčar, Ondřej Verfasser], Tobias [Akademischer Betreuer] [Gutachter] [Nipkow, and Lawrence C. [Gutachter] Paulson. "Types, Abstraction and Parametric Polymorphism in Higher-Order Logic / Ondřej Kunčar. Betreuer: Tobias Nipkow. Gutachter: Lawrence C. Paulson ; Tobias Nipkow." München : Universitätsbibliothek der TU München, 2016. http://d-nb.info/1106382153/34.

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

Bulwahn, Lukas [Verfasser], Tobias [Akademischer Betreuer] Nipkow, and Colin [Akademischer Betreuer] Runciman. "Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming / Lukas Bulwahn. Gutachter: Tobias Nipkow ; Colin Runciman. Betreuer: Tobias Nipkow." München : Universitätsbibliothek der TU München, 2013. http://d-nb.info/1033891142/34.

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

Immler, Vincent Charles [Verfasser], Georg [Akademischer Betreuer] Sigl, Christoph [Gutachter] Kutter, and Georg [Gutachter] Sigl. "Higher-Order Alphabet Physical Unclonable Functions : Constructions, Properties, and Applications / Vincent Charles Immler ; Gutachter: Christoph Kutter, Georg Sigl ; Betreuer: Georg Sigl." München : Universitätsbibliothek der TU München, 2019. http://d-nb.info/1201819865/34.

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

Karlsson, Isak. "Order in the random forest." Doctoral thesis, Stockholms universitet, Institutionen för data- och systemvetenskap, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-142052.

Full text
Abstract:
In many domains, repeated measurements are systematically collected to obtain the characteristics of objects or situations that evolve over time or other logical orderings. Although the classification of such data series shares many similarities with traditional multidimensional classification, inducing accurate machine learning models using traditional algorithms are typically infeasible since the order of the values must be considered. In this thesis, the challenges related to inducing predictive models from data series using a class of algorithms known as random forests are studied for the purpose of efficiently and effectively classifying (i) univariate, (ii) multivariate and (iii) heterogeneous data series either directly in their sequential form or indirectly as transformed to sparse and high-dimensional representations. In the thesis, methods are developed to address the challenges of (a) handling sparse and high-dimensional data, (b) data series classification and (c) early time series classification using random forests. The proposed algorithms are empirically evaluated in large-scale experiments and practically evaluated in the context of detecting adverse drug events. In the first part of the thesis, it is demonstrated that minor modifications to the random forest algorithm and the use of a random projection technique can improve the effectiveness of random forests when faced with discrete data series projected to sparse and high-dimensional representations. In the second part of the thesis, an algorithm for inducing random forests directly from univariate, multivariate and heterogeneous data series using phase-independent patterns is introduced and shown to be highly effective in terms of both computational and predictive performance. Then, leveraging the notion of phase-independent patterns, the random forest is extended to allow for early classification of time series and is shown to perform favorably when compared to alternatives. The conclusions of the thesis not only reaffirm the empirical effectiveness of random forests for traditional multidimensional data but also indicate that the random forest framework can, with success, be extended to sequential data representations.
APA, Harvard, Vancouver, ISO, and other styles
46

Abrahamsson, Andreas, and Rasmus Pettersson. "Smoothing of initial conditions for high order approximations in option pricing." Thesis, Uppsala universitet, Avdelningen för beräkningsvetenskap, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-302322.

Full text
Abstract:
In this article the Finite Difference method is used to solve the Black Scholes equation. A second order and fourth order accurate scheme is implemented in space and evaluated. The scheme is then tried for different initial conditions. First the discontinuous pay off function of a European Call option is used. Due to the nonsmooth charac- teristics of the chosen initial conditions both schemes show an order of two. Next, the analytical solution to the Black Scholes is used when t=T/2. In this case, with a smooth initial condition, the fourth order scheme shows an order of four. Finally, the initial nonsmooth pay off function is modified by smoothing. Also in this case, the fourth order method shows an order of convergence of four.
APA, Harvard, Vancouver, ISO, and other styles
47

Birkefeld, Andreas [Verfasser], and Claus-Dieter [Akademischer Betreuer] Munz. "Computational aeroacoustics with a high order discontinuous Galerkin scheme / Andreas Birkefeld. Betreuer: Claus-Dieter Munz." Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2013. http://d-nb.info/1029982287/34.

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

Weber, Daniel Verfasser], André [Akademischer Betreuer] Stork, Dieter W. [Akademischer Betreuer] [Fellner, and Michael [Akademischer Betreuer] Goesele. "Interactive Physically Based Simulation - Efficient Higher-Order Elements, Multigrid Approaches and Massively Parallel Data Structures / Daniel Weber. Betreuer: André Stork ; Dieter Fellner ; Michael Goesele." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016. http://d-nb.info/1112141847/34.

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

Weber, Daniel [Verfasser], André Akademischer Betreuer] Stork, Dieter W. [Akademischer Betreuer] [Fellner, and Michael [Akademischer Betreuer] Goesele. "Interactive Physically Based Simulation - Efficient Higher-Order Elements, Multigrid Approaches and Massively Parallel Data Structures / Daniel Weber. Betreuer: André Stork ; Dieter Fellner ; Michael Goesele." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016. http://nbn-resolving.de/urn:nbn:de:tuda-tuprints-53257.

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

Tian, Chun. "A formalization of unique solutions of equations in process algebra." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/14798/.

Full text
Abstract:
In this thesis, a comprehensive formalization of Milner's Calculus of Communicating Systems (also known as CCS) has been done in HOL theorem prover (HOL4), based on an old work in HOL88. This includes all classical properties of strong/weak bisimulation equivalences and observation congruence, a theory of congruence for CCS, various versions of ``bisimulation up to'' techniques, and several deep theorems, namely the ``coarsest congruence contained in weak equivalence'', and three versions of the ``unique solution of equations'' theorem in Milner's book. This work is further extended to support recent developments in Concurrency Theory, namely the ``contraction'' relation and the related ``unique solutions of contractions'' theorem found by Prof. Davide Sangiorgi, University of Bologna. As a result, a rather complete theory of ``contraction'' (and a similar relation called ``expansion'') for CCS is also formalized in this thesis. Further more, a new variant of contraction called ``observational contraction'' was found by the author during this work, based on existing contraction relation. It's formally proved that, this new relation is preserved by direct sums of CCS processes, and has a more elegant form of the ``unique solutions of contractions'' theorem without any restriction on the CCS grammar. The contribution of this thesis project is at least threefold: First, it can be seen as a formal verification of the core results in Prof.\ Sangiorgi's paper, and it provides all details for the informal proof sketches given in the paper. Second, a large piece of old proof scripts from the time of Hol88 (1990s) has been ported to HOL4 and made available to all its users. Third, it's a proof engineering research by itself on the correct formalization of process algebra, because the work has made extensive uses of some new features (e.g. coinductive relation) provided in recent versions of HOL4 (Kananaskis-11 and later).
APA, Harvard, Vancouver, ISO, and other styles
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