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...

the present study aimed at determining the relationship between learning styles and the effect of random and blocked practices on learning of badminton serve skills.  in this quasi-experimental study, 48 female high school students were randomly placed in four groups: 1. convergent learning style with random practice, 2. convergent learning style with blocked practice, 3. divergent learning sty...

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...

the aim of this study was to evaluate blocked, random, gradual incremental and gradual decremental practice schedules on the acquisition and retention of different types of basketball pass (overhead, hand chest , single arm with dominate hand) in 8-10-year-old girls. for this purpose, 60 female students of second, third and fourth grade of elementary school were voluntarily selected and randoml...

0

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 ...