14 research outputs found
The role of E-tourism in tourism marketing
Electronic Tourism is characterized by its ability to manage the marketing based on a development and high sophisticated management to maximize profits, through the creation and strengthening the demand for tourism product, as well as increased competitiveness in the global tourism market, which opens the way for tourists to compare places and prices and promotions, and allow to the organizations of tourism in order to predict and targeting the consumer` s , and as a result the sales of e-tourism achieved 27% of the world's total tourism sales in 2013. Through this research we focus on the significant role of e-tourism in the marketing of tourism services, as well as the study of the geographic distribution of sales for electronic tourism all over the world, and predict the future of e-tourism sales by the year 2018. finally , to identify the points of international tourism research trends
Proximal major limb amputations – a retrospective analysis of 45 oncological cases
<p>Abstract</p> <p>Background</p> <p>Proximal major limb amputations due to malignant tumors have become rare but are still a valuable treatment option in palliation and in some cases can even cure. The aim of this retrospective study was to analyse outcome in those patients, including the postoperative course, survival, pain, quality of life, and prosthesis usage.</p> <p>Methods</p> <p>Data of 45 consecutive patients was acquired from patient's charts and contact to patients, and general practitioners. Patients with interscapulothoracic amputation (n = 14), shoulder disarticulation (n = 13), hemipelvectomy (n = 3) or hip disarticulation (n = 15) were included.</p> <p>Results</p> <p>The rate of proximal major limb amputations in patients treated for sarcoma was 2.3% (37 out of 1597). Survival for all patients was 42.9% after one year and 12.7% after five years. Survival was significantly better in patients with complete tumor resections. Postoperative chemotherapy and radiation did not prolong survival. Eighteen percent of the patients with malignant disease developed local recurrence. In 44%, postoperative complications were observed. Different modalities of postoperative pain management and the site of the amputation had no significant influence on long-term pain assessment and quality of life. Eighty-seven percent suffered from phantom pain, 15.6% considered their quality of life worse than before the operation. Thirty-two percent of the patients who received a prosthesis used it regularly.</p> <p>Conclusion</p> <p>Proximal major limb amputations severely interfere with patients' body function and are the last, albeit valuable, option within the treatment concept of extremity malignancies or severe infections. Besides short survival, high complication rates, and postoperative pain, patients' quality of life can be improved for the time they have remaining.</p
and in the Two Higgs Doublet Model with Flavor Changing Neutral Currents
A study of and is presented in the context of a Two Higgs Doublet
Model (2HDM) with flavor changing scalar currents (FCSC). Implications of the
model for the -parameter and for are also considered. The
experimental data on places stringent constraints on the model
parameters. The configuration of the model needed to account for is found
to be irreconcilable with constraints from and . In
particular, if R^{\rm exp}_b>R^{\sss{\rm SM}}_b persists then this version of
2HDM will be ruled out or require significant modifications. Noting that
aspects of the experimental analysis for and may be of some
concern, we also disregard and and give
predictions for these using constraints from and
parameter only. We emphasize the theoretical and experimental advantages of the
observable R_{b+c}\equiv \Gamma(Z\to b\bar b\mbox{ or } c\bar
c)/\Gamma(Z\to\mbox{hadrons}). We also stress the role of R_\ell\equiv
\Gamma(Z\to\mbox{hadrons})/\Gamma(Z\to \ell^+\ell^-) in testing the Standard
Model (SM) despite its dependence on QCD corrections. Noting that in models
with FCNC the amplitude for receives a contribution which grows
with , the importance and uniqueness of precision
measurements for constraining flavor changing currents is
underscored.Comment: 35 pages, 5 Postscript figures, 10 Postscript files used in the tex
file, uses epsf.st
Techniques For Efficient Binary-Level Coverage Analysis
Code coverage analysis plays an important role in the software testing process. More recently, the remarkable effectiveness of coverage feedback has triggered a broad interest in feedback-guided fuzzing. In this work, we discuss static instrumentation techniques for binary-level coverage analysis without compiler support. We show that the proposed techniques are precise, efficient, and transparent significantly beyond the state of the art.
We implement these techniques into two tools, namely, Spedi and bcov. Both tools are open source and publicly available. Spedi shows that the disassembly and function identification of stripped binaries can be highly accurate without resort to any external information. We build on these important results in bcov where we statically instrument x86-64 ELF binaries to track code coverage. However, improving efficiency and scaling to large real-world software required an orchestrated effort combining several techniques.
First, we bring a well-known probe pruning technique, for the first time, to binary-level instrumentation and effectively leverage its notion of superblocks to reduce overhead. Second, we introduce sliced microexecution, a robust technique for jump table analysis which improves CFG precision and enables us to instrument jump table entries. Additionally, smaller instructions in x86-64 pose a challenge for inserting detours. To address this challenge, we aggressively exploit padding bytes. Also, we introduce a greedy scheme to systematically host detours in neighboring basic blocks.
We evaluate bcov on a corpus of 95 binaries compiled from eight popular and well-tested packages like FFmpeg and LLVM. Two instrumentation policies, with different edge-level precision, are used to patch all functions in this corpus - over 1.6 million functions. Our precise policy has average performance and memory overheads of 14% and 22%, respectively. Instrumented binaries do not introduce any test regressions. The reported coverage is highly accurate with an average F-score of 99.86%. Finally, our jump table analysis is comparable to that of IDA Pro on gcc binaries and outperforms it on clang binaries.
Our work demonstrates that static instrumentation can offer unique advantages in comparison to established methods like compiler instrumentation and dynamic binary instrumentation. It also opens the door for many interesting applications of static instrumentation, which can go well beyond coverage analysis
Techniques For Efficient Binary-Level Coverage Analysis
Code coverage analysis plays an important role in the software testing process. More recently, the remarkable effectiveness of coverage feedback has triggered a broad interest in feedback-guided fuzzing. In this work, we discuss static instrumentation techniques for binary-level coverage analysis without compiler support. We show that the proposed techniques are precise, efficient, and transparent significantly beyond the state of the art.
We implement these techniques into two tools, namely, Spedi and bcov. Both tools are open source and publicly available. Spedi shows that the disassembly and function identification of stripped binaries can be highly accurate without resort to any external information. We build on these important results in bcov where we statically instrument x86-64 ELF binaries to track code coverage. However, improving efficiency and scaling to large real-world software required an orchestrated effort combining several techniques.
First, we bring a well-known probe pruning technique, for the first time, to binary-level instrumentation and effectively leverage its notion of superblocks to reduce overhead. Second, we introduce sliced microexecution, a robust technique for jump table analysis which improves CFG precision and enables us to instrument jump table entries. Additionally, smaller instructions in x86-64 pose a challenge for inserting detours. To address this challenge, we aggressively exploit padding bytes. Also, we introduce a greedy scheme to systematically host detours in neighboring basic blocks.
We evaluate bcov on a corpus of 95 binaries compiled from eight popular and well-tested packages like FFmpeg and LLVM. Two instrumentation policies, with different edge-level precision, are used to patch all functions in this corpus - over 1.6 million functions. Our precise policy has average performance and memory overheads of 14% and 22%, respectively. Instrumented binaries do not introduce any test regressions. The reported coverage is highly accurate with an average F-score of 99.86%. Finally, our jump table analysis is comparable to that of IDA Pro on gcc binaries and outperforms it on clang binaries.
Our work demonstrates that static instrumentation can offer unique advantages in comparison to established methods like compiler instrumentation and dynamic binary instrumentation. It also opens the door for many interesting applications of static instrumentation, which can go well beyond coverage analysis