Artículos de revistas sobre el tema "Logical encodings"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Logical encodings".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Kovács, Tibor, Gábor Simon y Gergely Mezei. "Benchmarking Graph Database Backends—What Works Well with Wikidata?" Acta Cybernetica 24, n.º 1 (21 de mayo de 2019): 43–60. http://dx.doi.org/10.14232/actacyb.24.1.2019.5.
Texto completoYoder, Theodore J. y Isaac H. Kim. "The surface code with a twist". Quantum 1 (25 de abril de 2017): 2. http://dx.doi.org/10.22331/q-2017-04-25-2.
Texto completoSteiner, Erich. "Ideational grammatical metaphor". Languages in Contrast 4, n.º 1 (14 de abril de 2004): 137–64. http://dx.doi.org/10.1075/lic.4.1.07ste.
Texto completoPal, Amit Kumar, Philipp Schindler, Alexander Erhard, Ángel Rivas, Miguel-Angel Martin-Delgado, Rainer Blatt, Thomas Monz y Markus Müller. "Relaxation times do not capture logical qubit dynamics". Quantum 6 (24 de enero de 2022): 632. http://dx.doi.org/10.22331/q-2022-01-24-632.
Texto completoScala, Enrico, Miquel Ramírez, Patrik Haslum y Sylvie Thiebaux. "Numeric Planning with Disjunctive Global Constraints via SMT". Proceedings of the International Conference on Automated Planning and Scheduling 26 (30 de marzo de 2016): 276–84. http://dx.doi.org/10.1609/icaps.v26i1.13766.
Texto completoCAVE, ANDREW y BRIGITTE PIENTKA. "Mechanizing proofs with logical relations – Kripke-style". Mathematical Structures in Computer Science 28, n.º 9 (2 de agosto de 2018): 1606–38. http://dx.doi.org/10.1017/s0960129518000154.
Texto completoDennis, Louise A., Martin Mose Bentzen, Felix Lindner y Michael Fisher. "Verifiable Machine Ethics in Changing Contexts". Proceedings of the AAAI Conference on Artificial Intelligence 35, n.º 13 (18 de mayo de 2021): 11470–78. http://dx.doi.org/10.1609/aaai.v35i13.17366.
Texto completoRABE, FLORIAN. "A logical framework combining model and proof theory". Mathematical Structures in Computer Science 23, n.º 5 (1 de marzo de 2013): 945–1001. http://dx.doi.org/10.1017/s0960129512000424.
Texto completoLocher, David F., Lorenzo Cardarelli y Markus Müller. "Quantum Error Correction with Quantum Autoencoders". Quantum 7 (9 de marzo de 2023): 942. http://dx.doi.org/10.22331/q-2023-03-09-942.
Texto completoHardie, Andrew. "From legacy encodings to Unicode: the graphical and logical principles in the scripts of South Asia". Language Resources and Evaluation 41, n.º 1 (4 de abril de 2007): 1–25. http://dx.doi.org/10.1007/s10579-006-9003-7.
Texto completoBruni, Roberto, Furio Honsell, Marina Lenisa y 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 (junio de 2002): 136–56. http://dx.doi.org/10.1016/s1571-0661(04)00324-x.
Texto completoZhan, Yuan, Paul Hilaire, Edwin Barnes, Sophia E. Economou y Shuo Sun. "Performance analysis of quantum repeaters enabled by deterministically generated photonic graph states". Quantum 7 (16 de febrero de 2023): 924. http://dx.doi.org/10.22331/q-2023-02-16-924.
Texto completoToninho, Bernardo y Nobuko Yoshida. "On Polymorphic Sessions and Functions". ACM Transactions on Programming Languages and Systems 43, n.º 2 (julio de 2021): 1–55. http://dx.doi.org/10.1145/3457884.
Texto completoStrickland, Brent, Carlo Geraci, Emmanuel Chemla, Philippe Schlenker, Meltem Kelepir y 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, n.º 19 (27 de abril de 2015): 5968–73. http://dx.doi.org/10.1073/pnas.1423080112.
Texto completoDemeter, David y Doug Downey. "Just Add Functions: A Neural-Symbolic Language Model". Proceedings of the AAAI Conference on Artificial Intelligence 34, n.º 05 (3 de abril de 2020): 7634–42. http://dx.doi.org/10.1609/aaai.v34i05.6264.
Texto completoMena López, Arturo y Lian-Ao Wu. "Protectability of IBMQ Qubits by Dynamical Decoupling Technique". Symmetry 15, n.º 1 (26 de diciembre de 2022): 62. http://dx.doi.org/10.3390/sym15010062.
Texto completoRaveendran, Nithin, Narayanan Rengaswamy, Filip Rozpędek, Ankur Raina, Liang Jiang y Bane Vasić. "Finite Rate QLDPC-GKP Coding Scheme that Surpasses the CSS Hamming Bound". Quantum 6 (20 de julio de 2022): 767. http://dx.doi.org/10.22331/q-2022-07-20-767.
Texto completoDubois, Didier, Henri Prade y Agnès Rico. "The logical encoding of Sugeno integrals". Fuzzy Sets and Systems 241 (abril de 2014): 61–75. http://dx.doi.org/10.1016/j.fss.2013.12.014.
Texto completoPorncharoenwase, Sorawee, Luke Nelson, Xi Wang y Emina Torlak. "A formal foundation for symbolic evaluation with merging". Proceedings of the ACM on Programming Languages 6, POPL (16 de enero de 2022): 1–28. http://dx.doi.org/10.1145/3498709.
Texto completoLiao, Xiaojuan y Miyuki Koshimura. "A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets". Journal of Logic and Computation 29, n.º 6 (30 de julio de 2019): 913–31. http://dx.doi.org/10.1093/logcom/exz017.
Texto completoMcLauchlan, Campbell y Benjamin Béri. "A new twist on the Majorana surface code: Bosonic and fermionic defects for fault-tolerant quantum computation". Quantum 8 (10 de julio de 2024): 1400. http://dx.doi.org/10.22331/q-2024-07-10-1400.
Texto completoHARPER, ROBERT y DANIEL R. LICATA. "Mechanizing metatheory in a logical framework". Journal of Functional Programming 17, n.º 4-5 (julio de 2007): 613–73. http://dx.doi.org/10.1017/s0956796807006430.
Texto completoCayrol, Claudette y Marie-Christine Lagasquie-Schiex. "Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports". International Journal on Artificial Intelligence Tools 29, n.º 03n04 (junio de 2020): 2060003. http://dx.doi.org/10.1142/s0218213020600039.
Texto completoJenkins, Christopher y Aaron Stump. "Monotone recursive types and recursive data representations in Cedille". Mathematical Structures in Computer Science 31, n.º 6 (junio de 2021): 682–745. http://dx.doi.org/10.1017/s0960129521000402.
Texto completoAulia, Fatimah Ihza y Ika Kurniasari. "Student's Error Analysis In Solving Definite Integral Problem Based On Multiple Intelligences". MATHEdunesa 11, n.º 1 (30 de enero de 2022): 320–27. http://dx.doi.org/10.26740/mathedunesa.v11n1.p320-327.
Texto completoXiao, Huifu, Dezhao Li, Zilong Liu, Xu Han, Wenping Chen, Ting Zhao, Yonghui Tian y Jianhong Yang. "Experimental realization of a CMOS-compatible optical directed priority encoder using cascaded micro-ring resonators". Nanophotonics 7, n.º 4 (28 de marzo de 2018): 727–33. http://dx.doi.org/10.1515/nanoph-2018-0005.
Texto completoKozyriev, Andrii y Ihor Shubin. "The method of linear-logical operators and logical equations in information extraction tasks". INNOVATIVE TECHNOLOGIES AND SCIENTIFIC SOLUTIONS FOR INDUSTRIES, n.º 1 (27) (2 de julio de 2024): 81–95. http://dx.doi.org/10.30837/itssi.2024.27.081.
Texto completoQuan, Dongxiao, Chensong Liu, Xiaojie Lv y Changxing Pei. "Implementation of Fault-Tolerant Encoding Circuit Based on Stabilizer Implementation and “Flag” Bits in Steane Code". Entropy 24, n.º 8 (11 de agosto de 2022): 1107. http://dx.doi.org/10.3390/e24081107.
Texto completoDong, Li, Jun-Xi Wang, Qing-Yang Li, Hong-Zhi Shen, Hai-Kuan Dong, Xiao-Ming Xiu y Ya-Jun Gao. "Single logical qubit information encoding scheme with the minimal optical decoherence-free subsystem". Optics Letters 41, n.º 5 (29 de febrero de 2016): 1030. http://dx.doi.org/10.1364/ol.41.001030.
Texto completoZhang, Na-Li, Sheng-Dong Zhao, Hao-Wen Dong, Yue-Sheng Wang y Chuanzeng Zhang. "Reflection-type broadband coding metasurfaces for acoustic focusing and splitting". Applied Physics Letters 120, n.º 14 (4 de abril de 2022): 142201. http://dx.doi.org/10.1063/5.0087339.
Texto completoChen, Hongxiang, Michael Vasmer, Nikolas P. Breuckmann y Edward Grant. "Automated discovery of logical gates for quantum error correction (with Supplementary (153 pages))". Quantum Information and Computation 22, n.º 11&12 (agosto de 2022): 947–64. http://dx.doi.org/10.26421/qic22.11-12-3.
Texto completoCABALAR, PEDRO, MARTÍN DIÉGUEZ y CONCEPCIÓN VIDAL. "An infinitary encoding of temporal equilibrium logic". Theory and Practice of Logic Programming 15, n.º 4-5 (julio de 2015): 666–80. http://dx.doi.org/10.1017/s1471068415000307.
Texto completoBaggio, Giacomo, Francesco Ticozzi, Peter D. Johnson y Lorenza Viola. "Dissipative encoding of quantum information". Quantum Information and Computation 21, n.º 9-10 (agosto de 2021): 737–70. http://dx.doi.org/10.26421/qic21.9-10-2.
Texto completoKonno, 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, n.º 6680 (19 de enero de 2024): 289–93. http://dx.doi.org/10.1126/science.adk7560.
Texto completoCheng, Jianpeng, Siva Reddy, Vijay Saraswat y Mirella Lapata. "Learning an Executable Neural Semantic Parser". Computational Linguistics 45, n.º 1 (marzo de 2019): 59–94. http://dx.doi.org/10.1162/coli_a_00342.
Texto completoCheremisinova, L. D. "Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions". Automation and Remote Control 73, n.º 7 (julio de 2012): 1216–26. http://dx.doi.org/10.1134/s0005117912070119.
Texto completoZhou, Pei, Jiangping Zhu y Zhisheng You. "3-D face registration solution with speckle encoding based spatial-temporal logical correlation algorithm". Optics Express 27, n.º 15 (12 de julio de 2019): 21004. http://dx.doi.org/10.1364/oe.27.021004.
Texto completoYang, Ping, C. R. Ramakrishnan y 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, n.º 1 (6 de abril de 2004): 38–66. http://dx.doi.org/10.1007/s10009-003-0136-3.
Texto completoGrüning, André y Ioana Sporea. "Supervised Learning of Logical Operations in Layered Spiking Neural Networks with Spike Train Encoding". Neural Processing Letters 36, n.º 2 (15 de mayo de 2012): 117–34. http://dx.doi.org/10.1007/s11063-012-9225-1.
Texto completoGuo, Zhen y 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 (2 de junio de 2023): 292–302. http://dx.doi.org/10.1609/icwsm.v17i1.22146.
Texto completoWang, 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, n.º 1 (marzo de 2022): 23–33. http://dx.doi.org/10.1007/s42514-022-00094-z.
Texto completoKARLSSON, Jens. "Linguistic Temporality, Logical Meaning and Narrative Perspectives: Adverbs /zai/ and /you/ in Modern Standard Chinese". Acta Linguistica Asiatica 1, n.º 2 (20 de octubre de 2011): 25–38. http://dx.doi.org/10.4312/ala.1.2.25-38.
Texto completoAcharya, 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, n.º 7949 (22 de febrero de 2023): 676–81. http://dx.doi.org/10.1038/s41586-022-05434-1.
Texto completoYonekura, Miki y Shunji Nishimura. "Fractional Encoding of At-Most-K Constraints on SAT". Electronics 12, n.º 15 (25 de julio de 2023): 3211. http://dx.doi.org/10.3390/electronics12153211.
Texto completoHoernle, Nick, Rafael Michael Karampatsis, Vaishak Belle y Kobi Gal. "MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 5 (28 de junio de 2022): 5700–5709. http://dx.doi.org/10.1609/aaai.v36i5.20512.
Texto completoNtalaperas, Dimitrios y Nikos Konofaos. "Encoding Two-Qubit Logical States and Quantum Operations Using the Energy States of a Physical System". Technologies 10, n.º 1 (22 de diciembre de 2021): 1. http://dx.doi.org/10.3390/technologies10010001.
Texto completoIqlima, Tri Wilfi y Susanah Susanah. "PROFIL PENALARAN ANALOGI SISWA DALAM PEMECAHAN MASALAH MATEMATIKA DITINJAU DARI KEMAMPUAN MATEMATIKA". MATHEdunesa 9, n.º 1 (23 de enero de 2020): 35–39. http://dx.doi.org/10.26740/mathedunesa.v9n1.p35-39.
Texto completoFields, Chris, James F. Glazebrook y Antonino Marcianò. "Reference Frame Induced Symmetry Breaking on Holographic Screens". Symmetry 13, n.º 3 (3 de marzo de 2021): 408. http://dx.doi.org/10.3390/sym13030408.
Texto completoCholak, Peter A. y Leo A. Harrington. "Definable Encodings in the Computably Enumerable Sets". Bulletin of Symbolic Logic 6, n.º 2 (junio de 2000): 185–96. http://dx.doi.org/10.2307/421206.
Texto completoWaqar Bhat, Mohammad y Dr Kiran V. "High-Speed 16-bit Carry Bypass Adder Design". International Journal of Research and Review 9, n.º 11 (3 de noviembre de 2022): 74–78. http://dx.doi.org/10.52403/ijrr.20221112.
Texto completo