المؤلفون: Fredrik Ronquist, Jan Kudlicka, Viktor Senderov, Johannes Borgström, Nicolas Lartillot, Daniel Lundén, Lawrence Murray, Thomas B. Schön, David Broman

المصدر: Communications Biology, Vol 4, Iss 1, Pp 1-10 (2021)

مصطلحات موضوعية: Biology (General), QH301-705.5

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2399-3642

URL الوصول: https://doaj.org/article/0a808ed6a3994f02bf81be5ca5928f5e

المؤلفون: Fredrik Ronquist, Jan Kudlicka, Viktor Senderov, Johannes Borgström, Nicolas Lartillot, Daniel Lundén, Lawrence Murray, Thomas B. Schön, David Broman

المصدر: Communications Biology, Vol 4, Iss 1, Pp 1-1 (2021)

مصطلحات موضوعية: Biology (General), QH301-705.5

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2399-3642

URL الوصول: https://doaj.org/article/c21a6d10635a4f9dab0d6ca955ad3069

المؤلفون: Daniel Lundén, Johannes Borgström, David Broman

المساهمون: Kompetenzzentrum für nicht-textuelle Materialien

مصطلحات موضوعية: Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/55062

الاتاحة: https://av.tib.eu/media/55062

المؤلفون: Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman

المصدر: ESOP, European Symposium on Programming, Luxembourg City, Luxembourg, 6–11 April 2024

مصطلحات موضوعية: Probabilistic programming, Static analysis, Continuation-passing style, Functional programming, Monte Carlo inference

Relation: https://doi.org/10.5281/zenodo.10454311; https://doi.org/10.5281/zenodo.10454312; oai:zenodo.org:10454312

الاتاحة: https://doi.org/10.5281/zenodo.10454312

المؤلفون: David Broman

Relation: https://doi.org/10.5281/zenodo.13900513; https://doi.org/10.5281/zenodo.13900514; oai:zenodo.org:13900514

الاتاحة: https://doi.org/10.5281/zenodo.13900514

المؤلفون: Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman

المصدر: Proceedings of Cyber-Physical Systems and Internet of Things Week 2023.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::41a535f11e7bd98a836b0d35df53e64e
https://doi.org/10.1145/3576914.3587494

المؤلفون: Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, David Broman

المصدر: Programming Languages and Systems ISBN: 9783031300431

مصطلحات موضوعية: FOS: Computer and information sciences, Datavetenskap (datalogi), Computer Science - Programming Languages, Computer Sciences, Operational semantics, Probabilistic programming, Static analysis, Programming Languages (cs.PL)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::de69fe10d0d26dd4f10da88440a0c34c
https://doi.org/10.1007/978-3-031-30044-8_20

المؤلفون: Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman

مصطلحات موضوعية: Ambiguity, Datavetenskap (datalogi), OCaml, Computer Sciences, Coq, Safety, Risk, Reliability and Quality, Parsers, Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::54d08c666f3dfc938d724e7321c297c6
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-495048

المؤلفون: Robert Bereza, Oscar Eriksson, Mohamed R.-H. Abdalmoaty, David Broman, Hakan Hjalmarsson

المصدر: 2022 IEEE 61st Conference on Decision and Control (CDC).

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::42b80d8f03838b5c0883bb531a0f2680
https://doi.org/10.1109/cdc51059.2022.9993085

المؤلفون: Daniel Lundén, Gizem Caylak, Fredrik Ronquist, David Broman

مصطلحات موضوعية: Probabilistic programming, Operational semantics, Static analysis

Relation: https://doi.org/10.5281/zenodo.7572555; https://doi.org/10.5281/zenodo.7572556; oai:zenodo.org:7572556

الاتاحة: https://doi.org/10.5281/zenodo.7572556

المؤلفون: Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman

المصدر: Programming Languages and Systems
Programming Languages and Systems ISBN: 9783030993351
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Programming Languages and Systems

مصطلحات موضوعية: Probabilistic Programming Languages, FOS: Computer and information sciences, Datavetenskap (datalogi), Computer Science - Programming Languages, Compilers, Computer Sciences, GPU Compilation, Sannolikhetsteori och statistik, Sequential Monte Carlo, Probability Theory and Statistics, Programming Languages (cs.PL)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::03b9686d87d35c4440f0cda2fe842e9a

المؤلفون: Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman

المصدر: ESOP, European Symposium on Programming, Munich, Germany, 2-7 April 2022

مصطلحات موضوعية: Probabilistic Programming Languages, Compilers, Sequential Monte Carlo, GPU Compilation

Relation: https://doi.org/10.5281/zenodo.5914164; https://doi.org/10.5281/zenodo.5914165; oai:zenodo.org:5914165

الاتاحة: https://doi.org/10.5281/zenodo.5914165

المؤلفون: Eunsuk Kang, Hokeun Kim, David Broman, Edward A. Lee

المصدر: ACM Transactions on Internet of Things. 1:1-27

مصطلحات موضوعية: Service (systems architecture), Computer Networks and Communications, Computer science, Denial-of-service attack, 02 engineering and technology, Computer security, computer.software_genre, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, 10. No inequality, Edge computing, Building automation, Network architecture, Authentication, business.industry, Authorization, 020206 networking & telecommunications, 16. Peace & justice, Computer Science Applications, Hardware and Architecture, Key (cryptography), Enhanced Data Rates for GSM Evolution, business, computer, Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::abdfd52553a8ef8289ac87b18361203f
https://doi.org/10.1145/3375837

المؤلفون: Lawrence Murray, Nicolas Lartillot, Fredrik Ronquist, Johannes Borgström, Thomas B. Schön, Daniel Lundén, Viktor Senderov, Jan Kudlicka, David Broman

المصدر: Communications Biology
Communications Biology, Vol 4, Iss 1, Pp 1-1 (2021)

مصطلحات موضوعية: Computer science, QH301-705.5, Medicine (miscellaneous), Biostatistics, Machine learning, computer.software_genre, General Biochemistry, Genetics and Molecular Biology, Birds, Phylogenetics, Artificial Intelligence, Animals, Biology (General), Phylogeny, Probability, Models, Statistical, business.industry, Probabilistic logic, Bayes Theorem, Publisher Correction, Biological Evolution, Data Interpretation, Statistical, Programming Languages, Artificial intelligence, General Agricultural and Biological Sciences, business, computer, Monte Carlo Method, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7de81c77bbc6b499b5ce8228c1f76445
http://europepmc.org/articles/PMC7961036

المؤلفون: Insa Fuhrmann, David Broman, Steven Smyth, Reinhard Von Hanxleden

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-26.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.470.2589; http://www.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-26.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.470.2589
http://www.eecs.berkeley.edu/Pubs/TechRpts/2014/EECS-2014-26.pdf

المؤلفون: Philipp Haller, David Broman, Viktor Palmkvist, Elias Castegren

المصدر: CC

مصطلحات موضوعية: Ambiguity, 050101 languages & linguistics, Computer science, media_common.quotation_subject, 02 engineering and technology, computer.software_genre, Rule-based machine translation, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, Syntax, computer.programming_language, media_common, Parsing, Syntax (programming languages), Grammar, Computer Sciences, business.industry, 05 social sciences, Resolution (logic), Datavetenskap (datalogi), Ambiguous grammar, 020201 artificial intelligence & image processing, Haskell, Artificial intelligence, business, computer, Natural language processing

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6363e9dbd4d58de161f3e4a2d85062c
https://doi.org/10.1145/3446804.3446846

المؤلفون: Mohamed R.-H. Abdalmoaty, Oscar Eriksson, Robert Bereza, David Broman, Hakan Hjalmarsson

مصطلحات موضوعية: Reglerteknik, Nonlinear Identification, Process Disturbance, Differential-Algebraic Equations, Parameter Estimation, Simulated PEM, Control Engineering

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c7e9e169befe9d95f4107f9a8be156e
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-292187

المؤلفون: David Broman

مصطلحات موضوعية: 0209 industrial biotechnology, Theoretical computer science, Cyber-Physical Systems, Computer science, Interface (Java), Modeling language, Computer Sciences, Probabilistic Programming, Probabilistic logic, Inference, 020207 software engineering, 02 engineering and technology, computer.file_format, Visualization, 020901 industrial engineering & automation, Datavetenskap (datalogi), Hardware and Architecture, 0202 electrical engineering, electronic engineering, information engineering, Modeling languages, Graphical model, Executable, computer, Formal verification, Software

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fdcded22ad5c7ef8ba06beffa94c9db8
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-297394

المؤلفون: Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry

مصطلحات موضوعية: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Datorsystem, Computer Systems, JSON, Behavioral Diversity, Java

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bec28b4f8a960f108f73fee547f23564
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-310817

المؤلفون: David Broman, Michael Zimmer, Yooseong Kim, Hokeun Kim, ⇤, Jian Cai, Aviral Shrivastava, Stephen A Edwards, Edward A Lee

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.bromans.com/publ/broman-et-al-2013-pretinf-author-version.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1038.5544; http://www.bromans.com/publ/broman-et-al-2013-pretinf-author-version.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1038.5544
http://www.bromans.com/publ/broman-et-al-2013-pretinf-author-version.pdf