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

Dissertations / Theses on the topic 'Calcul Ito'

Author: Grafiati
Published: 4 June 2021
Last updated: 11 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 'Calcul Ito.'

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

Ben, Ghorbal Anis. "Fondements algébriques des probabilités quantiques et calcul stochastique sur l'espace de Fock booléen." Nancy 1, 2001. http://www.theses.fr/2001NAN10009.

Full text
Abstract:
Ce mémoire est divisé en trois grandes parties. La première est consacrée essentiellement à l'étude des produits en probabilités quantiques. Nous donnons une classification complète à l'aide du produit universel défini par un ensemble d'axiomes canoniques dans les différentes catégories d'algèbres associatives. Ceci nous permet aussi de définir la notion d'indépendance stochastique non-commutative. En particulier nous démontrons que les seuls produits sont les produits tensoriel (classique), libre et booléen. La seconde partie est motivée directement par la première. Elle est consacrée à l'étude des processus de Lévy sur les groupes duaux de D. Voiculescu. Ce nouveau concept généralise la théorie des processus de Lévy sur les algèbres de Hopf (groupes quantiques) où la seule notion d'indépendance est donnée par le produit tensoriel. Ce principe nous fournit l'outil principal pour montrer qu'un processus de Lévy sur un groupe dual est déterminé par son générateur. Comme application directe, nous donnons une réalisation des processus de Lévy additifs sur les trois espaces de Fock (bosonique, libre et booléen). La troisième partie est consacrée au développement du calcul stochastique quantique sur l'espace de Fock booléen. En particulier nous introduisons l'intégrale stochastique et nous donnons une formule d'Itô quantique. Nous construisons aussi les solutions de l'équation différentielle stochastique quantique au sens de R. L. Hudson et K. R. Parthasarathy. Finalement nous construisons les dilatations des semi-groupes complètement positifs.
APA, Harvard, Vancouver, ISO, and other styles
2

Ling, Paul David. "The Ito calculus : a vector integral approach." Thesis, University of Oxford, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.238210.

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

D'Agostino, Marcello. "Investigations into the complexity of some propositional calculi." Thesis, University of Oxford, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.316930.

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

Thomet, Antoine. "Amélioration et accélération de l'Optique Physique Itérative pour le calcul de SER de cavités complexes." Nantes, 2015. https://archive.bu.univ-nantes.fr/pollux/show/show?id=cce708ae-e7f0-47c7-8feb-e121462fdb37.

Full text
Abstract:
Ce manuscrit est consacré au calcul de la Surface Equivalente Radar (SER) de cavités de formes complexes dont les dimensions sont grandes devant la longueur d'onde. De nombreuses méthodes ont été développées pour un tel calcul, et l'IPO (Iterative Physical Optics) a été retenue pour son compromis intéressant entre précision et temps de calcul. Il s'agit d'une méthode asymptotique basée sur la résolution itérative des équations intégrales des champs électromagnétiques par l'Optique Physique. Les travaux de cette thèse ont pour but d'améliorer l'IPO, en termes de précision et de temps de calcul. La première contribution originale de cette thèse repose sur une étude détaillée du phénomène d'ombrage, qui a un impact important sur la précision du calcul. La méthode d'ombrage physique a alors été développée, basée sur les équations intégrales des champs pour des objets couplés, et sur le rayonnement en zone d'ombre avec l'Optique Physique. Elle a été testée et comparée aux approches classiques pour des cavités et des surfaces ouvertes. La seconde contribution originale de cette thèse repose sur l'accélération de l'IPO, basée sur une technique de compression matricielle. Le formalisme matriciel de la méthode IPO a alors été établi et optimisé, et l'algorithme de compression ACA (Adaptive Cross Approximation) ainsi que sa version recompressée RACA, ont alors été appliqués aux matrices d'interactions impliquées dans l'IPO. De plus, le calcul a pu être accéléré par l'application de la S-IPO, qui consiste à découper une cavité en tronçons pour y appliquer l'IPO. Les nombreuses simulations ont montré un gain en temps de calcul et une réduction de l'occupation mémoire
This thesis dissertation deals with the computation of the Radar Cross Section (RCS) of complexshaped open-ended cavities whose dimensions are large compared to the wavelength. Many methods have been developed for such a calculation and IPO (Iterative Physical Optics) has been chosen for its interesting trade-off between the accuracy and the computation time. It is an asymptotic method based on an iterative resolution of the electromagnetic fields integral equations by Physical Optics. The thesis works aim at improving IPO, in terms of both accuracy and computation time. The first original contribution of the thesis concerns a detailed study of the shadowing phenomenon, which has a significant impact on the accuracy. The method, called physical shadowing, has been developed, based on fields integral equations applied to coupled objects, and the shadow radiation of Physical Optics. The method has been tested and compared to classical approaches for open surfaces and open-ended cavities. The second original contribution concerns the acceleration of IPO, based on a technique of matrix compression. First, IPO has been written into a matrix formulation, which allows to apply the ACA (Adaptive Cross Approximation) algorithm, and its recompressed version R-ACA, to compress the interactions matrices of IPO. Moreover, the computation time has been reduced by applying the S-IPO, consisting in separating the cavity in subsections where IPO is applied. The simulations has shown a reduction of the computation time and the memory requirements
APA, Harvard, Vancouver, ISO, and other styles
5

Christensen, Jon L. Pierson Brian E. "Integrating computers into calculus instruction /." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1994. http://handle.dtic.mil/100.2/ADA280996.

Full text
Abstract:
Thesis (M.S. in Applied Mathematics) Naval Postgraduate School, March 1994.
Thesis advisor(s): Maurice D. Weir, Carlos F. Borges. "March 1994." Includes bibliographical references. Also available online.
APA, Harvard, Vancouver, ISO, and other styles
6

Christensen, Jon L., and Brian E. Pierson. "Integrating computers into calculus instruction." Thesis, Monterey, California. Naval Postgraduate School, 1994. http://hdl.handle.net/10945/30883.

Full text
Abstract:
Visualization is key in helping a student understand the fundamentals of Calculus. The new generation of computer literate students, raised in a video-based environment, will expect more than the traditional chalkboard methods in assisting them in this visualization. By integrating computers into the classroom and developing software to assist in mathematics instruction, we can enhance student comprehension of, and ability to apply, mathematics in solving real world problems of interest to the military. As evidenced by the success of both the Apple Macintosh and Windows software, mouse driven, graphical user interfaces (GUI's) represent a powerful and frequently-used tool in the computing environment. GUI's improve the visual capabilities in computing software, simplify program execution, and reduce the time required to become proficient with the software. When designed correctly, the GUI-based software can significantly improve the way in which people interact with computers. This thesis lays the framework and develops multi-platform GUI software modules needed for the instruction of Calculus
APA, Harvard, Vancouver, ISO, and other styles
7

Anderson, Jennifer Christine. "QUANTITATIVE AND QUALITATIVE INVESTIGATIONS INTO URINARY CALCULI USING INFRARED MICROSPECTROSCOPY." Miami University / OhioLINK, 2007. http://rave.ohiolink.edu/etdc/view?acc_num=miami1173303815.

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

Mandler, Christian [Verfasser]. "Functional Ito-Calculus for Superprocesses and the Historical Martingale Representation / Christian Mandler." Gieߟen : Universitätsbibliothek, 2021. http://d-nb.info/1236385748/34.

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

Patrignani, Marco. "Importing ownership types into the join calculus." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amslaurea.unibo.it/1173/.

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

Bradbury, Harold John. "Calcium isotope insight into the global carbon cycle." Thesis, University of Cambridge, 2018. https://www.repository.cam.ac.uk/handle/1810/273425.

Full text
Abstract:
Over the course of my PhD, I developed the analytical capability to measure calcium isotopes at the University of Cambridge and analyzed calcium isotopes in a range of fluids and minerals in modern and past environments. After discussing my methodological development, I report my work in the glacial precursor to the Dead Sea. Here, the calcium isotope composition of aragonite varies synchronously with lake level fluctuations over the last 70,000 years. My numerically reconstructed lake calcium budget led me to conclude that 20,000 years ago, the Dead Sea was wetter than modern conditions, rather than colder and drier, as had previously been proposed. The primary focus of my PhD research was understanding the sedimentary sink for carbon. The formation of authigenic carbonate in marine sediments is caused by the microbial degradation of organic matter. I used pore fluid measurements and a numerical model to identify zones of authigenic carbonate precipitation. This knowledge was then combined with an understanding of the microbial processes that occur beneath the seafloor to determine the link between microbial activity and authigenic carbonate formation. Two processes, sulfate reduction and the anaerobic oxidation of methane were determined to be the main drivers of authigenic carbonate precipitation. In order to assess the importance of the carbon isotope signal imparted by each of the two identified processes, I created Artificial Neural Networks to predict the areal extent of authigenic carbonate precipitation and the dominant microbial process driving the precipitation. My ANNs identified that 37% of the modern seafloor is precipitating authigenic carbonate, which leads to a flux of 1.2*10^12 moles of carbon per year, of which 88% is due to the anaerobic oxidation of methane, and 12% is due to sulfate reduction. This represents 2-3% of the modern global carbon deposition, however I was able to show that this would be significantly higher in the geological past when ocean conditions were vastly different to how they are today. Finally, I conclude by proposing that some variations in the global carbon cycle in the past can be explored by linking marine calcium concentrations to authigenic carbonate formation and the flux of alkalinity from the seafloor.
APA, Harvard, Vancouver, ISO, and other styles
11

Hiremath, Vinay, and Ashwini Mayakar. "Integrating Fault Propagation & Transformation Calculus Into Progress IDE." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-16078.

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

Stephens, Christopher James. "On the transformation of amorphous calcium carbonate into calcite." Thesis, University of Leeds, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.534898.

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

Chumnarnsilpa, Sakesit. "Insights into the mechanism of calcium activation of adseverin." Thesis, University of Oxford, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.558288.

Full text
Abstract:
Actin remodeling is a key step in many cellular processes. Adseverin and gelsolin are calcium dependent actin remodeling proteins in gelsolin superfamily. Gelsolin is involved in cell motility whereas adseverin participates in cell secretion. Gelsolin has a C-terminal extension that forms an a-helix, which covers an F-actin-binding site in the absence of calcium. Equilibrium dialysis experiments suggest that adseverin has one rate-limiting step during activation with respect to actin severing whereas gelsolin has two rate-limiting steps. The second rate-limiting step of gelsolin has been attributed to the unlatching of the C-terminal helix. However, the details of the calcium activation of adseverin and gelsolin remain unclear. Results presented in this study have demonstrated that in solution adseverindisplays different conformations fromgelsolin. However, the calcium induced conformational changes of these proteins are similar. The N-terminal half of adseverin displays an inactive conformation in the absence of calcium that is activated by calcium binding at A3. Calcium binding at the calcium-binding site straightens the long helix that disruptsthe key interactions at the A1:A3 interface (R97-E314 and F64-M310), which is unnecessary for gelsolin. Calcium activation at the C-terminal half of adseverin involves domains rearrangement induced by cooperative calcium binding at A4 and AS but A6. However calcium binding at A6 is key to the activation of the full-length molecule. Moreover actin filament depolymerization assay suggests that the C-terminal half may present actin filament severing activity in the present of calcium. Results in the thesis have provided insights into the details of calcium activation of adseverin providing mechanistic explanations to such questions as, "Why does adseverin require less calcium than gelsolin in inducing severing activity?" "Why is actin filament severing activity by the N-terminus of adseverin calcium dependent whereas it is calcium independent in gelsolin?" Moreover the results have helped explain the common mechanism of calcium activation of the C- terminal half of adseverin and gelsolin.
APA, Harvard, Vancouver, ISO, and other styles
14

Márkus, Nóra Mercedes. "Mechanistic investigations into pro-survival and pro-death neuronal Ca2+ signalling pathways." Thesis, University of Edinburgh, 2017. http://hdl.handle.net/1842/28866.

Full text
Abstract:
Ca2+ is an important second messenger which modulates a variety of signalling pathways in both excitable and non-excitable cells. In the CNS, Ca2+ plays an important role in neurons both physiologically and pathologically. Ca2+ influx following synaptic activity, is important in development, plasticity, redox balance, as well as in neuroprotection, largely through activation of pro-survival pathways downstream of synaptic NMDAR activation, including upregulation of antioxidant defences. However, excessive Ca2+ influx in neurons leads to neuronal damage and excitotoxicity, in which mitochondrial Ca2+ uptake through the mitochondrial Ca2+ uniporter (Mcu) resulting in mitochondrial dysfunction is a key player. Excitotoxicity occurs due to glutamate efflux from astrocytes following stroke, traumatic brain injury and in chronic neurodegenerative diseases, leading to excessive neuronal NMDAR activation and triggering of its downstream pro-death pathways. This thesis focuses on understanding the pro-survival and pro-death effects of signalling pathways activated by Ca2+ in neurons, as well as the potential effect of neuronal synaptic activity on influencing neuroprotective gene transcription in astrocytes. I investigated the role of AMPK, a master regulator of metabolism, in NMDA excitotoxicity in cortical neurons as a potential downstream effector of Mcu-dependent excitotoxic death; and found the deletion of AMPKα1/2 to be neuroprotective against NMDA-mediated excitotoxicity, however I found AMPK activation to be independent of Mcu. I also investigated the expression pattern of Mcu and other mitochondrial calcium regulatory genes (MCRGs), and found MCRGs to be differentially expressed in different neural cells (primary neurons vs astrocytes), and neuronal subtypes (CA1 vs CA3 region of the hippocampus), suggesting differing dependence on the various MCRGs in mitochondrial Ca2+ handling in these cell types. A better functional understanding of these genes will allow for investigation of their importance in mitochondrial Ca2+ handling, including their potential role in excitotoxicity. I next investigated the neuroprotective effects of synaptic activity induced Ca2+ influx, focusing on antioxidant target genes of Nrf2, a transcription factor and major regulator of antioxidant genes. I found that unlike astrocytes, neurons express very low levels of Nrf2. However, synaptic activity increased the expression of several Nrf2 target genes in neurons, independently of astrocytes and Nrf2. Additionally, I found no effect of synaptic activity on increasing Nrf2 protein levels, despite previous reports in literature of Nrf2 pathway activation following synaptic activity. Finally, using RNA-seq I identified a list of genes strongly upregulated by a known Nrf2 activator in astrocytes, and found no evidence that neuronal activity triggers expression of these genes independently of neurons, providing further evidence that neuronal activity does not activate the Nrf2 pathway in astrocytes. This suggests that synaptic activity via pathways activated by Ca2+ signalling provides neurons with cell-autonomous antioxidant defences, independently of Nrf2; thus providing a distinct pathway for antioxidant defences in neurons from the Nrf2 pathway, which is activated in astrocytes providing neurons with non-cell autonomous antioxidant support. These results give us further insight into the mechanisms that underlie synaptic and non-synaptic Ca2+ signalling pathways mediating neuronal survival and death, which could help in identifying therapeutic targets to combat excitotoxicity and oxidative stress in various neurological diseases.
APA, Harvard, Vancouver, ISO, and other styles
15

Habib, Ahsan. "Studies on the improvement of calcium uptake into micropropagated potato." Thesis, McGill University, 2004. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=84255.

Full text
Abstract:
Various aspects of Ca2+ uptake into greenhouse-grown potato plants and micropropagated potato plantlets were examined, including the movement of Ca2+ into potato plants and tubers, identification of Ca-packing genotypes and assessment of the effect of improved medium Ca2+ level on different parameters such as plantlet growth, microtuber induction, yield and tissue Ca concentration. The effect of exogenous vitamin Ds and UV-elicited endogenous vitamin D synthesis on regulation of 45Ca 2+ uptake into plantlet shoots was also examined. Safranin dye was not as suitable as the tracer 45Ca2+ for monitoring translocation of Ca2+ into tubers. Uptake of Ca2+ into tubers occurred indirectly through the main basal roots and stolon roots and directly through tuber periderm. Liquid scintillation counting and flame atomic absorption spectrophotometry were used to screen six potato cultivars and two wild species for ability to take up Ca2+ from treatment solutions containing high or low Ca2+ levels. In vitro potato micropropagation, microtuberization, and tissue calcium concentration were compared for six cultivars when Murashige-Skoog basal medium Ca2+ level was increased from 3, to 5 or 15 mM. All aspects of growth including shoot dry weight, early microtuber induction, microtuber yield and tissue Ca concentration were improved when medium Ca2+ level was 15 mM. Cultivar Bintje was the most efficient genotype at accumulating Ca 2+ from treatment solutions or growth media containing high or low Ca2+ levels. Vitamin Ds improved 45Ca 2+ uptake into shoots of micropropagated potato plantlets and D 3 was more efficient in this regard than D2 or a combination of D3 and D2. Plantlets had increased 45Ca 2+ uptake when exposed to UV irradiation compared with the untreated control plantlets. Plantlets given a 24 hour interval in the dark after UV exposure had even greater 45Ca2+ uptake, suggesting that vitamin D, metabolites, specifically calcitriol (1, 25(OH)2-v
APA, Harvard, Vancouver, ISO, and other styles
16

Marriott, Caedmon. "Lithium and calcium isotope fractionation and Li/Ca ratio incorporation into calcium carbonate as potential geochemical proxies." Thesis, University of Oxford, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.418477.

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

Ndour, Geneviève. "Approximate computing for high energy-efficiency in IoT applications." Thesis, Rennes 1, 2019. http://www.theses.fr/2019REN1S033/document.

Full text
Abstract:
Les unités à taille réduite font partie des méthodes proposées pour la réduction de la consommation d’énergie. Cependant, la plupart de ces unités sont évaluées séparément,c’est-à-dire elles ne sont pas évaluées dans une application complète. Dans cette thèse, des unités à taille réduite pour le calcul et pour l’accès à la mémoire de données, configurables au moment de l’exécution, sont intégrées dans un processeur RISC-V. La réduction d’énergie et la qualité de sortie des applications exécutées sur le processeur RISC-V étendu avec ces unités, sont évaluées. Les résultats indiquent que la consommation d’énergie peut être réduite jusqu’à 14% pour une erreur ≤0.1%. De plus, nous avons proposé un modèle d’énergie générique qui inclut à la fois des paramètres logiciels et architecturaux. Le modèle permet aux concepteurs logiciels et matériels d’avoir un aperçu rapide sur l’impact des optimisations effectuées sur le code source et/ou sur les unités de calcul
Reduced width units are ones of the power reduction methods. However such units have been mostly evaluated separately, i.e. not evaluated in a complete applications. In this thesis, we extend the RISC-V processor with reduced width computation and memory units, in which only a number of most significant bits (MSBs), configurable at runtime is active. The energy reduction vs quality of output trade-offs of applications executed with the extended RISC-V are studied. The results indicate that the energy can be reduced by up to 14% for an error ≤ 0.1%. Moreover we propose a generic energy model that includes both software parameters and hardware architecture ones. It allows software and hardware designers to have an early insight into the effects of optimizations on software and/or units
APA, Harvard, Vancouver, ISO, and other styles
18

Canabady-Rochelle, Laëtitia. "Équilibre en calcium dans les systèmes lactés - Étude des interactions calcium-protéines." Thesis, Vandoeuvre-les-Nancy, INPL, 2008. http://www.theses.fr/2008INPL016N.

Full text
Abstract:
Les équilibres en calcium (Ca) entre la phase soluble et la phase colloïdale ont été étudiés dans des systèmes lactés (laits de vache, de soja Hydrolysé ou Non-Hydrolysé). La supplémentation en Ca (CaCl2, CC, 25 mmoles.kg-1) a été suivie d’un cycle de pH (pHmin 5,5 ou 3,5). Le pH, la concentration en calcium ionisé (Ca2+), la turbidité et la viscosité apparente ont été reliés aux variations de la phase protéique. La concentration en Ca2+, initialement négligeable dans le lait de soja, augmente avec l’addition en Ca, ainsi qu’avec l’acidification et diminue lors de l’alcalinisation. Pour le lait de vache non supplémenté, le cycle de pH à 5,5 n’est réversible ni sur les variations en Ca2+, ni sur les variations de la phase protéique, contrairement au lait de vache supplémenté en Ca. Ceci pourrait être dû à la capture préalable en Ca, entraînant un renforcement des micelles de caséines. Pour des cycles de pH à 5,5, l’agrégation induite par l’acidification est partiellement ou complètement réversible lors de l’alcalinisation pour les laits de soja NH et H, mais l’agrégation induite par le Ca est irréversible. Quelque soit le système, des phénomènes sont irréversibles lors de cycle de pH à 3,5. Les interactions Ca-protéines (de vache ou de soja) étudiées par CTI montrent des signaux endothermiques similaires, probablement dû au relargage de molécules d’eau. La liaison du Ca pourrait être décrite comme un échange H+/Ca2+ étant donné les force électrostatiques impliquées. Les sites de fixation du Ca on été identifiés par IR-TF. L’énergie d’absorption diminue dans les région amides I et II et dans la région carboxylate lors de l’addition de Ca
Ca equilibrium between soluble and colloidal phases was studied in milky systems (milk, Non Hydrolysed, NH, or Hydrolysed, H, soy milks). Calcium chloride supplementation (CC, 25 mmoles.kg-1) was followed by pH cycle (pHmin 5.5 or 3.5). pH, Ca2+, turbidity and apparent viscosity were recorded in situ. Ca equilibria were related to protein phase variations. Contrarily to milk, Ca2+ concentration was initially negligible in soy milks. Yet, whatever the milky system, Ca2+ increased upon CC addition and with acidification, and decreased during alkalinization. For reference milk, pH cycle to 5.5 was reversible neither on Ca2+ variations nor on protein phase contrarily to CC-milk. This could be due to the previous capture of Ca during supplementation, involving casein micelles reinforcement through Ca-protein interactions. For pH cycle to 5.5, acid-induced aggregation was partially and completely reversible upon alkalinization for NH and H-soy milks, respectively. Once CC addition, Ca-induced aggregation was irreversible and pH cycle had minor effects. Whatever the system, the irreversibility of phenomena was observed for pH cycle to 3.5. Ca-(milk or soy) protein interactions studied by ITC showed similar endothermic signals, probably due to the water release occurring upon interaction. Ca binding should rather be described as H+/Ca2+ exchange with respect to the electrostatic forces involved. Finally, Ca-binding sites were identified with FTIR spectroscopy. A decrease of the absorption energy in the amide I and II region and in the carboxylate region occurred upon CC-addition, with higher variations in soy milks
APA, Harvard, Vancouver, ISO, and other styles
19

Hosfield, Christopher Mark. "Crystal structure and regulatory mechanism of calpain, insights into calcium-dependent proteolysis." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/NQ59527.pdf.

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

Need, Allan Geoffrey. "The absorption of calcium and its incorporation into bone during corticosteroid therapy /." Title page, table of contents and abstract only, 1986. http://web4.library.adelaide.edu.au/theses/09MD/09mdn3738.pdf.

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

Rachel, Mary Fox. "An investigation into the control of mitochondrial calcium handling by cardioprotective agents." Thesis, University of Sunderland, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315342.

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

Harper, Jane Vera. "Investigation into the role of T-type calcium channels in cellular proliferation." Thesis, University of Reading, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.397848.

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

Ong, C. H. Luke. "The Lazy Lambda Calculus : an investigation into the foundations of functional programming." Thesis, Imperial College London, 1988. http://hdl.handle.net/10044/1/47211.

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

Morlanes, José Igor. "Some Extensions of Fractional Ornstein-Uhlenbeck Model : Arbitrage and Other Applications." Doctoral thesis, Stockholms universitet, Statistiska institutionen, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-147437.

Full text
Abstract:
This doctoral thesis endeavors to extend probability and statistical models using stochastic differential equations. The described models capture essential features from data that are not explained by classical diffusion models driven by Brownian motion. New results obtained by the author are presented in five articles. These are divided into two parts. The first part involves three articles on statistical inference and simulation of a family of processes related to fractional Brownian motion and Ornstein-Uhlenbeck process, the so-called fractional Ornstein-Uhlenbeck process of the second kind (fOU2). In two of the articles, we show how to simulate fOU2 by means of circulant embedding method and memoryless transformations. In the other one, we construct a least squares consistent estimator of the drift parameter and prove the central limit theorem using techniques from Stochastic Calculus for Gaussian processes and Malliavin Calculus. The second phase of my research consists of two articles about jump market models and arbitrage portfolio strategies for an insider trader. One of the articles describes two arbitrage free markets according to their risk neutral valuation formula and an arbitrage strategy by switching the markets. The key aspect is the difference in volatility between the markets. Statistical evidence of this situation is shown from a sequential data set. In the other one, we analyze the arbitrage strategies of an strong insider in a pure jump Markov chain financial market by means of a likelihood process. This is constructed in an enlarged filtration using Itô calculus and general theory of stochastic processes.
Föreliggande doktorsavhandling strävar efter att utöka sannolikhetsbaserade och statistiska modeller med stokastiska differentialekvationer. De beskrivna modellerna fångar väsentliga egenskaper i data som inte förklaras av klassiska diffusionsmodeller för brownsk rörelse.  Nya resultat, som författaren har härlett, presenteras i fem uppsatser. De är ordnade i två delar. Del 1 innehåller tre uppsatser om statistisk inferens och simulering av en familj av stokastiska processer som är relaterade till fraktionell brownsk rörelse och Ornstein-Uhlenbeckprocessen, så kallade andra ordningens fraktionella Ornstein-Uhlenbeckprocesser (fOU2). I två av uppsatserna visar vi hur vi kan simulera fOU2-processer med hjälp av cyklisk inbäddning och minneslös transformering. I den tredje uppsatsen konstruerar vi en minsta-kvadratestimator som ger konsistent skattning av driftparametern och bevisar centrala gränsvärdessatsen med tekniker från statistisk analys för gaussiska processer och malliavinsk analys.  Del 2 av min forskning består av två uppsatser om marknadsmodeller med plötsliga hopp och portföljstrategier med arbitrage för en insiderhandlare. En av uppsatserna beskriver två arbitragefria marknader med riskneutrala värderingsformeln och en arbitragestrategi som består i växla mellan marknaderna. Den väsentliga komponenten är skillnaden mellan marknadernas volatilitet. Statistisk evidens i den här situationen visas utifrån ett sekventiellt datamaterial. I den andra uppsatsen analyserar vi arbitragestrategier hos en insiderhandlare i en finansiell marknad som förändrar sig enligt en Markovkedja där alla förändringar i tillstånd består av plötsliga hopp. Det gör vi med en likelihoodprocess. Vi konstruerar detta med utökad filtrering med hjälp av Itôanalys och allmän teori för stokastiska processer.

At the time of the doctoral defense, the following papers were unpublished and had a status as follows: Paper 4: Manuscript. Paper 5: Manuscript.

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

Lafave, Lynne M. Z. "Investigations into the multistep process of colon carcinogenesis as affected by dietary calcium." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/nq23623.pdf.

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

Chen, Tao. "New insights into the mechanisms of calcium carbonate mineral scale formation and inhibition." Thesis, Heriot-Watt University, 2005. http://hdl.handle.net/10399/1086.

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

Palmer, Claire Louise. "Biochemical investigation into the function of hippocalcin, a neurone-specific calcium binding protein." Thesis, University of Bristol, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.271880.

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

Schoiber, Georg Florian. "Structural insights into the regulation of the inositol 1,4,5-trisphosphate receptor by calcium." Thesis, Imperial College London, 2006. http://hdl.handle.net/10044/1/8947.

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

May, Richard David. "An investigation into the function of two murine S100 proteins, MRP-8 and MRP-14." Thesis, University College London (University of London), 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.313789.

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

Swadel, Emma Kate. "An Investigation into the Underlying Mechanisms of Hyphal Branching in Filamentous Microorganisms." Thesis, University of Canterbury. Biological Sciences, 2013. http://hdl.handle.net/10092/8558.

Full text
Abstract:
Understanding how hyphal organisms grow and develop is essential in order to manipulate mycelial colonies for purposes such as disease prevention and food production. One aspect of hyphal development that is not well understood is hyphal branching. Hyphal organisms branch as a way of creating new hyphal tips required for the search for nutrients, the acquisition of these nutrients and for hyphal fusion events that facilitate communication of signals within a mycelial colony. This investigation focused on the branching process occurring in the fungus N. crassa and in the oomycete A. bisexualis. An induction technique was developed to study branching in N. crassa involving local application of amino acids towards hyphae. This induced a branch to form along the hypha within the field of view. The use of this technique will enable the study of underlying events occurring internally prior to the visible branching stages. The role of Ca²⁺ hyphal branching was investigated in N. crassa suggesting Ca²⁺ is involved in apical dominance of the hyphal tip. This is based on a dose dependent response of increased branch frequency, decreased colony radius and decreased distance between the hyphal tip and the first branch, to the Ca²⁺ channel inhibitor verapamil. The stretch-activated Ca²⁺ channel inhibitors also had an effect on mycelial morphology. Gd³⁺ resulted in an increased branch frequency and a decreased colony radius and La³⁺ resulted in a decreased colony radius. The local application of verapamil towards N. crassa showed an increase in the number of multiple branches forming. Cytoplasmic Ca²⁺ was imaged in hyphae of A. bisexualis and N. crassa showing a tip-high Ca²⁺ gradient in A. bisexualis and Ca²⁺ sequestered into organelles in N. crassa. The role of F-actin in the process of hyphal branching was investigated using Lifeact N. crassa where F-actin could dynamically be seen at the site of both growing and non-growing hyphal branches. The involvement of F-actin at sites of septa development and associated with suspected vesicles was also observed.
APA, Harvard, Vancouver, ISO, and other styles
31

Pollock, Natashka S. "Chloride movement during calcium uptake into the sarcoplasmic reticulum of cardiac and smooth muscle." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq24693.pdf.

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

Ahmed, Tanveer. "A detailed investigation into the production of calcium alginate fibre from various algal sources." Thesis, University of South Wales, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.395313.

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

Klisińska, Anna. "The fundamental theorem of calculus : a case study into the didactic transposition of proof /." Luleå : Luleå Tekniska Universitet, 2009. http://pure.ltu.se/ws/fbspretrieve/2732706.

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

Nassal, Drew. "Evaluating Non-Canonical Roles of KChIP2 In The Heart." Case Western Reserve University School of Graduate Studies / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=case1491585406557989.

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

Velloso, Lucas Malard. "Structural insights into glycoprotein transport and viral escape /." Stockholm, 2004. http://diss.kib.ki.se/2004/91-7349-780-0/.

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

Cerminara, Nadia L. (Nadia Lisa) 1975. "An investigation into the role of climbing fibres in cerebellar function." Monash University, Dept. of Physiology, 2002. http://arrow.monash.edu.au/hdl/1959.1/8127.

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

Biosa, Leonardo. "Applicazione software per il calcolo automatico di indici ergonomici mediante motion capture." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2020.

Find full text
Abstract:
Il progetto di tesi qui descritto consiste in uno studio ergonomico riguardante le situazioni di sollevamento e movimentazione da parte di un operatore di oggetti pesanti all’interno di un contesto industriale e dell’implementazione di un software di calcolo automatico che analizza il rischio dovuto a questo tipo di situazione. Inizialmente si è introdotto l’argomento parlando del concetto di industria 4.0 legato all’utilizzo di questo tipo di software e naturalmente il concetto di ergonomia e di indice ergonomico facendo una carrellata generale sui vari tipi di indice presenti in letteratura. Si è passati poi a descrivere in maniera esaustiva la normativa UNI-ISO 11228-1 che ci parla dell’analisi del rischio riguardante la situazione analizzata. Una volta fatto ciò si è passati alla descrizione dello sviluppo numerico effettuato per passare dalla normativa al calcolo e naturalmente le modifiche effettuate per permettere uno studio di casi reali e non ideali. A questo punto si procede con la spiegazione del codice implementato tramite l’ambiente MATLAB dello sviluppo numerico effettuato in precedenza. Una volta spiegato esaustivamente il software si passa all’applicazione di questo a un caso reale seguita da analisi critica. Infine si si sono tratte delle conclusioni e si sono proposti degli sviluppi futuri.
APA, Harvard, Vancouver, ISO, and other styles
38

Dubois, Pierre. "Optimisation de structures rayonnantes métalliques 3D par déformation de surfaces iso-niveaux en régime harmonique." Paris, ENMP, 2005. http://www.theses.fr/2005ENMP1373.

Full text
Abstract:
Le problème inverse de diffraction électromagnétique est étudié à travers l’identification ou la « reconstruction » d’un obstacle considéré comme une surface continue de R3 de type conducteur parfait(métallique). A travers la mesure du champ électrique diffracté Eidal dans une zone, on considère classiquement la minimisation d’une fonction J mesurant la distance entre Eidal et Es, la solution courante. On introduit ensuite l’application de déformation r, en utilisant une formulation de type min max. On utilise la formulation intégrale de RUMSEY pour modéliser les équations de Maxwell et ainsi calculer le gradient de forme. Ce dernier sera validé numériquement à l’aide du logiciel S. S. 3D ( propriéte de France Télécom), en utilisant une approximation de type différences finies. Dans la seconde partie nous introduisons la méthode de représentation de domaine par les surfaces iso-niveaux. Cette dernière nous permettra de modifier la géométrie de surfaces tridimensionnelles métalliques représentées par des maillages triangulaires, dans le but de faire décroître la fonctionnelle J tout en effectuant des changements topologiques. En utilisant cette technique on étudie le problème inverse, évoqué précédemment et sa sensibilité ( à travers la convergence de l’optimisation) par rapport à la qualité d’information au préalable
APA, Harvard, Vancouver, ISO, and other styles
39

Ximing, LI. "Insights into Delivery of Somatic Calcium Signals to the Nucleus During LTP Revealed by Computational Modeling." Ohio University / OhioLINK, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=ohiou152236301476345.

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

Desai, Aditya. "Novel insights into the interaction of the Calcium Sensing Receptor with the Receptor Activity Modifying Proteins." Thesis, University of Sheffield, 2012. http://etheses.whiterose.ac.uk/3184/.

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

Cheung, Yuk Kam. "The development of alternative methods to introduce the Ca2+-sensitive bioluminescent complex, aequorin, into zebrafish embryos /." View abstract or full-text, 2005. http://library.ust.hk/cgi/db/thesis.pl?BIOL%202005%20CHEUNG.

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

Moore, Catherine Alison. "An investigation into the cellular and molecular aspects of calcium-based specificity in signalling in Arabidopsis thaliana." Thesis, University of Oxford, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365332.

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

Sankar, Gopal Ravi. "An investigation into a natural language interface for contact centers." Thesis, Nelson Mandela Metropolitan University, 2009. http://hdl.handle.net/10948/890.

Full text
Abstract:
Contact centres are the first point of contact between a company and a customer after the purchase of a product or service. These centres make use of contact centre agents to service customer queries. In the past contact centres hired as many agents as they could in order to service customers, which have led to an increase in personnel costs causing contact centres to become costly to run. Automation techniques were introduced to decrease personnel costs and one such technique is the Interactive Voice Response (IVR). The usability of IVR systems is, however, dismal. Customers would rather speak to a contact centre agent than navigate through the menu structure found in these systems. The menu structure has come under scrutiny because it is difficult to use and navigate, is often not aligned to caller usage patterns, and the menu options are long and vague. This research investigated whether a Natural Language Interface (NLI) could alleviate the problems inherent to IVR. NLIs, however, come with their own disadvantages of which the main ones are ambiguity and the loss of context of a conversation. Two prototypes were implemented, one of which resembled an IVR and the other an NLI (using ALICE concepts). An evaluation of two prototypes confirmed the advantages and disadvantages of these concepts in accordance to theory. A Hybrid prototype was proposed with the aid of two models. The model which proposed an NLI using a rule base was chosen for implementation. The Hybrid prototype was then evaluated against the NLI and IVR prototypes to deduce which prototype was the most effective, efficient and satisfying. The evaluation through the aid of descriptive and inferential statistics showed that the Hybrid prototype was the most usable prototype. The evaluation of the Hybrid prototype confirmed that a Hybrid approach could limit the shortcomings of IVR through the elimination of the menu structure found in these systems, thereby allowing users to state their queries in natural language. The incorporated rule base provided the Hybrid system with long term memory, eliminating one of the main disadvantages of NLIs.
APA, Harvard, Vancouver, ISO, and other styles
44

McFerran, Brian William. "An investigation into the mechanisms mediating calcium ion-stimulated ACTH secretion from AtT-20 anterior pituitary tumour cells." Thesis, University of St Andrews, 1996. http://hdl.handle.net/10023/14880.

Full text
Abstract:
The mouse AtT-20/D16-16 anterior pituitary tumour cell line was employed as a model system for the study of the mechanisms mediating calcium ion-stimulated adrenocorticotropin (ACTH) secretion. The present study indicates that calcium ion-stimulated ACTH secretion from AtT-20 cells is mediated by a GTP-binding protein which is present in a variety of other cell types and has been dubbed Ge (for reviews see Gomperts, 1990; Lindau & Gomperts, 1991). In AtT-20 cells the nature of Ge remains elusive with the selective heterotrimeric GTP-binding protein activator AIF(3-5) proving not to be a useful pharmacological tool under the conditions employed in the present study. Ge present in this cell line does however display characteristics consistent with it being a heterotrimeric GTP-binding protein. The results of this study would also suggest that in AtT-20 cells Ge is insensitive to both pertussis toxin and cholera toxin. Both cyclic AMP-dependent protein kinase (PKA) (Guild, 1991) and protein kinase C (PKC) (Guild & Reisine, 1987; Reisine, 1989) have been implicated in the regulation of calcium ion-stimulated ACTH secretion from AtT-20 cells. Results from the present study suggest that calcium ion/Ge-stimulated ACTH secretion from AtT-20 cells is not mediated by PKA, PKC or any other kinase but is in fact mediated by a phosphatase. PKC appears to provide a direct stimulus to secretion, which is independent of calcium ion/Ge-stimulated secretion, in contrast to PKA which is unable to stimulate secretion by itself but seems to play a modulatory role with regard to both calcium ion/Ge- and PKC-stimulated secretion.
APA, Harvard, Vancouver, ISO, and other styles
45

Hu, Youxin. "Effects of alendronate-immobilized calcium phosphate coating on bone growth into porous tantalum : a gap model animal study." Thesis, University of British Columbia, 2007. http://hdl.handle.net/2429/32756.

Full text
Abstract:
Porous tantalum has been shown to be a promising orthopaedic implant material because of its similarity to bone in both mechanical properties and its three-dimensional porous structure. However, in some circumstances, bone quality or quantity is insufficient to allow adequate bone ingrowth. Alendronate, one of the bisphosphonate families, affects the activities of bone cells and enhances bone formation. In this thesis, we hypothesized that the addition of alendronate could increase the osteoconductivity and bone-ingrowth of porous tantalum and overcome the challenges of bone-implant gaps. To facilitate local delivery of alendronate, a micro-porous calcium phosphate coating was deposited onto the tantalum surface by an electrolytic deposition technique, which was followed by alendronate adsorption. Coating structures and morphologies were confirmed by scanning electron microscopy, X-ray diffraction, and Fourier transform infrared spectroscopy. The presence of alendronate was confirmed by high performance liquid chromatography. To study the effects of alendronate-immobilized calcium phosphate coating on bone reaction to porous implants, an animal gap model, with a fixed gap of 0.6 mm between implants and bone, was developed. Three types of surfaces, which were non-coating (Ta), calcium phosphate coating (Ta-CaP), and alendronate-immobilized calcium phosphate coating (Ta-CaP-AIN), were compared. Two fluorochromes were adopted to track the front of bone formation. After four weeks of healing and following standard histology techniques, the implants were analyzed with backscattered electron microscopy and fluorescent optical microscopy for bone-implant interactions. The relative volume increase of gap filling, bone ingrowth and total bone formation were 124 % (2.24-fold), 232% (3.32-fold) and 170% (2.7-fold) respectively in Ta-CaP-ALN compared with Ta controls. The contact length of newly formed bone on porous tantalum was increased by 700% (8-fold) in Ta-CaP-ALN compared with Ta plugs, suggesting enhanced osteoconductivity of Ta-CaP-ALN implants. The bone formation mechanism analysis found that bone growth initiated on both surfaces of the Ta-CaP-ALN implants and host bone, while little bone initiation on the Ta implant surface was detected. These significant enhancements of Ta-CaP^ALN may have direct applications in orthopaedics. For revision arthroplasty with insufficient bone stock, the local delivery of alendronate would enhance biological fixation of the implant and promote the healing of bone defects.
Applied Science, Faculty of
Materials Engineering, Department of
Graduate
APA, Harvard, Vancouver, ISO, and other styles
46

Amatangelo, Miriam Lynne. "Student Understanding of Limit and Continuity at a Point: A Look into Four Potentially Problematic Conceptions." BYU ScholarsArchive, 2013. https://scholarsarchive.byu.edu/etd/3639.

Full text
Abstract:
Mathematics students and teachers are familiar with the difficulty of learning and teaching concepts of continuity and limits. Research has expanded our knowledge of how students think about these concepts, including different conceptions and metaphors students use to reason about continuity and limits at a point. From the literature I have identified four potentially problematic conceptions (PPCs) students may use when reasoning about limit and continuity at a point. Questionnaires were administered to 861 BYU students in various mathematics courses to determine how prevalent and persistent the PPCs are among the students in each course. Interviews were conducted with nine first semester calculus to get an idea of how students reason about continuity and limit at a point and how that influences whether they use the PPCs. Students showed evidence of holding the four PPCs with a decrease in these conceptions typically after they took a course in analysis. Participants also did not understand the Formal definition of a Limit until they took a course in Analysis. Students were able to reason appropriately using many different conceptions of continuity. Considering limit conceptions, students using a Dynamic conception of Limit tended to be better able to reason about continuity and limit at a point. Students who did not use a Dynamic conception of limit tended to use the PPCs in general and incorrectly more often.
APA, Harvard, Vancouver, ISO, and other styles
47

Hovadík, Jiří. "Návrh automatizace procesu Call centra v prostředí organizace s certifikací ISO 9001:2000." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2009. http://www.nusl.cz/ntk/nusl-222232.

Full text
Abstract:
This master’s thesis deals with system of evidence customer requests in service organization. The introduction describes services activities in domain are focused on payment terminals and contemporary situation in call center. The suitable selection implementation tools are done. The second part contains the design of system for requests evidence and design of imports for service information system. The evaluation of the master’s thesis and some future improvements are presented.
APA, Harvard, Vancouver, ISO, and other styles
48

Cloitre, Gabriel. "CONTRIBUTION A LA CONNAISSANCE ET A LA MODELISATION DES PARAMETRES INFLUANT SUR LA CAPABILITE DES PROCEDES DE MESURE TRIDIMENSIONNELS." Phd thesis, Université du Sud Toulon Var, 2000. http://tel.archives-ouvertes.fr/tel-00740375.

Full text
Abstract:
L'utilisation de machines à mesure tridimensionnelle s'est généralisée dans les grosses entreprises et chez les sous traitants. Mais la mise en place des normes ISO 9000 et les calculs de capabilité qui découlent de ces normes impliquent une connaissance approfondie des incertitudes de mesures. Dans le domaine de la machine à mesurer, l'incertitude globale et les normes utilisées sont indiquées. Actuellement, les incertitudes de mesure de ces différentes machines sont exprimées sous la forme : ± A+ bL ou A est une incertitude représentative de la fidélité et bL est une incertitude de position en fonction de la longueur. La géométrie et l'environnement de ces machines étant actuellement pris en compte par les logiciels, il reste un grand nombre de paramètres méconnus (relatif au capteur) : longueur, diamètre, vitesse ainsi que le type et nombre de points de l'élément mesuré. Nous proposons de donner une méthode d'obtention rapide de l'incertitude de mesure et de l'indice de capabilité suivant les critères choisis par l'opérateur et d'obtenir rapidement un indice de capabilité plus proche de la réalité. Après un historique sur les mesures et de l'importance de la métrologie dans la mise en place des ISO 9000, le troisième chapitre est une présentation du matériel utilisé. Dans le quatrième, le plus important, on trouvera les méthodes statistiques utilisées et l'analyse des différents paramètres étudiés. Grâce à une analyse systématique des résultats, nous validerons les différents paramètres étudiés et de proposer le tableau récapitulatif permettant d'obtenir instantanément l'indice de capabilité. Dans les chapitres suivants des exemples et une proposition de modification des logiciels actuels afin d'intégrer ces calculs de capabilité. Les annexes comprennent normes, certificats d'étalonnage, valeurs de la pièce test et programmes développés.
APA, Harvard, Vancouver, ISO, and other styles
49

Moyle, Stephen Anthony. "An investigation into theory completion techniques in inductive logic programming." Thesis, University of Oxford, 2003. http://ora.ox.ac.uk/objects/uuid:823d64c1-eae9-4e8e-b159-fe1cbf68c1c7.

Full text
Abstract:
Traditional Inductive Logic Programming (ILP) focuses on the setting where the target theory is a generalisation of the observations. This is known as Observational Predicate Learning (OPL). In the Theory Completion setting the target theory is not in the same predicate as the observations (non-OPL). This thesis investigates two alternative simple extensions to traditional ILP to perform non-OPL or Theory Completion. Both techniques perform extraction-case abduction from an existing background theory and one seed observation. The first technique -- Logical Back-propagation -- modifies the existing background theory so that abductions can be achieved by a form of constructive negation using a standard SLD-resolution theorem prover. The second technique -- SOLD-resolution -- modifies the theorem prover, and leaves the existing background theory unchanged. It is shown that all abductions produced by Logical Back-propagation can also be generated by SOLD-resolution; but the reverse does not hold. The implementation using the SOLD-resolution technique -- the ALECTO system -- was applied to the problems of completing context free and context dependant grammars; and learning Event Calculus programs. It was successfully able to learn an Event Calculus program to control the navigation of a real-life robot. The Event Calculus is a formalism to represent common-sense knowledge. It follows that the discovery of some common-sense knowledge was produced with the assistance of a machine.
APA, Harvard, Vancouver, ISO, and other styles
50

Nilles, Vera [Verfasser]. "Insights into the Retarding Mechanism of Linear Sodium Polyphosphates on the Hydration of α-Calcium Sulfate Hemihydrate / Vera Nilles." München : Verlag Dr. Hut, 2012. http://d-nb.info/1021072931/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Calcul Ito' 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