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

arXiv 2018年

作者： Albert, A. André, M. Anghinolfi, M. Anton, G. Ardid, M. Aubert, J.-J. Aublin, J. Avgitas, T. Baret, B. Barrios-Martí, J. Basa, S. Belhorma, B. Bertin, V. Biagi, S. Bormuth, R. Boumaaza, J. Bourret, S. Bouwhuis, M.C. Brânzaş, H. Bruijn, R. Brunner, J. Busto, J. Capone, A. Caramete, L. Carr, J. Celli, S. Chabab, M. El Moursli, R. Cherkaoui Chiarusi, T. Circella, M. Coelho, J.A.B. Coleiro, A. Colomer, M. Coniglione, R. Costantini, H. Coyle, P. Creusot, A. Díaz, A.F. Deschamps, A. Distefano, C. Di Palma, I. Domi, A. Donzaud, C. Dornic, D. Drouhin, D. Eberl, T. El Bojaddaini, I. El Khayati, N. Elsässer, D. Enzenhöfer, A. Ettahiri, A. Fassi, F. Felis, I. Fermani, P. Ferrara, G. Fusco, L. Gay, P. Glotin, H. Grégoire, T. Ruiz, R. Gracia Graf, K. Hallmann, S. van Haren, H. Heijboer, A.J. Hello, Y. Hernández-Rey, J.J. Hößl, J. Hofestädt, J. Illuminati, G. de Jong, M. Jongen, M. Kadler, M. Kalekin, O. Katz, U. Khan-Chowdhury, N.R. Kouchner, A. Kreter, M. Kreykenbohm, I. Kulikovskiy, V. Lachaud, C. Lahmann, R. Lefèvre, D. Leonora, E. Levi, G. Lotze, M. Loucatos, S. Marcelin, M. Margiotta, A. Marinelli, A. Martínez-Mora, J.A. Mele, R. Melis, K. Migliozzi, P. Moussa, A. Navas, S. Nezri, E. Nuñez, A. Organokov, M. Pavalaş, G.E. Pellegrino, C. Piattelli, P. Popa, V. Pradier, T. Quinn, L. Racca, C. Randazzo, N. Riccobene, G. Sánchez-Losa, A. Saldaña, M. Salvadori, I. Samtleben, D.F.E. Sanguineti, M. Sapienza, P. Schüssler, F. Spurio, M. Stolarczyk, Th. Taiuti, M. Tayalati, Y. Trovato, A. Vallage, B. van Elewyck, V. Versari, F. Vivolo, D. Wilms, J. Zaborov, D. Zornoza, J.D. Zúñiga, J. Université de Strasbourg CNRS IPHC UMR 7178 StrasbourgF-67000 France Technical University of Catalonia Laboratory of Applied Bioacoustics Rambla Exposició Vilanova i la Geltrú Barcelona08800 Spain INFN - Sezione di Genova Via Dodecaneso 33 Genova16146 Italy Friedrich-Alexander-Universität Erlangen-Nürnberg Erlangen Centre for Astroparticle Physics Erwin-Rommel-Str. 1 Erlangen91058 Germany Universitat Politècnica de València C/ Paranimf 1 Gandia46730 Spain Aix Marseille Univ CNRS/IN2P3 CPPM Marseille France APC Univ Paris Diderot CNRS/IN2P3 CEA/Irfu Obs de Paris Sorbonne Paris Cité France c/ Catedrático José Beltrán 2 PaternaValenciaE-46980 Spain LAM - Laboratoire d’Astrophysique de Marseille Pôle de l’Étoile Site de Château-Gombert rue Frédéric Joliot-Curie 38 Marseille Cedex 1313388 France National Center for Energy Sciences and Nuclear Techniques B.P.1382 R. P. Rabat10001 Morocco Via S. Sofia 62 Catania95123 Italy Nikhef Science Park Amsterdam Netherlands Huygens-Kamerlingh Onnes Laboratorium Universiteit Leiden Netherlands University Mohammed V in Rabat Faculty of Sciences 4 av. Ibn Battouta B.P. 1014 R.P Rabat10000 Morocco Institute of Space Science Bucharest MagureleRO-077125 Romania Universiteit van Amsterdam Instituut voor Hoge-Energie Fysica Science Park 105 Amsterdam1098 XG Netherlands qINFN - Sezione di Roma P.le Aldo Moro 2 Roma00185 Italy Dipartimento di Fisica dell’Università La Sapienza P.le Aldo Moro 2 Roma00185 Italy Gran Sasso Science Institute Viale Francesco Crispi 7 L’Aquila00167 Italy LPHEA Faculty of Science - Semlali Cadi Ayyad University P.O.B. 2390 Marrakech Morocco INFN - Sezione di Bologna Viale Berti-Pichat 6/2 Bologna40127 Italy INFN - Sezione di Bari Via E. Orabona 4 Bari70126 Italy Department of Computer Architecture and Technology/CITIC University of Granada Granada18071 Spain Géoazur UCA CNRS IRD Observatoire de la Côte d’Azur Sophia Antipolis France Dipartimento di F

One of the main objectives of the ANTARES telescope is the search for point-like neutrino sources. Both the pointing accuracy and the angular resolution of the detector are important in this context and a reliable way to evaluate this performance is needed. In order to measure the pointing accuracy of the detector, one possibility is to study the shadow of the Moon, i.e. the deficit of the atmospheric muon flux from the direction of the Moon induced by the absorption of cosmic rays. Analysing the data taken between 2007 and 2016, the Moon shadow is observed with 3.5σ statistical significance. The detector angular resolution for downward-going muons is 0.73◦ ± 0.14◦. The resulting pointing performance is consistent with the expectations. An independent check of the telescope pointing accuracy is realised with the data collected by a shower array detector onboard of a ship temporarily moving around the ANTARES location. Copyright © 2018, The Authors. All rights reserved.

关键词： Cosmic rays

来源：评论

学校读者我要写书评

暂无评论

Mapping simple polygons: The power of telling convex from reflex

Mapping simple polygons: The power of telling convex from re...

引用

作者： Chalopin, Jérémie Das, Shantanu Disser, Yann Mihalák, Matúš Widmayer, Peter LIF CNRS Parc Scientifique et Technologique de Luminy 163 avenue de Luminy Marseille Cedex 913288 France Fakultät II-Mathematik und Naturwissenschaften Institut für Mathematik Technische Universitát Berlin Straße des 17. Juni 136 Berlin10623 Germany Institute of Theoretical Computer Science ETH Zurich Zurich8092 Switzerland

We consider the exploration of a simple polygon ρ by a robot that moves from vertex to vertex along edges of the visibility graph of ρ. The visibility graph has a vertex for every vertex of ρ and an edge between two vertices if they see each other-that is, if the line segment connecting them lies inside ρ entirely. While located at a vertex, the robot is capable of ordering the vertices it sees in counterclockwise order as they appear on the boundary, and for every two such vertices, it can distinguish whether the angle between them is convex (≤π) or reflex (>π). Other than that, distant vertices are indistinguishable to the *** assume that an upper bound on the number of vertices is known. We obtain the general result that a robot exploring any locally oriented, arc-labeled graph G can always determine the base graph of G. Roughly speaking, this is the smallest graph that cannot be distinguished by a robot from G by its observations alone, no matter how it moves. Combining this result with various other techniques allows the ability to show that a robot exploring a polygon ρ with the preceding capabilities is always capable of reconstructing the visibility graph of ρ. We also show that multiple identical, indistinguishable, and deterministic robots of this kind can always solve the weak rendezvous problem in which they need to position themselves such that they mutually see each other-for instance, such that they form a clique in the visibility graph. © 2015 ACM.

关键词： Robots

来源：评论

学校读者我要写书评

暂无评论

Impact of different Metrics on Multi-View Clustering

Impact of different Metrics on Multi-View Clustering

引用

International Joint Conference on Neural Networks

作者： Angela Serra Dario Greco Roberto Tagliaferri NeuRoNe Lab Computer Science Department University of Salerno Via G. Paolo II 132 Fisciano Italy Unit of Systems Toxicology and Nanosafety Research Center Finnish Institute of Occupational Health Helsinki Finland

ISBN: (纸本)9781479919611

Clustering of patients allows to find groups of subjects with similar characteristics. This categorization can facilitate diagnosis, treatment decision and prognosis prediction. Heterogeneous genome-wide data sources capture different biological aspects that can be integrated in order to better categorize the patients. Clustering methods work by comparing how patients are similar or dissimilar in a suitable similarity space. While several clustering methods have been proposed, there is no systematic comparative study concerning the impact of similarity metrics on the cluster quality. We compared seven popular similarity measures (Pearson, Spearman and Kendall Correlations;Euclidean, Canberra, Minkowski and Manhattan Distances) in conjunction with two classical single-view clustering algorithms and a late integration approach (partitioning around medoids, hierarchical clustering and matrix factorization approaches), on high dimensional multi-view cancer data coming from the TCGA repository. Performance was measured against tumour subcategories classification. Only Euclidean and Minkowski distances showed similar results in terms of clustering similarity indexes. On the other hand, an absolute best similarity measure did not emerge in terms of misclassification, but it strongly depends on the data.

关键词： Metrics Multi-View Clustering patients

来源：评论

学校读者我要写书评

暂无评论

Independent test assessment using the extreme value distribution theory

引用

BMC proceedings 2016年第SUPPL 7期10卷 245-249页

作者： Marcio Almeida Lucy Blondell Juan M Peralta Jack W Kent Goo Jun Tanya M Teslovich Christian Fuchsberger Andrew R Wood Alisa K Manning Timothy M Frayling Pablo E Cingolani Robert Sladek Thomas D Dyer Goncalo Abecasis Ravindranath Duggirala John Blangero South Texas Diabetes and Obesity Institute University of Texas at Brownsville 2700 East Jackson Street Brownsville TX 78520 USA. Department of Genetics Texas Biomedical Research Institute P.O. Box 760549 San Antonio TX 78245-0549 USA. Human Genetics Center School of Public Health The University of Texas Health Science Center at Houston 7000 Fannin Street Houston TX 77030 USA. Department of Biostatistics Center for Statistical Genetics University of Michigan SPH II 1420 Washington Heights Ann Arbor MI 48109-2029 USA. Genetics of Complex Traits University of Exeter Medical School University of Exeter Mail Room The Old Library Prince of Wales Road Exeter Devon UK. Broad Institute 415 Main Street Cambridge MA 02142 USA. School of Computer Science & Genome Quebec Innovation Centre McIntyre Medical Building 903 3655 Promenade Sir William Osler McGill University Quebec Canada.

The new generation of whole genome sequencing platforms offers great possibilities and challenges for dissecting the genetic basis of complex traits. With a very high number of sequence variants, a naïve multiple hypothesis threshold correction hinders the identification of reliable associations by the overreduction of statistical power. In this report, we examine 2 alternative approaches to improve the statistical power of a whole genome association study to detect reliable genetic associations. The approaches were tested using the Genetic Analysis Workshop 19 (GAW19) whole genome sequencing data. The first tested method estimates the real number of effective independent tests actually being performed in whole genome association project by the use of an extreme value distribution and a set of phenotype simulations. Given the familiar nature of the GAW19 data and the finite number of pedigree founders in the sample, the number of correlations between genotypes is greater than in a set of unrelated samples. Using our procedure, we estimate that the effective number represents only 15 % of the total number of independent tests performed. However, even using this corrected significance threshold, no genome-wide significant association could be detected for systolic and diastolic blood pressure traits. The second approach implements a biological relevance-driven hypothesis tested by exploiting prior computational predictions on the effect of nonsynonymous genetic variants detected in a whole genome sequencing association study. This guided testing approach was able to identify 2 promising single-nucleotide polymorphisms (SNPs), 1 for each trait, targeting biologically relevant genes that could help shed light on the genesis of the human hypertension. The first gene, , associated with systolic blood pressure, interacts directly with genes involved in calcium-channel formation and the second gene, , encodes a microtubule-associated protein and had already been detected by

关键词： Whole Genome Sequencing Nonsynonymous Variant Whole Genome Sequencing Data Sequential Oligogenic Linkage Analysis Routine Whole Genome Sequencing Study

来源：评论

学校读者我要写书评

暂无评论

Parameter synthesis for timed kripke structures

Parameter synthesis for timed kripke structures

引用

作者： Knapik, Michal Penczek, Wojciech Institute of Computer Science PAS Warsaw Poland University of Natural Sciences and Humanities II Siedlce Poland

We show how to synthesise parameter values under which a given property, expressed in a certain extension of CTL, called RTCTLP, holds in a parametric timed Kripke structure. We prove the decidability of parameter synthesis for RTCTLP by showing how to restrict the infinite space of parameter valuations to its finite subset and employ a brute-force algorithm. The brute-force approach soon becomes intractable, therefore we propose a symbolic algorithm for RTCTLP parameter synthesis. Similarly to the fixed-point symbolic model checking approach, we introduce special operators which stabilise on the solution. The process of stabilisation is essentially a translation from the RTCTLP parameter synthesis problem to a discrete optimization task. We show that the proposed method is sound and complete and provide some complexity results. We argue that this approach leads to new opportunities in model checking, including the use of integer programming and related tools.

关键词： Integer programming

来源：评论

学校读者我要写书评

暂无评论

Thermal simulation of heterogeneous GaN/ InP/silicon 3DIC stacks

Thermal simulation of heterogeneous GaN/ InP/silicon 3DIC st...

引用

IEEE International Conference on 3D System Integration, 3DIC

作者： T. Robert Harris Eric J. Wyers Lee Wang Samuel Graham Georges Pavlidis Paul D. Franzon W. Rhett Davis North Carolina State University Raleigh NC US Department of Engineering and Computer Science Tarleton State University Stephenville TX USA Calibre Design Solutions Mentor Graphics Corporation Fremont CA USA Department of Mechanical Engineering Georgia Institute of Technology Atlanta GA USA Department of Electrical and Computer Engineering North Carolina State University Raleigh NC USA

Integration of materials such as GaN, InP, SiGe, and Si is a natural extension of the 3D-IC perspective and provides a unique solution for high performance circuits. In this approach, application of a component is no longer dependent on semiconductor material selection. In this paper, preliminary results are presented which examine the thermal performance of the technology. A thermal analysis prototype solution in Mentor graphics ™ Calibre ® provides surface heat maps based on IC layout, material property, and geometric configuration files. Chiplets are connected by heterogeneous interconnect (HIC). Differences in thermal performance of GaN and InP chiplets are explored by varying the number of HICs. Two methods for building up the model of a test chip are compared. One method uses custom scripts to place discrete blocks in the model to represent HICs, while the other uses thermal material properties extracted from the layout. Measurements presented confirm simulated results.

关键词： Semiconductor device modeling Gallium nitride Indium phosphide iiI-V semiconductor materials CMOS integrated circuits Layout Thermal conductivity

来源：评论

学校读者我要写书评

暂无评论

Interactive diffraction from biological nanostructures 35

Interactive diffraction from biological nanostructures

引用

35th Annual Conference on European Association for computer graphics, EUROgraphics 2014

作者： Dhillon, D.S. Teyssier, J. Single, M. Gaponenko, I. Milinkovitch, M.C. Zwicker, M. Computer Graphics Group Institute of Computer Science and Applied Mathematics University of Bern Switzerland DMPC University of Geneva Geneva 4 Switzerland Department of Genetics and Evolution University of Geneva Geneva Switzerland

We describe a technique for interactive rendering of diffraction effects produced by biological nanostructures such as snake skin surface gratings. Our approach uses imagery from atomic force microscopy that accurately captures the nanostructures responsible for structural coloration, that is, coloration due to wave interference, in a variety of animals. We develop a rendering technique that constructs bidirectional reflection distribution functions (BRDFs) directly from the measured data and leverages precomputation to achieve interactive performance. We demonstrate results of our approach using various shapes of the surface grating nanostructures. Finally, we evaluate the accuracy of our precomputation-based technique and compare to a reference BRDF construction technique. © The Eurographics Association 2014.

关键词： Nanostructures

来源：评论

学校读者我要写书评

暂无评论

Watermarking Marbled Image Based on Linear Enhancement Hologram

引用

Journal of Information Hiding and Multimedia Signal Processing 2014年第4期5卷 757-768页

作者： Dai, Junping Liu, Yazhong Lu, Jianfeng Xu, Jiayi Chang, Chin-Chen Lib, L. Institute of Digital Media Hangzhou Dianzi University Zhejiang China Institute of Graphics and Image Hangzhou Dianzi University Zhejiang China Department of Information Engineering and Computer Science Feng Chia University No. 100 Wenhwa Rd Seatwen Taichung40724 Taiwan Department of Computer Science and Information Engineering Asia University No. 500 Lioufeng Rd Wufeng Taichung41354 Taiwan

A marbled image is generated by performing marbling operations on an im- age. When the marbled image is recovered to the original image, the parameters of the marbling operations should be known in the decoding process. By embedding these into the marbled image, we can eliminate an additional internet transmission. This paper proposes a watermark algorithm for marbled images based on a linear enhancement holo- gram. First, the parameters of the marbling operations are converted into a QR code image. Second, the QR code image is used to create a hologram. Then, the hologram is linearly enhanced to form a watermark. Finally, the watermark can be embedded into the subband of the discrete wavelet transform of the marbled image using di_erent quan- tization embedding strengths. Experimental results showed that the algorithm has good invisibility and is robust to various attacks, including cropping, cutting, adding noise, JPEG compression, and _ltering. © 2014 ISSN 2073-4212.

关键词： Holograms

来源：评论

学校读者我要写书评

暂无评论

Are reflectance field renderings appropriate for optical flow evaluation?

Are reflectance field renderings appropriate for optical flo...

引用

作者： Güssefeld, Burkhard Kondermann, Daniel Schwartz, Christopher Klein, Reinhard Heidelberg Collaboratory for Image Processing University of Heidelberg Germany Institute of Computer Science II University of Bonn Germany

ISBN: (纸本)9781479957514

Ground truth generation for optical flow is hard and costly. Real images can be annotated with ground truth optical flow, but two problems persist: first, no flow measurement techniques for dynamic, large-scale data exist. Second, real-world parameters such as weather or surface wetness cannot be systematically varied. On the other hand, rendered images can have perfect ground truth while light, geometry and materials can be systematically varied. But do they resemble reality well enough to serve as a basis for performance evaluation? In this paper, we take computer graphic realism to an extreme: we compare three optical flow results on reflectance field renderings with supposedly identical real images. A systematic variation of reflectance realism reveals that computer graphics are a valid way to create complex synthetic sequences for optical flow evaluation - but only if modeled carefully. © 2014 IEEE.

关键词： Optical flows

来源：评论

学校读者我要写书评

暂无评论

Geometric κth shortest paths: The applet

Geometric κth shortest paths: The applet

引用

30th Annual Symposium on Computational Geometry, SoCG 2014

作者： Hershberger, John Polishchuk, Valentin Speckmann, Bettina Talvitie, Topi Mentor Graphics Corporation Finland Helsinki Institute for IT CS Dept University of Helsinki Finland Dep. Mathematics and Computer Science TU Eindhoven Netherlands

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：