Bibliografie tematiche / Hybrid complete

Letteratura scientifica selezionata sul tema "Hybrid complete"

Autore: Grafiati

Pubblicato: 6 luglio 2024

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Hybrid complete".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Hybrid complete":

Bhadke, Mr S. D. "Design and Fabrication of Solar Operated Car". International Journal for Research in Applied Science and Engineering Technology 9, n. VII (15 luglio 2021): 1177–80. http://dx.doi.org/10.22214/ijraset.2021.36307.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

This work, focused on an idea about hybrid solar car technology which solves the major problem of fuel and pollution in present days. Determine how feasible widespread change to hybrids would be in future with all information taken into account, concluded that hybrids have several advantages as fuel efficient, low pollution. In the present work a complete drawing and drafting of hybrid solar car have been prepared using CATIA V5R19 software. After complete analysis of this drawing by using ANSYS 14.5 it is find out bear capability of load, stress, and strain of front & rear collision of car frame. A completed data are analyzed to examine the technical aspects of the hybrid car technology. Overall, hybrid technology has a lot of potential in the distant future, but as for right now they are not a significant applied over today's internal combustion engine.

Khandker, Varsha, e Indrajit Thakurata. "Factors encouraging complete adoption of agricultural technologies". Journal of Agribusiness in Developing and Emerging Economies 8, n. 2 (4 giugno 2018): 270–87. http://dx.doi.org/10.1108/jadee-05-2016-0037.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Purpose Hybrid rice is considered as one of the technologies having the potential to push the production frontier to meet the growing demand for rice in India. The technology was introduced in India in 1994 but is yet to see widespread adoption. The purpose of this paper is to identify the factors that influence the partial/complete adoption of hybrid rice technology by the farmers in India. This study also assesses the factors behind difference in the share of land allocated to hybrid rice cultivation by farmers. Design/methodology/approach The study employs a Tobit model to evaluate the impact of factors related to technology, farmer, farm and geographical location on the decision to adopt hybrid rice. Data for this study are compiled from surveys of 441 hybrid rice growing farmers across 3 Indian states conducted during 2012-2013. Findings The paper finds that farmers with smaller landholdings, higher education and higher experience of growing hybrid rice are more likely to be complete adopters. Farmers reporting good demand for hybrid rice output and availability of subsidy on hybrid rice seeds also have higher probability of being complete adopters. However, the availability of hybrid rice seeds in government outlets and cultivating multiple kharif crops are negatively related to the extent of hybrid rice adoption. The results suggest insignificant impact of age, family size, ownership of cattle and machinery on the adoption level of hybrid rice by the farmers. Research limitations/implications Although the sample for this study has been collected from three states with different agro-climatic zones and productivity, the results cannot be generalized for other states. Originality/value There is a great potential to increase the area under hybrid rice cultivation in India. This study is one of the first attempts to look at the adoption levels of hybrid rice in India and determine the factors which might be hindering the complete adoption of the technology. Focusing on the factors positively related to complete adoption can help in enhancing the area under hybrid rice and similar approach can be used for other new agricultural technologies in the developing country context.

Alvarez-Andrade, Sergio. "On Complete Convergence for the Hybrid Process". Communications in Statistics - Theory and Methods 44, n. 5 (4 marzo 2015): 1044–52. http://dx.doi.org/10.1080/03610926.2012.750360.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Schneider, David, e Jennifer McCullough. "The Basic Communication Course and College Student Retention: A Longitudinal Analysis". Journal of Communication Pedagogy 7 (2023): 148–64. http://dx.doi.org/10.31446/jcp.2023.1.10.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

This longitudinal study examined the relationship between two formats of the basic communication course (BCC) and first-year college student retention over a four-year period. Chi-square and logistic regression models indicated students who completed the BCC were more likely to be retained than those who did not complete the BCC. While completing the BCC was associated with retention for both formats, the hybrid BCC format was more consistently related to retention than the public speaking BCC. Students from certain demographic groups who completed the hybrid BCC were retained more frequently than students from the same demographic who did not complete the hybrid BCC. Demographics for the public speaking BCC revealed a different retention profile. Implications and future directions concerning the BCC are discussed.

Widura Ritonga, Arya, Muhamad Syukur, Sriani Sujiprihati e Arif Rahman Hakim. "Evaluasi Pertumbuhan dan Daya Hasil Empat Belas Cabai Hibrida". Comm. Horticulturae Journal 1, n. 1 (7 agosto 2017): 20. http://dx.doi.org/10.29244/chj.1.1.20-25.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Planting chili pepper hybrid varieties offers an alternative strategy to fill the needs of chili pepper in Indonesia. Theaim of the experiment was to evaluate and select fourteen chili pepper hybrids thus obtained chili peppers hybrid potential to be released as hybrid varieties. The experimental design was used Randomized Complete Block Design (RCBD) with one factor and three replications. Plant materials consist of fourteen chili pepper hybrid and one commercial hybrid of chili pepper. IPB CH-I produced higher selection index value than commercial hybrid of chili pepper. The IPB CH-I was potential to be released as hybrid variety of chili pepper.Keywords: hybrid varieties, selection, selection index

Davletov, F. A., K. P. Gainullina, А. М. Dmitriev e E. V. Badamshina. "Inheritance features of productivity traits in pea hybrids F<sub>1</sub> and F<sub>2</sub>". Grain Economy of Russia, n. 3 (6 luglio 2023): 21–28. http://dx.doi.org/10.31367/2079-8725-2023-86-3-21-28.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

The main reserve for improving of pea grain production is the development of new highly productive varieties. In this case, intraspecific hybridization is the main tool, but the patterns of inheritance by hybrids of several economically valuable traits are still insufficiently studied. The purpose of the current work was to establish the inheritance nature of productivity traits in pea hybrids. The trials were carried out in 2020–2022. The objects of the study were 8 pea hybrid combinations F1 and F2. The estimation of the collection and hybrid material was carried out in accordance with the Methodology of the State Variety Testing (2019). Segregation analysis in F1 pea hybrids has revealed different types of inheritance of the studied quantitative traits, from hybrid depression to overdominance. According to ‘plant height’, the dominance degree (hp) varied from 0 to 3.00. According to ‘number of pods per plant’ it varied from –0.50 to 3.00. According to ‘number of beans per pod’ it varied from 1.67 to 4.00. According to ‘1000-seed weight’ it varied from 0.20 to 0.44. Hybridological analysis of F2 pea plants based on ‘plant height’ in 4 hybrid combinations has revealed incomplete negative dominance (hp from –0.20 to –0.43), in 4 hybrid combinations it was incomplete dominance (hp from 0.60 to 0.69). According to ‘number of pods per plant’, two hybrid combinations have shown complete dominance (hp = 1.00), one hybrid combination has shown incomplete dominance (hp = 0.35), five hybrid combinations have shown incomplete negative dominance (hp from –0.50 to –0, 71). The trait ‘1000-seed weight’ in all hybrid combinations was inherited according to the type of incomplete dominance (hp from 0.10 to 0.16). According to ‘number of beans per pod’, four hybrid combinations have shown incomplete dominance (hp from 0.67 to 0.83); one hybrid combination has shown incomplete negative dominance (hp = –0.50); three hybrid combinations have shown complete negative dominance (hp = –1.00).

Abd, M. S., Z. A. Abdul Hamed e M. A. Ghadir. "Response of Maize Hybrids and Inbred to Yield and its Components Under Irrigation Interval". IOP Conference Series: Earth and Environmental Science 904, n. 1 (1 novembre 2021): 012003. http://dx.doi.org/10.1088/1755-1315/904/1/012003.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Abstract In order to estimate some genetic parameters for five inbred lines AG116, AG-M20, MH17, MH121 and ZM4, they were entered into a complete cross-breeding program. Khalidiya - east of Ramadi in two seasons (fall 2019 and spring 2020). The comparison experiment was applied using the RCBD randomized complete block design in the order of split-plot and with three replications, where the main plots for irrigation was interval 6, while 12 days and the secondary plots for genotypes (breeds and hybrids) to estimate some characteristics of yield and its components. Parental inbred and their reciprocal and inverse hybrids differed significantly in number of days from planting to 50% tasseling, number of rows per ear, number of grains per row, grain weight and grain yield in the two seasons of the study, cross-hybrid MH17 × AG-M20 and the inverse hybrid AG116 × ZM4 outperformed in the fall season 2019 when it gave a yield of 173.00 g plant-1 and 169.60 g plant-1, respectively. In the spring season 2020, the cross-hybrid MH121×MH17 and the reverse hybrid AG116×AG-M20 recorded the highest average for the character, reaching 165.20 and 142.90 g plant-1, respectively.

Smirnov, N. V. "A complete-order hybrid identifier for multiprogrammed stabilization". Automation and Remote Control 67, n. 7 (luglio 2006): 1051–61. http://dx.doi.org/10.1134/s0005117906070046.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Sundar, N. S., D. N. Jayasimha, D. K. Panda e P. Sadayappan. "Hybrid algorithms for complete exchange in 2D meshes". IEEE Transactions on Parallel and Distributed Systems 12, n. 12 (2001): 1201–18. http://dx.doi.org/10.1109/71.970553.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Csuhaj-Varj�, Erzs�bet, Carlos Mart�n-Vide e Victor Mitrana. "Hybrid networks of evolutionary processors are computationally complete". Acta Informatica 41, n. 4-5 (marzo 2005): 257–72. http://dx.doi.org/10.1007/s00236-004-0158-7.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Tesi sul tema "Hybrid complete":

Wayson, Michael B. "Complete internal photon dosimetry characterization of the University of Florida newborn hybrid computational phantoms". [Gainesville, Fla.] : University of Florida, 2009. http://purl.fcla.edu/fcla/etd/UFE0041356.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Qazali, Ahmad A. "Surface changes and screw loosening of the titanium abutments for one-piece implant supported fixed complete denture". The Ohio State University, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=osu1466018689.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Tran, Trong Hieu. "Méthodes d'optimisation hybrides pour des problèmes de routages avec profits". Electronic Thesis or Diss., Toulouse 3, 2023. http://www.theses.fr/2023TOU30367.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

L'optimisation combinatoire est une branche de l'optimisation mathématique qui se concentre sur la recherche de solutions optimales parmi un ensemble fini de combinaisons possibles, tout en respectant un ensemble de contraintes et en maximisant ou minimisant une fonction objectif. Pour résoudre ces problèmes, les méthodes incomplètes sont souvent utilisées en pratique, car ces dernières peuvent produire rapidement des solutions de haute qualité, ce qui est un point critique dans de nombreuses applications. Dans cette thèse, nous nous intéressons au développement d'approches hybrides qui permettent d'améliorer la recherche incomplète en exploitant les méthodes complètes. Pour traiter en cas pratique, nous considérons ici le problème de tournées de véhicules avec profits, dont l'objectif est de sélectionner un sous-ensemble de clients à visiter par des véhicules de manière à maximiser la somme des profits associés aux clients visités. Plus précisément, nous visons tout d'abord à améliorer les algorithmes de recherche incomplets en exploitant les connaissances acquises dans le passé. L'idée centrale est de: (i) apprendre des conflits (combinaisons de décisions qui conduisent à une violation de certaines contraintes ou à une sous-optimalité des solutions) et les utiliser pour éviter de réexaminer les mêmes solutions et guider la recherche, et (ii) exploiter les bonnes caractéristiques de solutions élites afin de produire de nouvelles solutions ayant une meilleure qualité. En outre, nous étudions le développement d'un solveur générique pour des problèmes de routage complexes pouvant impliquer des clients optionnels, des véhicules multiples, des fenêtres temporelles multiples, des contraintes supplémentaires, et/ou des temps de transition dépendant du temps. Le solveur générique proposé exploite des sous-problèmes pour lesquels des méthodes de raisonnement dédiées sont disponibles. L'efficacité des approches proposées est évaluée par diverses expérimentations sur des instances classiques et sur des données réelles liées à un problème d'ordonnancement pour des satellites d'observation de la Terre, qui inclut éventuellement des profits incertains
Combinatorial optimization is an essential branch of computer science and mathematical optimization that deals with problems involving a discrete and finite set of decision variables. In such problems, the main objective is to find an assignment that satisfies a set of specific constraints and optimizes a given objective function. One of the main challenges is that these problems can be hard to solve in practice. In many cases, incomplete methods are preferred to complete methods since the latter may have difficulties in solving large-scale problems within a limited amount of time. On the other hand, incomplete methods can quickly produce high-quality solutions, which is a critical point in numerous applications. In this thesis, we investigate hybrid approaches that enhance incomplete search by exploiting complete search techniques. For this, we deal with a concrete case study, which is the vehicle routing problem with profits. In particular, we aim to boost incomplete search algorithms by extracting some knowledge during the search process and reasoning with the knowledge acquired in the past. The core idea is two-fold: (i) to learn conflicting solutions (that violate some constraints or that are suboptimal) and exploit them to avoid reconsidering the same solutions and guide search, and (ii) to exploit good features of elite solutions in order to hopefully generate new solutions having a higher quality. Furthermore, we investigate the development of a generic framework by decomposing and exchanging information between sub-modules to efficiently solve complex routing problems possibly involving optional customers, multiple vehicles, multiple time windows, multiple side constraints, and/or time-dependent transition times. The effectiveness of the approaches proposed is shown by various experiments on both standard benchmarks (e.g., the Orienteering Problem and its variants) and real-life datasets from the aerospace domain (e.g., the Earth Observation Satellite scheduling problem), and possibly involving uncertain profits

Ben, Salah Jaâfar. "Analyse et commande des systèmes non linéaires complexes : application aux systèmes dynamiques à commutation". Phd thesis, Université Claude Bernard - Lyon I, 2009. http://tel.archives-ouvertes.fr/tel-00599364.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Ce mémoire de thèse présente deux nouvelles approches pour l'analyse et la commande des systèmes non-linéaires complexes, comme les systèmes dynamiques à commutation de la classe des convertisseurs d'énergie électrique. Ces systèmes ont plusieurs modes de fonctionnement et ont un point de fonctionnement désiré qui, en général, n'est le point d'équilibre d'aucun des modes. Dans cette classe de systèmes, la commutation d'un mode de fonctionnement à un autre est commandée selon une loi qui doit être synthétisée. Par conséquent, la synthèse de commande implique l'étude des conditions qui permettent à un cycle limite stable de s'établir au voisinage du point de fonctionnement désiré, puis de la trajectoire de commande qui permet de l'atteindre en respectant les contraintes physiques de comportement (courant maximum supporté par les composants,. . .) ou les contraintes de temps (durée minimum entre deux commutations,. . .). Le cycle limite sera qualifié d'hybride car il est composé de plusieurs dynamiques(deux dans ces travaux).La première méthode développée s'appuie sur les propriétés géométriques des champs de vecteurs et est une extension d'une partie des travaux de thèse de Manon au LAGEP. Une condition nécessaire et suffisante d'existence et de stabilité d'un cycle limite hybride composé d'une séquence de deux modes de fonctionnement dans IR2 est présentée. Ce cycle définit la région finale à atteindre par le système depuis son état initial, par une trajectoire déterminée de manière optimale selon un critère donné (durée totale, énergie dépensée, . . .). La méthode proposée est appliquée aux convertisseurs d'énergie Buck et Buck-Boost alimentant une charge résistive. Une extension à IRn a été proposée et démontrée. Elle est illustrée sur un système non-linéaire dans IR3.La deuxième méthode est développée dans IR2 et basée sur la théorie de Lyapunov, bien connue en automatique pour étudier la stabilité des systèmes non-linéaires et concevoir des commandes stabilisantes.Il s'agit de déterminer par une approche géométrique, une fonction de Lyapunov quadratique commune aux deux modes de fonctionnement du système, qui permette d'obtenir un cycle limite hybride stable le plus proche possible du point de fonctionnement désiré et une commande stabilisante directe des interrupteurs

Jones, Claire Frances. "Lanthanide complexes of bulky hybrid ligands". Thesis, University of Newcastle upon Tyne, 2017. http://hdl.handle.net/10443/4009.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

The synthetic and redox chemistry of lanthanide organometallic complexes has considerably expanded since the discovery of Kagan’s reagent in 1977 and divalent ionic complexes are now known for the entire lanthanide series. The synthesis, solid-state structures and reductive chemistry of trivalent and divalent lanthanide complexes with cyclopentadienyl-type ligands is reviewed with a focus on the impact of the ligand on the reducing power of the metal centre. Trimethylsilyl and more recently, phosphine-borane stabilised carbanions have facilitated the isolation of trivalent and divalent lanthanide complexes of alkyl ligands with Ln—C σ-bonds. The synthesis, structures and known reactivity of these compounds is discussed. In order to probe the impact of alkyl carbanion and cyclopentadienyl coordination on lanthanide complex stability, structure and redox reactivity we have designed a novel set of hybrid ligands that combine these two functional groups into a single dianionic ligand. These ligands are potentially very versatile as the sterics and electronics of both groups in the ligand can be modified. The ligands are viable to support sterically congested trivalent complexes for sterically induced reduction as well as metal based reduction and they are good ligands for heteroleptic complexes because they chelate the metal avoiding ligand redistribution equilibria. The synthesis and characterisation of a range of trimethylsilyl-, phosphine-borane- and phosphine-stabilised alkyl bromo- and chlorosilane precursors is described: (Me3Si)2CHSiMe2Br [4], (Me3Si){PMe2(BH3)}CHSiMe2Cl [9], (Me3Si){PnPr2(BH3)}CHSiMe2Cl [13], {PMe2(BH3)}2CHSiMe2Cl [23], {PMe2(BH3)}{PPh2(BH3)}CHSiMe2Cl [27], {PPh2(BH3)}2CHSiMe2Cl [31] and (nPr2P)2CHSiMe2Cl [32]. iv The results of a computational study using NBO methods to investigate the relative stabilising effect of each of these silyl, phosphine-borane and phosphine carbanion stabilising groups on a model system akin to the alkyl part of the hybrid ligand are described. Reaction of (Me3Si)2CHSiMe2Br with Li/Na/K Cp/Cp’/Cp4Me followed by aqueous work-up gave the hybrid proligands {(CpH)Me2Si}(Me3Si)2CH [5], {(Cp’H)Me2Si}(Me3Si)2CH [6] and {Cp4MeH)Me2Si}(Me3Si)2CH [7] as mixtures of regioisomers [Cp4Me = 1,2,3,4-Tetramethyl-cyclopentadiene]. Reaction of LiCp4Me/KCp4Me with (Me3Si){PMe2(BH3)}CHSiMe2Cl and (Me3Si){PnPr2(BH3)}CHSiMe2Cl gave the hybrid proligands (CpH4MeMe2Si)(Me3Si)CH{PMe2(BH3)} [10] and (CpH4MeMe2Si)(Me3Si)- CH{PnPr2(BH3)} [14]. The compounds {Cp4MeH)Me2Si}(Me3Si)2CH, (CpH4MeMe2Si)- (Me3Si)CH{PMe2(BH3)} and (CpH4MeMe2Si)(Me3Si)CH{PnPr2(BH3)} crystallise as solvent-free monomers with very similar molecular conformations. The hybrid pro-ligands exhibit variable moisture sensitivity. Reaction of (Me3Si){PMe2(BH3)}CHSiMe2Cl with NaCp followed by aqueous work-up and column chromatography of the oily residue obtained gave the siloxane [(Me3Si){PMe2(BH3)}HCMe2Si]2O [19] and dicyclopentadiene. Reaction of (nPr2P)2CHSiMe2Cl with NaCp followed by aqueous work-up using deoxygenated water gave (nPr2P)2CH2 in quantitative yield. The same reaction avoiding the aqueous work-up gave (CpHMe2Si)CH(PnPr2)2 [33]. Hybrid ligands were prepared by metalation of {Cp4MeH)Me2Si}(Me3Si)2CH, {(Cp’H)Me2Si}(Me3Si)2CH and {(CpH)Me2Si}(Me3Si)2CH with MeK to give the hemisolvated dipotassium salts [(CpMe2Si)(Me3Si)2C]K2(Et2O)0.5 [50], [(Cp4MeMe2Si)(Me3Si)2C]K2(Et2O)0.5 [51] and [(Cp’Me2Si)(Me3Si)2C]K2(C6H6)0.5 [52], which decomposed slowly in THF and toluene. [(Cp4MeMe2Si)(Me3Si)2C]K2(Et2O) [51.Et2O] was crystallised as an alternative solvate from diethyl ether and the v extended structure consists of chelated [(hybrid ligand)K(Et2O)]- anionic units linked nose to tail by unsolvated K cations in a non-linear (zig-zag) polymer chain. [(Cp’Me2Si)(Me3Si)2C]K2(C6H6)·C6H6 [52.C6H6] also crystallised as a monosolvate from benzene, but with addition uncoordinated solvent present in the structure. There are two distinct types of polymer chain in the structure of [(Cp’Me2Si)(Me3Si)2C]K2(C6H6)·C6H6, one is similar to the chain in [(Cp4MeMe2Si)(Me3Si)2C]K2(Et2O) and in the other half the potassium cations in this chain are coordinated by only a cyclopentadienyl ring and a benzene ring. The remainder of the K cations are sandwiched between a carbanion and cyclopentadienyl ring of different hybrid ligands, as in [(Cp4MeMe2Si)(Me3Si)2C]K2(Et2O). These chains are cross-linked by a short contact between K and the –SiMe3 substituent of the Cp’ ring. Due to their more acidic alkyl protons metalation of (CpH4MeMe2Si)(Me3Si)CH{PMe2(BH3)}, (CpH4MeMe2Si)(Me3Si)CH{PnPr2(BH3)} and (CpHMe2Si)CH(PnPr2)2 could be achieved with BnK in THF. (CpH4MeMe2Si)(Me3Si)CH{PMe2(BH3)} is isoelectronic and isosteric with {Cp4MeH)Me2Si}(Me3Si)2CH. [(Cp4MeMe2Si)(Me3Si){PMe2(BH3)}C]K2(THF) [53.THF] crystallises as a solvate from benzene/THF with a 3D polymeric network structure through multiple agostic-type B—H····K contacts. Of the two symmetry inequivalent K cations in the structure the alkyl carbanion interacts directly only with the unsolvated cations and the solvated cations are coordinated through the borane-hydrogens. Metathesis reactions of [(Cp4MeMe2Si)(Me3Si)2C]K2(Et2O)0.5 and [(Cp4MeMe2Si)(Me3Si){PMe2(BH3)}C]K2(THF)0.5 with LaI3(THF) and SmI3(THF) in THF gave [(Cp4MeMe2Si)(Me3Si)2C]LaI(THF)2 [56] and [(Cp4MeMe2Si)(Me3Si){PMe2(BH3)}C]-SmI(THF)2 [57] after extraction into diethyl ether and crystallisation from toluene/THF and diethyl ether respectively. The vi hybrid ligand bound successfully to the lanthanide metal cations. [(Cp4MeMe2Si)(Me3Si)2C]LaI(THF)2 is a monomer in the solid-state, chelated by the hybrid ligand forming pseudo-four-membered ring and two coordinating molecules of THF in addition to the iodine anion. A zwitterion structure is adopted by [(Cp4MeMe2Si)(Me3Si){PMe2(BH3)}C]SmI(THF)3 with no contact between the Sm(III) cation and the alkyl carbanion centre. The hybrid ligands have a much larger cone angle and are far more sterically bulky when chelating the lanthanide metal, as in [(Cp4MeMe2Si)(Me3Si)2C]LaI(THF)2. The metathesis reaction of [(Cp4MeMe2Si)(Me3Si)2C]K2(Et2O)0.5 with CaI2 gave [(Cp4MeMe2Si)(Me3Si){PMe2(BH3)}C]Ca(THF)2 [58] after extraction and crystallisation from diethyl ether. In this structure the phosphine-borane stabilised carbanion group of the hybrid ligand coordinates the Ca cation through the carbanion centre. Synthesis of the Yb(II) analogue, [(Cp4MeMe2Si)(Me3Si){PMe2(BH3)}C]Yb(THF)x gave an almost identical NMR spectrum, but could not be crystallised.

Romanenko, Iuliia. "Preparation of well-defined Ir(I)-NHC based catalytic material for the hydrogenation of functional olefins". Thesis, Lyon 1, 2015. http://www.theses.fr/2015LYO10262/document.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

La réaction d'hydrogénation des alcènes est une réaction clé dans de nombreux procédés industriels permettant la production de produits de commodité et de spécialité. D’importants efforts de recherche ont donc été réalisés pour développer des systèmes catalytiques de plus en plus productifs et sélectifs. Parmi les nombreux catalyseurs homogènes et hétérogènes développés à ce jour, les complexes organométalliques d’Iridium(I), très prometteurs, ont été préparés depuis la découverte du catalyseur de Crabtree, [Ir(COD)(py)(PCy3)]BF4, pour répondre à des problèmes de sélectivité dans l'hydrogénation asymétrique ou celle d’oléfines tétrasubstituées fortement encombrées en conditions homogènes. Cependant, l'utilisation industrielle de ce complexe organométallique d’Ir (I) est limité par sa décomposition rapide en solution, qui conduit à la formation de complexes polynucléaires (hydrures pontés d'Iridium) très stables et inactifs en catalyse. Le but de ce travail de thèse a été de développer des matériaux catalytiques contenant des complexes Ir(NHC) isolés à la surface d’une silice contenant des fonctionnalités imidazolium parfaitement distribuées le long de ses canaux poreux. L'isolement des unités Ir(I) sur le support de silice devrait permettre d’empêcher les processus bimoléculaires de désactivation et faciliter la récupération du catalyseur. La préparation des matériaux catalytiques cible se fait grâce a la transformation des unités imidazolium contenues dans le matériau de départ en carbenes d’argent N-hétérocycliques, qui sont ensuite transmétallés en carbènes d’iridium avec le complexe [Ir(COD)Cl]2. Les matériaux obtenus ont été caractérisés par diverses techniques, notamment une technique de RMN très avancée : la RMN de l’état solide utilisant la polarisation nucléaire dynamique. Ceci a permis de mieux comprendre la structure moléculaire des sites de surface iridiés. Les performances catalytiques des complexes Ir-NHC supportés ont été testées dans réaction d’hydrogénation des alcènes et comparées à celles de leurs homologues homogènes. Divers substrats oléfiniques et différentes conditions de réaction ont été testées. Les résultats montrent que le catalyseur supporté est beaucoup plus stable et 50 fois plus actif en terme de vitesse et de productivité. Cette approche a été étendue au développement de catalyseurs d’iridium supportés sur polymère. Le support choisi a été un polyéthylene téléchélique contenant des fonctionnalités iodées terminales. Le solide obtenu après incorporation de l’iridium a été caractérisé par RMN et spectrométrie de masse (MALDITOF). Les performances catalytique de ce nouveau système ont été elles aussi comparées a celles de complexes homologues en solution
Alkene hydrogenation is a key in many bulk and fine chemicals production processes. Major efforts were therefore directed towards the preparation of ever more productive and selective catalysts. Among the large number of homogeneous and heterogeneous catalysts, promising Iridium (I) organometallic complexes were prepared since the discovery of the well-known Crabtree’s catalyst, [Ir(COD)(py)(PCy3)]BF4, to address selectivity issues in homogeneous asymmetric hydrogenation or hydrogenation of highly hindered tetrasubstituted olefins. However, the industrial use of Ir organometallic complexes as catalysts is limited by their fast decomposition leading to the formation of highly stable and inactive polynuclear iridium hydridebridged complexes. The goal of this PhD project was to elaborate supported Ir(I)-NHC catalytic material to prevent such bimolecular deactivation processes. The targeted supported Ir complexes were based on hybrid organic-inorganic material containing regularly distributed imidazolium units along the pore-channels of the silica framework. Beside the Ir-site isolation on the silica support, this catalytic system was also expected to ease catalyst recovery at the end of the hydrogenation. The preparation of the final systems relies on the preparation of supported silver carbenes first, and further transmetallation with an Ir-precursor, namely [Ir(COD)Cl]2. The materials were characterized by several techniques as for example advanced solid state NMR using Dynamic Nuclear Polarization to gain insight into the molecular structure of the Ir surface sites. Catalytic performances of the supported Ir-NHC complexes were tested in alkene hydrogenation and compared to those of homogeneous homologues. Several different substrates and reaction conditions were tested. The results showed that the supported catalyst was much more stable and 50 times more active in term of rate and productivity. A polymer supported Ir-complex was also elaborated using a telechelic polyethylene iodide as support. The polymeric materials were fully characterized by NMR and MALDI-TOF experiments and their catalytic performances were compared to those of molecular analogues and those of silica supported systems

Adimoolam, Santosh Arvind. "A Calculus of Complex Zonotopes for Invariance and Stability Verification of Hybrid Systems". Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAM027/document.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Le calcul des ensembles atteignables est une approche de facto utilisée dans de nombreuses méthodes de vérification formelles pour les systèmes hybrides. Mais le calcul exact de l'ensemble atteignable est un problème insurmontable pour de nombreux types de systèmes hybrides, soit en raison de l'indécidabilité ou de la complexité de calcul élevée. Alternativement, beaucoup de recherches ont été axées sur l'utilisation de représentations d'ensembles qui peuvent être manipulées efficacement pour calculer une surestimation suffisamment précise de l'ensemble atteignable. Les zonotopes sont une représentation utile de l'ensemble dans l'analyse de l'accessibilité en raison de leur fermeture et de leur faible complexité pour le calcul de la transformation linéaire et des opérations sommaires de Minkowski. Mais pour approximer les ensembles de temps non bornés atteignables par des invariants positifs, les zonotopes ont l'inconvénient suivant. L'efficacité d'une représentation d'ensemble pour calculer un invariant positif dépend de l'encodage efficace des directions de convergence des états vers un équilibre. Dans un système hybride affine, certaines des directions de convergence peuvent être codées par les vecteurs propres à valeur complexe des matrices de transformation. Mais la représentation zonotopique ne peut pas exploiter la structure propre complexe des matrices de transformation car elle n'a que des générateurs à valeur réelle.Par conséquent, nous étendons les zonotopes réels au domaine de valeur complexe d'une manière qui peut capturer la contraction le long de vecteurs évalués complexes. Cela donne une nouvelle représentation d'ensemble appelée zonotope complexe. Géométriquement, les zonotopes complexes représentent une classe plus large d'ensembles qui comprennent des ensembles non polytopiques ainsi que des zonotopes polytopiques. Ils conservent le mérite des zonotopes réels que nous pouvons effectuer efficacement la transformation linéaire et les opérations sommaires de Minkowski et calculer la fonction de support. De plus, nous montrons qu'ils peuvent capturer la contraction le long de vecteurs propres complexes. De plus, nous développons des approximations traitables par calcul pour la vérification d'inclusion et l'intersection avec des demi-espaces. En utilisant ces opérations sur des zonotopes complexes, nous développons des programmes convexes pour vérifier les propriétés d'invariance linéaire des systèmes hybrides affines à temps discret et la stabilité exponentielle des systèmes impulsifs linéaires. Nos expériences sur certains exemples de benchmarks démontrent l'efficacité des techniques de vérification basées sur des zonotopes complexes
Computing reachable sets is a de facto approach used in many formal verification methods for hybrid systems. But exact computation of the reachable set is an in- tractable problem for many kinds of hybrid systems, either due to undecidability or high computational complexity. Alternatively, quite a lot of research has been focused on using set representations that can be efficiently manipulated to com- pute sufficiently accurate over-approximation of the reachable set. Zonotopes are a useful set representation in reachability analysis because of their closure and low complexity for computing linear transformation and Minkowski sum operations. But for approximating the unbounded time reachable sets by positive invariants, zonotopes have the following drawback. The effectiveness of a set representation for computing a positive invariant depends on efficiently encoding the directions for convergence of the states to an equilibrium. In an affine hybrid system, some of the directions for convergence can be encoded by the complex valued eigen- vectors of the transformation matrices. But the zonotope representation can not exploit the complex eigenstructure of the transformation matrices because it only has real valued generators.Therefore, we extend real zonotopes to the complex valued domain in a way that can capture contraction along complex valued vectors. This yields a new set representation called complex zonotope. Geometrically, complex zonotopes repre- sent a wider class of sets that include some non-polytopic sets as well as polytopic zonotopes. They retain the merit of real zonotopes that we can efficiently perform linear transformation and Minkowski sum operations and compute the support function. Additionally, we show that they can capture contraction along complex valued eigenvectors. Furthermore, we develop computationally tractable approx- imations for inclusion-checking and intersection with half-spaces. Using these set operations on complex zonotopes, we develop convex programs to verify lin- ear invariance properties of discrete time affine hybrid systems and exponential stability of linear impulsive systems. Our experiments on some benchmark exam- ples demonstrate the efficiency of the verification techniques based on complex zonotopes

Hartung, Sophia. "Analyzing Protein-Nucleic Acid Complexes using Hybrid Methods". Diss., lmu, 2008. http://nbn-resolving.de/urn:nbn:de:bvb:19-101265.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Harbaoui, Houda. "Ordonnancement d’un système de production industriel complexe : flow shop hybride avec des machines dédiées soumis à différentes contraintes temporelles". Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2018. http://www.theses.fr/2018IMTA0114/document.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

L’accroissement des profits, à travers l’amélioration de la productivité et la réduction des pertes de matières, représente un objectif primordial pour les entreprises industrielles. Dans cette thèse, nous nous intéressons à la résolution d’un problème industriel complexe réel avec des contraintes de temps. Nous nous sommes intéressés, tout d’abord, à un objectif principal, soit la minimisation des dates de fin de production, suivi d’un objectif secondaire qui est la minimisation des quantités de déchets non recyclables. Dans un premier temps, nous avons modéliséle problème par des modèles mathématiques, que nous avons résolu à l’aide d’un solveur. Dans un second temps, nous avons proposé une méthode approchée en forme d’algorithmes évolutionnistes. Cette méthode est appliquée aux deux objectifs mentionnés ci-dessus séparément. Une troisième méthode est ensuite appliquée à l’objectif principal, à savoir une méthode arborescente approchée. Nous avons testé les algorithmes proposés sur des instances inspirées d’un cas réel ; issues d’une entreprise du secteur agroalimentaire et sur des instances inspirées de la littérature
Increasing profits, through the improvement of productivity and minimizing waste, is a primary objective for industrial companies. In this thesis, we are interested insolving a real complex industrial problem with time constraints. Firstly, we were interested in minimizing completion time (Cmax). Secondly, we focused on minimizing of non-recyclable waste. As a first step, we formulated the problem by mathematical models, which we solved using a solver. In a second step, we proposed an approximate method in the form of evolutionary algorithms. Both methods were applied to the two objectives mentioned above separately. Then, a third method which is a tree-search algorithm was applied only to the main objective. We tested the proposed algorithms on instances inspired from a real case; from an agri-food business, and also on instances inspired from the literature

Vo, Tan Phuoc. "Théorie du contrôle et systèmes hybrides dans un contexte cryptographique". Phd thesis, Institut National Polytechnique de Lorraine - INPL, 2009. http://tel.archives-ouvertes.fr/tel-00452699.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

La thèse traite de l'utilisation des systèmes hybrides dans le contexte particulier des communications sécurisées et de la cryptographie. Ce travail est motivé par les faits suivants. L'essor considérable des communications qui a marqué ces dernières décennies nécessite des besoins croissants en terme de sécurité des échanges et de protection de l'information. Dans ce contexte, la cryptographie joue un rôle central puisque les informations transitent la plupart du temps au travers de canaux publics. Parmi les nombreuses techniques de chiffrement existants, le chiffrement par flot se distingue tout particulièrement lorsqu'on le débit d'une communication sécurisée est privilégié. Les chiffreurs par flot sont construits à partir de générateurs de séquences complexes décrits par des systèmes dynamiques et devant être synchronisés de part et d'autre du canal d'échanges. Les objectifs et les résultats de ce travail se déclinent en trois points. Tout d'abord, l'intérêt d'utiliser des systèmes hybrides en tant que primitives cryptographiques est motivé. Par la suite, une étude comparative est menée afin d'établir une connexion entre les algorithmes de masquage de l'information basés sur le chaos et les algorithmes de chiffrement usuels. L'étude porte exclusivement sur des considérations structurelles et repose sur des concepts de la théorie du contrôle, en particulier l'inversibilité à gauche et la platitude. On montre que la technique de masquage dite par inclusion, qui consiste à injecter l'information à protéger dans une dynamique complexe, est la plus efficace. De plus, on montre que sous la condition de platitude, un système de masquage par inclusion est structurellement équivalent à un chiffreur par flot particulier appelé auto-synchronisant. Enfin, des méthodes de cryptanalyse pour évaluer la sécurité du masquage par inclusion sont proposées pour une classe particulières de systèmes hybrides à savoir les systèmes linéaires à commutations. A nouveau, des concepts de la théorie du contrôle sont utilisés, il s'agit de l'identifiabilité paramétrique et des algorithmes d'identification. Des spécificités relatives au contexte particulier de la cryptographie sont prises en compte. En effet, contrairement à la plupart des cas rencontrés dans le domaine du contrôle où les variables des modèles dynamiques sont continues car relatives à des systèmes physiques, les variables prennent ici des valeurs discrètes. Les modèles dynamiques sont en effet décrits non plus dans le corps des réels mais dans des corps finis en vue d'une implémentation sur des machines à états finis tels ordinateur ou tout autre dispositif numérique.

Più fonti

Libri sul tema "Hybrid complete":

Nerad, Jack R. The Complete Idiot's Guide to Hybrid & Alternative Fuel Vehicles. New York: Penguin USA, Inc., 2009.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Shelton, Phyllis R. Protecting your family with long term care insurance: A complete guide to long term care planning including traditional and hybrid policies and alternative funding options. Hendersonville, TN: LTCi Publishing, 2013.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

McGregor, Malcolm. Saxifrages: The complete cultivars & hybrids. [Leighton Buzzard]: Saxifrage Society, 1995.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Ternovaya, Lyudmila. War and peace in a hybrid dimension. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1058362.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

The monograph is devoted to the analysis of the current topic of hybrid war, in which the thin red lines separating it from peaceful life can both turn into an impenetrable iron curtain, and become a bright and attractive advertisement for another country and culture, forcing you to immerse yourself in another world, and not perceive it as a rival. Neither international law, nor the tools for identifying all the figures of international relations involved in resolving issues of war and peace, nor culture can correct the mutual distortions of hybrid war and hybrid peace. And yet, it is possible to find such facts that help to remove hybrid layers and reach the true interests, goals and means of those geopolitical actors who benefit from such a complex hybrid game of war and peace. It is intended for specialists in the field of international relations, history, culture. It will also arouse the interest of a wide range of readers.

McGregor, Malcolm. Saxifrages: The complete cultivars & hybrids : first edition of the International register of saxifrages. (Leighton Buzzard): Saxifrage Society, 1995.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Tarakanov, Andrey, A. Sumin e A. Hvostov. Mathematical problems of decision-making in dynamic organizational systems. ru: INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1871445.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

The monograph develops the theory of decision-making in dynamic organizational systems with a complex structure in conditions of conflict and uncertainty. An overview of the current state of the theory is given. The systems are studied: hierarchical, coalition and coalition-hierarchical (hybrid). The main attention in the process of constructing mathematical models of systems is paid to the description of ways of information interaction of decision makers. At the same time, the variants of their unfavorable (conflict) and benevolent "attitude" to each other are taken into account. Two approaches to decision-making based on the principle of guaranteed results and approaches of game theory are proposed. Exactly: 1) making decisions from the point of view of a dedicated participant in the system based on penalty functions and obtaining the necessary optimality conditions; 2) making decisions based on special optimality principles constructed using the principles of Nash, Pareto, Joffrion, Stackelberg, Slater, threats — counter-threats and obtaining sufficient optimality conditions. Some theoretical results are illustrated by model examples. For researchers, postgraduates and students dealing with theoretical and practical issues of decision-making in complex systems.

Busacca, Maurizio, e Roberto Paladini. Collaboration Age. Venice: Fondazione Università Ca’ Foscari, 2020. http://dx.doi.org/10.30687/978-88-6969-424-0.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Recently, public policies of urban regeneration have intensified and multiplied. They are being promoted with the aim to start social and economic dynamics within the local context which is subject to intervention. From the empirical analysis, we realise that such activities are mainly implemented by three subjects or by mixed coalitions (public institutions, actors of the third sector and companies). Within them, each player is moved by a multiplicity of interests and goals that go beyond their own nature – public interest, market and mutualism – and tend to redefine themselves, thus becoming hybrid forms of production of value (social, economic, cultural). By studying a number Italian and Catalan cases, this essay deals with the theory that, under specific conditions and configurations, a collaborative direction – of organization, production and design – would give life to successful procedures, even without the identification of a one-best-way. The collaboration is not simply a choice of operation, but a real production method which mobilises social resources to create hybrid solutions – between state, market and society – to complex issues that could not be faced solely with the use of the rationale of action of one among the three actors. In this framework, the systems of relations and interactions between players and shared capital become an essential condition for the success of every initiative of urban redevelopment, or failure thereof. Such initiatives are brought to life by the strategic role of individuals who foster connections as well as the dissemination of non-redundant information between social networks, and collective and individual actors which would otherwise be separated and barely able to communicate and collaborate with each other. In addition to the functions carried out by knowledge brokers, that have been extensively described in organisational studies and economic sociology, the aforementioned figures act as real social enzymes, that is to say, they handle the available information and function as catalysts of social processes of production of knowledge. Moreover, they increase the reaction speed, working on mechanisms which control the spontaneity.

Torres, Norris. Complete Guide to Hybrid Materials. Nova Science Publishers, Incorporated, 2020.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Torres, Norris. Complete Guide to Hybrid Materials. Nova Science Publishers, Incorporated, 2020.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Eldridge, T. K. Hybrid Chronicles: The Complete Series. Independently Published, 2020.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Capitoli di libri sul tema "Hybrid complete":

Blum, Christian, e Günther R. Raidl. "Hybridization Based on Complete Solution Archives". In Hybrid Metaheuristics, 101–25. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-30883-8_6.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Prestwich, Steven. "The Relation Between Complete and Incomplete Search". In Hybrid Metaheuristics, 63–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-78295-7_3.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Alhazov, Artiom, Gemma Bel-Enguix, Alexander Krassovitskiy e Yurii Rogozhin. "Complete Obligatory Hybrid Networks of Evolutionary Processors". In Advances in Intelligent and Soft Computing, 275–82. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19917-2_33.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Nakamura, Shinichiro, e Keisuke Nansai. "Input–Output and Hybrid LCA". In LCA Compendium – The Complete World of Life Cycle Assessment, 219–91. Dordrecht: Springer Netherlands, 2016. http://dx.doi.org/10.1007/978-94-017-7610-3_6.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Bendoukha, Samir, Jin-Man He e Salem Abdelmalek. "Complete Synchronization of Hybrid Spatio-temporal Chaotic Systems". In Mathematical Methods in Engineering and Applied Sciences, 159–84. Boca Raton: CRC Press, [2020] | Series: Mathematics and its applications series: CRC Press, 2020. http://dx.doi.org/10.1201/9780429343537-7.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Satitsuksanoh, Pawut, Peraphon Sophatsathit e Chidchanok Lursinsap. "A Hybrid Technique for Complete Viral Infected Recovery". In Advances in Information Technology, 147–59. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10392-6_14.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Bozzelli, Laura, e Ruggero Lanotte. "Hybrid and First-Order Complete Extensions of CaRet". In Lecture Notes in Computer Science, 58–72. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22119-4_7.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Alhazov, Artiom, Gemma Bel-Enguix, Alexander Krassovitskiy e Yurii Rogozhin. "About Complete Obligatory Hybrid Networks of Evolutionary Processors without Substitution". In Advances in Computational Intelligence, 441–48. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21501-8_55.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Florentsev, Stanislav, Dmitry Izosimov e Ivan Ksenevich. "The Design Concept of Complete Traction Electric Equipment Sets for Hybrid Vehicles". In Lecture Notes in Electrical Engineering, 217–28. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33744-4_19.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Yu, Geunyeol, Jia Lee e Kyungmin Bae. "STLmc: Robust STL Model Checking of Hybrid Systems Using SMT". In Computer Aided Verification, 524–37. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13185-1_26.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

AbstractWe present the STLmc model checker for signal temporal logic (STL) properties of hybrid systems. The STLmc tool can perform STL model checking up to a robustness threshold for a wide range of hybrid systems. Our tool utilizes the refutation-complete SMT-based bounded model checking algorithm by reducing the robust STL model checking problem into Boolean STL model checking. If STLmc does not find a counterexample, the system is guaranteed to be correct up to the given bounds and robustness threshold. We demonstrate the effectiveness of STLmc on a number of hybrid system benchmarks.

Atti di convegni sul tema "Hybrid complete":

Philippe, Matthew, e Raphaël M. Jungers. "A complete characterization of the ordering of path-complete methods". In HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3302504.3311803.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Picarelli, A., e M. Dempsey. "Simulating the complete 2014 hybrid electric Formula 1 cars". In 5th IET Hybrid and Electric Vehicles Conference (HEVC 2014). Institution of Engineering and Technology, 2014. http://dx.doi.org/10.1049/cp.2014.0960.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Angeli, David, Nikolaos Athanasopoulos, Raphaël M. Jungers e Matthew Philippe. "Path-Complete Graphs and Common Lyapunov Functions". In HSCC '17: 20th International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3049797.3049817.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Platzer, Andre. "The Complete Proof Theory of Hybrid Systems". In 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012). IEEE, 2012. http://dx.doi.org/10.1109/lics.2012.64.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Olmedo, J., M. Fernández-Méndez e G. A. Mena Marugán. "A complete hybrid quantization in inhomogeneous cosmology". In TOWARDS NEW PARADIGMS: PROCEEDING OF THE SPANISH RELATIVITY MEETING 2011. AIP, 2012. http://dx.doi.org/10.1063/1.4734471.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Liangjun Zhang, Young J. Kim e Dinesh Manocha. "A hybrid approach for complete motion planning". In 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE, 2007. http://dx.doi.org/10.1109/iros.2007.4399064.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Jung-hyun, Seo, Lee HyeongOk e Jang Moon-suk. "Constructing Complete Binary Trees on Petersen-Torus Networks". In 2008 Third International Conference on Convergence and Hybrid Information Technology (ICCIT). IEEE, 2008. http://dx.doi.org/10.1109/iccit.2008.54.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Florentsev, Stanislav, Dmitry Izosimov, Sergey Baida, Alexander Belousov, Andrey Sibirtsev e Sergei Zhuravljov. "Complete traction electric equipment sets for hybrid buses". In 2010 IEEE Region 8 International Conference on "Computational Technologies in Electrical and Electronics Engineering" (SIBIRCON 2010). IEEE, 2010. http://dx.doi.org/10.1109/sibircon.2010.5555367.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Florentsev, Stanislav N., Dmitry B. Izosimov, Sergey B. Baida, Alexander A. Belousov, Andrey N. Sibirtsev e Sergei V. Zhuravljov. "Complete Traction Electric Equipment Sets for Hybrid Buses". In 16th Asia Pacific Automotive Engineering Conference. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2011. http://dx.doi.org/10.4271/2011-28-0066.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Sundar, N. S., D. N. Jayasimha, D. K. Panda e P. Sadayappan. "Hybrid algorithms for complete exchange in 2D meshes". In the 10th international conference. New York, New York, USA: ACM Press, 1996. http://dx.doi.org/10.1145/237578.237602.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Hybrid complete":

Gao, Sicun, Soonho Kong, Wei Chen e Edmund M. Clarke. Delta-Complete Analysis for Bounded Reachability of Hybrid Systems. Fort Belvoir, VA: Defense Technical Information Center, luglio 2014. http://dx.doi.org/10.21236/ada613813.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Baader, Franz, Oliver Fernández Gil e Barbara Morawska. Hybrid Unification in the Description Logic EL. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.197.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Unification in Description Logics (DLs) has been proposed as an inference service that can, for example, be used to detect redundancies in ontologies. For the DL EL, which is used to define several large biomedical ontologies, unification is NP-complete. However, the unification algorithms for EL developed until recently could not deal with ontologies containing general concept inclusions (GCIs). In a series of recent papers we have made some progress towards addressing this problem, but the ontologies the developed unification algorithms can deal with need to satisfy a certain cycle restriction. In the present paper, we follow a different approach. Instead of restricting the input ontologies, we generalize the notion of unifiers to so-called hybrid unifiers. Whereas classical unifiers can be viewed as acyclic TBoxes, hybrid unifiers are cyclic TBoxes, which are interpreted together with the ontology of the input using a hybrid semantics that combines fixpoint and descriptive semantics. We show that hybrid unification in EL is NP-complete and introduce a goal-oriented algorithm for computing hybrid unifiers.

Badami, Kaswan, Budi Setiadi Daryono, Achmad Amzeri e Syaiful Khoiri. COMBINING ABILITY AND HETEROTIC STUDIES ON HYBRID MELON (Cucumis melo L.) POPULATIONS FOR FRUIT YIELD AND QUALITY TRAITS. SABRAO Journal of Breeding and Genetics, ottobre 2020. http://dx.doi.org/10.21107/amzeri.2020.3.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

In different crop plants, combining ability and heterosis are used as important diagnostic tools for assessing the performance of parental genotypes and their hybrids. This research aimed to evaluate heterotic and combining ability effects in the diallel crosses of melon (Cucumis melo L.) for yield- and quality-related traits. Seven melon (C. melo L.) genotypes were grown and crossed in a complete diallel fashion to produce F1 hybrids. During the 2019 crop season, 49 melon genotypes (7 parents + 42 F1 hybrids) were grown in a randomized complete block design with three replications. Observations were made for seven characters. Analysis of variance revealed significant (P ≤ 0.01) differences among the melon genotypes for harvest age, fruit flesh thickness, fruit total soluble solids, fruit length, and fruit diameter and merely significant differences (P ≤ 0.05) for fruit weight. Combining ability analysis revealed that mean squares due to general combining ability (GCA) were significant for fruit diameter but were nonsignificant for all other traits. However, mean squares due to specific combining ability (SCA) were significant for all traits. The parental genotypes PK-165, PK-464, and PK-669 exhibited the highest and desirable GCA effects for yield and quality traits. Hence, these genotypes could be used to generate high-yielding hybrid/open-pollinated cultivars. GCA:SCA ratios further revealed that the traits of harvest age, fruit flesh thickness, fruit total soluble solids, fruit length, and fruit weight were controlled by dominant gene action, whereas fruit diameter was managed by additive and dominant genes. The majority of the traits were controlled by nonadditive gene action, verifying that the said breeding material could be efficiently used for the production of hybrid cultivars on the basis of heterotic effects.

Noga, Edward J., Ramy R. Avtalion e Michael Levy. Comparison of the Immune Response of Striped Bass and Hybrid Bass. United States Department of Agriculture, agosto 1993. http://dx.doi.org/10.32747/1993.7568749.bard.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

We developed methods for examining the pathophysical response of striped bass and hybrid bass to various forms of stress. This involved development of techniques for the measurement of lysozyme, mitogen blastogenesis, mixed lymphocyte reaction, and oxidative burst, which are important general indicators of systemic immune function. We also examined local immune defenses (epithelial integrity), as well as homeostatic indicators in blood, including osmotic balance and glucose. Acute stress resulted in significant perturbations in a number of parameters, including glucose, electrolytes, osmolarity, lysozyme, and mixed lymphocyte reaction. Most significantly, acute confinement stress resulted in severe damage to the epidermal epithelium, as indicated by the rapid (within 2 hr) development of erosions and ulcerations on various fins. There were significant differences in the resting levels of some immune functions between striped bass and hybrid bass, including response to mitogens in the leukocyte blastogenesis test. Our studies also revealed that there were significant differences in how striped bass and hybrid bass respond to stress, with striped bass being much more severely affected by stress than the hybrid. This was reflected in more severe changes in glucose, cortisol dynamics, and plasma lysozyme. Most significantly, striped bass developed more severe idiopathic skin ulceration after stress, which may be a major reason why this fish is so prone to develop opportunistic bacterial and fungal infections after stress. Hybrid bass injected with equine serum albumin developed a typical humoral immune response, with peak antibody production 28 days after primary immunization. Fish that were exposed to a chronic stress after a primary immunization showed almost complete inhibition of antibody production.

Lutz, Carsten, Carlos Areces, Ian Horrocks e Ulrike Sattler. Keys, Nominals, and Concrete Domains. Technische Universität Dresden, 2002. http://dx.doi.org/10.25368/2022.122.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to 'concrete' domains such as numbers and strings with built-in predicates such as <, +, and prefix-of. These hybrid DLs have turned out to be quite useful for reasoning about conceptual models of information systems, and as the basis for expressive ontology languages. We propose to further extend such DLs with key constraints that allow the expression of statements like 'US citizens are uniquely identified by their social security number'. Based on this idea, we introduce a number of natural description logics and perform a detailed analysis of their decidability and computational complexity. It turns out that naive extensions with key constraints easily lead to undecidability, whereas more careful extensions yield NEXPTIME-complete DLs for a variety of useful concrete domains.

Amzeri, Achmad, B. S. DARYONO e M. SYAFII. GENOTYPE BY ENVIRONMENT AND STABILITY ANALYSES OF DRYLAND MAIZE HYBRIDS. SABRAO Journal of Breeding and Genetics, settembre 2020. http://dx.doi.org/10.21107/amzeri.2020.2.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

The phenotypic analysis of new candidate varieties at multiple locations could provide information on the stability of their genotypes. We evaluated the stability of 11 maize hybrid candidates in five districts in East Java Province, Indonesia. Maize hybrids with high yield potential and early maturity traits derived from a diallel cross were planted in a randomized complete block design with two checks (Srikandi Kuning and BISI-2) as a single factor with four replicates. The observed traits were grain yield per hectare and harvest age. The effects of environment, genotype, and genotype × environment interaction on yield were highly significant (P < 0.01). KTM-1, KTM-2, KTM-4, KTM-5, and KTM-6 showed higher average grain yield per hectare than the checks (Srikandi Kuning = 8.49 ton ha−1 and BISI-2 = 7.32 ton ha−1) at five different locations. The average harvest age of 11 candidates was less than 100 days. KTM-4 and KTM-5 had production yields that were higher than the average yield of all genotypes in all environments (Yi > 7.78 tons ha−1) and were considered stable on the basis of three stability parameters, i.e., Finlay–Wilkinson, Eberhart–Russell, and additive main effect multiplicative interaction (AMMI). KTM-2 had the highest yield among all tested genotypes (9.33 ton ha−1) and was considered as stable on the basis of AMMI but not on the basis of Finlay–Wilkinson and Eberhart–Russell. KTM-1 performed well only in Pamekasan, whereas KTM-6 performed well only in Sampang. Thus, these two genotypes could be targeted for these specific locations.

Teel, Andrew R. Complex Dynamical Behavior in Hybrid Systems. Fort Belvoir, VA: Defense Technical Information Center, settembre 2012. http://dx.doi.org/10.21236/ada567122.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Murthy, P. K., Kuei-Chien C. Shill e Gary A. Thiele. A Hybrid-Iterative Technique for Complex Scattering Problems. Fort Belvoir, VA: Defense Technical Information Center, gennaio 1986. http://dx.doi.org/10.21236/ada165233.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Christensen, Lance. PR-459-133750-R03 Fast Accurate Automated System To Find And Quantify Natural Gas Leaks. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), novembre 2019. http://dx.doi.org/10.55274/r0011633.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Miniature natural gas sensors weighing a few hundred grams with 10 ppb s-1 sensitivity towards methane and ppb s-1 sensitivity towards methane and ethane present the energy industry with cost effective ways to improve safety, comply with State and Federal regulations, decrease natural gas emissions, and attribute natural gas indications to thermogenic or biogenic sources. One particularly promising implementation is on small unmanned aerial systems (sUASs) flown by service providers or in-house personnel or even more ambitiously as part of larger network conducting autonomous, continual monitoring. This report describes refinement of the OPLS measurement system to include all ancillary instruments needed to put OPLS methane and ethane measurements into context for leak surveillance, localization, and quantification. Flights were conducted on a variety of VTOLs and fixed wing drones as described below to ensure that the overall system development resulted in a system that was platform agnostic. This report describes: - The complete agnostic OPLS measurement system.The individual components are described and their performance investigated.Technical issues that arose during testing and field deployment are described. - Field experiments of the refined OPLS measurement system at a real-world oil and gas production site.These experiments exercise the OPLS system's ability to do leak surveillance, localization, and quantification. - Laboratory development of the OPLS instrument to improve its performance in terms of signal-to-noise and accuracy. - Field experiments demonstrating the successful application of OPLS on a fixed-wing hybrid flown at altitudes higher than 50 m. - Field experiments demonstrating the utility of source attribution using the ethane measurement capability. There is a related webinar.

Dullerud, Geir E. Hybrid Control for Multi-Agent Systems in Complex Sensing Environments. Fort Belvoir, VA: Defense Technical Information Center, febbraio 2012. http://dx.doi.org/10.21236/ada567715.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri