Logic-based paradigms are nowadays widely used in many different fields, also thank to the availability of robust tools and systems that allow the development of real-world and industrial applications. In this work we present LoIDE, an advanced and modular web-editor for logic-based languages that also integrates with state-of-the-art solvers.

Description of the subject : The world of nowadays multimedia is totally invaded by 3D contents, most of the time represented by 3D volumes or mesh models. Indeed, 3D is present everywhere as for example in cinema, in augmented reality or virtual reality applications,

Scurvy is a disease that played an important role in ancient history and used to be a notorious cause of death in sailors. Nowadays, scurvy is not a common diagnosis in the civilized world, but this case report indicates that this old-fashioned disease is not extinct at all and still exists but in a different patient category.

The GaAs-HBT technology nowadays is a standard technology, which is readily available to circuit designers. However, while at least three highly accurate models for Si-based HBTs are available, good models for the GaAs and InP world are rare. In this documentation of the FBH HBT model, also the specific challenges in the modeling of these HBTs are highlighted.

The present article provides a concise historical review on classical epidemic typhus (exanthemata typhus) in the world as well its outbreaks in Iran mainly during the 19th and 20th centuries. Typhus is still a potential public health threat under certain conditions, despite the fact that nowadays, efficient antibiotics are accessible and sanitary conditions which lead to typhus outbreaks have ...

Nowadays viral hepatitis is one of the most common and important causes of chronic liver disorders in the world. Extrahepatic manifestations of viral hepatitis consist a main part of the disease. The main viruses causing hepatitis include Hepatitis A, B and C viruses. Herein common skin manifestations in hepatitis C virus (HCV) are discussed. Chronic hepatitis causes skin disorders both directl...

In the nowadays mainly mass spectrometry-driven world of Proteomics, one can frequently read and hear that 2D gel-based electrophoresis methods are no longer used for proteome analysis. This short review is a compilation of facts why the gel-based workflow is not dead.

Graphs are an integral data structure for many parts of computation. They are highly effective at modeling many varied and flexible domains, and are excellent for representing the way humans themselves conceive of the world. Nowadays, there is lots of interest in working with large graphs, including social network graphs, “knowledge” graphs, and large bipartite graphs (for example, the Netflix ...

We enhance the notion of a computation of the classical theory of computing with the notion of interaction. In this way, we enhance a Turing machine as a model of computation to a Reactive Turing Machine that is an abstract model of a computer as it is used nowadays, always interacting with the user and the world.