We def ine a faster algorithm functionally equivalent to the classical backtrack algorithm for assignment p rob lems , of wh ich the Eight Queens puzzle is an e l emen ta r y example (Fi l lmore & Williamson 1974, Knuth 1975 ] . Exper imental measurements (f igure 1) reveal r educ t i on by a factor of 2.5 for the 8-queens puzzle ( fac to r of 8.7 for 16 queens) in T, the number of pairtests p ...

One can prove the following two propositions: (1) Let V be a real unitary space, A, B be finite subsets of V , and v be a vector of V . Suppose v ∈ Lin(A∪B) and v / ∈ Lin(B). Then there exists a vector w of V such that w ∈ A and w ∈ Lin(((A ∪ B) \ {w}) ∪ {v}). (2) Let V be a real unitary space and A, B be finite subsets of V . Suppose the unitary space structure of V = Lin(A) and B is linearly ...

In [1] we present an extension of Prime Event Structures by a mechanism to express dynamicity in the causal relation. More precisely we add the possibility that the occurrence of an event can add or remove causal dependencies between events and analyse the expressive power of the resulting Event Structures w.r.t. to some well-known Event Structures from the literature. This technical report con...

In [1] we present an extension of Prime Event Structures by a mechanism to express dynamicity in the causal relation. More precisely we add the possibility that the occurrence of an event can add or remove causal dependencies between events and analyse the expressive power of the resulting Event Structures w.r.t. to some well-known Event Structures from the literature. This technical report con...

The notion of extriangulated category was introduced by Nakaoka and Palu giving a simultaneous generalization exact categories triangulated categories. Our first aim is to provide an extension Auslander's formula: for some $\mathcal{C}$, there exists localization sequence $\operatorname{def}\mathcal{C} \to \mod\mathcal{C} \operatorname{lex}\mathcal{C}$, where $\operatorname{lex}\mathcal{C}$ den...

Inhibitors of the oncogenic Ras-MAPK pathway have been intensely pursued as therapeutics. Targeting this pathway, however, presents challenges due to the essential role of MAPK in homeostatic functions. The phosphorylation and activation of MAPK substrates is regulated by protein-protein interactions with MAPK docking sites. Active ERK1/2 (extracellular signal-regulated kinase 1/2)-MAPKs locali...

Here, we investigated adhesion and invasion of Riemerella anatipestifer (RA) to primary duck embryo fibroblast (DEF) cells. The ability of RA to adhere to, and more importantly, to invade DEF cells was demonstrated by using a gentamicin invasion assay and was confirmed by transmission electron microscopy (TEM). Adhesion of RA could be found by TEM after 1 h of inoculation. Both apoptosis and nec...

A concept of weak $f$-property for a set-valued mapping is introduced‎, ‎and then under some suitable assumptions‎, ‎which do not involve any information‎ ‎about the solution set‎, ‎the lower semicontinuity of the solution mapping to‎ ‎the parametric‎ ‎set-valued vector equilibrium-like problems are derived by using a density result and scalarization method‎, ‎where the‎ ‎constraint set $K$...

Downlo ticular germ cell tumors (TGCT) originate from germ cells. The 129-Ter and M19 (129.MOLF-Chr19 mic) mouse strains have extremely high incidences of TGCTs. We found that the expression levels of coded splicing factor 1 (SF1) can modulate the incidence of TGCTs. We generated mice with inactivated null mice (Sf1−/−) died before birth. Mice with one intact allele of Sf1 (Sf1+/−) were viable ...

we present a methodology for characterization and an approach for computing the solutions of fuzzy linear systems with lr fuzzy variables. as solutions, notions of exact and approximate solutions are considered. we transform the fuzzy linear system into a corresponding linear crisp system and a constrained least squares problem. if the corresponding crisp system is incompatible, then the fuzzy ...