Results 101 to 110 of about 2,322,283 (342)
Formal verification of an autonomous personal robotic assistant [PDF]
, 2014 Human–robot teams are likely to be used in a variety of situations wherever humans require the assistance of robotic systems. Obvious examples include healthcare and manufacturing, in which people need the assistance of machines to perform key tasks.
Dautenhahn, K. +6 more
core
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
, 2007 Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has recently been proposed as an
Gibbins, Nick +4 more
core +1 more source
Bridging Nature and Technology: A Perspective on Role of Machine Learning in Bioinspired Ceramics
Advanced Engineering Materials, EarlyView.Machine learning (ML) is revolutionizing the development of bioinspired ceramics. This article investigates how ML can be used to design new ceramic materials with exceptional performance, inspired by the structures found in nature. The research highlights how ML can predict material properties, optimize designs, and create advanced models to unlock a ...
Hamidreza Yazdani Sarvestani +2 more
wiley +1 more source
A Formal Language to Describe and Animate Signs in Brazilian Sign Language
Journal on Interactive Systems, 2013 Nenhum resumo ...
Danilo Assis Nobre dos S. Silva +6 more
doaj +1 more source
Generating natural language descriptions of Z test cases [PDF]
, 2010 Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times formal, development technologies. In addition, model-based testing (MBT) is
Cristiá, Maximiliano, Plüss, Brian
core
Advanced Engineering Materials, EarlyView.This review explores wafer bonding technologies, covering wafer preparation, activation methods, and bonding mechanisms. It compares direct and indirect bonding, highlights recent advancements and future trends, and examines applications in 3D integration and packaging.
Abdul Ahad Khan +5 more
wiley +1 more source
Formal language assessment in low-educated persons with aphasia: can the lesion effect be distinguished from the education effect? [PDF]
Arq Neuropsiquiatr, 2022 Medeiros NM, Ortiz KZ.
europepmc +1 more source
Advanced Engineering Materials, EarlyView.This work reveals the phase composition and quantitative morphology analysis of precipitation‐hardened Fe32Cu12Ni11Ti16Al29 complex‐concentrated alloy. The precipitates are shown to have a high coherency. Morphology transition between sphere, cuboidal, and elongated morphology is observed. Finally, the overaging behavior is captured using microhardness.
Rostyslav Nizinkovskyi +4 more
wiley +1 more source
Gender in legal language: formal and material use
Feminismo/s, 2008 Legal language has been shaped within a patriarchal system, and therefore has similar characteristics. Most of the –supposedly– universal concepts have been formed in the absence of women, confusing humanity with human beings of the masculine sex. Gender
Jasone Astola Madariaga
doaj +1 more source
Programmed Grammars and Classes of Formal Languages [PDF]
, 1969 Daniel J. Rosenkrantz
openalex +1 more source