LaTeX templates and examples — Reports

Gene regulatory networks have an important role to study the behaviour of genes. By analysing these Gene Regulatory Networks we can get the detailed information i.e. the occurrence of diseases by changing behaviour of GRNs. Many different approaches are used (i.e. qualitative modelling and hybrid modelling) and various tools (i.e. GenoTech, GINsim) have been developed to model and simulate gene regulatory networks. GenoTech allows the user to specify a GRN on Graphical User Interface (GUI) according to the asynchronous multivalued logical functions of René Thomas, and to simulate and/or analyse its qualitative dynamical behaviour. René Thomas discrete modelling of gene regulatory network (GRN) is a well known approach to study the dynamics of genes. It deals with some parameters which reflect the possible targets of trajectories. Those parameters are priory unknown. These unknown parameters are fetched using another model checking tool SMBioNet. SMBioNet produces all the possible parameters satisfying the given Computational Logic Tree (CTL) formula as input. This approach involving logical parameters and conditions also known as qualitative modelling of GRN. However, this approach neglects the time delays for a gene to pass from one level of expression to another one i.e. inhibition to activation and vice versa. To find out these time delays, another modelling tool HyTech is used to perform hybrid modelling of GRN. We have developed a Java based tool called GenNet http://asanian.com/gennet to facilitate the model checking user by providing a unique GUI layout for both qualitative and quantitative modelling of GRNs. As we discussed, three separate modelling tools are used for complete modelling and analysis of a GRN. This process is much lengthy and takes too much time. GenNet assists the modelling users by providing some extra features i.e. CTL editor, parameters filtering and input/output files management. GenNet takes a GRN network as input and does all the rest of computations i.e. CTL verification, K-parameters generation, parameter implication to GRN, state graph, hybrid modelling and parameter filtration automatically. GenNet serves the user by computing the results within seconds that were taking hours and days of manual computation

Modèle pour compte-rendu de TP de Physique

Template for OS Lab Report submission

The impact crater of a small metal ball of 63.7 grams (0.0637kg) is dropped from 8 different heights, ranging from 0.20m to 0.90m was observed. A mean was measured for the craters diameter. Using the equation E=mg$\Delta$h given that we have m, and g is a constant of 9.81 we can find the kinetic energy of the ball on impact. The relationship between crater diameter, D, and impact energy, E, is given by D=kE$^n$ where K is constant and n is found by the gradient of the graph and is also constant. This can be modified to give $\log D = n\log E + \log k$.

College Physics Lab Report

UoN

Reporte 1

This paper introduces the risks associated with the development of Artificial General Intelligence (AGI), gives an overview of the major organizations involved in the study of AGI risk, and examines current actions being taken with respect to AGI risk management. It then discusses possible AGI public policy options and their likely outcomes, and finally recommends a set of policies designed to decrease the risk presented by AGI.

En la presente guía se desarrollará el procedimiento que permitirá poner en práctica los conocimientos adquiridos en la clase teórica de Introducción a la Ingeniería Eléctrica. El tema a desarrollar es el de circuitos serie, además se realizará una introducción a los instrumentos de medida del laboratorio y su segura manipulación.