A method to find all solutions of a system of multivariate polynomial equalities and inequalities in the max algebra

In this paper we show that finding solutions of a system of multivariate polynomial equalities and inequalities in the max algebra is equivalent to solving an Extended Linear Complementarity Problem. This allows us to find all solutions of such a system of multivariate polynomial equalities and inequalities and provides a geometrical insight in the structure of the solution set. We also demonstrate that this enables us to solve many important problems in the max algebra and the max-min-plus algebra such as matrix decompositions, construction of matrices with a given characteristic polynomial, state space transformations and the (minimal) state space realization problem.Research assistant with the N.F.W.O. (Belgian National Fund for Scientific Research).Senior research associate with the N.F.W.O.     

On security arguments of the second round SHA-3 candidates

In 2007, the US National Institute for Standards and Technology (NIST) announced a call for the design of a new cryptographic hash algorithm in response to vulnerabilities like differential attacks identified in existing hash functions, such as MD5 and SHA-1. NIST received many submissions, 51 of which got accepted to the first round. 14 candidates were left in the second round, out of which five candidates have been recently chosen for the final round. An important criterion in the selection process is the SHA-3 hash function security. We identify two important classes of security arguments for the new designs: (1) the possible reductions of the hash function security to the security of its underlying building blocks and (2) arguments against differential attack on building blocks. In this paper, we compare the state of the art provable security reductions for the second round candidates and review arguments and bounds against classes of differential attacks. We discuss all the SHA-3 candidates at a high functional level, analyze, and summarize the security reduction results and bounds against differential attacks. Additionally, we generalize the well-known proof of collision resistance preservation, such that all SHA-3 candidates with a suffix-free padding are covered.     

iPSC-Cardiomyocyte Models of Brugada Syndrome—Achievements,Challenges and Future Perspectives

Brugada syndrome (BrS) is an inherited cardiac arrhythmia that predisposes to ventricular fibrillation and sudden cardiac death. It originates from oligogenic alterations that affect cardiac ion channels or their accessory proteins. The main hurdle for the study of the functional effects of those variants is the need for a specific model that mimics the complex environment of human cardiomyocytes. Traditionally, animal models or transient heterologous expression systems are applied for electrophysiological investigations, each of these models having their limitations. The ability to create induced pluripotent stem cell-derived cardiomyocytes (iPSC-CMs), providing a source of human patient-specific cells, offers new opportunities in the field of cardiac disease modelling. Contemporary iPSC-CMs constitute the best possible in vitro model to study complex cardiac arrhythmia syndromes such as BrS. To date, thirteen reports on iPSC-CM models for BrS have been published and with this review we provide an overview of the current findings, with a focus on the electrophysiological parameters. We also discuss the methods that are used for cell derivation and data acquisition. In the end, we critically evaluate the knowledge gained by the use of these iPSC-CM models and discuss challenges and future perspectives for iPSC-CMs in the study of BrS and other arrhythmias.     

15 years of processing and dissemination of SPOT-VEGETATION products

Throughout the VEGETATION programme, the Flemish Institute for Technological Research (VITO) uninterruptedly hosted the prime user segment of both VEGETATION 1 and VEGETATION 2 multispectral instruments on board the Satellite Pour l’Observation de la Terre 4 (SPOT 4) and SPOT 5 satellites. Operational since the launch of SPOT 4 in March 1998, and foreseen to continue at least until the end of the SPOT 5 mission (anticipated in spring 2014), this user segment comprises a processing facility (PF), actively receiving, processing, correcting, archiving, and distributing the VEGETATION data and derived added-value products. First and foremost, the VEGETATION programme has been serving the needs of operational users – both institutional and commercial – requesting data in near-real time. However, scientific and educational users too benefited significantly, in particular from VEGETATION’s unique time series of the Earth’s land cover, and more specifically the vegetation cover. Over the years, the centralized archive houses processed data covering the equivalent of 11,000 times the Earth’s surface, and delivered more than 50 terapixels to around 10.000 users. As such, VEGETATION’s mission is a prime example of what Europe wants to achieve through the Global Monitoring for Environment and Security (GMES) initiative: truly operational services providing reliable and up-to-date information.

This article describes the processing facility, the way the data and products are archived, the different dissemination channels as well as the data policy adopted and the users served. One of the recent evolutions, the development of an entirely new product distribution facility (PDF), implemented as part of the Project for On-Board Autonomy – Vegetation (PROBA-V) user segment is discussed.     

Heterogeneous asymmetric reactions. 23. Enantioselective hydrogenation of ethyl pyruvate over cinchonine- and α-isocinchonine-modified platinum catalysts

The enantioselective hydrogenation of ethyl pyruvate to (S)-ethyl lactate over cinchonine- and -isocinchonine-modified Pt/Al₂O₃ catalysts was studied as a function of modifier concentration and reaction temperature. The maximum enantioselectivities obtained under the applied mild conditions were 89% ee using cinchonine (0.014 mmoldm^–3, 1 bar H₂, 23°C, 6% AcOH in toluene), and 76% ee in the case of -isocinchonine (0.14 mmoldm^–3, 1 bar H₂, –10°C, 6% AcOH in toluene). Since -isocinchonine of rigid structure exists only in anti-open conformation these data provide additional experimental evidence to support the former suggestion concerning the dominating role of anti-open conformation in these cinchona-modified enantioselective hydrogenations.     

Lightweight dynamic symmetry breaking

Symmetries in constraint problems present an opportunity for reducing search. This paper presents Lightweight Dynamic Symmetry Breaking, an automatic symmetry breaking method that is efficient enough to be used as a default, since it never yields a major slowdown while often giving major performance improvements. This is achieved by automatically exploiting certain kinds of symmetry that are common, can be compactly represented, easily and efficiently processed, automatically detected, and lead to large reductions in search. Moreover, the method is easy to implement and integrate in any constraint system. Experimental results show the method is competitive with the best symmetry breaking methods without risking poor performance.     

Toward a secure Kerberos key exchange with smart cards

Public key Kerberos (PKINIT) is a standard authentication and key establishment protocol. Unfortunately, it suffers from a security flaw when combined with smart cards. In particular, temporary access to a user’s card enables an adversary to impersonate that user for an indefinite period of time, even after the adversary’s access to the card is revoked. In this paper, we extend Shoup’s key exchange security model to the smart card setting and examine PKINIT in this model. Using this formalization, we show that PKINIT is indeed flawed, propose a fix, and provide a proof that this fix leads to a secure protocol.     

X-ray crystal structure of the dye 2-cyano-4-bromo-4′-N,N-diethylaminoazobenzene

The crystal structure and molecular conformation of 2-cyano-4-bromo-4′-N,N-diethylaminoazobenzene (C₁₇H₁₇N₄Br, mol. wt. = 357·2 a.m.u) has been determined from X-ray diffraction data; triclinic, P$\text{1}$ (No. 2), a = 10·132(11) Å, b = 12·216(16) Å, c = 6·966(11) Å, α = 104·21(9)°, β = 92·67(12)°, γ = 97·22(7)°, V = 826·5(9) ų, Z = 2, D_c = 1·436 g cm^?3, F(000) = 378, λ(MoKα) = 0·71069 Å, μ(MoKα) = 26·0 cm^?1. The structure was solved by the multiple solution direct method and refined by full-matrix least-squares to R = 0·059 for 1538 independent observed reflections. The azobenzene skeleton is planar to within 0·06 Å. Most significant bonding data are: NN, 1·290(8) Å; BrC, 1·866(6) Å; mean CN (azo) 1·380(8) Å; NNC, 113·6(4) and 115·3(4)°; NCC (cis relative to NN) 125·9(4)° and 126·7(4)°; NCC (trans) 116·8°(5)° and 116·1(4)°.     

Recent warming of Tonle Sap Lake,Cambodia: Implications for one of the world’s most productive inland fisheries

Tonle Sap Lake in Cambodia is arguably the world's most productive freshwater ecosystems, as well as the dominant source of animal protein for the country. The rapid rise of hydropower schemes, deforestation, land development and climate change impacts in the Mekong River Basin, however, now represent serious concerns in regard to Tonle Sap Lake's ecological health and its role in future food security. To this end, the present study identifies significant recent warming of lake temperature and discusses how each of these anthropogenic perturbations in Tonle Sap's floodplain and the Mekong River Basin may be influencing this trend. The lake's dry season monthly average temperature increased by 0.03°C/year between 1988 and 2018, being largely in synchrony with warming trends of the local air temperature and upstream rivers. The impacts of deforestation and agriculture development in the lake's floodplain also exhibited a high correlation with an increased number of warm days observed in the lake, particularly in its southeast region (agriculture R² = .61; deforestation R² = .39). A total of 79 dams, resulting in 72 km³ of volumetric water capacity, were constructed between 2003 and 2018 in the Mekong River Basin. This dam development coincided with a decreasing trend in the number of dry season warm days per year in the lower Mekong River, while Tonle Sap Lake's number of dry season warm days continued to increase during this same period. The present study revealed that Tonle Sap Lake's temperature trends are highly influenced by temperature trends in the local climate, agriculture development and deforestation of the lake's watershed. Although there were no noticeable impacts observed from upstream dam development in the Mekong River Basin, local‐to‐regional agricultural and land management of the lake's watershed appear to be effective strategies for maintaining a stable thermal regime in the lake in order to facilitate maximum ecosystem health.