Sfoglia per Dipartimento Dipartimento di Matematica, Informatica e Geoscienze
A `Theory' mechanism for a proof verifier based on first-order set theory
2002-01-01 Omodeo, Eugenio; Schwartz, J. T.
A BADER’S TOPOLOGICAL APPROACH FOR THE CHARACTERIZATION OF PRESSURE INDUCED PHASE TRANSITIONS
2012-01-01 Parisi, Filippo
A Bayesian method to infer copy number clones from single-cell RNA and ATAC sequencing
2023-01-01 Patruno, Lucrezia; Milite, Salvatore; Bergamin, Riccardo; Calonaci, Nicola; D’Onofrio, Alberto; Anselmi, Fabio; Antoniotti, Marco; Graudenzi, Alex; Caravagna, Giulio
A benchmark calculation for the fuzzy c-means clustering algorithm: initial memberships
2012-01-01 Rodriguez Garcia, Alejandro; Santos Tomas, M.; Rubio Martinez, Jaime
A bi-parametric model for the tumour angiogenesis and antiangiogenesis therapy
2009-01-01 D'Onofrio, A; Cerrai, P
A capacity method for the study of Dirichlet problems for elliptic systems in varying domains
1996-01-01 DAL MASO, G; Toader, Rodica
A Carleman estimate for degenerate elliptic operators with an application to an ill-posed problem
1997-01-01 DEL SANTO, Daniele
A class of linear operators in periodic function spaces including difference-differential operators
1984-01-01 Zennaro, Marino
A coherence study on EEG and EMG signals
2016-01-01 Cisotto, Giulia; Michieli, Umberto; Badia, Leonardo
A collocation method for boundary value problems of differential equations with functional arguments
1984-01-01 Bellen, A.; Zennaro, Marino
A combined PHREEQC-2/parallel fracture model for the simulation of laminar/non-laminar flow and contaminant transport with reactions
2010-01-01 Masciopinto, Costantino; Volpe, Angela; Palmiotta, Domenico; Cherubini, Claudia
A comprehensive approach to investigate Maltese coastal landslides
2011-01-01 Soldati, M; Bonachea, J; Bruschi, Vm; Coratza, P; Devoto, S; GONZÁLEZ-DIEZ, A; Mantovani, M; Pasuto, A; Piacentini, D; Remondo, J; Schembri, Ja
A computerized Referee
2006-01-01 Omodeo, Eugenio; D., Cantone; A., Policriti; J. T., Schwartz
A connection between the Hénon-Heiles system and the Garnier system.
1994-01-01 Tondo, GIORGIO SALVATORE
A continuous version of Liapunov's convexity theorem
1988-01-01 Cellina, A; Colombo, G; Fonda, Alessandro
A Criterion for the Stochasticity of Matrices with Specified Order Relations
2008-01-01 Bortolussi, Luca; Sgarro, Andrea
A crustal model from gravity inversion in Karakorum
1997-01-01 Braitenberg, Carla; Drigo, R.
A crystal Chemichal study of Pyroxenes with diopsidic structures in alkaline rocks from Central-Eastern Paraguay: some considerations on tetrahedrally coordinated Ti4+.
1995-01-01 Carbonin, S; Princivalle, Francesco
A density result in SBV with respect to non-isotropic energies
1999-01-01 Cortesani, G; Toader, Rodica
A derived algorithm for evaluating epsilon-expressions over abstract sets
1993-01-01 Omodeo, Eugenio; Parlamento, F; Policriti, A.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile