Results 71 to 80 of about 739,438 (302)
A Contract-Based Methodology for Aircraft Electric Power System Design
IEEE Access, 2014 In an aircraft electric power system, one or more supervisory control units actuate a set of electromechanical switches to dynamically distribute power from generators to loads, while satisfying safety, reliability, and real-time performance requirements.
Pierluigi Nuzzo +7 more
doaj +1 more source
Introduction to TIPS: a theory for creative design [PDF]
, 1995 A highly intriguing problem in combining artificial intelligence and engineering design is automation of the creative and innovative phases of the design process.
Mars, N.J.I. +2 more
core +4 more sources
FEBS Open Bio, EarlyView.RoboMic is an automated confocal microscopy pipeline for high‐throughput functional imaging in living cells. Demonstrated with fluorescence recovery after photobleaching (FRAP), it integrates AI‐driven nuclear segmentation, ROI selection, bleaching, and analysis.
Selçuk Yavuz +6 more
wiley +1 more source
Photonics design tool for advanced CMOS nodes
, 2015 Recently, the authors have demonstrated large-scale integrated systems with several million transistors and hundreds of photonic elements. Yielding such large-scale integrated systems requires a design-for-manufacture rigour that is embodied in the 10 ...
Alloatti, Luca +4 more
core +1 more source
FEBS Open Bio, EarlyView.CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point +7 more
wiley +1 more source
Automating the design of algorithms [PDF]
, 1993 This paper has two roughly independent parts. The first is devoted to the automation of program construction. The Kestrel Interactive Development System (KIDS) provides knowledge-based support for the derivation of correct and efficient programs from specifications. We trace the use of KIDS in deriving a scheduling algorithm. The derivation illustrates
openaire +1 more source
FEBS Open Bio, EarlyView.In this study, we developed a deep learning method for mitotic figure counting in H&E‐stained whole‐slide images and evaluated its prognostic impact in 13 external validation cohorts from seven different cancer types. Patients with more mitotic figures per mm2 had significantly worse patient outcome in all the studied cancer types except colorectal ...
Joakim Kalsnes +32 more
wiley +1 more source
A Short Review of Advancements in Additive Manufacturing of Cemented Carbides
CrystalsCemented carbides, renowned for their exceptional strength, hardness, elastic modulus, wear resistance, corrosion resistance, low coefficient of thermal expansion, and chemical stability, have long been indispensable tooling materials in metal cutting ...
Zhe Zhao +10 more
doaj +1 more source
Feasibility Study and Porting of the Damped Least Square Algorithm on FPGA
IEEE Access, 2020 Modern embedded computing platforms used within Cyber-Physical Systems (CPS) are nowadays leveraging more and more often on heterogeneous computing substrates, such as newest Field Programmable Gate Array (FPGA) devices.
Carlo Sau +5 more
doaj +1 more source
Single‐molecule DNA flow‐stretch assays for high‐throughput DNA–protein interaction studies
FEBS Open Bio, EarlyView.We describe an optimised single‐molecule DNA flow‐stretch assay that visualises DNA–protein interactions in real time. Linear DNA fragments are tethered to a surface and stretched by buffer flow for fluorescence imaging. Using λ and φX174 DNA, this protocol enhances reproducibility and accessibility, providing a versatile approach for studying diverse ...
Ayush Kumar Ganguli +8 more
wiley +1 more source