Gotowe bibliografie tematyczne / Synthèse HLS

Spis treści

Artykuły w czasopismach
Rozprawy doktorskie
Książki
Części książek
Streszczenia konferencji
Raporty organizacyjne

Gotowa bibliografia na temat „Synthèse HLS”

Autor: Grafiati

Data publikacji: 29 marca 2025

Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Synthèse HLS”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Synthèse HLS"

Jovanović, S., and S. Weber. "Modélisation et accélération de réseaux de neurones profonds (CNN) en Python/VHDL/C++ et leur vérification et test à l’aide de l’environnement Pynq sur les FPGA Xilinx." J3eA 21 (2022): 1028. http://dx.doi.org/10.1051/j3ea/20220028.

Pełny tekst źródła

Streszczenie:

Nous présentons un ensemble de travaux pratiques qui seront dispensés au sein du Master EEA - Électronique Embarquée à l’université de Lorraine dans le cadre des modules Modélisation SystemC et Conception VLSI. Ces TP sont destinés à initier les étudiants à la compréhension, modélisation et conception des réseaux de neurones convolutifs dans des langages de description de matériel au niveau RTL (VHDL, le module Conception VLSI) et dans un langage de haut niveau (C++/SystemC, le module Modélisation SystemC). Ils sont organisés autour d’un ensemble d’outils de modélisation et de synthèse de Ment

Style APA, Harvard, Vancouver, ISO itp.

Subramaniam, Prem S., Gang Xie, Tianhui Xia, and Roy A. Jensen. "Substrate Ambiguity of 3-Deoxy-d-manno-Octulosonate 8-Phosphate Synthase from Neisseria gonorrhoeae in the Context of Its Membership in a Protein Family Containing a Subset of 3-Deoxy-d-arabino-Heptulosonate 7-Phosphate Synthases." Journal of Bacteriology 180, no. 1 (1998): 119–27. http://dx.doi.org/10.1128/jb.180.1.119-127.1998.

Pełny tekst źródła

Streszczenie:

ABSTRACT 3-Deoxy-d-manno-octulosonate 8-phosphate (KDOP) synthase and 3-deoxy-d-arabino-heptulosonate 7-phosphate (DAHP) synthase catalyze similar phosphoenolpyruvate-utilizing reactions. The genome of Neisseria gonorrhoeae contains one gene encoding KDOP synthase and one gene encoding DAHP synthase. Of the two nonhomologous DAHP synthase families known, the N. gonorrhoeae protein belongs to the family I assemblage. KDOP synthase exhibited an ability to replace arabinose-5-P with either erythrose-4-P or ribose-5-P as alternative substrates. The results of periodate oxidation studies suggested

Style APA, Harvard, Vancouver, ISO itp.

Kameya, Masafumi, Takeshi Ikeda, Miyuki Nakamura, Hiroyuki Arai, Masaharu Ishii, and Yasuo Igarashi. "A Novel Ferredoxin-Dependent Glutamate Synthase from the Hydrogen-Oxidizing Chemoautotrophic Bacterium Hydrogenobacter thermophilus TK-6." Journal of Bacteriology 189, no. 7 (2007): 2805–12. http://dx.doi.org/10.1128/jb.01360-06.

Pełny tekst źródła

Streszczenie:

ABSTRACT Glutamate synthases are classified according to their specificities for electron donors. Ferredoxin-dependent glutamate synthases had been found only in plants and cyanobacteria, whereas many bacteria have NADPH-dependent glutamate synthases. In this study, Hydrogenobacter thermophilus, a hydrogen-oxidizing chemoautotrophic bacterium, was shown to possess a ferredoxin-dependent glutamate synthase like those of phototrophs. This is the first observation, to our knowledge, of a ferredoxin-dependent glutamate synthase in a nonphotosynthetic organism. The purified enzyme from H. thermophi

Style APA, Harvard, Vancouver, ISO itp.

Nesterov, Semen, Yury Chesnokov, Roman Kamyshinsky, et al. "Ordered Clusters of the Complete Oxidative Phosphorylation System in Cardiac Mitochondria." International Journal of Molecular Sciences 22, no. 3 (2021): 1462. http://dx.doi.org/10.3390/ijms22031462.

Pełny tekst źródła

Streszczenie:

The existence of a complete oxidative phosphorylation system (OXPHOS) supercomplex including both electron transport system and ATP synthases has long been assumed based on functional evidence. However, no structural confirmation of the docking between ATP synthase and proton pumps has been obtained. In this study, cryo-electron tomography was used to reveal the supramolecular architecture of the rat heart mitochondria cristae during ATP synthesis. Respirasome and ATP synthase structure in situ were determined using subtomogram averaging. The obtained reconstructions of the inner mitochondrial

Style APA, Harvard, Vancouver, ISO itp.

Ma, Li-Ting, Pi-Ling Liu, Yang-Tui Cheng, Tz-Fan Shiu, and Fang-Hua Chu. "Unveiling Monoterpene Biosynthesis in Taiwania cryptomerioides via Functional Characterization." Plants 10, no. 11 (2021): 2404. http://dx.doi.org/10.3390/plants10112404.

Pełny tekst źródła

Streszczenie:

Taiwania cryptomerioides is a monotypic species, and its terpenoid-rich property has been reported in recent years. To uncover monoterpene biosynthesis in T. cryptomerioides, this study used transcriptome mining to identify candidates with tentative monoterpene synthase activity. Along with the phylogenetic analysis and in vitro assay, two geraniol synthases (TcTPS13 and TcTPS14), a linalool synthase (TcTPS15), and a β-pinene synthase (TcTPS16), were functionally characterized. Via the comparison of catalytic residues, the Cys/Ser at region 1 might be crucial in determining the formation of α-

Style APA, Harvard, Vancouver, ISO itp.

Agger, Sean A., Fernando Lopez-Gallego, Thomas R. Hoye, and Claudia Schmidt-Dannert. "Identification of Sesquiterpene Synthases from Nostoc punctiforme PCC 73102 and Nostoc sp. Strain PCC 7120." Journal of Bacteriology 190, no. 18 (2008): 6084–96. http://dx.doi.org/10.1128/jb.00759-08.

Pełny tekst źródła

Streszczenie:

ABSTRACT Cyanobacteria are a rich source of natural products and are known to produce terpenoids. These bacteria are the major source of the musty-smelling terpenes geosmin and 2-methylisoborneol, which are found in many natural water supplies; however, no terpene synthases have been characterized from these organisms to date. Here, we describe the characterization of three sesquiterpene synthases identified in Nostoc sp. strain PCC 7120 (terpene synthase NS1) and Nostoc punctiforme PCC 73102 (terpene synthases NP1 and NP2). The second terpene synthase in N. punctiforme (NP2) is homologous to

Style APA, Harvard, Vancouver, ISO itp.

Xu, Meimei, P. Ross Wilderman, and Reuben J. Peters. "Following evolution's lead to a single residue switch for diterpene synthase product outcome." Proceedings of the National Academy of Sciences 104, no. 18 (2007): 7397–401. http://dx.doi.org/10.1073/pnas.0611454104.

Pełny tekst źródła

Streszczenie:

There have been few insights into the biochemical origins of natural product biosynthesis from primary metabolism. Of particular interest are terpene synthases, which often mediate the committed step in particular biosynthetic pathways so that alteration of their product outcome is a key step in the derivation of novel natural products. These enzymes also catalyze complex reactions of significant mechanistic interest. Following an evolutionary lead from two recently diverged, functionally distinct diterpene synthase orthologs from different subspecies of rice, we have identified a single resid

Style APA, Harvard, Vancouver, ISO itp.

Eichman, Jennifer. "Intertextual Alliances: Huang Hui’s Synthesis of Confucian and Buddhist Paths to Liberation." T’oung pao 100, no. 1-3 (2014): 120–63. http://dx.doi.org/10.1163/15685322-10013p04.

Pełny tekst źródła

Streszczenie:

This article argues for a reconsideration of how we categorize individual attempts at sanjiao heyi-style syntheses and characterize the broader late sixteenth-century milieu that nourished such attempts. In Zeng Zheng Kunyan bieyan 贈鄭昆嚴別言 (Parting Words for Zheng Kunyan), Huang Hui 黃輝 (1555–1612) synthesized a highly selective number of Chan Buddhist and Yangming Confucian ideas to create a path to self-cultivation rooted in the interstitial dialogue between the branch of third-generation Yangming Confucians headed by Zhou Rudeng 周汝登 (1547–1629) and the Buddhist teachings expounded by the monk

Style APA, Harvard, Vancouver, ISO itp.

Antonsson, Bruno E., and Lisa S. Klig. "Candida albicans phosphatidylinositol synthase has common features with both Saccharomyces cerevisiae and mammalian phosphatidylinositol synthases." Yeast 12, no. 5 (1996): 449–56. http://dx.doi.org/10.1002/(sici)1097-0061(199604)12:5<449::aid-yea927>3.0.co;2-p.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Tang, Eva H. C., and Paul M. Vanhoutte. "Gene expression changes of prostanoid synthases in endothelial cells and prostanoid receptors in vascular smooth muscle cells caused by aging and hypertension." Physiological Genomics 32, no. 3 (2008): 409–18. http://dx.doi.org/10.1152/physiolgenomics.00136.2007.

Pełny tekst źródła

Streszczenie:

The present study was designed to assess whether or not changes in genomic expression of cyclooxygenases (COX-1, COX-2), endothelial nitric oxide synthase (eNOS), and prostanoid synthases in the endothelium and of prostanoid receptors in vascular smooth muscle contribute to the occurrence of endothelium-dependent contractions during aging and hypertension. Gene expression was quantified by real-time PCR using isolated endothelial cells and smooth muscle cells (SMC) from the aorta of Wistar-Kyoto and spontaneously hypertensive rats. Genes for all known prostanoid synthases and receptors were pr

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Rozprawy doktorskie na temat "Synthèse HLS"

Vijayaraghavan, Vijay P. "Exploration des liens entre la synthèse de haut niveau (HLS) et la synthèse au niveau transferts de registres (RTL)." Grenoble INPG, 1996. http://www.theses.fr/1996INPG0184.

Pełny tekst źródła

Streszczenie:

Le sujet traite dans cette these, concerne les liens entre la synthese de haut niveau et la synthese au niveau transfert de registres (rtl). Il s'agit d'une adaptation de l'architecture resultat de la synthese de haut niveau par transformation en une description rtl acceptee par les outils industriels actuels. Les objectifs vises par cette transformation, sont: accroitre la flexibilite et l'efficacite, permettre la parametrisation de l'architecture finale. A partir d'une description comportamentale decrite dans un language de description de materiel (la synthese de haut niveau) genere une arch

Style APA, Harvard, Vancouver, ISO itp.

Payet, Matthieu. "Conception de systèmes programmables basés sur les NoC par synthèse de haut niveau : analyse symbolique et contrôle distribué." Thesis, Lyon, 2016. http://www.theses.fr/2016LYSES051/document.

Pełny tekst źródła

Streszczenie:

Les réseaux sur puce (NoC pour «network on chip») sont des infrastructures de communication extensibles qui autorisent le parallélisme dans la communication. La conception de circuits basés sur les NoC se fait en considérant la communication et le calcul séparément, ce qui la rend plus complexe. Les outils de synthèse d'architecture (HLS pour «high level synthesis») permettent de générer rapidement des circuits performants. Mais le contrôle de ces circuits est centralisé et la communication est de type point-à-point (non extensible). Afin d'exploiter le parallélisme potentiel des algorithmes s

Style APA, Harvard, Vancouver, ISO itp.

Ribon, Aurélien. "Amélioration du processus de vérification des architectures générées à l'aide d'outils de synthèse de haut-niveau." Thesis, Bordeaux 1, 2012. http://www.theses.fr/2012BOR14719/document.

Pełny tekst źródła

Streszczenie:

L'augmentation de la capacité d'intégration des circuits a permis le développement des systèmes de plus en plus complexes. De cette complexité sont nés des besoins conséquents quant aux méthodes de conception et de vérification. Les outils de synthèse de haut-niveau (HLS) sont une des réponses à ces besoins. Les travaux présentés dans cette thèse ont pour cadre l'amélioration du processus de vérification des architectures matérielles synthétisées par HLS. En particulier, ils proposent une méthode pour la transformation des assertions booléennes spécifiées dans la description algorithmique d'un

Style APA, Harvard, Vancouver, ISO itp.

Hoseininasab, Sara sadat. "Using HLS to raise the design abstraction level for faster exploration of different CPU Micro-architectures." Electronic Thesis or Diss., Université de Rennes (2023-....), 2025. http://www.theses.fr/2025URENS004.

Pełny tekst źródła

Streszczenie:

La conception de circuits complexes, tels que les processeurs, nécessite un prototypage itératif afin d’explorer diverses caractéristiques micro architecturales et d’obtenir des performances optimales. Ce processus repose usuellement sur l’utilisation des langages de description matérielle comme Verilog qui nécessitent beaucoup de travail et sont sujets aux erreurs. Modifier un design impose souvent une réécriture significative du code HDL, rendant la conception itérative et l’exploration de l’espace de conception fastidieuses et inefficaces, en particulier avec l’augmentation de la complexité

Style APA, Harvard, Vancouver, ISO itp.

Diakité, Daouda. "High-level synthesis (HLS) on FPGA for inverse problems : application to tomography and radioastronomy." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG080.

Pełny tekst źródła

Streszczenie:

Le besoin croissant de puissance de calcul imposé par la complexité des algorithmes de traitement et la taille des problèmes nécessite l'utilisation d'accélérateurs matériels pour répondre aux contraintes de temps et d'énergie. Les architectures FPGA sont connues pour être parmi les plateformes les plus économes en énergie, notamment pour les systèmes embarqués à travers les langages de description matérielle. L'apparition des nouveaux outils de synthèse de haut niveau a été un facteur majeur dans la prise en compte des FPGAs pour les applications complexes, comme c'est le cas avec les process

Style APA, Harvard, Vancouver, ISO itp.

Thievenaz, Hugo. "Scalable Trace-based Compile-Time Memory Allocation." Electronic Thesis or Diss., Lyon, École normale supérieure, 2024. http://www.theses.fr/2024ENSL0108.

Pełny tekst źródła

Streszczenie:

Cette thèse, intitulée “Compilation d'allocation mémoire par analyse de trace avec passage à l'échelle”, étudie l’utilisation de l’analyse dynamique pour en déduire des réductions de trace mémoire. Le but plus large est d’exploiter les informations du programme qui sont disponibles à l’éxecution pour aller plus vite que les techniques d’analyses statiques tradictionnelles, car elles ne parviennent pas à passer à l’échelle pour des noyaux de programmes qui sont plus lourds en termes de nombres d’instructions et qui sont de dimension élevée.La méthodologie de recherche a été d’étudier l’état de

Style APA, Harvard, Vancouver, ISO itp.

Badier, Hannah. "Transient obfuscation for HLS security : application to cloud security, birthmarking and hardware Trojan defense." Thesis, Brest, École nationale supérieure de techniques avancées Bretagne, 2021. https://tel.archives-ouvertes.fr/tel-03789700.

Pełny tekst źródła

Streszczenie:

La mondialisation croissante de la chaîne d'approvisionnement des semi-conducteurs, ainsi que la complexité et la diversité croissantes des flux de conception de matériel, ont entraîné une recrudescence des menaces de sécurité : risques de vol et de revente de propriété intellectuelle, de rétro-ingénierie et d'insertion de code malveillant sous la forme de chevaux de Troie pendant la fabrication et au moment de la conception ont fait l'objet d'une recherche croissante ces dernières années. Cependant, les menaces lors de la synthèse de haut niveau (HLS), où une description algorithmique est tra

Style APA, Harvard, Vancouver, ISO itp.

Ben, Jmaa Chtourou Yomna. "Implémentation temps réel des algorithmes de tri dans les applications de transports intelligents en se basant sur l'outil de synthèse haut niveau HLS." Thesis, Valenciennes, 2019. http://www.theses.fr/2019VALE0013.

Pełny tekst źródła

Streszczenie:

Les systèmes de transports intelligents jouent un rôle important dans la minimisation des accidents, embouteillage, et la pollution d’air. Parmi ces systèmes, nous citons le domaine avionique qui utilise dans plusieurs cas les algorithmes de tri qui sont l’une des opérations importante pour des applications embarquées temps réels. Cependant, l’évolution technologique tend vers des architectures de plus en plus complexes pour répondre aux exigences applicatives. À cet égard, les concepteurs trouvent leur solution idéale dans l’informatique reconfigurable, basée sur des architectures hétérogènes

Style APA, Harvard, Vancouver, ISO itp.

Ben, Hammouda Mohamed. "A design flow to automatically Generate on chip monitors during high-level synthesis of Hardware accelarators." Thesis, Brest, 2014. http://www.theses.fr/2014BRES0115/document.

Pełny tekst źródła

Streszczenie:

Les systèmes embarqués sont de plus en plus utilisés dans des domaines divers tels que le transport, l’automatisation industrielle, les télécommunications ou la santé pour exécuter des applications critiques et manipuler des données sensibles. Ces systèmes impliquent souvent des intérêts financiers et industriels, mais aussi des vies humaines ce qui impose des contraintes fortes de sûreté. Par conséquent, un élément clé réside dans la capacité de tels systèmes à répondre correctement quand des erreurs se produisent durant l’exécution et ainsi empêcher des comportements induits inacceptables. L

Style APA, Harvard, Vancouver, ISO itp.

Rubattu, Claudio. "Response time analysis of parameterized dataflow applications on heterogeneous SW/HW systems." Thesis, Rennes, INSA, 2020. http://www.theses.fr/2020ISAR0005.

Pełny tekst źródła

Streszczenie:

Les fortes contraintes de réactivité et de consommation énergétique des systèmes embarqués et cyber-physiques nécessitent l’utilisation croissante de systèmes de calculs parallèles et fortement hétérogènes. La nature de ces systèmes parallèles implique une énorme complexité dans la compréhension et la prévision des performances en termes de temps de réponse. En effet, le temps de réponse dépend de nombreux facteurs associés aux caractéristiques à la fois de la fonctionnalité implémentée et de l’architecture cible. Les méthodes d’optimisation système actuelles dérivent le temps de réponse du sy

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Książki na temat "Synthèse HLS"

Sendai, Shoichiro. La synthèse des arts de Le Corbusier: Le Corbusier's Artistic Space : his thought processes as seen in the NMWA plans. National Museum of Western Art, 2017.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Takao, Kumazawa, Kruger Lawrence, and Mizumura Kazue, eds. The polymodal receptor: A gateway to pathological pain. Elsevier, 1996.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Luckner, John L. Research Synthesis. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780190455651.003.0015.

Pełny tekst źródła

Streszczenie:

Current educational policies provide a mandate for the use of evidence-based practices (EBPs) in school-based practices. However, the field of deaf education has a paucity of experimental and quasi-experimental research addressing educational practices that have been tested and demonstrated as being effective with this population. This lack of sufficient, high-quality research to determine EBP for working with deaf students is frustrating for teachers and administrators. Consequently, there is a need to conduct research syntheses pertaining to the effectiveness of educational interventions and

Style APA, Harvard, Vancouver, ISO itp.

(Editor), Ghita Holmström-Hintikka, Sten Lindström (Editor), and R. Sliwinski (Editor), eds. Collected Papers of Stig Kanger with Essays on his Life and (Synthese Library). Springer, 2001.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

(Editor), Ghita Holmström-Hintikka, Sten Lindström (Editor), and R. Sliwinski (Editor), eds. Collected Papers of Stig Kanger with Essays on his Life and (Synthese Library). Springer, 2001.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Collected Papers of Stig Kanger with Essays on his Life and Work Volume I (Synthese Library). Springer, 2001.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

(Editor), Ghita Holmström-Hintikka, Sten Lindström (Editor), and R. Sliwinski (Editor), eds. Collected Papers of Stig Kanger with Essays on his Life and Work Volume I (Synthese Library). Springer, 2001.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Jordan, Robert B. Reaction Mechanisms of Inorganic and Organometallic Systems. Oxford University Press, 2007. http://dx.doi.org/10.1093/oso/9780195301007.001.0001.

Pełny tekst źródła

Streszczenie:

This third edition retains the general level and scope of earlier editions, but has been substantially updated with over 900 new references covering the literature through 2005, and 140 more pages of text than the previous edition. In addition to the general updating of materials, there is new or greatly expanded coverage of topics such as Curtin-Hammett conditions, pressure effects, metal hydrides and asymmetric hydrogenation catalysts, the inverted electron-transfer region, intervalence electron transfer, photochemistry of metal carbonyls, methyl transferase and nitric oxide synthase. The ne

Style APA, Harvard, Vancouver, ISO itp.

Barkin, J. Samuel, and Laura Sjoberg. International Relations' Last Synthesis? Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780190463427.001.0001.

Pełny tekst źródła

Streszczenie:

Many scholars, intentionally or unintentionally, have entangled constructivisms and critical theories in problematic ways, either by assigning a critical-theoretical politics to constructivisms or by assuming the appropriateness of constructivist epistemology and methods for critical theorizing. This book makes the argument that these connections mirror the grand theoretical syntheses of International Relations (IR) in the 1980s and 1990s, and have similar constraining effects on the possibilities of International Relations theory. These connections have been made without adequate reflection,

Style APA, Harvard, Vancouver, ISO itp.

Briddon, Anthony. Approach to the Patient with Hyperhomocysteinemia. Oxford University Press, 2016. http://dx.doi.org/10.1093/med/9780199972135.003.0079.

Pełny tekst źródła

Streszczenie:

Hyperhomocysteinaemia (HHC) may occur as a result of a variety of inherited and acquired conditions ranging from mild and benign to severe and life threatening, and there is a higher probability that they will first manifest during early adulthood rather than infancy, with acquired forms commonly presenting into old age. Milder forms of HHC may exist without homocystinuria, and screening tests relying on the presence of homocystine in the urine will give a false negative result. Methylcobalamin is an essential cofactor for methionine synthase, a key enzyme in the homocysteine remethylation pat

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Części książek na temat "Synthèse HLS"

Meskhidze, Helen. "(What) Do We Learn from Code Comparisons? A Case Study of Self-Interacting Dark Matter Implementations." In Synthese Library. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-26618-8_10.

Pełny tekst źródła

Streszczenie:

AbstractThere has been much interest in the recent philosophical literature on increasing the reliability and trustworthiness of computer simulations. One method used to investigate the reliability of computer simulations is code comparison. Gueguen, however, has offered a convincing critique of code comparisons, arguing that they face a critical tension between the diversity of codes required for an informative comparison and the similarity required for the codes to be comparable. Here, I reflect on her critique in light of a recent code comparison investigating self-interacting dark matter i

Style APA, Harvard, Vancouver, ISO itp.

Piecha, Thomas. "Karl Popper on Deduction." In Synthese Library. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-51406-7_14.

Pełny tekst źródła

Streszczenie:

AbstractWe outline Karl Popper’s theory of deduction, which he developed in the 1940s. In his theory it is assumed that a consequence relation is given or otherwise constructed by postulation. Logical operations, which may be available in this consequence relation, are then characterized by means of relational definitions, and logical operators are introduced as names for these operations by means of inferential definitions. Using logically structured sentences thus introduced, the inference laws for them are immediately obtained from the inferential definitions.

Style APA, Harvard, Vancouver, ISO itp.

Abelson, Shannon Sylvie. "Simulation and Experiment Revisited: Temporal Data in Astronomy and Astrophysics." In Synthese Library. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-26618-8_11.

Pełny tekst źródła

Streszczenie:

AbstractThe ongoing debate in philosophy of science over whether simulations are experiments has so far operated at too high a level of generality. I revisit this discussion in the context of simulation in astronomy and astrophysics, arguing that a specific subclass of simulations that include a significant amount of empirically obtained temporal data count as experiments. This subclass will be a small one, as the majority of simulations in astronomy and astrophysics will still suffer from a sparseness of data. But it remains the case that there exist examples of simulations that are experimen

Style APA, Harvard, Vancouver, ISO itp.

Kadowaki, Kevin. "Simulation Verification in Practice." In Synthese Library. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-26618-8_9.

Pełny tekst źródła

Streszczenie:

AbstractWith the increased use of simulations as investigative tools in various scientific fields, the question naturally arises as to how these simulations are epistemically justified. One natural approach is to insist that the numerical aspects of simulation justification be performed separately from the physical aspects, but Winsberg (2010) has argued that this is impossible for highly complex simulations. Based on a survey and close examination of a range of astrophysical MHD codes and their attendant literature, I argue that insisting on a strict separation of these aspects of simulation

Style APA, Harvard, Vancouver, ISO itp.

Wigner, M. Wheeler, and E. P. Wigner. "The Scientist: His Increased Responsibilities." In Historical and Biographical Reflections and Syntheses. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-07791-7_42.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Allzén, Simon. "Extragalactic Reality Revisited: Astrophysics and Entity Realism." In Synthese Library. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-26618-8_15.

Pełny tekst źródła

Streszczenie:

AbstractAstrophysics is a scientific field with a rich ontology of individual processes and general phenomena that occur in our universe. Despite its central role in our understanding of the physics of the universe, astrophysics has largely been ignored in the debate on scientific realism. As a notable exception, Hacking (Philos Sci 56(4):555–581, 1989) argues that the lack of experiments in astrophysics forces us to be anti-realist with respect to the entities which astrophysics claim inhabit the universe. In this paper, I investigate the viability of astrophysical realism about black holes,

Style APA, Harvard, Vancouver, ISO itp.

Gueguen, Marie. "A Crack in the Track of the Hubble Constant." In Synthese Library. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-26618-8_3.

Pełny tekst źródła

Streszczenie:

AbstractMeasuring the rate at which the universe expands at a given time–the ‘Hubble constant’– has been a topic of controversy since the first measure of its expansion by Edwin Hubble in the 1920s. As early as the 1970s, Sandage and de Vaucouleurs have been arguing about the adequate methodology for such a measurement. Should astronomers focus only on their best indicators, e.g., the Cepheids, and improve the precision of this measurement based on a unique object to the best possible? Or should they “spread the risks”, i.e., multiply the indicators and methodologies before averaging over thei

Style APA, Harvard, Vancouver, ISO itp.

Dukas, H., B. Hoffman, and E. P. Wigner. "Review of “Albert Einsein, The Human Side: New Glimpses from His Archives”." In Historical and Biographical Reflections and Syntheses. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-07791-7_89.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Boutry, Marc, Ferenc Nagy, and Nam-Hai Chua. "The Beta Subunit of a Plant Mitochondrial ATP Synthase has a Presequence Involved in Mitochondrial Targeting." In Plant Molecular Biology. Springer US, 1987. http://dx.doi.org/10.1007/978-1-4615-7598-6_12.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Aizen, Marcelo A., and Carolina L. Morales. "Impacts of non-native plants on plant-pollinator interactions." In Plant invasions: the role of biotic interactions. CABI, 2020. http://dx.doi.org/10.1079/9781789242171.0241.

Pełny tekst źródła

Streszczenie:

Abstract There has been growing interest in the consequences of invasive non-native plants for the plant-pollinator mutualism, most likely because of its relevance for the maintenance of terrestrial biodiversity and food production. However, the development of this research field has been thematically uneven and the overall evidence inconclusive. Many studies have focused on how non-native plants interact with native plants via pollinator sharing, which have allowed meta-analytical syntheses, whereas several others have looked at how frequently non-native plants integrate into native plant-pol

Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Synthèse HLS"

Chacón, José Luis. "El lugar del arte en arquitectura. Los “lieux porte-voix, porte-paroles, haut-parleurs” de Le Corbusier en su discurso del Convegno Volta, 1936." In LC2015 - Le Corbusier, 50 years later. Universitat Politècnica València, 2015. http://dx.doi.org/10.4995/lc2015.2015.810.

Pełny tekst źródła

Streszczenie:

Resumen: En 1936 se celebró en Roma el Convegno Volta dedicado a la relación entre arquitectura y las artes figurativas. Entre los participantes estaba Le Corbusier quien presentó una ponencia donde claramente explica los fundamentos del lugar del arte en arquitectura, aspecto clave de su posterior Synthèse des arts. Luego de un manifiesto sobre la Arquitectura Moderna, Le Corbusier afirma que en ocasiones excepcionales puede darse la “colaboración” entre arquitectura y arte con el fin de “aumentar el placer de los hombres”. Dirige su atención a la pintura, la escultura y el diseño; y plantea

Style APA, Harvard, Vancouver, ISO itp.

Strieth, S., BP Ernst, S. Becker, et al. "Cochleäre Expressionsmuster der endothelialen Stickstoffmonoxid-Synthase nach Lärmexposition von Meerschweinchen." In Abstract- und Posterband – 90. Jahresversammlung der Deutschen Gesellschaft für HNO-Heilkunde, Kopf- und Hals-Chirurgie e.V., Bonn – Digitalisierung in der HNO-Heilkunde. Georg Thieme Verlag KG, 2019. http://dx.doi.org/10.1055/s-0039-1686288.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Papakonstantinou, E., M. Christopoulou, M. Tamm, and D. Stolz. "Circulating levels of hyaluronic acid synthase-2 (HAS-2) are associated with COPD exacerbations of different etiology." In ERS International Congress 2022 abstracts. European Respiratory Society, 2022. http://dx.doi.org/10.1183/13993003.congress-2022.3276.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Klinnikova, A. A., G. A. Danilova та N. P. Aleksandrova. "The role of neuronal NO synthase in the respiratory effects of TNF-α". У VIII Vserossijskaja konferencija s mezhdunarodnym uchastiem «Mediko-fiziologicheskie problemy jekologii cheloveka». Publishing center of Ulyanovsk State University, 2021. http://dx.doi.org/10.34014/mpphe.2021-115-118.

Pełny tekst źródła

Streszczenie:

It was shown that an increase level of proinflammatory cytokines has a modulating effect on the reflex control of respiration. The aim of this study was to investigate the involvement of neuronal nitric oxide synthase (nNOS) in the mechanisms of the influence of an increased level of Tumor necrosis factor – α (TNF-α) on the hypoxic ventilatory response. To achieve this goal, experiments were carried out on urethane anesthetized rats with intravenous administration of TNF-α before and after pretreatment with 7-nitroindazole specific nNOS inhibitor. The hypoxic ventilation response was assessed

Style APA, Harvard, Vancouver, ISO itp.

Strieth, S., BP Ernst, S. Becker, et al. "Cochlear expression patterns of endothelial nitric oxide synthase in guinea pigs after loud noise." In Abstract- und Posterband – 90. Jahresversammlung der Deutschen Gesellschaft für HNO-Heilkunde, Kopf- und Hals-Chirurgie e.V., Bonn – Digitalisierung in der HNO-Heilkunde. Georg Thieme Verlag KG, 2019. http://dx.doi.org/10.1055/s-0039-1686517.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Ponta, Radu Tudor. "Entre les lignes ou de bouche à l'oreille. Le Corbusier en roumain." In LC2015 - Le Corbusier, 50 years later. Universitat Politècnica València, 2015. http://dx.doi.org/10.4995/lc2015.2015.770.

Pełny tekst źródła

Streszczenie:

Résumé: L'article construit l'image de l'auteur de livres Le Corbusier inversée dans le miroir de la culture architecturale roumaine telle que ces éclats permettent de le voir dans une littérature professionnelle qui semble l'avoir obstinément évité. Ainsi la version roumaine de l'auteur Le Corbusier sera le résultat de l'adition de trois images partielles: celle que forme la réflexion des idées corbuséennes dans les œuvres écrites des architectes modernes roumains de l'entre-deux-guerres; celle que propose l'anthologie de textes écrits par Le Corbusier, traduits et édités par Marcel Melicson

Style APA, Harvard, Vancouver, ISO itp.

Modis, Katalin, Manjit Maskey, Paul Johnson, Csaba Szabo, Mark R. Hellmich, and Celia Chao. "Abstract 2980: Cystathionine-beta-synthase (CBS)-derived hydrogen sulfide (H2S) supports proliferation, migration and bioenergetics in colon cancer-associated fibroblasts (CAFs)." In Proceedings: AACR Annual Meeting 2017; April 1-5, 2017; Washington, DC. American Association for Cancer Research, 2017. http://dx.doi.org/10.1158/1538-7445.am2017-2980.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Bordet, J. C., M. Guichardant, and M. Lagarde. "PEROXIDE STIMULATION OF PGI3 AND DIHOMO-PGI2 IN ENDOTHELIUM." In XIth International Congress on Thrombosis and Haemostasis. Schattauer GmbH, 1987. http://dx.doi.org/10.1055/s-0038-1643366.

Pełny tekst źródła

Streszczenie:

Human umbilical endothelial cell (EC) monolayers incubated with eicosapentaenoic acid (EPA) produce small amounts of prostaglandin E3 (PGI3). We have previously shown that this metabolite is markedly enhanced in EC supernatant by co-incubating EPA with arachidonic acid (AA) (BBRC 135, 403, 1986). Moreover we found that PGF3a and PGE3 were similarly enhanced, and we concluded that such a stimulation occured at the cyclooxygenase rather than at the prostacyclin synthase level. It is generally assumed that cyclooxygenase is a peroxide-dependent enzyme and the present study shows that the potentia

Style APA, Harvard, Vancouver, ISO itp.

Takamatsu, Yusuke. "Synthese als Modus der Prozessualität bei Schubert: Sein spezifisches Wiederholungsprinzip im langsamen Satz." In Jahrestagung der Gesellschaft für Musikforschung 2019. Paderborn und Detmold. Musikwissenschaftliches Seminar der Universität Paderborn und der Hochschule für Musik Detmold, 2020. http://dx.doi.org/10.25366/2020.73.

Pełny tekst źródła

Streszczenie:

In contrast to Beethoven’s music, Schubert’s music has been described through the concept of “a-finality” (Fischer 1983), employing the same elements repeatedly. In this sense, Schubert’s music seems incompatible with the kind of “processual” thinking which is typical for Beethoven’s music. This paper addresses such incompatibility through a comparison of the slow movements of Schubert’s piano sonata D 840 with those of Beethoven’s piano sonata No. 8 (op. 13) which is one of the possible precursors for D 840. The second movement of D 840 features an ABABA structure in which the themes of the f

Style APA, Harvard, Vancouver, ISO itp.

Lumley, P., E. W. Collington, P. Hallett, et al. "THE EFFECTS OF GR32191, A NEW THROMBOXANE RECEPTOR BLOCKING DRUG,ON PLATELETS AND VASCULAR SMOOTH MUSCLE IN VITRO." In XIth International Congress on Thrombosis and Haemostasis. Schattauer GmbH, 1987. http://dx.doi.org/10.1055/s-0038-1643754.

Pełny tekst źródła

Streszczenie:

The effect of a new thromboxane receptor blocking drug GR32191 ([1R-[1α(Z),2β,3β,5α]]-(+)-7-[5-[[(1,1"-biphenyl)-4-yl]methoxy] -3-hydroxy-2-(l-piperidinyl)cyclopentyl]-4-heptenoic acid,hydrochloride) has been examined upon platelets and vascular smooth muscle. In human platelet-rich plasma (PRP), aggregation to thromboxane(Tx) A2, PGH2, arachidonic acid, collagen andU-46619 was antagonised by GR32191 (IC50 range 2-36 nM).Primary aggregation (PRP treated with aspirin 10 pM) to ADP, 5-HT and adrenaline were unaffected by concentrations of GR32191 up to 10 pM. In human PRP, U-46619-induced aggreg

Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Synthèse HLS"

Delmer, Deborah P., and Prem S. Chourey. The Importance of the Enzyme Sucrose Synthase for Cell Wall Synthesis in Plants. United States Department of Agriculture, 1994. http://dx.doi.org/10.32747/1994.7568771.bard.

Pełny tekst źródła

Streszczenie:

The goal of this work was to understand the role of the enzyme sucrose synthase (SuSy) in synthesis of cellulose and callose in plants. The work resulting from the this grant leads to a number of conclusions. SuSy clearly plays diverse roles in carbon metabolism. It can associate with the plasma membrane of cells undergoing rapid cellulose deposition, such as cotton fibers, developing maize endosperm, gravistimulated pulvini, and transfer cells of the cotton seed. It is also concentrated at sites of high callose deposition (tapetal cells; cell plates). When SuSy levels are lowered by mutation

Style APA, Harvard, Vancouver, ISO itp.

Smith, Elliott, Jack Zinnen, Eric Janssen, Paul Marcum, Wendy Schelsky, and David Zaya. Planning for Encounters with Special Management Areas: Characterization, Management Approaches, and Syntheses. Illinois Center for Transportation, 2025. https://doi.org/10.36501/0197-9191/25-008.

Pełny tekst źródła

Streszczenie:

The Illinois Department of Transportation (IDOT) manages land with considerable conservation value. Some IDOT roadways contain, or are near, special management areas (SMAs): places that have legal protection, are habitat for species with legal protection, or contain valuable biodiversity. Although SMAs are important for IDOT’s environmental objectives, historically, IDOT has addressed the management of SMAs on an as-needed basis with no broad-scale management plan or characterizations. We investigated SMAs on or near IDOT property, aiming to compile information and to help set the stage for a

Style APA, Harvard, Vancouver, ISO itp.

Lewinsohn, Efraim, Eran Pichersky, and Shimon Gepstein. Biotechnology of Tomato Volatiles for Flavor Improvement. United States Department of Agriculture, 2001. http://dx.doi.org/10.32747/2001.7575277.bard.

Pełny tekst źródła

Streszczenie:

The main objectives of the research project were: 1. The manipulation, by genetic engineering techniques, of the terpenoid pathway in tomato fruit. Specifically, to test the hypothesis whether overexpression of linalool synthase in tomato fruits will result in the diversion of intermediates of the carotene biosynthetic pathway to linalool, demonstrating that linalool synthase is a key regulatory enzyme, and possibly improving tomato flavor. 2. The elucidation of the biochemical pathway leading to eugenol and methyl eugenol, and the manipulation of this pathway to determine key enzymes and to i

Style APA, Harvard, Vancouver, ISO itp.

Zhang, Yanji, Wei Huang, Jiajie Wang, Hongjie Xia, and Zhongyu Zhou. Acupuncture for weight loss: Protocol for a scoping review of systematic reviews and meta-analyses. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, 2022. http://dx.doi.org/10.37766/inplasy2022.3.0098.

Pełny tekst źródła

Streszczenie:

Review question / Objective: The aim of this scoping review is to summarize the evidence from systematic reviews of acupuncture and intervention types for weight loss and to evaluate the breadth and methodological quality of them. Condition being studied: Acupuncture is one of the traditional therapies of Chinese medicine. As its effectiveness and safety, it has been widely used in clinical practice in China. Acupuncture is also used and frequently advocated for the treatment of obesity. A few clinical research, systematic review, or meta-analyses has proved its effectiveness and safety, but t

Style APA, Harvard, Vancouver, ISO itp.

Alwagdani, Abdullah. Review Of mPGES-1 Inhibitors Based On The Benzoxazole And Its Isostere Scaffold For The Treatment Of Inflammatory Diseases. University of Tennessee Health Science Center, 2024. http://dx.doi.org/10.21007/com.lsp.2024.0021.

Pełny tekst źródła

Streszczenie:

The vital role of the prostanoid pathway in inflammation, pain, cancer, Alzheimer’s and many other diseases has attracted the drug discovery community to discover targets for therapeutic development. Although existing non-steroidal anti-inflammatory drugs (NSAIDs) inhibiting cyclooxygenases (COX) are widely used, the side effects of these NSAIDs limit the ling time medication. Microsomal prostaglandin E synthase-1 (mPGES-1) is an attractive target that is overexpressed during inflammations, and it could be a safe alternative to NSAIDs for treating inflammatory diseases.Since the discovery of m

Style APA, Harvard, Vancouver, ISO itp.

Dudley, J. P., and S. V. Samsonov. Système de traitement automatisé du gouvernement canadien pour la détection des variations et l'analyse des déformations du sol à partir des données de radar à synthèse d'ouverture de RADARSAT-2 et de la mission de la Constellation RADARSAT : description et guide de l'utilisateur. Natural Resources Canada/CMSS/Information Management, 2021. http://dx.doi.org/10.4095/329134.

Pełny tekst źródła

Streszczenie:

Remote sensing using Synthetic Aperture Radar (SAR) offers powerful methods for monitoring ground deformation from both natural and anthropogenic sources. Advanced analysis techniques such as Differential Interferometric Synthetic Aperture Radar (DInSAR), change detection, and Speckle Offset Tracking (SPO) provide sensitive measures of ground movement. With both the RADARSAT-2 and RADARSAT Constellation Mission (RCM) SAR satellites, Canada has access to a significant catalogue of SAR data. To make use of this data, the Canada Centre for Mapping and Earth Observation (CCMEO) has developed an au

Style APA, Harvard, Vancouver, ISO itp.

Droby, Samir, Michael Wisniewski, Ron Porat, and Dumitru Macarisin. Role of Reactive Oxygen Species (ROS) in Tritrophic Interactions in Postharvest Biocontrol Systems. United States Department of Agriculture, 2012. http://dx.doi.org/10.32747/2012.7594390.bard.

Pełny tekst źródła

Streszczenie:

To elucidate the role of ROS in the tri-trophic interactions in postharvest biocontrol systems a detailed molecular and biochemical investigation was undertaken. The application of the yeast biocontrol agent Metschnikowia fructicola, microarray analysis was performed on grapefruit surface wounds using an Affymetrix Citrus GeneChip. the data indicated that 1007 putative unigenes showed significant expression changes following wounding and yeast application relative to wounded controls. The expression of the genes encoding Respiratory burst oxidase (Rbo), mitogen-activated protein kinase (MAPK)

Style APA, Harvard, Vancouver, ISO itp.

Pehrsson, S. J., N. Wodicka, J A Percival, and N. Rogers. Introduction et sommaire. Natural Resources Canada/CMSS/Information Management, 2024. http://dx.doi.org/10.4095/332494.

Pełny tekst źródła

Streszczenie:

The Geo-mapping for Energy and Minerals (GEM) program was funded between 2008 and 2020 with the aim of advancing geological knowledge of the North to reduce risk for mineral exploration and inform land-use decisions and future management of the North. Twenty-one regional activities were undertaken across Canada's northern shield, spanning northern Prairie Provinces, northern Quebec, Labrador, along with much of Nunavut and Northwest Territories. A further five activities were thematic in nature. Bulletin 612 presents results from 12 of these endeavours, including integrated regional bedrock ge

Style APA, Harvard, Vancouver, ISO itp.

Pehrsson, S. J., N. Wodicka, J A Percival, and N. Rogers. Introduction and Summary. Natural Resources Canada/CMSS/Information Management, 2024. http://dx.doi.org/10.4095/332493.

Pełny tekst źródła

Streszczenie:

Style APA, Harvard, Vancouver, ISO itp.

Sadka, Avi, Mikeal L. Roose, and Yair Erner. Molecular Genetic Analysis of Citric Acid Accumulation in Citrus Fruit. United States Department of Agriculture, 2001. http://dx.doi.org/10.32747/2001.7573071.bard.

Pełny tekst źródła

Streszczenie:

The acid content of the juice sac cells is a major determinant of maturity and fruit quality in citrus. Many citrus varieties accumulate acid in concentrations that exceed market desires, reducing grower income and consumer satisfaction. Pulp acidity is thought to be dependent on two mechanisms: the accumulation of citric acid in the vacuoles of the juice sac cells, and acidification of the vacuole. The major aim of the project was to direct effort toward understanding the mechanism of citric acid accumulation in the fruit. The following objectives were suggested: Measure the activity of enzym

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!