نتایج جستجو برای: bing
تعداد نتایج: 1501 فیلتر نتایج به سال:
We present v2c, a tool for translating Verilog to C. The tool accepts synthesizable Verilog as input and generates a word-level C program as an output, which we call the software netlist. The generated program is cycle-accurate and bit precise. The translation is based on the synthesis semantics of Verilog. There are several use cases for v2c, ranging from hardware property verification, coveri...
The Lorentz structure of the tau lepton’s charged-current can almost be completely determined by use of stage-two spin-correlation functions for the {ρ−, ρ+}and {a1 , a1 } decay modes. It is possible to test for a “(V − A) + something” structure in the JLepton current, so as to bound the scales Λ for “new physics” such as arising from tau weak magnetism, weak electricity, and/or second-class cu...
purpose: the purpose of the present study is to investigate the image search and retrieval problems in selected search engines in relation to the persian writing style challenges. methodology: this study is an applied one. in orderto answer the questions an evaluative method and direct observation were used. the aim of the research is to explore the morphological and semantic problems of persia...
Kohta Murase, Peter Mészáros, and Bing Zhang Yukawa Institute for Theoretical Physics, Kyoto University, Kyoto, 606-8502, Japan Department of Astronomy & Astrophysics; Department of Physics; Center for Particle Astrophysics; Pennsylvania State University, University Park, Pennsylvania 16802, USA Department of Physics and Astronomy, University of Nevada at Las Vegas, Las Vegas, Nevada 89154, USA...
Dynamic thalamus parcellation based on resting-state fMRI data Bing Ji, Zhihao Li, Kaiming Li, Longchuan Li, and Xiaoping Hu Wallace H. Coulter Dept. of Biomedical Engineering, Emory University School of Medicine, Atlanta, GA, United States, University of Shanghai for Science & Technology, 200093, Shanghai, China, Department of Pediatrics, Marcus Autism Center, Children's Healthcare of Altanta,...
Distribution ∗ YANG Han-Xin( )1∗∗, WANG Bing-Hong( )1,3∗∗∗, LIU Jian-Guo( ), HAN Xiao-Pu( ), ZHOU Tao( ) Department of Modern Physics and Nonlinear Science Center, University of Science and Technology of China, Hefei 230026 Department of Physics, University of Fribourg, Chemin du Muse 3, CH-1700 Fribourg, Switzerland Institute of Complex Adaptive System, Shanghai Academy of System Science, Shan...
Coordinating Lead Authors: Jonathan A. Patz, Ulisses E.C. Confalonieri Lead Authors: Felix P. Amerasinghe, Kaw Bing Chua, Peter Daszak, Alex D. Hyatt, David Molyneux, Madeleine Thomson, Dr. Laurent Yameogo, Mwelecele-Malecela-Lazaro, Pedro Vasconcelos, Yasmin Rubio-Palis Contributing Authors: Diarmid Campbell-Lendrum, Thomas Jaenisch, Hassane Mahamat, Clifford Mutero, David Waltner-Toews, Chris...
Background/Introduction Anomalies of ventriculoarterial connection with ventricular septal defect (VSD) and left ventricular outflow tract (LVOT) obstruction such as transposition of the great arteries, double-outlet right ventricle, double-outlet left ventricle, and Taussig-Bing anomaly had a wide variety of spectrum, and several operative techniques have been performed according to diverse an...
Wei Song, Yan Huang, Nai-Le Liu, and Zeng-Bing Chen 3 Hefei National Laboratory for Physical Sciences at Microscale and Department of Modern Physics, University of Science and Technology of China, Hefei, Anhui 230026, China Department of Computer Science and Technology, University of Science and Technology of China, Hefei, Anhui 230026, China Physikalisches Institut, Universität Heidelberg, Phi...
1. Full proofs for every statement made in the main body. 2. Additional statements that introduce more details and more techniques for analyzing bi-Lipschitz learning settings. 3. Empirical results from the Machine Translation domain that indicate an underlying geometric structure in human and machine translation maps. The empirical results also show these properties for two " experts " : (1) G...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید