Suchergebnisse - Hybrid Semantics of Programming Languages

Extension of Declarative Semantics for the Constraint-based Hybrid System Modeling Language HydLa / 制約に基づくハイブリッドシステムモデリング言語HydLaの宣言的意味論の拡張

Autoren: Kazunori UEDA Yunosuke YAMADA 上田 和紀 et al.

Quelle: Proceedings of the Annual Conference of JSAI. 2020, :2

Context-Aware Scoring: A Hybrid Approach to Evaluating Descriptive Responses.

Autoren: S., Babu Umamaheswari, T. S. Parameswari, P.

Quelle: Cuestiones de Fisioterapia; 2025, Vol. 54 Issue 4, p7495-7504, 10p

Schlagwörter: NATURAL language processing, OPTICAL character recognition, LANGUAGE models, PROGRAMMING languages, MACHINE learning

A Semantic Account of Rigorous Simulation

Autoren: Duracz, Adam Moggi, Eugenio Taha, Walid et al.

Quelle: Principles of Modeling Lecture Notes In Computer Science. :223-239

Schlagwörter: Correctness, Programming languages, Reachability analysis, Computer programming languages, Embedded systems, Hybrid systems, Semantics, Simulators, Denotational semantics, General method, Non Determinism, Operational semantics, Rigorous simulation, Safety property, Uncertainty analysis

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-38736

Declarative probabilistic logic programming in discrete-continuous domains

Autoren: Zuidberg dos Martires, Pedro De Raedt, Luc Kimmig, Angelika

Quelle: Artificial Intelligence. 337

Schlagwörter: Probabilistic programming, Declarative semantics, Discrete-continuous distributions, Likelihood weighting, Logic programming, Knowledge compilation, Algebraic model counting

Dateibeschreibung: print

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-116987
https://doi.org/10.1016/j.artint.2024.104227

Adding uncertainty to real-time programming

Autoren: Carvalho, Rui Carlos Azevedo Neves, Renato Jorge Araújo Universidade do Minho

Weitere Verfasser: Carvalho, Rui Carlos Azevedo Neves, Renato Jorge Araújo Universidade do Minho

Quelle: urn:tid:203561775

Schlagwörter: Formal methods, Hybrid systems, Cyber-physical systems, Theory of Programming Languages, Functional programming, Métodos formais, Sistemas híbridos, Sistemas ciber-físicos, Teoria das Linguagens de Programação, Programação funcional

Dateibeschreibung: application/pdf

Verfügbarkeit: https://hdl.handle.net/1822/91568

Natural Language Programming for Controlled Object-Oriented English

Autoren: Zhan, Yue

Thesis Advisors: Electrical and Computer Engineering, Hsiao, Michael S., Min, Chang Woo, Huang, Bert, Zeng, Haibo, Schaumont, Patrick Robert

Schlagwörter: Natural language programming, Natural language processing, Semantic extraction, Multi-label classification, LEGO Mindstorm EV3

Dateibeschreibung: ETD; application/pdf

Verfügbarkeit: http://hdl.handle.net/10919/111208

HYBRID CODE COMBINING IMPERATIVE PROGRAMMING LANGUAGES WITH DECLARATIVE DATABASE OPERATIONS TO ACCOMPLISH ITERATIVE LOGIC

Hybrid Semantics for Stochastic π-Calculus

Autoren: BORTOLUSSI, LUCA POLICRITI A. Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz and Hiroshi Yoshida et al.

Weitere Verfasser: BORTOLUSSI, LUCA POLICRITI A. Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz and Hiroshi Yoshida et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783540851004

Schlagwörter: Stochastic pi-calculu, Hybrid Semantics of Programming Languages, Stochastic pi-calculus, Hybrid Systems, Hybrid System

Dateibeschreibung: STAMPA; application/pdf

Zugangs-URL: http://www.dmi.units.it/~bortolu/files/conferences/bortolussi-policriti-HybridPI-final.pdf
http://hdl.handle.net/11368/1847321
http://www.springerlink.com/content/w30825q00815t203/
https://rd.springer.com/chapter/10.1007/978-3-540-85101-1_4
https://www.dmi.units.it/~bortolu/files/conferences/bortolussi-policriti-HybridPI-final.pdf
https://dblp.uni-trier.de/db/conf/ab/ab2008.html#BortolussiP08
http://www.dmi.units.it/~bortolu/files/conferences/bortolussi-policriti-HybridPI-final.pdf
https://link.springer.com/content/pdf/10.1007/978-3-540-85101-1_4.pdf
https://link.springer.com/chapter/10.1007%2F978-3-540-85101-1_4
https://hdl.handle.net/11390/691472

The Shift Programming Language And Run-time System For Dynamic Networks Of Hybrid Automata

Autoren: Deshpande, Akash Gollu, Aleks Semenzato, Luigi

Schlagwörter: SHIFT (Computer program language), Automobiles--Automatic control, Express highways--Automation

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/8hm0252h
https://escholarship.org/content/qt8hm0252h/qt8hm0252h.pdf

A LLM-Based Hybrid-Transformer Diagnosis System in Healthcare.

Autoren: Wu D Nie L Mumtaz RA et al.

Quelle: IEEE journal of biomedical and health informatics [IEEE J Biomed Health Inform] 2025 Sep; Vol. 29 (9), pp. 6428-6439.

Publikationsart: Journal Article

Info zur Zeitschrift: Publisher: Institute of Electrical and Electronics Engineers Country of Publication: United States NLM ID: 101604520 Publication Model: Print Cited Medium: Internet ISSN: 2168-2208 (Electronic) Linking ISSN: 21682194 NLM ISO Abbreviation: IEEE J Biomed Health Inform Subsets: MEDLINE

MeSH-Schlagworte: Image Interpretation, Computer-Assisted*/methods , Neural Networks, Computer* , Programming Languages*, Humans ; Algorithms

Pharmacometrics in the Age of Large Language Models: A Vision of the Future.

Autoren: Tosca, Elena Maria Aiello, Ludovica De Carlo, Alessandro et al.

Quelle: Pharmaceutics; Oct2025, Vol. 17 Issue 10, p1274, 26p

Schlagwörter: LANGUAGE models, ARTIFICIAL intelligence, PREDICTION models, DIGITAL twin, PHARMACOLOGY, ELECTRONIC data processing, DRUG development

On the effectiveness of hybrid pooling in mixup-based graph learning for language processing.

Autoren: Dong, Zeming Hu, Qiang Zhang, Zhenya et al.

Quelle: Journal of Systems & Software. Oct2024, Vol. 216, pN.PAG-N.PAG. 1p.

Schlagwörter: *NATURAL language processing, *PROGRAMMING languages, GRAPH neural networks, DATA augmentation, BLENDED learning

Conditional Independence by Typing.

Autoren: GORINOVA, MARIA I. GORDON, ANDREW D. SUTTON, CHARLES et al.

Quelle: ACM Transactions on Programming Languages & Systems. 2022, Vol. 44 Issue 1, p1-54. 54p.

Schlagwörter: *PROGRAMMING languages, GOAL programming, HYBRID systems

Machine Learning Meets Language Learning: The Transformative Potential of Artificial Intelligence in English Language Instruction.

Autoren: Praveena T. Anupama K.

Quelle: Human Research in Rehabilitation; Apr2025, Vol. 15 Issue 1, p133-144, 12p

Schlagwörter: NATURAL language processing, ARTIFICIAL intelligence, MACHINE learning, PROGRAMMING languages, TRANSFORMATIVE learning

Stochastic Programs and Hybrid Automata for (Biological) Modeling

Autoren: BORTOLUSSI, LUCA POLICRITI A. Klaus Ambos-Spies and Benedikt Lowe and Wolfgang Merkle et al.

Weitere Verfasser: BORTOLUSSI, LUCA POLICRITI A. Klaus Ambos-Spies and Benedikt Lowe and Wolfgang Merkle et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783642030727

Schlagwörter: Stochastic Concurrent Constraint Programming, Hybrid Automata, Hybrid Semantics of Programming Languages

Dateibeschreibung: STAMPA; application/pdf

Zugangs-URL: http://www.dmi.units.it/%7Ebortolu/files/reps/BortolussiPolicriti-HybridSCCPlatticeExtended.pdf
http://www.springerlink.com/content/026g745267581425/
http://hdl.handle.net/11368/2287700
https://rd.springer.com/chapter/10.1007%2F978-3-642-03073-4_5
https://link.springer.com/chapter/10.1007%2F978-3-642-03073-4_5
https://core.ac.uk/display/53717379
https://link.springer.com/content/pdf/10.1007%2F978-3-642-03073-4_5.pdf
https://www.dmi.units.it/~bortolu/files/reps/BortolussiPolicriti-HybridSCCPlatticeExtended.pdf
https://dblp.uni-trier.de/db/conf/cie/cie2009.html#BortolussiP09

Implementing Hybrid Semantics: From Functional to Imperative

Autoren: Goncharov, Sergey Neves, Renato Proenca, José et al.

Weitere Verfasser: Goncharov, Sergey Neves, Renato Proenca, José et al.

Dateibeschreibung: application/pdf

Relation: 978-3-030-64276-1

Verfügbarkeit: http://hdl.handle.net/10400.22/16554

Natural language processing in veterinary pathology: A review.

Autoren: Stimmer, Lev Kuiper, Raoul V. Polledo, Laura et al.

Quelle: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.

Towards Constructive Hybrid Semantics

Autoren: Diezel, Tim Lukas Goncharov, Sergey

Index Begriffe: Hybrid semantics, Elgot iteration, Homotopy type theory, Agda, Data processing Computer science, InProceedings, publishedVersion

Overcoming Heterogeneity in Business Process Modeling with Rule-Based Semantic Mappings.

Autoren: Prackwieser, Christoph Buchmann, Robert Grossmann, Wilfried et al.

Quelle: International Journal of Software Engineering & Knowledge Engineering. Oct2014, Vol. 24 Issue 8, p1131-1158. 28p.

Schlagwörter: *PROGRAMMING languages, *INFORMATION sharing, RULE-based programming, SEMANTICS, MATHEMATICAL mappings, COMPUTER simulation

Operational semantics of hybrid systems

Autoren: Lee, E A Zheng, H Y

Quelle: Hybrid Systems: Computation and Control. 3414

Dateibeschreibung: application/pdf

Zugangs-URL: https://escholarship.org/uc/item/0k92q75p
https://escholarship.org/content/qt0k92q75p/qt0k92q75p.pdf