CATALOGO DEI PRODOTTI DELLA RICERCA

MANCA, Vincenzo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.643
EU - Europa 8.590
AS - Asia 6.023
SA - Sud America 801
AF - Africa 162
OC - Oceania 18
Continente sconosciuto - Info sul continente non disponibili 8
Totale 25.245
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.533
SG - Singapore 2.735
RU - Federazione Russa 2.687
GB - Regno Unito 2.481
CN - Cina 1.709
IT - Italia 681
BR - Brasile 659
FR - Francia 536
SE - Svezia 515
HK - Hong Kong 492
VN - Vietnam 474
DE - Germania 465
FI - Finlandia 437
IE - Irlanda 425
KR - Corea 232
UA - Ucraina 179
NG - Nigeria 74
IN - India 70
TR - Turchia 64
CA - Canada 54
AR - Argentina 52
BD - Bangladesh 46
BE - Belgio 39
MX - Messico 34
EC - Ecuador 29
JP - Giappone 28
NL - Olanda 28
IQ - Iraq 27
ID - Indonesia 24
ES - Italia 22
ZA - Sudafrica 22
PL - Polonia 21
PK - Pakistan 17
AU - Australia 16
CO - Colombia 16
MA - Marocco 16
KE - Kenya 14
UZ - Uzbekistan 13
CL - Cile 12
AT - Austria 11
JO - Giordania 11
SA - Arabia Saudita 11
VE - Venezuela 11
IL - Israele 10
LT - Lituania 10
CZ - Repubblica Ceca 9
HU - Ungheria 9
PH - Filippine 9
DZ - Algeria 8
EU - Europa 8
TN - Tunisia 8
AE - Emirati Arabi Uniti 7
EG - Egitto 7
PE - Perù 7
PY - Paraguay 7
MY - Malesia 6
RO - Romania 6
AZ - Azerbaigian 5
ET - Etiopia 5
MD - Moldavia 5
NP - Nepal 5
PA - Panama 5
UY - Uruguay 5
BG - Bulgaria 4
AL - Albania 3
BO - Bolivia 3
DO - Repubblica Dominicana 3
GE - Georgia 3
GT - Guatemala 3
JM - Giamaica 3
NI - Nicaragua 3
PS - Palestinian Territory 3
PT - Portogallo 3
TG - Togo 3
AM - Armenia 2
BH - Bahrain 2
BN - Brunei Darussalam 2
GR - Grecia 2
KZ - Kazakistan 2
LB - Libano 2
LV - Lettonia 2
NO - Norvegia 2
OM - Oman 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
TW - Taiwan 2
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BS - Bahamas 1
BZ - Belize 1
CI - Costa d'Avorio 1
CM - Camerun 1
HR - Croazia 1
IR - Iran 1
KG - Kirghizistan 1
KH - Cambogia 1
KW - Kuwait 1
LK - Sri Lanka 1
Totale 25.237
Salva come PNG Salva come JPEG
Città #
Southend 2.227
Jacksonville 1.540
Singapore 1.467
Chandler 981
Woodbridge 800
Moscow 782
San Jose 771
Ashburn 689
Dallas 630
Ann Arbor 519
Hong Kong 487
Dublin 423
Houston 415
The Dalles 298
Verona 289
Beijing 270
Council Bluffs 199
Lawrence 194
Princeton 194
Wilmington 181
New York 180
Nanjing 141
Ho Chi Minh City 137
Los Angeles 130
Hanoi 106
Jinan 105
Buffalo 99
Sindelfingen 96
Shenyang 94
Milan 70
Hebei 69
Abuja 64
Tianjin 57
Helsinki 56
São Paulo 51
Changsha 50
Munich 50
Nanchang 50
Columbus 47
Hangzhou 44
Seoul 44
Guangzhou 43
Santa Clara 40
Brussels 39
Istanbul 37
Zhengzhou 36
Orem 35
Taizhou 35
Haikou 30
Redondo Beach 30
Frankfurt am Main 28
Jiaxing 28
Falkenstein 26
Tokyo 26
Ningbo 24
Norwalk 24
Boardman 23
Chennai 23
Seattle 23
Da Nang 22
Rio de Janeiro 21
San Francisco 21
Turku 20
London 19
Dong Ket 18
Taiyuan 18
Johannesburg 17
Manchester 17
Mexico City 17
Brooklyn 16
Cambridge 16
Rome 16
Fairfield 15
Haiphong 15
Denver 14
Kent 14
Warsaw 14
Brasília 13
Curitiba 13
Montreal 13
Redwood City 13
Toronto 13
Belo Horizonte 12
Nairobi 12
Tashkent 12
Amman 11
Atlanta 11
Dearborn 11
Dhaka 11
Düsseldorf 11
Fuzhou 11
Jakarta 11
Amsterdam 10
Baghdad 10
Philadelphia 10
Salvador 10
Shenzhen 10
Auburn Hills 9
Biên Hòa 9
Des Moines 9
Totale 16.211
Salva come PNG Salva come JPEG
Nome #
A dictionary based informational genome analysis 275
Logical Representations of Grammatical Systems 212
An evolutionary procedure for inferring MP systems regulation functions of biological networks 210
Towards an evolutionary procedure for reverse-engineering biological networks 202
Monoidal Theories and String Derivation 199
A genetic approach for synthesizing metabolic models from time series 194
A DNA Algorithm for 3-SAT (11,20)* 192
Monoidal Systems and Membrane Systems 190
An algebraic formulation of inverse problems in MP dynamics 189
P Systems and the Modeling of Biochemical Oscillations 188
On the generative power of iterated transduction 188
A photosynthetic process modelled by a metabolic P system 188
A Membrane System for the Leukocyte Selective Recruitment 187
An algorithmic analysis of DNA structure 186
DNA Extraction by XPCR 185
Logica pragmatica e formalizzazione linguistica 182
Logical String Rewriting 182
P systems and the modeling of biochemical oscillations 181
A DNA Clause String Algorithm for SAT 180
Golbeter's mitotic oscillator entirely modeled by MP systems 178
Algorithmic Applications of XPCR 176
A deductive system extending Equational Logic with Type Assignment 172
A metagrammatical logical formalism 172
A Metagrammatical Logical Formalism 172
A membrane system for selective leukocyte recruitment 172
From time series to biological network regulations: an evolutionary approach 172
Results and research topics in equational type logic 171
P Systems with boundary rules 170
Evolution and Oscillation in P systems: Applications to biological phenomena 168
Towards an MP model for B lymphocytes maturation 168
A relational view of recurrence and attractors in state transition dynamics 167
Metabolic P Systems: A Discrete Model for Biological Dynamics 167
An Analysis of Correlative and Static Causality in P Systems 166
P systems with reaction maps 165
P systems for biological dynamics 164
Symbolic representation of biological oscillations 163
Computing with Multi-membranes 163
A Brief Philosophical Note on Information 163
DNA Recombination by XPCR 163
State Transition Dynamics: basic concepts and molecular computing perspectives 162
Psim: a simulator for biomolecular dynamics based on P systems 161
Arithmetical Metabolic P Systems 161
A logical formalism for intergrammatical representations 159
Algebraic logic 159
An algorithm for initial fluxes of metabolic P systems 158
Soundness and completeness of the Birkhoff many-sorted equational calculus 156
Milieu-M: Visual Manipulation And Programming for Multi-Membranes 155
Algebra universale e logica in computer science 155
A Methodology Based on MP Theory for Gene Expression Analysis 151
Genome classification by dictionary-based indexes 151
The discovery of initial fluxes of Metabolic P Systems 150
MP Systems and Hybrid Petri Nets 150
A logical formalism for intergrammatical representations 149
On the expresiveness of equational type logic 149
A proof of regularity for finite splicing 148
Hybrid Functional Petri Nets as MP systems 147
Inference of Biological Pathways by Integrating Different Kinds of Correlation Indexes 147
Encoding-Decoding Transitional Systems for Classes of P Systems 145
Toward an MP Model of Non-Photochemical Quenching 145
Metabolic algorithm with time-varying reaction maps 140
Equational Calculi for algebras with empty carrier sets 140
Reaction-Driven Membrane Systems 140
Reaction-driven membrane systems 140
Linking bistable dynamics to metabolic p systems 140
Grammars for Discrete Dynamics 140
An informational test for random finite strings 140
Solving dynamical inverse problems by means of metabolic P systems 139
Evolutions and Oscillations of P Systems: Theorethical Considerations and Applications to Biochemical Phenomena 138
The phenomenon of sampling and growing in bio-populations 138
Metabolic approximation of real periodical functions 136
Logical Splicing 135
Formalizzazione e teoria del linguaggio, 135
Equational Type logic 134
From abstract data tapes to network calculi 134
Computational formalisms: abstract combinatory viewpoint and related first order logical framework 134
Cross Pairing Polymerase Chain Reaction 134
XML Representation of Metabolic P Systems 134
MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test 133
PanDelos: a dictionary-based method forpan-genome content discovery 133
Formal Logic 132
Introducing equational type logic 132
Appunti di Algebre, Logica, Combinatoria 132
Emergence of random selections in evolution of biological populations 132
MPTheory Java Library: a multi-platform Java library for Systems Biology based on the Metabolic P theory 131
APPLICATION OF THE MP THEORY TO SYSTEMS BIOLOGY 131
On the nature of TELLUS 130
Biological networks in metabolic P systems 130
On synthesizing a replicating metabolic system by membrane systems 130
InfoGenomics Tools: a computational suite for informational analysis of genomes 130
Infobiotics: information in biotic systems 129
Informational laws of genome structures 129
Editorial: New trends on genome and transcriptome characterizations 129
Logica del primo ordine 128
On the power of P systems with replicated rewriting 128
Fom P to MP systems 128
Teoria dell'Informazione 127
Toward a representation of Hybrid Functional Petri Nets by MP systems 127
MP-GeneticSynth: Inferring Biological Network Regulations from Time Series 127
Aspetti di storia del calcolo 126
Metodi Informazionali per il Corso di laurea in Bioinformatica 126
Totale 15.591
Salva come PNG Salva come JPEG
Categoria #
all - tutte 80.414
article - articoli 25.463
book - libri 5.803
conference - conferenze 25.019
curatela - curatele 0
other - altro 1.071
patent - brevetti 397
selected - selezionate 0
volume - volumi 22.661
Totale 160.828
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021110 0 0 0 0 0 0 0 0 0 0 0 110
2021/20221.272 83 367 47 34 39 17 11 97 55 59 126 337
2022/20232.958 246 209 329 536 251 710 11 158 386 19 60 43
2023/20241.190 58 136 84 156 177 199 83 47 2 72 112 64
2024/20253.659 221 328 77 576 152 59 207 191 556 211 265 816
2025/20268.607 755 534 590 1.287 2.037 677 845 511 652 407 86 226
Totale 25.417