Results 11 to 20 of about 26,296 (162)
Three-Dimensional Reconstruction of Cephalopod Beaks: A 3D Modeling Workflow Combining Prism-Assisted Photogrammetry and Micro-CT Validation. [PDF]
This study presents a novel workflow for three‐dimensional reconstruction of small, dehydration‐sensitive biological specimens, demonstrated through cephalopod beak modeling. The method combines prism‐assisted photogrammetry—which captures five isometric views in under 60 s using 45° prism reflections—with digital sculpting in ZBrush and micro‐CT ...
Xu L +6 more
europepmc +2 more sources
SEPIA: Search for Proofs Using Inferred Automata
This paper describes SEPIA, a tool for automated proof generation in Coq. SEPIA combines model inference with interactive theorem proving. Existing proof corpora are modelled using state-based models inferred from tactic sequences.
Neil Walkinshaw +5 more
core +7 more sources
Cephalopods are very relevant food resources. The common cuttlefish (Sepia officinalis) is highly appreciated by consumers and there is a lack of rapid methods for its authentication in food products.
Amaya Velasco +2 more
doaj +1 more source
This is the stable, essentially complete version of SEPIA. We anticipate only minor bugfixes or small feature additions in the future. Since v1.0.0, we have added: To set up a model, use SepiaModel(data) (as opposed to setup_model() function from ...
James Gattiker +3 more
core +1 more source
Miocene sepiids (Cephalopoda, Coleoidea) from Australia [PDF]
Two sepiid genera, Notosepia Chapman, 1915, andSepia Linnaeus, 1758, are described from the Neogene deposits ofAustralia. A new and unique record of the middle Miocene Sepia sp.is reported from southern Australia.
Martin Košt'ák +5 more
doaj +3 more sources
Empowerment As Replacement for the Three Laws of Robotics
The greater ubiquity of robots creates a need for generic guidelines for robot behavior. We focus less on how a robot can technically achieve a predefined goal and more on what a robot should do in the first place.
Christoph Salge +2 more
doaj +1 more source
The potential fecundity (PF) of advanced maturing and mature pre-spawning cuttlefish S. officinalis in the Aegean Sea varies from 3,700 to 8,000 (mean 5,871) oocytes, whereas the number of large yolk oocytes increases with mantle length from 130 to 839 ...
Vladimir Laptikhovsky +3 more
doaj +1 more source
Assessment of Histamine and Putrescine Residues in Fish and Shell Fish [PDF]
Ninety random samples of fresh fish and shellfish (45 0f each) were collected from different fish markets at different localities in Kalyobia governorate, Egypt.
M.A. Maarouf, A. A +3 more
doaj +1 more source
Pharmacoinformation analysis of the molecules of the drug Klimaktoplan
An analysis of an array of publications on naturaL extracts of tsimitsifuga, sepia, sanguinaria included in the preparation KLimaktoplan, showed that only the extracts of tsimitsifugi have more than 800 studies.
I. Yu. Torshin +2 more
doaj +1 more source
SEPIA—Susceptibility mapping pipeline tool for phase images
Quantitative susceptibility mapping (QSM) is a physics-driven computational technique that has a high sensitivity in quantifying iron deposition based on MRI phase images.
Kwok-Shing Chan, José P. Marques
doaj +1 more source

