411 research outputs found
Minibiotus continuus Pilato & Lisi 2006
No full textMinibiotus continuus Pilato &Lisi, 2006 Terra typica: Mexico (Central America). Material examined: 15 specimens and one egg: Piedmont of Sierra Las Mitras (25°44′45.98′′N, 100°25′27.68′′W, ca. 700 m asl), Monterrey, Nuevo Leon, Mexico. Lichen (Nephroma sp.) on tree (Quercus virginiana), coll. Antonio Moreno - Talamantes, 8 November 2014. Five specimens and three eggs: 1 km E of La Peñita (25°20′50.79′′N, 100°22′01.21′′W, ca. 2250 m asl), Santiago, Nuevo Leon, Mexico. Moss on soil, coll. Mario Alberto Garcia Aranda, 9 February 2015. Three specimens and five eggs: Cerro La Viga (25°20′23.43′′N, 100°22′06.42′′W, ca. 2645 m asl), 2 km E of La Peñita, Santiago, Nuevo Leon, Mexico. Moss on soil, coll. Mario Alberto Garcia Aranda, 9 February 2015. Comments: Our specimens and eggs correspond well with the original description. Minibiotus continuus has been reported in several localities in Costa Rica and Mexico (Pilato & Lisi 2006; Kaczmarek et al. 2011, 2014; Meyer 2013), and probably has a wider Neotropical distribution. This is a new record for the State of Nuevo Leon.Published as part of Moreno, Antonio, Roszkowska, Milena, García, Mario Alberto, Flores, José Juan & Kaczmarek, Łukasz, 2019, Current knowledge on Mexican tardigrades with a description of Milnesium cassandrae sp. nov. (Eutardigrada: Milnesiidae) and discussion on the taxonomic value of dorsal pseudoplates in the genus Milnesium Doyère, 1840, pp. 501-524 in Zootaxa 4691 (5) on page 515, DOI: 10.11646/zootaxa.4691.5.5, http://zenodo.org/record/352756
Commento ai seguenti articoli del codice civile: 1117, 1117-bis; 1117-ter; 1118, 1119, 1120, 1121, 1122, 1122-bis, 1123, 1124, 1125, 1126, 1128, 1138, 1139. Commento ai seguenti articoli delle disposizioni di attuazione del codice civile: 61, 62, 68, 69, 72.
No full textLa Globalidad de Lenguajes. Semiótica, antropología, psicología. Cuicuilco Revista de la Escuela Nacional de Antropología e Historia: Análisis del discurso y semiótica de la cultura: perspectivas analíticas para el tercer milenio Tomo I. Num. 24 (2002) Vol. 9 enero-abril
No full textLa Globalidad de Lenguajes es una disciplina de comunicación y expresión con todos los lenguajes; es de carácter teórico-práctico e integra distintos campos como la antropología, la semiología, la psicología y la pedagogía, con aplicaciones en la investigación, la educación y la terapia. Ha sido elaborada desde 1970 en Italia por Stefania Guerra Lisi y se enseña y aplica en muchos contextos científicos, pedagógicos y terapéuticos en distintos países. Su paradigma incluye valores, conceptos, principios, teorías y métodos articulados y entrelazados.The Globalism of Languages is a multidimensional discipline of communication and expression, related to anthropology, semiotics, psychology and pedagogy. In Italy, Stefania Guerra Lisi has been developed it since 1970. Its teaches and used to scientific, pedagogic and therapeutic contexts on different countries. Its paradigm includes values, concepts, principles, theories and methods articulated and intercrossed.Arnheim, Rudolf. 1969. Verso una psicologia dell ´arte, Torino, Einaudi.Bachelard, Gaston. 1973. La poetica della rêverie, Bari, Dedalo.Barthes, Roland. 1985. L´ovvio e l´ ottuso, Torino, Einaudi.Bateson, Gregory. 1984. Mente e natura, Adelphi, Milano.Bion, Wilfried R. 1972. Apprendere dall´esperienza, Roma, Armando.Dogana, Fernando. 1990. Le parole dell´incanto.Esplorazioni dell´iconismo linguistico, Milano, F. Angeli.Eco, Umberto. 1990. I limiti del l´interpretazione, Milano, Bompiani.Ehrenzweig, Anton. 1977. La psicoanalisi della percezione nella musica e nelle arti figurative, Roma, Astrolabio.Goethe Wilhelm, Friedrich. 1981. La teoria dei colori, Milano, Il Saggiatore.Gombrich E., Hochberg J., Black M. 1978. Arte percezione e realtà, Come pensiamo le immagini, Torino, Einaudi.Guerra Lisi, Stefania. 1980 Comunicazione ed espressione nella globalità dei linguaggi, Roma, Il Ventaglio.Guerra Lisi, 1983. Integrazione interdisciplinare dell ´handicappato, Roma, Il Pensiero Scientifico, (traducción al español: La integración interdisciplinar del deficiente, Barcelona, CEAC, 1988).Guerra Lisi, 1985. Il metodo della globalità dei linguaggi, Roma, Borla.Guerra Lisi, 1986. Come non spezzare il filo, Roma, Borla.Guerra Lisi, 1987. Psiche suono corpo-movimento musica-danza, Assisi, Edizioni Musicali PCC.Guerra Lisi, 1990. Ri-uscire, Roma, Borla.Guerra Lisi, 1992. Il racconto del corpo, Roma, Borla.Guerra Lisi, 1993. Continuità 1 e 2, Roma, Borla.Guerra Lisi, 1996. La trans-formazione possibile. Globalità dei Linguaggi e Analisi Transazionale, Pisa, Ediciones del Cerro.Guerra Lisi, 1996. Sinestesi Arti, Bologna, Fuori Thema.Guerra Lisi, 1997. Viaggio nel ritardo mentale, Pisa, Ediciones del Cerro.
Guerra Lisi, Stefania y Gino Stefani. 1997. Musicoterapia nella Globalità dei Linguaggi, Bologna, Fuori Thema.Guerra Lisi, Stefania y Gino Stefani. 1997. In principio era il corpo, Bologna, Fuori Thema.Guerra Lisi, Stefania y Gino Stefani. 1998. L´integrazione: nuovo modello di sviluppo, Roma, Borla.Guerra Lisi, Stefania y Gino Stefani. 1999. Gli Stili Prenatali nelle arti e nella vita, Bologna, CLUEB.Guerra Lisi, Stefania y Gino Stefani.2001. I Quattro Elementi nella Globalità dei Linguaggi, Roma, Borla.Johnson, Mark. 1987. The body in the mind, Chicago y Londres, The University of Chicago Press.Jousse, Marcel. 1979. L´antropologia del gesto, Roma, Edizioni Paoline.Jung, Carl. G. 1984. L´uomo e i suoi simboli, Torino, Einaudi.Kandinsky, Wassily. 1968. Punto, línea, superficie, Milano, Adelphi.Lakoff, George. 1994. Women, fire and dangerous things, Chicago y Londres, The University of Chicago Press.Lapierre, A. y R. Aucouturier. 1979 Simbología del movimiento, Cremona, Edipsicologiche.Leroi Gourhan, André. 1977 Il gesto e la parola, Torino, Einaudi.Marks, L. E. 1978. The unity of the sense: interrelations amongs the modalities, Nueva York, Academic Press.Montagu, Ashley. 1981 Il linguaggio della pelle, Milano, Mondadori.Rascovsky, Andrea. 1980. La vita psichica del feto, Milano, Il Formichiere.Reich, Wilhelm. 1978. Analisi del carattere, Milano, Sugar.Ruggieri, Vezio. 1997. L´esperienza estetica. Fondamenti psicofisiologici per un´educazione estetica, Roma, Armando.Stefani, Gino. 1967. L ´ espressione vocale e musicale nella liturgia, Torino-Leumann, LDC.Stefani, Gino. 1974. Musica barocca. Poetica e ideologia, Milano, Bompiani.Stefani, Gino. 1975. Musica e religione nell´Italia barocca, Palermo, Flaccovio.Stefani, Gino. 1976. Actes du 1er Congrès International de Sémiotique Musicale/Proceedings of the 1st International Congress on Semiotics of Music, Pesaro, Centro di Iniziativa Culturale.Stefani, Gino. 1976. Introduzione alla semiotica della musica, Palermo, Sellerio.Stefani, Gino. 1977. Insegnare la musica, Firenze, Guaraldi.Stefani, Gino. 1978. Capire la musica, Milano, L´Espresso Strumenti.Stefani, Gino. 1987. Il segno della musica, Palermo, Sellerio.Stefani, Gino. 1998. Musica: dall´esperienza alla teoria, Milano, Ricordi.Stefani, Gino. 1996. Intense Emozioni in Musica, Bologna, CLUEB.Stefani, Gino y Stefania Guerra Lisi (eds.). 1999. Sinestesia Arti Terapia, Bologna, CLUEB.Stefani, G., L Marconi, E. Tarasti (eds.). 1998. Musical Signification, between Rhetoric and Pragmatics / La significazione musicale, fra retorica e pragmatica, Bologna, CLUEB.Steiner, Rudolf. 1944. Introduzione alle opere scientifiche di Goethe, Milano, Bocca.Stern, Daniel N. 1991. Diario di un bambino. Da un mese a quattro anni, Milano, Mondadori.Winnicott, David W. 1974. Gioco e realt., Roma, Armando
An Approach Towards Ethical Chatbots in Customer Service
No full textChatbot is an artificial intelligent software which can simulate a conversation with a user in natural language via auditory or textual methods. Businesses are rapidly moving towards the need for chatbots. However chatbots raise many ethical concerns. To ensure that they behave ethically, their behavior should be guided by the codes of ethics and conduct of their company
Model with DLs + Solve with ASP: A case study from Concept Learning
No full textResearch in Machine Learning (ML) has traditionally focussed on designing effective algorithms for solving particular tasks. However, there is an increasing interest in providing the user with a means for specifying what the ML problem in hand actually is rather than letting him struggle to outline how the solution to that problem needs to be computed. This corresponds to a model+solver approach to ML, in which the user specifies the problem in a declarative modeling language and the system automatically transforms such models into a format that can be used by a solver to efficiently generate a solution. In this paper, we propose a model+solver approach to Concept Learning problems which combines the efficacy of Description Logics (DLs) in conceptual modeling with the efficiency of Answer Set Programming (ASP) solvers in dealing with constraint satisfaction problems. In particular, the approach consists of a declarative modeling language based on second-order DLs under Henkin semantics, and a mechanism for transforming second-order DL formulas into a format processable by ASP solvers
Preface to the Proceedings of the 34th Italian Conference on Computational Logic (CILC 2019)
No full textThe 34th edition of the Italian Convention of Computational Logic (CILC 2019), the annual meeting of GULP (Gruppo ricercatori e Utenti Logic Programming), was hosted by the University of Trieste from June 19th to June 21st, 2019.
CILC was originally meant to be a forum for exchanging ideas and experiences between Italian researchers in the field of computational logic, however, in recent years, it has broadened its topics of interest also to a wide set of related areas spacing from verification of formal systems to knowledge representation.
The technical program of CILC 2019 features 37 presentations of as many high-quality papers; 27 of them are included in these proceedings and the remaining ones appeared or were submitted to other conferences, workshops or journals. Each of the submitted papers was evaluated by three reviewers and, according to their judgments, was either accepted or rejected for the presentation and publication in the proceedings.
The contributions address different topics related to computational logic, including verification and validation, temporal reasoning, description logics, formal methods in AI, knowledge representation, and constraint logic programming.
The program was also enriched by an ambassador talk “DigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics” by Stefania Costantini, Francesca Alessandra Lisi, and Raffaele Olivieri and 3 tutorials:
– The SATisfiability problem and its impact
Agostino Dovier, Università degli Studi di Udine
– Multiagent Epistemic Planning
Enrico Pontelli, New Mexico State University
– Model checking: The interval way
Angelo Montanari, Università degli Studi di Udine
The following works were presented at CILC 2019, but are not included in this proceedings:
– Epistemic Answer Set Programming: a new perspective
Ezgi Iraz Su
– Extending ALC with the power-set construct
Laura Giordano and Alberto Policriti
– Accountable Protocols in Abductive Logic Programming
Marco Gavanelli, Marco Alberti, and Evelina Lamma
– Model Completeness, Covers and Superposition (Abridged Version)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and
Andrey Rivkin
– Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio
Proietti
– An Ontology to Improve the First Aid Service Quality
Lorenzo De Lauretis and Stefania Costantini
– An ASP-based Approach for Optimizing DLV Evaluation
Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino,
Nicola Leone, Marco Manna, Simona Perri, and Jessica Zangari
– Large Scale DLV: Preliminary Results
Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina
Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fusc`a,
Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, and Jessica Zangari
– A Process Algebra for (Delimited) Persistent Stochastic Non-Interference
Andrea Marin, Carla Piazza, and Sabina Rossi
– Accountability, Responsibility, and Robustness in Agent Organizations
Matteo Baldoni, Cristina Baroglio, and Roberto Micalizio
We would like to thank all the people who have contributed to the success of CILC 2019: the authors, the invited speakers, the program committee, the reviewers, and the participants. Special thanks go to both the President and the former President of GULP, Stefania Costantini and Agostino Dovier, and to the secretary of GULP, Fabio Fioravanti, for their support in the organization of the event
Cavitation in confinement: a classical nucleation theory approach
No full textCavitation indicates the formation of a vapor cavity within a metastable liquid. In
ultrapure water this phenomenon happens in the bulk liquid phase at extreme negative pressures
of the order of−120MPa. However, in practical situations, the cavitation pressure can be much
closer to coexistence due to the presence of impurities which trigger heterogeneous nucleation.
Classical nucleation theory is the most popular framework used to understand and analyze
homogeneous cavitation; however, extending it to highly confined geometries is non-trivial.
Here we developed a confined classical nucleation theory for cavitation within hydrophobic
nanoporous materials – a case with important technological applications. We employ a nu-
merical approach to find the most probable bubble configurations along the cavitation process.
The limits of this approach are discussed by comparing the results with available molecular
dynamics simulations
- …
