Gotowe bibliografie tematyczne / Typage bidirectionnel

Spis treści

Artykuły w czasopismach
Rozprawy doktorskie
Książki
Części książek
Streszczenia konferencji
Raporty organizacyjne

Gotowa bibliografia na temat „Typage bidirectionnel”

Autor: Grafiati

Data publikacji: 26 października 2024

Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Typage bidirectionnel”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Typage bidirectionnel"

Dunfield, Jana, and Neel Krishnaswami. "Bidirectional Typing." ACM Computing Surveys 54, no. 5 (2021): 1–38. http://dx.doi.org/10.1145/3450952.

Pełny tekst źródła

Streszczenie:

Bidirectional typing combines two modes of typing: type checking, which checks that a program satisfies a known type, and type synthesis, which determines a type from the program. Using checking enables bidirectional typing to support features for which inference is undecidable; using synthesis enables bidirectional typing to avoid the large annotation burden of explicitly typed languages. In addition, bidirectional typing improves error locality. We highlight the design principles that underlie bidirectional type systems, survey the development of bidirectional typing from the prehistoric per

Style APA, Harvard, Vancouver, ISO itp.

Wang, X., Y. X. Li, and Y. Liu. "Bidirectional solidification of radial-type porous magnesium." International Journal of Cast Metals Research 22, no. 1-4 (2009): 200–203. http://dx.doi.org/10.1179/136404609x367713.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Khodabakhshian, Mina, Ehsan Adib, and Hosein Farzanehfard. "Forward‐type resonant bidirectional DC–DC converter." IET Power Electronics 9, no. 8 (2016): 1753–60. http://dx.doi.org/10.1049/iet-pel.2015.0975.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Khedker, Uday P., Dhananjay M. Dhamdhere, and Alan Mycroft. "Bidirectional data flow analysis for type inferencing." Computer Languages, Systems & Structures 29, no. 1-2 (2003): 15–44. http://dx.doi.org/10.1016/s1477-8424(03)00012-5.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Tseng, Hsu-Ting, and Jiann-Fuh Chen. "Bidirectional impedance-type transformer inrush current limiter." Electric Power Systems Research 104 (November 2013): 193–206. http://dx.doi.org/10.1016/j.epsr.2013.06.007.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Lovas, William, and Frank Pfenning. "A Bidirectional Refinement Type System for LF." Electronic Notes in Theoretical Computer Science 196 (January 2008): 113–28. http://dx.doi.org/10.1016/j.entcs.2007.09.021.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Rajeev, Bhardwaj, Mittal Saurav, and Pruthi Taniya. "ECG Diagnosis Bidirectional Ventricular Tachycardia." Journal of Cardiovascular Medicine and Cardiology 12, no. 2 (2025): 015–16. https://doi.org/10.17352/2455-2976.000221.

Pełny tekst źródła

Streszczenie:

Bidirectional Ventricular Tachycardia (BVT) is a rare type of Ventricular Tachycardia (VT) and shows the beat-to-beat variation of the QRS axis and has high risk of sudden cardiac death. We present one such case, admitted during COVID epidemic.

Style APA, Harvard, Vancouver, ISO itp.

Wang, Zhenkun, Xianjin Su, Nianyin Zeng, and Jiahui Jiang. "Overview of Isolated Bidirectional DC–DC Converter Topology and Switching Strategies for Electric Vehicle Applications." Energies 17, no. 10 (2024): 2434. http://dx.doi.org/10.3390/en17102434.

Pełny tekst źródła

Streszczenie:

Isolated bidirectional DC–DC converters are becoming increasingly important in various applications, particularly in the electric vehicle sector, due to their ability to achieve bidirectional power flow and their safety features. This paper aims to review the switch strategies and topologies of isolated bidirectional DC–DC converters, with a specific focus on their applications in the field of electric vehicles. From the perspective of topology, PWM-type isolated bidirectional DC–DC converters, dual active bridge converters, and resonant-type isolated bidirectional DC–DC converters constitute

Style APA, Harvard, Vancouver, ISO itp.

Jordis, Ulrich, Matthias Treu, and Stefan Welzig. "Bidirectional Conversion of Galanthamine and Crinine Type Heterocycles." HETEROCYCLES 55, no. 12 (2001): 2397. http://dx.doi.org/10.3987/com-01-9332.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Chen, K. "Design of a Plane-Type Bidirectional Thermal Diode." Journal of Solar Energy Engineering 110, no. 4 (1988): 299–305. http://dx.doi.org/10.1115/1.3268271.

Pełny tekst źródła

Streszczenie:

The design of a plane-type, bidirectional thermal diode is presented. This diode is composed of two vertical plates and several fluid-filled loops with their horizontal segments soldered to the vertical plates. This invention is simple in construction and low in cost. The direction of heat transfer in the invented thermal diode can be easily reversed. These features of the present invention make it very attractive to solar energy utilization. Natural convection analysis for thermosyphon operations was adopted for heat transfer calculations of the fluid-filled loops. A one-dimensional heat tran

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Rozprawy doktorskie na temat "Typage bidirectionnel"

Felicissimo, Thiago. "Generic bidirectional typing in a logical framework for dependent type theories." Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASG049.

Pełny tekst źródła

Streszczenie:

Les théories des types dépendants sont des systèmes formels qui peuvent être utilisés à la fois comme langages de programmation et pour la formalisation des mathématiques, et constituent la base de plusieurs assistants de preuve tels que Coq et Agda. Afin d'unifier leur étude, les Logical Frameworks (LFs) fournissent un méta-langage unifié permettant de définir ces théories, dans lequel diverses notions universelles sont intégrées par défaut et où des méta-théorèmes génériques peuvent être prouvés. Cette thèse se concentre sur les LFs conçus pour être implémentés, avec pour objectif de fournir

Style APA, Harvard, Vancouver, ISO itp.

Laverdure, Sylvain. "Régulation de la transcription bidirectionnelle chez le Virus de l'Immunodéficience Humaine de type 1." Thesis, Montpellier 1, 2012. http://www.theses.fr/2012MON13514/document.

Pełny tekst źródła

Streszczenie:

Le génome des rétrovirus existe sous deux formes différentes : sous forme d'ARN simple brin, qui est traduit ou encapsidé, ou sous forme d'ADN double brin intégré dans le génome de la cellule hôte infectée. Cette dernière forme, l'ADN proviral, est indispensable à la production de tous les ARNm viraux nécessaires à la synthèse des protéines virales, qui en retour agissent sur la région promotrice située au niveau du LTR 5'. Cependant, l'ADN proviral possède un second LTR à son extrémité 3', capable de réguler une transcription antisens, orientée dans la direction opposée à celle contrôlée par

Style APA, Harvard, Vancouver, ISO itp.

Adami, Jean-Nicolas. "Comportement en fluage uniaxial sous vide d'un composite à matrice céramique bidirectional Al₂O₃-SiC /." Zürich, 1992. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=9768.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Girard, Pauline. "Pathophysiologie des pDCs et des Lymphocytes Tγδ en contexte de mélanome, et potentiel de leur interaction pour le développement de nouvelles thérapies The features of circulating and tumor-infiltrating gdT cells in melanoma patients display critical perturbations with prognostic impact on clinical outcome Potent Bidirectional Cross-Talk Between Plasmacytoid Dendritic Cells and γδT Cells Through BTN3A, Type I/II IFNs and Immune Checkpoints". Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALV042.

Pełny tekst źródła

Streszczenie:

.Les pDCs et Tγδ ont des rôles cruciaux dans l’initiation et l’orientation des réponses immunitaires. Leurs fonctions uniques, leur grande plasticité et leur capacité d’interagir avec de nombreux acteurs immunitaires leur permettent de créer un lien entre l’immunité innée et l’immunité adaptative. Elles contribuent donc grandement aux réponses immunitaires protectrices et pathogéniques, et sont de ce fait très prometteuses pour le développement d’immunothérapies anti-tumorales, autant en tant que vecteurs que cibles. Cependant, les lymphocytes Tγδ n’ont pas été étudiés de manière approfondie e

Style APA, Harvard, Vancouver, ISO itp.

LEE, WU-DONG, and 李文棟. "USB Type-C Bidirectional Fast Charge Power Bank Based on Arduino." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/5yzu7a.

Pełny tekst źródła

Streszczenie:

碩士 輔仁大學 電機工程學系碩士在職專班 106 This paper proposes a method of USB Type-C bidirectional fast charge power bank based on Arduino design architecture, where the Type-C port provides max 15 W (5V3A) for mobile device. The hardware architecture will apply an Arduino Pro_Micro microcontroller. It controls type-C detection chip and buck-boost power management chip for charging 5V3A and discharging 5V3A of lithium-ion battery. It can be applied on many products with USB type-C interface, such as mobile phones, tablet and other smart devices. The application will have the fast charging effect fo

Style APA, Harvard, Vancouver, ISO itp.

Su, Bo-An, and 蘇柏安. "The study of An Auxiliary Slider with Bidirectional Stiffness and Integrated type for Antifriction Guideways." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/6xnz58.

Pełny tekst źródła

Streszczenie:

碩士 國立臺北科技大學 機械工程系機電整合碩士班 106 Machine tools are in great demand and helpful in the machinery industry.Machinability of machine tools depends on accuracy and mechanical efficiency. In order to increase the weak stiffness of the structure, we have developed a non-linear auxiliary slider for rolling linear guides (Slider I). This slider has applied for a US patent. This laboratory has developed auxiliary (Slider V) to increase the rigidity of Y axis and Z axis. In this study, it was found that the combined auxiliary sliders may also be too costly to produce. Developed an integrated bia

Style APA, Harvard, Vancouver, ISO itp.

Wang, Jen-Chih, and 王仁池. "Design and Implementation of a Bidirectional Converter Using Interval Type-2 T-S Fuzzy Control Systems." Thesis, 2015. http://ndltd.ncl.edu.tw/handle/3s6f8t.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

CHU, CHENG-TAI, and 朱承泰. "Design and Implementation of Three-Phase Bidirectional Inverter Based on Interval Type-2 Polynomial Fuzzy Control Systems." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/b34vb4.

Pełny tekst źródła

Streszczenie:

碩士 國立中正大學 電機工程研究所 106 A three-phase bidirectional inverter based on interval type-2 polynomial fuzzy control systems is designed and implemented in this thesis. The microcontroller Renesas RX62T is implemented as the system core. The systems parameters are feedbacked to the interval type-2 polynomial fuzzy controller via peripheral circuits and analog-to-digital converter (ADC). After calculations, the duty ratios of power switches in corresponding interval are obtained. This system can be operated in grid-connected mode and rectification mode. In this thesis, the state equation of

Style APA, Harvard, Vancouver, ISO itp.

Lai, Chang-Chih, and 賴長志. "Design and Implementation of a Single-Phase Bidirectional Inverter Using Interval Type-2 T-S Fuzzy Control Systems." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/16225396322494377786.

Pełny tekst źródła

Streszczenie:

碩士 國立中正大學 電機工程研究所 104 In this thesis, the interval type-2 (IT2) Takagi-Sugeno (T-S) fuzzy control system is applied to a 2kW single-phase bidirectional inverter, which operates on grid-connection mode and rectification mode. At first, the state-space equation of the single phase bidirectional inverter is derived, and an integrator is added to the IT2 T-S fuzzy control system. The state variable of the integration of error is added to the state-space model. The fuzzy membership functions of the premise variable represent the interval type-2 fuzzy set, and formulate the IT2 T-S fuzzy

Style APA, Harvard, Vancouver, ISO itp.

CHIANG, YA-HSUAN, and 蔣亞軒. "Design and Implementation of a Bidirectional Converter Using Interval Type-2 Robust Polynomial Fuzzy Systems with Time-Delay Dependent." Thesis, 2017. http://ndltd.ncl.edu.tw/handle/36kx76.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Książki na temat "Typage bidirectionnel"

Ismail, Khalida, Calum D. Moulton, Andrea Danese, and Brenda W. Penninx. A life course approach to understanding the association between depression and type 2 diabetes. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780198789284.003.0002.

Pełny tekst źródła

Streszczenie:

The relationship between depression and type 2 diabetes is bidirectional and poorly explained by behavioural factors alone. Chronic activation of the innate immune system provides a promising mechanism by which both conditions could develop concurrently across the life course. Genetically, overlap between depression and type 2 diabetes has been reported by twin studies, although not yet at the genome-wide significance level. In utero, activation of inflammatory processes may impact on neurodevelopment of appetite and mood regulation. In early childhood, prolonged adversity is associated with s

Style APA, Harvard, Vancouver, ISO itp.

Moulton, Calum D. Novel pharmacological targets. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780198789284.003.0013.

Pełny tekst źródła

Streszczenie:

There is a bidirectional relationship between depression and type 2 diabetes (T2D). Patients with comorbid depression and T2D are at high risk of complications and premature mortality. Conventional treatments for depression do not consistently improve diabetes outcomes, despite improving depressive symptoms. Shared mechanisms may underpin both depression and T2D, providing novel pharmacological targets to treat both conditions simultaneously. There are several candidate pathways. For inflammation and vitamin D deficiency, there is good cross-sectional evidence to support an association with de

Style APA, Harvard, Vancouver, ISO itp.

Części książek na temat "Typage bidirectionnel"

Yu, Wen, and Satyam Paul. "Type-2 Fuzzy PD/PID Control of Structures." In Active Control of Bidirectional Structural Vibration. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-46650-3_4.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Felicissimo, Thiago. "Artifact report: Generic bidirectional typing for dependent type theories." In Programming Languages and Systems. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57262-3_7.

Pełny tekst źródła

Streszczenie:

AbstractWe report on the implementation of a generic bidirectional algorithm for dependent type theories, following the proposal of the paper "Generic bidirectional typing for dependent type theories".

Style APA, Harvard, Vancouver, ISO itp.

Felicissimo, Thiago. "Generic bidirectional typing for dependent type theories." In Programming Languages and Systems. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57262-3_6.

Pełny tekst źródła

Streszczenie:

AbstractBidirectional typing is a discipline in which the typing judgment is decomposed explicitly into inference and checking modes, allowing to control the flow of type information in typing rules and to specify algorithmically how they should be used. Bidirectional typing has been fruitfully studied and bidirectional systems have been developed for many type theories. However, the formal development of bidirectional typing has until now been kept confined to specific theories, with general guidelines remaining informal. In this work, we give a generic account of bidirectional typing for a g

Style APA, Harvard, Vancouver, ISO itp.

Chen, Liang-Ting, and Hsiang-Shang Ko. "A Formal Treatment of Bidirectional Typing." In Programming Languages and Systems. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57262-3_5.

Pełny tekst źródła

Streszczenie:

AbstractThere has been much progress in designing bidirectional type systems and associated type synthesis algorithms, but mainly on a case-by-case basis. To remedy the situation, this paper develops a general and formal theory of bidirectional typing for simply typed languages: for every signature that specifies a mode-correct bidirectionally typed language, there exists a proof-relevant type synthesiser which, given an input abstract syntax tree, constructs a typing derivation if any, gives its refutation if not, or reports that the input does not have enough type annotations. Sufficient con

Style APA, Harvard, Vancouver, ISO itp.

Zhao, Shijie, Long Fang, Lin Wu, Yang Yang, and Junwei Han. "Decoding Task Sub-type States with Group Deep Bidirectional Recurrent Neural Network." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2022. http://dx.doi.org/10.1007/978-3-031-16431-6_23.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Fujita, Toshio. "Substituent Effects in the Partition Coefficient of Disubstituted Benzenes: Bidirectional Hammett-Type Relationships." In Progress in Physical Organic Chemistry. John Wiley & Sons, Inc., 2007. http://dx.doi.org/10.1002/9780470171936.ch2.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Gay, Simon J., Diogo Poças, and Vasco T. Vasconcelos. "The Different Shades of Infinite Session Types." In Lecture Notes in Computer Science. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99253-8_18.

Pełny tekst źródła

Streszczenie:

AbstractMany type systems include infinite types. In session type systems, infinite types are important because they specify communication protocols that are unbounded in time. Usually infinite session types are introduced as simple finite-state expressions "Equation missing" or by non-parametric equational definitions "Equation missing". Alternatively, some systems of label- or value-dependent session types go beyond simple recursive types. However, leaving dependent types aside, there is a much richer world of infinite session types, ranging through various forms of parametric equational def

Style APA, Harvard, Vancouver, ISO itp.

Lakhani, Zeeshan, Ankush Das, Henry DeYoung, Andreia Mordido, and Frank Pfenning. "Polarized Subtyping." In Programming Languages and Systems. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99336-8_16.

Pełny tekst źródła

Streszczenie:

AbstractPolarization of types in call-by-push-value naturally leads to the separation of inductively defined observable values (classified by positive types), and coinductively defined computations (classified by negative types), with adjoint modalities mediating between them. Taking this separation as a starting point, we develop a semantic characterization of typing with step indexing to capture observation depth of recursive computations. This semantics justifies a rich set of subtyping rules for an equirecursive variant of call-by-push-value, including variant and lazy records. We further

Style APA, Harvard, Vancouver, ISO itp.

Kao, Yonggui, Cunchen Gao, Lu Wu, and Qinghe Ming. "Global Stability of Bidirectional Associative Memory Neural Networks with Variable Coefficients and S-Type Distributed Delays." In Neural Information Processing. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11893028_67.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Stamov, Gani, Stanislav Simeonov, and Ivan Torlakov. "Software Analysis of Bidirectional Associative Memory (BAM) Cohen–Grossberg-Type Impulsive Neural Networks with Time-Varying Delays." In Proceedings of Seventh International Congress on Information and Communication Technology. Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-2397-5_34.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Typage bidirectionnel"

Xu, Tianxiang, Chunxia Zhang, Xiaoyu Jin, and Na Li. "Triple extraction based on meta-type prompt learning and bidirectional relation complementary attention." In Seventh International Conference on Advanced Electronic Materials, Computers, and Software Engineering (AEMCSE 2024), edited by Lvqing Yang. SPIE, 2024. http://dx.doi.org/10.1117/12.3038202.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Aratani, Ryota, Yuki Shimizu, and Yoshitaka Kawabata. "Bidirectional SP-Type Wireless Power Transfer System Based on Parity-Time Symmetry Condition." In 2024 27th International Conference on Electrical Machines and Systems (ICEMS). IEEE, 2024. https://doi.org/10.23919/icems60997.2024.10920916.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Xiao, Jing, Shaonan Chen, Xiaorui Wu, Yuhong Mo, Quan Liu, and Yun Wen. "Control strategy of bidirectional wireless charging system based on T-type three-level." In 2024 IEEE 6th International Conference on Civil Aviation Safety and Information Technology (ICCASIT). IEEE, 2024. https://doi.org/10.1109/iccasit62299.2024.10828124.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Rao, Alugula Damodar, K. Sudheer Kumar, Ramya Srikanteswara, Muntather Almusawi, and A. H. A. Hussein. "Attention Gate with Bidirectional Long Short-Memory for Crop Type Classification Using Multi-Spectral Satellite Images." In 2024 International Conference on Intelligent Algorithms for Computational Intelligence Systems (IACIS). IEEE, 2024. http://dx.doi.org/10.1109/iacis61494.2024.10721655.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Pandey, Nilesh, Piyush Kant, and Sunil Kumar Dube. "A Modified T-Type Based Single-Stage 3-Level Isolated Bidirectional Off-Board Charger for Electric Vehicles." In 2024 IEEE International Conference on Power Electronics, Drives and Energy Systems (PEDES). IEEE, 2024. https://doi.org/10.1109/pedes61459.2024.10960921.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Nguyen, Danh-Nam, The-Tiep Pham, Trong-Nha Quang, and Duy-Dinh Nguyen. "Design of a Planar Transformer for Bidirectional Resonant Type Converters in On-Board Charger Applications: A Methodological Approach." In 2024 Tenth International Conference on Communications and Electronics (ICCE). IEEE, 2024. http://dx.doi.org/10.1109/icce62051.2024.10634698.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Barzegarkhoo, Reza, A. Kirubakaran, Thiago Pereira, Marco Liserre, and Yam P. Siwakoti. "Improved T-Type and ANPC Multilevel Converters by Means of GaN-Based T-Cell Branch and Bidirectional Device." In IECON 2024 - 50th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 2024. https://doi.org/10.1109/iecon55916.2024.10905943.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Komurcugil, Hasan, Naki Guler, Sertac Bayhan, and Seyfullah Dedeoglu. "Adaptive Rate Reaching Law Based Sliding Mode Control for a Three-Phase F-type Converter Operated as Bidirectional Battery Charger and SAPF." In IECON 2024 - 50th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 2024. https://doi.org/10.1109/iecon55916.2024.10905605.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Pauwels, Koen, Georgios Karachalias, Michiel Derhaeg, and Tom Schrijvers. "Bidirectional type class instances." In the 12th ACM SIGPLAN International Symposium. ACM Press, 2019. http://dx.doi.org/10.1145/3331545.3342596.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Chlipala, Adam, Leaf Petersen, and Robert Harper. "Strict bidirectional type checking." In the 2005 ACM SIGPLAN international workshop. ACM Press, 2005. http://dx.doi.org/10.1145/1040294.1040301.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Typage bidirectionnel"

Letcher, Theodore, Julie Parno, Zoe Courville, Lauren Farnsworth, and Jason Olivier. A generalized photon-tracking approach to simulate spectral snow albedo and transmittance using X-ray microtomography and geometric optics. Engineer Research and Development Center (U.S.), 2023. http://dx.doi.org/10.21079/11681/47122.

Pełny tekst źródła

Streszczenie:

A majority of snow radiative transfer models (RTMs) treat snow as a collection of idealized grains rather than an organized ice–air matrix. Here we present a generalized multi-layer photon-tracking RTM that simulates light reflectance and transmittance of snow based on X-ray micro- tomography images, treating snow as a coherent 3D structure rather than a collection of grains. The model uses a blended approach to expand ray-tracing techniques applied to sub-1 cm3 snow samples to snowpacks of arbitrary depths. While this framework has many potential applications, this study’s effort is focused o

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!