Results 91 to 100 of about 519,644 (350)

PileLine: a toolbox to handle genome position information in next-generation sequencing studies

BMC Bioinformatics, 2011
Background Genomic position (GP) files currently used in next-generation sequencing (NGS) studies are always difficult to manipulate due to their huge size and the lack of appropriate tools to properly manage them.
Fdez-Riverola Florentino, Reboiro-Jato Miguel, Gómez-López Gonzalo, Glez-Peña Daniel, Pisano David G   +4 more
doaj   +1 more source

Mechanized semantics [PDF]

, 2010
The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core   +4 more sources

Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback

Advanced Robotics Research, EarlyView.
BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat, Ali Umut Kaypak, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami   +4 more
wiley   +1 more source

RIO: Analyzing proteomes by automated phylogenomics using resampled inference of orthologs

BMC Bioinformatics, 2002
Background When analyzing protein sequences using sequence similarity searches, orthologous sequences (that diverged by speciation) are more reliable predictors of a new protein's function than paralogous sequences (that diverged by gene duplication ...
Eddy Sean R, Zmasek Christian M
doaj   +1 more source

Challenges and Future Directions in Assessing the Quality and Completeness of Advanced Materials Safety Data for Re‐Usability: A Position Paper From the Nanosafety Community

Advanced Sustainable Systems, EarlyView.
Nanosafety data provide a guiding example for establishing best practices in data management, aligning with FAIR principles and quality criteria. This review explores existing quality assessment approaches for reliability, relevance, and completeness, emphasizing the need for harmonization and adaptation to nanomaterials and advanced materials. The aim
Verónica I. Dumit, Irini Furxhi, Penny Nymark, Antreas Afantitis, Ammar Ammar, Monica J. B. Amorim, Dalila Antunes, Svetlana Avramova, Chiara L. Battistelli, Gianpietro Basei, Cecilia Bossa, Emil Cimpan, Mihaela Roxana Cimpan, Dmitri Ciornii, Anna Costa, Camilla Delpivo, Maria Dusinska, Ana Sofia Fonseca, Steffi Friedrichs, Vasile‐Dan Hodoroaba, Danail Hristozov, Panagiotis Isigonis, Nina Jeliazkova, Nikolay Kochev, Eva Kranjc, Dieter Maier, Georgia Melagraki, Anastasios G. Papadiamantis, Tomasz Puzyn, Hubert Rauscher, Katie Reilly, Araceli Sánchez Jiménez, Janeck J. Scott‐Fordsmand, Neeraj Shandilya, Hyun Kil Shin, Gergana Tancheva, Jeaphianne P. M. van Rijn, Egon L. Willighagen, Ewelina Wyrzykowska, Martine I. Bakker, Damjana Drobne, Thomas E. Exner, Martin Himly, Iseult Lynch   +43 more
wiley   +1 more source

Using Links to prototype a Database Wiki [PDF]

, 2011
Both relational databases and wikis have strengths that make them attractive for use in collaborative applications. In the last decade, database-backed Web applications have been used extensively to develop valuable shared biological references called ...
Cheney, James, Lindley, Sam, Müller, Heiko   +2 more
core   +1 more source

Nanoscale Mapping of the Subcellular Glycosylation Landscape

Advanced Science, EarlyView.
Using multiplexed super‐resolution imaging with fluorophore‐labeled lectins, this study reports intracellular glycosylation at the nanoscale across organelles and synaptic specializations. Extending glycan analysis beyond the cell surface, Glyco‐STORM reveals distinct glycosylation nanodomains in the ER, Golgi, lysosomes, and synaptic sites.
Helene Gregoria Schroeter, Steffen Sass, Mike Heilemann, Thomas Kuner, Maja Klevanski   +4 more
wiley   +1 more source

Spatiotemporal Information Extraction from a Historic Expedition Gazetteer

ISPRS International Journal of Geo-Information, 2016
Historic expeditions are events that are flavored by exploratory, scientific, military or geographic characteristics. Such events are often documented in literature, journey notes or personal diaries.
Mafkereseb Kassahun Bekele, Rolf A. de By, Gaurav Singh   +2 more
doaj   +1 more source

Streamlining collection of training samples for object detection and classification in video [PDF]

, 2010
Copyright 2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating ...
Brkić, K, Bulović, A, Bučar, D, Kalafatić, Z, Kusalić, I, Palašek, P, Popović, B, Trbojević, A, Zadrija, L, Šegvić, S   +9 more
core  

Ecosystem‐Centered Robot Design: Toward Ecoresorbable Sustainability Robots (ESRs)

Advanced Science, EarlyView.
Robots exploring natural ecosystems can support monitoring and conservation, but must adopt ecosystem‐centered design to avoid pollution, waste, and damage. This review proposes guidelines for co‐designing ecoresorbable sustainability robots (ESRs), uniting materials, robotics, and ecological contexts in a single framework.
Tülin Yılmaz Nayır, Yuan Fang, Consuelo Contreras, Andrew K. Schulz, Florian Hartmann   +4 more
wiley   +1 more source