54 research outputs found
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
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
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
Вплив фінансових можливостей підприємництва та бізнес-середовища на інноваційний розвиток країни та національне багатство
Пандемія COVID-19 негативно вплинула на економічне зростання та національне багатство країн світу. У
2020 році спад ВВП на душу населення становив -4,3% у світі та -5% в Азербайджані. Однак, у 2021 році ВВП
на душу населення зросло на 4,8% у світі та 5,1% в Азербайджані, що свідчить про економічний потенціал
Азербайджану. Автори зазначили, що Азербайджан займає лише 80-е місце зі 132 в рейтингу Глобального
інноваційного індексу. Це свідчить про необхідність інтенсифікації інноваційного розвитку країни. У рейтингу
легкості ведення бізнесу, Азербайджан посідає 34 місце зі 190. Згідно з результатами опитування підприємств,
проведеного Світовим банком, 23.7% підприємств в Азербайджані вважають доступ до фінансування
найбільшим барʼєром у веденні бізнесу, разом з тим, середньосвітовий показник становить 14,2%, а в Європі та
Центральній Азії – 9,4%. Таким чином, дане дослідження має на меті довести гіпотезу про позитивний вплив
фінансових можливостей підприємництва та бізнес-середовища на інноваційний розвиток країни та національне
багатство. Дослідження здійснено в наступній логічній послідовності. На першому етапі було застосовано
бібліометричний аналіз та аналітичний метод з використанням інструментів бази даних Scopus, VOSviewer та
Google Trends. На другому етапі було сформовано вибірку з 20 країн, до якої увійшли топ-10 лідерів Рейтингу
глобального індексу інновацій з високим рівнем доходу (як країни-орієнтири інноваційного розвитку, відповідно до яких Азербайджан повинен підвищувати свої позиції) і топ-10 лідерів з доходом вище середнього (схожих до
Азербайджану). Джерелами статистичних даних є Світовий банк, Всесвітня організація інтелектуальної
власності та Світовий економічний форум. Періодом дослідження обрано останні 10 доступних років. На
третьому етапі дослідження було проведено кореляційний аналіз для виявлення взаємозв'язку між показниками
фінансових можливостей підприємництва та бізнес-середовища (фінансування МСП, доступність венчурного
капіталу, внутрішнє кредитування приватного сектору, легкість ведення бізнесу, легкість започаткування
бізнесу, легкість отримання кредиту, легкість вирішення неплатоспроможності, захист міноритарних інвесторів,
кількість нових товариств з обмеженою відповідальністю, щільність нового бізнесу) та показниками
інноваційного розвитку країни (Глобальний інноваційний індекс) та національного багатства (загальне багатство
на душу населення). Своєю чергою, на четвертому етапі за результатами регресійного моделювання визначено
вплив фінансових можливостей підприємництва та бізнес-середовища на інноваційний розвиток країни та
національне багатство. Отримані результати мають практичне значення та можуть бути корисними для
науковців у подальших дослідженнях даної проблематики та для урядовців при удосконаленні економічної
політики держави.The Covid-19 pandemic caused negative consequences for the economic growth and national wealth of
countries worldwide. In 2020 the GDP per capita growth was -4,3% worldwide and -5% in Azerbaijan. However, in
2021, it was 4,8% and 5,1% in accordance, indicating Azerbaijan's economic potential. At the same time, Azerbaijan
takes only 80th place from 132 countries in the Global Innovation Index Rank, which is not sufficient and requires further
innovation development of the country. Also, Azerbaijan is the 34th of 190 countries in the Ease of Doing Business rank.
Still, according to the Enterprise Surveys made by the World Bank, 23,7% of firms in Azerbaijan choose access to finance
as their biggest obstacle. At the same time, the average world indicator is 14,2%, and the average one in Europe and
Central Asia is 9,4%. Therefore, this research aims to prove the hypothesis about the positive impact of entrepreneurship
financial opportunities and the business environment on the country's innovation development and national wealth. In
the first stage, a bibliometric and analytical analysis was carried out using the tools of the Scopus database, the
VOSviewer, and Google Trends. In the second stage, a sample of 20 countries was formed. It includes the top 10 leaders
in the Global Innovation Index Rank with high-income economies (as benchmark countries for innovation development,
according to which Azerbaijan should increase its position) and the top 10 leaders with upper-middle-income economies
(similar to Azerbaijan). The informational base consists of data from the World Bank, the World Intellectual Property
Organization, and the World Economic Forum for the last 10 available years. In the third stage, the correlation analysis
was made to identify the relationship between the indicators of entrepreneurship financial opportunities and business
environment (financing of SMEs, venture capital availability, domestic credit to the private sector, ease of doing
business, ease of starting a business, ease of getting credit, ease of resolving insolvency, protecting minority investors,
number of new limited liability companies, new business density) and the indicators of the country's innovation
development (Global Innovation Index) and national wealth (total wealth per capita). And at the fourth stage, the impact
of entrepreneurship financial opportunities and business environment on the country's innovation development and
national wealth was determined based on regression modeling results. The obtained results could be useful for scientists
in further research on this issue and for government officials in improving the state's economic policy
The role of miR-145 in stem cell characteristics of human laryngeal squamous cell carcinoma Hep-2 cells
The cancer stem-like cells (CSLCs) are tumorigenic cells promoting initiation, progression, and spread of the tumor. Accumulating evidences suggested the presence of CSLCs in distinct tumors including laryngeal squamous cell carcinoma (LSCC). MicroRNAs have been proposed as significant regulators of carcinogenesis, and several of them have been demonstrated to have direct roles in survival of CSLCs. In this study, we aimed to explore the role of miR-145, which is downregulated in LSCC, on cancer stem cell potency of laryngeal cancer cells. We initially showed the downregulation of miR-145 expression in tumor tissue samples and in CD133-enriched CSLCs. Quantitative reverse-transcription PCR (qRT-PCR) analysis of miR-145-transfected Hep-2 cells demonstrated the inhibitory role of miR-145 on stem cell markers like SOX2, OCT4, KLF4, and ABCG2. We, then, investigated the stem cell features of miR-145-overexpressing Hep-2 cells by sphere formation assay, single-cell cloning assay, and aldehyde dehydrogenase (ALDH) assay, which all demonstrated the inhibition of stem cell potency upon miR-145 overexpression. Further qRT-PCR analysis demonstrated altered expression of epithelial to mesenchymal transition markers in miR-145-overexpressing Hep-2 cells. In conclusion, we demonstrated the regulatory role of miR-145 in stem cell characteristics of Hep-2 cells. Based on these results, we propose that miR-145 might carry crucial roles in LSCC tumorigenesis, prognosis, metastasis, chemoresistance, and recurrence through regulating stem cell properties of tumor cells
Residual Based Adaptive Unscented Kalman Filter for Satellite Attitude Estimation
Determining the process noise covariance matrix in Kalman filtering applications is a difficult task especially for estimation problems of the high-dimensional states where states like biases or system parameters are included. This study introduces a simplistic residual based adaptation method for the Unscented Kalman Filter (UKF), which is used for small satellite attitude estimation. For a satellite with gyros and magnetometers onboard, the proposed adaptive UKF algorithm estimates the attitude as well as the gyro and magnetometer biases. The adaptation is performed using a single adaptive factor calculated in the base of the residual sequence and the process noise covariance matrix tuned dynamically via multiplication with this factor. The simulation results demonstrate that the proposed Adaptive Unscented Kalman Filter (AUKF) outperforms the conventional UKF in the sense of estimation accuracy and convergence characteristics. © 2012 by the American Institute of Aeronautics and Astronautics, Inc. All rights reserved
- …