Relevant bibliographies by topics / Dedukti

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Dedukti'

Author: Grafiati
Published: 25 May 2024
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Dedukti.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Dedukti"

1

Assaf, Ali, and Guillaume Burel. "Translating HOL to Dedukti." Electronic Proceedings in Theoretical Computer Science 186 (July 30, 2015): 74–88. http://dx.doi.org/10.4204/eptcs.186.8.

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

Cauderlier, Raphaël, and Pierre Halmagrand. "Checking Zenon Modulo Proofs in Dedukti." Electronic Proceedings in Theoretical Computer Science 186 (July 30, 2015): 57–73. http://dx.doi.org/10.4204/eptcs.186.7.

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

Assaf, Ali, and Raphaël Cauderlier. "Mixing HOL and Coq in Dedukti (Extended Abstract)." Electronic Proceedings in Theoretical Computer Science 186 (July 30, 2015): 89–96. http://dx.doi.org/10.4204/eptcs.186.9.

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

Traversié, Thomas. "Kuroda's Translation for the λΠ-Calculus Modulo Theory and Dedukti". Electronic Proceedings in Theoretical Computer Science 404 (8 липня 2024): 35–48. http://dx.doi.org/10.4204/eptcs.404.3.

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

El Haddad, Mohamed Yacine, Guillaume Burel, and Frédéric Blanqui. "EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)." Electronic Proceedings in Theoretical Computer Science 301 (August 23, 2019): 27–35. http://dx.doi.org/10.4204/eptcs.301.5.

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

Barras, Bruno, and Valentin Maestracci. "Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory." Electronic Proceedings in Theoretical Computer Science 332 (January 12, 2021): 54–67. http://dx.doi.org/10.4204/eptcs.332.4.

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

Barras, Bruno, and Valentin Maestracci. "Implementation of Two Layers Type Theory in Dedukti and Application to Cubical Type Theory." Electronic Proceedings in Theoretical Computer Science 332 (January 12, 2021): 54–67. http://dx.doi.org/10.4204/eptcs.332.4.

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

Febriyani, Komang Ayu Dita. "Perspektif Sah Global tentang Serangan Militer AS Lakukan Di Wilayah Irak dan Suriah." Jurnal Ilmu Hukum Sui Generis 2, no. 1 (2021): 31–45. http://dx.doi.org/10.23887/jih.v2i1.1010.

Full text
Abstract:
Artikel ini bertujuan untuk mengetahui pandangan hukum internasional terhadap agresi militer Amerika Serikat yang dilakukan di wilayah Irak dan Suriah. Pasal kami merupakan kajian yang dilihat dari sudut pandang hukum dan metodologi yang telah ditetapkan. Penelitian ini menggunakan pertimbangan hukum primer dan bahan hukum sekunder studi kepustakaan dan studi dokumen yang kemudian dianalisis dengan menggunakan teknik penalaran deduktif berdasarkan metode deduksi. Penelitian Hanl menunjukkan bahwa serangan militer Amerika Serikat terhadap negara-negara Irak dan Suriah tidak pernah menyalahgunak
APA, Harvard, Vancouver, ISO, and other styles
9

Bry, François, and Dietmar Seipel. "Deduktive Datenbanken." Informatik-Spektrum 19, no. 4 (1996): 214–15. http://dx.doi.org/10.1007/s002870050033.

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

Fadillah, Ahmad. "Analisis Kemampuan Penalaran Deduktif Matematis Siswa." JTAM | Jurnal Teori dan Aplikasi Matematika 3, no. 1 (2019): 15. http://dx.doi.org/10.31764/jtam.v3i1.752.

Full text
Abstract:
Abstrak: Tujuan penelitian ini adalah untuk mengetahui kemampuan penalaran deduktif matematis siswa dalam menyelesaikan soal matematika bentuk cerita pokok bahasan aplikasi turunan. Penelitian ini dilakukan di SMA Muhammadiyah 02 Cipondoh Tangerang. Pengumpulan data dilakukan dengan metode observasi, wawancara, tes dan studi dokumentasi. Teknik analisis data menggunakan analisis data kualitatif yang meliputi reduksi data, penyajian data dan menarik kesimpulan/verifikasi. Berdasarkan hasil penelitian diperoleh siswa dengan kemampuan penalaran deduktif tinggi mencapai 12,82%, siswa dengan kemamp
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Dedukti"

1

Thiré, François. "Interoperability between proof systems using the logical framework Dedukti." Electronic Thesis or Diss., université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG053.

Full text
Abstract:
Il existe aujourd'hui une large famille de systèmes de preuve baséesur différentes logiques: Le calcul des constructions inductives, lalogique d'ordre supérieur, la théorie des ensembles, etc... Undésavantage majeur de cette diversité est, que les théorèmes sontprouvés de nombreuses fois. Une possibilité pour résoudre ce problèmeest de rendre les systèmes de preuve interoperables. Dans cette thèse,nous avons attaqué le problème d'interopérabilité entre systèmes depreuve aussi bien sur le plan théorique que le plan pratique enutilisant le cadre logique Dedukti.Notre voyage commence avec l'explo
APA, Harvard, Vancouver, ISO, and other styles
2

Hondet, Gabriel. "Expressing predicate subtyping in computational logical frameworks." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG070.

Full text
Abstract:
Le typage permet d'apporter de la sûreté dans la programmation, et il est utilisé au coeur de la majorité des systèmes de preuve. Plus un système de types est expressif, plus il est aisé d'y encoder des invariantsqui seront vérifiés mécaniquement lors du typage. Les types dépendants sont une extension des types simples dans laquelle les types peuvent dépendre de valeurs. Ils permettent par exemple de définir les vecteurs paramétrés par leur longueur. Le sous-typage par prédicat est une autre extension des types simples, dans laquelle les types peuvent être définis par des prédicats. Un sous-ty
APA, Harvard, Vancouver, ISO, and other styles
3

Schiefele, Ulrich, and Klaus Peter Wild. "Induktiv versus deduktiv entwickelte Fragebogenverfahren zur Erfassung von Merkmalen des Lernverhaltens." Universität Potsdam, 1993. http://opus.kobv.de/ubp/volltexte/2009/3359/.

Full text
Abstract:
Die gegenwärtig diskutierten Verfahren zur Erfassung von Lernstrategien, Lernstilen und Lernorientierungen können in zwei Gruppen unterteilt werden. Die erste Gruppe ist induktiv konstruiert worden und hat auf der Grundlage von Interviewstudien relativ globale Lernermerkmale postuliert. Typisch für diese Verfahren ist auch die Integration motivationaler und kognitiver Komponenten des Lernverhaltens. Die zweite Gruppe zeichnet sich durch ein deduktives Vorgehen aus. Ausgehend von kognitionspsychologischen Modellen des Lernprozesses sowie verschiedenen Motivationstheorien wurden differenzierte T
APA, Harvard, Vancouver, ISO, and other styles
4

Lindner, Philip. "Det där är ingen icke-zebra! : epistemisk-deduktiv slutenhet och skepticism." Thesis, Umeå universitet, Institutionen för idé- och samhällsstudier, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-52691.

Full text
Abstract:
Departing from Fred Dretske’s groundbreaking article, this essay explore the epistemic closure principle: the principle that states that knowledge is closed under known implication. It also explores the relationship to skepticism, various attempts to challenge and defend the principle, as well as developing a new perspective where the skeptical premise is seen as an a priori justified tautology that can be overriden by a posteriori experience. I argue that Dretske’s illuminating example makes it clear that there is an unescapable choice between either rejecting a skeptical premise  however in
APA, Harvard, Vancouver, ISO, and other styles
5

Jönsson, Joakim, and Pontus Strandell. "Motivation för förändring : En deduktiv forskning baserad på den transteoretiska modellen." Thesis, Karlstads universitet, Fakulteten för samhälls- och livsvetenskaper, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-32635.

Full text
Abstract:
Syftet med undersökningen var att undersöka och förstå hur en förändringsprocess ser ut med koppling till motivation. Individerna som deltog hade alla förändrat ett livshotande eller potentiellt livshotande beteende. Man har utgått från den transteoretiska modellen och undersökt huruvida respondenterna följt modellens stadier av beredskap i sin process mot ett mer hälsosamt beteendemönster. Man använde sig av en öppen intervju för att undersöka djupet i respondenternas utsagor. Resultatet visade bland annat på att den inre motivationen är essentiell vid vidmakthållandet av det nya beteendet oc
APA, Harvard, Vancouver, ISO, and other styles
6

Mickelsson, Johanna, and Anna-Liv Sollerman. "Betydelsen av KASAM hos personer som genom gått enhjärtinfarkt. : ‑ En deduktiv litteraturöversikt." Thesis, Mittuniversitetet, Avdelningen för omvårdnad, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-33874.

Full text
Abstract:
Bakgrund: Personer som drabbats av en hjärtinfarkt genomgår en livsomvälvande händelse,den nya livssituationen upplevs ibland som svår. KASAM kopplas starkt till livskvalitet därstark KASAM relateras till hög livskvalité.Syfte: Syftet med denna litteraturstudie var att belysa KASAM hos personer som genomgåtten hjärtinfarkt.Metod: En litteraturöversikt gjordes där sökningar genomfördes i databaserna CINAHL,PubMed samt Psycinfo för att hitta studier som svarade mot syftet. Kvalitativa samtkvantitativa artiklar analyserades.Resultat: Resultatet redovisades utifrån KASAM i sin helhet samt dess tre
APA, Harvard, Vancouver, ISO, and other styles
7

Сорочан, Д. В. "Переваги використання Deduktor при аналізі лояльності покупців". Thesis, ТОВ «ДД «Папірус», 2013. http://essuir.sumdu.edu.ua/handle/123456789/37548.

Full text
Abstract:
Використання аналітичної платформи Deduktor дозволяє використовувати заздалегідь розроблений алгоритм для будь яких наборів даних без витрат часу на програмування платформи. Фактично це надає можливість порівнювати зміни лояльності споживачів без витрат часу на створення та налаштування алгоритму та інтерфейсу, що було не можливо у MS Excel без спеціалізованих знань.
APA, Harvard, Vancouver, ISO, and other styles
8

Kaleja, Bernadette. "Den deduktiva grammatikundervisningens inverkan på tyskelevers interlanguage." Thesis, Malmö högskola, Lärarutbildningen (LUT), 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-35021.

Full text
Abstract:
Detta examensarbete baserar sig på fyra frågeställningar och en hypotes kring hur den deduktiva grammatikundervisningen påverkar tyskelevers interlanguage. Undersökningen försöker visa om den deduktiva metoden t.ex. gynnar en viss elevgrupp beroende på etnicitet och genus. Undersökningen består av ett Grammaticality Judgement Test och en intervjuundersökning bland elever i grundskolans senare år skolår 8 och 9 som läser tyska som språkval. De grammatiska strukturerna som undersöks har eleverna redan blivit testade på vt 2008 i samband med den ordinarie tyskundervisningen. Genom att utgå ifrån
APA, Harvard, Vancouver, ISO, and other styles
9

Algulin, David, and Jesper Sandberg. "Induktiva och deduktiva arbetssätt inom matematik : En systematisk litteraturstudie om hur induktiva och deduktiva arbetssätt kan påverka elevers matematiska förståelse." Thesis, Linnéuniversitetet, Institutionen för matematik (MA), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-101069.

Full text
Abstract:
Denna systematiska litteraturstudie syftar till att undersöka hur induktiva eller deduktivaarbetssätt i undervisning påverkar elevers förståelse för matematiska innehåll samt vilka föroch nackdelar det finns med respektive. Studiens frågeställningar grundar sig i egnaerfarenheter och utifrån observation på skolor, där vi mött elever med bristande matematiskförståelse. Vi har då uppmärksammat att lärare återkommande fokuserar undervisningen påutantillkunskap, och i hög grad bearbetar matematiska innehåll med deduktiva arbetssätt.Observationerna utgjorde grunden till en hypotes om att det finns
APA, Harvard, Vancouver, ISO, and other styles
10

Koc, Bobil. "Induktiv och deduktiv konkretisering i praktiken : En studie i årskurs 1-3 om hur induktiv och deduktiv konkretisering som didaktisk metod i matematikundervisning kan främja ett utvecklande av kunskap och lärande." Thesis, Södertörns högskola, Lärarutbildningen, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-34276.

Full text
Abstract:
The aim of this study is to examine how inductive and deductive concreteization as a didactic method in mathematics teaching can promote the development of knowledge and learning among students. It is also of interest to hear a number of interviewed teachers perceptions about inductive and deductive concretization as a method in mathematics teaching. The examination is for grades 1-3. Theories dealt with in the study are learning promoting theories such as concretization, proximal development zone, conceptualization and creative reasoning.The study's questions will therefore examine:· How can
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Dedukti"

1

Cremers, Armin B., Ulrike Griefahn, and Ralf Hinze. Deduktive Datenbanken. Vieweg+Teubner Verlag, 1994. http://dx.doi.org/10.1007/978-3-663-09572-9.

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

Büning, Hans Kleine, and Theodor Lettmann. Aussagenlogik: Deduktion und Algorithmen. Vieweg+Teubner Verlag, 1994. http://dx.doi.org/10.1007/978-3-322-84809-3.

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

Büning, H. Kleine. Aussagenlogik: Deduktion und Algorithmen. B.G. Teubner, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Arifin, Syamsul. Pengembangan paragraf deduktif dalam media massa cetak berbahasa Jawa. Kementerian Pendidikan Nasional, Pusat Bahasa, Balai Bahasa Yogyakarta, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

United States. Internal Revenue Service. How to deduct backup withholding. Dept. of the Treasury, Internal Revenue Service, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Schönecker, Dieter. Kant--Grundlegung III: Die Deduktion des kategorischen Imperativs. Alber, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Pietrini, Stefania. Deducto usu fructu: Una nuova ipotesi sull'origine dell'usufrutto. A. Giuffrè, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Forum für Philosophie Bad Homburg., ed. Kants transzendentale Deduktion und die Möglichkeit von Transzendentalphilosophie. Suhrkamp, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

inc, Prentice-Hall, ed. How to deduct the cost of education. Prentice-Hall, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Jindřich, Karásek, and Chotaš Jiří 1964-, eds. Dedukce, kategorie, sebevědomí: O hlavním důkazu Kritiky čistého rozumu. Oikoumene, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Dedukti"

1

Cauderlier, Raphaël. "Tactics and Certificates in Meta Dedukti." In Interactive Theorem Proving. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94821-8_9.

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

Cauderlier, Raphaël, and Catherine Dubois. "FoCaLiZe and Dedukti to the Rescue for Proof Interoperability." In Interactive Theorem Proving. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66107-0_9.

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

Cauderlier, Raphaël, and Catherine Dubois. "ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti." In Theoretical Aspects of Computing – ICTAC 2016. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46750-4_26.

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

Altenbach, Holm. "Deduktiv abgeleitete Materialgleichungen." In Kontinuumsmechanik. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47070-1_7.

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

Altenbach, Holm. "Deduktiv abgeleitete Materialgleichungen." In Kontinuumsmechanik. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-24119-2_7.

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

Altenbach, Holm. "Deduktiv abgeleitete Konstitutivgleichungen." In Kontinuumsmechanik. Springer Berlin Heidelberg, 2018. http://dx.doi.org/10.1007/978-3-662-57504-8_7.

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

Cremers, Armin B., Ulrike Griefahn, and Ralf Hinze. "Einleitung." In Deduktive Datenbanken. Vieweg+Teubner Verlag, 1994. http://dx.doi.org/10.1007/978-3-663-09572-9_1.

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

Cremers, Armin B., Ulrike Griefahn, and Ralf Hinze. "Prädikatenlogik." In Deduktive Datenbanken. Vieweg+Teubner Verlag, 1994. http://dx.doi.org/10.1007/978-3-663-09572-9_2.

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

Cremers, Armin B., Ulrike Griefahn, and Ralf Hinze. "Deduktive Datenbanken." In Deduktive Datenbanken. Vieweg+Teubner Verlag, 1994. http://dx.doi.org/10.1007/978-3-663-09572-9_3.

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

Cremers, Armin B., Ulrike Griefahn, and Ralf Hinze. "Alternative Auswertungsmethoden." In Deduktive Datenbanken. Vieweg+Teubner Verlag, 1994. http://dx.doi.org/10.1007/978-3-663-09572-9_4.

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

Conference papers on the topic "Dedukti"

1

Feng, Dejin, and General Manager. "Salt Contamination Testing Method and Accuracy Improvement." In Coatings+ 2020. SSPC, 2020. https://doi.org/10.5006/s2020-00016.

Full text
Abstract:
The Bresle Patch method is common used in Marine and Industry coating fields, Most of users only verify the purr water conductivity and deduct it from final extract salt solution. This method has been adopted for many years. While there are several elements is missing in the test process and in the format, it leads to un-accurate testing results and it is unfair to applicators.
APA, Harvard, Vancouver, ISO, and other styles
2

Gharaibeh, Abdullah, Cornel Constantinescu, Maohua Lu, et al. "DedupT: Deduplication for tape systems." In 2014 30th Symposium on Mass Storage Systems and Technologies (MSST). IEEE, 2014. http://dx.doi.org/10.1109/msst.2014.6855555.

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

Orwant, Jon, and Walter R. Bender. "Color Deducto: playing games to learn about color." In Electronic Imaging, edited by Bernice E. Rogowitz and Thrasyvoulos N. Pappas. SPIE, 2000. http://dx.doi.org/10.1117/12.387210.

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

Fornaia, Andrea, and Emiliano Tramontana. "DeDuCT: A Data Dependence Based Concern Tagger for Modularity Analysis." In 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC). IEEE, 2017. http://dx.doi.org/10.1109/compsac.2017.98.

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

Mardianis. "Integrasi Kemampuan Negara-Negara dalam Penerbangan dan Antariksa." In Seminar Nasional Kebijakan Penerbangan dan Antariksa I. In Media, 2017. http://dx.doi.org/10.30536/p.sinaskpa.i.5.

Full text
Abstract:
Globalisasi adalah sebuah konsep yang licin tetapi mencakup perkembangan obyektif dalam bidang kesadaran ekonomi, budaya, politik, dan teknologi. Sedangkan integrasi memiliki empat tantangan dimana salah satu tantangan adalah mengintegrasikan upaya dan sumber daya di seluruh sektor organisasi (bisnis, pemerintah, masyarakat sipil) dan rasa memiliki dalam pembuatan keputusan (mental, fisik, emosional). Teknologi penerbangan dan antariksa sudah terpengaruh oleh globalisasi yang menuntut reformasi dalam semua aspek penguasaan dan pengembangannya, salah satunya adalah integrasi kemampuan nasional.
APA, Harvard, Vancouver, ISO, and other styles
6

Dhirgawati, Mutia, Lusiyana Alvionita Simbolon, Dyan Cynthia Anggraini, and Naniek Widayati Priyomarsono. "Usulan Kriteria Konservasi pada Pura Pajinengan Gunung Tap Sai Kabupaten Karangasem – Bali sebagai Warisan Budaya." In Temu Ilmiah IPLBI 2021. Ikatan Peneliti Lingkungan Binaan Indonesia, 2021. http://dx.doi.org/10.32315/ti.9.k115.

Full text
Abstract:
Warisan budaya sebaiknya dipelihara agar dapat dinikmati oleh generasi berikutnya tanpa mengurangi segala nilai dan maknanya. Usaha memelihara wujud kebudayaan merupakan salah satu makna dari konservasi. Untuk menentukan suatu obyek layak untuk dikonservasi atau tidak, maka obyek tersebut akan dinilai berdasarkan kriteria konservasi. Salah satu Pura di Bali yang belum ditetapkan sebagai cagar budaya adalah Pura Pajinengan Gunung Tap Sai yang terletak di Kabupaten Karangasem‐Bali atau disebut Pura Tap Sai. Pura ini bersifat tangible karena merupakan sebuah karya arsitektur yang berfungsi sebaga
APA, Harvard, Vancouver, ISO, and other styles
7

Wang, Hui, and Pu Zhang. "Online Intelligent Monitoring System for Operation States of Dedust Facilities in a Steel Plant." In 2019 International Conference on Artificial Intelligence and Advanced Manufacturing (AIAM). IEEE, 2019. http://dx.doi.org/10.1109/aiam48774.2019.00159.

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

Li, L., F. Zhang, Z. Wang, H. Zhao, C. Zhu, and H. Xu. "Practice of Cross-Current Activated Coke DeSOx DeNOx Dedust System for Sintering Flue Gas." In AISTech 2025. Association for Iron & Steel Technology, 2025. https://doi.org/10.33313/389/013.

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

Gu, Li-ping, Jian-feng Gu, and Xiao Yi. "Design of fuzzy controller for flue gas temperature of dedust with self-set correction factor." In 2011 23rd Chinese Control and Decision Conference (CCDC). IEEE, 2011. http://dx.doi.org/10.1109/ccdc.2011.5968327.

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

Li, L., F. Zhang, H. Zhao, X. Cheng, X. Zhu, and S. Lin. "Technical Characteristics of Cross-Current Activated Coke DeSOx DeNOx Dedust System for Sintering Flue Gas." In AISTech 2025. Association for Iron & Steel Technology, 2025. https://doi.org/10.33313/389/012.

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

Reports on the topic "Dedukti"

1

Eckhardt, Sabine, Castulus Kolo, and Dirk Kleine. KI-Nutzung in deutschen Aufsichtsräten. Macromedia University, 2025. https://doi.org/10.56843/se001ck003.

Full text
Abstract:
Problemstellung: Künstliche Intelligenz (KI) wird zunehmend als disruptive Kraft wahrgenommen, die fundamentale Veränderungen in der Wirtschaft inklusive der Unternehmensführung vorantreibt. In dieser Studie bewerten 90% der befragten Aufsichtsratsmitglieder KI als Schlüsseltechnologie für die wirtschaftliche Transformation, mit einem besonderen Fokus auf Effizienzsteigerungen und der Erschließung neuer Geschäftsmodelle. Diese Entwicklung stellt auch Aufsichtsratsmitglieder vor neue Herausforderungen. Damit sie Unternehmen zukünftig nicht nur verlässlich kontrollieren, sondern auch kompetent b
APA, Harvard, Vancouver, ISO, and other styles
2

Strassnig, Michael, Katja Mayer, Michael Stampfer, and Simon Zingerle. Akteure, Instrumente und Themen für eine Digital Humanism Initiative in Wien. WWTF - Wiener Wissenschafts- und Technologiefonds, 2019. https://doi.org/10.22163/fteval.2019.667.

Full text
Abstract:
Wien hat sich vorgenommen, die Digitalhauptstadt Europas zu werden. Wir sind nicht die einzigen, die das wollen und nicht die einzigen, die etwas vorzuweisen haben. Auf die Ansage, ein weiteres peripheres Silicon Valley zu werden, wartet weltweit niemand. Aus seinen intellektuellen und politischen Traditionen kann Wien glaubhaft mit dem Anspruch punkten, für den Digitalen Humanismus und seine Anliegen zu stehen. Mit dem „Wiener Kreis“ und vielen anderen Denkschulen (von Psychoanalyse bis zur Sprachwissenschaft und empirischen Sozialforschung) hat Wien der Welt schon einmal eine Denkrevolution
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Dedukti' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography