检索结果-南通市图书馆

Debugging Concurrent Software： Advances and Challenges

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2016年第5期31卷 861-868页

作者： jeff Huang Charles Zhang Department of Computer Science and Engineering Texas A&M University College Station TX 77843 U.S.A. Department of Computer Science and Engineering Hong Kong University of Science and Technology Hong Kong China

Concurrency debugging is an extremely important yet challenging problem that has been hampering developer productivity and software reliability in the multicore era. We have worked on this problem in the past eight years and have developed several effective methods and automated tools for helping developers debugging shared memory concurrent programs. This article discusses challenges in concurrency debugging and summarizes our research contributions in four important directions： concurrency bug reproduction, detection, understanding, and fixing. It also discusses other recent advances in tackling these challenges.

关键词： debugging concurrency record and replay

Game theory, learning, and control systems

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

National Science Review 2020年第7期7卷 1118-1119页

作者： jeff S.Shamma Computer Electrical and Mathematical Science and Engineering Division King Abdullah University of Science and Technology

Game theory is the study of interacting decision makers, whereas control systems involve the design of intelligent decision-making *** many control systems are interconnected, the result can be viewed through the lens of game theory. This article discusses both long standing connections between these fields as well as new connections stemming from emerging applications.

关键词： Game theory

Towards Physarum Robots: Computing and Manipulating on Water Surface

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Bionic Engineering 2008年第4期5卷 348-357页

作者： Andrew Adamatzky jeff Jones Department of Computer Science University of the West of England

Plasmodium of Physarum polycephalum is an ideal biological substrate for implementing concurrent anu parauel computation, including combinatorial geometry and optimization on graphs. The scoping experiments on Physarum computing in conditions of minimal friction, on the water surface were performed. The laboratory and computer experimental results show that plasmodium of Physarum is capable of computing a basic spanning tree and manipulating of light-weight objects. We speculate that our results pave the pathways towards the design and implementation of amorphous biological robots.

关键词： biological computing amorphous robots unconventional computation amoeba

Spatial distribution of δ2H and δ18O values in the hydrologic cycle of the Nile Basin

在线全文

学校读者我要写书评

暂无评论

Journal of Arid Land 2015年第2期7卷 133-145页

作者： jeff B LANGMAN School of Science and Engineering American University in Cairo Department of Geological Sciences University of Idaho

Existing δ2H and δ18O values for precipitation and surface water in the Nile Basin were used to analyze precipitation inputs and the influence of evaporation on the isotopic signal of the Nile River and its tributaries. The goal of the data analysis was to better understand basin processes that influence seasonal streamflow for the source waters of the Nile River, because climate and hydrologic models have continued to produce high uncertainty in the prediction of precipitation and streamflow in the Nile Basin. An evaluation of differences in precipitation δ2H and δ18O values through linear regression and distribution analysis indicate variation by region and season in the isotopic signal of precipitation across the Nile Basin. The White Nile Basin receives precipitation with a more depleted isotopic signal compared to the Blue Nile Basin. The hot temperatures of the Sahelian spring produce a greater evaporation signal in the precipitation isotope distribution compared to precipitation in the Sahara/Mediterranean region, which can be influenced by storms moving in from the Mediterranean Sea. The larger evaporative effect is reversed for the two regions in summer because of the cooling of the Sahel from inflow of Indian Ocean monsoon moisture that predominantly influences the climate of the Blue Nile Basin. The regional precipitation isotopic signals convey to each region＇s streamflow, which is further modified by additional evaporation according to the local climate. Isotope ratios for White Nile streamflow are significantly altered by evaporation in the Sudd, but this isotopic signal is minimized for streamflow in the Nile River during the winter, spring and summer seasons because of the flow dominance of the Blue Nile. During fall, the contribution from the White Nile may exceed that of the Blue Nile, and the heavier isotopic signal of the White Nile becomes apparent. The variation in climatic conditions of the Nile River Basin provides a means of identifying mech

关键词： Nile River arid environment deuterium excess regional climate model uncertainty evaporation isotope effects

Correlation between MEG and BOLD fMRI signals induced by visual flicker stimuli

在线全文

学校读者我要写书评

暂无评论

仪器仪表学报 2007年第4期28卷 577-582页

作者： Chu Renxin Holroyd Tom Duyn jeff Department of Radiology Harvard Medical School Boston Massachusetts USA MEG Core Facility National Institute of Mental Health National Institutes of Health Bethesda Maryland USA Advanced MRI Section LFMI National Institute of Neurological Disorders and Stroke National Institutes of Health Bethesda Maryland USA

The goal of this work was to investigate how the MEG signal amplitude correlates with that of BOLD fMRI. To investigate the correlation between fMRI and macroscopic electrical activity, BOLD fMRI and MEG was performed on the same subjects (n=5). A visual flicker stimulus of varying temporal frequency was used to elicit neural responses in early visual areas. A strong similarity was observed in frequency tuning curves between both modalities. Although, averaged over subjects, the BOLD tuning curve was somewhat broader than MEG, both BOLD and MEG had maxima at a flicker frequency of 10 Hz. Also, we measured the first and second harmonic components as the stimuli frequency by MEG. In the low stimuli frequency (less than 6 Hz), the second harmonic has comparable amplitude with the first harmonic, which implies that neural frequency response is nonlinear and has more nonlinear components in low frequency than in high frequency.

关键词：视频 fMRI MEG 信号

Introduction to IEEE 802.3av 10Gbit/s Ethernet Passive Optical Networks(10G EPON)

在线全文

学校读者我要写书评

暂无评论

China Communications 2009年第4期6卷 136-147页

作者： Steven Scott Gorshe jeff Mandin ICs for Optical Transmission and Access Systems United States Transmission Access and Optical Systems Technical Committee United States PMC-Sierra's Fiber-to-the-Home Business Unit United States

In the competitive broadband access environment, providing access to"triple play"services(voice, video, and high-speed data) is an important way for both telephone and CATV network providers to increase their *** Optical Networks(PONs) are a cost-effective, flexible, and future-proof medium for providing triple play *** 1 Gbit/s IEEE 802.3ah Ethernet PON(EPON) and ITU-T G.984 2.5 Gbit/ s PON(GPON) are currently being deployed for triple play service ***, high definition switched digital video service such as IPTV will require more *** paper provides a tutorial overview of the IEEE 802.3av 10Gbit/s Ethernet PON(10G EPON) standard, including the ways in which it differs from EPON.

关键词： IEEE 以太网计算机网络电子邮件

Characterization of functional transposable element enhancers in acute myeloid leukemia

在线全文

学校读者我要写书评

暂无评论

Science China(Life Sciences) 2020年第5期63卷 675-687页

作者： Yingying Zeng Yaqiang Cao Rivka Sukenik halevy Picard Nguyen Denghui Liu Xiaoli Zhang Nadav Ahituv Jing-Dong JHan CAS Key Laboratory of Computational Biology CAS-MPG Partner Institute for Computational BiologyShanghai Institute of Nutrition and HealthChinese Academy of Sciences Center for Excellence in Molecular Cell ScienceCollaborative Innovation Center for Genetics and Developmental BiologyShanghai Institutes for Biological SciencesChinese Academy of SciencesShanghai 200031China Department of Bioengineering and Therapeutic Sciences University of California San FranciscoSan Francisco 94158USA Institute for Human Genetics University of California San FranciscoSan Francisco 94143USA Sackler School of Medicine Tel-Aviv UniversityTel Aviv 6997801Israel Peking-Tsinghua Center for Life Sciences Academy for Advanced Interdisciplinary StudiesCenter for Quantitative BiologyPeking UniversityBeijing 100871China

Transposable elements(TEs)have been shown to have important gene regulatory functions and their alteration could lead to disease *** myeloid leukemia(AML)develops as a consequence of a series of genetic changes in hematopoietic precursor cells,including mutations in epigenetic ***,we set out to study the gene regulatory role of TEs in *** first explored the epigenetic landscape of TEs in AML patients using ATAC-seq *** show that a large number of TEs in general,and more specifically mammalian-wide interspersed repeats(MIRs),are more enriched in AML cells than in normal blood *** obtained a similar finding when analyzing histone modification data in AML *** Ontology enrichment analysis showed that genes near MIRs in open chromatin regions are involved in *** functionally validate their regulatory role,we selected 19 MIR regions in AML cells,and tested them for enhancer activity in an AML cell line(Kasumi-1)and a chronic myeloid leukemia(CML)cell line(K562);the results revealed several MIRs to be functional *** together,our results suggest that TEs are potentially involved in myeloid leukemogenesis and highlight these sequences as potential candidates harboring AML-associated variation.

关键词： transposable element enhancer promoter MIR acute myeloid leukemia

Closed World Reasoning for OWL2 with NBox

在线全文

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2010年第6期15卷 692-701页

作者： jeff Z. PAN Department of Computing Science University of Aberdeen

This paper describes the problem of doing description logic （DL） reasoning with partially closed world. The issue was addressed by extending the syntax of DL SROIQ with an NBox, which specifies the predicates to close, extending the semantics with the idea of negation as failure, reducing the closed world reasoning to incremental reasoning on classical DL ontologies, and applying the syntactic approximation technology to improve the reasoning performance. Compared with the existing DBox approach, which corresponds to the relation database, the NBox approach supports deduction on closed concepts and roles. Also, the approximate reasoning can reduce reasoning complexity from N2EXPTIME-complete to PTIME-complete while preserving the correctness of reasoning for ontologies with certain properties.

关键词： ontology closed world reasoning approximation

Analysis of a Class of Symmetric Equilibrium Configurations for a Territorial Model

在线全文

学校读者我要写书评

暂无评论

Numerical Mathematics(Theory,Methods and Applications) 2010年第2期3卷 143-161页

作者： Michael Busch jeff Moehlis Department of Mechanical Engineering University of California

Motivated by an animal territoriality model,we consider a centroidal Voronoi tessellation algorithm from a dynamical systems *** doing so,we discuss the stability of an aligned equilibrium configuration for a rectangular domain that exhibits interesting symmetry *** also demonstrate the procedure for performing a center manifold reduction on the system to extract a set of coordinates which capture the long term dynamics when the system is close to a *** of the system restricted to the center manifold are then classified and compared to numerical *** we analyze a specific set-up,these methods can in principle be applied to any bifurcation point of any equilibrium for any domain.

关键词： Territorial behavior Voronoi tessellations bifurcation center manifold reduction.