805 research outputs found
Dominique Casanovas dans Valland
No full textValland , cinquième bulletin d'information bimensuel du groupe francophone de recherche sur les études norroises publie un entretien avec Dominique Casanovas, membre du réseau V&T, où elle évoque sa démarche dans le domaine de la reconstitution textile. voir le bulleti
La civilización en sus manifestaciones artísticas, científicas y literarias en todo el mundo, desde los tiempos más remotos hasta nuestros dias
No full textMarca tipográfica no verso da portadaTomo I (751 p., [12] h. de lám.) -- t. II (748 p., [23] h. de lám.) -- t. III (608 p., [19] h. de lám.)As follas de láminas son litografías a cor: A. Casanovas, A. Nadal, R. Rocabert e D. Baixera
Comentario y explanación de los ejercicios espirituales de San Ignacio de Loyola
No full textNo t. III-VI: versión castellana por el P. Manuel Quera, S.IEn t. III-IV: versión castellana por el P. Manuel Quera, S.IT. I-II, versión castellana por el P. Pedro N. Isla, S.I. ; t. III-IV, versión castellana por el P. Manuel Quera, S.IContén: t.I-II. Introducción y documentos - t. III-VI. Explanación de las meditacionesContén: t. I y II. Introducción y documentos-t. III-IV. Explanación de las meditacionesContén: t. I. Introducción. Teoría, directorio, preparación - t. II. Documentos - t. III. Explanación de las meditaciones de 1ª semana - t. IV. Explanación de las meditaciones de 2ª seman
Model theory of Steiner triple systems
No full textA Steiner triple system is a set together with a collection
of subsets of of size 3 such that any two elements of belong to exactly
one element of . It is well known that the class of finite Steiner
triple systems has a Fra\"{\i}ss\'e limit . Here we show that
the theory of is the model completion of
the theory of Steiner triple systems. We also prove that
is not small and it has quantifier elimination, ,
, elimination of hyperimaginaries and weak elimination of
imaginaries
Losillasaurus CASANOVAS ET AL. 2001
No full textLOSILLASAURUS CASANOVAS ET AL., 2001 Figures: See Casanovas et al., 2001: figs 1–7; Figs 1–16; Supporting Information, File S3. Type species: Losillasaurus giganteus Casanovas et al. (2001). Holotype: Anterior caudal vertebra housed in the Museo de Ciencias Naturales de Valencia (MCNV). Paratype: Two anterior caudal vertebrae housed in the Museo de Ciencias Naturales de Valencia (MCNV). Type locality and horizon: La Cañada site (Valencia), V i l l a r d e l A r z o b i s p o Fo r m a t i o n (C a s a n o v a s et al., 2001; Royo-Torres et al., 2006). Dated as Kimmeridgian according to the data of Campos-Soto et al. (2019). Referred material: The material referred to Losillasaurus comes from the same specimen from where the holotype and paratype were selected. It consists of a skull fragment and partial postcranial skeleton (see Supporting Information, File S1). A second specimen, described in this paper, is from the San Lorenzo site (Riodeva, Teruel, Spain) in the Villar del Arzobispo Formation. It consists of a partial skull with teeth and partial postcranial skeleton (see the previous description section and Supporting Information, File S1). A third specimen referred to as Losillasaurus is a complete anterior caudal vertebra (SHN 180) found in Baleal (Peniche municipality, Portugal) in the Praia de Amoreira-Porto Novo Formation, dated as Upper Kimmeridgian–Lower Tithonian (Manuppella et al., 1999; Mocho et al., 2017b). Revised diagnosis: Losillasaurus is diagnosed by eight autapomorphies: (1) (new) lateral surface of the premaxilla and maxilla with dorsoventrally elongated grooves convergent with diplodocids and Nemegtosaurus (Mannion et al., 2019); (2) (new) a maxillary tooth with a secondary apex on the distal edge; (3) markedly curved neural spines of the proximal caudal vertebrae that in the first and second caudal vertebrae produce a pronounced cutlass-like shape in the lateral view (Casanovas et al., 2001; Upchurch et al., 2004a); (4) (new) presence of a dorsoventral ridge in the anterolateral surface of the spine at least between the fourth and tenthcaudal vertebrae (it is not clearly present in the first three caudal vertebrae and disappears in the 11 th caudal vertebra); (5) (new) caudal neural spines with a shallow dorsal groove with directed anteroposteriorly, bigger in the anteriormost caudal vertebrae, especially in the first and second bones and shallow from the third to the 30 th caudal vertebrae; (6) (new) the long-axis of the obturator foramen is perpendicular to the long-axis of the pubis; (7) (new) the lateral trochanter of the fibula is concave and rugose; and (8) (new) the tibial condyle of the femur is twice as large as the fibula condyle. Additional comments: The character, anteroposterior length at the base of the neural spines of the proximal caudal vertebrae being approximately half the height of the spine (ratio = 0.5), was included in the original diagnosis (Casanovas et al., 2001) and accepted in Upchurch et al. (2004a). However, this is not considered valid as the spines are compressed by taphonomic deformation.Published as part of Royo-Torres, Rafael, Cobos, Alberto, Mocho, Pedro & Alcalá, Luis, 2021, Origin and evolution of turiasaur dinosaurs set by means of a new ' rosetta' specimen from Spain, pp. 201-227 in Zoological Journal of the Linnean Society 191 on pages 219-220, DOI: 10.1093/zoolinnean/zlaa091, http://zenodo.org/record/572415
Una elegia llatina composta pel pare Agustí Casanovas i Manent vers 1827 i la seva suposada traducció d'Horaci
No full textPresentació, dins el context dels programes formatius dels futurs membres de les Escoles Pies, d'un humanista escolapi del segle XIX de primer ordre, però actualment força oblidat: el pare Agustí Casanovas i Manent (1809-1889), autor d'alguns textos en bon llatí, dels quals s'edita aquí una elegia inèdita, composta arran de la revolta dels Malcontents molt probablement a Barcelona el mateix any 1827, quan l'autor sols tenia divuit anys. Se n'acompanya també una traducció actual al català, i s'identifica el veritable autor d'una traducció castellana en vers de diverses poesies d'Horaci, atribuïda fins ara indegudament al susdit pare Casanovas.Introduction to a leading -though now almost forgotten- 19th century Piarist humanist, in the context of the education programs for future members of the Pious Schools: father Agustí Casanovas i Manent (1809-1889), author of some texts in good Latin. In this article I provide an edition and a Catalan translation of an unpublished elegy, composed by him because of the so-called Revolta dels Malcontents («Rising of the Displeased») most probably in the same year 1827, when the author was only 18 years old. Moreover, I identify the true author of a Spanish verse translation of some of Horace's poems, wrongly ascribed to father Casanovas
Una elegia llatina composta pel pare Agustí Casanovas i Manent vers 1827 i la seva suposada traducció d'Horaci
No full textPresentació, dins el context dels programes formatius dels futurs membres de les Escoles Pies, d'un humanista escolapi del segle XIX de primer ordre, però actualment força oblidat: el pare Agustí Casanovas i Manent (1809-1889), autor d'alguns textos en bon llatí, dels quals s'edita aquí una elegia inèdita, composta arran de la revolta dels Malcontents molt probablement a Barcelona el mateix any 1827, quan l'autor sols tenia divuit anys. Se n'acompanya també una traducció actual al català, i s'identifica el veritable autor d'una traducció castellana en vers de diverses poesies d'Horaci, atribuïda fins ara indegudament al susdit pare Casanovas.Introduction to a leading -though now almost forgotten- 19th century Piarist humanist, in the context of the education programs for future members of the Pious Schools: father Agustí Casanovas i Manent (1809-1889), author of some texts in good Latin. In this article I provide an edition and a Catalan translation of an unpublished elegy, composed by him because of the so-called Revolta dels Malcontents («Rising of the Displeased») most probably in the same year 1827, when the author was only 18 years old. Moreover, I identify the true author of a Spanish verse translation of some of Horace's poems, wrongly ascribed to father Casanovas
ORCHESTRA: An Asynchronous Wait-Free Distributed GVT Algorithm
No full textTaking advantage of computing capabilities offered by modern parallel and distributed architectures is fundamental to run large-scale simulation models based on the Parallel Discrete Event Simulation (PDES) paradigm. By relying on this computing organization, it is possible to effectively overcome both the power and the memory wall, which are core limiting aspects to deliver high-performance simulations. This is even more the case when relying on the speculative Time Warp synchronization protocol, which could be particularly memory greedy. At the same time, some form of coordination, such as the computation of the Global
Virtual Time (GVT), is required by Time Warp Systems. These coordination points could easily become the bottleneck of large-scale simulations, hindering an efficient exploitation of the computing power offered by large supercomputing facilities. In this paper we present ORCHESTRA, a coordination algorithm which is both wait-free and asynchronous. The nature of this algorithm allows any computing node to carry on simulation activities while the global agreement is reached, thus offering an effective building block to achieve scalable PDES. We claim that the general organization of ORCHESTRA could be adopted by different high-performance computing applications, thus paving the way to a more effective usage of modern computing infrastructures
AI approaches to the complexity of legal systems : models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents
No full textInternational Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected PapersThe inspiring idea of this workshop series, Artificial Intelligence Approaches to the Complexity of Legal Systems (AICOL), is to develop models of legal knowledge concerning organization, structure, and content in order to promote mutual understanding and communication between different systems and cultures. Complexity and complex systems describe recent developments in AI and law, legal theory, argumentation, the Semantic Web, and multi-agent systems. Multisystem and multilingual ontologies provide an important opportunity to integrate different trends of research in AI and law, including comparative legal studies. Complexity theory, graph theory, game theory, and any other contributions from the mathematical disciplines can help both to formalize the dynamics of legal systems and to capture relations among norms. Cognitive science can help the modeling of legal ontology by taking into account not only the formal features of law but also social behaviour, psychology, and cultural factors. This book is thus meant to support scholars in different areas of science in sharing knowledge and methodological approaches. This volume collects the contributions to the workshop's third edition, which took place as part of the 25th IVR congress of Philosophy of Law and Social Philosophy, held in Frankfurt, Germany, in August 2011. This volume comprises six main parts devoted to the each of the six topics addressed in the workshop, namely: models for the legal system ethics and the regulation of ICT, legal knowledge management, legal information for open access, software agent systems in the legal domain, as well as legal language and legal ontology.-- Compliance with normative system (G. Sartor);
-- Coherence-Based Account of the Doctrine of Consistent Interpretation (M. Araszkiewicz);
-- Three Roads to Complexity, AI and Law of Robotics: On Crimes, Contracts and Torts (U. Pagallo);
-- The Legal Challenges of Networked Robotics: From the Safety Intelligence Perspective (Y.-H. Weng, S. T. H. Zhao);
-- Cloud Computting: New Research Perspectives for Computers and Law (D. Bourcier, P. De Filippi)
-- Balancing Rights and Values in the Italian Courts: A Benchmark for a Quantitative Analysis (T. Agnoloni, M.-T. Sagri, D. Tiscornia);
-- Survival of the Fittest: Network Analysis of Dutch Supreme Court Cases (R. Winkels, J. de Ruyter);
-- Ontology Framework for Judgement Modelling (M. Ceci, M. Palmirani);
-- Eunomos, a Legal Document and Knowledge Management System to Build Legal Services (G. Boella, L. Humphreys, M. Martin, P. Rossi, L. van der Torre);
-- Axioms on a Semantic Model for Legislation for Accessing and Reasoning over Normative Provisions (E. Francesconi);
-- An Open Access Policy for Legal Informatics Dissemination and Sharing (E. Francesconi, G. Peruginelli);
-- Advancing an Open Access Publication Model for Legal Information Institutes (P. Casanovas, E. Plaza);
-- Combinations of Normal and Non-normal Modal Logics for Modeling Collective Trust in Normative MAS (C. Smith, A. Ambrossio, L. Mendoza, A. Rotolo);
-- Software Agents as Boundary Objects (M. Laukyte);
-- Argumentation and Intuitive Decision Making: Criminal Sentencing and Sentence Indication (A. Vincent);
-- 16. Application of Model-Based Diagnosis to Multi-Agent Systems Representing Public Administration (A. Boer, T. van Engers);
-- 17. Semantic Annotation of Legal Texts through a FrameNet-Based Approach (M. Ceci, L. Lesmo, A. Mazzei, M. Palmirani);
-- 18. Developing a Frame-Based Lexicon for the Brazilian Legal Language: The Case of the Criminal_Process Frame (A. Bertoldi, R. L. de Oliveira Chishman);
-- 19. Creative Commons and Grand Challenge to Make Legal Language Simple (M. Myška, T. Smejkalová, J. Šavelka, M. Škop);
-- From User Needs to Expert Knowledge: Mapping Laymen Queries with Ontologies in the Domain of Consumer Mediation (M. Fernández-Barrera, P. Casanovas
- …
