الأبحاث المرتبطة بالكلمة المفتاحية: لغة البرمجة
-
PropertyGPT: التحقق الرسمي المدفوع بواسطة LLM للعقود الذكية من خلال توليد الخصائص المعزز بالاسترجاع
2025 | المؤلف: Ye Liu وآخرون | المجلة: Proceedings 2025 Network and Distributed System Security Symposium | المجال: نظم المعلومات (Information Systems)في هذه الورقة، قدم المؤلفون طريقة جديدة لتوليد الخصائص المعززة بالاسترجاع في العقود الذكية، مستفيدين من قدرات التعلم في السياق لنماذج اللغة الكبيرة (LLMs). تم تنفيذ هذه الطريقة في أداة تسمى PropertyGPT، التي تعالج التحديات الرئيسية لضمان أن الخصائص المولدة قابلة للتجميع، مناسبة، وقابلة للتحقق في وقت التشغيل. أظهرت تقييمات PropertyGPT فعاليتها في تحديد العديد…
-
توليد بيانات اصطناعية باستخدام نماذج اللغة الكبيرة: تقدم في النص والرمز
2025 | المؤلف: Mihai Dan Nadas وآخرون | المجلة: IEEE Access | المجال: الذكاء الاصطناعي (Artificial Intelligence)تستعرض هذه الدراسة الدور التحويلي لنماذج اللغة الكبيرة (LLMs) في توليد بيانات تدريب اصطناعية لمهام اللغة الطبيعية والبرمجة. من خلال إنتاج أمثلة اصطناعية ذات صلة بالمهمة، يمكن لنماذج اللغة الكبيرة أن تكمل أو تحل محل مجموعات البيانات الواقعية بشكل فعال، خاصة في السياقات التي تكون فيها البيانات المعلّمة محدودة أو مكلفة. يبرز البحث تقنيات رئيسية…
-
مؤشر أويلر سومبور للأشجار، الرسوم البيانية أحادية الدورة والرسوم البيانية الكيميائية
2025 | المؤلف: Biswaranjan Khanra وآخرون | المجلة: match Communications in Mathematical and in Computer Chemistry | المجال: الهندسة والطوبولوجيا (Geometry and Topology)في دراستهم الأخيرة، استكشف تانغ وآخرون القابلية الكيميائية لمؤشر أويلر سومبور كمؤشر جزيئي، موضحين ارتباطه القوي بخصائص متساويات الأوكتان. يتم تعريف مؤشر أويلر سومبور لرسم بياني بسيط \( G \) بناءً على قرب الرؤوس \( a \) و \( b \)، ودرجة \( d_a \) للرأس \( a \) في \( G \). حدد المؤلفون…
-
تحسين مؤشر أويلر-سومبور للرسوم البيانية ثلاثية الحلقات (الجزيئية)
2025 | المؤلف: Abeer M. Albalahi وآخرون | المجلة: match Communications in Mathematical and in Computer Chemistry | المجال: الهندسة والطوبولوجيا (Geometry and Topology)تناقش هذه القسم خصائص الرسوم البيانية الجزيئية، وبالتحديد تلك التي لها درجة قصوى تبلغ 4، وتعرف الرسم البياني ثلاثي الدورات على أنه رسم بياني متصل من الرتبة \( n \) والحجم \( n + 2 \). يؤكد المؤلفون أن النتائج الرئيسية من دراسة حديثة أجراها ج. أ. كيزيليرماك يمكن اشتقاقها باستخدام النتائج المعروفة في هذا…
-
مواجهة مخاطر الحياة المرآة
2024 | المؤلف: Katarzyna P. Adamala وآخرون | المجلة: Science | المجال: الاقتصاد والاقتصاد القياسي (Economics and Econometrics)يستكشف قسم النقاش في الورقة الوجود النظري والآثار المحتملة لـ “البكتيريا المرآة”، الكائنات التي تتمتع بيدوية معكوسة مقارنةً بأشكال الحياة المعروفة. بينما يمكن أن تعيش البكتيريا المرآة نظريًا وتتكاثر، يُعتبر ظهورها من الحياة الموجودة أمرًا مستحيلًا بسبب الطبيعة التدريجية للعمليات التطورية. يبرز المؤلفون التقدم في علم الأحياء الاصطناعي الذي قد يمكّن من إنشاء كائنات مرآة…
-
النسخة 1 من شبكة التنسور بايثون (TeNPy)
2024 | المؤلف: Johannes Hauschild وآخرون | المجلة: SciPost Physics Codebases | المجال: الفيزياء الذرية والجزيئية والبصريات (Atomic and Molecular Physics, and Optics)TeNPy، والتي تعني “Tensor Network Python”، هي مكتبة بايثون مصممة لمحاكاة الأنظمة الكمومية المرتبطة بشدة باستخدام الشبكات التنسورية. تهدف المكتبة إلى تحقيق توازن بين سهولة الوصول للمبتدئين وتوفير خوارزميات متقدمة للمستخدمين ذوي الخبرة. تركز بشكل أساسي على خوارزميات حالة المنتج المصفوفي (MPS) القابلة للتطبيق على الشبكات أحادية البعد (1D) وثنائية البعد (2D)، مما يسهل تقنيات…
-
التمدد غير المتساوي لحل كوهلر-تشاو-تيكيكار الكوني مع عامل تعقيد مشابه لعامل وايمان IIa
2024 | المؤلف: B. Siza وآخرون | المجلة: The European Physical Journal C | المجال: علم الفلك والفيزياء الفلكية (Astronomy and Astrophysics)في هذه الدراسة، تم تطوير نموذج جديد للأجسام النجمية المدمجة، مع التركيز على تأثيرات الضغط غير المتساوي ضمن إطار فك الارتباط الجاذبي من خلال تشوه هندسي بسيط. يعتمد النموذج على الحل الكوني المعروف لكوهلر-تشاو-تيككار، ولإغلاق معادلات حقل أينشتاين بشكل فعال، يتم استخدام عامل تعقيد عام للكرات ذات الجاذبية الذاتية، يتم تطبيقه بشكل خاص على حل…
-
أداة التحليل الإحصائي CMS ودمج البيانات: دمج
2024 | المؤلف: A. Hayrapetyan وآخرون | المجلة: Computing and Software for Big Science | المجال: الفيزياء النووية وطاقات عالية (Nuclear and High Energy Physics)تحدد هذه القسم حزمة البرمجيات Combine المستخدمة في التحليلات الإحصائية من قبل تعاون CMS، والتي تم تطويرها في البداية للبحث عن بوزون هيغز وتحليلاتها المجمعة. مع مرور الوقت، أصبحت Combine الأداة الإحصائية الرئيسية لمجموعة واسعة من القياسات والبحث ضمن تعاون CMS، بينما يمكن استخدامها أيضًا من قبل مستخدمين خارج هذه التجربة المحددة. تعمل الورقة كمصدر…
-
الروبوتات المتنقلة المستقلة في الكيمياء الاصطناعية الاستكشافية
2024 | المؤلف: Tianwei Dai وآخرون | المجلة: Nature | المجال: الهندسة الطبية الحيوية (Biomedical Engineering)تقدم هذه البحث منصة مستقلة معيارية مصممة للكيمياء الاصطناعية الاستكشافية، تستخدم الروبوتات المتنقلة لدمج أدوات التخليق والتحليل المختلفة، بما في ذلك منصة تخليق Chemspeed ISynth، والكروماتوغرافيا السائلة عالية الأداء-مطياف الكتلة (UPLC-MS)، ومطيافية الرنين المغناطيسي النووي على الطاولة. على عكس سير العمل السابقة التي كانت محدودة بأنواع معينة من الكيمياء ومخرجات تحليلية بسيطة، تتيح هذه المنصة…
