Abstract In this industrial case study we describe a new network troubleshooting analysis used by VPC Reachability Analyzer , an SMT-based reachability and debugging tool. Our uses formal model of AWS Virtual Private Cloud (VPC) semantics to identify whether destination is reachable from source in given configuration. the where there no feasible path, our derives blocked path : infeasible but o...

As the world's population increases, marginal lands such as drylands are likely to become more important for food production. One proven strategy for improving crop production in drylands involves shifting from conventional tillage to no-till to increase water use efficiency, especially when this shift is coupled with more intensive crop rotations. Practices such as no-till that reduce soil dis...

Using minor hysteresis loops in the Stoner–Wohlfarth model allows describing experimental behavior of coercive force ferrihydrite nanoparticles with a change field amplitude. The description estimating parameters distribution magnetic anisotropy nanoparticles. best agreement fields estimated by different approaches is achieved for assumption uniaxial

Stroge ekološke norme i rast cijena goriva promiču upotrebu visokonaponskih kopnenih priključaka. Ta relativno nova tehnologija postaje sve atraktivnija brodovlasnicima, jer pruža ekonomski isplativu alternativu trošenju propisanog skupog goriva s niskim udjelom sumpora u brodskim električnim centralama za vrijeme boravka u lukama Europske unije i posebno nadziranim područjima ispuštanja plinov...

The plant toxin ricin is transported retrogradely from the cell surface to the endoplasmic reticulum (ER) from where the enzymatically active part is retrotranslocated to the cytosol, presumably by the same mechanism as used by misfolded proteins. The ER degradation enhancing alpha-mannosidase I-like protein, EDEM, is responsible for directing aberrant proteins for ER-associated protein degrada...

Kronične bolesti jetre nalaze se među prvih deset uzroka smrti u razvijenom svijetu, te su jedan od vodećih javnozdravstvenih problema u svijetu (1). Gotovo sve kronične bolesti jetre mogu dovesti do ciroze. Glavni uzroci kroničnih bolesti jetre su infekcije virusima hepatitisa B i C, ali se primjećuje i povećana učestalost alkoholnih i nealkoholnih steatohepatitisa (2). Tako se procjenjuje da ...