Search results for "Heck"
showing 10 items of 682 documents
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…
Integrated Tool for Assisted Predictive Analytics
2021
Organizations use predictive analysis in CRM (customer relationship management) applications for marketing campaigns, sales, and customer services, in manufacturing to predict the location and rate of machine failures, in financial services to forecast financial market trends, predict the impact of new policies, laws and regulations on businesses and markets, etc. Predictive analytics is a business process which consists of collecting the data, developing accurate predictive model and making the analytics available to the business users through a data visualization application. The reliability of a business process can be increased by modeling the process and formally verifying its correctn…
Insight on [1,3]thiazolo[4,5-e]isoindoles as tubulin polymerization inhibitors
2021
A series of [1,3]thiazolo[4,5-e]isoindoles has been synthesized through a versatile and high yielding multistep sequence. Evaluation of the antiproliferative activity of the new compounds on the full NCI human tumor cell line panel highlighted several compounds that are able to inhibit tumor cell proliferation at micromolar-submicromolar concentrations. The most active derivative 11g was found to cause cell cycle arrest at the G2/M phase and induce apoptosis in HeLa cells, following the mitochondrial pathway, making it a lead compound for the discovery of new antimitotic drugs.
New concepts in multidentate ligand chemistry: effects of multidentarity on catalytic and spectroscopic properties of ferrocenyl polyphosphines.
2008
This tutorial review devoted to ligand chemistry deals with the design and properties of ferrocenyl polyphosphines, an original class of multidentate ligands. The development of a varied library of ferrocenyl tetra-, tri- and diphosphine ligands is reviewed. The multidentate nature of these species has led to unique spectroscopic and catalytic properties, in which the spatial proximity of phosphorus atoms is crucial. Regarding their catalytic applications, the key issues of catalyst longevity and ultralow catalyst loadings are discussed. Another part is concerned with fundamental advances gained in physical chemistry for structure elucidation by the study of the intriguing “through-space” N…
MANAGEMENT OF SEMI-WILD LARGE HERBIVORES’ GRAZING SITES IN LATVIA
2019
Large herbivores were a common part of European nature in the pre-agrarian times. With the development of farming and over-hunting, the number of wild large herbivores rapidly decreased. Wild horses and cattle became extinct. In the 1920-30’s, scientists created two new herbivore breeds that resembled the extinct aurochs and tarpans - Heck cattle and Konik horses. Nowadays the introduction of Heck cattle, Konik horses and other similar large herbivore breeds is widely used in specially protected nature territories (SPNT) as a strategic answer to the question – what should we do with the agricultural lands that have lost their economical meaning. Since 1999, semi-wild large herbivores are in…
Protective effect of antioxidants contained in milk-based fruit beverages against sterol oxidation products
2017
Abstract Sterol oxidation products (SOPs) have shown cytotoxic effect in human intestinal cells; however, their effect within a food matrix has not been assayed yet. This study evaluated the possible cytotoxic effect of SOPs within bioaccessible fractions (BFs) of two milk-based fruit beverages with (BFA)/without (BFB) plant sterols in differentiated Caco-2 cells and if the BFs counteracted the cytotoxic effect induced by COPs mixture (30 and 60 μM). BFs did not evoke cytotoxic effect in any of the tests carried out and they protected against the loss of intestinal cohesion, mitochondrial depolarization and necrosis induced by COPs mixture. Moreover, BFB sample protected from cell cycle arr…
Neurofilament light chain levels reflect outcome in a patient with glutamic acid decarboxylase 65 antibody–positive autoimmune encephalitis under imm…
2020
Neurological immune-mediated side effects are rare but often severe complications of immune checkpoint inhibitor (ICI) treatment. This report describes a severe case of nivolumab/ipilimumab-associated glutamic acid decarboxylase 65-positive autoimmune encephalitis. It proposes neurofilament light chain levels, a biomarker indicating axonal damage, in the cerebrospinal fluid and serum as a putative novel biomarker for this diagnostically and therapeutically challenging entity with an often unfavorable outcome. Additionally, we provide an overview of previous reports of patients developing autoimmune encephalitis under ICI treatment.
Mutual-information based rate-adaptation for Multi-User TH-IR-UWB coded system
2011
In this paper we present a coding rate adaptation technique for a Time-Hopping Impulse-Radio Ultra-Wide Band (TH-IR-UWB) system assuming that the Multi-User Interference (MUI) is modeled as an additive interference noise following a Generalized Gaussian Distribution (GGD). The shape parameter induced by the GGD model is in general time-variant since it strongly depends on the essential UWB system parameters and the received signal power of the active users. In this paper, we show that the performance of a TH-IR-UWB LDPC coded system is quite independent of the GGD shape parameter when we consider the mutual information between the soft input to the decoder and the transmitted sequence, espe…
Development of the Optical Multiplexer Board Prototype for Data Acquisition in the TileCal System
2006
This paper describes the development of the optical multiplexer board (OMB), also known as PreROD board, for the TileCal readout system in the ATLAS experiment. The aim of this board is to overcome the problems that may arise in the integrity of data due to radiation effects. The solution adopted has been to add redundancy to data transmission and so two optical fibers with the same data come out from the detector front end boards. The OMB has to decide in real time which fiber, eventually, carries data with no errors switching it to the output link connected to the read out driver (ROD) motherboard where data processing takes place. Besides, the board may be also used as a data injector fo…
Selftype is a special case
1991
It is pointed out that selftype is actually only a special case of a construct that has been well described in the literature.