Articles de revues sur le sujet « Logical encodings »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Logical encodings ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Kovács, Tibor, Gábor Simon et Gergely Mezei. « Benchmarking Graph Database Backends—What Works Well with Wikidata ? » Acta Cybernetica 24, no 1 (21 mai 2019) : 43–60. http://dx.doi.org/10.14232/actacyb.24.1.2019.5.
Texte intégralYoder, Theodore J., et Isaac H. Kim. « The surface code with a twist ». Quantum 1 (25 avril 2017) : 2. http://dx.doi.org/10.22331/q-2017-04-25-2.
Texte intégralSteiner, Erich. « Ideational grammatical metaphor ». Languages in Contrast 4, no 1 (14 avril 2004) : 137–64. http://dx.doi.org/10.1075/lic.4.1.07ste.
Texte intégralPal, Amit Kumar, Philipp Schindler, Alexander Erhard, Ángel Rivas, Miguel-Angel Martin-Delgado, Rainer Blatt, Thomas Monz et Markus Müller. « Relaxation times do not capture logical qubit dynamics ». Quantum 6 (24 janvier 2022) : 632. http://dx.doi.org/10.22331/q-2022-01-24-632.
Texte intégralScala, Enrico, Miquel Ramírez, Patrik Haslum et Sylvie Thiebaux. « Numeric Planning with Disjunctive Global Constraints via SMT ». Proceedings of the International Conference on Automated Planning and Scheduling 26 (30 mars 2016) : 276–84. http://dx.doi.org/10.1609/icaps.v26i1.13766.
Texte intégralCAVE, ANDREW, et BRIGITTE PIENTKA. « Mechanizing proofs with logical relations – Kripke-style ». Mathematical Structures in Computer Science 28, no 9 (2 août 2018) : 1606–38. http://dx.doi.org/10.1017/s0960129518000154.
Texte intégralDennis, Louise A., Martin Mose Bentzen, Felix Lindner et Michael Fisher. « Verifiable Machine Ethics in Changing Contexts ». Proceedings of the AAAI Conference on Artificial Intelligence 35, no 13 (18 mai 2021) : 11470–78. http://dx.doi.org/10.1609/aaai.v35i13.17366.
Texte intégralRABE, FLORIAN. « A logical framework combining model and proof theory ». Mathematical Structures in Computer Science 23, no 5 (1 mars 2013) : 945–1001. http://dx.doi.org/10.1017/s0960129512000424.
Texte intégralLocher, David F., Lorenzo Cardarelli et Markus Müller. « Quantum Error Correction with Quantum Autoencoders ». Quantum 7 (9 mars 2023) : 942. http://dx.doi.org/10.22331/q-2023-03-09-942.
Texte intégralHardie, Andrew. « From legacy encodings to Unicode : the graphical and logical principles in the scripts of South Asia ». Language Resources and Evaluation 41, no 1 (4 avril 2007) : 1–25. http://dx.doi.org/10.1007/s10579-006-9003-7.
Texte intégralBruni, Roberto, Furio Honsell, Marina Lenisa et 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 (juin 2002) : 136–56. http://dx.doi.org/10.1016/s1571-0661(04)00324-x.
Texte intégralZhan, Yuan, Paul Hilaire, Edwin Barnes, Sophia E. Economou et Shuo Sun. « Performance analysis of quantum repeaters enabled by deterministically generated photonic graph states ». Quantum 7 (16 février 2023) : 924. http://dx.doi.org/10.22331/q-2023-02-16-924.
Texte intégralToninho, Bernardo, et Nobuko Yoshida. « On Polymorphic Sessions and Functions ». ACM Transactions on Programming Languages and Systems 43, no 2 (juillet 2021) : 1–55. http://dx.doi.org/10.1145/3457884.
Texte intégralStrickland, Brent, Carlo Geraci, Emmanuel Chemla, Philippe Schlenker, Meltem Kelepir et 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, no 19 (27 avril 2015) : 5968–73. http://dx.doi.org/10.1073/pnas.1423080112.
Texte intégralDemeter, David, et Doug Downey. « Just Add Functions : A Neural-Symbolic Language Model ». Proceedings of the AAAI Conference on Artificial Intelligence 34, no 05 (3 avril 2020) : 7634–42. http://dx.doi.org/10.1609/aaai.v34i05.6264.
Texte intégralMena López, Arturo, et Lian-Ao Wu. « Protectability of IBMQ Qubits by Dynamical Decoupling Technique ». Symmetry 15, no 1 (26 décembre 2022) : 62. http://dx.doi.org/10.3390/sym15010062.
Texte intégralRaveendran, Nithin, Narayanan Rengaswamy, Filip Rozpędek, Ankur Raina, Liang Jiang et Bane Vasić. « Finite Rate QLDPC-GKP Coding Scheme that Surpasses the CSS Hamming Bound ». Quantum 6 (20 juillet 2022) : 767. http://dx.doi.org/10.22331/q-2022-07-20-767.
Texte intégralDubois, Didier, Henri Prade et Agnès Rico. « The logical encoding of Sugeno integrals ». Fuzzy Sets and Systems 241 (avril 2014) : 61–75. http://dx.doi.org/10.1016/j.fss.2013.12.014.
Texte intégralPorncharoenwase, Sorawee, Luke Nelson, Xi Wang et Emina Torlak. « A formal foundation for symbolic evaluation with merging ». Proceedings of the ACM on Programming Languages 6, POPL (16 janvier 2022) : 1–28. http://dx.doi.org/10.1145/3498709.
Texte intégralLiao, Xiaojuan, et Miyuki Koshimura. « A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets ». Journal of Logic and Computation 29, no 6 (30 juillet 2019) : 913–31. http://dx.doi.org/10.1093/logcom/exz017.
Texte intégralMcLauchlan, Campbell, et Benjamin Béri. « A new twist on the Majorana surface code : Bosonic and fermionic defects for fault-tolerant quantum computation ». Quantum 8 (10 juillet 2024) : 1400. http://dx.doi.org/10.22331/q-2024-07-10-1400.
Texte intégralHARPER, ROBERT, et DANIEL R. LICATA. « Mechanizing metatheory in a logical framework ». Journal of Functional Programming 17, no 4-5 (juillet 2007) : 613–73. http://dx.doi.org/10.1017/s0956796807006430.
Texte intégralCayrol, Claudette, et Marie-Christine Lagasquie-Schiex. « Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports ». International Journal on Artificial Intelligence Tools 29, no 03n04 (juin 2020) : 2060003. http://dx.doi.org/10.1142/s0218213020600039.
Texte intégralJenkins, Christopher, et Aaron Stump. « Monotone recursive types and recursive data representations in Cedille ». Mathematical Structures in Computer Science 31, no 6 (juin 2021) : 682–745. http://dx.doi.org/10.1017/s0960129521000402.
Texte intégralAulia, Fatimah Ihza, et Ika Kurniasari. « Student's Error Analysis In Solving Definite Integral Problem Based On Multiple Intelligences ». MATHEdunesa 11, no 1 (30 janvier 2022) : 320–27. http://dx.doi.org/10.26740/mathedunesa.v11n1.p320-327.
Texte intégralXiao, Huifu, Dezhao Li, Zilong Liu, Xu Han, Wenping Chen, Ting Zhao, Yonghui Tian et Jianhong Yang. « Experimental realization of a CMOS-compatible optical directed priority encoder using cascaded micro-ring resonators ». Nanophotonics 7, no 4 (28 mars 2018) : 727–33. http://dx.doi.org/10.1515/nanoph-2018-0005.
Texte intégralKozyriev, Andrii, et Ihor Shubin. « The method of linear-logical operators and logical equations in information extraction tasks ». INNOVATIVE TECHNOLOGIES AND SCIENTIFIC SOLUTIONS FOR INDUSTRIES, no 1 (27) (2 juillet 2024) : 81–95. http://dx.doi.org/10.30837/itssi.2024.27.081.
Texte intégralQuan, Dongxiao, Chensong Liu, Xiaojie Lv et Changxing Pei. « Implementation of Fault-Tolerant Encoding Circuit Based on Stabilizer Implementation and “Flag” Bits in Steane Code ». Entropy 24, no 8 (11 août 2022) : 1107. http://dx.doi.org/10.3390/e24081107.
Texte intégralDong, Li, Jun-Xi Wang, Qing-Yang Li, Hong-Zhi Shen, Hai-Kuan Dong, Xiao-Ming Xiu et Ya-Jun Gao. « Single logical qubit information encoding scheme with the minimal optical decoherence-free subsystem ». Optics Letters 41, no 5 (29 février 2016) : 1030. http://dx.doi.org/10.1364/ol.41.001030.
Texte intégralZhang, Na-Li, Sheng-Dong Zhao, Hao-Wen Dong, Yue-Sheng Wang et Chuanzeng Zhang. « Reflection-type broadband coding metasurfaces for acoustic focusing and splitting ». Applied Physics Letters 120, no 14 (4 avril 2022) : 142201. http://dx.doi.org/10.1063/5.0087339.
Texte intégralChen, Hongxiang, Michael Vasmer, Nikolas P. Breuckmann et Edward Grant. « Automated discovery of logical gates for quantum error correction (with Supplementary (153 pages)) ». Quantum Information and Computation 22, no 11&12 (août 2022) : 947–64. http://dx.doi.org/10.26421/qic22.11-12-3.
Texte intégralCABALAR, PEDRO, MARTÍN DIÉGUEZ et CONCEPCIÓN VIDAL. « An infinitary encoding of temporal equilibrium logic ». Theory and Practice of Logic Programming 15, no 4-5 (juillet 2015) : 666–80. http://dx.doi.org/10.1017/s1471068415000307.
Texte intégralBaggio, Giacomo, Francesco Ticozzi, Peter D. Johnson et Lorenza Viola. « Dissipative encoding of quantum information ». Quantum Information and Computation 21, no 9-10 (août 2021) : 737–70. http://dx.doi.org/10.26421/qic21.9-10-2.
Texte intégralKonno, 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, no 6680 (19 janvier 2024) : 289–93. http://dx.doi.org/10.1126/science.adk7560.
Texte intégralCheng, Jianpeng, Siva Reddy, Vijay Saraswat et Mirella Lapata. « Learning an Executable Neural Semantic Parser ». Computational Linguistics 45, no 1 (mars 2019) : 59–94. http://dx.doi.org/10.1162/coli_a_00342.
Texte intégralCheremisinova, L. D. « Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions ». Automation and Remote Control 73, no 7 (juillet 2012) : 1216–26. http://dx.doi.org/10.1134/s0005117912070119.
Texte intégralZhou, Pei, Jiangping Zhu et Zhisheng You. « 3-D face registration solution with speckle encoding based spatial-temporal logical correlation algorithm ». Optics Express 27, no 15 (12 juillet 2019) : 21004. http://dx.doi.org/10.1364/oe.27.021004.
Texte intégralYang, Ping, C. R. Ramakrishnan et 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, no 1 (6 avril 2004) : 38–66. http://dx.doi.org/10.1007/s10009-003-0136-3.
Texte intégralGrüning, André, et Ioana Sporea. « Supervised Learning of Logical Operations in Layered Spiking Neural Networks with Spike Train Encoding ». Neural Processing Letters 36, no 2 (15 mai 2012) : 117–34. http://dx.doi.org/10.1007/s11063-012-9225-1.
Texte intégralGuo, Zhen, et 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 juin 2023) : 292–302. http://dx.doi.org/10.1609/icwsm.v17i1.22146.
Texte intégralWang, 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, no 1 (mars 2022) : 23–33. http://dx.doi.org/10.1007/s42514-022-00094-z.
Texte intégralKARLSSON, Jens. « Linguistic Temporality, Logical Meaning and Narrative Perspectives : Adverbs /zai/ and /you/ in Modern Standard Chinese ». Acta Linguistica Asiatica 1, no 2 (20 octobre 2011) : 25–38. http://dx.doi.org/10.4312/ala.1.2.25-38.
Texte intégralAcharya, 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, no 7949 (22 février 2023) : 676–81. http://dx.doi.org/10.1038/s41586-022-05434-1.
Texte intégralYonekura, Miki, et Shunji Nishimura. « Fractional Encoding of At-Most-K Constraints on SAT ». Electronics 12, no 15 (25 juillet 2023) : 3211. http://dx.doi.org/10.3390/electronics12153211.
Texte intégralHoernle, Nick, Rafael Michael Karampatsis, Vaishak Belle et Kobi Gal. « MultiplexNet : Towards Fully Satisfied Logical Constraints in Neural Networks ». Proceedings of the AAAI Conference on Artificial Intelligence 36, no 5 (28 juin 2022) : 5700–5709. http://dx.doi.org/10.1609/aaai.v36i5.20512.
Texte intégralNtalaperas, Dimitrios, et Nikos Konofaos. « Encoding Two-Qubit Logical States and Quantum Operations Using the Energy States of a Physical System ». Technologies 10, no 1 (22 décembre 2021) : 1. http://dx.doi.org/10.3390/technologies10010001.
Texte intégralIqlima, Tri Wilfi, et Susanah Susanah. « PROFIL PENALARAN ANALOGI SISWA DALAM PEMECAHAN MASALAH MATEMATIKA DITINJAU DARI KEMAMPUAN MATEMATIKA ». MATHEdunesa 9, no 1 (23 janvier 2020) : 35–39. http://dx.doi.org/10.26740/mathedunesa.v9n1.p35-39.
Texte intégralFields, Chris, James F. Glazebrook et Antonino Marcianò. « Reference Frame Induced Symmetry Breaking on Holographic Screens ». Symmetry 13, no 3 (3 mars 2021) : 408. http://dx.doi.org/10.3390/sym13030408.
Texte intégralCholak, Peter A., et Leo A. Harrington. « Definable Encodings in the Computably Enumerable Sets ». Bulletin of Symbolic Logic 6, no 2 (juin 2000) : 185–96. http://dx.doi.org/10.2307/421206.
Texte intégralWaqar Bhat, Mohammad, et Dr Kiran V. « High-Speed 16-bit Carry Bypass Adder Design ». International Journal of Research and Review 9, no 11 (3 novembre 2022) : 74–78. http://dx.doi.org/10.52403/ijrr.20221112.
Texte intégral