CATALOGO DEI PRODOTTI DELLA RICERCA

MANCA, Vincenzo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.969
EU - Europa 7.944
AS - Asia 4.788
SA - Sud America 722
AF - Africa 66
OC - Oceania 18
Continente sconosciuto - Info sul continente non disponibili 8
Totale 21.515
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.892
GB - Regno Unito 2.459
RU - Federazione Russa 2.393
SG - Singapore 2.134
CN - Cina 1.564
BR - Brasile 611
FR - Francia 523
SE - Svezia 513
HK - Hong Kong 448
DE - Germania 443
IT - Italia 429
FI - Finlandia 427
IE - Irlanda 422
VN - Vietnam 213
KR - Corea 183
UA - Ucraina 177
TR - Turchia 56
AR - Argentina 43
IN - India 43
BE - Belgio 39
CA - Canada 38
BD - Bangladesh 27
MX - Messico 25
EC - Ecuador 24
ID - Indonesia 21
NL - Olanda 20
ES - Italia 19
ZA - Sudafrica 18
AU - Australia 16
IQ - Iraq 16
PL - Polonia 16
PK - Pakistan 12
AT - Austria 11
MA - Marocco 11
CO - Colombia 10
JP - Giappone 10
UZ - Uzbekistan 10
CZ - Repubblica Ceca 9
IL - Israele 9
EU - Europa 8
HU - Ungheria 8
KE - Kenya 8
CL - Cile 7
JO - Giordania 7
LT - Lituania 7
PY - Paraguay 7
VE - Venezuela 7
EG - Egitto 6
PE - Perù 6
RO - Romania 6
TN - Tunisia 6
AE - Emirati Arabi Uniti 5
DZ - Algeria 5
NP - Nepal 5
AZ - Azerbaigian 4
BG - Bulgaria 4
MD - Moldavia 4
SA - Arabia Saudita 4
UY - Uruguay 4
BO - Bolivia 3
JM - Giamaica 3
MY - Malesia 3
NG - Nigeria 3
PT - Portogallo 3
TG - Togo 3
AM - Armenia 2
BN - Brunei Darussalam 2
ET - Etiopia 2
GE - Georgia 2
GR - Grecia 2
GT - Guatemala 2
LV - Lettonia 2
NI - Nicaragua 2
NO - Norvegia 2
PA - Panama 2
SK - Slovacchia (Repubblica Slovacca) 2
TT - Trinidad e Tobago 2
AL - Albania 1
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BS - Bahamas 1
BZ - Belize 1
CM - Camerun 1
DO - Repubblica Dominicana 1
HR - Croazia 1
IR - Iran 1
KG - Kirghizistan 1
KH - Cambogia 1
KZ - Kazakistan 1
LB - Libano 1
LK - Sri Lanka 1
LU - Lussemburgo 1
ML - Mali 1
NZ - Nuova Zelanda 1
PS - Palestinian Territory 1
SN - Senegal 1
SY - Repubblica araba siriana 1
TO - Tonga 1
Totale 21.515
Salva come PNG Salva come JPEG
Città #
Southend 2.227
Jacksonville 1.540
Chandler 980
Singapore 920
Woodbridge 800
Moscow 687
Dallas 623
Ann Arbor 519
Hong Kong 445
Dublin 420
Houston 411
Ashburn 403
Beijing 265
Lawrence 194
Princeton 194
Wilmington 181
New York 167
Nanjing 141
Los Angeles 120
Jinan 105
Buffalo 99
Sindelfingen 96
Shenyang 94
Verona 93
The Dalles 82
Hebei 69
Council Bluffs 60
Ho Chi Minh City 59
Milan 59
Tianjin 54
Munich 50
Nanchang 50
Changsha 49
São Paulo 47
Columbus 46
Helsinki 46
Seoul 44
Hangzhou 43
Guangzhou 42
Brussels 39
Istanbul 36
Zhengzhou 36
Hanoi 35
Taizhou 35
Haikou 30
Redondo Beach 30
Jiaxing 27
Falkenstein 26
Santa Clara 26
Ningbo 24
Norwalk 24
Boardman 22
Seattle 22
Rio de Janeiro 21
Turku 20
Dong Ket 18
London 18
San Francisco 18
Taiyuan 18
Cambridge 16
Chennai 15
Fairfield 15
Kent 14
Brooklyn 13
Curitiba 13
Johannesburg 13
Mexico City 13
Redwood City 13
Belo Horizonte 12
Brasília 12
Warsaw 12
Dearborn 11
Düsseldorf 11
Fuzhou 11
Jakarta 11
Denver 10
Montreal 10
Salvador 10
Auburn Hills 9
Da Nang 9
Haiphong 9
Philadelphia 9
Shenzhen 9
Tashkent 9
Tokyo 9
Toronto 9
Vienna 9
Budapest 8
Frankfurt am Main 8
Guarulhos 8
Lanzhou 8
Melbourne 8
Phoenix 8
Rome 8
Amman 7
Amsterdam 7
Chicago 7
Dhaka 7
Dongguan 7
Kemerovo 7
Totale 13.463
Salva come PNG Salva come JPEG
Nome #
A dictionary based informational genome analysis 237
Towards an evolutionary procedure for reverse-engineering biological networks 176
Logical Representations of Grammatical Systems 170
An evolutionary procedure for inferring MP systems regulation functions of biological networks 169
Logica pragmatica e formalizzazione linguistica 168
A genetic approach for synthesizing metabolic models from time series 168
DNA Extraction by XPCR 164
P systems and the modeling of biochemical oscillations 162
An algebraic formulation of inverse problems in MP dynamics 162
Monoidal Systems and Membrane Systems 161
A DNA Clause String Algorithm for SAT 161
Monoidal Theories and String Derivation 159
P Systems and the Modeling of Biochemical Oscillations 159
On the generative power of iterated transduction 158
A photosynthetic process modelled by a metabolic P system 158
P Systems with boundary rules 157
A DNA Algorithm for 3-SAT (11,20)* 157
Logical String Rewriting 154
Golbeter's mitotic oscillator entirely modeled by MP systems 154
A Membrane System for the Leukocyte Selective Recruitment 154
A deductive system extending Equational Logic with Type Assignment 153
An algorithmic analysis of DNA structure 153
A metagrammatical logical formalism 150
A membrane system for selective leukocyte recruitment 150
Evolution and Oscillation in P systems: Applications to biological phenomena 149
Computing with Multi-membranes 148
A Metagrammatical Logical Formalism 147
Symbolic representation of biological oscillations 145
Towards an MP model for B lymphocytes maturation 145
P systems for biological dynamics 144
State Transition Dynamics: basic concepts and molecular computing perspectives 142
P systems with reaction maps 142
Algorithmic Applications of XPCR 142
From time series to biological network regulations: an evolutionary approach 142
Results and research topics in equational type logic 140
Psim: a simulator for biomolecular dynamics based on P systems 140
An Analysis of Correlative and Static Causality in P Systems 139
Metabolic P Systems: A Discrete Model for Biological Dynamics 139
A logical formalism for intergrammatical representations 138
Soundness and completeness of the Birkhoff many-sorted equational calculus 138
Arithmetical Metabolic P Systems 138
A Brief Philosophical Note on Information 138
A relational view of recurrence and attractors in state transition dynamics 136
Algebra universale e logica in computer science 133
DNA Recombination by XPCR 133
An algorithm for initial fluxes of metabolic P systems 132
Algebraic logic 131
Hybrid Functional Petri Nets as MP systems 130
On the expresiveness of equational type logic 129
MP Systems and Hybrid Petri Nets 126
A proof of regularity for finite splicing 125
Metabolic algorithm with time-varying reaction maps 124
Toward an MP Model of Non-Photochemical Quenching 124
Milieu-M: Visual Manipulation And Programming for Multi-Membranes 124
A Methodology Based on MP Theory for Gene Expression Analysis 124
Logical Splicing 123
Encoding-Decoding Transitional Systems for Classes of P Systems 123
Cross Pairing Polymerase Chain Reaction 123
Inference of Biological Pathways by Integrating Different Kinds of Correlation Indexes 123
Equational Type logic 122
Computational formalisms: abstract combinatory viewpoint and related first order logical framework 122
Reaction-Driven Membrane Systems 121
Formalizzazione e teoria del linguaggio, 121
A logical formalism for intergrammatical representations 121
Solving dynamical inverse problems by means of metabolic P systems 121
From abstract data tapes to network calculi 120
On the nature of TELLUS 119
The phenomenon of sampling and growing in bio-populations 119
Genome classification by dictionary-based indexes 119
Equational Calculi for algebras with empty carrier sets 118
Reaction-driven membrane systems 118
The discovery of initial fluxes of Metabolic P Systems 118
An informational test for random finite strings 118
Introducing equational type logic 117
Grammars for Discrete Dynamics 117
Formal Logic 116
Evolutions and Oscillations of P Systems: Theorethical Considerations and Applications to Biochemical Phenomena 116
Metabolic approximation of real periodical functions 116
MP Modelling of Glucose-Insulin Interactions in the Intravenous Glucose Tolerance Test 115
InfoGenomics Tools: a computational suite for informational analysis of genomes 115
Membrane Algorithms for Propositional Satisfiability 114
Appunti di Algebre, Logica, Combinatoria 113
Biological networks in metabolic P systems 112
Fom P to MP systems 112
Informational laws of genome structures 112
MetaPlab: A Computational Framework for Metabolic P Systems 111
XML Representation of Metabolic P Systems 111
Logica del primo ordine 110
Infobiotics: information in biotic systems 110
Teoria dell'Informazione 109
Aspetti di storia del calcolo 109
Iterated GSM Mappings: A Collapsing Hierarchy 109
Toward a representation of Hybrid Functional Petri Nets by MP systems 108
Linking bistable dynamics to metabolic p systems 108
MP-GeneticSynth: Inferring Biological Network Regulations from Time Series 108
Emergence of random selections in evolution of biological populations 108
APPLICATION OF THE MP THEORY TO SYSTEMS BIOLOGY 108
Logical Splicing in Natural languages 107
On the power of equational logic: applications and extensions 107
Mitotic oscillators as MP graphs 107
Totale 13.315
Salva come PNG Salva come JPEG
Categoria #
all - tutte 69.267
article - articoli 21.906
book - libri 5.013
conference - conferenze 21.477
curatela - curatele 0
other - altro 936
patent - brevetti 353
selected - selezionate 0
volume - volumi 19.582
Totale 138.534
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.226 0 0 0 0 222 266 48 156 173 29 222 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/20264.876 755 534 590 1.287 1.710 0 0 0 0 0 0 0
Totale 21.686