-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathresearch.html
204 lines (198 loc) · 10.3 KB
/
research.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
<?xml version="1.0" encoding="UTF-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>Research @ Ricardo Henrique Gracini Guiraldelli's Web Page</title>
<link href="https://netdna.bootstrapcdn.com/bootstrap/3.1.1/css/bootstrap.min.css" rel="stylesheet">
<link href="http://netdna.bootstrapcdn.com/bootswatch/3.1.1/readable/bootstrap.min.css" rel="stylesheet">
<link href="http://netdna.bootstrapcdn.com/font-awesome/4.0.3/css/font-awesome.min.css" rel="stylesheet">
</head>
<body>
<!-- Start of my template -->
<!-- Naviagation bar -->
<nav class="navbar navbar-default" role="navigation">
<!-- Brand and toggle get grouped for better mobile display -->
<div class="navbar-header">
<button type="button" class="navbar-toggle" data-toggle="collapse" data-target="#bs-example-navbar-collapse-1">
<span class="sr-only">Toggle navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</button>
<a class="navbar-brand" href="./index.html">R<sup>H</sup>GG</a>
</div>
<!-- Collect the nav links, forms, and other content for toggling -->
<div class="collapse navbar-collapse" id="bs-example-navbar-collapse-1">
<ul class="nav navbar-nav">
<li><a href="./about-me.html">About me</a></li>
<li><a href="./research.html">Research</a></li>
<li><a href="./papers.html">Papers</a></li>
<li><a href="./opinions.html">Opinions</a></li>
</ul>
<ul class="nav navbar-nav navbar-right">
<li><a href="http://www.dbt.univr.it/?ent=persona&id=20013"><i class="fa fa-briefcase fa-fw"></i></a></li>
<li><a href="https://it.linkedin.com/in/guiraldelli"><i class="fa fa-linkedin-square fa-fw"></i></a></li>
<li><a href="https://github.com/guiraldelli/"><i class="fa fa-github fa-fw"></i></a></li>
<li><a href="https://bitbucket.org/guiraldelli/"><i class="fa fa-bitbucket fa-fw"></i></a></li>
</ul>
</div><!-- /.navbar-collapse -->
</nav>
<!-- Content of the page-->
<div class="container" id="content">
<h1>Research</h1>
<h2 id="a-brief-history">A brief history</h2>
<p>I’m doing research for quite a time<a href="#fn1" class="footnoteRef" id="fnref1"><sup>1</sup></a>—and it has origins in the bachelor years. In general, my line of research has been <strong>(biology <span class="math"> ∨ </span> medicine) <span class="math"> ∧ </span> (computation <span class="math"> ∨ </span> engineering)</strong>, although it has changed along the years heading to the cellular level (biology) and its internal activities (computation) instead of organs (medicine) and healing supportive machines development (engineering).</p>
<p>These changes of interest and work are related to a series of environmental changes that has happened to me, but I’m still curious about all the subjects I’ve researched. If you want to contact me to discuss on any of these subjects, feel free and welcome.</p>
<p>To present my research, I’ve decided by the reverse chronological order. Although I think it may seems obvious for most of people, I still feel the necessity to explain the reasons:</p>
<ol style="list-style-type: decimal">
<li>I’m (temporally) closer to the first subjects that appear, what means that I’m probably still working on them or have all the details clear in my mind.</li>
<li>My newer works are more mature ones or those I would appreciate people’s commentaries on.</li>
<li>I imagine people are more interest in my recent works than older ones.</li>
</ol>
<p>Finally, I have separated my <a href="./papers.html">list of my research papers</a> in another page.</p>
<p>Now, my research works.</p>
<h2 id="doctorate">Doctorate</h2>
<h3 id="profile">Profile</h3>
<dl class="dl-horizontal">
<dt>
Subjects
</dt>
<dd>
Metabolic computing, computability, compilers, digital circuits, simulation
</dd>
<dt>
Start date
</dt>
<dd>
January, 2013
</dd>
<dt>
End date
</dt>
<dd>
?
</dd>
<dt>
Related people
</dt>
<dd>
<a href="http://profs.sci.univr.it/~manca/">Vincenzo Manca</a>, <a href="http://www2.el.vgtu.lt/~dalius/@site/index.php?option=com_content&task=view&id=12&Itemid=85">Dalius Navakauskas</a>
</dd>
<dt>
Related institutes
</dt>
<dd>
<a href="http://www.univr.it/">Università degli Studi di Verona</a>, <a href="http://www.vgtu.lt/">Vilniaus Gedimino Technikos Universitetas</a>
</dd>
</dl>
<h3 id="description">Description</h3>
<p>My PhD research focus on the computational properties of <a href="http://www.scholarpedia.org/article/Metabolic_P_systems">Metabolic P grammars and systems</a> and the ability to translate them to useful algorithms and hardware.</p>
<p>For the present moment, there are the following results:</p>
<ol style="list-style-type: decimal">
<li>definition of a subclass of MP systems, the MP<sup>+</sup>V systems;</li>
<li>proof of the computational universality (Turing completeness) of MP<sup>+</sup>V (and, hence, MP) systems;</li>
<li>translation algorithm from register machines to MP<sup>+</sup>V systems;</li>
<li>translation algorithm fom MP<sup>+</sup>V systems to register machines;</li>
<li>functional but under-development compiler and simulator of register machines to MP<sup>+</sup>V systems, and vice-versa.</li>
</ol>
<p>To highlight the importance of this research, it is enough to understand that MP systems are used to model metabolic behaviour of biological cells. Hence, if one takes a model of biological cell in MP system representation, it can be automatically translated to a discrete simulation software or even a hardware (<em>cell-on-a-chip</em>). Or, further, one may take an algorithm (for instance, that kills cancer cell) and synthetize an artificial cell.<a href="#fn2" class="footnoteRef" id="fnref2"><sup>2</sup></a></p>
<h3 id="available-material">Available material</h3>
<ol style="list-style-type: decimal">
<li><a href="./resources/presentations/2015-11-11/guiraldelli-3rd-year-presentation.pdf">“Theory and Applications of Computationally Universal Metabolic P Systems” (3rd year presentation)</a></li>
<li><a href="./resources/presentations/2015-08-19/guiraldelli-cmc16.pdf">“Automatic Translation of MP<sup>+</sup>V Systems to Register Machines” (presentation at CMC16)</a></li>
<li><a href="./resources/posters/2015-dresden.pdf">“Metabolic Systems as Computers, Theoretically and Practically” (poster presented at Dresden Summer School 2015 in 2015-08-02)</a></li>
<li><a href="./resources/reports/avanzamento-tesi-2014-2015.pdf">“Overview of the PhD Research 2014/2015”</a></li>
<li><a href="./resources/presentations/2014-10-29/presentazione-avanzamento-dottorato-2014.pdf">“MP Grammars, Reactive Systems and Electric Circuits” (2nd year presentation)</a></li>
<li><a href="./resources/reports/rapporto-avanzamento-dottorato-2014.pdf">“Second Year Dissertation Summary” (report on the activities developed in the 2nd year)</a></li>
<li><a href="./resources/reports/vgtu-report.pdf">“Erasmus Placement Report” (of the activities developed at VGTU from April to September, 2014)</a></li>
<li><a href="./resources/posters/2014-ssbss.pdf">“MP Grammars, Reactive Systems and Electric Circuits” (poster presented at SSBSS 2014 in 2014-06-17)</a></li>
<li><a href="./resources/presentations/2014-05-28/2014-05-28.svg">“Metabolism to Circuits in Dynamical Systems’ Perspective” (IEEE Lithuania Section Seminar Series lecture at VGTU in 2014-05-28)</a></li>
<li><a href="./resources/presentations/2013-11-14/presentazione_proposta_tesi_guiraldelli.pdf">“MP Grammars, Reactive Systems and Electric Circuits” (thesis proposal presentation)</a></li>
<li><a href="./resources/reports/proposta_tesi_guiraldelli.pdf">“MP Grammars, Reactive Systems and Electric Circuits” (thesis proposal)</a></li>
</ol>
<h2 id="master">Master</h2>
<h3 id="profile-1">Profile</h3>
<dl class="dl-horizontal">
<dt>
Subjects
</dt>
<dd>
Graph theory, bioinformatics, phylogenetics, population genetics, adaptive computing, systems simulation
</dd>
<dt>
Start date
</dt>
<dd>
January, 2009
</dd>
<dt>
End date
</dt>
<dd>
April, 2012
</dd>
<dt>
Related people
</dt>
<dd>
<a href="http://lta.poli.usp.br/lta/colaboradores/professores/ricardo-rocha">Ricardo Luis de Azevedo da Rocha</a>, <a href="http://dreyfus.ib.usp.br/CristinaMiyaki.php">Cristina Miyaki</a>, <a href="http://lattes.cnpq.br/4603597208153007">Reginaldo Inojosa da Silva Filho</a>
</dd>
<dt>
Related institutes
</dt>
<dd>
<a href="http://www.poli.usp.br/">Escola Politécnica</a>, <a href="http://www.ib.usp.br/">Instituto de Biociências</a>, <a href="http://www.usp.br/">Universidade de São Paulo</a>
</dd>
</dl>
<h2 id="bachelor">Bachelor</h2>
<h3 id="profile-2">Profile</h3>
<dl class="dl-horizontal">
<dt>
Subjects
</dt>
<dd>
Medical equipments, monitoring systems, telecommunications
</dd>
<dt>
Start date
</dt>
<dd>
May, 2006
</dd>
<dt>
End date
</dt>
<dd>
August, 2007
</dd>
<dt>
Related people
</dt>
<dd>
<a href="http://www.incor.usp.br/spdweb/pessoas_eng/marco_gutierrez.htm">Marco Antônio Gutierrez</a>, <a href="http://lattes.cnpq.br/1442731212388639">Alexandre Murakami</a>
</dd>
<dt>
Related institutes
</dt>
<dd>
<a href="http://www.incor.usp.br/spdweb">Serviço de Informática do Instituto do Coração</a>, <a href="http://www.usp.br/">Universidade de São Paulo</a>
</dd>
</dl>
<div class="footnotes">
<hr />
<ol>
<li id="fn1"><p>Given my present age, I’ve been researching around 25% of my existence.<a href="#fnref1">↩</a></p></li>
<li id="fn2"><p>Of course it requires scientifical and technological progress that (probably) doesn’t exist yet. Those were solely examples of the consequence of this work, nothing more.<a href="#fnref2">↩</a></p></li>
</ol>
</div>
</div>
<!-- Bootstrap core JavaScript
================================================== -->
<!-- Placed at the end of the document so the pages load faster -->
<!-- jQuery (necessary for Bootstrap's JavaScript plugins) -->
<script src="https://code.jquery.com/jquery.js"></script>
<!-- Compiled and minified Bootstrap's JavaScript -->
<script src="https://netdna.bootstrapcdn.com/bootstrap/3.1.1/js/bootstrap.min.js"></script>
</body>
</html>