Zeitschriftenartikel zum Thema „Logical encodings“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Logical encodings" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Kovács, Tibor, Gábor Simon und Gergely Mezei. „Benchmarking Graph Database Backends—What Works Well with Wikidata?“ Acta Cybernetica 24, Nr. 1 (21.05.2019): 43–60. http://dx.doi.org/10.14232/actacyb.24.1.2019.5.
Der volle Inhalt der QuelleYoder, Theodore J., und Isaac H. Kim. „The surface code with a twist“. Quantum 1 (25.04.2017): 2. http://dx.doi.org/10.22331/q-2017-04-25-2.
Der volle Inhalt der QuelleSteiner, Erich. „Ideational grammatical metaphor“. Languages in Contrast 4, Nr. 1 (14.04.2004): 137–64. http://dx.doi.org/10.1075/lic.4.1.07ste.
Der volle Inhalt der QuellePal, Amit Kumar, Philipp Schindler, Alexander Erhard, Ángel Rivas, Miguel-Angel Martin-Delgado, Rainer Blatt, Thomas Monz und Markus Müller. „Relaxation times do not capture logical qubit dynamics“. Quantum 6 (24.01.2022): 632. http://dx.doi.org/10.22331/q-2022-01-24-632.
Der volle Inhalt der QuelleScala, Enrico, Miquel Ramírez, Patrik Haslum und Sylvie Thiebaux. „Numeric Planning with Disjunctive Global Constraints via SMT“. Proceedings of the International Conference on Automated Planning and Scheduling 26 (30.03.2016): 276–84. http://dx.doi.org/10.1609/icaps.v26i1.13766.
Der volle Inhalt der QuelleCAVE, ANDREW, und BRIGITTE PIENTKA. „Mechanizing proofs with logical relations – Kripke-style“. Mathematical Structures in Computer Science 28, Nr. 9 (02.08.2018): 1606–38. http://dx.doi.org/10.1017/s0960129518000154.
Der volle Inhalt der QuelleDennis, Louise A., Martin Mose Bentzen, Felix Lindner und Michael Fisher. „Verifiable Machine Ethics in Changing Contexts“. Proceedings of the AAAI Conference on Artificial Intelligence 35, Nr. 13 (18.05.2021): 11470–78. http://dx.doi.org/10.1609/aaai.v35i13.17366.
Der volle Inhalt der QuelleRABE, FLORIAN. „A logical framework combining model and proof theory“. Mathematical Structures in Computer Science 23, Nr. 5 (01.03.2013): 945–1001. http://dx.doi.org/10.1017/s0960129512000424.
Der volle Inhalt der QuelleLocher, David F., Lorenzo Cardarelli und Markus Müller. „Quantum Error Correction with Quantum Autoencoders“. Quantum 7 (09.03.2023): 942. http://dx.doi.org/10.22331/q-2023-03-09-942.
Der volle Inhalt der QuelleHardie, Andrew. „From legacy encodings to Unicode: the graphical and logical principles in the scripts of South Asia“. Language Resources and Evaluation 41, Nr. 1 (04.04.2007): 1–25. http://dx.doi.org/10.1007/s10579-006-9003-7.
Der volle Inhalt der QuelleBruni, Roberto, Furio Honsell, Marina Lenisa und Marino Miculan. „Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic1 1Research supported by the MURST Project TOSCA.“ Electronic Notes in Theoretical Computer Science 62 (Juni 2002): 136–56. http://dx.doi.org/10.1016/s1571-0661(04)00324-x.
Der volle Inhalt der QuelleZhan, Yuan, Paul Hilaire, Edwin Barnes, Sophia E. Economou und Shuo Sun. „Performance analysis of quantum repeaters enabled by deterministically generated photonic graph states“. Quantum 7 (16.02.2023): 924. http://dx.doi.org/10.22331/q-2023-02-16-924.
Der volle Inhalt der QuelleToninho, Bernardo, und Nobuko Yoshida. „On Polymorphic Sessions and Functions“. ACM Transactions on Programming Languages and Systems 43, Nr. 2 (Juli 2021): 1–55. http://dx.doi.org/10.1145/3457884.
Der volle Inhalt der QuelleStrickland, Brent, Carlo Geraci, Emmanuel Chemla, Philippe Schlenker, Meltem Kelepir und Roland Pfau. „Event representations constrain the structure of language: Sign language as a window into universally accessible linguistic biases“. Proceedings of the National Academy of Sciences 112, Nr. 19 (27.04.2015): 5968–73. http://dx.doi.org/10.1073/pnas.1423080112.
Der volle Inhalt der QuelleDemeter, David, und Doug Downey. „Just Add Functions: A Neural-Symbolic Language Model“. Proceedings of the AAAI Conference on Artificial Intelligence 34, Nr. 05 (03.04.2020): 7634–42. http://dx.doi.org/10.1609/aaai.v34i05.6264.
Der volle Inhalt der QuelleMena López, Arturo, und Lian-Ao Wu. „Protectability of IBMQ Qubits by Dynamical Decoupling Technique“. Symmetry 15, Nr. 1 (26.12.2022): 62. http://dx.doi.org/10.3390/sym15010062.
Der volle Inhalt der QuelleRaveendran, Nithin, Narayanan Rengaswamy, Filip Rozpędek, Ankur Raina, Liang Jiang und Bane Vasić. „Finite Rate QLDPC-GKP Coding Scheme that Surpasses the CSS Hamming Bound“. Quantum 6 (20.07.2022): 767. http://dx.doi.org/10.22331/q-2022-07-20-767.
Der volle Inhalt der QuelleDubois, Didier, Henri Prade und Agnès Rico. „The logical encoding of Sugeno integrals“. Fuzzy Sets and Systems 241 (April 2014): 61–75. http://dx.doi.org/10.1016/j.fss.2013.12.014.
Der volle Inhalt der QuellePorncharoenwase, Sorawee, Luke Nelson, Xi Wang und Emina Torlak. „A formal foundation for symbolic evaluation with merging“. Proceedings of the ACM on Programming Languages 6, POPL (16.01.2022): 1–28. http://dx.doi.org/10.1145/3498709.
Der volle Inhalt der QuelleLiao, Xiaojuan, und Miyuki Koshimura. „A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets“. Journal of Logic and Computation 29, Nr. 6 (30.07.2019): 913–31. http://dx.doi.org/10.1093/logcom/exz017.
Der volle Inhalt der QuelleMcLauchlan, Campbell, und Benjamin Béri. „A new twist on the Majorana surface code: Bosonic and fermionic defects for fault-tolerant quantum computation“. Quantum 8 (10.07.2024): 1400. http://dx.doi.org/10.22331/q-2024-07-10-1400.
Der volle Inhalt der QuelleHARPER, ROBERT, und DANIEL R. LICATA. „Mechanizing metatheory in a logical framework“. Journal of Functional Programming 17, Nr. 4-5 (Juli 2007): 613–73. http://dx.doi.org/10.1017/s0956796807006430.
Der volle Inhalt der QuelleCayrol, Claudette, und Marie-Christine Lagasquie-Schiex. „Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports“. International Journal on Artificial Intelligence Tools 29, Nr. 03n04 (Juni 2020): 2060003. http://dx.doi.org/10.1142/s0218213020600039.
Der volle Inhalt der QuelleJenkins, Christopher, und Aaron Stump. „Monotone recursive types and recursive data representations in Cedille“. Mathematical Structures in Computer Science 31, Nr. 6 (Juni 2021): 682–745. http://dx.doi.org/10.1017/s0960129521000402.
Der volle Inhalt der QuelleAulia, Fatimah Ihza, und Ika Kurniasari. „Student's Error Analysis In Solving Definite Integral Problem Based On Multiple Intelligences“. MATHEdunesa 11, Nr. 1 (30.01.2022): 320–27. http://dx.doi.org/10.26740/mathedunesa.v11n1.p320-327.
Der volle Inhalt der QuelleXiao, Huifu, Dezhao Li, Zilong Liu, Xu Han, Wenping Chen, Ting Zhao, Yonghui Tian und Jianhong Yang. „Experimental realization of a CMOS-compatible optical directed priority encoder using cascaded micro-ring resonators“. Nanophotonics 7, Nr. 4 (28.03.2018): 727–33. http://dx.doi.org/10.1515/nanoph-2018-0005.
Der volle Inhalt der QuelleKozyriev, Andrii, und Ihor Shubin. „The method of linear-logical operators and logical equations in information extraction tasks“. INNOVATIVE TECHNOLOGIES AND SCIENTIFIC SOLUTIONS FOR INDUSTRIES, Nr. 1 (27) (02.07.2024): 81–95. http://dx.doi.org/10.30837/itssi.2024.27.081.
Der volle Inhalt der QuelleQuan, Dongxiao, Chensong Liu, Xiaojie Lv und Changxing Pei. „Implementation of Fault-Tolerant Encoding Circuit Based on Stabilizer Implementation and “Flag” Bits in Steane Code“. Entropy 24, Nr. 8 (11.08.2022): 1107. http://dx.doi.org/10.3390/e24081107.
Der volle Inhalt der QuelleDong, Li, Jun-Xi Wang, Qing-Yang Li, Hong-Zhi Shen, Hai-Kuan Dong, Xiao-Ming Xiu und Ya-Jun Gao. „Single logical qubit information encoding scheme with the minimal optical decoherence-free subsystem“. Optics Letters 41, Nr. 5 (29.02.2016): 1030. http://dx.doi.org/10.1364/ol.41.001030.
Der volle Inhalt der QuelleZhang, Na-Li, Sheng-Dong Zhao, Hao-Wen Dong, Yue-Sheng Wang und Chuanzeng Zhang. „Reflection-type broadband coding metasurfaces for acoustic focusing and splitting“. Applied Physics Letters 120, Nr. 14 (04.04.2022): 142201. http://dx.doi.org/10.1063/5.0087339.
Der volle Inhalt der QuelleChen, Hongxiang, Michael Vasmer, Nikolas P. Breuckmann und Edward Grant. „Automated discovery of logical gates for quantum error correction (with Supplementary (153 pages))“. Quantum Information and Computation 22, Nr. 11&12 (August 2022): 947–64. http://dx.doi.org/10.26421/qic22.11-12-3.
Der volle Inhalt der QuelleCABALAR, PEDRO, MARTÍN DIÉGUEZ und CONCEPCIÓN VIDAL. „An infinitary encoding of temporal equilibrium logic“. Theory and Practice of Logic Programming 15, Nr. 4-5 (Juli 2015): 666–80. http://dx.doi.org/10.1017/s1471068415000307.
Der volle Inhalt der QuelleBaggio, Giacomo, Francesco Ticozzi, Peter D. Johnson und Lorenza Viola. „Dissipative encoding of quantum information“. Quantum Information and Computation 21, Nr. 9-10 (August 2021): 737–70. http://dx.doi.org/10.26421/qic21.9-10-2.
Der volle Inhalt der QuelleKonno, Shunya, Warit Asavanant, Fumiya Hanamura, Hironari Nagayoshi, Kosuke Fukui, Atsushi Sakaguchi, Ryuhoh Ide et al. „Logical states for fault-tolerant quantum computation with propagating light“. Science 383, Nr. 6680 (19.01.2024): 289–93. http://dx.doi.org/10.1126/science.adk7560.
Der volle Inhalt der QuelleCheng, Jianpeng, Siva Reddy, Vijay Saraswat und Mirella Lapata. „Learning an Executable Neural Semantic Parser“. Computational Linguistics 45, Nr. 1 (März 2019): 59–94. http://dx.doi.org/10.1162/coli_a_00342.
Der volle Inhalt der QuelleCheremisinova, L. D. „Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions“. Automation and Remote Control 73, Nr. 7 (Juli 2012): 1216–26. http://dx.doi.org/10.1134/s0005117912070119.
Der volle Inhalt der QuelleZhou, Pei, Jiangping Zhu und Zhisheng You. „3-D face registration solution with speckle encoding based spatial-temporal logical correlation algorithm“. Optics Express 27, Nr. 15 (12.07.2019): 21004. http://dx.doi.org/10.1364/oe.27.021004.
Der volle Inhalt der QuelleYang, Ping, C. R. Ramakrishnan und Scott A. Smolka. „A logical encoding of the π-calculus: model checking mobile processes using tabled resolution“. International Journal on Software Tools for Technology Transfer 6, Nr. 1 (06.04.2004): 38–66. http://dx.doi.org/10.1007/s10009-003-0136-3.
Der volle Inhalt der QuelleGrüning, André, und Ioana Sporea. „Supervised Learning of Logical Operations in Layered Spiking Neural Networks with Spike Train Encoding“. Neural Processing Letters 36, Nr. 2 (15.05.2012): 117–34. http://dx.doi.org/10.1007/s11063-012-9225-1.
Der volle Inhalt der QuelleGuo, Zhen, und Munindar P. Singh. „Representing and Determining Argumentative Relevance in Online Discussions: A General Approach“. Proceedings of the International AAAI Conference on Web and Social Media 17 (02.06.2023): 292–302. http://dx.doi.org/10.1609/icwsm.v17i1.22146.
Der volle Inhalt der QuelleWang, Chenyang, Guannan Ma, Di Wei, Xinru Zhang, Peihan Wang, Cuidan Li, Jing Xing et al. „Mainstream encoding–decoding methods of DNA data storage“. CCF Transactions on High Performance Computing 4, Nr. 1 (März 2022): 23–33. http://dx.doi.org/10.1007/s42514-022-00094-z.
Der volle Inhalt der QuelleKARLSSON, Jens. „Linguistic Temporality, Logical Meaning and Narrative Perspectives: Adverbs /zai/ and /you/ in Modern Standard Chinese“. Acta Linguistica Asiatica 1, Nr. 2 (20.10.2011): 25–38. http://dx.doi.org/10.4312/ala.1.2.25-38.
Der volle Inhalt der QuelleAcharya, Rajeev, Igor Aleiner, Richard Allen, Trond I. Andersen, Markus Ansmann, Frank Arute, Kunal Arya et al. „Suppressing quantum errors by scaling a surface code logical qubit“. Nature 614, Nr. 7949 (22.02.2023): 676–81. http://dx.doi.org/10.1038/s41586-022-05434-1.
Der volle Inhalt der QuelleYonekura, Miki, und Shunji Nishimura. „Fractional Encoding of At-Most-K Constraints on SAT“. Electronics 12, Nr. 15 (25.07.2023): 3211. http://dx.doi.org/10.3390/electronics12153211.
Der volle Inhalt der QuelleHoernle, Nick, Rafael Michael Karampatsis, Vaishak Belle und Kobi Gal. „MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks“. Proceedings of the AAAI Conference on Artificial Intelligence 36, Nr. 5 (28.06.2022): 5700–5709. http://dx.doi.org/10.1609/aaai.v36i5.20512.
Der volle Inhalt der QuelleNtalaperas, Dimitrios, und Nikos Konofaos. „Encoding Two-Qubit Logical States and Quantum Operations Using the Energy States of a Physical System“. Technologies 10, Nr. 1 (22.12.2021): 1. http://dx.doi.org/10.3390/technologies10010001.
Der volle Inhalt der QuelleIqlima, Tri Wilfi, und Susanah Susanah. „PROFIL PENALARAN ANALOGI SISWA DALAM PEMECAHAN MASALAH MATEMATIKA DITINJAU DARI KEMAMPUAN MATEMATIKA“. MATHEdunesa 9, Nr. 1 (23.01.2020): 35–39. http://dx.doi.org/10.26740/mathedunesa.v9n1.p35-39.
Der volle Inhalt der QuelleFields, Chris, James F. Glazebrook und Antonino Marcianò. „Reference Frame Induced Symmetry Breaking on Holographic Screens“. Symmetry 13, Nr. 3 (03.03.2021): 408. http://dx.doi.org/10.3390/sym13030408.
Der volle Inhalt der QuelleCholak, Peter A., und Leo A. Harrington. „Definable Encodings in the Computably Enumerable Sets“. Bulletin of Symbolic Logic 6, Nr. 2 (Juni 2000): 185–96. http://dx.doi.org/10.2307/421206.
Der volle Inhalt der QuelleWaqar Bhat, Mohammad, und Dr Kiran V. „High-Speed 16-bit Carry Bypass Adder Design“. International Journal of Research and Review 9, Nr. 11 (03.11.2022): 74–78. http://dx.doi.org/10.52403/ijrr.20221112.
Der volle Inhalt der Quelle