Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
One-Compartment Open Model: Wagner-Nelson and Loo Riegelman Method for ka Estimation01:24

One-Compartment Open Model: Wagner-Nelson and Loo Riegelman Method for ka Estimation

This lesson introduces two critical methods in pharmacokinetics, the Wagner-Nelson and Loo-Riegelman methods, used for estimating the absorption rate constant (ka) for drugs administered via non-intravenous routes. The Wagner-Nelson method relates ka to the plasma concentration derived from the slope of a semilog percent unabsorbed time plot. However, it is limited to drugs with one-compartment kinetics and can be impacted by factors like gastrointestinal motility or enzymatic degradation.
On...
Multicompartment Models: Overview01:14

Multicompartment Models: Overview

Multicompartment models are mathematical constructs that depict how drugs are distributed and eliminated within the body. They segment the body into several compartments, symbolizing various physiological or anatomical areas connected through drug transfer processes such as absorption, metabolism, distribution, and elimination.
These models offer a more comprehensive representation of drug behavior in the body than one-compartment models. They accommodate the complexity of drug distribution,...
Mathematical Modeling: Problem Solving01:29

Mathematical Modeling: Problem Solving

Mathematical modeling transforms real-world scenarios into mathematical expressions, allowing for structured problem-solving and analysis. This process involves defining the situation, assigning variables to measurable quantities, selecting an appropriate model, and solving the resulting equation. Such models are invaluable in finance, providing precise methods to evaluate investments, loans, and repayment structures.A widely used example is the calculation of fixed monthly payments on a loan,...
Kohlraush’s Law and its Applications01:29

Kohlraush’s Law and its Applications

Kohlrausch's law explains that at infinite dilution, where dissociation is complete, each ion's contribution to the conductivity of the electrolyte is independent of the nature of other ions present in the solution. It also implies that when an electrolyte is highly diluted, the conductance of the electrolyte is the sum of the individual conductances of the ions it generates upon dissociation. The quantity of electricity an ion carries is proportional to its molar ionic conductance, which...
Ampere-Maxwell's Law: Problem-Solving01:17

Ampere-Maxwell's Law: Problem-Solving

A parallel-plate capacitor with capacitance C, whose plates have area A and separation distance d, is connected to a resistor R and a battery of voltage V. The current starts to flow at t = 0. What is the displacement current between the capacitor plates at time t? From the properties of the capacitor, what is the corresponding real current?
To solve the problem, we can use the equations from the analysis of an RC circuit and Maxwell's version of Ampère's law.
For the first part of the problem,...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Deepfake Media Forensics: Status and Future Challenges.

Journal of imaging·2025
Same author

Correction to: Flow of online misinformation during the peak of the COVID-19 pandemic in Italy.

EPJ data science·2021
Same author

Flow of online misinformation during the peak of the COVID-19 pandemic in Italy.

EPJ data science·2021
Same author

Toward Formal Models and Languages for Verifiable Multi-Robot Systems.

Frontiers in robotics and AI·2021

Related Experiment Video

Updated: Jul 3, 2026

Computation of Atmospheric Concentrations of Molecular Clusters from ab initio Thermochemistry
12:11

Computation of Atmospheric Concentrations of Molecular Clusters from ab initio Thermochemistry

Published on: April 8, 2020

Modelling global computations with KLAIM.

Rocco De Nicola1, Michele Loreti

  • 1Dipartimento di Sistemi e Informatica, Universtà di Firenze, Viale Morgagni 65, Florence, Italy. denicola@dsi.unifi.it

Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences
|August 2, 2008
PubMed
Summary
This summary is machine-generated.

Global Computing research introduces new models for mobile code and data over dynamic networks. This paper presents KLAIM, an experimental language for programming distributed systems with mobile components and tuple spaces.

Related Experiment Videos

Last Updated: Jul 3, 2026

Computation of Atmospheric Concentrations of Molecular Clusters from ab initio Thermochemistry
12:11

Computation of Atmospheric Concentrations of Molecular Clusters from ab initio Thermochemistry

Published on: April 8, 2020

Area of Science:

  • Global Computing
  • Distributed Systems
  • Agent-Based Systems

Background:

  • Global Computing addresses challenges in dynamic, wide-area networks.
  • Coordination and control of diverse components are critical.

Purpose of the Study:

  • Introduce KLAIM (Kernel Language for Agents Interaction and Mobility).
  • Provide a language for programming distributed systems with mobile components.

Main Methods:

  • Developed KLAIM, an experimental programming language.
  • Utilized multiple distributed tuple spaces for interaction.
  • Defined formal semantics for KLAIM.

Main Results:

  • KLAIM enables programming of distributed systems with mobile components.
  • The language facilitates interaction via distributed tuple spaces.
  • Formal semantics allow reasoning about system properties.

Conclusions:

  • KLAIM offers a novel approach to Global Computing.
  • Formal semantics support analysis of qualitative and quantitative system aspects.
  • The language is suitable for complex, dynamic distributed environments.