Literatura académica sobre el tema "CHC solver"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "CHC solver".
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.
Artículos de revistas sobre el tema "CHC solver"
Zhu, He, Stephen Magill y Suresh Jagannathan. "A data-driven CHC solver". ACM SIGPLAN Notices 53, n.º 4 (2 de diciembre de 2018): 707–21. http://dx.doi.org/10.1145/3296979.3192416.
Texto completoDE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI y MAURIZIO PROIETTI. "Solving Horn Clauses on Inductive Data Types Without Induction". Theory and Practice of Logic Programming 18, n.º 3-4 (julio de 2018): 452–69. http://dx.doi.org/10.1017/s1471068418000157.
Texto completoFaella, Marco y Gennaro Parlato. "Reachability Games Modulo Theories with a Bounded Safety Player". Proceedings of the AAAI Conference on Artificial Intelligence 37, n.º 5 (26 de junio de 2023): 6330–37. http://dx.doi.org/10.1609/aaai.v37i5.25779.
Texto completoMordvinov, Dmitry A. "Property-Directed Inference of Relational Invariants". Modeling and Analysis of Information Systems 26, n.º 4 (27 de diciembre de 2019): 550–71. http://dx.doi.org/10.18255/1818-1015-2019-4-550-571.
Texto completoGheorghiu, Călin-Ioan. "Chebfun Solutions to a Class of 1D Singular and Nonlinear Boundary Value Problems". Computation 10, n.º 7 (8 de julio de 2022): 116. http://dx.doi.org/10.3390/computation10070116.
Texto completoDE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI y MAURIZIO PROIETTI. "Predicate Pairing for program verification". Theory and Practice of Logic Programming 18, n.º 2 (4 de diciembre de 2017): 126–66. http://dx.doi.org/10.1017/s1471068417000497.
Texto completoSun, Jintao, Qi Chen, Baoming Zhao, Caohui Guo, Jianyu Liu, Mingming Zhang y Decai Li. "Temperature-dependent ion chemistry in nanosecond discharge plasma-assisted CH4 oxidation". Journal of Physics D: Applied Physics 55, n.º 13 (4 de enero de 2022): 135203. http://dx.doi.org/10.1088/1361-6463/ac45ac.
Texto completoZhou, Wenjun, Xi Qin, Ming Lv, Lifeng Qiu, Zhongjiang Chen y Fan Zhang. "Design of Plasmonic Photonic Crystal Fiber for Highly Sensitive Magnetic Field and Temperature Simultaneous Measurement". Micromachines 14, n.º 9 (29 de agosto de 2023): 1684. http://dx.doi.org/10.3390/mi14091684.
Texto completoVieira, Bernardo C., Fabrício V. Andrade y Antônio O. Fernandes. "Framework for Generating Configurable SAT Solvers". Journal of Integrated Circuits and Systems 6, n.º 1 (27 de diciembre de 2011): 50–59. http://dx.doi.org/10.29292/jics.v6i1.338.
Texto completoWebb, Penny. "A way to solve problems". Child Care 14, n.º 3 (2 de marzo de 2017): 4–5. http://dx.doi.org/10.12968/chca.2017.14.3.4.
Texto completoTesis sobre el tema "CHC solver"
Negus, Charles H. "An Interactive Chemical Equilibrium Solver for the Personal Computer". Thesis, Virginia Tech, 1997. http://hdl.handle.net/10919/36826.
Texto completoMaster of Science
Guérineau, Olivier. "Contribution à l'étude de la combustion supersonique : stabilisation de flammes par ondes de choc". Châtenay-Malabry, Ecole centrale de Paris, 1997. http://www.theses.fr/1997ECAP0530.
Texto completoChauvat, Yann. "Le phénomène de "carbuncle" : analyse d'une pathologie des schémas numériques à capture de choc". Toulouse, ENSAE, 2005. http://www.theses.fr/2005ESAE0015.
Texto completoMasurel, Eve. "Absorption sélective des goudrons issus de la gazéification : application au laveur Venturi d'une unité de cogénération biomasse". Thesis, Université de Lorraine, 2015. http://www.theses.fr/2015LORR0096.
Texto completoAmong biomass conversion processes, air gasification has the advantage of an attractive electrical conversion yield, especially for small powers. However, the elimination of the generated tar remains a lock to lift to allow the industrial emergence of the gasification process. The treatment by absorption is considered to be technologically mature but the choice of cleaning solvent, its management and the optimization of the scrubber represent a crucial element. In order to highlight possible solvents, a fast and robust solvents screening methodology based on a multi-criteria analysis was developed. Comparison of more than 100 of conventional solvents allowed to forward two solvents. To investigate performance of these solvents, a pilot scale Venturi scrubber (compact scrubber with a large Interfacial area and low risk fouling risk) has been designed and characterized. The experimental study on real raw gas allowed to study the evolution of the tar loading factor in the solvent and to measure treatment efficiencies of solvents on benzene, naphthalene, anthracene and pyrene. These experimental data were then used to validate the modelling of the Venturi scrubber in the context of optimization and extrapolation on the industrial scale of the washing unit. In order to estimate the cost of treatment in €/ MWh, the sizing of the equipment on an industrial scale has been made for two solvents in different cases in order to process to a technico-economical evaluation
Rios, de Anda Agustin. "Influence of the solvent sorption, additivation, and chemical modification on the molecular mobility dynamics of Polyamide 6,6 amorphous phase and its consequences on the tensile and impact strength properties of this polymer". Thesis, Lyon 1, 2012. http://www.theses.fr/2012LYO10259/document.
Texto completoThis work forms part of a project aimed to develop Polyamide 6,6(PA6,6)-based automotive fuel tanks. PA6,6 is a good candidate for technical applications since it possesses good thermo-mechanical properties compared to its weight. These formulations must exhibit good impermeable properties to classic gasoline, to biofuels (gasoline containing ethanol), and to water which is found in the atmosphere, while keeping good impact behavior.The scientific issues are the better understanding of PA6,6-solvent interactions in the case of a series of solvents having different sizes and polarities and also for a set of ternary mixtures composed of ethanol, toluene, and isooctane at various concentrations that model biofuels. The effect of these solvents on the glass transition temperature Tg (molecular mobility signature) was assessed. The effect of additivating or chemically-modifying PA6,6 on the impact and barrier properties of the polymer was studied.In this work, it was described how the nature of a solvent conditions its sorption and its plasticizing effect on PA6,6. It was also observed that the PA6,6 inter-chain interactions also condition the solvent sorption. Moreover, a thermodynamic approach describing the sorption and plasticizing effects of ternary mixtures in PA6,6 was considered and developed. It was also observed that PA6,6 mechanical properties depend or are related to the amorphous phase molecular mobility state
Zebiri, Boubakr. "Étude numérique des interactions onde de choc / couche limite dans les tuyères propulsives Shock-induced flow separation in an overexpanded supersonic planar nozzle A parallel high-order compressible flows solver with domain decomposition method in the generalized curvilinear coordinates system Analysis of shock-wave unsteadiness in conical supersonic nozzles". Thesis, Normandie, 2020. http://www.theses.fr/2020NORMIR06.
Texto completoThe need for a better understanding of the driving mechanism for the observed low-frequency unsteadiness in an over-expanded nozzle flows was discussed. The unsteady character of the shock wave/boundary layer remains an important practical challenge for the nozzle flow problems. Additionally, for a given incoming turbulent boundary layer, this kind of flow usually exhibits higher low-frequency shock motions which are less coupled from the timescales of the incoming turbulence. This may be good from an experimenter’s point of view, because of the difficulties in measuring higher frequencies, but it is more challenging from a computational point of view due to the need to obtain long time series to resolve low-frequency movements. In excellent agreement with the experimental findings, a very-long LES simulation run was carried out to demonstrate the existence of energetic broadband low-frequency motions near the separation point. Particular efforts were done in order to avoid any upstream low-frequency forcing, and it was explicitly demonstrated that the observed low-frequency shock oscillations were not connected with the inflow turbulence generation, ruling out the possibility of a numerical artefact. Different methods of spectral analysis and dynamic mode decomposition have been used to show that the timescales involved in such a mechanism are about two orders of magnitude larger than the time scales involved in the turbulence of the boundary layer, which is consistent with the observed low-frequency motions. Furthermore, those timescales were shown to be strongly modulated by the amount of reversed flow inside the separation bubble. This scenario can, in principle, explain both the low-frequency unsteadiness and its broadband nature
Libros sobre el tema "CHC solver"
Ri shi yu shi cha. Beijing: Ke xue chu ban she, 2011.
Buscar texto completoTai yang dian chi ji qi ying yong. [Peking]: Guo fang gong ye chu ban she, 1985.
Buscar texto completoComandante Che: Guerrilla soldier, commander, and strategist, 1956-1967. University Park, Pa: Pennsylvania State University Press, 2003.
Buscar texto completoRencontres du Vietnam (2nd 1995 Hô CHI Minh City, Vietnam). The sun and beyond: Proceedings of the second Rencontres du Vietnam, Hô Chi Minh City, Vietnam, October 22-28, 1995. Gif-sur Yvette, France: Editions Frontières, 1996.
Buscar texto completoOsborne, Mary Pope. Mo fa xiao che. Taibei Shi: Yuan liu chu ban shi ye gu fen you xian gong si, 2002.
Buscar texto completoAmberson, Mary Margaret McAllen. A brave boy and a good soldier: John C.C. Hill and the Texas expedition to Mier. Austin: Texas State Historical Association, 2006.
Buscar texto completoBo mo tai yang dian chi guan jian ke xue he ji shu: Key science and technology of thin film solar cells. Shanghai: Shanghai ke xue ji shu chu ban she, 2013.
Buscar texto completoYing Han Han Ying tai yang dian chi ci hui: English-Chinese Chinese-English vocabulary of solar cell. [Peking]: Neng yuan chu ban she, 1986.
Buscar texto completoMyeyeryakova, Vyera y Viktor Starodubov. CNC Metal-cutting Machines. ru: INFRA-M Academic Publishing LLC., 2015. http://dx.doi.org/10.12737/5721.
Texto completoChu ci yu shang gu li shi wen hua yan jiu: Zhongguo gu dai tai yang xun huan wen hua jie mi. Jinan: Qi Lu shu she, 1998.
Buscar texto completoCapítulos de libros sobre el tema "CHC solver"
Gurfinkel, Arie. "Program Verification with Constrained Horn Clauses (Invited Paper)". En Computer Aided Verification, 19–29. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13185-1_2.
Texto completoBlicha, Martin, Konstantin Britikov y Natasha Sharygina. "The Golem Horn Solver". En Computer Aided Verification, 209–23. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37703-7_10.
Texto completoZlatkin, Ilia y Grigory Fedyukovich. "Maximizing Branch Coverage with Constrained Horn Clauses". En Tools and Algorithms for the Construction and Analysis of Systems, 254–72. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99527-0_14.
Texto completoFedyukovich, Grigory y Gidon Ernst. "Bridging Arrays and ADTs in Recursive Proofs". En Tools and Algorithms for the Construction and Analysis of Systems, 24–42. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72013-1_2.
Texto completoGarcia-Contreras, Isabel, V. K. Hari Govind, Sharon Shoham y Arie Gurfinkel. "Fast Approximations of Quantifier Elimination". En Computer Aided Verification, 64–86. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37703-7_4.
Texto completoOppermann, Hermann y Matthias Hutter. "Au/Sn Solder". En Handbook of Wafer Bonding, 119–38. Weinheim, Germany: Wiley-VCH Verlag GmbH & Co. KGaA, 2012. http://dx.doi.org/10.1002/9783527644223.ch7.
Texto completoClarke, Sue. "The Illustrator as Visual Problem Solver". En A Companion to Illustration, 199–228. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2019. http://dx.doi.org/10.1002/9781119185574.ch9.
Texto completoBradley, Andrew M. "A Hybrid Multithreaded Direct Sparse Triangular Solver". En 2016 Proceedings of the Seventh SIAM Workshop on Combinatorial Scientific Computing, 13–22. Philadelphia, PA: Society for Industrial and Applied Mathematics, 2016. http://dx.doi.org/10.1137/1.9781611974690.ch2.
Texto completoGardi, Frédéric, Thierry Benoist, Julien Darlay, Bertrand Estellon y Romain Megel. "Toward an Optimization Solver Based on Neighborhood Search". En Mathematical Programming Solver Based on Local Search, 53–64. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2014. http://dx.doi.org/10.1002/9781118966464.ch3.
Texto completoFaella, Marco y Gennaro Parlato. "Reasoning About Data Trees Using CHCs". En Computer Aided Verification, 249–71. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13188-2_13.
Texto completoActas de conferencias sobre el tema "CHC solver"
Zhu, He, Stephen Magill y Suresh Jagannathan. "A data-driven CHC solver". En PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3192366.3192416.
Texto completoTong, Timothy, Mohsen Abou-Ellail, Yuan Li y Karam R. Beshay. "Numerical Computation of Reacting Flow in Porous Burners With an Extended CH4-Air Reaction Mechanism". En ASME 2004 Heat Transfer/Fluids Engineering Summer Conference. ASMEDC, 2004. http://dx.doi.org/10.1115/ht-fed2004-56012.
Texto completoTong, Timothy W., Mohsen M. M. Abou-Ellail, Yuan Li y Karam R. Beshay. "Numerical Simulation of Reacting Flows in Radiant Porous Burners". En ASME 2005 Summer Heat Transfer Conference collocated with the ASME 2005 Pacific Rim Technical Conference and Exhibition on Integration and Packaging of MEMS, NEMS, and Electronic Systems. ASMEDC, 2005. http://dx.doi.org/10.1115/ht2005-72008.
Texto completoLu, Chao, Zhao Hu, Bei Xie y Ning Zhang. "Quantum CFD Simulations for Heat Transfer Applications". En ASME 2020 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/imece2020-23915.
Texto completoAmaral, Sergio, Tom Verstraete, Rene´ Van den Braembussche y Tony Arts. "Design and Optimization of the Internal Cooling Channels of a HP Turbine Blade: Part I—Methodology". En ASME Turbo Expo 2008: Power for Land, Sea, and Air. ASMEDC, 2008. http://dx.doi.org/10.1115/gt2008-51077.
Texto completoGoormans-Francke, Colinda, Guy Carabin y Charles Hirsch. "Mesh Generation for Conjugate Heat Transfer Analysis of a Cooled High Pressure Turbine Stage". En ASME Turbo Expo 2008: Power for Land, Sea, and Air. ASMEDC, 2008. http://dx.doi.org/10.1115/gt2008-50660.
Texto completoMa, Ming y Hamid Emami-Meybodi. "Diffusion-Based Multiphase Multicomponent Modeling of Cyclic Solvent Injection in Ultratight Reservoirs". En SPE Annual Technical Conference and Exhibition. SPE, 2022. http://dx.doi.org/10.2118/210480-ms.
Texto completoTarokh, A., A. A. Mohamad y L. Jiang. "Non-Premixed CH4 Combustion in a Porous Medium". En ASME 2009 International Mechanical Engineering Congress and Exposition. ASMEDC, 2009. http://dx.doi.org/10.1115/imece2009-12945.
Texto completoGunson, M. R., M. C. Abrams, C. B. Farmer, L. L. Lowes, C. P. Rinsland y R. Zander. "Results from the flight of the Atmospheric Trace Molecule Spectroscopy on the ATLAS-1 Space Shuttle Mission". En Optical Remote Sensing of the Atmosphere. Washington, D.C.: Optica Publishing Group, 1993. http://dx.doi.org/10.1364/orsa.1993.ma.4.
Texto completoKim, Jong Won, Kyu Sung Sim, Hyun Myung Son y Kwang Deog Jung. "Thermochemical Hydrogen Production Using Ni-Ferrite and CH4". En ASME 2003 International Solar Energy Conference. ASMEDC, 2003. http://dx.doi.org/10.1115/isec2003-44084.
Texto completoInformes sobre el tema "CHC solver"
Newell, J. D. Impact of the next generation solvent on DWPF CPC processing. Office of Scientific and Technical Information (OSTI), febrero de 2013. http://dx.doi.org/10.2172/1063805.
Texto completoTownley, David y Paul Gee. Combined Heat & Power Using the Infinia Concentrated Solar CHP PowerDish System. Fort Belvoir, VA: Defense Technical Information Center, agosto de 2013. http://dx.doi.org/10.21236/ada607481.
Texto completoErvin, Kelly, Karl Smink, Bryan Vu y Jonathan Boone. Ship Simulator of the Future in virtual reality. Engineer Research and Development Center (U.S.), septiembre de 2022. http://dx.doi.org/10.21079/11681/45502.
Texto completoNewell, J., D. Peeler, T. Edwards, M. Hay y M. Stone. DWPF FLOWSHEET STUDIES WITH SIMULANT TO DETERMINE THE IMPACT OF NEXT GENERATION SOLVENT ON THE CPC PROCESS AND GLASS FORMULATION. Office of Scientific and Technical Information (OSTI), junio de 2011. http://dx.doi.org/10.2172/1018485.
Texto completo