English language -- Textbooks for foreign speakers.

Prediabetic state -- Prevention.

Memory.

Paris : Rueff, 1895.

Hamburg : L. Voss, 1892.

Wiesbaden : Bergmann, 1910.

Braunschweig : Druck und Verlag von Friedrich Vieweg und Sohn, 1898.

Berlin : A. Hirschwald, 1877.

Berlin : A. Hirschwald, 1870.

Berlin : A. Hirschwald, 1886.

Berlin : A. Hirschwald, 1891.

Leipzig : J.B. Hirschfeld, 1869.

Berlin : A. Hirschwald, 1850.

Wiesbaden : J.F. Bergmann, 1887.

Paris : Société d’éditions scientifiques, 1893.

Paris : J.-B. Baillière, 1877.

Leipzig : S. Hirzel, 1899.

[Rome?]

Châtillon, France : Association Hommefleur, [date of publication not identified]

Benjamin Arras, Ehsan Azmoodeh, Guillaume Poly, Yvik Swan.

Source: Brazilian Journal of Probability and Statistics, Volume 34, Number 2, 394--413.

Abstract:
In this paper we propose a new, simple and explicit mechanism allowing to derive Stein operators for random variables whose characteristic function satisfies a simple ODE. We apply this to study random variables which can be represented as linear combinations of (not necessarily independent) gamma distributed random variables. The connection with Malliavin calculus for random variables in the second Wiener chaos is detailed. An application to McKay Type I random variables is also outlined.

Marie Ernst, Gesine Reinert, Yvik Swan.

Source: Bernoulli, Volume 26, Number 3, 2051--2081.

Abstract:
We propose probabilistic representations for inverse Stein operators (i.e., solutions to Stein equations) under general conditions; in particular, we deduce new simple expressions for the Stein kernel. These representations allow to deduce uniform and nonuniform Stein factors (i.e., bounds on solutions to Stein equations) and lead to new covariance identities expressing the covariance between arbitrary functionals of an arbitrary univariate target in terms of a weighted covariance of the derivatives of the functionals. Our weights are explicit, easily computable in most cases and expressed in terms of objects familiar within the context of Stein’s method. Applications of the Cauchy–Schwarz inequality to these weighted covariance identities lead to sharp upper and lower covariance bounds and, in particular, weighted Poincaré inequalities. Many examples are given and, in particular, classical variance bounds due to Klaassen, Brascamp and Lieb or Otto and Menz are corollaries. Connections with more recent literature are also detailed.

Yating Liu, Gilles Pagès.

Source: Bernoulli, Volume 26, Number 2, 1171--1204.

Abstract:
We establish conditions to characterize probability measures by their $L^{p}$-quantization error functions in both $mathbb{R}^{d}$ and Hilbert settings. This characterization is two-fold: static (identity of two distributions) and dynamic (convergence for the $L^{p}$-Wasserstein distance). We first propose a criterion on the quantization level $N$, valid for any norm on $mathbb{R}^{d}$ and any order $p$ based on a geometrical approach involving the Voronoï diagram. Then, we prove that in the $L^{2}$-case on a (separable) Hilbert space, the condition on the level $N$ can be reduced to $N=2$, which is optimal. More quantization based characterization cases in dimension 1 and a discussion of the completeness of a distance defined by the quantization error function can be found at the end of this paper.

Jing Lei.

Source: Bernoulli, Volume 26, Number 1, 767--798.

Abstract:
We provide upper bounds of the expected Wasserstein distance between a probability measure and its empirical version, generalizing recent results for finite dimensional Euclidean spaces and bounded functional spaces. Such a generalization can cover Euclidean spaces with large dimensionality, with the optimal dependence on the dimensionality. Our method also covers the important case of Gaussian processes in separable Hilbert spaces, with rate-optimal upper bounds for functional data distributions whose coordinates decay geometrically or polynomially. Moreover, our bounds of the expected value can be combined with mean-concentration results to yield improved exponential tail probability bounds for the Wasserstein error of empirical measures under Bernstein-type or log Sobolev-type conditions.

Tatiana Stepanova
Apr 1, 2003; 23:2655-2664
Cellular

Lennart Mucke
Jun 1, 2000; 20:4050-4058
Cellular

Nestin, an intermediate filament protein widely used as a marker of neural progenitors, was recently found to be expressed transiently in developing cortical neurons in culture and in developing mouse cortex. In young cortical cultures, nestin regulates axonal growth cone morphology. In addition, nestin, which is known to bind the neuronal cdk5/p35 kinase, affects responses to axon guidance cues upstream of cdk5, specifically, to Sema3a. Changes in growth cone morphology require rearrangements of cytoskeletal networks, and changes in microtubules and actin filaments are well studied. In contrast, the roles of intermediate filament proteins in this process are poorly understood, even in cultured neurons. Here, we investigate the molecular mechanism by which nestin affects growth cone morphology and Sema3a sensitivity. We find that nestin selectively facilitates the phosphorylation of the lissencephaly-linked protein doublecortin (DCX) by cdk5/p35, but the phosphorylation of other cdk5 substrates is not affected by nestin. We uncover that this substrate selectivity is based on the ability of nestin to interact with DCX, but not with other cdk5 substrates. Nestin thus creates a selective scaffold for DCX with activated cdk5/p35. Last, we use cortical cultures derived from Dcx KO mice to show that the effects of nestin on growth cone morphology and on Sema3a sensitivity are DCX-dependent, thus suggesting a functional role for the DCX-nestin complex in neurons. We propose that nestin changes growth cone behavior by regulating the intracellular kinase signaling environment in developing neurons. The sex of animal subjects is unknown.

SIGNIFICANCE STATEMENT Nestin, an intermediate filament protein highly expressed in neural progenitors, was recently identified in developing neurons where it regulates growth cone morphology and responsiveness to the guidance cue Sema3a. Changes in growth cone morphology require rearrangements of cytoskeletal networks, but the roles of intermediate filaments in this process are poorly understood. We now report that nestin selectively facilitates phosphorylation of the lissencephaly-linked doublecortin (DCX) by cdk5/p35, but the phosphorylation of other cdk5 substrates is not affected. This substrate selectivity is based on preferential scaffolding of DCX, cdk5, and p35 by nestin. Additionally, we demonstrate a functional role for the DCX-nestin complex in neurons. We propose that nestin changes growth cone behavior by regulating intracellular kinase signaling in developing neurons.

The children's book author and illustrator purchased the repurposed World War II vessel in 1967

Mar del Plata, Argentinen :: Schiffsmitarbeiter besuchen ein christliches Suchtrehabilitationszentrum und erinnern die Frauen dort daran, dass sie in Gottes Augen wertvoll sind

Before probing blots for the presence of an antigen, the total composition of the transferred proteins can be determined by staining the nitrocellulose or polyvinylidene fluoride (PVDF) membrane. Staining for proteins is useful to determine the position of the non-prestained molecular weight markers or individual lanes on the gel and to ensure that efficient transfer has occurred. It can be also used to verify equal loading of the samples in the gel when a comparison of the protein of interest between the different samples is important. The conventional procedures such as Coomassie Blue and silver staining methods used for staining polyacrylamide gels are incompatible with immunoblotting. Ponceau S is the more common staining method in immunoblotting protocols because it is compatible with antibody–antigen binding, is cost efficient, and provides a good contrast between the stained bands and background. In this protocol, nitrocellulose or PVDF membrane is rinsed with ultrapure H₂O after the transfer of proteins. Ponceau S dye is applied as an acidic aqueous solution, and the proteins on the membrane are stained with red color. The membrane is briefly destained with water and can be photographed or scanned to obtain the image of the total protein staining. Individual lane positions or the molecular weight standards can be marked with a pencil, if required.

The Bradford assay is a quick and fairly sensitive method for measuring the concentrations of proteins. It is based on the shift in absorbance maximum of Coomassie Brilliant Blue G-250 dye from 465 to 595 nm following binding to denatured proteins in solution.

A protein shredder that occurs in cell membranes of brain cells apparently also indirectly regulates the fat metabolism.

Determining the concentration of protein samples generally is accomplished either by measuring the UV absorbance at 280 nm or by reacting the protein quantitatively with dyes and/or metal ions (Bradford, Lowry, or BCA assays). For purified proteins, UV absorbance remains the most popular method because it is fast, convenient, and reproducible; it does not consume the protein; and it requires no additional reagents, standards, or incubations. No method of protein concentration determination is perfect because each is subject to a different set of constraints such as interference of buffer components and contaminating proteins in direct UV determination (A₂₈₀) or reactivity of individual proteins and buffer components with the detecting reagents in colorimetric assays. In cases in which protein concentration is critical (e.g., determination of catalytic rate constants for an enzyme), it may be advisable to compare the results of several assays.

Atherosclerotic cardiovascular diseases have roots in childhood. Modification of dietary fat intake influences serum lipid and lipoprotein concentrations. Reduction of saturated fat intake is recommended to promote cardiovascular health.

Dietary counseling had a beneficial effect on saturated fat intake from ages 7 months to 19 years. The counseling reduced serum low-density lipoprotein cholesterol concentrations in both genders. It also decreased computationally estimated concentrations of intermediate-density lipoprotein cholesterol, very low-density lipoprotein–triglycerides and apolipoprotein B in boys. (Read the full article)

Pediatric osteoarticular infections can be treated with successful microbiologic and clinical outcomes with a transition from parenteral to oral therapy. The best way to determine the timing of this transition is neither well studied nor standardized.

A total of 193 (99.5%) of 194 pediatric patients with acute bacterial osteoarticular infections were successfully transitioned to oral therapy, determined by using a combination of clinical findings and C-reactive protein levels, representing the largest single-center data set analyzed. (Read the full article)

Biomarkers such as C-reactive protein (CRP) and procalcitonin are elevated in children with severe bacterial infections. Children with severe malnutrition are at increased risk of bacterial infections and early markers for the diagnosis of infection in these children are needed.

Despite elevated values in severely malnourished children with invasive bacterial infection or infectious diarrhea, CRP and procalcitonin have limited diagnostic value. CRP could predict death in these children with a good negative predictive value. (Read the full article)

Myxovirus resistance protein A (MxA) is a protein induced during viral infections. A few small-scale studies have suggested that MxA could be used as a marker of viral infection in clinical routine practice.

This study involves the largest patient population thus far and confirms the usefulness of MxA for diagnosing viral infections in children consulting the emergency department in a clinical routine setting. (Read the full article)

The quinoline MK-571 is the most commonly used inhibitor of multidrug resistance protein-1 (MRP-1) but was originally developed as a cysteinyl leukotriene receptor 1 (CysLTR1) antagonist. While studying the modulatory effect of MRP-1 on anti-hepatitis C virus (HCV) direct acting-antivirals (DAA) efficiency, we observed an unexpected anti-HCV effect of compound MK-571 alone. This anti-HCV activity was characterized in Huh7.5 cells stably harboring a subgenomic genotype 1b replicon. A dose-dependent decrease of HCV RNA levels was observed upon MK-571 administration, with an EC₅₀ of 9±0.3 μM and a maximum HCV RNA level reduction of approximatively 1 Log₁₀. MK-571 also reduced the replication of the HCV full-length J6/JFH1 model in a dose-dependent manner. However, probenecid and apigenin homodimer (APN), two specific inhibitors of MRP-1, had no effect on HCV replication. In contrast, the CysLTR1 antagonists SR2640 increased HCV-SGR RNA levels in a dose-dependent manner, with a maximum increase of 10-fold. In addition, a combination of natural CysLTR1 agonist (LTD4) or antagonists (zafirlukast, cinalukast, and SR2640) with MK-571 completely reversed its antiviral effect, suggesting its anti-HCV activity is related to CysLTR1 rather to MRP-1 inhibition. In conclusion, we showed that MK-571 inhibits HCV replication in hepatoma cell cultures by acting as a CysLTR1 receptor antagonist, thus unraveling a new host-virus interaction in the HCV life cycle.

KBP-7072 is a semi-synthetic aminomethylcycline with broad-spectrum activity against Gram-positive and Gram-negative pathogens including multidrug resistant bacterial strains. The pharmacokinetics (PK) of KBP-7072 after oral and intravenous (IV) administration of single and multiple doses were investigated in animal models including during fed and fasted states and also evaluated the protein binding and excretion characteristics. In Sprague-Dawley (SD) rats, Beagle dogs, and CD-1 mice, KBP-7072 demonstrated a linear PK profile after administration of single oral and IV and multiple oral doses. Oral bioavailability ranged from 12% to 32%. Mean T_max ranged from 0.5 to 4 hours, and mean half-life ranged from approximately 6 to 11 hours. Administration of oral doses in the fed state resulted in a marked reduction in C_max and AUC compared with dosing in fasted animals. The mean bound fractions of KBP-7072 were 77.5%, 69.8%, 64.5%, 69.3%, and 69.2% in mouse, rat, dog, monkey, and human plasma, respectively. Following a single 22.5 mg/kg oral dose of KBP-7072 in SD rats, cumulative excretion in feces was 64% and in urine was 2.5% of the administered dose. The PK results in animal models are consistent with single and multiple ascending dose studies in healthy volunteers and confirm the suitability of KBP-7072 for once daily oral and IV administration in clinical studies.

Multidrug resistant strains belonging to the Enterobacter cloacae complex (ECC) group, and especially those belonging to clusters C-III, C-IV and C-VIII, have increasingly emerged as a leading cause of healthcare-associated infections, with colistin used as one of the last line of treatment. However, colistin-resistant ECC strains have emerged. The aim of this study was to prove that MgrB, the negative regulator of PhoP/PhoQ two-component regulatory system, is involved in colistin resistance in ECC of cluster C-VIII, formerly referred to as Enterobacter hormaechei subsp. steigerwaltii. An in vitro mutant (Eh22-Mut) was selected from a clinical isolate of Eh22. The sequencing analysis of its mgrB gene showed the presence of one nucleotide deletion leading to the formation of a truncated protein of six instead of 47 amino acids. Wild-type mgrB gene from Eh22, as well as that of a clinical strain of Klebsiella pneumoniae used as controls, were cloned and the corresponding recombinant plasmids were used for complementation assays. Results showed a fully restored susceptibility to colistin, and confirmed for the first time that mgrB gene expression plays a key role in acquired resistance to colistin in ECC strains.

The rapid evolution of resistance in the malaria parasite to every single drug developed against it calls for the urgent identification of new molecular targets. Using a stain specific for the detection of intracellular amyloid deposits in live cells we have detected the presence of abundant protein aggregates in Plasmodium falciparum blood stages and female gametes cultured in vitro, in the blood stages of mice infected by Plasmodium yoelii, and in the mosquito stages of the murine malaria species Plasmodium berghei. Aggregated proteins could not be detected in early rings, the parasite form that starts the intraerythrocytic cycle. A proteomics approach was followed to pinpoint actual aggregating polypeptides in functional P. falciparum blood stages, which resulted in the identification of 369 proteins, with roles particularly enriched in nuclear import-related processes. Five aggregation-prone short peptides selected from this protein pool exhibited different aggregation propensity according to Thioflavin-T fluorescence measurements, and were observed to form amorphous aggregates and amyloid fibrils in transmission electron microscope images. The results presented suggest that generalized protein aggregation might have a functional role in malaria parasites. Future antimalarial strategies based on the upsetting of the pathogen's proteostasis and therefore affecting multiple gene products could represent the entry to new therapeutic approaches.

DOVER, Del. – Governor John Carney on Wednesday issued the following statement on the Senate’s vote to confirm the Governor’s nomination of Claire DeMatteis to serve as the next Commissioner of the Delaware Department of Correction: “Thank you to the members of the Delaware Senate for confirming Claire DeMatteis as Commissioner of the Department of […]

Democrat Senator Dianne Feinstein is being lambasted for apparent double standards after attacking Tara Reade, the former Joe Biden staffer who alleges the Democrat presidential candidate sexually assaulted her.
Read Full Article at RT.com

Hello All,

Following is the einstein's puzzle solved by cadence Incisive92  (solved in less than 3 seconds -> FAST!!!!!!)

Thanks,

Vinay Honnavara

Verification engineer at Keyu Tech

vinayh@keyutech.com

 // Author: Vinay Honnavara

// Einstein formulated this problem : he said that only 2% in the world can solve this problem
// There are 5 different parameters each with 5 different attributes
// The following is the problem

// -> In a street there are five houses, painted five different colors (RED, GREEN, BLUE, YELLOW, WHITE)

// -> In each house lives a person of different nationality (GERMAN, NORWEGIAN, SWEDEN, DANISH, BRITAIN)

// -> These five homeowners each drink a different kind of beverage (TEA, WATER, MILK, COFFEE, BEER),

// -> smoke different brand of cigar (DUNHILL, PRINCE, BLUE MASTER, BLENDS, PALL MALL)

// -> and keep a different pet (BIRD, CATS, DOGS, FISH, HORSES)


///////////////////////////////////////////////////////////////////////////////////////
// *************** Einstein's riddle is: Who owns the fish? ***************************
///////////////////////////////////////////////////////////////////////////////////////

/*
Necessary clues:

1. The British man lives in a red house.
2. The Swedish man keeps dogs as pets.
3. The Danish man drinks tea.
4. The Green house is next to, and on the left of the White house.
5. The owner of the Green house drinks coffee.
6. The person who smokes Pall Mall rears birds.
7. The owner of the Yellow house smokes Dunhill.
8. The man living in the center house drinks milk.
9. The Norwegian lives in the first house.
10. The man who smokes Blends lives next to the one who keeps cats.
11. The man who keeps horses lives next to the man who smokes Dunhill.
12. The man who smokes Blue Master drinks beer.
13. The German smokes Prince.
14. The Norwegian lives next to the blue house.
15. The Blends smoker lives next to the one who drinks water.
*/




typedef enum bit [2:0]  {red, green, blue, yellow, white} house_color_type;
typedef enum bit [2:0]  {german, norwegian, brit, dane, swede} nationality_type;
typedef enum bit [2:0]  {coffee, milk, water, beer, tea} beverage_type;
typedef enum bit [2:0]  {dunhill, prince, blue_master, blends, pall_mall} cigar_type;
typedef enum bit [2:0]  {birds, cats, fish, dogs, horses} pet_type;




class Einstein_problem;

    rand house_color_type house_color[5];
    rand nationality_type nationality[5];
    rand beverage_type beverage[5];
    rand cigar_type cigar[5];
    rand pet_type pet[5];
        rand int arr[5];
    
    constraint einstein_riddle_solver {
    
        
    
        foreach (house_color[i])
            foreach (house_color[j])
               if (i != j)
                house_color[i] != house_color[j];
        foreach (nationality[i])
            foreach (nationality[j])
               if (i != j)
                nationality[i] != nationality[j];
        foreach (beverage[i])
            foreach (beverage[j])
               if (i != j)
                beverage[i] != beverage[j];
        foreach (cigar[i])
            foreach (cigar[j])
               if (i != j)
                cigar[i] != cigar[j];
        foreach (pet[i])
            foreach (pet[j])
               if (i != j)
                pet[i] != pet[j];
    
    
        //1) The British man lives in a red house.
        foreach(nationality[i])
                (nationality[i] == brit) -> (house_color[i] == red);
                
        
        //2) The Swedish man keeps dogs as pets.
        foreach(nationality[i])
                (nationality[i] == swede) -> (pet[i] == dogs);
                
                
        //3) The Danish man drinks tea.        
        foreach(nationality[i])
                (nationality[i] == dane) -> (beverage[i] == tea);
        
        
        //4) The Green house is next to, and on the left of the White house.
        foreach(house_color[i])        
                 if (i<4)
                    (house_color[i] == green) -> (house_color[i+1] == white);
        
        
        //5) The owner of the Green house drinks coffee.
        foreach(house_color[i])
                (house_color[i] == green) -> (beverage[i] == coffee);
                
        
        //6) The person who smokes Pall Mall rears birds.
        foreach(cigar[i])
                (cigar[i] == pall_mall) -> (pet[i] == birds);
        
        
        //7) The owner of the Yellow house smokes Dunhill.
        foreach(house_color[i])
                (house_color[i] == yellow) -> (cigar[i] == dunhill);
        
        
        //8) The man living in the center house drinks milk.
        foreach(house_color[i])
                if (i==2) // i==2 implies the center house (0,1,2,3,4) 2 is the center
                    beverage[i] == milk;
        
        
        
        //9) The Norwegian lives in the first house.
        foreach(nationality[i])        
                if (i==0) // i==0 is the first house
                    nationality[i] == norwegian;
        
        
        
        //10) The man who smokes Blends lives next to the one who keeps cats.
        foreach(cigar[i])        
                if (i==0) // if the man who smokes blends lives in the first house then the person with cats will be in the second
                    (cigar[i] == blends) -> (pet[i+1] == cats);
        
        foreach(cigar[i])        
                if (i>0 && i<4) // if the man is not at the ends he can be on either side
                    (cigar[i] == blends) -> (pet[i-1] == cats) || (pet[i+1] == cats);
        
        foreach(cigar[i])        
                if (i==4) // if the man is at the last
                    (cigar[i] == blends) -> (pet[i-1] == cats);
        
        foreach(cigar[i])        
                if (i==4)
                    (pet[i] == cats) -> (cigar[i-1] == blends);
        
        
        //11) The man who keeps horses lives next to the man who smokes Dunhill.
        foreach(pet[i])
                if (i==0) // similar to the last case
                    (pet[i] == horses) -> (cigar[i+1] == dunhill);
        
        foreach(pet[i])        
                if (i>0 & i<4)
                    (pet[i] == horses) -> (cigar[i-1] == dunhill) || (cigar[i+1] == dunhill);
                    
        foreach(pet[i])        
                if (i==4)
                    (pet[i] == horses) -> (cigar[i-1] == dunhill);
                    


        //12) The man who smokes Blue Master drinks beer.
        foreach(cigar[i])
                (cigar[i] == blue_master) -> (beverage[i] == beer);
        
        
        //13) The German smokes Prince.
        foreach(nationality[i])        
                (nationality[i] == german) -> (cigar[i] == prince);
        

        //14) The Norwegian lives next to the blue house.
        foreach(nationality[i])
                if (i==0)
                    (nationality[i] == norwegian) -> (house_color[i+1] == blue);
        
        foreach(nationality[i])        
                if (i>0 & i<4)
                    (nationality[i] == norwegian) -> (house_color[i-1] == blue) || (house_color[i+1] == blue);
        
        foreach(nationality[i])        
                if (i==4)
                    (nationality[i] == norwegian) -> (house_color[i-1] == blue);
        

        //15) The Blends smoker lives next to the one who drinks water.            
        foreach(cigar[i])            
                if (i==0)
                    (cigar[i] == blends) -> (beverage[i+1] == water);
        
        foreach(cigar[i])        
                if (i>0 & i<4)
                    (cigar[i] == blends) -> (beverage[i-1] == water) || (beverage[i+1] == water);
                    
        foreach(cigar[i])        
                if (i==4)
                    (cigar[i] == blends) -> (beverage[i-1] == water);
        
    } // end of the constraint block
    


    // display all the attributes
    task display ;
        foreach (house_color[i])
            begin
                $display("HOUSE : %s",house_color[i].name());
            end
        foreach (nationality[i])
            begin
                $display("NATIONALITY : %s",nationality[i].name());
            end
        foreach (beverage[i])
            begin
                $display("BEVERAGE : %s",beverage[i].name());
            end
        foreach (cigar[i])
            begin
                $display("CIGAR: %s",cigar[i].name());
            end
        foreach (pet[i])
            begin
                $display("PET : %s",pet[i].name());
            end
        foreach (pet[i])
            if (pet[i] == fish)
                $display("THE ANSWER TO THE RIDDLE : The %s has %s ", nationality[i].name(), pet[i].name());
    
    endtask // end display
    
    
endclass




program main ;

    initial
        begin
            Einstein_problem ep;
            ep = new();
            if(!ep.randomize())
                $display("ERROR");
            ep.display();
        end
endprogram // end of main