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

2nd Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications, SQAMIA 2013

作者： Pavlič, Luka Institute of Informatics Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ulica 17 Maribor2000 Slovenia

In this paper we present the challenges during the simultaneous development of multiple mobile application versions with different sets of functionalities. Some of them are core, the other optional, and the third alternative. One of the indicated appropriate solutions is the approach of software product lines. In this paper we presents practical experiences during the product line implementation in the case of mobile applications for the Android operating system. It has at least six to eight different versions simultaneously available. Among others, these are freely available version, paid version, development, test and demonstration version. We also offer certain versions for the BlackBerry phones, some mobile application components share common functionalities with a portal server. 1 Copyright © by the paper's authors. Copying permitted only for private and academic purposes.

关键词： Android (operating system)

来源：评论

学校读者我要写书评

暂无评论

The generalized intensional transformation for implementing lazy functional languages

The generalized intensional transformation for implementing ...

引用

15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013

作者： Fourtounis, Georgios Papaspyrou, Nikolaos Rondogiannis, Panos School of Electrical and Computer Engineering National Technical University of Athens Greece Department of Informatics and Telecommunications University of Athens Greece

ISBN: (纸本)9783642452833

The intensional transformation is a promising technique for implementing lazy functional languages based on a demand-driven execution model. Despite its theoretical elegance and its simple and efficient execution model, the intensional transformation suffered, until now, from two main drawbacks: it could only be applied to programs that manipulate primitive data-types and it could only compile a simple (and rather restricted) class of higher-order functions. In this paper we remedy the above two deficiencies, obtaining a transformation algorithm that is applicable to mainstream lazy functional languages. The proposed transformation initially uses defunctionalization in order to eliminate higher-order functions from the source program. The original intensional transformation is then extended in order to apply to the target first-order language with user-defined data types that resulted from the defunctionalization. It is demonstrated that the proposed technique can be used to compile a relatively large subset of Haskell into portable C code whose performance is comparable to existing mainstream implementations. © 2013 Springer-Verlag.

关键词： Metadata

来源：评论

学校读者我要写书评

暂无评论

Wireless network coding with partial overhearing information

Wireless network coding with partial overhearing information

引用

32nd IEEE INFOCOM Conference

作者： Paschos, Georgios S. Fragiadakis, Constantinos Georgiadis, Leonidas Tassiulas, Leandros Informatics and Telematics Institute CERTH Greece Dept. of Computer and Communication Eng. University of Thessaly Greece School of Electrical and Computer Engineering Aristotle University of Thessaloniki Greece

ISBN: (纸本)9781467359467

We study an 1-hop broadcast channel with two receivers. Due to overhearing channels, the receivers have side information which can be leveraged by interflow network coding techniques to provide throughput increase. In this setup, we consider two different control mechanisms, the deterministic system, where the contents of the receivers' buffers are announced to the coding node via overhearing reports and the stochastic system, where the coding node makes stochastic control decisions based on statistics and the performance is improved via NACK messages. We study the minimal evacuation times for the two systems and obtain analytical expressions of the throughput region for the deterministic and the code-constrained region for the stochastic. We show that maximum performance is achieved by simple XOR policies. For equal transmission rates r(1) = r(2), the two regions are equal. If r(1) not equal r(2), we showcase the tradeoff between throughput and overhead.

关键词： broadcast channels network coding radio networks radio receivers stochastic processes telecommunication control wireless channels

来源：评论

学校读者我要写书评

暂无评论

N-terminal pro-B-type natriuretic peptide as prognostic marker for patients of non ST-segment elevation myocardial infarction

引用

Journal of Central South University 2013年第8期20卷 2226-2232页

作者： SHON Ho Sun HWANG Kyung Kuk BAE Jang Whan KIM Kyung Ah LEE Jong Yun RYU Keun Ho Database and Bioinformatics Laboratory School of Electrical & Computer Engineering also PSM of School of Medicine Chungbuk National University Department of Medicine School of Medicine Chungbuk National University Department of Biomedical Engineering School of Medicine Chungbuk National University Department of Informatics and Convergence Chungbuk National University Cheongju

In this work, we analyzed only the patients of the NSTEMI (non ST-segment elevation myocardial infarction) who arrived at the hospital within 12 h after symptoms started. Using NSTEMI follow-up data within, the characteristics of the clinical data, the risk factor, and the blood tested in the hospital visit were analyzed for MACE (major adverse cardiac events) patients. MACE includes cardiac death, MI (myocardial infarction), Re-PCI, and CABG (coronary artery bypass graft). As a result, from the NSTEMI patients which can be followed up for over 12 m, NT-ProBNP (p=0.014) and age (p=0.045) are found to be the independent risk factors related to MACE. Accordingly, they can be useful for the diagnosis and prognosis for NSTEMI patients as a biomarker.

关键词： non ST-segment elevation myocardial infarction NT-ProBNP cardiovascular disease

来源：评论

学校读者我要写书评

暂无评论

Scaling and correlation of human movements in cyberspace and physical space

引用

Physical Review E 2014年第5期90卷 050802(R)-050802(R)页

作者： Zhi-Dan Zhao Zi-Gang Huang Liang Huang Huan Liu Ying-Cheng Lai Web Sciences Center University of Electronic Science and Technology of China Chengdu 610054 China School of Electrical Computer and Energy Engineering Arizona State University Tempe Arizona 85287 USA Institute of Computational Physics and Complex Systems and Key Laboratory for Magnetism and Magnetic Materials of MOE Lanzhou University Lanzhou Gansu 730000 China School of Computing Informatics and Decision Systems Engineering Arizona State University Tempe Arizona 85287 USA Department of Physics Arizona State University Tempe Arizona 85287 USA

Understanding the dynamics of human movements is key to issues of significant current interest such as behavioral prediction, recommendation, and control of epidemic spreading. We collect and analyze big data sets of human movements in both cyberspace (through browsing of websites) and physical space (through mobile towers) and find a superlinear scaling relation between the mean frequency of visit 〈f〉 and its fluctuation σ:σ∼〈f〉β with β≈1.2. The probability distribution of the visiting frequency is found to be a stretched exponential function. We develop a model incorporating two essential ingredients, preferential return and exploration, and show that these are necessary for generating the scaling relation extracted from real data. A striking finding is that human movements in cyberspace and physical space are strongly correlated, indicating a distinctive behavioral identifying characteristic and implying that the behaviors in one space can be used to predict those in the other.

关键词： CYBERSPACE CORRELATION (Statistics) HUMAN mechanics BEHAVIORAL research PREDICTION models EPIDEMIOLOGY -- Mathematical models

来源：评论

学校读者我要写书评

暂无评论

Erratum to: Measurement of the W-boson mass in pp collisions at with the ATLAS detector

引用

The European Physical Journal C 2018年第11期78卷 1-14页

作者： Aaboud, M. Aad, G. Abbott, B. Abdallah, J. Abdinov, O. Abeloos, B. Abidi, S. H. AbouZeid, O. S. Abraham, N. L. Abramowicz, H. Abreu, H. Abreu, R. Abulaiti, Y. Acharya, B. S. Adachi, S. Adamczyk, L. Adams, D. L. Adelman, J. Adersberger, M. Adye, T. Affolder, A. A. Agatonovic-Jovin, T. Agheorghiesei, C. Aguilar-Saavedra, J. A. Ahlen, S. P. Ahmadov, F. Aielli, G. Akatsuka, S. Akerstedt, H. Åkesson, T. P. A. Akimov, A. V. Alberghi, G. L. Albert, J. Alconada Verzini, M. J. Aleksa, M. Aleksandrov, I. N. Alexa, C. Alexander, G. Alexopoulos, T. Alhroob, M. Ali, B. Aliev, M. Alimonti, G. Alison, J. Alkire, S. P. Allbrooke, B. M. M. Allen, B. W. Allport, P. P. Aloisio, A. Alonso, A. Alonso, F. Alpigiani, C. Alshehri, A. A. Alstaty, M. Alvarez Gonzalez, B. Álvarez Piqueras, D. Alviggi, M. G. Amadio, B. T. Amaral Coutinho, Y. Amelung, C. Amidei, D. Amor Dos Santos, S. P. Amorim, A. Amoroso, S. Amundsen, G. Anastopoulos, C. Ancu, L. S. Andari, N. Andeen, T. Anders, C. F. Anders, J. K. Anderson, K. J. Andreazza, A. Andrei, V. Angelidakis, S. Angelozzi, I. Angerami, A. Anghinolfi, F. Anisenkov, A. V. Anjos, N. Annovi, A. Antel, C. Antonelli, M. Antonov, A. Antrim, D. J. Anulli, F. Aoki, M. Aperio Bella, L. Arabidze, G. Arai, Y. Araque, J. P. Araujo Ferraz, V. Arce, A. T. H. Ardell, R. E. Arduh, F. A. Arguin, J-F. Argyropoulos, S. Arik, M. Armbruster, A. J. Armitage, L. J. Arnaez, O. Arnold, H. Arratia, M. Arslan, O. Artamonov, A. Artoni, G. Artz, S. Asai, S. Asbah, N. Ashkenazi, A. Asquith, L. Assamagan, K. Astalos, R. Atkinson, M. Atlay, N. B. Augsten, K. Avolio, G. Axen, B. Ayoub, M. K. Azuelos, G. Baas, A. E. Baca, M. J. Bachacou, H. Bachas, K. Backes, M. Backhaus, M. Bagiacchi, P. Bagnaia, P. Baines, J. T. Bajic, M. Baker, O. K. Baldin, E. M. Balek, P. Balestri, T. Balli, F. Balunas, W. K. Banas, E. Banerjee, Sw. Bannoura, A. A. E. Barak, L. Barberio, E. L. Barberis, D. Barbero, M. Barillari, T. Barisits, M-S. Barklow, T. Barlow, N. Barnes, S. L. Barnett, B. M. Barnett, R. M. Barnovska-Blenessy, Z. Baroncelli, A. Barone, G. Faculté des Sciences Université Mohamed Premier and LPTPM Oujda Morocco CPPM Aix-Marseille Université and CNRS/IN2P3 Marseille France Homer L. Dodge Department of Physics and Astronomy University of Oklahoma Norman USA Department of Physics The University of Texas at Arlington Arlington USA Institute of Physics Azerbaijan Academy of Sciences Baku Azerbaijan LAL Univ. Paris-Sud CNRS/IN2P3 Université Paris-Saclay Orsay France Department of Physics University of Toronto Toronto Canada Santa Cruz Institute for Particle Physics University of California Santa Cruz Santa Cruz USA Department of Physics and Astronomy University of Sussex Brighton UK Raymond and Beverly Sackler School of Physics and Astronomy Tel Aviv University Tel Aviv Israel Department of Physics Technion: Israel Institute of Technology Haifa Israel Center for High Energy Physics University of Oregon Eugene USA Department of Physics Stockholm University Stockholm Sweden The Oskar Klein Centre Stockholm Sweden INFN Gruppo Collegato di Udine Sezione di Trieste Udine Italy ICTP Trieste Italy International Center for Elementary Particle Physics and Department of Physics The University of Tokyo Tokyo Japan Faculty of Physics and Applied Computer Science AGH University of Science and Technology Kraków Poland Physics Department Brookhaven National Laboratory Upton USA Department of Physics Northern Illinois University DeKalb USA Fakultät für Physik Ludwig-Maximilians-Universität München Munich Germany Particle Physics Department Rutherford Appleton Laboratory Didcot UK Institute of Physics University of Belgrade Belgrade Serbia Horia Hulubei National Institute of Physics and Nuclear Engineering Bucharest Romania Laboratório de Instrumentação e Física Experimental de Partículas-LIP Lisbon Portugal Departamento de Fisica Teorica y del Cosmos and CAFPE Universidad de Granada Granada Spain Department of Physics Boston University Boston USA Joint Institute for Nuclear Research JINR Dubn

It has been found that Figure 30 shows the 68% and 99% confidence-level contours for the W boson and top quark mass measurements, instead of the 68% and 95% confidence-level contours, as stated in the legend.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Autopilot spatially-adaptive active contour parameterization for medical image segmentation

Autopilot spatially-adaptive active contour parameterization...

引用

作者： Mylona, Eleftheria A. Savelonas, Michalis A. Maroulis, Dimitris Skodras, Athanassios N. Department of Informatics and Telecommunications University of Athens Greece Department of Electrical and Computer Engineering University of Patras Greece

In this work, a novel framework for automated, spatially-adaptive adjustment of active contour regularization and data fidelity parameters is proposed and applied for medical image segmentation. The proposed framework is tailored upon the isomorphism observed between these parameters and the eigenvalues of diffusion tensors. Since such eigenvalues reflect the diffusivity of edge regions, we embed this information in regularization and data fidelity parameters by means of entropy-based, spatially-adaptive 'heatmaps'. The latter are able to repel an active contour from randomly directed edge regions and guide it towards structured ones. Experiments are conducted on endoscopic as well as mammographic images. The segmentation results demonstrate that the proposed framework bypasses iterations dedicated to false local minima associated with noise, artifacts and inhomogeneities, speeding up contour convergence, whereas it maintains a high segmentation quality. © 2013 IEEE.

关键词： Eigenvalues and eigenfunctions

来源：评论

学校读者我要写书评

暂无评论

Using meta-ethnography to synthesize research: A worked example of the relations between personality and software team processes

Using meta-ethnography to synthesize research: A worked exam...

引用

2013 ACM / IEEE International Symposium on Empirical Software engineering and Measurement, ESEM 2013

作者： Da Silva, Fabio Q.B. Cruz, Shirley S.J.O. Gouveia, Tatiana B. Capretz, Luiz Fernando Centre for Informatics Federal University of Pernambuco Recife Brazil Department of Electrical and Computer Engineering University of Western Ontario London Canada

Context: The increase in the number of qualitative and mixed-methods research published in software engineering has created an opportunity for further knowledge generation through the synthesis of studies with similar aims. This is particularly true in the research on human aspects because the phenomena of interest are often better understood using qualitative research. However, the use of qualitative synthesis methods is not widespread and worked examples of their consistent application in software engineering are needed. Objective: To explore the use of meta-ethnography in the synthesis of empirical studies in software engineering through an example using studies about the relations between personality and software team processes. Methods: We applied the seven phases of meta-ethnography on a set of articles selected from a previously developed systematic review, to assess the appropriateness of meta-ethnography in this domain with respect to ease of use, and usefulness and reliability of results. Results: Common concepts were identified through reading and interpreting the studies. Then, second order translations were built and used to synthesize a model of the relationships between personality and software team processes. Conclusions: Meta-ethnography is adequate in the synthesis of empirical studies even in the context of mixed-methods studies. However, we believe that the method should not be used to synthesize studies that are too disparate to avoid the development of gross generalizations, which tend to be fruitless and are contrary to the central tenets of interpretive research. © 2013 IEEE.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Handmade bone phantom as educational media for image processing studies

Handmade bone phantom as educational media for image process...

引用

2013 2nd IEEE International Conference on Teaching, Assessment and Learning for engineering, TALE 2013

作者： Rizqie, Muhammad Qurhanul Adiprawita, Widyawardana Mengko, Tati R. School of Electrical Engineering and Informatics Institut Teknologi Bandung Bandung Indonesia Faculty of Computer Science Universitas Sriwijaya Palembang Indonesia

ISBN: (纸本)9781467363556

This paper decribe our design and implementation of lowcost handmade bone phantom ultrasound and its possibilities to be used as educational media for image processing studies. In our research, a segmentation algorithm and 3D reconstruction method had been developed and tested using bone phantom. During test, bone phantom showed capabilities as an asssitive tool to explain, analyze, and test image processing algorithm, in this case segmentation algorithm and 3D reconstruction method. That capabilities, coupled with its low producing cost show the possibilities of using the bone phantom as an effective educational media for image processing studies. © 2013 IEEE.

关键词： Phantoms

来源：评论

学校读者我要写书评

暂无评论

Measurement of the Soft-Drop Jet Mass in pp Collisions at s=13 TeV with the ATLAS Detector

引用

Physical Review Letters 2018年第9期121卷 092001-092001页

作者： M. Aaboud G. Aad B. Abbott O. Abdinov B. Abeloos S. H. Abidi O. S. AbouZeid N. L. Abraham H. Abramowicz H. Abreu R. Abreu Y. Abulaiti B. S. Acharya S. Adachi L. Adamczyk J. Adelman M. Adersberger T. Adye A. A. Affolder Y. Afik C. Agheorghiesei J. A. Aguilar-Saavedra S. P. Ahlen F. Ahmadov G. Aielli S. Akatsuka H. Akerstedt T. P. A. Åkesson E. Akilli A. V. Akimov G. L. Alberghi J. Albert P. Albicocco M. J. Alconada Verzini S. C. Alderweireldt M. Aleksa I. N. Aleksandrov C. Alexa G. Alexander T. Alexopoulos M. Alhroob B. Ali M. Aliev G. Alimonti J. Alison S. P. Alkire B. M. M. Allbrooke B. W. Allen P. P. Allport A. Aloisio A. Alonso F. Alonso C. Alpigiani A. A. Alshehri M. I. Alstaty B. Alvarez Gonzalez D. Álvarez Piqueras M. G. Alviggi B. T. Amadio Y. Amaral Coutinho C. Amelung D. Amidei S. P. Amor Dos Santos S. Amoroso C. Anastopoulos L. S. Ancu N. Andari T. Andeen C. F. Anders J. K. Anders K. J. Anderson A. Andreazza V. Andrei S. Angelidakis I. Angelozzi A. Angerami A. V. Anisenkov N. Anjos A. Annovi C. Antel M. Antonelli A. Antonov D. J. Antrim F. Anulli M. Aoki L. Aperio Bella G. Arabidze Y. Arai J. P. Araque V. Araujo Ferraz A. T. H. Arce R. E. Ardell F. A. Arduh J-F. Arguin S. Argyropoulos M. Arik A. J. Armbruster L. J. Armitage O. Arnaez H. Arnold M. Arratia O. Arslan A. Artamonov G. Artoni S. Artz S. Asai N. Asbah A. Ashkenazi L. Asquith K. Assamagan R. Astalos M. Atkinson N. B. Atlay K. Augsten G. Avolio B. Axen M. K. Ayoub G. Azuelos A. E. Baas M. J. Baca H. Bachacou K. Bachas M. Backes P. Bagnaia M. Bahmani H. Bahrasemani J. T. Baines M. Bajic O. K. Baker P. J. Bakker E. M. Baldin P. Balek F. Balli W. K. Balunas E. Banas A. Bandyopadhyay Sw. Banerjee A. A. E. Bannoura L. Barak E. L. Barberio D. Barberis M. Barbero T. Barillari M-S Barisits J. T. Barkeloo T. Barklow N. Barlow S. L. Barnes B. M. Barnett R. M. Barnett Z. Barnovska-Blenessy A. Baroncelli G. Barone A. J. Barr L. Barranco Navarro F. Barreiro J. Barreiro Guimarães da Costa R. Bartoldus A. E. Barton P. Bartos A. Basalaev A. Bassalat R. L. Bates Faculté des Sciences Université Mohamed Premier and LPTPM Oujda Morocco CPPM Aix-Marseille Université and CNRS/IN2P3 Marseille France Homer L. Dodge Department of Physics and Astronomy University of Oklahoma Norman Oklahoma USA Institute of Physics Azerbaijan Academy of Sciences Baku Azerbaijan LAL Univ. Paris-Sud CNRS/IN2P3 Université Paris-Saclay Orsay France Department of Physics University of Toronto Toronto Ontario Canada Santa Cruz Institute for Particle Physics University of California Santa Cruz Santa Cruz California USA Department of Physics and Astronomy University of Sussex Brighton United Kingdom Raymond and Beverly Sackler School of Physics and Astronomy Tel Aviv University Tel Aviv Israel Department of Physics Technion: Israel Institute of Technology Haifa Israel Center for High Energy Physics University of Oregon Eugene Oregon USA Department of Physics Stockholm University Sweden The Oskar Klein Centre Stockholm Sweden INFN Gruppo Collegato di Udine Sezione di Trieste Udine Italy ICTP Trieste Italy International Center for Elementary Particle Physics and Department of Physics The University of Tokyo Tokyo Japan AGH University of Science and Technology Faculty of Physics and Applied Computer Science Krakow Poland Department of Physics Northern Illinois University DeKalb Illinois USA Fakultät für Physik Ludwig-Maximilians-Universität München München Germany Particle Physics Department Rutherford Appleton Laboratory Didcot United Kingdom Department of Physics Alexandru Ioan Cuza University of Iasi Iasi Romania Laboratório de Instrumentação e Física Experimental de Partículas—LIP Lisboa Portugal Departamento de Fisica Teorica y del Cosmos Universidad de Granada Granada Spain Department of Physics Boston University Boston Massachusetts USA Joint Institute for Nuclear Research JINR Dubna Dubna Russia INFN Sezione di Roma Tor Vergata Roma Italy Dipartimento di Fisica Università di Roma Tor Vergata Roma Italy Faculty of Sci

Jet substructure observables have significantly extended the search program for physics beyond the standard model at the Large Hadron Collider. The state-of-the-art tools have been motivated by theoretical calculations, but there has never been a direct comparison between data and calculations of jet substructure observables that are accurate beyond leading-logarithm approximation. Such observables are significant not only for probing the collinear regime of QCD that is largely unexplored at a hadron collider, but also for improving the understanding of jet substructure properties that are used in many studies at the Large Hadron Collider. This Letter documents a measurement of the first jet substructure quantity at a hadron collider to be calculated at next-to-next-to-leading-logarithm accuracy. The normalized, differential cross section is measured as a function of log10ρ2, where ρ is the ratio of the soft-drop mass to the ungroomed jet transverse momentum. This quantity is measured in dijet events from 32.9 fb−1 of s=13 TeV proton-proton collisions recorded by the ATLAS detector. The data are unfolded to correct for detector effects and compared to precise QCD calculations and leading-logarithm particle-level Monte Carlo simulations.

关键词： Perturbative QCD Quark & gluon jets

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：