Atomic Properties of Lu+^+

Singly ionised Lutetium has recently been suggested as a potential clock candidate. Here we report a joint experimental and theoretical investigation of \ce{Lu^+}. Measurements relevant to practical clock operation are made and compared to atomic structure calculations. Calculations of scalar and tensor polarizabilities for clock states over a range of wavelengths are also given. These results will be useful for future work with this clock candidate.Comment: 12 pages, 5 figure

Legal regulation of Islamic banks in Russia

Forty years ago in the Islamic states of banks (credit institutes in our understanding) wasn’t since laws of Sharia consider issue of money under percent a grave sin. Now in the world there are more than 300 Islamic banks, their general assets exceed 500 bln. dollars of the USA with a growth from 10 to 15 percent a year (data of UBS Swiss Bank which opens at itself Islamic department). According to Sharia, the Islamic bank can’t invest money in some forbidden types of activity: production and sale of alcohol, gaming houses, and other restrictions of an ethical sort. Islamic banking is fundamentally oriented to real economy, to real production and to allowing for speculation. One of the interfering factors influencing implementation and development of Islamic banking in Russia is the low awareness of professional participants of the financial market, and also the population in general, about structure and the principles, functioning of the specified banking. The potential base of clients in Russia is, and the first experiences confirm it. However, the problem can be solved adjustment of the Russian legislation, creating thereby favorable conditions, both for local, and for foreign investors for implementation and promotion of an Islamic bank system. Creation of the relevant coordinating structure and mutual tolerance is required

SEWA DB: A rich database for audio-visual emotion and sentiment research in the wild

Natural human-computer interaction and audio-visual human behaviour sensing systems, which would achieve robust performance in-the-wild are more needed than ever as digital devices are becoming indispensable part of our life more and more. Accurately annotated real-world data are the crux in devising such systems. However, existing databases usually consider controlled settings, low demographic variability, and a single task. In this paper, we introduce the SEWA database of more than 2000 minutes of audio-visual data of 398 people coming from six cultures, 50% female, and uniformly spanning the age range of 18 to 65 years old. Subjects were recorded in two different contexts: while watching adverts and while discussing adverts in a video chat. The database includes rich annotations of the recordings in terms of facial landmarks, facial action units (FAU), various vocalisations, mirroring, and continuously valued valence, arousal, liking, agreement, and prototypic examples of (dis)liking. This database aims to be an extremely valuable resource for researchers in affective computing and automatic human sensing and is expected to push forward the research in human behaviour analysis, including cultural studies. Along with the database, we provide extensive baseline experiments for automatic FAU detection and automatic valence, arousal and (dis)liking intensity estimation

Assessment of information value of targeted biopsy and endoscopic removal of colorectal polyps

This research is based on histological investigation of targeted biopsy material and resected polyps’ at 354 patients who applied to National Center of Oncology from 2005 to 2010. All patients underwent targeted biopsy at first with subsequent endoscopic polypectomy and 494 polyps were removed and histologically investigated. The most prevalence type was tubular polyp — 212 (43 %) cases. The rest types of polyps were distributed as follow: tubule-villous type — 125 (25.3 %), villous type — 16 (3.2 %), inflammatory type — 28 (5.7 %), hyperplastic type — 40 (8.1 %), hamartoma type — 21 (4.3 %) cases. In 52 (10.4 %) cases malignant polyps were revealed.Sensitivity of targeted biopsy in iagnostics of dysplasia was 65.1 % while in revealing of malignancy was even lower — just 36.5 %. So we consider performing of endoscopic polypectomy and histological evaluation of resected polyps in all case even after previous targeted biopsy

ISSR Analysis of Variability of Cultivated Form and Varieties of Pomegranate (Punica granatum L.) from Azerbaijan

The article presents the results of a study of genetic polymorphism for the first time carried out on pomegranate varieties and forms of Azerbaijan origin using molecular markers. In total, 102 PCR fragments were identified, of which 80 were polymorphic. The high level of polymorphism (75.5%) and the rich genetic diversity were identified among the studied pomegranate collection. As a result of data analysis and on the basis of the values of the basic parameters (PIC, EMR, MI, RP, MRP) determining informativeness of markers, all 14 ISSR primers were suitable for genotyping pomegranate accessions. The most effective markers (UBC808, UBC811, UBC834, and UBC840) were identified among the set of primers tested. A dendrogram was constructed on the basis of the data obtained, which made it possible to group genotypes into 16 major clusters. The genetic similarity index ranged from 0.032 to 0.94. The study of the genetic relationship of different pomegranate varieties confirms the effectiveness of the ISSR method, which makes it possible to determine the level of genetic diversity, as well as to establish the relationship among the studied pomegranate accessions

Comparative analysis of quality of medical assistance coordination procedures and general practitioners in rural areas medical site

In order to develop recommendations for improving the quality and effectiveness of medical care provided by General practitioners and district therapists, the quality of medical care was studied based on expert assessments of 675 outpatient patients with therapeutic diseases. A survey of 817 patients served by district doctors was conducted. The study was conducted in 2015-2017 on the basis of 5 rural medical sites in 4 districts of the Republic of Dagestan. The results of the study; only a third part (29.7%) of patients were examined in the first 3 days from the date of treatment, the rest (70.3%) - in terms of more than 3 days; incomplete examination took place on average in 35.4% of cases; treatment of patients was defective in General practitioners in 20.5% of cases, in district therapists - in 25.6% of cases. The majority of the population has a positive attitude to the service of General medical practice and believes that their activities are more effective compared to district therapists. Based on the materials of the study, recommendations have been developed to improve the quality and effectiveness of medical care provided by district therapists and General practitioners.В целях разработки рекомендаций по повышению качества и эффективности медицинской помощи, оказываемой врачами общей практики и участковыми терапевтами, изучено качество медицинской помощи по материалам экспертных оценок 675 карт амбулаторных больных с терапевтическими заболеваниями. Проведен опрос 817 пациентов, обслуживаемых участковыми врачами. Исследование проводилось в 2015-2017гг. на базе 5 сельских врачебных участков 4 районов Республики Дагестан. Результаты исследования: лишь третья часть (29,7%) больных обследовалась в первые 3 дня с момента обращения, остальные (70,3%) - в сроки свыше 3 дней; неполное обследование имело место в среднем в 35,4% случаев; лечение больных было неполноценным у врачей общей практики в 20,5% случаев, у участковых терапевтов - в 25,6% случаев. Большинство населения положительно относится к службе общей врачебной практики и считает, что их деятельность более эффективна по сравнению с участковыми терапевтами. На основе материалов исследования разработаны рекомендации по повышению качества и эффективности медицинской помощи, оказываемой участковыми терапевтами и врачами общей практики

Datalog-Based program analysis with BES and RWL

This paper describes two techniques for Datalog query evaluation and their application to object-oriented program analysis. The first technique transforms Datalog programs into an implicit Boolean Equation System (Bes) that can then be solved by using linear-time complexity algorithms that are available in existing, general purpose verification toolboxes such as Cadp. In order to improve scalability and to enable analyses involving advanced meta-programming features, we develop a second methodology that transforms Datalog programs into rewriting logic (Rwl) theories. This method takes advantage of the preeminent features and facilities that are available within the high-performance system Maude, which provides a very efficient implementation of Rwl. We provide evidence of the practicality of both approaches by reporting on some experiments with a number of real-world Datalog-based analyses. © 2011 Springer-Verlag.This work has been partially supported by the eu(feder), the Spanish mec/micinn under grants tin2007-68093-C02 and tin2010-21062-C02-02, and the Generalitat Valenciana under grant Emergentes gv/2009/024. M.A.Feliu was partially supported by the Spanish mec fpu grant AP2008-00608.Alpuente Frasnedo, M.; Feliú Gabaldón, MA.; Joubert, C.; Villanueva García, A. (2011). Datalog-Based program analysis with BES and RWL. En Datalog Reloaded. Springer Verlag (Germany). 6702:1-20. https://doi.org/10.1007/978-3-642-24206-9_1S1206702Afrati, F.N., Ullman, J.D.: Optimizing joins in a map-reduce environment. In: Manolescu, I., Spaccapietra, S., Teubner, J., Kitsuregawa, M., Léger, A., Naumann, F., Ailamaki, A., Özcan, F. (eds.) EDBT. ACM International Conference Proceeding Series, vol. 426, pp. 99–110. ACM, New York (2010)Alpuente, M., Feliú, M., Joubert, C., Villanueva, A.: Defining Datalog in Rewriting Logic. Technical Report DSIC-II/07/09, DSIC, Universidad Politécnica de Valencia (2009)Alpuente, M., Feliú, M., Joubert, C., Villanueva, A.: Using Datalog and Boolean Equation Systems for Program Analysis. In: Cofer, D., Fantechi, A. (eds.) FMICS 2008. LNCS, vol. 5596, pp. 215–231. Springer, Heidelberg (2009)Alpuente, M., Feliú, M.A., Joubert, C., Villanueva, A.: Defining datalog in rewriting logic. In: De Schreye, D. (ed.) LOPSTR 2009. LNCS, vol. 6037, pp. 188–204. Springer, Heidelberg (2010)Andersen, H.R.: Model checking and boolean graphs. Theoretical Computer Science 126(1), 3–30 (1994)Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic Sets and Other Strange Ways to Implement Logic Programs. In: Proc. 5th ACM SIGACT-SIGMOD Symp. on Principles of Database Systems, PODS 1986, pp. 1–15. ACM Press, New York (1986)Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990)Chen, T., Ploeger, B., van de Pol, J., Willemse, T.A.C.: Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 120–135. Springer, Heidelberg (2007)Clavel, M., Durán, F., Ejer, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007)Dam, A., Ploeger, B., Willemse, T.: Instantiation for Parameterised Boolean Equation Systems. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol. 5160, pp. 440–454. Springer, Heidelberg (2008)de Moor, O., Sereni, D., Verbaere, M., Hajiyev, E., Avgustinov, P., Ekman, T., Ongkingco, N., Tibble, J.: QL: Object-oriented queries made easy. In: Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2008. LNCS, vol. 5235, pp. 78–133. Springer, Heidelberg (2008)Feliú, M., Joubert, C., Tarín, F.: Efficient BES-based Bottom-Up Evaluation of Datalog Programs. In: Gulías, V., Silva, J., Villanueva, A. (eds.) Proc. X Jornadas sobre Programación y Lenguajes (PROLE 2010), Garceta, pp. 165–176 (2010)Feliú, M., Joubert, C., Tarín, F.: Evaluation strategies for datalog-based points-to analysis. In: Bendisposto, J., Leuschel, M., Roggenbach, M. (eds.) Proc. 10th Workshop on Automated Verification of Critical Systems (AVoCS 2010), pp. 88–103. Technical Report of Düsseldorf University (2010)Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 158–163. Springer, Heidelberg (2007)Hajiyev, E., Verbaere, M., de Moor, O.: CodeQuest: Scalable Source Code Queries with Datalog. In: Hu, Q. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 2–27. Springer, Heidelberg (2006)Hanus, M.: The Integration of Functions into Logic Programming: From Theory to Practice. Journal on Logic Programming 19 & 20, 583–628 (1994)Joubert, C., Mateescu, R.: Distributed On-the-Fly Model Checking and Test Case Generation. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 126–145. Springer, Heidelberg (2006)Leeuwen, J. (ed.): Formal Models and Semantics, vol. B. Elsevier, The MIT Press (1990)Liu, X., Smolka, S.A.: Simple Linear-Time Algorithms for Minimal Fixed Points. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 53–66. Springer, Heidelberg (1998)Liu, Y.A., Stoller, S.D.: From datalog rules to efficient programs with time and space guarantees. ACM Trans. Program. Lang. Syst. 31(6) (2009)Livshits, B., Whaley, J., Lam, M.: Reflection Analysis for Java. In: Yi, K. (ed.) APLAS 2005. LNCS, vol. 3780, pp. 139–160. Springer, Heidelberg (2005)Marchiori, M.: Logic Programs as Term Rewriting Systems. In: Rodríguez-Artalejo, M., Levi, G. (eds.) ALP 1994. LNCS, vol. 850, pp. 223–241. Springer, Heidelberg (1994)Mateescu, R.: Local Model-Checking of an Alternation-Free Value-Based Modal Mu-Calculus. In: Proc. 2nd Int’l Workshop on Verication, Model Checking and Abstract Interpretation, VMCAI 1998 (1998)Mateescu, R., Thivolle, D.: A Model Checking Language for Concurrent Value-Passing Systems. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol. 5014, pp. 148–164. Springer, Heidelberg (2008)Meseguer, J.: Conditional Rewriting Logic as a Unified Model of Concurrency. Theoretical Computer Science 96(1), 73–155 (1992)Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol. 1376, pp. 18–61. Springer, Heidelberg (1998)Reddy, U.: Transformation of Logic Programs into Functional Programs. In: Proc. Symposium on Logic Programming (SLP 1984), pp. 187–197. IEEE Computer Society Press, Los Alamitos (1984)Reps, T.W.: Solving Demand Versions of Interprocedural Analysis Problems. In: Adsul, B. (ed.) CC 1994. LNCS, vol. 786, pp. 389–403. Springer, Heidelberg (1994)Rosu, G., Havelund, K.: Rewriting-Based Techniques for Runtime Verification. Autom. Softw. Eng. 12(2), 151–197 (2005)Schneider-Kamp, P., Giesl, J., Serebrenik, A., Thiemann, R.: Automated Termination Analysis for Logic Programs by Term Rewriting. In: Puebla, G. (ed.) LOPSTR 2006. LNCS, vol. 4407, pp. 177–193. Springer, Heidelberg (2007)Ullman, J.D.: Principles of Database and Knowledge-Base Systems, Volume I and II, The New Technologies. Computer Science Press, Rockville (1989)Vieille, L.: Recursive Axioms in Deductive Databases: The Query/Subquery Approach. In: Proc. 1st Int’l Conf. on Expert Database Systems, EDS 1986, pp. 253–267 (1986)Whaley, J.: Joeq: a Virtual Machine and Compiler Infrastructure. In: Proc. Workshop on Interpreters, Virtual Machines and Emulators, IVME 2003, pp. 58–66. ACM Press, New York (2003)Whaley, J., Avots, D., Carbin, M., Lam, M.S.: Using Datalog with Binary Decision Diagrams for Program Analysis. In: Yi, K. (ed.) APLAS 2005. LNCS, vol. 3780, pp. 97–118. Springer, Heidelberg (2005)Zheng, X., Rugina, R.: Demand-driven alias analysis for C. In: Proc. 35th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 2008, pp. 197–208. ACM Press, New York (2008

Оценка информативности получаемого материала при прицельной биопсии и эндоскопическом удалении колоректальных полипов

This research is based on histological investigation of targeted biopsy material and resected polyps’ at 354 patients who applied to National Center of Oncology from 2005 to 2010. All patients underwent targeted biopsy at first with subsequent endoscopic polypectomy and 494 polyps were removed and histologically investigated. The most prevalence type was tubular polyp — 212 (43 %) cases. The rest types of polyps were distributed as follow: tubule-villous type — 125 (25.3 %), villous type — 16 (3.2 %), inflammatory type — 28 (5.7 %), hyperplastic type — 40 (8.1 %), hamartoma type — 21 (4.3 %) cases. In 52 (10.4 %) cases malignant polyps were revealed.Sensitivity of targeted biopsy in iagnostics of dysplasia was 65.1 % while in revealing of malignancy was even lower — just 36.5 %. So we consider performing of endoscopic polypectomy and histological evaluation of resected polyps in all case even after previous targeted biopsy.Данное исследование основано на результатах сравнительного гистологического изучения биопсийного материала и удаленных колоректальных полипов у 354 пациентов в отделении эндоскопии Национального центра онкологии в период с 2005 по 2010 г. Всем больным была выполнена предварительная прицельная биопсия из колоректальных полипов и последующая эндоскопическая полипэктомия (удалено 494 полипа). Наиболее распространенным гистологическим типом оказался тубулярный полип — 212 (43 %) случая. Остальные типы полипов распределялись следующим образом: тубуло-виллезный тип — 125 (25,3 %) случаев, виллезный тип — 16 (3,2 %), воспалительный тип — 28 (5,7 %), гиперпластический тип — 40 (8,1 %) и гамартомный тип полипа — 21 (4,3 %) случай. В 52 (10,4 %) случаях были выявлены малигнизированные полипы. Чувствительность прицельной биопсии в определении дисплазии составила 65,1 %, а в выявлении малигнизации — лишь 36,5 %. Таким образом, мы считаем необходимым гистологическое исследование удаленных полипов после эндоскопической полипэктомии во всех случаях, даже при наличии результатов предварительной прицельной биопсии