Search Results Heading

MBRLSearchResults

mbrl.module.common.modules.added.book.to.shelf
Title added to your shelf!
View what I already have on My Shelf.
Oops! Something went wrong.
Oops! Something went wrong.
While trying to add the title to your shelf something went wrong :( Kindly try again later!
Are you sure you want to remove the book from the shelf?
Oops! Something went wrong.
Oops! Something went wrong.
While trying to remove the title from your shelf something went wrong :( Kindly try again later!
    Done
    Filters
    Reset
  • Discipline
      Discipline
      Clear All
      Discipline
  • Is Peer Reviewed
      Is Peer Reviewed
      Clear All
      Is Peer Reviewed
  • Reading Level
      Reading Level
      Clear All
      Reading Level
  • Content Type
      Content Type
      Clear All
      Content Type
  • Year
      Year
      Clear All
      From:
      -
      To:
  • More Filters
      More Filters
      Clear All
      More Filters
      Item Type
    • Is Full-Text Available
    • Subject
    • Publisher
    • Source
    • Donor
    • Language
    • Place of Publication
    • Contributors
    • Location
3 result(s) for "Macedonio, Michele A"
Sort by:
The athlete's guide to making weight
Moving up or down a weight class? Switching positions within your sport? Competing in a new league or level? Are you big enough, quick enough, and strong enough? Elite athletes understand the impact that body weight and composition have on performance. Gain too much, and lose that all-important first step. Drop too much, and risk being overpowered. Here, sport dietitians Macedonio and Dunford have analyzed today's top athletes, competitive trends, and positional demands across 21 sports to help you determine--and achieve--your optimal competitive weight. Assess body composition, nutritional requirements, and your current training program. Then follow the customizable meal plans for a personalized approach to maximizing performance. Whether you need to add muscle and mass, lose body fat, or control water weight, this book will help you reach your goals without sacrificing safety or performance.--From publisher description.
Burst-like swarms in the Campi Flegrei caldera accelerating unrest from 2021 to 2024
Since early 2021, peculiar Volcano-Tectonic (VT) seismic sequences with very short inter-event times have become increasingly frequent and evident in the Campi Flegrei caldera (Italy), which has been experiencing a long-term unrest since 2005. During the same period the ground deformation (uplift), seismicity and gas emission that characterize the current unrest showed an acceleration. Within this type of seismic sequence, we identify burst-like swarms, characterized by inter-event times so short that they are often not easily recognizable. Here we show that these sequences are located in an area encompassing the main hydrothermal field and a zone affected by a geodetic anomaly (a region that uplifts less rapidly than the surroundings), which became evident in 2021. This type of seismicity has been associated with phreatic explosions and critical phases of unrest in other volcanoes and currently characterizes the state of activity of Campi Flegrei caldera. During the long-term unrest of the Campi Flegrei caldera, burst-like seismic swarms are observed and associated with an increase in hydrothermal activity and an anomaly in the ground deformation pattern recorded since 2021.
A type system for Discretionary Access Control
Discretionary Access Control (DAC) systems provide powerful resource management mechanisms based on the selective distribution of capabilities to selected classes of principals. We study a type-based theory of DAC models for a process calculus that extends Cardelli, Ghelli and Gordon's pi-calculus with groups (Cardelli et al. 2005). In our theory, groups play the role of principals and form the unit of abstraction for our access control policies, and types allow the specification of fine-grained access control policies to govern the transmission of names, bound the (iterated) re-transmission of capabilities and predicate their use on the inability to pass them to third parties. The type system relies on subtyping to achieve a selective distribution of capabilities to the groups that control the communication channels. We show that the typing and subtyping relationships of the calculus are decidable. We also prove a type safety result, showing that in well-typed processes all names: (i)flow according to the access control policies specified by their types; and(ii)are received at the intended sites with the intended capabilities. We illustrate the expressive power and the flexibility of the typing system using several examples.