Found: 49
Select item for more details and to access through your institution.
Recent trends and developments in protection systems for microgrids incorporating distributed generation.
- Published in:
- WIREs: Energy & Environment, 2024, v. 13, n. 4, p. 1, doi. 10.1002/wene.532
- By:
- Publication type:
- Article
Probabilistic analysis of electrocardiogram (ECG) heart signal.
- Published in:
- Computer Systems Science & Engineering, 2018, v. 33, n. 1, p. 21, doi. 10.32604/csse.2018.33.021
- By:
- Publication type:
- Article
FORMALIZATION OF THE TELEGRAPHER'S EQUATIONS USING HIGHER-ORDER-LOGIC THEOREM PROVING.
- Published in:
- Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP), 2024, v. 11, n. 2, p. 197
- By:
- Publication type:
- Article
LPQ-SAM: A Low-Power Quality Scalable Approximate Multiplier.
- Published in:
- Journal of Circuits, Systems & Computers, 2021, v. 30, n. 1, p. N.PAG, doi. 10.1142/S0218126621500171
- By:
- Publication type:
- Article
SAT Based Fitness Scoring for Digital Circuit Evolution.
- Published in:
- Journal of Circuits, Systems & Computers, 2018, v. 27, n. 6, p. N.PAG, doi. 10.1142/S0218126618500998
- By:
- Publication type:
- Article
NoC-Based Implementation of Free Form Deformations in Medical Imaging Registration.
- Published in:
- Journal of Circuits, Systems & Computers, 2017, v. 26, n. 4, p. -1, doi. 10.1142/S021812661750058X
- By:
- Publication type:
- Article
Formal verification of tail distribution bounds in the HOL theorem prover.
- Published in:
- Mathematical Methods in the Applied Sciences, 2009, v. 32, n. 4, p. 480, doi. 10.1002/mma.1055
- By:
- Publication type:
- Article
Role of Gray Scale and Color Doppler Ultrasound in Diagnosis of Parotid and Submandibular Gland Diseases.
- Published in:
- Egyptian Journal of Hospital Medicine, 2023, v. 90, n. 1, p. 1, doi. 10.21608/ejhm.2023.279019
- By:
- Publication type:
- Article
Timing variation aware dynamic digital phase detector for low‐latency clock domain crossing.
- Published in:
- IET Circuits, Devices & Systems (Wiley-Blackwell), 2014, v. 8, n. 1, p. 58, doi. 10.1049/iet-cds.2013.0067
- By:
- Publication type:
- Article
Medical Faculty Students' Attitudes, Behaviors and ID Beliefs About Covid-19 Pandemic.
- Published in:
- Journal of Dr. Behcet Uz Children's Hospital, 2021, v. 11, n. 1, p. 57, doi. 10.5222/buchd.2021.87360
- By:
- Publication type:
- Article
SecureSurgiNET: A framework for ensuring security in telesurgery.
- Published in:
- International Journal of Distributed Sensor Networks, 2019, v. 15, n. 9, p. N.PAG, doi. 10.1177/1550147719873811
- By:
- Publication type:
- Article
Antibacterial activity of oxytetracycline on microbial ecology of Nile tilapia (Oreochromis niloticus) gastrointestinal tract under laboratory condition.
- Published in:
- Aquaculture Research, 2020, v. 51, n. 5, p. 2125, doi. 10.1111/are.14563
- By:
- Publication type:
- Article
Triangular Geometrized Sampling Heuristics for Fast Optimal Motion Planning.
- Published in:
- International Journal of Advanced Robotic Systems, 2015, v. 12, n. 2, p. 1, doi. 10.5772/59763
- By:
- Publication type:
- Article
Triangular Geometrized Sampling Heuristics for Fast Optimal Motion Planning.
- Published in:
- International Journal of Advanced Robotic Systems, 2015, v. 12, n. 1, p. 1, doi. 10.5772/59763
- By:
- Publication type:
- Article
RRT*-SMART: A Rapid Convergence Implementation of RRT*.
- Published in:
- International Journal of Advanced Robotic Systems, 2013, v. 10, n. 7, p. 1, doi. 10.5772/56718
- By:
- Publication type:
- Article
Towards the Formal Development of Software Based Systems: Access Control System as a Case Study.
- Published in:
- Information Technology & Control, 2018, v. 47, n. 3, p. 393, doi. 10.5755/j01.itc.47.3.20330
- By:
- Publication type:
- Article
HAEMOVIGILANCE: ROLE AND IMPORTANCE OF BLOOD REQUEST FORMS IN ROUTINE HOSPITAL PRACTICE.
- Published in:
- Professional Medical Journal, 2020, v. 27, n. 8, p. 1686, doi. 10.29309/TPMJ/2020.27.08.4523
- By:
- Publication type:
- Article
A Single-centre Study of COVID-19 Antibody.
- Published in:
- Journal of the College of Physicians & Surgeons Pakistan, 2021, v. 31, p. S55, doi. 10.29271/jcpsp.2021.supp1.s55
- By:
- Publication type:
- Article
A Single-centre Study of COVID-19 Antibody.
- Published in:
- Journal of the College of Physicians & Surgeons Pakistan, 2020, v. 30, n. 1, p. S55, doi. 10.29271/jcpsp.2021.Supp1.S55
- By:
- Publication type:
- Article
Formal Verification of Universal Numbers using Theorem Proving.
- Published in:
- Journal of Electronic Testing, 2024, v. 40, n. 3, p. 329, doi. 10.1007/s10836-024-06123-9
- By:
- Publication type:
- Article
HVoC: a Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital Circuits.
- Published in:
- Journal of Electronic Testing, 2021, v. 37, n. 4, p. 561, doi. 10.1007/s10836-021-05956-y
- By:
- Publication type:
- Article
Formal Verification of ECCs for Memories Using ACL2.
- Published in:
- Journal of Electronic Testing, 2020, v. 36, n. 5, p. 643, doi. 10.1007/s10836-020-05904-2
- By:
- Publication type:
- Article
Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification.
- Published in:
- Journal of Electronic Testing, 2016, v. 32, n. 5, p. 569, doi. 10.1007/s10836-016-5619-8
- By:
- Publication type:
- Article
Approximate Computing-Based Processing of MEA Signals on FPGA.
- Published in:
- Electronics (2079-9292), 2023, v. 12, n. 4, p. 848, doi. 10.3390/electronics12040848
- By:
- Publication type:
- Article
A Case of Spontaneous Ejaculation Associated with Panic Disorder Which was Treated with Sertraline and Alprazolam.
- Published in:
- Journal of Mood Disorders, 2017, v. 7, n. 3, p. 173, doi. 10.5455/jmood.20170822064757
- By:
- Publication type:
- Article
How childhood diseases awareness contributes to minimize the risk of disease severity in children under five age: An evolutionary study.
- Published in:
- Journal of the Pakistan Medical Association, 2020, v. 70, n. 12, p. 2210, doi. 10.47391/JPMA.402
- By:
- Publication type:
- Article
A framework for laparoscopic simulations.
- Published in:
- Journal of the Pakistan Medical Association, 2017, v. 67, n. 9, p. 1404
- By:
- Publication type:
- Article
Stunting diagnostic and awareness: impact assessment study of sociodemographic factors of stunting among school-going children of Pakistan.
- Published in:
- 2020
- By:
- Publication type:
- journal article
Chronic kidney disease diagnosis using decision tree algorithms.
- Published in:
- 2021
- By:
- Publication type:
- journal article
Evaluation of existence of depression or anxiety symptoms in patients with bilateral cataract.
- Published in:
- European Eye Research, 2023, v. 3, n. 2, p. 55, doi. 10.14744/eer.2023.46855
- By:
- Publication type:
- Article
Assessment of suicide risk among newly diagnosed cancer patients.
- Published in:
- Klinik Psikiyatri Dergisi, 2023, v. 26, n. 4, p. 293, doi. 10.5505/kpd.2023.48902
- By:
- Publication type:
- Article
Premenstrüel disforik bozukluğu olan hastaların sıkıntıya ve rahatsızlığa dayanma düzeylerinin ve fonksiyonel olmayan tutumlarının incelenmesi.
- Published in:
- Klinik Psikiyatri Dergisi, 2020, v. 23, n. 3, p. 248, doi. 10.5505/kpd.2020.09216
- By:
- Publication type:
- Article
UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks.
- Published in:
- Machine Learning, 2024, v. 113, n. 5, p. 2499, doi. 10.1007/s10994-023-06314-z
- By:
- Publication type:
- Article
PN2Maude: An automatic tool to generate Maude specification for Petri net models.
- Published in:
- Computer Science Journal of Moldova, 2023, v. 31, n. 2, p. 272, doi. 10.56415/csjm.v31.14
- By:
- Publication type:
- Article
IMPROVEMENT STRATEGIES FOR DEVICE INTEROPERABILITY MIDDLEWARE USING FORMAL RELIABILITY ANALYSIS.
- Published in:
- Scalable Computing: Practice & Experience, 2016, v. 17, n. 3, p. 155, doi. 10.12694/scpe.v17i3.1178
- By:
- Publication type:
- Article
ON THE FORMALIZATION OF ZSYNTAX WITH APPLICATIONS IN MOLECULAR BIOLOGY.
- Published in:
- Scalable Computing: Practice & Experience, 2015, v. 16, n. 1, p. 37, doi. 10.12694/scpe.v16i1.1059
- By:
- Publication type:
- Article
Formal analysis of 2D image processing filters using higher-order logic theorem proving.
- Published in:
- EURASIP Journal on Advances in Signal Processing, 2022, v. 2022, n. 1, p. 1, doi. 10.1186/s13634-022-00882-3
- By:
- Publication type:
- Article
SmartSIM - a virtual reality simulator for laparoscopy training using a generic physics engine.
- Published in:
- International Journal of Medical Robotics & Computer Assisted Surgery, 2017, v. 13, n. 3, p. n/a, doi. 10.1002/rcs.1771
- By:
- Publication type:
- Article
Suicide Risk Burnout and Risky Alcohol Use Among Physicians.
- Published in:
- Forbes Journal of Medicine, 2023, v. 4, n. 2, p. 211, doi. 10.4274/forbes.galenos.2023.83702
- By:
- Publication type:
- Article
Formal reasoning about synthetic biology using higher‐order‐logic theorem proving.
- Published in:
- IET Systems Biology (Wiley-Blackwell), 2020, v. 14, n. 5, p. 271, doi. 10.1049/iet-syb.2020.0026
- By:
- Publication type:
- Article
Formal reasoning about systems biology using theorem proving.
- Published in:
- PLoS ONE, 2017, v. 12, n. 7, p. 1, doi. 10.1371/journal.pone.0180179
- By:
- Publication type:
- Article
SEAWEED CULTURE, POST-HARVEST PROCESSING, AND MARKET GENERATION FOR EMPLOYMENT OF COASTAL POOR COMMUNITIES IN COX'S BAZAR.
- Published in:
- Journal of Applied Life Sciences & Environment, 2023, v. 194, n. 2, p. 231, doi. 10.46909/alse-562098
- By:
- Publication type:
- Article
Formalization of Cost and Utility in Microeconomics.
- Published in:
- Energies (19961073), 2020, v. 13, n. 3, p. 712, doi. 10.3390/en13030712
- By:
- Publication type:
- Article
Asistanların elektrokonvulsif tedavi ile ilgili bilgi ve tutumları.
- Published in:
- TAF Preventive Medicine Bulletin, 2015, v. 14, n. 1, p. 33, doi. 10.5455/pmb1-1393848523
- By:
- Publication type:
- Article
Misuse of Methylphenidate and Attitudes About Methylphenidate Among Resident Physicians.
- Published in:
- Klinik Psikofarmakoloji Bulteni, 2014, v. 24, n. 2, p. 135, doi. 10.5455/bcp.20130925022443
- By:
- Publication type:
- Article
High Catalase and Low Thiol Levels in Adult-ADHD Patients.
- Published in:
- Klinik Psikofarmakoloji Bulteni, 2014, v. 24, n. 2, p. 128, doi. 10.5455/bcp.20140429091127
- By:
- Publication type:
- Article
Misuse of methylphenidate and level of knowledge about methylphenidate among resident physicians.
- Published in:
- 2013
- By:
- Publication type:
- Abstract
Knowledge and attitudes of resident trainees regarding electroconvulsive therapy.
- Published in:
- 2013
- By:
- Publication type:
- Abstract
The Frequency of Smoking Use and Factors Related to Alcohol and Substance Use Among High School Students in İzmir.
- Published in:
- Journal of Behcet Uz Children's Hospital, 2023, v. 13, n. 1, p. 16, doi. 10.4274/buchd.galenos.2022.92259
- By:
- Publication type:
- Article