Relevant bibliographies by topics / Formula uno / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Formula uno.

Dissertations / Theses on the topic 'Formula uno'

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

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 'Formula uno.'

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

Peli, Filippo. "Analisi di un sistema propulsivo di Formula Uno." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/12308/.

Full text
Abstract:
Realizzazione di un modello per l’analisi monodimensionale del motore Mercedes della stagione 2015 di Formula Uno, con successiva analisi delle performance prodotte dal sistema di scarico sul motore, nelle configurazioni Log e Tubolare.
APA, Harvard, Vancouver, ISO, and other styles
2

Montrone, Marco. "Prevenzione degli infortuni al collo in Formula 1: i benefici dell'HANS." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2020. http://amslaurea.unibo.it/20028/.

Full text
Abstract:
L'evoluzione della Formula Uno ha portato la necessità di sviluppare nuovi sistemi di sicurezza per i piloti. Dalla necessità di proteggerne il collo che, in caso di incidente, deve far fronte ad enormi sollecitazioni che causerebbero nei piloti gravi infortuni o addirittura la morte, nasce l'Head and Neck Support (HANS). Dal debutto di questo dispositivo, creato agli inizi degli anni '80 dal dottor Hubbard della Wayne State University, l'HANS ha subìto varie modifiche per raggiungerne le sue massime efficacia ed efficienza, andando anche incontro alle esigenze di comfort dei piloti. Si passa
APA, Harvard, Vancouver, ISO, and other styles
3

Patteri, Pier Paolo. "Formula di Cauchy." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2020.

Find full text
Abstract:
Nel primo capitolo si richiamano la definizione di funzione olomorfa e se ne enunciano le prime proprietà. I risultati principali sono l'olomorfia del rapporto incrementale di una funzione olomorfa e il teorema di Liouville. Le dimostrazioni sono state ottenute mediante un utilizzo "intensivo"" dei principi della media e del massimo per funzioni olomorfe. Nel secondo si introduce la nozione di integrale di Cauchy e si definisce l'indice di una cammino rispetto ad un punto. Si dimostra quindi che tale indice è un numero intero. Il risultato culmine della tesi si trova quindi nel terzo ed ult
APA, Harvard, Vancouver, ISO, and other styles
4

Berselli, Michele. "Analisi dell’aerodinamica di un veicolo di categoria Formula con applicazioni per Formula SAE." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2020.

Find full text
Abstract:
In questo elaborato si analizza l’aerodinamica di un veicolo di categoria Formula facendo una revisione delle fonti più aggiornate. Vengono, poi, studiate le tipologie di gallerie del vento, le tecniche e le strumentazioni utilizzate in ambito automotive. Infine, viene proposto uno studio preliminare per realizzare un test in galleria del vento con la UBM19, la vettura di Formula SAE del team UNIBO Motorsport, con lo scopo di avere una validazione del modello CFD e confrontarne i risultati anche con quelli ottenuti nei test su pista. Per diminuire complessità e costi, si suggerisce di eseguire
APA, Harvard, Vancouver, ISO, and other styles
5

Fulvi, Valeria. "La formula di Eulero: una prospettiva storica." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amslaurea.unibo.it/1251/.

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

Mavroudakis, Basileios [Verfasser]. "About the Simulations of Formula 1 Racing Cars / Basileios Mavroudakis." Aachen : Shaker, 2011. http://d-nb.info/1074088530/34.

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

Guessab, Allal. "Sur les formules de quadrature numérique à nombre minimal de noeuds dans un domaine de IR(n)." Pau, 1987. http://www.theses.fr/1988PAUU3011.

Full text
Abstract:
Ce travail a pour objet la recherche, à partir de la théorie des polynomes orthogonaux, de conditions permettant l'obtention de formules de quadrature numérique sur des domaines de r(n), avec fonction poids, à nombre minimal de noeuds et exactes sur les espaces r(k(1),k(2),. . . ,k(n)) (d) de degré inférieur ou égal à k(i) par rapport à la variabilité x(i).
APA, Harvard, Vancouver, ISO, and other styles
8

Goes, Janaina da Silva. "Estudo de pr?-formula??o para a obten??o de uma formula??o de captopril para uso pedi?trico." PROGRAMA DE P?S-GRADUA??O EM CI?NCIAS FARMAC?UTICAS, 2013. https://repositorio.ufrn.br/jspui/handle/123456789/21710.

Full text
Abstract:
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-01-12T15:47:41Z No. of bitstreams: 1 JanainaDaSilvaGoes_DISSERT.pdf: 2421802 bytes, checksum: 8409f2ebc5498e05da2a012cbbab5963 (MD5)<br>Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-01-20T14:38:17Z (GMT) No. of bitstreams: 1 JanainaDaSilvaGoes_DISSERT.pdf: 2421802 bytes, checksum: 8409f2ebc5498e05da2a012cbbab5963 (MD5)<br>Made available in DSpace on 2017-01-20T14:38:17Z (GMT). No. of bitstreams: 1 JanainaDaSilvaGoes_DISSERT.pdf: 2421802 bytes, checksum: 8409f2ebc5498e05da2a012
APA, Harvard, Vancouver, ISO, and other styles
9

Lifschutz, Vladimir. "Les séries télévisées : une lutte sans fin." Thesis, Lyon 2, 2015. http://www.theses.fr/2015LYO20086/document.

Full text
Abstract:
Les séries télévisées occupent une place en continuelle expansion dans nos vies. Objet de discussions, de débats, d’investissements, les fictions sérielles sont au cœur de notre société. Longtemps décriées, injustement rejetées du champ de l’art, les séries sont réhabilitées pour leur extraordinaire richesse. Après les avoir laissé de côté, comment les comprendre ? Comment les analyser ? Quelle spécificité caractérise la série ? Nous allons proposer un travail analytique, historique, économique et sociologique autour de ce type de fiction avec une idée simple : les séries sont un art du temps.
APA, Harvard, Vancouver, ISO, and other styles
10

Brun, Jean-Louis. "Efficience narrative et la transmission des formes de vie : une approche anthroposémiotique de l'autopoièse dans les pratiques ritualisées." Thesis, Limoges, 2017. http://www.theses.fr/2017LIMO0039/document.

Full text
Abstract:
Comment l’interprétation d’un texte canonique, lors de sa conversion en cours d’action gestuel, permet-elle de faire persister diachroniquement la forme de vie d’un collectif et de la faire adopter par ses membres ? Cette recherche se fonde sur l’observation participante de deux pratiques ritualisées : le Karatedo et la Franc-maçonnerie, et sur leur « description dense » selon Clifford Geertz. A partir des données ainsi constituées, l’élaboration théorique fait appel à la formule canonique des mythes de Claude Lévi-Strauss, à un modèle de construction des certitudes par les institutions propos
APA, Harvard, Vancouver, ISO, and other styles
11

Gagliardi, Andrea. "Studio CFD dell'aerodinamica esterna di una vettura di formula student." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2018.

Find full text
Abstract:
Questo elaborato ha lo scopo di studiare un pacchetto aerodinamico progettato per una vettura di formula student. È stata fatta una breve introduzione sulla Formula SAE, con una descrizione sintetica delle regole delle varie prove dinamiche e statiche, dopodichè sono stati richiamati i concetti di aerodinamica più importanti per il mondo dell’automotive: strato limite, differenza tra un flusso laminare e un flusso turbolento, distribuzione di velocità attorno ad un corpo in movimento immerso in un fluido. E' stata, poi, fatta una breve analisi degli aspetti più importanti della dinamica di u
APA, Harvard, Vancouver, ISO, and other styles
12

Pisano, Andrea. "Riprogettazione di mozzi ruota per una vettura di Formula SAE." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2016.

Find full text
Abstract:
Con questa tesi si vuole illustrare e riordinare il lavoro da me svolto sulla progettazione di mozzi ruota e di altri componenti ad esso associati, relativi alla vettura del team di Formula SAE dell’Università di Bologna. Dopo una prima fase di studio del particolare componente tesa a definire quali caratteristiche fossero richieste al fine di raggiungere gli obbiettivi, si è passati allo sviluppo del progetto con lo svolgimento di primi calcoli a mano, per definire in linea di massima le sollecitazioni, per poi affinare il dimensionamento con le simulazioni FEM. Il componente è stato infine
APA, Harvard, Vancouver, ISO, and other styles
13

Mancini, Giorgio. "Realizzazione del sistema di controllo motore di una vettura Formula SAE." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amslaurea.unibo.it/871/.

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

Stella, Simone. "Formula integrale di Poisson per le funzioni armoniche in una palla." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amslaurea.unibo.it/6873/.

Full text
Abstract:
La tesi consiste nella ricerca di un candidato ideale per la soluzione del problema di Dirichlet. Vengono affrontati gli argomenti in maniera graduale, partendo dalle funzioni armoniche e le loro relative proprietà, passando per le identità e le formule di rappresentazione di Green, per finire nell'analisi del problema sopra citato, mediante i risultati precedentemente ottenuti, per concludere trovando la formula integrale di Poisson come soluzione ma anche come formula generale per sviluppi in vari ambiti.
APA, Harvard, Vancouver, ISO, and other styles
15

Patassa, Stefano. "Progettazione del sistema di controllo di una vettura di formula sae." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amslaurea.unibo.it/7363/.

Full text
Abstract:
Il seguente lavoro di tesi è finalizzato alla realizzazione dell’elettronica di controllo per una vettura prototipo, Nel Capitolo 1 della tesi viene descritto più nel dettaglio il progetto Formula SAE, introducendo gli aspetti peculiari della competizione; successivamente segue una breve descrizione del team UniBo Motorsport. Il Capitolo 2 descrive l’elettronica implementata nella stagione 2013 evidenziandone i punti di forza e le debolezze al fine di poter trarre delle conclusioni per comprendere la direzione intrapresa con questo lavoro di tesi. Nel Capitolo 3 viene presentata la soluzio
APA, Harvard, Vancouver, ISO, and other styles
16

Fabrizi, Steven. "Progettazione aerodinamica delle pance laterali di una vettura di Formula SAE." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2021.

Find full text
Abstract:
L’obiettivo di questo elaborato di tesi è illustrare quali siano stati i metodi di studio e le soluzioni adottate nello sviluppo delle pance impiegate sulla monoposto da Formula SAE® UBM Audace LC, appartenente al team Unibo Motorsport, in preparazione alla stagione di gare 2018. Dopo una breve introduzione sul campionato di Formula SAE e sul team Unibo Motorsport, sono analizzate le problematiche riscontrate con le pance e l'impianto di raffreddamento utilizzati nella stagione precedente ed è esposto il percorso di studio che ha portato alla produzione delle nuove carenature. Infine, per ve
APA, Harvard, Vancouver, ISO, and other styles
17

Álvarez, Falcón César. "¿Cómo formular y escribir una tesis doctoral? II." Universidad Peruana de Ciencias Aplicadas (UPC), 2014. http://hdl.handle.net/10757/333469.

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

Álvarez, Falcón César. "¿Cómo formular y escribir una tesis doctoral? I." Universidad Peruana de Ciencias Aplicadas (UPC), 2014. http://hdl.handle.net/10757/333468.

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

Ribeiro, La?s Sibaldo. "Uso de ?gua produzida na formula??o de fluidos de perfura??o." Universidade Federal do Rio Grande do Norte, 2015. http://repositorio.ufrn.br/handle/123456789/19778.

Full text
Abstract:
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-02-05T22:26:11Z No. of bitstreams: 1 LaisSibaldoRibeiro_DISSERT.pdf: 1705871 bytes, checksum: 948e4beb72da1823f2fb24c8464e7377 (MD5)<br>Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-02-16T19:20:45Z (GMT) No. of bitstreams: 1 LaisSibaldoRibeiro_DISSERT.pdf: 1705871 bytes, checksum: 948e4beb72da1823f2fb24c8464e7377 (MD5)<br>Made available in DSpace on 2016-02-16T19:20:45Z (GMT). No. of bitstreams: 1 LaisSibaldoRibeiro_DISSERT.pdf: 1705871 bytes, checksum: 948e4beb72da1823f2fb24c
APA, Harvard, Vancouver, ISO, and other styles
20

Wijaya, Dudy D. [Verfasser]. "Atmospheric correction formulae for space geodetic techniques / Dudy D Wijaya." Aachen : Shaker, 2010. http://d-nb.info/1122546718/34.

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

Fuchs, Thomas. "Formale Widerspenstigkeit : Nachlässe und Autographensammlungen." Das Buch in Antike, Mittelalter und Neuzeit : Sonderbestände der Universitätsbibliothek Leipzig / hrsg. von Thomas Fuchs ... Wiesbaden : Harrassowitz, 2012. S. 163-175. ISBN 978-3-447-06689-1, 2012. https://ul.qucosa.de/id/qucosa%3A14635.

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

Fuchs, Thomas. "Formale Widerspenstigkeit : Nachlässe und Autographensammlungen." Universitätsbibliothek Leipzig, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-201238.

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

Maier, Markus. "Formel 1-Sponsoring : ökonomische und juristische Probleme /." Hamburg : Kovac, 2010. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=018987313&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.

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

Borne, Niels. "Une formule de Riemann-Roch équivariante pour les courbes." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2000. http://tel.archives-ouvertes.fr/tel-00001272.

Full text
Abstract:
Le cadre du travail présenté dans cette thèse est celui de la théorie équivariante des courbes, c'est-à-dire l'étude des courbes munies d'une action d'un groupe G, qu'on considère toujours fini. Le résultat essentiel est un théorème de Riemann-Roch à valeurs dans l'anneau des caractères du groupe considéré, et qui relève le théorème classique. Il est obtenu pour des G-faisceaux de rang quelconque grâce à l'introduction d'un groupe de diviseurs à coefficients équivariants qui permet en particulier de définir le déterminant et le degré d'un tel faisceau. On applique ce théorème au calcul de stru
APA, Harvard, Vancouver, ISO, and other styles
25

Le, roux Linda. "De la fabrication à la digestion in vitro de formules infantiles innovantes en partie composées de protéines végétales : une approche multi-échelle." Thesis, Rennes, Agrocampus Ouest, 2019. http://www.theses.fr/2019NSARB327.

Full text
Abstract:
Les formules infantiles (FI) sont la seule source nutritionnelle pour les nourrissons lorsque l’allaitement est impossible. Les FI en poudre sont obtenues par séchage par atomisation et sont composées de protéines de lait de vache, majoritairement des protéines du lactosérum. A l’avenir, les protéines végétales pourraient constituer une alternative nutritionnelle, fonctionnelle et durable à l’utilisation de protéines animales. L’objectif de ce travail était d’étudier l’influence de la substitution partielle des protéines laitières par des protéines végétales sur les propriétés fonctionnelles e
APA, Harvard, Vancouver, ISO, and other styles
26

HUYNH, ANH-TUYET. "L'enseignement modulaire, une etude experimentale. Une formule pour un enseignement adapte a l'ecole et au monde d'aujourd'hui." Caen, 1993. http://www.theses.fr/1993CAEN1121.

Full text
Abstract:
Une presentation des enseignements individualises et notamment l'enseignement modulaire, appliques en amerique du nord dans l'enseignement superieur, professionnel et secondaire, est effectuee. La revue des ecrits revele le role important de la technologie educative dans le systeme d'enseignement modulaire. Il est interessant d'envisager l'education dans une optique systemique c. A. D dans sa globalite et ses differents elements. La problematique de cette recherche porte sur l'adaptation et l'implantation de la strategie modulaire dans un contexte donne. Une methode de recherche bibliographiqu
APA, Harvard, Vancouver, ISO, and other styles
27

Greifeneder, Jürgen [Verfasser]. "Formale Analyse des Zeitverhaltens Netzbasierter Automatisierungssysteme / Jürgen Greifeneder." Aachen : Shaker, 2008. http://d-nb.info/1164341553/34.

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

Güttler, Karsten. "Formale Organisationsstrukturen in wachstumsorientierten kleinen und mittleren Unternehmen." Wiesbaden Gabler, 2009. http://d-nb.info/991748387/04.

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

Nalon, Filippo. "Analisi sperimentale sull'utilizzo di etanolo (E85) in un motore per Formula SAE." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/13146/.

Full text
Abstract:
Questo lavoro di tesi tratta della conversione di un motore a combustione interna ad accensione comandata PFI dall’utilizzo di benzina RON95 all’utilizzo di etanolo E85. L’applicazione dello studio riguarda il propulsore della vettura Formula SAE dell’Università di Bologna. In una fase iniziale dello studio si valutano dal punto di vista teorico gli aspetti inerenti il cambiamento di combustibile: confronto proprietà fisico-chimiche (calore latente di vaporizzazione, tonalità termica, numero di ottano), calcolo delle emissioni di CO2, rapporto di compressione, confronto strozzature da regolame
APA, Harvard, Vancouver, ISO, and other styles
30

Malagoli, Lorenzo. "Ingegnerizzazione di un alettone automobilistico da Formula SAE: dalla progettazione alla produzione." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2018.

Find full text
Abstract:
La tesi si concentra su di una parte di un’attività extra curriculare in UniBo Motorsport – Formula SAE Team, una squadra corse studentesca il cui scopo è quello di progettare e costruire una autovettura monoposto da corsa dell’ordine di grandezza di un kart che andrà a gareggiare con altri team studenteschi nella competizione internazionale Formula SAE. Lo studio verte sull'alettone anteriore del veicolo: post-design aerodinamico, progettazione CAD, validazione FEM, produzione componenti in fibra di carbonio ed assemblaggio.
APA, Harvard, Vancouver, ISO, and other styles
31

Benisi, Andrea. "Sviluppo di un sistema di telemetria per applicazioni su vettura formula SAE." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2011. http://amslaurea.unibo.it/2096/.

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

Li, Wen-Wei. "Vers une formule des traces stable pour le groupe métaplectique." Phd thesis, Université Paris-Diderot - Paris VII, 2011. http://tel.archives-ouvertes.fr/tel-00606273.

Full text
Abstract:
Cette thèse se compose de deux parties, quatre chapitres. Dans le Chapitre I, on établit un formalisme d'endoscopie du groupe métaplectique Mp(2n). On prouve le transfert d'intégrales orbitales et le lemme fondamental. Dans le Chapitre II on énonce et prouve le lemme fondamental pondéré à la Arthur pour le groupe métaplectique sous l'hypothèse du lemme fondamental pondéré non standard. Dans le Chapitre III, on se propose d'étudier la formule des traces d'Arthur-Selberg pour une classe assez générale de revêtements des groupes réductifs connexes, y compris Mp(2n). On établit la formule des trac
APA, Harvard, Vancouver, ISO, and other styles
33

Pacheco, Fernanda Grendene. "Estudo de pr?-formula??o e formula??o farmac?utica de uso t?pico contendo Immucillin-DI4G como alternativa terap?utica para o tratamento da Leishmaniose Cut?nea." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2016. http://tede2.pucrs.br/tede2/handle/tede/6655.

Full text
Abstract:
Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2016-05-10T11:50:40Z No. of bitstreams: 1 DIS_FERNANDA_GRENDENE_PACHECO_COMPLETO.pdf: 2728715 bytes, checksum: 93bb3d4fcee10a1e8abba33e2e0e8996 (MD5)<br>Made available in DSpace on 2016-05-10T11:50:40Z (GMT). No. of bitstreams: 1 DIS_FERNANDA_GRENDENE_PACHECO_COMPLETO.pdf: 2728715 bytes, checksum: 93bb3d4fcee10a1e8abba33e2e0e8996 (MD5) Previous issue date: 2016-03-14<br>Introduction: Cutaneous leishmaniasis is caused by Leishmania protozoan and transmitted through the female of Lutzomyia sandflies. The disease can
APA, Harvard, Vancouver, ISO, and other styles
34

Bauer, Nanette [Verfasser]. "Formale Analyse von Sequential Function Charts / Nanette Bauer." Aachen : Shaker, 2003. http://d-nb.info/117054620X/34.

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

Benkaza, Nouredine. "Formule de Weyl dans un domaine plan avec coupure." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37602849d.

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

Amorim, Filho Oswaldo Bueno. "Un cuarto de siglo de una ciudad media en Minas Gerais : Formiga." Pontificia Universidad Católica del Perú. Centro de Investigación en Geografía Aplicada, 2014. http://repositorio.pucp.edu.pe/index/handle/123456789/119737.

Full text
Abstract:
En 1971 se empezó la primera investigación académica sobre la CIUDADES INTERMEDIAS en Brasil. El estudio contempló el Suroeste del Estado de Minas Gerais y, en especial, el Municipio de FORMIGA, que en aquel entonces tenía cerca de 50.000 habitantes, de los cuales 3.000 pertenecían a la ciudad misma. Este estudio se ha transformado en una tesis doctoral, presentada y aprobada en la Universidad de Burdeos (Francia), en 1973. La ciudad de Formiga, en el comienzo de los años 1970, tenía una importancia primordial en la región gracias a su posición geográfica privilegiada no solamente de un punto
APA, Harvard, Vancouver, ISO, and other styles
37

Neupert, Sascha. "Lineare Algebra und Erfüllbarkeitsalgorithmen für zufällige Formeln." Master's thesis, Universitätsbibliothek Chemnitz, 2005. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200500927.

Full text
Abstract:
Es werden effiziente Algorithmen vorgestellt, die auf algebraischen Methoden beruhen um die Unerfüllbarkeit aussagenlogischer 4-SAT Formeln zu zertifizieren. Die Algorithmen werden implementiert und auf praktische Weise hinsichtlich der Laufzeit mit Backtracking-Algorithmen verglichen.
APA, Harvard, Vancouver, ISO, and other styles
38

Neupert, Sascha. "Lineare Algebra und Erfüllbarkeitsalgorithmen für zufällige Formeln." [S.l. : s.n.], 2005. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB12103507.

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

Staab, Joachim Friedrich. "Nachrichtenwert-Theorie : formale Struktur und empirischer Gehalt /." Freiburg : K. Alber, 1990. http://catalogue.bnf.fr/ark:/12148/cb35558119k.

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

SPIELBERG, HOLGER. "Une formule pour les invariants de gromov-witten des varietes toriques." Université Louis Pasteur (Strasbourg) (1971-2008), 1999. http://www.theses.fr/1999STR13028.

Full text
Abstract:
Dans cette these, on demontre une formule explicite pour les invariants de gromov-witten de genre 0 des varietes toriques projectives lisses. Dans le cas d'une variete de type fano, la connaissance de ces invariants permet notamment de calculer l'anneau de la cohomologie quantique de la variete. Les premiers chapitres rappellent d'abord les definitions et quelques proprietes des courbes et des applications stables, de leurs espaces de modules, des invariants de gromov-witten a la maniere de behrend et fantechi a l'aide des classes fondamentales virtuelles, ainsi que la formule de localisation
APA, Harvard, Vancouver, ISO, and other styles
41

Mertke, Thomas [Verfasser]. "Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache / Thomas Mertke." Aachen : Shaker, 2004. http://d-nb.info/1181603714/34.

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

Gamard, Guilhem. "Couverture d'un mot bidimensionnel par un motif chevauchant." Thesis, Montpellier, 2017. http://www.theses.fr/2017MONTS027/document.

Full text
Abstract:
Nous étudions dans cette thèse la notion de quasipériodicité,introduite par Apostolico et Ehrenfeucht au début des années 1990,puis étendue aux mots infinis par Solomon Marcus au début des années2000. Un mot (fini ou infini) w est quasipériodique s'il peut êtrecouvert par des occurrences, éventuellement chevauchantes, d'un autremot, fini, appelé sa quasipériode. En 2006, Monteil etMarcus ont introduit la notion plus forte de quasipériodicitémulti-échelles : le fait d'avoir une infinité de quasipériodes.Dans un premier temps, nous étudions la quasipériodicité des motsinfinis bidimensionnels. No
APA, Harvard, Vancouver, ISO, and other styles
43

Hachami, Saïd. "Périodes hermitiennes des courbes et application à une formule de Chowla-Selberg." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb376140894.

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

Hachami, Saïd. "Périodes hermitiennes des courbes et application à une formule de chowla-selberg." Nancy 1, 1988. http://www.theses.fr/1988NAN10142.

Full text
Abstract:
La nouvelle démonstration de la formule de chowla-selberg dans le cas P = 7 consiste à exhiber une application méromorphe entre la courbe de fermat X**(7) + Y**(7) + Z**(7) = 0 de P::(2)(C) et une courbe elliptique. Un calcul direct que D. Barlet a effectué précédemment en liaison avec le calcul de la forme hermitienne cannonique des singularités isolées des surfaces de fermat X**(A) + Y**(B) + Z**(C) dans C**(3) montraient qu'une période hermitienne convenable sur la courbe X**(7) + Y**(7) + Z**(7) coincidait avec le membre de droite de la formule de chowla-selberg pour P = 7 (à des constante
APA, Harvard, Vancouver, ISO, and other styles
45

Stiebe, Ralf. "Untersuchungen zu Kantengrammatiken und Valenzgrammatiken." [S.l. : s.n.], 2000. http://deposit.ddb.de/cgi-bin/dokserv?idn=961200499.

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

Heinkel, Ulrich. "Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen /." Düsseldorf : VDI-Verl, 1999. http://www.gbv.de/dms/bs/toc/271368470.pdf.

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

Maysenhölder, Christa. "Ausdruck und Bedeutung, zwei formale Aspekte der Architekturzeichnung." Stuttgart : Institut für Grundlagen der Modernen Architektur und Entwerfen (IGMA), Universität Stuttgart : In Kommission, K. Krämer, 1988. http://books.google.com/books?id=J_9PAAAAMAAJ.

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

LOPEZ, MEDINA MARCO ANTONIO 787172, and MEDINA MARCO ANTONIO LOPEZ. "Diseño de un algoritmo para el conteo de modelos de formulas booleanas en dos forma normal conjuntiva." Tesis de maestría, Universidad Autónoma del Estado de México, 2018. http://hdl.handle.net/20.500.11799/98902.

Full text
Abstract:
Tesis de Maestría para obtención de grado<br>El conteo de modelos sobre fórmulas booleanas es el problema conocido como #SAT, el cual forma parte de los problemas catalogados como #P-Completos. #2SAT es una restricción a #SAT, donde las cláusulas que componen una fórmula contienen a lo m as dos variables, uno de los métodos usados para resolver este problema es la descomposición de la fórmula, la cual puede realizarse por la asignación de valores de verdad a una variable o a una cláusula. La descomposición de una fórmula por variable requiere un procedimiento de selección para la variable o cl
APA, Harvard, Vancouver, ISO, and other styles
49

Lokombo, Nkaka Léon. "Est-ce que la formule coopérative a un avenir au Zaïre?" Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/mq21795.pdf.

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

Lokombo, Nkaka Léon. "Est-ce que la formule coopérative a un avenir au Zaïre?" Sherbrooke : Université de Sherbrooke, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Formula uno' for other source types:
Journal articles 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