Results 61 to 70 of about 193,114 (231)
Concrete Categories in Homotopy Type Theory [PDF]
, 2013 We introduce some classes of genuine higher categories in homotopy type theory, defined as well-behaved subcategories of the category of types. We give several examples, and some techniques for showing other things are not examples.
Cranch, James
core
Discovering Implicational Knowledge in Wikidata
, 2019 Knowledge graphs have recently become the state-of-the-art tool for representing the diverse and complex knowledge of the world. Examples include the proprietary knowledge graphs of companies such as Google, Facebook, IBM, or Microsoft, but also freely ...
B Ganter +9 more
core +1 more source
The Anatomical Record, EarlyView.Abstract Basking sharks, Cetorhinus maximus (Gunnerus, Brugden [Squalus maximus], Det Kongelige Norske Videnskabers Selskabs Skrifter, 1765, vol. 3, pp. 33–49), feed by gaping their mouths and gill slits, greatly reorienting their cranial skeletons to filter food from water.
Tairan Li +12 more
wiley +1 more source
Evaluación formativa en la asignatura Modelos y Simulación
Revista Iberoamericana de Educación, 2012 // -1 && this.dom)?1:0; this.ie4=(document.all && !this.dom)?1:0; this.ns5=(this.dom && parseInt(this.ver) >= 5) ?1:0; this.ns4=(document.layers && !this.dom)?1:0; this.bw=(this.ie5 || this.ie4 || this.ns4 || this.ns5) return this } bw=new ...
Sonia I. Mariño +2 more
doaj
Application of Ceramic Preforms to the Manufacturing of Ceramic - Metal Composites
Archives of Metallurgy and Materials, 2013 Artykuł przedstawia nowatorskie rozwiązanie wytwarzania kompozytów CU-AI2O3 z rozproszoną fazą wzmacniającą. Polega ono na wykorzystaniu zamiast powszechnie stosowanego handlowego proszku tlenku glinu, rozkruszonej pianki cera- micznej.
Jach K. +4 more
doaj +1 more source
On Optimization Modulo Theories, MaxSMT and Sorting Networks
, 2017 Optimization Modulo Theories (OMT) is an extension of SMT which allows for finding models that optimize given objectives. (Partial weighted) MaxSMT --or equivalently OMT with Pseudo-Boolean objective functions, OMT+PB-- is a very-relevant strict subcase ...
A Cimatti +17 more
core +1 more source
The Anatomical Record, EarlyView.Abstract The study of morphological evolution is fundamentally tied to ontogeny, yet studies of these heterochronic processes in the fossil record are rare. Fossils belonging to an ontogenetic series are difficult to assign to an ontogenetic stage due to inconsistent proxies for skeletal ages, challenging to taxonomically assign due to morphological ...
Erika R. Goldsmith, Michelle R. Stocker
wiley +1 more source
Patterns of spinal motion, kinematic spaces and the land‐to‐sea transition in carnivorans
The Anatomical Record, EarlyView.Using 3D reconstructions, we quantify intervertebral joint mobility to investigate how cervical, thoracic, and lumbar vertebral regions evolved distinct kinematic roles in pinnipeds. The findings reveal lineage‐specific adaptations for swimming and highlight the functional significance of vertebral joint flexibility in ecological transitions.
Juan Miguel Esteban +3 more
wiley +1 more source
Preparing, restructuring, and augmenting a French treebank: lexicalised parsers or coherent treebanks? [PDF]
, 2007 We present the Modified French Treebank (MFT), a completely revamped French Treebank, derived from the Paris 7 Treebank (P7T), which is cleaner, more coherent, has several transformed structures, and introduces new linguistic analyses.
Schluter, Natalie, van Genabith, Josef
core
A Transactional Analysis of Interaction Free Measurements
, 2005 The transactional interpretation of quantum mechanics is applied to the "interaction-free" measurement scenario of Elitzur and Vaidman and to the Quantum Zeno Effect version of the measurement scenario by Kwiat, et al.
A. C. Elitzur +4 more
core +1 more source