Статті в журналах з теми "CHC solver"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "CHC solver".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Zhu, He, Stephen Magill, and Suresh Jagannathan. "A data-driven CHC solver." ACM SIGPLAN Notices 53, no. 4 (December 2, 2018): 707–21. http://dx.doi.org/10.1145/3296979.3192416.
Повний текст джерелаDE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI, and MAURIZIO PROIETTI. "Solving Horn Clauses on Inductive Data Types Without Induction." Theory and Practice of Logic Programming 18, no. 3-4 (July 2018): 452–69. http://dx.doi.org/10.1017/s1471068418000157.
Повний текст джерелаFaella, Marco, and Gennaro Parlato. "Reachability Games Modulo Theories with a Bounded Safety Player." Proceedings of the AAAI Conference on Artificial Intelligence 37, no. 5 (June 26, 2023): 6330–37. http://dx.doi.org/10.1609/aaai.v37i5.25779.
Повний текст джерелаMordvinov, Dmitry A. "Property-Directed Inference of Relational Invariants." Modeling and Analysis of Information Systems 26, no. 4 (December 27, 2019): 550–71. http://dx.doi.org/10.18255/1818-1015-2019-4-550-571.
Повний текст джерелаGheorghiu, Călin-Ioan. "Chebfun Solutions to a Class of 1D Singular and Nonlinear Boundary Value Problems." Computation 10, no. 7 (July 8, 2022): 116. http://dx.doi.org/10.3390/computation10070116.
Повний текст джерелаDE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI, and MAURIZIO PROIETTI. "Predicate Pairing for program verification." Theory and Practice of Logic Programming 18, no. 2 (December 4, 2017): 126–66. http://dx.doi.org/10.1017/s1471068417000497.
Повний текст джерелаSun, Jintao, Qi Chen, Baoming Zhao, Caohui Guo, Jianyu Liu, Mingming Zhang, and Decai Li. "Temperature-dependent ion chemistry in nanosecond discharge plasma-assisted CH4 oxidation." Journal of Physics D: Applied Physics 55, no. 13 (January 4, 2022): 135203. http://dx.doi.org/10.1088/1361-6463/ac45ac.
Повний текст джерелаZhou, Wenjun, Xi Qin, Ming Lv, Lifeng Qiu, Zhongjiang Chen, and Fan Zhang. "Design of Plasmonic Photonic Crystal Fiber for Highly Sensitive Magnetic Field and Temperature Simultaneous Measurement." Micromachines 14, no. 9 (August 29, 2023): 1684. http://dx.doi.org/10.3390/mi14091684.
Повний текст джерелаVieira, Bernardo C., Fabrício V. Andrade, and Antônio O. Fernandes. "Framework for Generating Configurable SAT Solvers." Journal of Integrated Circuits and Systems 6, no. 1 (December 27, 2011): 50–59. http://dx.doi.org/10.29292/jics.v6i1.338.
Повний текст джерелаWebb, Penny. "A way to solve problems." Child Care 14, no. 3 (March 2, 2017): 4–5. http://dx.doi.org/10.12968/chca.2017.14.3.4.
Повний текст джерелаSargent, Marianne. "Science: How to solve problems." Child Care 15, no. 2 (February 2, 2018): 8–9. http://dx.doi.org/10.12968/chca.2018.15.2.8.
Повний текст джерелаLiu, Xian Feng, Jia Hui Peng, Chang Hui Yang, Yu Yan Shu, and Da Chang Wu. "The Effect of Surfactant and Alkali on the Surface Tension of Simulated Solutions of Alkali Activated Slag Cement System." Advanced Materials Research 399-401 (November 2011): 1246–50. http://dx.doi.org/10.4028/www.scientific.net/amr.399-401.1246.
Повний текст джерелаDhouib, Ikram, Philippe Guionneau, Tahar Mhiri, and Zakaria Elaoud. "Synthesis, Crystal Structure and Characterization of [(CH3 CH2)4N] Mn1,5 Cl3 4H2O Cl 2(H2O)." JOURNAL OF ADVANCES IN CHEMISTRY 8, no. 2 (December 20, 2012): 1639–50. http://dx.doi.org/10.24297/jac.v8i2.4044.
Повний текст джерелаYe, Manyuan, Guizhi Song, Wei Ren, and Qiwen Wei. "Research on Current Backflow of Asymmetric CHB Multi-Level Inverter." Electronics 9, no. 2 (January 24, 2020): 214. http://dx.doi.org/10.3390/electronics9020214.
Повний текст джерелаYu, Rena C., and Gonzalo Ruiz. "Multi-cracking modelling in concrete solved by a modified DR method." Computers and Concrete 1, no. 4 (November 25, 2004): 371–88. http://dx.doi.org/10.12989/cac.2004.1.4.371.
Повний текст джерелаFendji, Jean Louis Ebongue Kedieng, Clovis Tchuinte Kenmogne, David Jaurès Fotsa-Mbogne, and Anna Förster. "Improving Farmers’ Revenue in Crop Rotation Systems with Plot Adjacency Constraints in Organic Farms with Nutrient Amendments." Applied Sciences 11, no. 15 (July 23, 2021): 6775. http://dx.doi.org/10.3390/app11156775.
Повний текст джерелаLopez-Ruiz, Gontzal, Joseba Castresana-Larrauri, and Jesús María Blanco-Ilzarbe. "Thermodynamic Analysis of a Regenerative Brayton Cycle Using H2, CH4 and H2/CH4 Blends as Fuel." Energies 15, no. 4 (February 17, 2022): 1508. http://dx.doi.org/10.3390/en15041508.
Повний текст джерелаARICI, Ferda Nur, and Ersin KAYA. "Hierarchical Approaches to Solve Optimization Problems." Academic Platform Journal of Engineering and Smart Systems 10, no. 3 (September 30, 2022): 124–39. http://dx.doi.org/10.21541/apjess.1065912.
Повний текст джерелаJoan-Arinyo, R., M. V. Luzón, and E. Yeguas. "Parameter tuning of PBIL and CHC evolutionary algorithms applied to solve the Root Identification Problem." Applied Soft Computing 11, no. 1 (January 2011): 754–67. http://dx.doi.org/10.1016/j.asoc.2009.12.037.
Повний текст джерелаRunčevski, Tomče, Robert E. Dinnebier, Oxana V. Magdysyuk, and Herbert Pöllmann. "Crystal structures of calcium hemicarboaluminate and carbonated calcium hemicarboaluminate from synchrotron powder diffraction data." Acta Crystallographica Section B Structural Science 68, no. 5 (August 17, 2012): 493–500. http://dx.doi.org/10.1107/s010876811203042x.
Повний текст джерелаCheng, Ling-Yi, Yu-Chi Wang, Ming-Hong Chen, Fu-I. Tung, Kuan-Ming Chiu, and Tse-Ying Liu. "An Engineered Gene Nanovehicle Developed for Smart Gene Therapy to Selectively Inhibit Smooth Muscle Cells: An In Vitro Study." International Journal of Molecular Sciences 21, no. 4 (February 24, 2020): 1530. http://dx.doi.org/10.3390/ijms21041530.
Повний текст джерелаZhou, Weijun, Quan Yuan, Chris Li, Stephen F. Hahn, Kurt A. Koppi, and Berend Hoek. "Thermoplastic Optical Polymers with Lead-Free Solder Reflow Resistance for HB-LED Packaging and Assembly." International Symposium on Microelectronics 2010, no. 1 (January 1, 2010): 000156–63. http://dx.doi.org/10.4071/isom-2010-ta5-paper4.
Повний текст джерелаNadimi-Shahraki, Mohammad H., Hoda Zamani, Ali Fatahi, and Seyedali Mirjalili. "MFO-SFR: An Enhanced Moth-Flame Optimization Algorithm Using an Effective Stagnation Finding and Replacing Strategy." Mathematics 11, no. 4 (February 8, 2023): 862. http://dx.doi.org/10.3390/math11040862.
Повний текст джерелаLi, Huixi, Yongluo Shen, Huidan Xi, and Yinhao Xiao. "Complementary in Time and Space: Optimization on Cost and Performance with Multiple Resources Usage by Server Consolidation in Cloud Data Center." Applied Sciences 12, no. 19 (September 26, 2022): 9654. http://dx.doi.org/10.3390/app12199654.
Повний текст джерелаJia, Haolong, Jing Zuo, Qiliang Bao, Chao Geng, Yihan Luo, Ao Tang, Jing Jiang, Feng Li, Jianpeng Ren, and Xinyang Li. "Discussion on Piston-Type Phase Ambiguity in a Coherent Beam Combining System." Photonics 9, no. 1 (January 17, 2022): 49. http://dx.doi.org/10.3390/photonics9010049.
Повний текст джерелаChen, Guangjiao, and Guifen Chen. "An Improved Sparrow Algorithm Based on Small Habitats in Cooperative Communication Power Allocation." Electronics 12, no. 5 (February 27, 2023): 1153. http://dx.doi.org/10.3390/electronics12051153.
Повний текст джерелаThị Phú, Phạm, and Nguyễn Lâm Đức. "Improving high school students’ ability to solve physics problems." Journal of Science, Educational Science 61, no. 8B (2016): 264–71. http://dx.doi.org/10.18173/2354-1075.2016-0183.
Повний текст джерелаZapata, John, Afonso Azevedo, Carlos Fontes, Sergio Monteiro, and Henry Colorado. "Environmental Impact and Sustainability of Calcium Aluminate Cements." Sustainability 14, no. 5 (February 26, 2022): 2751. http://dx.doi.org/10.3390/su14052751.
Повний текст джерелаAgushaka, Jeffrey O., Olatunji Akinola, Absalom E. Ezugwu, Olaide N. Oyelade, and Apu K. Saha. "Advanced dwarf mongoose optimization for solving CEC 2011 and CEC 2017 benchmark problems." PLOS ONE 17, no. 11 (November 2, 2022): e0275346. http://dx.doi.org/10.1371/journal.pone.0275346.
Повний текст джерелаYeguas, Enrique, Robert Joan-Arinyo, and María Victoria Luzón. "Modeling the Performance of Evolutionary Algorithms on the Root Identification Problem: A Case Study with PBIL and CHC Algorithms." Evolutionary Computation 19, no. 1 (March 2011): 107–35. http://dx.doi.org/10.1162/evco_a_00017.
Повний текст джерелаFarnad, Behnam, and Ahmad Jafarian. "A New Nature-Inspired Hybrid Algorithm with a Penalty Method to Solve Constrained Problem." International Journal of Computational Methods 15, no. 08 (October 31, 2018): 1850069. http://dx.doi.org/10.1142/s021987621850069x.
Повний текст джерелаNadimi-Shahraki, Mohammad H., Ali Fatahi, Hoda Zamani, Seyedali Mirjalili, and Laith Abualigah. "An Improved Moth-Flame Optimization Algorithm with Adaptation Mechanism to Solve Numerical and Mechanical Engineering Problems." Entropy 23, no. 12 (December 6, 2021): 1637. http://dx.doi.org/10.3390/e23121637.
Повний текст джерелаRan, Xu, Ji Yong Chen, Jun Guo Ran, Li Guo, and Xing Dong Zhang. "Synthesis of Nanosized Carbonated Hydroxyapatite under Microwave Irradiation." Key Engineering Materials 330-332 (February 2007): 303–6. http://dx.doi.org/10.4028/www.scientific.net/kem.330-332.303.
Повний текст джерелаSakhnenko, Mykola, Hanna Karakurkchi, Tetiana Nenastina, Irina Yermolenko та Alla Korohodska. "Features of CЕС technology for eco- and energytechnologies". Bulletin of the National Technical University «KhPI» Series: New solutions in modern technologies, № 3(9) (18 жовтня 2021): 89–96. http://dx.doi.org/10.20998/2413-4295.2021.03.13.
Повний текст джерелаLiu, Yixin, Kai Zhou, and Yu Lei. "Using Bayesian Inference Framework towards Identifying Gas Species and Concentration from High Temperature Resistive Sensor Array Data." Journal of Sensors 2015 (2015): 1–10. http://dx.doi.org/10.1155/2015/351940.
Повний текст джерелаLi, Jiajian, Shuai Cao, and Erol Yilmaz. "Characterization of Macro Mechanical Properties and Microstructures of Cement-Based Composites Prepared from Fly Ash, Gypsum and Steel Slag." Minerals 12, no. 1 (December 21, 2021): 6. http://dx.doi.org/10.3390/min12010006.
Повний текст джерелаGheorghiu, Călin-Ioan. "Accurate Spectral Collocation Solutions to 2nd-Order Sturm–Liouville Problems." Symmetry 13, no. 3 (February 27, 2021): 385. http://dx.doi.org/10.3390/sym13030385.
Повний текст джерелаChang, Kai-Chun, You-Tun Teng, and Wen-Long Chin. "High-Throughput CBC Mode Crypto Circuit." Electrical Science & Engineering 5, no. 1 (May 24, 2023): 20–30. http://dx.doi.org/10.30564/ese.v5i1.5636.
Повний текст джерелаTran, Van-Thuan, Minh-Khai Nguyen, Cao-Cuong Ngo, and Youn-Ok Choi. "Three-Phase Five-Level Cascade Quasi-Switched Boost Inverter." Electronics 8, no. 3 (March 6, 2019): 296. http://dx.doi.org/10.3390/electronics8030296.
Повний текст джерелаWu, Binbin, Bangning Zhang, Wenfeng Ma, Chen Xie, Daoxing Guo, and Hao Jiang. "Motion Planning in UAV-Aided Data Collection with Dynamic Jamming." Electronics 12, no. 8 (April 13, 2023): 1841. http://dx.doi.org/10.3390/electronics12081841.
Повний текст джерелаMujiati, Mujiati, Eva Sulistiowati, and Siti Nurhasanah. "Role of community figure in Healthy Indonesia Program with family approach (PIS-PK) in Banjarnegara District, Central Java." Journal of Community Empowerment for Health 3, no. 3 (December 31, 2020): 178. http://dx.doi.org/10.22146/jcoemph.56971.
Повний текст джерелаTran Thi Le, Thu, Ai Nguyen Thi Nhan, Thuy Pham Thi Dieu, and Van Nguyen Thi. "Psychological difficulties & school psychology support for Junior high school & High school students in Ho Chi Minh City." Journal of Science Educational Science 65, no. 9 (September 2020): 69–80. http://dx.doi.org/10.18173/2354-1075.2020-0094.
Повний текст джерелаBossa, Jean-Baptiste, Fabien Borget, Fabrice Duvernay, Grégoire Danger, Patrice Theulé, and Thierry Chiavassa. "Solid-State Methylamine VUV Irradiation Study Using Carbon Monoxide as an H Radical Scavenger." Australian Journal of Chemistry 65, no. 2 (2012): 129. http://dx.doi.org/10.1071/ch11409.
Повний текст джерелаBaumgaertner, A. J. G., P. Jöckel, B. Steil, H. Tost, and R. Sander. "A fast stratospheric chemistry solver: the E4CHEM submodel for the atmospheric chemistry global circulation model EMAC." Geoscientific Model Development 3, no. 1 (June 22, 2010): 321–28. http://dx.doi.org/10.5194/gmd-3-321-2010.
Повний текст джерелаBaumgaertner, A. J. G., P. Jöckel, B. Steil, H. Tost, and R. Sander. "A fast stratospheric chemistry solver: the E4CHEM submodel for the atmospheric chemistry global circulation model EMAC." Geoscientific Model Development Discussions 3, no. 1 (February 17, 2010): 181–200. http://dx.doi.org/10.5194/gmdd-3-181-2010.
Повний текст джерелаMizukami, Yuzo, and Yuichi Yamaguchi. "Method for the Analysis of Tea Aroma by using Solvent-assisted Flavor Evaporation Apparatus." Chagyo Kenkyu Hokoku (Tea Research Journal) 2010, no. 110 (2010): 110_105–110_112. http://dx.doi.org/10.5979/cha.2010.110_105.
Повний текст джерелаWilson, William W., Karl O. Christe, Jin-an Feng, and Robert Bau. "Tetramethylammonium bifluoride, crystal structure and vibrational spectra." Canadian Journal of Chemistry 67, no. 11 (November 1, 1989): 1898–901. http://dx.doi.org/10.1139/v89-295.
Повний текст джерелаLeshok, D. Y., N. N. Golovnev, and S. D. Kirik. "Cystamindi-ium tetrachlorocuprate [NH3(CH2)2SS(CH2)2NH3][CuCl4]: synthesis, crystal structure, and thermal decomposition." Powder Diffraction 30, no. 2 (March 11, 2015): 163–69. http://dx.doi.org/10.1017/s0885715614001390.
Повний текст джерелаMehta, Shikha. "Memetic Algorithm with Constrained Local Search for Large-Scale Global Optimization." Journal of Intelligent Systems 26, no. 2 (April 1, 2017): 287–300. http://dx.doi.org/10.1515/jisys-2015-0103.
Повний текст джерелаSingh, Pratap, Rishi Pal Singh, Yudhvir Singh, Jana Shafi, and Muhammad Fazal Ijaz. "An Enhanced Naked Mole Rat Algorithm for Optimal Cross-Layer Solution for Wireless Underground Sensor Networks." Mathematics 9, no. 22 (November 18, 2021): 2942. http://dx.doi.org/10.3390/math9222942.
Повний текст джерела