To see the other types of publications on this topic, follow the link: Meta-programming.

Dissertations / Theses on the topic 'Meta-programming'

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 'Meta-programming.'

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

Eshghi, Kave. "Meta-language in logic programming." Thesis, Imperial College London, 1987. http://hdl.handle.net/10044/1/38302.

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

Mabrouk, Emad Hamdy Ahmed. "Meta-Heuristics Programming and Its Applications." 京都大学 (Kyoto University), 2011. http://hdl.handle.net/2433/142132.

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

Lynagh, Ian. "Soft types for template meta-programming." Thesis, University of Oxford, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.442604.

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

Bowers, Antony Francis. "Effective meta-programming in declarative languages." Thesis, University of Bristol, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263891.

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

Carpenter, Steven M. "Visual meta-programming language graphical user interface for generative programming." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2002. http://library.nps.navy.mil/uhtbin/hyperion-image/02sep%5FCarpenter.pdf.

Full text
Abstract:
Thesis (M.S. in Computer Science)--Naval Postgraduate School, September 2002.<br>Thesis advisor(s): Mikhail Auguston, Richard Riehle. Includes bibliographical references (p. 89). Also available online.
APA, Harvard, Vancouver, ISO, and other styles
6

Pasalic, Emir. "The role of type equality in meta-programming /." Full text open access at:, 2004. http://content.ohsu.edu/u?/etd,216.

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

Lu, Anthony (Anthony S. ). "Venture : an extensible platform for probabilistic meta-programming." Thesis, Massachusetts Institute of Technology, 2016. http://hdl.handle.net/1721.1/113160.

Full text
Abstract:
Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 63-64).<br>This thesis describes Venture, an extensible platform for probabilistic meta-programming. In Venture, probabilistic generative models, probability density functions, and probabilistic inference algorithms are all
APA, Harvard, Vancouver, ISO, and other styles
8

Yalcinalp, L. Umit. "Meta-programming for knowledge-based systems in Prolog." Case Western Reserve University School of Graduate Studies / OhioLINK, 1991. http://rave.ohiolink.edu/etdc/view?acc_num=case1055947333.

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

Doan, Thu Trang. "Meta-APL : a general language for agent programming." Thesis, University of Nottingham, 2014. http://eprints.nottingham.ac.uk/29286/.

Full text
Abstract:
A key advantage of BDI-based agent programming is that agents can deliberate about which course of action to adopt to achieve a goal or respond to an event. However while state-of-the-art BDI-based agent programming languages provide flexible support for expressing plans, they are typically limited to a single, hard-coded, deliberation strategy(perhaps with some parameterisation) for all task environments. In this thesis, we describe a novel agent programming language, meta-APL, that allows both agent programs and the agent’s deliberation strategy to be encoded in the same programming language
APA, Harvard, Vancouver, ISO, and other styles
10

Pettersson, Emil. "Meta-Interpretive Learning Versus Inductive Metalogic Programming : A Comparative Analysis in Inductive Logic Programming." Thesis, Uppsala universitet, Institutionen för informatik och media, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-393291.

Full text
Abstract:
Artificial intelligence and machine learning are fields of research that have become very popular and are getting more attention in the media as our computational power increases and the theories and latest developments of these fields can be put into practice in the real world. The field of machine learning consists of different paradigms, two of which are the symbolic and connectionist paradigms. In 1991 it was pointed out by Minsky that we could benefit from sharing ideas between the paradigms instead of competing for dominance in the field. That is why this thesis is investigating two appr
APA, Harvard, Vancouver, ISO, and other styles
11

Ulker, Ozgur. "Office space allocation by using mathematical programming and meta-heuristics." Thesis, University of Nottingham, 2013. http://eprints.nottingham.ac.uk/13604/.

Full text
Abstract:
Office Space Allocation (OSA) is the task of efficient usage of spatial resources of an organisation. A common goal in a typical OSA problem is to minimise the wastage of space either by limiting the overuse or underuse of the facilities. The problem also contains a myriad of hard and soft constraints based on the preferences of respective organisations. In this thesis, the OSA variant usually encountered in academic institutions is investigated. Previous research in this area is rather sparse. This thesis provides a definition, extension, and literature review for the problem as well as a new
APA, Harvard, Vancouver, ISO, and other styles
12

Stefik, Melissa Ann. "Enabling experimentation of aspect-oriented programming languages through a meta-weaver framework." Online access for everyone, 2008. http://www.dissertations.wsu.edu/Thesis/Spring2008/m_stefik_042208.pdf.

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

Singleton, Paul. "Applications of meta-programming to the construction of software products from generic configurations." Thesis, Keele University, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.314663.

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

Lin, Fuyau. "An integration of logic and functional programming paradigms: Type theory and meta-narrowing." Case Western Reserve University School of Graduate Studies / OhioLINK, 1991. http://rave.ohiolink.edu/etdc/view?acc_num=case1055357832.

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

Sepasi, Maryam. "Model Driven Rule Engine Using Meta Programming : A Case Study from Ericsson Company." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-174834.

Full text
Abstract:
Det växande önskemålet att använda ny teknik, leder till en ökning av att använda mer komplexa programvarudomäner. Dessutom kan det orsaka ett antal utmaningar, som kan lösas genom att förändra sättet som system är utformade på. Företag har tillämpat instruktioner och standarder inom sina organisationer för att minska problemen och öka samstämmigheten mellan sina program och att återanvända komponenter i olika system. Generiska eller specifika metoder kan användas för att implementera sådana system. Eftersom en specifik metod ger en bättre lösning med större fördelar och användbarhet i vissa d
APA, Harvard, Vancouver, ISO, and other styles
16

Harmelen, Frank van. "On the efficiency of meta-level inference." Thesis, University of Edinburgh, 1989. http://hdl.handle.net/1842/6597.

Full text
Abstract:
In this thesis we will be concerned with a particular type of architecture for reasoning systems, known as meta-level architectures. After presenting the arguments for such architectures (chapter 1), we discuss a number of systems in the literature that provide an explicit meta-level architecture (chapter 2), and these systems are compared on the basis of a number of distinguishing characteristics. This leads to a classification of meta-level architectures (chapter 3). Within this classification we compare the different types of architectures, and argue that one of these types, called bilingua
APA, Harvard, Vancouver, ISO, and other styles
17

Iovene, Valentin. "Answering meta-analytic questions on heterogeneous and uncertain neuroscientific data with probabilistic logic programming." Electronic Thesis or Diss., université Paris-Saclay, 2021. http://www.theses.fr/2021UPASG099.

Full text
Abstract:
Cette thèse contribue au développement d'un langage de programmation logique probabiliste spécifique aux neurosciences cognitives, appelé NeuroLang, et présente certaines de ses applications à la méta-analyse d'études en neuroimagerie. En reposant sur les formalismes logiques comme datalog, et leurs extensions probabilistes, nous montrons comment NeuroLang permet de mettre en relation des données incertaines et hétérogènes pour formuler des hypothèses méta-analytiques riches. Nous encodons la base de données Neurosynth dans un programme NeuroLang et formulons des requêtes logiques probabiliste
APA, Harvard, Vancouver, ISO, and other styles
18

Neverov, Gregory Michael. "Design and implementation of a multi-stage, object-oriented programming language." Thesis, Queensland University of Technology, 2007. https://eprints.qut.edu.au/16559/1/Gregory_Michael_Neverov_Thesis.pdf.

Full text
Abstract:
Multi-stage programming is a valuable technique for improving the performance of computer programs through run-time optimization. Current implementations of multi-stage programming do not support run-time type introspection, which is a significant feature of modern object-oriented platforms such as Java and C#. This is unfortunate because many programs that use type introspection in these languages could be improved with multi-staging programming. The aim of this research is to investigate the interaction between multi-stage programming and object-oriented type introspection. This is done b
APA, Harvard, Vancouver, ISO, and other styles
19

Neverov, Gregory Michael. "Design and implementation of a multi-stage, object-oriented programming language." Queensland University of Technology, 2007. http://eprints.qut.edu.au/16559/.

Full text
Abstract:
Multi-stage programming is a valuable technique for improving the performance of computer programs through run-time optimization. Current implementations of multi-stage programming do not support run-time type introspection, which is a significant feature of modern object-oriented platforms such as Java and C#. This is unfortunate because many programs that use type introspection in these languages could be improved with multi-staging programming. The aim of this research is to investigate the interaction between multi-stage programming and object-oriented type introspection. This is done b
APA, Harvard, Vancouver, ISO, and other styles
20

Seefried, Sean Computer Science &amp Engineering Faculty of Engineering UNSW. "Language extension via dynamically extensible compilers." Awarded by:University of New South Wales. Computer Science and Engineering, 2006. http://handle.unsw.edu.au/1959.4/29524.

Full text
Abstract:
This dissertation provides the motivation for and evidence in favour of an approach to language extension via dynamic loading of plug-ins. There is a growing realisation that language features are often a superior choice to software libraries for implementing applications. Among the benefits are increased usability, safety and efficiency. Unfortunately, designing and implementing new languages is difficult and time consuming. Thus, reuse of language infrastructure is an attractive implementation avenue. The central question then becomes, what is the best method to extend languages? Much res
APA, Harvard, Vancouver, ISO, and other styles
21

Gao, Xiang. "Using methods of optimization programming and meta-analysis to evaluate current Unite [sic] States nutritional recommendations /." Thesis, Connect to Dissertations & Theses @ Tufts University, 2005.

Find full text
Abstract:
Thesis (Ph.D.)--Tufts University, 2005.<br>Adviser: Katherine L. Tucker. Submitted to the School of Nutrition Science and Policy. Includes bibliographical references. Access restricted to members of the Tufts University community. Also available via the World Wide Web;
APA, Harvard, Vancouver, ISO, and other styles
22

Peldžius, Stasys. "Universalus pertvarkų įrankis." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2010. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2009~D_20101125_190721-56089.

Full text
Abstract:
Vykstant nuolatiniam programų sistemų atnaujinimui, nuolatos reikia prižiūrėti, kad jos būtų kokybiškai projektuojamos ir programuojamos. Tačiau neišvengiamai atsiranda nekokybiško išeities teksto, arba atsiranda projektavimo trūkumų. Todėl yra svarbu mokėti ieškoti tokias problemas, ir jas ištaisyti. Šio darbo tikslas yra sukurti automatinio – universalaus įrankio modelį, kuris savarankiškai aptiktų pertvarkas, bei būtų nepriklausomas nuo konkrečios programavimo kalbos. Šiam tikslui pasiekti yra nagrinėjami mokslininkų siūlomi automatiškai aptinkantys pertvarkas metodai. Taip pat yra nagrinėj
APA, Harvard, Vancouver, ISO, and other styles
23

Masliah, Ian. "Méthodes de génération automatique de code appliquées à l’algèbre linéaire numérique dans le calcul haute performance." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLS285/document.

Full text
Abstract:
Les architectures parallèles sont aujourd'hui présentes dans tous les systèmes informatiques, allant des smartphones aux supercalculateurs en passant par les ordinateurs de bureau. Programmer efficacement ces architectures en fonction des applications requiert un effort pluridisciplinaire portant sur les langages dédiés (Domain Specific Languages - DSL), les techniques de génération de code et d'optimisation, et les algorithmes numériques propres aux applications. Dans cette thèse, nous présentons une méthode de programmation haut niveau prenant en compte les caractéristiques des architectures
APA, Harvard, Vancouver, ISO, and other styles
24

Chanias, Angelos. "The effects of exercise programming on health-related physical fitness of individuals with an intellectual disability : a meta-analysis of studies." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/MQ29535.pdf.

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

Huang, Shan Shan. "Structural abstraction." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/29632.

Full text
Abstract:
Thesis (Ph.D)--Computing, Georgia Institute of Technology, 2010.<br>Committee Chair: Yannis Smaragdakis; Committee Member: Oege de Moor; Committee Member: Richard LeBlanc; Committee Member: Santosh Pande; Committee Member: Spencer Rugaber. Part of the SMARTech Electronic Thesis and Dissertation Collection.
APA, Harvard, Vancouver, ISO, and other styles
26

Kunigami, Guilherme 1986. "Mapas de símbolos proporcionais." [s.n.], 2011. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275731.

Full text
Abstract:
Orientador: Pedro Jussieu de Rezende, Cid Carvalho de Souza<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação<br>Made available in DSpace on 2018-08-19T04:48:53Z (GMT). No. of bitstreams: 1 Kunigami_Guilherme_M.pdf: 3383647 bytes, checksum: 88687783446ea3564995daf2b1ecfd79 (MD5) Previous issue date: 2011<br>Resumo: Nesta dissertação, realizamos um estudo extensivo de uma classe de problemas envolvendo mapas de símbolos proporcionais, através de programação linear inteira. Mapas de símbolos proporcionais são uma ferramenta cartográfica para a representação
APA, Harvard, Vancouver, ISO, and other styles
27

Silva, Odilon Novaes. "Novas estratégias de implementação da meta-heurística VNS aplicada na otimização de grade horária /." Ilha Solteira, 2019. http://hdl.handle.net/11449/181984.

Full text
Abstract:
Orientador: Rubén Augusto Romero Lázaro<br>Resumo: Neste projeto de pesquisa, é abordado o problema otimização de grade horária. O tipo de problema de grade horária abordado é aquele que tem o enunciado e a estrutura de dados apresentado no site da Competição Internacional de Otimização do Problema de Grade Horária. Esse problema pode ser modelado como sendo um problema de Programação Linear Binária de grande porte. Entretanto, os solvers comerciais disponíveis, como o CPLEX, não tem a capacidade de encontrar as soluções ótimas das 20 instâncias mostradas no site da Competição Internacional de
APA, Harvard, Vancouver, ISO, and other styles
28

MIRANDA, Pericles Barbosa Cunha de. "Uma hiper-heurística híbrida para a otimização de algorítmos." Universidade Federal de Pernambuco, 2016. https://repositorio.ufpe.br/handle/123456789/18703.

Full text
Abstract:
Submitted by Rafael Santana (rafael.silvasantana@ufpe.br) on 2017-05-04T18:13:43Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Teste - Péricles Miranda.pdf: 1959669 bytes, checksum: 8b0b1e3f94dd3295bce6153865564a12 (MD5)<br>Made available in DSpace on 2017-05-04T18:13:43Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Teste - Péricles Miranda.pdf: 1959669 bytes, checksum: 8b0b1e3f94dd3295bce6153865564a12 (MD5) Previous issue date: 2016-08-22<br>A escolha de algoritmos ou heurísticas
APA, Harvard, Vancouver, ISO, and other styles
29

Inhasz, Rafael. "Programação genética: operadores de crossover, blocos construtivos e emergência semântica." Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/45/45133/tde-14042010-212445/.

Full text
Abstract:
Os algoritmos evolutivos são métodos heurísticos utilizados para a solução de problemas de otimização e que possuem mecanismos de busca inspirados nos conceitos da Teoria de Evolução das Espécies. Entre os algoritmos evolutivos mais populares, estão os Algoritmos Genéticos (GA) e a Programação Genética (GP). Essas duas técnicas possuem como ponto em comum o uso pesado do operador de recombinação, ou \"crossover\" - mecanismo pelo qual novas soluções são geradas a partir da combinação entre soluções existentes. O que as diferencia é a flexibilidade - enquanto que nos algoritmos genéticos as sol
APA, Harvard, Vancouver, ISO, and other styles
30

Saldamli, Levon. "PDEModelica - Towards a High-Level Language for Modeling with Partial Differential Equations." Licentiate thesis, Linköping University, Linköping University, PELAB - Programming Environment Laboratory, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5732.

Full text
Abstract:
<p>This thesis describes initial language extensions to the Modelica language to define a more general language called PDEModelica, with built-in support for modeling with partial differential equations (PDEs). Modelica® is a standardized modeling language for objectoriented, equation-based modeling. It also supports component-based modeling where existing components with modified parameters can be combined into new models. The aim of the language presented in this thesis is to maintain the advantages of Modelica and also add partial differential equation support.</p><p>Partial differential eq
APA, Harvard, Vancouver, ISO, and other styles
31

Prastowo, Tadeus. "Toward C++ as a Platform for Language-Oriented Programming: On the Embedding of a Model-Based Real-Time Language." Doctoral thesis, Università degli studi di Trento, 2020. http://hdl.handle.net/11572/256168.

Full text
Abstract:
Cyber-physical systems are dynamic physical systems that are controlled by computers for their safe and sound operations (e.g., cars, satellites, robots, elevators, and many others). Consequently, the programs running cyber-physical systems have real-time requirements, which require the programs to compute not only correctly but also timely because dynamic physical systems need to move to correct positions within certain duration to ensure safe and sound operations. To satisfy real-time requirements in better ways, many real-time languages have been proposed in the literature. Nevertheless,
APA, Harvard, Vancouver, ISO, and other styles
32

Prastowo, Tadeus. "Toward C++ as a Platform for Language-Oriented Programming: On the Embedding of a Model-Based Real-Time Language." Doctoral thesis, Università degli studi di Trento, 2020. http://hdl.handle.net/11572/256168.

Full text
Abstract:
Cyber-physical systems are dynamic physical systems that are controlled by computers for their safe and sound operations (e.g., cars, satellites, robots, elevators, and many others). Consequently, the programs running cyber-physical systems have real-time requirements, which require the programs to compute not only correctly but also timely because dynamic physical systems need to move to correct positions within certain duration to ensure safe and sound operations. To satisfy real-time requirements in better ways, many real-time languages have been proposed in the literature. Nevertheless,
APA, Harvard, Vancouver, ISO, and other styles
33

Home, Ortiz Juan Manuel. "Análise comparativa de um modelo de programação convexa e meta-heurística para o planejamento de redes de distribuição de energia elétrica com fontes de geração distribuída renováveis e não renováveis /." Ilha Solteira, 2019. http://hdl.handle.net/11449/180928.

Full text
Abstract:
Orientador: José Roberto Sanches Mantovani<br>Resumo: Neste trabalho propõem-se formulações matemáticas e metodologias para resolver o problema de planejamento da expansão e operação de sistemas de distribuição de energia elétrica de longo prazo com instalação de geração distribuída despachável, renovável e dispositivos armazenadores de energia, considerando as incertezas nos parâmetros e variáveis envolvidas no comportamento do sistema. No modelo de otimização desenvolvido considera- se uma formulação com espaço de busca convexo como um problema de programação cônica inteira de segunda ordem.
APA, Harvard, Vancouver, ISO, and other styles
34

Paçacı, Görkem. "Representation of Compositional Relational Programs." Doctoral thesis, Uppsala universitet, Informationssystem, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-317084.

Full text
Abstract:
Usability aspects of programming languages are often overlooked, yet have a substantial effect on programmer productivity. These issues are even more acute in the field of Inductive Synthesis, where programs are automatically generated from sample expected input and output data, and the programmer needs to be able to comprehend, and confirm or reject the suggested programs. A promising method of Inductive Synthesis, CombInduce, which is particularly suitable for synthesizing recursive programs, is a candidate for improvements in usability as the target language Combilog is not user-friendly. T
APA, Harvard, Vancouver, ISO, and other styles
35

Branchini, Rodrigo Moretti 1975. "Fleet deployment optimization in liner shipping = Otimização do dimensionamento e roteamento de navios de linha regular com viagens fretadas." [s.n.], 2013. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261180.

Full text
Abstract:
Orientador: Vinícius Amaral Armentano<br>Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação<br>Made available in DSpace on 2018-08-22T22:56:34Z (GMT). No. of bitstreams: 1 Branchini_RodrigoMoretti_D.pdf: 2921053 bytes, checksum: 29694a6f4803c5c222c97cbe95a2b199 (MD5) Previous issue date: 2013<br>Resumo: Este trabalho aborda um problema de planejamento tático em empresas de transporte marítimo de carga que coletam e entregam as demandas contratadas por seus clientes. As viagens associadas a estas demandas são obrigatórias, mas a empresa pode
APA, Harvard, Vancouver, ISO, and other styles
36

Luche, José Roberto Dale. "Modelos e algoritmos para a otimização do planejamento da produção de grãos eletrofundidos." Universidade Federal de São Carlos, 2011. https://repositorio.ufscar.br/handle/ufscar/3396.

Full text
Abstract:
Made available in DSpace on 2016-06-02T19:50:15Z (GMT). No. of bitstreams: 1 4224.pdf: 4088163 bytes, checksum: f36f82cf58386b4174743eccaa446df4 (MD5) Previous issue date: 2011-02-12<br>The number of successful applications that use optimization models has followed the evolution of the computers, as much in hardware, with more powerful machines, as in software, with more intelligent algorithms. Due to importance of the modeling as a decision support tool, much effort has been made to mathematically describe systems of interest and devise techniques for solving such models. This work presents
APA, Harvard, Vancouver, ISO, and other styles
37

Luscombe, Ruth. "A dynamic real time scheduling methodology for the emergency department." Thesis, Queensland University of Technology, 2015. https://eprints.qut.edu.au/86505/1/Ruth_Luscombe_Thesis.pdf.

Full text
Abstract:
This project constructs a scheduling solution for the Emergency Department. The schedules are generated in real-time to adapt to new patient arrivals and changing conditions. An integrated scheduling formulation assigns patients to beds and treatment tasks to resources. The schedule efficiency is assessed using waiting time and total care time experienced by patients. The solution algorithm incorporates dispatch rules, meta-heuristics and a new extended disjunctive graph formulation which provide high quality solutions in a fast time-frame for real time decision support. This algorithm can
APA, Harvard, Vancouver, ISO, and other styles
38

Aroui, Karim. "Séquencement d’une ligne de montage multi-modèles : application à l’industrie du véhicule industriel." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAI029/document.

Full text
Abstract:
Dans cette thèse, nous considérons le problème du séquencement sur une ligne de montage multi-modèles de véhicules industriels. Pour équilibrer au mieux la charge dynamique des opérateurs, la minimisation de la somme des retards à l’issue de chaque véhicule est proposée.Deux approches peuvent être utilisées pour optimiser le lissage de charge dans un problème de séquencement : l’utilisation directe des temps opératoires ou le respect de règles. La plupart des travaux appliqués à l’industrie automobile utilisent l’approche de respect de règles. Une originalité de ce travail est d’utiliser l’app
APA, Harvard, Vancouver, ISO, and other styles
39

Chazara, Philippe. "Outils d'élaboration de stratégie de recyclage basée sur la gestion des connaissances : application au domaine du génie des procédés." Thesis, Toulouse, INPT, 2015. http://www.theses.fr/2015INPT0141/document.

Full text
Abstract:
Dans ce travail, une étude est réalisée sur le développement d'une méthodologie permettant la génération et l'évaluation de nouvelles trajectoires de valorisation pour des déchets. Ainsi, pour répondre à cette problématique, trois sous problèmes ont été identifiés. Le premier concerne un cadre de modélisation permettant la représentation structurée et homogène de chaque trajectoire, ainsi que les indicateurs choisis pour l'évaluation de ces dernières, permettant une sélection ultérieure. Le deuxième se concentre sur le développement d'une méthodologie puis la réalisation d'un outil permettant
APA, Harvard, Vancouver, ISO, and other styles
40

Salimi-Khorshidi, Gholamreza. "Statistical models for neuroimaging meta-analytic inference." Thesis, University of Oxford, 2011. http://ora.ox.ac.uk/objects/uuid:40a10327-7f36-42e7-8120-ae04bd8be1d4.

Full text
Abstract:
A statistical meta-analysis combines the results of several studies that address a set of related research hypotheses, thus increasing the power and reliability of the inference. Meta-analytic methods are over 50 years old and play an important role in science; pooling evidence from many trials to provide answers that any one trial would have insufficient samples to address. On the other hand, the number of neuroimaging studies is growing dramatically, with many of these publications containing conflicting results, or being based on only a small number of subjects. Hence there has been increas
APA, Harvard, Vancouver, ISO, and other styles
41

Dornelles, Arton Pereira. "A matheuristic approach for solving the high school timetabling problem." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2015. http://hdl.handle.net/10183/140451.

Full text
Abstract:
A geração de quadros de horários escolares é um problema clássico de otimização que tem sido largamente estudado devido a sua importâncias prática e teórica. O problema consiste em alocar um conjunto de aulas entre professor-turma em períodos de tempo pré-determinados, satisfazendo diferentes tipos de requisitos. Devido a natureza combinatória do problema, a resolução de instâncias médias e grandes torna-se uma tarefa desafiadora. Quando recursos são escassos, mesmo uma solução factível pode ser difícil de ser encontrada. Várias técnicas tem sido propostas na literatura científica para resolve
APA, Harvard, Vancouver, ISO, and other styles
42

Reis, Jorge Von Atzingen dos. "Meta-heurísticas baseadas em busca em vizinhança variável aplicadas a problemas de operação de transportes." Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/3/3138/tde-22092014-150121/.

Full text
Abstract:
Esta pesquisa trata da aplicação de meta-heurísticas baseadas em busca em vizinhança variável em problemas de operação de transportes. Desta forma, buscou-se encontrar problemas complexos durante a operação de sistemas de transportes, nas grandes cidades, que possam ser resolvidos com a aplicação de meta-heurística baseada em busca em vizinhança variável. Este trabalho aborda dois diferentes problemas de planejamento e operação de transportes. O primeiro problema abordado neste trabalho é o Problema de Programação da Tabela de Horários, de Veículos e de Tripulantes de Ônibus, no qual as viagen
APA, Harvard, Vancouver, ISO, and other styles
43

Stratton, David. "A program visualisation meta language." Thesis, University of Ballarat, 2003. http://researchonline.federation.edu.au/vital/access/HandleResolver/1959.17/63588.

Full text
Abstract:
The principle motivation of this work is to define an open PV architecture that will enable a variety of visualisation schemes to interoperate and that will encourage the generation of PV systems and research into their efficacy. Ultimately this may lead to more effective pedagogy in the field of computer programming and hence remove a barrier to students entering the profession.<br>Doctorate of Philosophy
APA, Harvard, Vancouver, ISO, and other styles
44

Saidani, Tarik. "Optimisation multi-niveau d’une application de traitement d’images sur machines parallèles." Thesis, Paris 11, 2012. http://www.theses.fr/2012PA112268/document.

Full text
Abstract:
Cette thèse vise à définir une méthodologie de mise en œuvre d’applications performantes sur les processeurs embarqués du futur. Ces architectures nécessitent notamment d’exploiter au mieux les différents niveaux de parallélisme (grain fin, gros grain) et de gérer les communications et les accès à la mémoire. Pour étudier cette méthodologie, nous avons utilisé un processeur cible représentatif de ces architectures émergentes, le processeur CELL. Le détecteurde points d’intérêt de Harris est un exemple de traitement régulier nécessitant des unités de calcul intensif. En étudiant plusieurs schém
APA, Harvard, Vancouver, ISO, and other styles
45

Tian, Zhong Huan. "Gender based meta-heuristic optimization algorithms." Thesis, University of Macau, 2017. http://umaclib3.umac.mo/record=b3691331.

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

Azevedo, Regina Maria. ""Programação neurolinguística: transformação e persuasão no metamodelo"." Universidade de São Paulo, 2006. http://www.teses.usp.br/teses/disponiveis/27/27142/tde-01122006-173633/.

Full text
Abstract:
Neste estudo apresentamos as origens da Programação Neurolingüística (PNL), seus principais fundamentos, pressupostos teóricos e objetivos; analisamos o “metamodelo”, sua relação com a linguagem e sua exploração por meio do processo de “modelagem”, a partir do enfoque presente na obra A estrutura da magia I: um livro sobre linguagem e terapia, de Richard Bandler e John Grinder, idealizadores da PNL. Examinamos as transformações obtidas mediante o processo de derivação, com base na Gramática Gerativo-Transformacional de Noam Chomsky, objetivando verificar sua relação com o “metamodelo”. Explora
APA, Harvard, Vancouver, ISO, and other styles
47

Behrooz, A. "Meta description of experimental identification of medical knowledge." Thesis, Brunel University, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.373085.

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

Pell, Barney Darryl. "Strategy generation and evaluation for meta-game playing." Thesis, University of Cambridge, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.308363.

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

Waldring, Ségio Jim. "Standard network diagramming language and corresponding meta-model." Click here to access thesis, 2009. http://www.georgiasouthern.edu/etd/archive/spring2008/segio_j_waldring/waldring_segio_j_200901_msm.pdf.

Full text
Abstract:
Thesis (M.S.)--Georgia Southern University, 2009.<br>"A thesis submitted to the Graduate Faculty of Georgia Southern University in partial fulfillment of the requirements for the degree Master of Science." Directed by Vladan Jovanovic. ETD. Includes bibliographical references (p. 31-34) and appendix.
APA, Harvard, Vancouver, ISO, and other styles
50

Ferdjoukh, Adel. "Une approche déclarative pour la génération de modèles." Thesis, Montpellier, 2016. http://www.theses.fr/2016MONTT325/document.

Full text
Abstract:
Disposer de données dans le but de valider ou tester une approche ou un concept est d'une importance primordiale dans beaucoup de domaines différents. Malheureusement, ces données ne sont pas toujours disponibles, sont coûteuses à obtenir, ou bien ne répondent pas à certaines exigences de qualité ce qui les rend inutiles dans certains cas de figure.Un générateur automatique de données est un bon moyen pour obtenir facilement et rapidement des données valides, de différentes tailles, pertinentes et diversifiées. Dans cette thèse, nous proposons une nouvelle approche complète, dirigée par les mo
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!