检索结果-内蒙古大学图书馆

Notre Dame Journal of Formal Logic 2007年第3期48卷 317-347页

作者： Hirschfeldt, Denis Miller, Russell Podzorov, Sergei Department of Mathematics University of Chicago Chicago IL 60637 5734 S University Ave United States Department of Mathematics Queens College-CUNY Flushing NY 11367 65-30 Kissena Blvd United States Ph.D. Program in Computer Science Graduate Center of CUNY New York NY 10016 365 Fifth Avenue United States Department of Mechanics and Mathematics Novosibirsk State University Novosibirsk 630090 Pirogova St 2 Russian Federation

We give a straightforward computable-model-theoretic definition of a property of Δ02 sets called order-computability. We then prove various results about these sets which suggest that, simple though the definition is... 详细信息

We give a straightforward computable-model-theoretic definition of a property of Δ⁰2 sets called order-computability. We then prove various results about these sets which suggest that, simple though the definition is, the property defies any easy characterization in pure computability theory. The most striking example is the construction of two computably isomorphic ce. sets, one of which is order-computable and the other not. © 2007 University of Notre Dame.

关键词： Computable model theory Limitwise-monotonic functions Order-computability

来源：评论

学校读者我要写书评

暂无评论

A comparison between traditional shift-and-add (SAA) and point-by-point back projection (BP) - Relevance to morphology of microcalcifications for isocentric motion in Digital Breast tomosynthesis (DBT)

A comparison between traditional shift-and-add (SAA) and poi...

引用

7th IEEE International Conference on Bioinformatics and Bioengineering, BIBE

作者： Chen, Ying Lo, Joseph Y Dobbins III, James T. Department of Electrical and Computer Engineering Southern Illinois University Carbondale Carbondale IL 62901 United States Department of Biomedical Engineering Duke University Duke University Medical Center Durham NC 27710 United States Duke Advanced Imaging Laboratories Duke University Duke University Medical Center Durham NC 27710 United States Medical Physics Graduate Program Duke University Duke University Medical Center Durham NC 27710 United States

ISBN: (纸本)1424415098

Digital breast tomosynthesis (DBT) is a three-dimensional imaging technique providing an arbitrary set of reconstruction planes in the breast with limited series of projection images. This paper describes a comparison between traditional shift-and-add (SAA) and point-by-point back projection (BP) algorithms by impulse response and modulation transfer function (MTF) analysis. Due to the partial isocentric motion of the x-ray tube in DBT, structures such as microcalcifications appear slightly blurred in traditional shift-and-add (SAA) images in the direction perpendicular to the direction of tube 's motion. Point-by-point BP improved rendition of microcalcifications. The sharpness and morphology of calcifications were improved in a human subject images. A Filtered Back Projection (FBP) deblurring approach was used to demonstrate deblurred point-by-point BP tomosynthesis images. The point-by-point BP rather than traditional SAA should be considered as the foundation of further deblurring algorithms for DBT reconstruction. ©2007 IEEE.

关键词： Impulse response

来源：评论

学校读者我要写书评

暂无评论

AC 2007-1771: Mentoring new faculty: How much, how often, and how?

AC 2007-1771: Mentoring new faculty: How much, how often, an...

引用

114th Annual ASEE Conference and Exposition, 2007

作者： Jackson, Andrew Chin, Robert Coddington, Charles Petersen, Paul Hamid, Fonooni East Carolina University United States Department of Technology Systems College of Technology and Computer Science East Carolina University United States East Carolina University Indiana State University Graduate Faculties United States EDGJ Department of Technology Systems East Carolina University United States Faculty Senate East Carolina University United States Department of Technology East Carolina University College of Technology and Computer Science United States Cleveland State University Fenn College of Engineering United States Department of Technology Systems Science Occupational Safety Program East Carolina University Greenville NC United States Academic Practice Specialty Educational Standards Committee Task Force ASSE

The Department of Technology Systems (TSYS) at East Carolina University has implemented a new faculty mentoring process to enable junior faculty members to learn from senior faculty members as they prepare for a career in academia. Five tenured professors and associate professors in the TSYS department have recently established a new process to mentor faculty members within the department who have begun not yet completed their initial tenure process at a major university. This process includes a series of workshops regarding academic performance expectations during the early stages of an academic career. Our commitment to new faculty takes on several related, yet distinct features. Examples of these initiatives include: 1) reduced workloads for new faculty for the first two years to enable them to generate individual and collaborative research activities, funded grants, and publications, 2) periodic university-wide training to learn policies and procedures that affect day-to-day activities on a college campus, 3) periodic workshops hosted by senior faculty mentors, and 4) one-on-one discussions between senior faculty members and junior faculty members to encourage candid dialogue between professional colleagues. Another feature of the mentorship philosophy is a proposal to the dean of the college to offer newly hired faculty a contractual start date of July 1steach year instead of starting their contract one week prior to the start of fall classes, normally in late August. This additional period of time will be used to train new faculty in essential policies and procedures, to complete a variety of administrative tasks on campus, to get a head start on preparing for classes in the fall, and cleaning up those supplemental tasks that accompany every move to a new location. The goal of this early commitment to new faculty is to reduce the stress associated with preparing for a new course, in a new environment, with a new set of operating procedures. This will also enab

关键词： Engineering education

来源：评论

学校读者我要写书评

暂无评论

Contributors to the Lab on a Chip cell and tissue engineering in microsystems special issue

引用

Lab on a Chip 2007年第6期7卷 667-671页

作者： Bhatia, Sangeeta N. Chen, Christoper Bashir, Rashid Beebe, David J. Desai, Tejal Gottwald, Eric Khademhosseini, Ali Langer, Robert S. Piel, Matthieu Takayama, Shuichi Thorsen, Todd Tien, Joe Voldman, Joel Vunjak-Novakovic, Gordana Wu, Mingming Yu, Hanry Massachusetts Institute of Technology Harvard-MIT Division of Health Sciences and Technology Department of Electrical Engineering and Computer Science United States Laboratory for Multiscale Regenerative Technologies United States Department of Innovation University of Pennsylvania Department of Bioengineering United States Cell Biology and Physiology Program Cell Growth and Cancer Program Tissue Microfabrication Laboratory Department of Electrical and Computer Engineering and Biomedical Engineering Purdue University United States Department of Electronics University of Glasgow United Kingdom Department of Physiology and Bioengineering University of California San Francisco CA United States California Institute for Quantitative Biomedical Research UCSF/UC Berkeley Graduate Group in Bioengineering United States Laboratory of Therapeutic Micro and Nanotechnology Institute for Biological Interfaces Germany 3D-Cell Culture Techniques Group Institute for Biological Interfaces Germany Department of Medicine and Health Sciences and Technology Massachusetts Institute of Technology (MIT) United States Institut Curie UMR 144 IC/CNRS France Biomedical Engineering Department University of Michigan United States Department of Biomedical Engineering Macromolecular Science and Engineering Program United States Sibley School of Mechanical and Aerospace Engineering School of Chemical and Molecular Engineering Cornell University United States National University of Singapore Singapore Institute of Bioengineering and Nanotechnology A STAR Singapore

A graphical abstract is available for this content

关键词：

来源：评论

学校读者我要写书评

暂无评论

Computational Techniques for Accompaniment and Measuring of Otology Pathologies

Computational Techniques for Accompaniment and Measuring of ...

引用

Annual IEEE Symposium on computer-Based Medical Systems

作者： V. Heck A.v. Wangenheim D.D. Abdala E. Comunello S.S. Costa C.C. Dornelles Computer Science and Statistics Department Universidade Federal de Santa Catarina Florianópolis Santa Catarina Brazil Cyclops Group – Laboratory of Image Processing and Virtual Reality Universidade Federal de Santa Catarina Florianópolis Santa Catarina Brazil Graduate Program in Applied Computer Science Universidade do Vale do Itajaí Florianópolis Santa Catarina Brazil Otitis Media Center of Brazil Universidade Federal do Rio Grande do Sul - Medical School Porto Alegre Rio Grande do Sul Brazil

The following article presents a computational methodology to assist the assessment of tympanic pathologies, particularly chronic otitis media, based on digital otoscopic images. A computational system which implements the methodology is described. This approach does not impose additional effort to the acquisition protocol and diagnosis of tympanic pathologies. In preliminary tests, it has shown precision and easiness of use. The presented methodology and system were tested by the Otitis Media Center of Brazil (***) with a case base of 660 patients, resulting in 1320 bilateral tympanic images.

关键词： Pathology Laboratories Image processing Virtual reality computer science Statistics Biomedical imaging Medical diagnostic imaging Area measurement Protocols

来源：评论

学校读者我要写书评

暂无评论

A constant revenue model for telecommunication networks

A constant revenue model for telecommunication networks

引用

International Conference on Networking, International Conference on Systems andInternational Conference on Mobile Communications and Learning Technologies, ICN/ICONS/MCL'06

作者： Sukasdadi, Hapsara R. Verma, Pramode K. Graduate Program in Telecommunication System Department of Electrical and Computer Engineering

ISBN: (纸本)0769525520

It is well known that the quality of service provided by a telecommunication network as measured by the probability of blocking decreases rapidly when the incident traffic exceeds the design limits of the network. A higher probability of blocking results in reduced throughput and loss of revenue for the service provider. This paper presents a mechanism that introduces priority in a telephone system with the objective of providing a defined grade of service to priority traffic carrying a higher price tag. The non-priority traffic carries a lower price tag and a lower grade of service. The proposed pricing scheme maintains the overall revenue associated with the network at a constant level over a wide range of incident traffic. © 2006 IEEE.

关键词： Telecommunication networks

来源：评论

学校读者我要写书评

暂无评论

Software risk management:: a process model and a tool

Software risk management:: a process model and a tool

引用

IFIP Working Conference on Software Engineering Techniques

作者： Kirner, Teren G. Goncalves, Lourdes E. Graduate Program in Computer Science Methodist University of Piracicaba SP Brazil

ISBN: (纸本)0387393870

This paper is concerned with the risks associated with the software development process. A model (GRisk-Modeo is proposed for the management of such risks and a software tool (GRisk-Tool), developed to support the model, is described. Both the method and the tool were created with the participation of senior managers and software engineers of software factories. The model and the tool serve as effective instruments for achieving the continuous improvement of software processes and products.

关键词： Risk management

来源：评论

学校读者我要写书评

暂无评论

Decision Fusion of Circulating Markers for Breast Cancer Detection in Premenopausal Women

Decision Fusion of Circulating Markers for Breast Cancer Det...

引用

IEEE Symposium on Bioinformatics and Bioengineering (BIBE)

作者： Jonathan L. Jesneck Sayan Mukherjee Loren W. Nolte Anna E. Lokshin Jeffrey R. Marks Joseph Lo Duke Advanced Imaging Labs Institute for Genome Sciences and Policy Department of Computer Science Duke University USA Department of Electrical and Computer Engineering Division of Hematology/Oncology University of Pittsburgh School of Medicine Pittsburgh PA USA Division of Hematology/Oncology University of Pittsburgh Cancer Institute Pittsburgh PA USA Division of Hematology/Oncology University of Pittsburgh Cancer Institute Pittsburgh PA Institute for Genome Sciences and Policy Department of Experimental Surgery Medical Center Duke University USA Department of Experimental Surgery Duke University Medical Center Medical Physics Graduate Program Duke University Durham NC USA

Current mammographic screening for breast cancer is less effective for younger women. To complement mammography for premenopausal women, we investigated the feasibility screening test using 98 blood serum proteins. Because the data set was very noisy and contained only weak features, we used a classifier designed for noisy data: decision fusion. Decision fusion outperformed both a support vector machine (SVM) and linear regression with forward stepwise feature selection on all three two-class classification tasks: normal tissue vs. cancer, normal tissue vs. benign lesions, and benign lesions vs. cancer. Decision fusion detected cancer moderately well (AUC=0.84 on normal vs. cancer), demonstrating promise as a screening tool. Decision fusion also detected benign lesions similarly well (AUC=0.83 on normal vs. benign lesions) and was the only classifier to achieve any success in separating benign from malignant lesions (AUC=0.64 on benign vs. cancer). The classification results suggest that the assayed proteins are more indicative of a secondary effect, such as immune response, rather than specific for breast cancer. In conclusion, the decision fusion classifier demonstrated some promise in detecting breast lesions and outperformed other classifiers, especially for the very noisy classification problem of distinguishing benign from malignant lesions.

关键词： Breast cancer Cancer detection Lesions Proteins Support vector machines Support vector machine classification Mammography Testing Blood Linear regression

来源：评论

学校读者我要写书评

暂无评论

An integrated model of top-down and bottom-up attention for optimizing detection speed

An integrated model of top-down and bottom-up attention for ...

引用

2006 IEEE computer Society Conference on computer Vision and Pattern Recognition, CVPR 2006

作者： Navalpakkam, Vidhya Itti, Laurent Dept. of Computer Science Neuroscience Graduate Program University of Southern California

ISBN: (纸本)0769525970

Integration of goal-driven, top-down attention and image-driven, bottom-up attention is crucial for visual search. Yet, previous research has mostly focused on models that are purely top-down or bottom-up. Here, we propose a new model that combines both. The bottom-up component computes the visual salience of scene locations in different feature maps extracted at multiple spatial scales. The top-down component uses accumulated statistical knowledge of the visual features of the desired search target and background clutter, to optimally tune the bottom-up maps such that target detection speed is maximized. Testing on 750 artificial and natural scenes shows that the model's predictions are consistent with a large body of available literature on human psychophysics of visual search. These results suggest that our model may provide good approximation of how humans combine bottom-up and top-down cues such as to optimize target detection speed. © 2006 IEEE.

关键词： Search engines

来源：评论

学校读者我要写书评

暂无评论

引用

2006 ASME International Design Engineering Technical Conferences and computers and Information In Engineering Conference, DETC2006

作者： Jingsheng, Zhang Smith, Shana Human-Computer Interaction Graduate Program Iowa State University United States

ISBN: (纸本)079183784X

Shape matching is one of the fundamental problems in content-based 3D shape retrieval. Since there are typically a large number of possible matches in a shape database, there is a crucial need to perform shape matching efficiently. As a result, shapes must be reduced into a simpler shape representation, and computational complexity is one of the most important criteria for evaluating 3D shape representations. To meet the need, the investigators have implemented a new effective and efficient approach for 3D shape matching, which uses a simplified octree representation of 3D mesh models. The simplified octree representation was developed to improve time and space efficiency over prior representations. In addition, octree representations are rapidly becoming the standard file format for delivering 3D content across the Internet. The proposed approach stores octree information in XML files, rather than using a new data file type, to facilitate comparing models over the Internet. New methods for normalizing models, generating octrees, and comparing models were developed. The proposed approach allows users to efficiently exchange shape information and compare models over the Internet, in standardized data and data file formats, without transferring exact model files. The proposed approach is the first step in a project which will build a complete 3D model database and data retrieval system, which can be incorporated with other data mining techniques. Copyright © 2006 by ASME.

关键词： Pattern matching

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：