Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
Many software model checkers are based on predicate abstraction. Values of variables in branching conditions are represented abstractly using predicates. The strength of this approach is its path-sensitive nature. However, if the control flow depends heavi ...
Consensus is one of the key problems in fault tolerant distributed computing. A very popular model for solving consensus is the failure detector model defined by Chandra and Toueg. However, the failure detector model has limitations. The paper points out t ...
Many software model checkers are based on predicate abstraction. Values of variables in branching conditions are represented abstractly using predicates. The strength of this approach is its path-sensitive nature. However, if the control flow depends heavi ...
Alkylation of alpha -isocyanoacetamide with alkyl halide in MeCN at 0 DegC in the presence of cesium hydroxide afforded the mono-alkylated product in good to excellent yield. [on SciFinder (R)] ...
Good things come in small packages: For its moderate molecular weight, the metallostar complex [Fe{Gd2L(H2O)4}3]4− (see picture; L is a bipyridine–poly(aminocarboxylate) derivative) displays exceptionally high proton relaxivity, which is explained in terms ...
Colloid-polymer mixtures can undergo spinodal decomposition into colloid-rich and colloid-poor regions. Gelation results when interconnected colloid-rich regions solidify. We show that this occurs when these regions undergo a glass transition, leading to d ...
New 2-(aminomethyl)-5-(hydroxymethyl)pyrrolidine-3,4-diol derivatives were synthesized from (5S)-5-[(trityloxy)methyl]pyrrolidin-2-one (6) (Schemes 1 and 2) and their inhibitory activities toward 25 glycosidases assayed (Table). The influence of the config ...
The use and the no. of sulfonylurea herbicides have increased since the early 1980s. A good understanding of their degrdn. is of ecol. importance, since environmental pollutants can be issued from them. It is claimed that microbial degrdn. and chem. hydrol ...
The number of probabilistic approaches to ``classic'' distributed systems problems such as reliable broadcast, consensus, or leader election, has further increased recently. Probabilistic algorithms, possibly starting from probabilistic system models, have ...
The Garcia-Gonzalez reaction Of D-glucose and ethyl acetoacetate generated ethyl 5-[(1'S)-D-erythrosyl]-2-methyl-3-furoate (5), which was converted to ethyl 5-[(1'R)-1',4'-dideoxy-1',4'-imino-D-erythrosyl]-2-methyl-3-furoate (3c) and to ethyl 5-[(1'S)-1',4 ...
