Results 61 to 70 of about 7,729,210 (329)
An Automated Framework for Structural Test-data Generation [PDF]
, 1998 Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test data to achieve 100% coverage of a given structural coverage metric is labour-intensive and expensive.
Heslington York +4 more
core +6 more sources
Origami‐Inspired Structural Design for Aquatic‐Terrestrial Amphibious Robots
Advanced Robotics Research, EarlyView.This work presents a lightweight amphibious origami robot actuated by a single shape memory alloy wire. A rigid foldable origami structure with displacement amplification enables efficient terrestrial crawling and aquatic swimming. The addition of fan‐shaped units allows controllable turning in both environments.
Weiqi Liu +5 more
wiley +1 more source
Компютерні системи та інформаційні технології, 2022 The article is devoted to the research of the tools of algebra of finite predicates for the system analysis and formalization of the task of automating car rental according to the selected parameters.
Iryna VECHIRSKA +4 more
doaj +1 more source
Advanced Robotics Research, EarlyView.Micro‐ and nanorobots for targeted thrombolysis. This perspective elaborates on the clinical indication of blood clot disorders and current limitations for treatment. As a novel, alternative solution, micro‐ and nanorobots can be used to treat and break down thrombi.
Joshua M. Mesfin +3 more
wiley +1 more source
KWM: Knowledge-based Workflow Model for agile organization [PDF]
, 1999 The workflow management system (WFMS) in an agile organization should be highly adaptable to the frequent organizational changes. To increase the adaptability of contemporary WFMSs, a mechanism for managing changes within the organizational structure and
Kim, JW, Lee, H, Park, SJ
core +1 more source
Advanced Science, EarlyView.Integrated multi‐omic profiling maps the gene‐regulatory landscape of the coelomic mesothelium across heart, lung, and pancreas. A cardiac‐restricted regulatory program is uncovered in which TBX20 activates heart mesothelial (epicardial) cis‐regulatory elements, while MAF emerges as a conserved regulator of mesothelial identity.
Quang Minh Dang +3 more
wiley +1 more source
XRound : A reversible template language and its application in model-based security analysis [PDF]
, 2009 Successful analysis of the models used in Model-Driven Development requires the ability to synthesise the results of analysis and automatically integrate these results with the models themselves.
Balogh +10 more
core +1 more source
, 2023 This chapter surveys LFG work on a somewhat diverse collection of constructions often called complex predicate constructions, which can be broadly characterized by saying that the number of superficially apparent predicates is arguably different from that of actual predicates, either because two apparent predicates can be argued to have ...
openaire +1 more source
Advanced Science, EarlyView.A green, thermoreversible self‐assembly strategy yields a multifunctional and recyclable supramolecular nanofibrous membrane. Graphene oxide (GO) nanosheet acts as a heterogeneous nucleation‐templating agent, simultaneously modulating the supramolecular crystal packing while tailoring the nanofibrous architecture for elite performance.
Wenjing Sun +6 more
wiley +1 more source
Advanced Science, EarlyView.A novel transcriptional module involving CsYABBY3 and CsAS1 is identified to regulate cannabinoid biosynthesis and trichome development. These factors mutually activate each other and form a protein complex via a conserved residue, acting synergistically to amplify metabolic flux through a coordinate feed‐forward mechanism.
Xuewen Zhu +18 more
wiley +1 more source